("5.3.1" ("530bee829dd6ac8dffbbe293e5c278627407360e" . "4913da008e4d0cd37c645bb806b2e365b24ab62f") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"ports.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
