timesxplusy1plustimesxplusytimes10xtimesx1xplusx0xtimesx00timesxplusy1plustimesxplusytimes10xtimesxplusy1timesxplusytimes10timesxplusy1plusytimes10timesxplusy1times10truetimesxplusy1timesxplusytimes10true1231times212plus21112101times20000timesx00plusx0xtimesxplusy1times10false12timesxplusy1plustimesxplusytimes10xfalsetimesxplusy1plusytimes10false