("8.6" racket ("3a67fc447e0a7f268a605852caa4c28a5aeda0ab" "fe6170654f8ff41e263ec35d524133ae95ab2862" . "8719b8ccab07d60aa26c89dfd5323eee4b0d952a") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"private" #"path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
