("9.1" ti3le ("8c6f6acca24aa050e8c9a1f404895e70229b66c3" . "d1430b226913379abd058aaabeef34b2ab401826") (collects #"htdp" #"world.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
