("8.15" ti3nb ("739154e5931b58e344da5b60c937cf5bd87c89f3" . "b615aa06284f2e5643b2eae123d129b0c0a08f9b") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
