("5.3.1" ("c4718ff59262553ae3a8e7a0bb9365b9ea6312cc" . "000365a04f2ebc7c67f124bd22ff8a22266ea109") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"32" #"vector-util.scm"))
