("5.0.1.5" ("2d718c8288ab35841ede2d1f445de9dc701c1235" . "73020eb4afb3dcc7ff7e1bbaa06f0f35d88467ae") (collects #"r6rs" #"private" #"records-core.rkt") (collects #"r6rs" #"main.rkt") (collects #"r6rs" #"private" #"prelims.rkt") (collects #"r6rs" #"lang" #"reader.rkt"))
