even0trueevens0falseevenssxevenxhalf00halfssxshalfxplus0yyplussxysplusxytimes0y0timessxyif_timesevensxsxyif_timestruesxyplustimeshalfsxytimeshalfsxyif_timesfalsesxyplusytimesxyevenssxevenxhalfssxhalfxplussxyplusxytimessxyif_timesevensxsxytimessxyevensxif_timestruesxyplustimeshalfsxytimeshalfsxyif_timestruesxytimeshalfsxyif_timestruesxyhalfsxif_timestruesxytimeshalfsxyif_timestruesxyhalfsxif_timesfalsesxyplusytimesxyif_timesfalsesxytimesxytruetimessxyif_timesevensxsxyif_timestruesxytimeshalfsxyif_timesfalsesxytimesxytrue12345671times2111s1111if_times3112even10true00half111false00000timessxyif_timesevensxsxyif_timestruesxytimeshalfsxyhalfssxshalfxhalf001if_times3-2212223even11s1211000false01times222122half1-211true00if_timestruesxytimeshalfsxyevens0falseevenssxevenxhalfssxshalfxeven0truehalf00if_timestruesxytimeshalfsxyfalsetimessxyevensxfalse4evenssxevenxtrue41even111s1111if_timestruesxyhalfsxfalse4halfssxhalfxtrue31half111s1111if_timestruesxyplustimeshalfsxytimeshalfsxyfalseif_timesfalsesxyplusytimesxyfalseplussxyplusxytrue1plus211s1111