("8.17" ta6le ("b3ea7b9691ef9bdd9a56cfa38587d85061e91cd1" . "27b788ebed50844b1ef41d427ca456fabd1ba013") (collects #"drracket" #"drracket.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
