("5.0.1.5" ("4991f5ced4bc2dd5375506acc471461c0f874e6b" . "997f03086b11c82512efd43f8ae75178c2da8477") (collects #"scheme" #"mzscheme.rkt") (collects #"syntax" #"stx.rkt") (collects #"mzlib" #"private" #"dmhelp.rkt") (collects #"mzscheme" #"main.rkt"))
