("7.9" racket ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" "b225a0d5e9b0cff69b78357036202af00e926101" . "b592b1fa1d9e1027cb9146f6ae151a47ae1cddda") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
