("5.3.1" ("e0d132cc531c4c30d12ee165d0bea2fdefc9ecee" . "9a7cf7fca087275706ae1e0223803b339c29869b") (collects #"srfi" #"1" #"list.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
