("9.1" tppc32osx ("a7fb1f490b1f28e2e5acf266273cc7170cecbdf5" "707ed9b3ff5e862721cd08b49fa3df58fbc90f5e" . "a737a7fa89d71b08c663ea8df6a09171ab5f8604") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
