("9.3" ta6le ("c1d5d68d0340dbb09d58b6d736ce92aff8448ddc" . "1e20ae99c78483b3e5113f8e8e20486cc7bbfaa6") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
