Marked_replaceconsif_replaceMarked_lefalseMarked_sortleif_minMarked_eqeqMarked_minminreplaceMarked_if_min0sortsnilMarked_if_replacetruexnmkeq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_eq(s(n),s(m))Marked_eq(n,m)Marked_le(s(n),s(m))Marked_le(n,m)Marked_min(cons(n,cons(m,x)))Marked_if_min(le(n,m),cons(n,cons(m,x)))Marked_min(cons(n,cons(m,x)))Marked_le(n,m)Marked_if_min(true,cons(n,cons(m,x)))Marked_min(cons(n,x))Marked_if_min(false,cons(n,cons(m,x)))Marked_min(cons(m,x))Marked_replace(n,m,cons(k,x))Marked_if_replace(eq(n,k),n,m,cons(k,x))Marked_replace(n,m,cons(k,x))Marked_eq(n,k)Marked_if_replace(false,n,m,cons(k,x))Marked_replace(n,m,x)Marked_sort(cons(n,x))Marked_min(cons(n,x))Marked_sort(cons(n,x))Marked_sort(replace(min(cons(n,x)),n,x))Marked_sort(cons(n,x))Marked_replace(min(cons(n,x)),n,x)Marked_sort(cons(n,x))Marked_min(cons(n,x))eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_sort(cons(n,x))Marked_sort(replace(min(cons(n,x)),n,x))true0nil0s0sort2000replace110min0eq0if_min0le0Marked_sort10false0if_replace110cons210eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_replace(n,m,cons(k,x))Marked_if_replace(eq(n,k),n,m,cons(k,x))Marked_if_replace(false,n,m,cons(k,x))Marked_replace(n,m,x)Marked_if_replace4Marked_replace3Marked_if_replace(false,n,m,cons(k,x))Marked_replace(n,m,x)eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_replace(n,m,cons(k,x))Marked_if_replace(eq(n,k),n,m,cons(k,x))eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_eq(s(n),s(m))Marked_eq(n,m)Marked_eq1Marked_eq(s(n),s(m))Marked_eq(n,m)eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_min(cons(n,cons(m,x)))Marked_if_min(le(n,m),cons(n,cons(m,x)))Marked_if_min(true,cons(n,cons(m,x)))Marked_min(cons(n,x))Marked_if_min(false,cons(n,cons(m,x)))Marked_min(cons(m,x))true0nil0s0sort2000Marked_if_min10replace10min30Marked_min20eq0if_min220le0false0if_replace10cons230eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))Marked_le(s(n),s(m))Marked_le(n,m)Marked_le1Marked_le(s(n),s(m))Marked_le(n,m)eq(0,0)trueeq(0,s(m))falseeq(s(n),0)falseeq(s(n),s(m))eq(n,m)le(0,m)truele(s(n),0)falsele(s(n),s(m))le(n,m)min(cons(0,nil))0min(cons(s(n),nil))s(n)min(cons(n,cons(m,x)))if_min(le(n,m),cons(n,cons(m,x)))if_min(true,cons(n,cons(m,x)))min(cons(n,x))if_min(false,cons(n,cons(m,x)))min(cons(m,x))replace(n,m,nil)nilreplace(n,m,cons(k,x))if_replace(eq(n,k),n,m,cons(k,x))if_replace(true,n,m,cons(k,x))cons(m,x)if_replace(false,n,m,cons(k,x))cons(k,replace(n,m,x))sort(nil)nilsort(cons(n,x))cons(min(cons(n,x)),sort(replace(min(cons(n,x)),n,x)))