("7.8" ta6nt ("954ea29dfeb8964d42e7689299f1418b2a49d1b8" "8e0f73419f0a6ffe44d4454dffc8ccc3fe427a1f" . "6365d4f02e2f17d120ca2f8b1e23a9582e8beb90") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
