("8.17" ta6le ("1ccd3b385df552ee89386fefb70cde3f3c24d6f2" . "5589e95a14eebc6bbf4efc11596cdf2769aa7bbe") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt"))
