("5.0.1.5" ("f71bfe7953fb288a879b70e3ed2ba1050f749923" . "ae731906d9276aa9ac2918f9fda7808f64706bfc") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
