("5.0.1.5" ("f9abde36c49359b3b5d7bc6e73307a385df4c3a0" . "42a5e06dd4546ff74d478d5148a37c9746f0f91b") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"htdp" #"draw.rkt"))
