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