("8.15" tarm64nt ("7a615abd7cc6802edaa643281b92d601d7e86d61" "c2efdc3cc872645f7603e14280c1ff66ef6a1edf" . "dfdd1366cd53b4207046fd8817d6b34e589a1b9d") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
