("7.8" ta6nt ("5a858d7bccbdea5d00fecb35dc95295f5ba504fe" "2013894dfb7af5f483ea398edf20dc96b0ba2cb4" . "5b6ea3dd8bc72fb8c5e1b3f1110bb9d0743fa833") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
