andsconsMarked_a__addfalsefromMarked_a__anda__addnilMarked_a__froma__anda__fromMarked_mark0a__firstMarked_a__firsttruefirstMarked_a__ifa__ifaddifmarkX3X2X1ZYXa__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)a__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)Marked_a__and(true,X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_a__add(0,X)Marked_mark(X)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),X2,X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_a__first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(from(X))Marked_a__from(X)a__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)Marked_a__and(true,X)Marked_mark(X)Marked_a__if(true,X,Y)Marked_mark(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_a__add(0,X)Marked_mark(X)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),X2,X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)mark20if2330add120a__if2330Marked_a__if12330first220true10a__first22000Marked_mark120a__from0a__and230nil0a__add130Marked_a__and130from0false0Marked_a__add130cons0s0and230Marked_a__if(true,X,Y)Marked_mark(X)a__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)Marked_a__and(true,X)Marked_mark(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_a__add(0,X)Marked_mark(X)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),X2,X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)a__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)Marked_a__and(true,X)Marked_mark(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_a__add(0,X)Marked_mark(X)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),X2,X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)mark230if33220add120a__if33330Marked_a__if22130first3220true0a__first3220030Marked_mark220a__from0a__and2230nil0a__add130Marked_a__and330from0false0Marked_a__add230cons0s0and2220Marked_a__and(true,X)Marked_mark(X)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_a__if(mark(X1),X2,X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)a__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)Marked_a__if(false,X,Y)Marked_mark(Y)Marked_a__add(0,X)Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)a__and(true,X)mark(X)a__and(false,Y)falsea__if(true,X,Y)mark(X)a__if(false,X,Y)mark(Y)a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(Y,first(X,Z))a__from(X)cons(X,from(s(X)))mark(and(X1,X2))a__and(mark(X1),X2)mark(if(X1,X2,X3))a__if(mark(X1),X2,X3)mark(add(X1,X2))a__add(mark(X1),X2)mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(from(X))a__from(X)mark(true)truemark(false)falsemark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(X1,X2)a__and(X1,X2)and(X1,X2)a__if(X1,X2,X3)if(X1,X2,X3)a__add(X1,X2)add(X1,X2)a__first(X1,X2)first(X1,X2)a__from(X)from(X)Marked_a__add(0,X)Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)mark20if330add1110a__if330first220true0a__first220010Marked_mark220a__from0a__and30nil0a__add2120from0false0Marked_a__add3120cons20s320and30