("8.17" ta6le ("fe4cf2504cceb77dad3d02baca12070816dc54c3" . "878b683b071aab8e45a86122a3838280d8321ec7") (collects #"htdp" #"arrow-gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
