("5.0.1.5" ("0a391c80500ee241db1619debba8a312284506ac" . "02fa8d369e6c553e1c2333db53587b58a5f22bcb") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"etc.rkt"))
