("5.3.1" ("67612f736e048de519391eed7feb2bf81f4c1f8e" . "8746172d3f95283c2d6fa05569c63806fce327eb") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax-color" #"token-tree.rkt") (collects #"mzlib" #"list.rkt"))
