("8.17" ta6le ("c1d5d68d0340dbb09d58b6d736ce92aff8448ddc" . "2a38ad0e9630e8b4f4f01d9100b8cac2641e4243") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
