min x 0 0 min 0 y 0 min s x s y s min x y max x 0 x max 0 y y max s x s y s max x y - x 0 x - s x s y - x y gcd s x s y z gcd - max x y min x y s min x y z gcd x s y s z gcd x - max y z min y z s min y z gcd s x y s z gcd - max x z min x z y s min x z gcd x 0 0 x gcd 0 y 0 y gcd 0 0 z z 2.2 gcd s x s y z gcd - max x y min x y s min x y z gcd s x s y z min x y gcd x s y s z - max y z min y z gcd s x y s z max x z gcd s x y s z min x z gcd x s y s z gcd x - max y z min y z s min y z gcd x s y s z max y z gcd s x y s z gcd - max x z min x z y s min x z gcd s x y s z min x z gcd s x s y z min x y min s x s y min x y gcd x s y s z min y z gcd s x s y z - max x y min x y max s x s y max x y gcd s x y s z - max x z min x z gcd x s y s z min y z gcd s x s y z max x y - s x s y - x y true gcd x s y s z gcd x - max y z min y z s min y z gcd s x y s z gcd - max x z min x z y s min x z gcd s x s y z gcd - max x y min x y s min x y z true Failed! NaTT certifiable-1.6