("8.15" tarm64nt ("a7fb1f490b1f28e2e5acf266273cc7170cecbdf5" "0de528989ecc3a3c7ac67cff9e0a948e64d92e6c" . "7a8d3a746e7eb4c947147cd4b932ed1646477195") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
