Marked_lowconsifhighMarked_iflowfalseMarked_quicksortappiflowMarked_ifhighleMarked_appnilhighMarked_le0quicksortslowMarked_hightrueLYXMNle(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_le(s(X),s(Y))Marked_le(X,Y)Marked_app(cons(N,L),Y)Marked_app(L,Y)Marked_low(N,cons(M,L))Marked_iflow(le(M,N),N,cons(M,L))Marked_low(N,cons(M,L))Marked_le(M,N)Marked_iflow(true,N,cons(M,L))Marked_low(N,L)Marked_iflow(false,N,cons(M,L))Marked_low(N,L)Marked_high(N,cons(M,L))Marked_ifhigh(le(M,N),N,cons(M,L))Marked_high(N,cons(M,L))Marked_le(M,N)Marked_ifhigh(true,N,cons(M,L))Marked_high(N,L)Marked_ifhigh(false,N,cons(M,L))Marked_high(N,L)Marked_quicksort(cons(N,L))Marked_app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_quicksort(cons(N,L))Marked_quicksort(low(N,L))Marked_quicksort(cons(N,L))Marked_low(N,L)Marked_quicksort(cons(N,L))Marked_quicksort(high(N,L))Marked_quicksort(cons(N,L))Marked_high(N,L)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_quicksort(cons(N,L))Marked_quicksort(low(N,L))Marked_quicksort(cons(N,L))Marked_quicksort(high(N,L))ifhighiflowhighlowtruequicksortleappfalseconstruelefalseleappquicksortconsappconsquicksortle(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_app(cons(N,L),Y)Marked_app(L,Y)Marked_app1Marked_app(cons(N,L),Y)Marked_app(L,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_low(N,cons(M,L))Marked_iflow(le(M,N),N,cons(M,L))Marked_iflow(true,N,cons(M,L))Marked_low(N,L)Marked_iflow(false,N,cons(M,L))Marked_low(N,L)Marked_iflow3Marked_low2Marked_iflow(false,N,cons(M,L))Marked_low(N,L)Marked_iflow(true,N,cons(M,L))Marked_low(N,L)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_low(N,cons(M,L))Marked_iflow(le(M,N),N,cons(M,L))le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_high(N,cons(M,L))Marked_ifhigh(le(M,N),N,cons(M,L))Marked_ifhigh(true,N,cons(M,L))Marked_high(N,L)Marked_ifhigh(false,N,cons(M,L))Marked_high(N,L)Marked_ifhigh3Marked_high2Marked_ifhigh(false,N,cons(M,L))Marked_high(N,L)Marked_ifhigh(true,N,cons(M,L))Marked_high(N,L)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_high(N,cons(M,L))Marked_ifhigh(le(M,N),N,cons(M,L))le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))Marked_le(s(X),s(Y))Marked_le(X,Y)Marked_le1Marked_le(s(X),s(Y))Marked_le(X,Y)le(0,Y)truele(s(X),0)falsele(s(X),s(Y))le(X,Y)app(nil,Y)Yapp(cons(N,L),Y)cons(N,app(L,Y))low(N,nil)nillow(N,cons(M,L))iflow(le(M,N),N,cons(M,L))iflow(true,N,cons(M,L))cons(M,low(N,L))iflow(false,N,cons(M,L))low(N,L)high(N,nil)nilhigh(N,cons(M,L))ifhigh(le(M,N),N,cons(M,L))ifhigh(true,N,cons(M,L))high(N,L)ifhigh(false,N,cons(M,L))cons(M,high(N,L))quicksort(nil)nilquicksort(cons(N,L))app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))