plus 0 Y Y plus s X Y s plus X Y min X 0 X min s X s Y min X Y min min X Y Z min X plus Y Z quot 0 s Y 0 quot s X s Y s quot min X Y s Y 2.2 quot s X s Y quot min X Y s Y min s X s Y min X Y min min X Y Z plus Y Z quot s X s Y min X Y plus s X Y plus X Y min min X Y Z min X plus Y Z true quot s X s Y quot min X Y s Y true Z 0 1 s 1 1 30095 plus 2 0 min 2 0 0 0 1 quot 2 0 plus 2 1 10157 min 2 1 30094 quot 2 1 0 min s X s Y min X Y min X 0 X min min X Y Z min X plus Y Z quot s X s Y min X Y false min min X Y Z min X plus Y Z min s X s Y min X Y true Z 0 1 s 1 1 30095 plus 2 0 min 2 1 0 0 0 0 quot 2 0 plus 2 1 0 min 2 1 2 30094 quot 2 0 min X 0 X min min X Y Z plus Y Z false plus s X Y plus X Y true Z 0 1 s 1 1 1 plus 2 1 0 min 2 0 0 0 0 quot 2 0 plus 2 1 0 min 2 1 2 42736 quot 2 0 min X 0 X NaTT certifiable-1.6