("5.0.1.5" ("b521c4bab62bbf40fd95e35a531b723ded73d947" . "04f18f5ab151a96a6947d876e6e3e9dbd0b57518") (collects #"scheme" #"main.rkt") (collects #"frtime" #"core" #"contract.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
