("5.3.1" ("05876e2e41bac81946cd0de5a9621d2bcc9a912c" . "d0c53bdd8fda9f6375f3d76400d3e45a0b8ba2d4") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"9.rkt"))
