("8.17" ta6le ("efdaec0d0ca153aa74fb5c537be5d8954e408ca4" . "23d6831996d10305667fc3c148bb0259f309dc07") (collects #"racket" #"base.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt"))
