("5.3.1" ("45c80d6302d3d74cada3f31ffabfbd51ed5cd77b" . "e0d8b4566fc61a56fca1469ac8ebb50438b679eb") (collects #"mzlib" #"serialize.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
