min X 0 X min s X s Y min X Y quot 0 s Y 0 quot s X s Y s quot min X Y s Y log s 0 0 log s s X s log s quot X s s 0 2.2 log s s X log s quot X s s 0 quot s X s Y min X Y log s s X quot X s s 0 min s X s Y min X Y quot s X s Y quot min X Y s Y true log s s X log s quot X s s 0 true s 1 1 2 min 2 0 log 1 1 0 log 1 0 0 0 1 quot 2 1 1 min 2 1 0 quot 2 0 quot s X s Y s quot min X Y s Y min X 0 X quot 0 s Y 0 min s X s Y min X Y log s s X quot X s s 0 false quot s X s Y quot min X Y s Y true s 1 1 2 min 2 0 log 1 0 log 1 0 0 0 42737 quot 2 42736 min 2 1 1 quot 2 1 0 min X 0 X min s X s Y min X Y quot s X s Y min X Y false min s X s Y min X Y true s 1 1 1 min 2 2 0 log 1 0 log 1 0 0 0 42737 quot 2 1143 min 2 1 1 quot 2 1 0 min X 0 X min s X s Y min X Y NaTT certifiable-1.6