fromsconsMarked_firstfalsen__fromMarked_ifaddnilMarked_sandn__sMarked_and0firstMarked_fromtruen__firstMarked_addifn__addMarked_activateactivateX2X1ZYXand(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)Xand(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_and(true,X)Marked_activate(X)Marked_if(true,X,Y)Marked_activate(X)Marked_if(false,X,Y)Marked_activate(Y)Marked_add(0,X)Marked_activate(X)Marked_add(s(X),Y)Marked_s(n__add(activate(X),activate(Y)))Marked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_from(X)Marked_activate(X)Marked_from(X)Marked_activate(X)Marked_activate(n__add(X1,X2))Marked_add(X1,X2)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)Marked_activate(n__from(X))Marked_from(X)Marked_activate(n__s(X))Marked_s(X)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_add(0,X)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_from(X)Marked_activate(X)Marked_from(X)Marked_activate(X)Marked_activate(n__add(X1,X2))Marked_add(X1,X2)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)Marked_activate(n__from(X))Marked_from(X)activate000000000101010001000000000Marked_activate011111111100000000000000000n__add000000000100000000100010001000000000if111111111111100011101010001101010001000000000Marked_add011111111100000000100000000000000000n__first000000000110000000100110011000000000true111111111000000000Marked_from111111111100000000000000000first0000000001110000001011110110000000000000100100000000000n__s000000000100000000000000000and111111111111011100101010001000000000nil000111111000000000add000000000100000000101010001000000000n__from110000000110000000000000000false111111111000000000Marked_first011111111100000000100100000000000000cons000000000100000000010001100000000000s000000000100000000000000000from111000000111000000000000000Marked_from(X)Marked_activate(X)Marked_from(X)Marked_activate(X)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_add(0,X)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__add(X1,X2))Marked_add(X1,X2)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)Marked_activate(n__from(X))Marked_from(X)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_add(0,X)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__add(X1,X2))Marked_add(X1,X2)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)activate000000000101010001000000000Marked_activate111111111100000000000000000n__add000000000010100000110110001000000000if111111111111101111101010001101010001000000000Marked_add111111111000100000100100000000000000n__first000000000001100000001000100000000000true010111111000000000first0000000000011000000010001010000000000010100100000000000n__s000000000010100000000000000and110111101111111011101010001000000000nil100001001000000000add000000000010100000111111001000000000n__from000000000100001000000000000false111101111000000000Marked_first111111111000100000000000100000000000cons000000000001000000001000100000000000s000000000010100000000000000from000000000101001000000000000Marked_add(0,X)Marked_activate(X)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__add(X1,X2))Marked_add(X1,X2)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__add(X1,X2))Marked_add(X1,X2)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)activate000000000101010011000000000Marked_activate011111111100000000000000000n__add100000000100000000100001001000000000if111111111111111100101010011101010011000000000Marked_add011111111100000000100000000000000000n__first000000000100000000000001100000000000true111110111000000000first0000000001010000000000111010000000000100100100000000000n__s000000000100000000000000000and111111111111101111101010011000000000nil101101101000000000add100000000100000000101011011000000000n__from000000000001000000000000000false111110111000000000Marked_first011111111100000000000000100000000000cons000000000001000000001010010000000000s000000000100000000000000000from000000000011000000000000000Marked_activate(n__add(X1,X2))Marked_add(X1,X2)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_add(s(X),Y)Marked_activate(X)Marked_add(s(X),Y)Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)activate000000000110010001000000000Marked_activate111111111000100000000000000n__add000000000000000001100100001000000000if111111111111000111110010001110010001000000000n__first000000000000000011000011011000000000true011111111000000000first0000000000000000110000110110000000000100100100000000000n__s001000000000001001000000000and111111111111010101110010001000000000nil000000000000000000add000000000000000001110110001000000000n__from000000000101001000000000000false111111111000000000Marked_first111111111000000100000000100000000000cons000000000010001000001001010000000000s001000000000001001000000000from000000000111001000000000000Marked_first(s(X),cons(Y,Z))Marked_activate(Y)Marked_first(s(X),cons(Y,Z))Marked_activate(X)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)and(true,X)activate(X)and(false,Y)falseif(true,X,Y)activate(X)if(false,X,Y)activate(Y)add(0,X)activate(X)add(s(X),Y)s(n__add(activate(X),activate(Y)))first(0,X)nilfirst(s(X),cons(Y,Z))cons(activate(Y),n__first(activate(X),activate(Z)))from(X)cons(activate(X),n__from(n__s(activate(X))))add(X1,X2)n__add(X1,X2)first(X1,X2)n__first(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__add(X1,X2))add(X1,X2)activate(n__first(X1,X2))first(X1,X2)activate(n__from(X))from(X)activate(n__s(X))s(X)activate(X)XMarked_activate(n__first(X1,X2))Marked_first(X1,X2)