("5.3.1" ("ecd82b1af587f694c7aca79ecbde4d58bb3f1857" . "f3dcfad7af79d5b90e079cee13bfd6f02877972d") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"list.rkt"))
