("6.6" ("94ac887f8f610711b16ac5dd7cda496976fff6f9" . "3a204b0648620e2ad521631542dd18e4c21a79b5") (collects #"framework" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"integer-set.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzscheme" #"lang" #"reader.rkt") (collects #"mzscheme" #"main.rkt"))
