("5.0.1.5" ("040f8b9d376c7e03fdef46b20bb72019d11d7428" . "573b2c38f89728b0660b605bfe6a4d3e9c7c1582") (collects #"scheme" #"main.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"math.rkt") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
