("5.0.1.5" ("e6b27d90529c5dd60ae5f21ef3cd594c2edce79f" . "56788b0b2d70d6b02176b55c01aa4625a9ec1b2a") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"lang" #"htdp-reader.rkt"))
