("5.0.1.5" ("c5c38f88f18340c6388c8d45cba0f5a3d96d8a70" . "0f57e925890f5dd432bd38ef65293cbdfb56e15c") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"4.rkt") (collects #"mzlib" #"contract.rkt"))
