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