("8.15" ti3nb ("ef9b6d73eb38e82d4acec490f70c5cc7a09cb808" . "ce2c8cea95310776ad9884510c56fb282801d87b") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"executable-path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
