("9.3" ta6le ("2018b42db3588fdc9fc59ba32c373feae5ada4a1" . "f58c05cdf129f4184f9c3d8bb8070dc7fcf2bd00") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt"))
