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