("9.1" ti3le ("08e80e8c1e294425952a1c4e0c04c78c6e871a70" . "9defbe948b211f3fe749e8d7086cebda04d560db") (collects #"framework" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
