("9.3" ta6le ("acfadca379d2f7dcf7a8804f0247410a1f23bb4f" . "1416615c85865b2d1c23c4735be3777e017a2510") (collects #"htdp" #"bsl" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
