half 0 0 half s 0 0 half s s x s half x bits 0 0 bits s x s bits half s x 2.2 bits s x half s x half s s x half x bits s x bits half s x true bits s x bits half s x true s 1 1 1 half 1 0 half 1 1 0 0 0 bits 1 0 1 bits 1 0 s 1 1 1 half 1 1 half 1 1 0 0 0 20653 bits 1 1 1 bits 1 1 half 0 0 half s s x s half x half s 0 0 bits s x half s x false half s s x half x true s 1 1 1 half 1 1 0 half 1 1 41141 0 0 20163 bits 1 0 bits 1 0 NaTT certifiable-1.6