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 minus x 0 x minus s x s y s minus x y gcd s x s y gcd minus max x y min x transform y s min x y transform x s s x transform cons x y cons cons x x x transform cons x y y transform s x s s transform x cons x y y cons x cons y s z cons y x cons cons x z s y transform x 2.2 transform s x transform x gcd s x s y min x transform y minus s x s y minus x y transform cons x y cons cons x x x cons cons x z s y transform x min s x s y min x y cons x cons y s z cons y x gcd s x s y transform y transform cons x y cons x x gcd s x s y max x y gcd s x s y gcd minus max x y min x transform y s min x y max s x s y max x y gcd s x s y min x y gcd s x s y minus max x y min x transform y true gcd s x s y gcd minus max x y min x transform y s min x y true cons 2 0 s 1 1 64571 minus 2 1 1 2 58716 0 gcd 2 0 min 2 0 transform 1 0 0 0 5854 transform 1 64573 max 2 1 58715 2 58713 0 max 2 0 minus 2 0 min 2 1 5854 0 cons 2 2 1 0 gcd 2 1 5857 2 1 0 max x 0 x minus s x s y s minus x y min x 0 0 min s x s y s min x y max 0 y y minus x 0 x max s x s y s max x y min 0 y 0 gcd s x s y minus max x y min x transform y false gcd s x s y min x y false minus s x s y minus x y true cons 2 0 s 1 1 3 minus 2 1 gcd 2 0 min 2 0 transform 1 0 0 0 52869 transform 1 5 max 2 1 2 36336 max 2 0 minus 2 2 0 min 2 52868 cons 2 2 1 gcd 2 0 gcd s x s y min x transform y false min s x s y min x y true cons 2 0 s 1 1 3 minus 2 1 gcd 2 0 min 2 2 0 transform 1 0 0 0 2 transform 1 5 max 2 1 2 36336 max 2 0 minus 2 0 min 2 1 cons 2 2 1 gcd 2 0 gcd s x s y max x y false max s x s y max x y true cons 2 0 s 1 1 3 minus 2 1 gcd 2 0 min 2 0 transform 1 0 0 0 2 transform 1 5 max 2 1 2 42004 max 2 1 2 0 minus 2 0 min 2 1 cons 2 2 1 gcd 2 0 gcd s x s y transform y false cons x cons y s z cons y x cons cons x z s y transform x transform cons x y cons cons x x x transform cons x y cons x x transform s x transform x true cons 2 1 40118 2 18458 0 s 1 1 0 minus 2 1 46883 2 46884 0 gcd 2 0 min 2 0 transform 1 1 61776 0 0 1 transform 1 1 64976 max 2 1 31893 2 1 0 max 2 0 minus 2 0 min 2 1 1 0 cons 2 1 43316 2 21659 0 gcd 2 1 5857 2 1 0 transform s x transform x max x 0 x cons x cons y s z cons y x minus s x s y s minus x y min x 0 0 min s x s y s min x y cons cons x z s y transform x max 0 y y transform x s s x minus x 0 x cons x y y transform cons x y y transform cons x y cons cons x x x transform s x s s transform x max s x s y s max x y min 0 y 0 transform s x transform x true cons 2 0 s 1 1 3 minus 2 1 gcd 2 0 min 2 0 transform 1 1 1 0 0 2 transform 1 4 max 2 1 2 38145 max 2 0 minus 2 0 min 2 1 cons 2 2 gcd 2 0 NaTT certifiable-1.6