("5.3.1" ("20430ab525b7594aff2dbe07ffa23104f1754300" . "c4cdbffc076ea05b060870deef787729410b5560") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
