("8.14" racket ("a7fb1f490b1f28e2e5acf266273cc7170cecbdf5" "18e56fc4215f13f0410ba8f49804eb50f50686e8" . "413ce3785c7701f74c56972cf51da13d351c330c") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
