("5.3.1" ("9158cb007e42d940403aff9f66f63191aea25c16" . "75757df1f1bfdc0abda2a69b9cb0ef15abd6ecba") (collects #"srfi" #"%3a18.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
