("5.3.1" ("b771b7fb75034c788c176116fa0f9f0b854abcf1" . "440ff07cdc48b09d71f430e9e101a1b826fe40ad") (collects #"srfi" #"27" #"random-bits.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
