("5.0.1.5" ("f0fe8175a6d626407aba54e0a1ad3253da7ea87a" . "9095bad1e6359058d0f4ef2b2a16a5eacb3936ba") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt"))
