half 0 0 half s s x s half x log s 0 0 log s s x s log s half x 2.2 log s s x log s half x log s s x half x half s s x half x true log s s x log s half x true s 1 1 2 log 1 1 0 half 1 0 half 1 1 1 log 1 0 0 0 28958 half 0 0 half s s x s half x log s s x half x false half s s x half x true s 1 1 1 log 1 1 0 half 1 1 0 half 1 1 11293 log 1 0 0 0 28958 half 0 0 half s s x s half x NaTT certifiable-1.6