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