("8.15" ti3nb ("7a615abd7cc6802edaa643281b92d601d7e86d61" . "7d094c37d2d4dfe2299e3401029e4afede6559c6") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
