("7.6" racket ("2a7d092700ac2491d3dd468407673b457ef9b2fb" "4c90d0b40c95556eeb279fbe1770f8d56172a81f" . "99e5cd444b8aef790dea16f3cc2a9e1179143afb") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
