For AI agents: visit https://lucid-developer-docs.readme.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.

function boxesOverlap(a, b): boolean