fact X if zero X n__s n__0 n__prod X n__fact n__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 0 n__0 prod X1 X2 n__prod X1 X2 fact X n__fact X p X n__p X activate n__s X s activate X activate n__0 0 activate n__prod X1 X2 prod activate X1 activate X2 activate n__fact X fact activate X activate n__p X p activate X activate X X 2.2 activate n__p X p activate X prod s X Y prod X Y add s X Y add X Y activate n__fact X activate X activate n__s X activate X add s X Y s add X Y fact X if zero X n__s n__0 n__prod X n__fact n__p X activate n__0 0 activate n__s X s activate X prod s X Y add Y prod X Y activate n__prod X1 X2 activate X1 activate n__prod X1 X2 prod activate X1 activate X2 activate n__p X activate X if true X Y activate X activate n__fact X fact activate X fact X zero X if false X Y activate Y activate n__prod X1 X2 activate X2 true activate n__prod X1 X2 activate X2 if false X Y activate Y fact X if zero X n__s n__0 n__prod X n__fact n__p X activate n__fact X fact activate X if true X Y activate X activate n__p X activate X activate n__s X activate X activate n__fact X activate X activate n__prod X1 X2 activate X1 true zero 1 1 0 0 0 0 prod 2 1 1 2 0 0 n__prod 2 1 1 2 0 0 s 1 1 0 prod 2 0 activate 1 1 0 n__fact 1 1 1326 activate 1 1 20698 false 0 1 fact 1 1 22024 p 1 0 true 0 0 n__s 1 1 0 p 1 1 0 if 3 2 1057 3 0 0 0 0 1 s 1 0 fact 1 1 1326 n__0 0 1 n__p 1 1 0 if 3 2 22022 3 20698 0 add 2 0 add 2 1 0 2 0 0 zero 1 0 activate n__s X activate X activate n__p X activate X activate n__fact X fact activate X fact X if zero X n__s n__0 n__prod X n__fact n__p X if false X Y activate Y activate n__prod X1 X2 activate X2 activate n__prod X1 X2 prod activate X1 activate X2 prod 0 X 0 p X n__p X fact X if zero X n__s n__0 n__prod X n__fact n__p X add s X Y s add X Y activate n__s X s activate X activate X X activate n__fact X fact activate X activate n__0 0 prod s X Y add Y prod X Y p s X X if false X Y activate Y activate n__p X p activate X fact X n__fact X 0 n__0 s X n__s X prod X1 X2 n__prod X1 X2 if true X Y activate X add 0 X X activate n__prod X1 X2 activate X2 fact X if zero X n__s n__0 n__prod X n__fact n__p X activate n__s X activate X activate n__fact X fact activate X if false X Y activate Y activate n__p X activate X true zero 1 1 1 0 0 0 prod 2 18012 n__prod 2 2 0 s 1 1 2 prod 2 0 activate 1 18011 n__fact 1 18013 activate 1 1 0 false 0 4 fact 1 18013 p 1 0 true 0 18010 n__s 1 1 3 p 1 18012 if 3 1 2 0 0 0 18008 s 1 0 fact 1 18012 n__0 0 18009 n__p 1 1 18013 if 3 3 0 add 2 0 add 2 2 15943 zero 1 0 if false X Y activate Y activate n__fact X fact activate X fact X if zero X n__s n__0 n__prod X n__fact n__p X activate n__prod X1 X2 activate X2 activate n__prod X1 X2 activate X2 fact X if zero X n__s n__0 n__prod X n__fact n__p X activate n__fact X fact activate X if false X Y activate Y true Failed! NaTT certifiable-1.6