("8.14" racket ("49c970fc87aaee601541f65020612953a0f54c59" "c4c2cb6781f1b7f202fb0ad83c1fcf1a1dfc6a79" . "f96878b55e10c3903b97f6a9f8ff34699834a06b") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"private" #"path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
