("5.3.1" ("ea65943f5fd39cf4ea3e915c0553deea0e82b8af" . "38a68070332ae6f494d0c8f0efb262fdc9c655e1") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"process.rkt") (collects #"mzlib" #"list.rkt"))
