("8.17" ta6le ("8c55f1f5f158cb5af3735cd1997eb9ea961c712a" . "e56ad2c0486de23efa9cd9a47c565973916dbc7b") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"core.rkt"))
