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