("9.1" ti3le ("2018b42db3588fdc9fc59ba32c373feae5ada4a1" . "0333e17d6e61bb9d680033089f28a4456322ddc2") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt"))
