("9.1" ti3le ("0bbabae81df11a3b034522d8ef544d6cc4ecb270" . "90d0df4ebc133f780a7650cc7b5b155d14b27ab5") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
