("9.1" ta6le ("8c6f6acca24aa050e8c9a1f404895e70229b66c3" . "2d85a0a40bb4e1f0e5012958db73c5f6d29c8044") (collects #"htdp" #"world.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
