("5.3.1" ("f8fa18f9bde833abdaea75904fcd356f9b730ec9" . "de9ce51a9dcb159ab24575c693e60a0c65c9a652") (collects #"scheme" #"base.rkt") (collects #"scheme" #"list.rkt") (collects #"srfi" #"optional.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
