nonZero 0 false nonZero s x true p s 0 0 p s s x s p s x id_inc x x id_inc x s x random x rand x 0 rand x y if nonZero x x y if false x y y if true x y rand p x id_inc y 2.2 if true x y rand p x id_inc y rand x y nonZero x p s s x p s x rand x y if nonZero x x y if true x y p x random x rand x 0 if true x y id_inc y true random x rand x 0 false rand x y if nonZero x x y if true x y rand p x id_inc y true Failed! NaTT certifiable-1.6