("8.17" ta6le ("4b25d4a6eeed1f8a85e2e779b3d48de4932a2391" . "0e1f7e7e1f36d00959a8633c97b616de58f1461f") (collects #"mred" #"private" #"syntax.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
