half 0 0 half s 0 0 half s s x s half x inc 0 0 inc s x s inc x zero 0 true zero s x false p 0 0 p s x x bits x bitIter x 0 bitIter x y if zero x x inc y if true x y p y if false x y bitIter half x y 2.2 if false x y half x if true x y p y half s s x half x bits x bitIter x 0 bitIter x y inc y bitIter x y if zero x x inc y if false x y bitIter half x y inc s x inc x bitIter x y zero x true bits x bitIter x 0 false if false x y bitIter half x y bitIter x y if zero x x inc y true Failed! NaTT certifiable-1.6