t=([' | | \n']*3).join('---+---+---\n')as List i=1 '9 15'.any{t[(int)it]='XO'[i^=1];println t.sum()}