("9.3" ta6le ("adbaa8e66ea82884a7ffc3f811f6e6e869100242" . "9cbc4dc23d64a22bbff5ae01ecd251ea85bd1381") (collects #"htdp" #"master.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
