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