("7.9" racket ("5a858d7bccbdea5d00fecb35dc95295f5ba504fe" "ab10d4a15de927be56f518b509f572bfa723d729" . "64f6a0f6e0596578ff5cdb79fb7a946659f1f5e7") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
