not true false not false true odd 0 false odd s x not odd x + x 0 x + x s y s + x y + s x y s + x y not 1 true 0 false 0 odd 1 0 0 s 1 + 2 FULL ./TRS/SK90/2.31.trs