("8.14" racket ("6eff034c76b62689f93087daadea00c0902dafc7" "519aa5a4db722d52b964b0a479753ac6cc822150" . "f5db16db74e38777e6d113609a80b624c2e72cc5") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
