("8.17" tarm64nt ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" "48adbc3ea4e46863587c4af3368e90e95fb5a758" . "6c81c9a492d3380f7219cccdc0abec2f9808a4aa") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
