("5.3.6" ("33d2f232231204bf8c24f0f32018d42048d75bda" . "b5dea43ae1d508e3fb6fde0f2391e09e72709227") (collects #"scribble" #"manual" #"lang.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
