("8.14" racket ("08c1f3747f3c893ebeb256e3afd3f57506fc8ef2" "b64f74025a1c5854ef85ca8e4801235bfe219121" . "87bbd8eb0a68df33f2e2aa50d574ef2ef05d9df9") (collects #"racket" #"private" #"gen-temp.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
