Marked_first0consMarked_andtrueMarked_fromMarked_activeifnilMarked_addactiveMarked_consaddfirstMarked_ifandfromMarked_markfalsesMarked_smarkX3X2X1ZYXactive(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(and(false,Y))Marked_mark(false)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(if(false,X,Y))Marked_mark(Y)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(add(s(X),Y))Marked_s(add(X,Y))Marked_active(add(s(X),Y))Marked_add(X,Y)Marked_active(first(0,X))Marked_mark(nil)Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(first(s(X),cons(Y,Z)))Marked_cons(Y,first(X,Z))Marked_active(first(s(X),cons(Y,Z)))Marked_first(X,Z)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(from(X))Marked_cons(X,from(s(X)))Marked_active(from(X))Marked_from(s(X))Marked_active(from(X))Marked_s(X)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(true)Marked_active(true)Marked_mark(false)Marked_active(false)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_if(mark(X1),X2,X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_add(mark(X1),X2)Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(0)Marked_active(0)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(nil)Marked_active(nil)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(X1,mark(X2))Marked_and(X1,X2)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(X1,active(X2))Marked_and(X1,X2)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,mark(X3))Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,active(X3))Marked_if(X1,X2,X3)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(if(false,X,Y))Marked_mark(Y)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))mark20s0false10Marked_mark20from0and230first210add230active10nil0if2220Marked_active10true0cons000Marked_active(if(false,X,Y))Marked_mark(Y)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))mark10s0false0Marked_mark20from10and120first220add210active10nil0if1110Marked_active20true0cons000Marked_active(from(X))Marked_mark(cons(X,from(s(X))))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))mark10s0false0Marked_mark20from0and220first110add110active10nil0if2210Marked_active20true0cons0010Marked_active(add(0,X))Marked_mark(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(X))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))mark0s0false0Marked_mark20from0and10first10add10active0nil0if10Marked_active20true0cons000Marked_mark(s(X))Marked_active(s(X))Marked_mark(cons(X1,X2))Marked_active(cons(X1,X2))Marked_mark(from(X))Marked_active(from(X))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)mark10s10false0Marked_mark20from0and120first120add120active10nil0if2110Marked_active20true0cons000Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)mark10s210false0Marked_mark220from0and210first220add1310active10nil0if2210Marked_active220true0cons000Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_mark(add(X1,X2))Marked_mark(X1)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)mark20s0false0Marked_mark220from210and1130first110add120active10nil0if33220Marked_active210true10cons000Marked_active(and(true,X))Marked_mark(X)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),X2,X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),X2))active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark1Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(first(X1,X2))Marked_mark(X1)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(X1,mark(X2))Marked_and(X1,X2)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(X1,active(X2))Marked_and(X1,X2)Marked_and2Marked_and(X1,active(X2))Marked_and(X1,X2)Marked_and(X1,mark(X2))Marked_and(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(mark(X1),X2)Marked_and(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and1Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(active(X1),X2)Marked_and(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,mark(X3))Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,active(X3))Marked_if(X1,X2,X3)Marked_if3Marked_if(X1,X2,active(X3))Marked_if(X1,X2,X3)Marked_if(X1,X2,mark(X3))Marked_if(X1,X2,X3)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if2Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if1Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_add2Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(mark(X1),X2)Marked_add(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add1Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_s1Marked_s(active(X))Marked_s(X)Marked_s(mark(X))Marked_s(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_first2Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(mark(X1),X2)Marked_first(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first1Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons2Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons1Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_from(X)Marked_from1Marked_from(active(X))Marked_from(X)Marked_from(mark(X))Marked_from(X)active(and(true,X))mark(X)active(and(false,Y))mark(false)active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(and(X1,X2))active(and(mark(X1),X2))mark(true)active(true)mark(false)active(false)mark(if(X1,X2,X3))active(if(mark(X1),X2,X3))mark(add(X1,X2))active(add(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(X))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(X1,X2))mark(from(X))active(from(X))and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)s(mark(X))s(X)s(active(X))s(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)