("5.3.1" ("06912c991ab4f56bbc3b221f9c24ebcdbc2bb7fa" . "da1429a3838156aba3ad1a692cb7b180a904e876") (collects #"racket" #"cmdline.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
