("9.3" ta6le ("8c55f1f5f158cb5af3735cd1997eb9ea961c712a" . "6325d9e4dcef99dc09a39afd1bb7f10137c1cb6d") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"core.rkt"))
