("5.0.2" ("c1f5928c4239f721ec3ec30e731efe6a5a6b8173" . "4abc6a9bf672c99c428aee6edd0bc86c770b9b91") (collects #"scheme" #"main.rkt") (collects #"htdp" #"testing.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
