Marked_intsconsintlistMarked_intlistint0nilyxintlist(nil)nilint(s(x),0)nilint(x,x)cons(x,nil)intlist(cons(x,y))cons(s(x),intlist(y))int(s(x),s(y))intlist(int(x,y))int(0,s(y))cons(0,int(s(0),s(y)))intlist(cons(x,nil))cons(s(x),nil)intlist(nil)nilint(s(x),0)nilint(x,x)cons(x,nil)intlist(cons(x,y))cons(s(x),intlist(y))int(s(x),s(y))intlist(int(x,y))int(0,s(y))cons(0,int(s(0),s(y)))intlist(cons(x,nil))cons(s(x),nil)Marked_intlist(cons(x,y))Marked_intlist(y)Marked_int(s(x),s(y))Marked_intlist(int(x,y))Marked_int(s(x),s(y))Marked_int(x,y)Marked_int(0,s(y))Marked_int(s(0),s(y))intlist(nil)nilint(s(x),0)nilint(x,x)cons(x,nil)intlist(cons(x,y))cons(s(x),intlist(y))int(s(x),s(y))intlist(int(x,y))int(0,s(y))cons(0,int(s(0),s(y)))intlist(cons(x,nil))cons(s(x),nil)Marked_int(s(x),s(y))Marked_int(x,y)Marked_int(0,s(y))Marked_int(s(0),s(y))Marked_int2Marked_int(s(x),s(y))Marked_int(x,y)intlist(nil)nilint(s(x),0)nilint(x,x)cons(x,nil)intlist(cons(x,y))cons(s(x),intlist(y))int(s(x),s(y))intlist(int(x,y))int(0,s(y))cons(0,int(s(0),s(y)))intlist(cons(x,nil))cons(s(x),nil)Marked_int(0,s(y))Marked_int(s(0),s(y))intlist(nil)nilint(s(x),0)nilint(x,x)cons(x,nil)intlist(cons(x,y))cons(s(x),intlist(y))int(s(x),s(y))intlist(int(x,y))int(0,s(y))cons(0,int(s(0),s(y)))intlist(cons(x,nil))cons(s(x),nil)Marked_intlist(cons(x,y))Marked_intlist(y)Marked_intlist1Marked_intlist(cons(x,y))Marked_intlist(y)intlist(nil)nilint(s(x),0)nilint(x,x)cons(x,nil)intlist(cons(x,y))cons(s(x),intlist(y))int(s(x),s(y))intlist(int(x,y))int(0,s(y))cons(0,int(s(0),s(y)))intlist(cons(x,nil))cons(s(x),nil)