("5.0.2" ("dccd4733f63ed8e1cce3bd6c740a6ddf837fbe17" . "e2849f32bfe9ba42ccc887a8a4263eab58611d4f") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
