("8.18" tarm64nt ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" "cf3bed61ee5bcb13d3c0e4fe2f212e0722cb2ff4" . "44e9d271c0d03e28a59beb11cb10a4b8de4f257e") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
