("5.3.1" ("25e10e67de8663363e9cb9bbbc754ffb9ac61f14" . "b8e8927edae0d6d310272b436b46e3bf9a242877") (collects #"mzlib" #"pretty.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
