Marked_marka__isNePalMarked_a__isNePalnilMarked_a__U11ttU12markMarked_a____a__U11isNePal__Marked_a__U12a__U12U11a____X2X1PIZYXa____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)a__U12(tt)a__U12(tt)tta__isNePal(__(I,__(P,I)))a__U11(tt)mark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U12(X))a__U12(mark(X))mark(isNePal(X))a__isNePal(mark(X))mark(nil)nilmark(tt)tta____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U12(X)U12(X)a__isNePal(X)isNePal(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)a__U12(tt)a__U12(tt)tta__isNePal(__(I,__(P,I)))a__U11(tt)mark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U12(X))a__U12(mark(X))mark(isNePal(X))a__isNePal(mark(X))mark(nil)nilmark(tt)tta____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U12(X)U12(X)a__isNePal(X)isNePal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)Marked_a__U11(tt)Marked_a__U12(tt)Marked_a__isNePal(__(I,__(P,I)))Marked_a__U11(tt)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(U11(X))Marked_a__U11(mark(X))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_a__U12(mark(X))Marked_mark(U12(X))Marked_mark(X)Marked_mark(isNePal(X))Marked_a__isNePal(mark(X))Marked_mark(isNePal(X))Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)a__U12(tt)a__U12(tt)tta__isNePal(__(I,__(P,I)))a__U11(tt)mark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U12(X))a__U12(mark(X))mark(isNePal(X))a__isNePal(mark(X))mark(nil)nilmark(tt)tta____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U12(X)U12(X)a__isNePal(X)isNePal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_mark(X)Marked_mark(isNePal(X))Marked_mark(X)a____3210U11310a__U12210__3210isNePal20a__U11310Marked_a____3210mark10U12210tt10nil10a__isNePal20Marked_mark210Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)a__U12(tt)a__U12(tt)tta__isNePal(__(I,__(P,I)))a__U11(tt)mark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U12(X))a__U12(mark(X))mark(isNePal(X))a__isNePal(mark(X))mark(nil)nilmark(tt)tta____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U12(X)U12(X)a__isNePal(X)isNePal(X)Marked_mark(isNePal(X))Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)a__U12(tt)a__U12(tt)tta__isNePal(__(I,__(P,I)))a__U11(tt)mark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U12(X))a__U12(mark(X))mark(isNePal(X))a__isNePal(mark(X))mark(nil)nilmark(tt)tta____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U12(X)U12(X)a__isNePal(X)isNePal(X)Marked_mark(isNePal(X))Marked_mark(X)a____3310U11310a__U1210__3310isNePal210a__U11310mark10U1210tt10nil0a__isNePal210Marked_mark30