not true false not false true evenodd x 0 not evenodd x s 0 evenodd 0 s 0 false evenodd s x s 0 evenodd x 0 not 1 true 0 false 0 evenodd 2 0 0 s 1 FULL ./TRS/AG01/#3.37.trs