("5.3.1" ("047f75231e0d8968cc39e10d3e13e85a699b5d38" . "c4cdbffc076ea05b060870deef787729410b5560") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
