("5.3.1" ("0a82154b567b9dcd296cb577706c7faf75916340" . "f9471e13b9f41a2f9b2c6e81d2fc6c63870a5b52") (collects #"scribble" #"doclang.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
