("5.0.1.5" ("0d72637f8ea89dfd0e94e4bdbb31b310ab5e0b65" . "549cd71e840be5a3592a109696de5ff50bade429") (collects #"scheme" #"main.rkt") (collects #"redex" #"main.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
