("8.17" ta6le ("08e80e8c1e294425952a1c4e0c04c78c6e871a70" . "88deae1b7a6de5b255c1a569ab5b4331c2e648e4") (collects #"framework" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
