("8.17" tarm64le ("2018b42db3588fdc9fc59ba32c373feae5ada4a1" . "4e629686c79643feb7e3ea5613e4fd24f74f936a") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt"))
