("7.9" racket ("3a67fc447e0a7f268a605852caa4c28a5aeda0ab" "df0fa3bf23cd7753c3252762ae902a81d970a362" . "c10ff3f8ca4f89132d5aa27e6ddd0110e814cf51") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"private" #"path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
