even0trueevens0falseevenssxevenxhalf00halfssxshalfxplus0yyplussxysplusxytimes0y0timessxyif_timesevensxsxyif_timestruesxyplustimeshalfsxytimeshalfsxyif_timesfalsesxyplusytimesxyevenssxevenxhalfssxhalfxplussxyplusxytimessxyevensxtimessxyif_timesevensxsxyif_timestruesxyhalfsxif_timestruesxytimeshalfsxyif_timestruesxyplustimeshalfsxytimeshalfsxyif_timesfalsesxytimesxyif_timesfalsesxyplusytimesxytrueif_timesfalsesxytimesxytimessxyif_timesevensxsxyif_timestruesxytimeshalfsxytrueif_times34times25half13false06s12true00even1100200even11true0s11false0half11times21if_times32timessxyif_timesevensxsxyif_timestruesxytimeshalfsxyhalfssxshalfxhalf001if_times301-2230times20120half1-210false00s1212true00even1-210000if_timestruesxytimeshalfsxyevens0falseevenssxevenxeven0truehalfssxshalfxhalf00if_timestruesxytimeshalfsxyfalseif_timesfalsesxyplusytimesxyfalseif_timestruesxyplustimeshalfsxytimeshalfsxyfalseplussxyplusxytrueplus21if_timestruesxyhalfsxfalsehalfssxhalfxtruehalf11timessxyevensxfalseevenssxevenxtrueeven11