("5.3.1" ("17ecf07e25b3b7b8a95e1a8914deffed494ff49f" . "e2a8a0b57abc0e082ca1a256d6cc3e7def7adc61") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"compiler" #"embed.rkt"))
