("9.2" ta6osx ("984d25c0eb8c55485d2290fd4ce0130fac6d5222" "2809d3e3ad79933c17c58f1869cf572a64ffba5c" . "ec7be5e28f7076766adf47191ff788c55376d05e") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
