("8.15" tarm64nb ("8683275e7171acb7dec7ae1efb94e04fcf86ddd9" . "ee31cfb0f116d188db1e79a94d01a9daf7cb7e3b") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"sort.rkt"))
