("5.0.1.5" ("047f75231e0d8968cc39e10d3e13e85a699b5d38" . "46eeea4736dbed3d4b917812e64ca3bce3aecaf2") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
