("8.1" racket ("5a858d7bccbdea5d00fecb35dc95295f5ba504fe" "8b4b732cb3bf2243b6a37383b57d1298376b8e17" . "eaa2d7ebb462f50eebb8901620fc30a74deb34d3") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
