timesxplusy1plustimesxplusytimes10xtimesx1xplusx0xtimesx00timesxplusy1times10timesxplusy1plusytimes10timesxplusy1timesxplusytimes10timesxplusy1plustimesxplusytimes10xtruetimesxplusy1times10timesxplusy1timesxplusytimes10truetimesxplusy1timesxplusytimes10true1times211128000times211120plus2111215101timesxplusy1timesxplusytimes10timesx00timesx00plusx0xtimesxplusy1timesxplusytimes10falsetimesxplusy1times10falsetimesxplusy1plusytimes10falsetimesxplusy1plustimesxplusytimes10xfalse