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 2.2 evenodd x 0 not evenodd x s 0 evenodd x 0 evenodd x s 0 evenodd s x s 0 evenodd x 0 true evenodd s x s 0 evenodd x 0 evenodd x 0 evenodd x s 0 true s 1 1 1 evenodd 2 1 0 false 0 0 true 0 0 not 1 0 0 0 28958 evenodd 2 0 not 1 0 evenodd x 0 evenodd x s 0 evenodd x 0 evenodd x s 0 false evenodd x 0 not evenodd x s 0 false NaTT certifiable-1.6