Marked_a__fromfroma__lenconsMarked_a__lenfsta__addMarked_marka__fstMarked_a__addsadd0lenmarka__fromMarked_a__fstnilX2X1ZYXa__fst(0,Z)nila__fst(s(X),cons(Y,Z))cons(mark(Y),fst(X,Z))a__from(X)cons(mark(X),from(s(X)))a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__len(nil)0a__len(cons(X,Z))s(len(Z))mark(fst(X1,X2))a__fst(mark(X1),mark(X2))mark(from(X))a__from(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(len(X))a__len(mark(X))mark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(mark(X1),X2)a__fst(X1,X2)fst(X1,X2)a__from(X)from(X)a__add(X1,X2)add(X1,X2)a__len(X)len(X)a__fst(0,Z)nila__fst(s(X),cons(Y,Z))cons(mark(Y),fst(X,Z))a__from(X)cons(mark(X),from(s(X)))a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__len(nil)0a__len(cons(X,Z))s(len(Z))mark(fst(X1,X2))a__fst(mark(X1),mark(X2))mark(from(X))a__from(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(len(X))a__len(mark(X))mark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(mark(X1),X2)a__fst(X1,X2)fst(X1,X2)a__from(X)from(X)a__add(X1,X2)add(X1,X2)a__len(X)len(X)Marked_a__fst(s(X),cons(Y,Z))Marked_mark(Y)Marked_a__from(X)Marked_mark(X)Marked_a__add(0,X)Marked_mark(X)Marked_mark(fst(X1,X2))Marked_a__fst(mark(X1),mark(X2))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(from(X))Marked_a__from(mark(X))Marked_mark(from(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_a__len(mark(X))Marked_mark(len(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)a__fst(0,Z)nila__fst(s(X),cons(Y,Z))cons(mark(Y),fst(X,Z))a__from(X)cons(mark(X),from(s(X)))a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__len(nil)0a__len(cons(X,Z))s(len(Z))mark(fst(X1,X2))a__fst(mark(X1),mark(X2))mark(from(X))a__from(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(len(X))a__len(mark(X))mark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(mark(X1),X2)a__fst(X1,X2)fst(X1,X2)a__from(X)from(X)a__add(X1,X2)add(X1,X2)a__len(X)len(X)Marked_a__fst(s(X),cons(Y,Z))Marked_mark(Y)Marked_a__from(X)Marked_mark(X)Marked_a__add(0,X)Marked_mark(X)Marked_mark(fst(X1,X2))Marked_a__fst(mark(X1),mark(X2))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(from(X))Marked_a__from(mark(X))Marked_mark(from(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)nil0Marked_a__fst3110a__from220mark10len120010add2210s10Marked_a__add3110a__fst2110Marked_mark210a__add2210fst2110cons20a__len120from220Marked_a__from210Marked_a__fst(s(X),cons(Y,Z))Marked_mark(Y)Marked_a__add(0,X)Marked_mark(X)Marked_mark(fst(X1,X2))Marked_a__fst(mark(X1),mark(X2))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(from(X))Marked_a__from(mark(X))Marked_mark(from(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_mark(X)a__fst(0,Z)nila__fst(s(X),cons(Y,Z))cons(mark(Y),fst(X,Z))a__from(X)cons(mark(X),from(s(X)))a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__len(nil)0a__len(cons(X,Z))s(len(Z))mark(fst(X1,X2))a__fst(mark(X1),mark(X2))mark(from(X))a__from(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(len(X))a__len(mark(X))mark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(mark(X1),X2)a__fst(X1,X2)fst(X1,X2)a__from(X)from(X)a__add(X1,X2)add(X1,X2)a__len(X)len(X)Marked_a__from(X)Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)a__fst(0,Z)nila__fst(s(X),cons(Y,Z))cons(mark(Y),fst(X,Z))a__from(X)cons(mark(X),from(s(X)))a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__len(nil)0a__len(cons(X,Z))s(len(Z))mark(fst(X1,X2))a__fst(mark(X1),mark(X2))mark(from(X))a__from(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(len(X))a__len(mark(X))mark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(mark(X1),X2)a__fst(X1,X2)fst(X1,X2)a__from(X)from(X)a__add(X1,X2)add(X1,X2)a__len(X)len(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark1Marked_mark(cons(X1,X2))Marked_mark(X1)a__fst(0,Z)nila__fst(s(X),cons(Y,Z))cons(mark(Y),fst(X,Z))a__from(X)cons(mark(X),from(s(X)))a__add(0,X)mark(X)a__add(s(X),Y)s(add(X,Y))a__len(nil)0a__len(cons(X,Z))s(len(Z))mark(fst(X1,X2))a__fst(mark(X1),mark(X2))mark(from(X))a__from(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(len(X))a__len(mark(X))mark(0)0mark(s(X))s(X)mark(nil)nilmark(cons(X1,X2))cons(mark(X1),X2)a__fst(X1,X2)fst(X1,X2)a__from(X)from(X)a__add(X1,X2)add(X1,X2)a__len(X)len(X)