("5.3.1" ("9201725c6931ad367f5981c55e6cada47d581a1c" . "e3f8f899338648704c890faac4c17d5831532c6d") (collects #"scribble" #"manual" #"lang.rkt") (collects #"plot" #"scribblings" #"common.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
