("5.0.1.5" ("2f428fd73d171ca7305d7ff78e01eba8bf362a2b" . "7b7194125a5cca54023ac24f2ef107f2fb3cb9dc") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"unit.rkt"))
