("6.5" ("94ac887f8f610711b16ac5dd7cda496976fff6f9" . "d42593e3c954905c5b99040109098e6d60263f19") (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"))
