minus minus x y z minus x plus y z minus 0 y 0 minus x 0 x minus s x s y minus x y plus 0 y y plus s x y plus x s y plus s x y s plus y x zero s x false zero 0 true p s x x p 0 0 div x y quot x y 0 quot s x s y z quot minus p ack 0 x y s y s z quot 0 s y z z ack 0 x s x ack 0 x plus x s 0 ack s x 0 ack x s 0 ack s x s y ack x ack s x y 2.2 quot s x s y z quot minus p ack 0 x y s y s z div x y quot x y 0 ack s x s y ack x ack s x y ack 0 x plus x s 0 minus minus x y z plus y z minus s x s y minus x y ack s x s y ack s x y plus s x y plus y x minus minus x y z minus x plus y z quot s x s y z ack 0 x quot s x s y z minus p ack 0 x y plus s x y plus x s y ack s x 0 ack x s 0 quot s x s y z p ack 0 x true ack s x s y ack s x y ack s x 0 ack x s 0 ack s x s y ack x ack s x y true zero 1 0 div 2 0 s 1 1 2 minus 2 0 ack 2 1 plus 2 0 false 0 0 div 2 0 p 1 0 true 0 0 p 1 0 0 0 1 quot 3 0 minus 2 0 plus 2 2 20653 ack 2 1 0 quot 3 0 zero 1 0 ack s x s y ack s x y ack s x s y ack s x y true zero 1 0 div 2 0 s 1 1 1 minus 2 0 ack 2 0 plus 2 0 false 0 0 div 2 0 p 1 0 true 0 0 p 1 0 0 0 0 quot 3 0 minus 2 0 plus 2 0 ack 2 2 1 0 quot 3 0 zero 1 0 div x y quot x y 0 false quot s x s y z quot minus p ack 0 x y s y s z true Failed! NaTT certifiable-1.6