("8.15" tarm64nt ("c11cdafdf0c7cbbb14292df28d7bc00edcdfb067" "7b295f55c47aacca02a4d00144c1b4a4c4a2c7f5" . "4256298c1a1f53601a00a8d4022458953467f761") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
