("7.6" racket ("5a858d7bccbdea5d00fecb35dc95295f5ba504fe" "240c0776c2bdfb065b8bc36ed4d2b82c60c44029" . "cc26591d9b1c427b722fc050dd80e09316ea65f7") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
