("8.15" tarm64nt ("91c4508b656a53f54811b3c4878005327866f779" "7b295f55c47aacca02a4d00144c1b4a4c4a2c7f5" . "ca2598dae3c7d101f2c6c75ed43536b9fa34bf94") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
