("8.17" ta6le ("76d9b03cfe784367d2e3d1bf225fd85c81f82b48" . "d92fc1e53461277e84a17dd5329d60eccd62233e") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"eval.rkt"))
