("9.1" ti3le ("b78d1199954935b40666b5e6874410f8d9aeeb92" . "8d451ead4db186ee15df23c9150c7e343269f297") (collects #"htdp" #"gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
