("7.8" ta6nt ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" "080125ecff4f7cc84fe51ab6fd5ff7998cc069b2" . "af011ac83d32b9a182638c42ce23dbf10b9d6503") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
