("5.3.1" ("ec0cf2626f81ebf14b45c7078a88b9199ecffab0" . "f25305de28e4d231d36e43306b1a0c52c5e38def") (collects #"srfi" #"78" #"check.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
