("5.3.1" ("6571cc115d5c6e275bddb6300e6504bd661949fe" . "832f90852c51844e4cd8bc8a3f78582e9ce544e5") (collects #"parser-tools" #"private-lex" #"token-syntax.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
