("8.17" ta6le ("2018b42db3588fdc9fc59ba32c373feae5ada4a1" . "e0a9db4431b6bbaeb463ad5f5bbc86028ee811bb") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt"))
