("8.17" tarm64nt ("a7fb1f490b1f28e2e5acf266273cc7170cecbdf5" "76a0e9b296eaba5a8242147a74158d6bf1172612" . "1a4517580fe95ced05ccfd46b8a9cd8e52f2e34d") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
