("5.0.1.5" ("6a16fc2fa2e251f2d74b79d9c3dfe50d1537d337" . "86bdf0e28f9c3b95a2f44efd146dfd4372b00f58") (collects #"scheme" #"main.rkt") (collects #"htdp" #"big-draw.rkt") (collects #"htdp" #"draw-sig.rkt") (collects #"mzlib" #"unit.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
