("5.3.1" ("10bbd997d7e7b5993959edeebeb066b794c70e1f" . "a5868ebf16191131b0f3275ed8bff622190a0900") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"inline-rules.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
