("8.17" ta6le ("443ac51b77077b22078c24cee5a2aff072225cb0" . "e29b25346c57d8bbe769fe077e85fb07226ee08a") (collects #"htdp" #"lkup-gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
