even0trueevens0falseevenssxevenxhalf00halfssxshalfxplus0yyplussxysplusxytimes0y0timessxyif_timesevensxsxyif_timestruesxyplustimeshalfsxytimeshalfsxyif_timesfalsesxyplusytimesxyeven100true0s1false0half1plus2times2if_times3FULL./TRS/nontermin/AG01/#4.29.trs