("8.15" ti3nb ("6eff034c76b62689f93087daadea00c0902dafc7" . "bff7e245cff6a042170505f15d4be2afa197d8f2") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
