("5.0.1.5" ("0bbabae81df11a3b034522d8ef544d6cc4ecb270" . "d3c7df03e6cbcc8ccf51830f0da1088360b8b4fa") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mred" #"main.rkt"))
