("8.17" ta6le ("8c6f6acca24aa050e8c9a1f404895e70229b66c3" . "26d8f4e9d5e65e7817faeb88fb85551f59fa92c3") (collects #"htdp" #"world.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
