("5.3.1" ("ae205d6f9c8e6724c9f96c5d6d5d0a22681d35a0" . "2bad0af478a37a14fed6c4b7509c856dbc01cc34") (collects #"srfi" #"57.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
