("5.3.1" ("a8a3f1b9e18af949fc413ae247b56d94939c2738" . "2b31b6d61aea4b57f385d2ce833ae59fc680d2f8") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"setup" #"dirs.rkt"))
