("8.17" ta6le ("e8e347e8dd7e16bada62d014b286e4215f05f297" . "121025508efc5fa1446644a2257198c395ac2516") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racklog" #"lang" #"lang.rkt"))
