("5.3.6" ("49f7d3fbf8598648c09fd11d6414b7da2e150dc3" . "5cc007ad1aef4dd31dc118c75ebf596317a1bf00") (collects #"scribble" #"manual" #"lang.rkt") (collects #"plot" #"scribblings" #"common.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
