("5.3.1" ("ea010978ae4123841e7cb7ff731c47e451378df0" . "87a1c571c4c6f14ca4528adee87937f36e79daab") (collects #"scribble" #"manual" #"lang.rkt") (collects #"plot" #"scribblings" #"common.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
