("5.0.1.5" ("e971623619d9bcfc6300008a710dc77fbd8e1a9b" . "cda9c17d8d0bf5047b2b6a9e90d4a9fbd6702d9c") (collects #"scheme" #"main.rkt") (collects #"redex" #"reduction-semantics.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
