("5.0.1.5" ("73dc26f9f573c5982d9853be3179e7c86ff01fe7" . "362331bfcee2bc7f9f0dddc736617461c1224d52") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"pretty.rkt"))
