("7.8" ta6nt ("91c4508b656a53f54811b3c4878005327866f779" "8e0f73419f0a6ffe44d4454dffc8ccc3fe427a1f" . "bb08432b8d2699a1c4a289b38c5278e2006fbff8") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
