("8.17" ta6le ("adbaa8e66ea82884a7ffc3f811f6e6e869100242" . "167efdcb7d28ff06cf56f7770494aef003f36b3b") (collects #"htdp" #"master.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
