("5.3.1" ("c8d57f7a93a7bdbe72252a95be6c43b8b78a6b8b" . "aa97b8fd9b2dbfe2c7312596ce8232815cac7885") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"check-pattern.rkt") (collects #"r6rs" #"private" #"identifier-syntax.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
