timesxplusyszplustimesxplusytimessz0timesxsztimesx00timesxsyplustimesxyxplusx0xplusxsysplusxytimesxplusysztimesxsztimesxplusysztimessz0timesxplusyszplusytimessz0timesxplusysztimesxplusytimessz0timesxplusyszplustimesxplusytimessz0timesxsztimesxsytimesxytimesxsyplustimesxyxplusxsyplusxytruetimesxplusysztimessz0timesxplusysztimesxsztimesxplusysztimesxplusytimessz0timesxsytimesxytruetimesxplusysztimesxplusytimessz0timesxsytimesxytimesxplusysztimesxsztruetimes22000times21plus24s13s11plus212times2200times22timesx00plusx0xplusxsysplusxytimesxplusysztimessz0falsetimesxsyplustimesxyxfalsetimesxplusyszplusytimessz0falsetimesxplusyszplustimesxplusytimessz0timesxszfalseplusxsyplusxytrueplus22