fact X if zero X n__s 0 n__prod X fact p X add 0 X X add s X Y s add X Y prod 0 X 0 prod s X Y add Y prod X Y if true X Y activate X if false X Y activate Y zero 0 true zero s X false p s X X s X n__s X prod X1 X2 n__prod X1 X2 activate n__s X s X activate n__prod X1 X2 prod X1 X2 activate X X 2.2 activate n__s X s X prod s X Y prod X Y fact X if zero X n__s 0 n__prod X fact p X fact X fact p X fact X p X add s X Y s add X Y fact X zero X prod s X Y add Y prod X Y activate n__prod X1 X2 prod X1 X2 if true X Y activate X add s X Y add X Y if false X Y activate Y true fact X fact p X true Failed! NaTT certifiable-1.6