plus s s x y s plus x s y plus x s s y s plus s x y plus s 0 y s y plus 0 y y ack 0 y s y ack s x 0 ack x s 0 ack s x s y ack x plus y ack s x y 2.2 ack s x 0 ack x s 0 plus s s x y plus x s y ack s x s y ack s x y ack s x s y ack x plus y ack s x y plus x s s y plus s x y ack s x s y plus y ack s x y true ack s x s y ack x plus y ack s x y ack s x s y ack s x y ack s x 0 ack x s 0 true s 1 1 2 ack 2 2 1 plus 2 0 0 0 7720 plus 2 21241 ack 2 1 0 ack s x s y ack s x y ack s x s y ack s x y true s 1 1 1 ack 2 0 plus 2 0 0 0 0 plus 2 0 ack 2 2 1 0 ack s x s y plus y ack s x y false plus x s s y plus s x y plus s s x y plus x s y true s 1 1 35658 ack 2 2 35657 plus 2 1 2 0 0 0 1 plus 2 1 2 2 ack 2 0 NaTT certifiable-1.6