("9.3" ta6le ("8c6f6acca24aa050e8c9a1f404895e70229b66c3" . "75342c2f5287d4892c241a7c8765fce20e7724a0") (collects #"htdp" #"world.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
