("5.3.1" ("5a480c1e0500887a830142f0ba18b7f8fefa62dd" . "1bed80faab93151720bbe3d1931623a85e1aeac9") (collects #"scheme" #"serialize.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
