("8.15" tarm64nt ("8683275e7171acb7dec7ae1efb94e04fcf86ddd9" "8eb8cfdbf7807779a3b8b89996e855e6534d8788" . "8f6ef1321b81ae70ce2a0567a18fff23606494a7") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"sort.rkt"))
