("8.15" tarm64nt ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" "dfb7c1d5b25f59ce4cf5e3532d2c961495887e43" . "a910489d16f95ef27112d0dc2273d5b42933a641") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
