("5.0.1.5" ("a44d53761b0434ccf5efdadf8e117972df34915e" . "2acae408b0fdb57418f596aa506955c1cc840b10") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"32" #"vector-util.scm"))
