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