timesxplusy1plustimesxplusytimes10xtimesx1xplusx0xtimesx00timesxplusy1times10timesxplusy1plusytimes10timesxplusy1timesxplusytimes10timesxplusy1plustimesxplusytimes10xtruetimesxplusy1timesxplusytimes10true1times201120000times201020plus281420108timesx00plusx0xtimesxplusy1times10falsetimesxplusy1plusytimes10falsetimesxplusy1plustimesxplusytimes10xfalse