("8.15" ti3nb ("a7fb1f490b1f28e2e5acf266273cc7170cecbdf5" . "4cf89a42e682bd9084e4e8eb2ab5e54c487f2b45") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
