("7.8" ta6nt ("5cce17d5d19441513891eef812cfb3be3d5b8502" "85f98fd4e9818b5ad1e713ffb9631b1ba9af716e" . "84b8902abfb82c176cdef084d2a9a521e6dc5264") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
