("8.17" ta6le ("2e550933a45262156df9af6d6d860995b145c8d8" . "3e42063ee5e1d4cacf6dedb35d3ba4b979b516dc") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt"))
