("5.3.1" ("2d718c8288ab35841ede2d1f445de9dc701c1235" . "7b63b463bf5dda92855e8c07251a4d1ad0f5a5dc") (collects #"r6rs" #"private" #"records-core.rkt") (collects #"r6rs" #"main.rkt") (collects #"r6rs" #"private" #"prelims.rkt") (collects #"r6rs" #"lang" #"reader.rkt"))
