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