("5.3.1" ("fec64d8addae5ae5077f2c7a8c865baa821d804d" . "9f2e6cc2705cdb83f764d6097024f104bd566bcd") (collects #"scheme" #"base.rkt") (collects #"rnrs" #"io" #"ports-6.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
