("5.0.1.5" ("40b04ed9aba4587686069da8ab0aa4c2f697ecfa" . "03f68ff9d65ac95756935670625d16ace3b4cea0") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt"))
