("5.0.1.5" ("947cd6b3d87104f442b0f68de406c7494738b0ac" . "5b16c3440ea7cb13fca84090a701dd7ffaadfe66") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"math.rkt"))
