("8.18" tarm64nt ("a7fb1f490b1f28e2e5acf266273cc7170cecbdf5" "28fd3dc3611bef57e262fd1c184ce83119a02663" . "c80f818860001d786f668739a331a7b46371b4f0") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
