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