("5.0.1.5" ("7ef1087d967c41d527fe81cfb926b27c6b187b02" . "03f68ff9d65ac95756935670625d16ace3b4cea0") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt"))
