("5.0.1.5" ("50577ccab123e0db50bad5de032b366a1cb7255f" . "608838447ce0043414ec9fdf50bfe1b952a47b98") (collects #"lang" #"htdp-beginner.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
