("8.15" tarm64nt ("6eff034c76b62689f93087daadea00c0902dafc7" "290c108548ff4ed20c105cc403bce1abe4e61d68" . "6264176b584e963373352e5875d8bcfd37398638") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
