("5.3.1" ("1edbe8de6053f0e8735c4d7777b345672d547c86" . "cf2926b7335145e4cb3939f5781fea2ace6b0bdc") (collects #"parser-tools" #"private-lex" #"re.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"integer-set.rkt") (collects #"parser-tools" #"private-lex" #"util.rkt") (collects #"mzlib" #"list.rkt"))
