("9.1" ti3le ("340943f8d33f1d7e00a784dc589880316ac1a9fc" . "4a5ab2ecf2c4abfb5bd87ab35c648fe17022ccd7") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
