("7.6" racket ("3a67fc447e0a7f268a605852caa4c28a5aeda0ab" "c81afc551ccb8eb06e849da13c646db4f19565a9" . "161c9ebcb0dc84c0794212ca6d05b8a4d2258519") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"private" #"path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
