("8.15" ti3nb ("49c970fc87aaee601541f65020612953a0f54c59" . "ddfcfbb8490e8d6a48672b98b8d78ea97877420f") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"private" #"path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
