("8.15" tarm64nt ("739154e5931b58e344da5b60c937cf5bd87c89f3" "7b295f55c47aacca02a4d00144c1b4a4c4a2c7f5" . "8e57bf9f33e008eedeee1afb483fd9d9a9be1515") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
