("8.17" ta6le ("31e18a51f209b57fa99076f7e1cc49e2a8ec6755" . "774bc53148855e154e165df779996cad6ca68b3f") (collects #"scheme" #"gui.rkt") (collects #"scheme" #"init.rkt") (collects #"scheme" #"runtime-config.rkt"))
