("9.3" ta6le ("b78d1199954935b40666b5e6874410f8d9aeeb92" . "8f6b9579a74fab5b9e2806cf801b2dab08df08ce") (collects #"htdp" #"gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
