("8.17" ta6le ("7e821ec1ce932c20c86a082c6e8c6635b92fd31d" . "e8c1558d87f0f3e745b58a8115d1d5225f53546f") (collects #"scheme" #"gui" #"base.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt"))
