("5.0.1.5" ("88215da4656a68ce8904a1fe20f53d78f472ddf6" . "21cbe5b6bbafae95232cc90ea423970b93232f5d") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt"))
