Marked_minconsifreplMarked_ifreplfalseifselsortMarked_leleifminMarked_replaceeqMarked_ifselsortminreplaceMarked_eq0selsortMarked_ifminsnilMarked_selsorttrueLMNKYXeq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_eq(s(X),s(Y))Marked_eq(X,Y)Marked_le(s(X),s(Y))Marked_le(X,Y)Marked_min(cons(N,cons(M,L)))Marked_ifmin(le(N,M),cons(N,cons(M,L)))Marked_min(cons(N,cons(M,L)))Marked_le(N,M)Marked_ifmin(true,cons(N,cons(M,L)))Marked_min(cons(N,L))Marked_ifmin(false,cons(N,cons(M,L)))Marked_min(cons(M,L))Marked_replace(N,M,cons(K,L))Marked_ifrepl(eq(N,K),N,M,cons(K,L))Marked_replace(N,M,cons(K,L))Marked_eq(N,K)Marked_ifrepl(false,N,M,cons(K,L))Marked_replace(N,M,L)Marked_selsort(cons(N,L))Marked_ifselsort(eq(N,min(cons(N,L))),cons(N,L))Marked_selsort(cons(N,L))Marked_eq(N,min(cons(N,L)))Marked_selsort(cons(N,L))Marked_min(cons(N,L))Marked_ifselsort(true,cons(N,L))Marked_selsort(L)Marked_ifselsort(false,cons(N,L))Marked_min(cons(N,L))Marked_ifselsort(false,cons(N,L))Marked_selsort(replace(min(cons(N,L)),N,L))Marked_ifselsort(false,cons(N,L))Marked_replace(min(cons(N,L)),N,L)Marked_ifselsort(false,cons(N,L))Marked_min(cons(N,L))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_selsort(cons(N,L))Marked_ifselsort(eq(N,min(cons(N,L))),cons(N,L))Marked_ifselsort(true,cons(N,L))Marked_selsort(L)Marked_ifselsort(false,cons(N,L))Marked_selsort(replace(min(cons(N,L)),N,L))true0Marked_selsort110nil0s0selsort13000replace10min0Marked_ifselsort110eq0ifmin0le0ifselsort130false0ifrepl10cons110Marked_ifselsort(true,cons(N,L))Marked_selsort(L)Marked_ifselsort(false,cons(N,L))Marked_selsort(replace(min(cons(N,L)),N,L))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_selsort(cons(N,L))Marked_ifselsort(eq(N,min(cons(N,L))),cons(N,L))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_replace(N,M,cons(K,L))Marked_ifrepl(eq(N,K),N,M,cons(K,L))Marked_ifrepl(false,N,M,cons(K,L))Marked_replace(N,M,L)Marked_ifrepl4Marked_replace3Marked_ifrepl(false,N,M,cons(K,L))Marked_replace(N,M,L)eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_replace(N,M,cons(K,L))Marked_ifrepl(eq(N,K),N,M,cons(K,L))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_eq(s(X),s(Y))Marked_eq(X,Y)Marked_eq1Marked_eq(s(X),s(Y))Marked_eq(X,Y)eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_min(cons(N,cons(M,L)))Marked_ifmin(le(N,M),cons(N,cons(M,L)))Marked_ifmin(true,cons(N,cons(M,L)))Marked_min(cons(N,L))Marked_ifmin(false,cons(N,cons(M,L)))Marked_min(cons(M,L))true0nil0s0Marked_ifmin110selsort2000replace10min0eq0ifmin0le0ifselsort20false0ifrepl10cons120Marked_min220Marked_min(cons(N,cons(M,L)))Marked_ifmin(le(N,M),cons(N,cons(M,L)))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_ifmin(true,cons(N,cons(M,L)))Marked_min(cons(N,L))Marked_ifmin(false,cons(N,cons(M,L)))Marked_min(cons(M,L))eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))Marked_le(s(X),s(Y))Marked_le(X,Y)Marked_le1Marked_le(s(X),s(Y))Marked_le(X,Y)eq(0,0)trueeq(0,s(Y))falseeq(s(X),0)falseeq(s(X),s(Y))eq(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)min(cons(0,nil))0min(cons(s(N),nil))s(N)min(cons(N,cons(M,L)))ifmin(le(N,M),cons(N,cons(M,L)))ifmin(true,cons(N,cons(M,L)))min(cons(N,L))ifmin(false,cons(N,cons(M,L)))min(cons(M,L))replace(N,M,nil)nilreplace(N,M,cons(K,L))ifrepl(eq(N,K),N,M,cons(K,L))ifrepl(true,N,M,cons(K,L))cons(M,L)ifrepl(false,N,M,cons(K,L))cons(K,replace(N,M,L))selsort(nil)nilselsort(cons(N,L))ifselsort(eq(N,min(cons(N,L))),cons(N,L))ifselsort(true,cons(N,L))cons(N,selsort(L))ifselsort(false,cons(N,L))cons(min(cons(N,L)),selsort(replace(min(cons(N,L)),N,L)))