timesxplusyszplustimesxplusytimessz0timesxsztimesx00timesxsyplustimesxyxplusx0xplusxsysplusxytimesxplusysztimesxsztimesxplusysztimessz0timesxplusyszplusytimessz0timesxplusysztimesxplusytimessz0timesxplusyszplustimesxplusytimessz0timesxsztimesxsytimesxytimesxsyplustimesxyxplusxsyplusxytruetimesxplusysztimessz0timesxplusysztimesxsztimesxplusysztimesxplusytimessz0timesxsytimesxytruetimesxplusysztimesxplusytimessz0timesxsytimesxytimesxplusysztimesxsztruetimesxplusysztimessz0falsetimesxsyplustimesxyxfalsetimesxplusyszplusytimessz0falsetimesxplusyszplustimesxplusytimessz0timesxszfalseplusxsyplusxytrueplus22