Marked_quicksortMarked_minusappif_lowMarked_if_highquotif_highMarked_if_lowleaddMarked_low0quicksortMarked_quotfalselowMarked_highshighMarked_letruenilMarked_appminusnmyxminus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_minus(s(x),s(y))Marked_minus(x,y)Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))Marked_quot(s(x),s(y))Marked_minus(x,y)Marked_le(s(x),s(y))Marked_le(x,y)Marked_app(add(n,x),y)Marked_app(x,y)Marked_low(n,add(m,x))Marked_if_low(le(m,n),n,add(m,x))Marked_low(n,add(m,x))Marked_le(m,n)Marked_if_low(true,n,add(m,x))Marked_low(n,x)Marked_if_low(false,n,add(m,x))Marked_low(n,x)Marked_high(n,add(m,x))Marked_if_high(le(m,n),n,add(m,x))Marked_high(n,add(m,x))Marked_le(m,n)Marked_if_high(true,n,add(m,x))Marked_high(n,x)Marked_if_high(false,n,add(m,x))Marked_high(n,x)Marked_quicksort(add(n,x))Marked_app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_quicksort(add(n,x))Marked_quicksort(low(n,x))Marked_quicksort(add(n,x))Marked_low(n,x)Marked_quicksort(add(n,x))Marked_quicksort(high(n,x))Marked_quicksort(add(n,x))Marked_high(n,x)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))minus10nil0true0high0s120low0false0Marked_quot20quicksort1000add0le0if_high0quot10if_low0app20minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_minus(s(x),s(y))Marked_minus(x,y)Marked_minus1Marked_minus(s(x),s(y))Marked_minus(x,y)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_quicksort(add(n,x))Marked_quicksort(low(n,x))Marked_quicksort(add(n,x))Marked_quicksort(high(n,x))if_lowif_highlowhighminustruesfalsequicksortaddlequotappsquottruelefalseleappquicksortaddappaddquicksortminus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_app(add(n,x),y)Marked_app(x,y)Marked_app1Marked_app(add(n,x),y)Marked_app(x,y)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_low(n,add(m,x))Marked_if_low(le(m,n),n,add(m,x))Marked_if_low(true,n,add(m,x))Marked_low(n,x)Marked_if_low(false,n,add(m,x))Marked_low(n,x)Marked_if_low3Marked_low2Marked_if_low(false,n,add(m,x))Marked_low(n,x)Marked_if_low(true,n,add(m,x))Marked_low(n,x)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_low(n,add(m,x))Marked_if_low(le(m,n),n,add(m,x))minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_high(n,add(m,x))Marked_if_high(le(m,n),n,add(m,x))Marked_if_high(true,n,add(m,x))Marked_high(n,x)Marked_if_high(false,n,add(m,x))Marked_high(n,x)Marked_if_high3Marked_high2Marked_if_high(false,n,add(m,x))Marked_high(n,x)Marked_if_high(true,n,add(m,x))Marked_high(n,x)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_high(n,add(m,x))Marked_if_high(le(m,n),n,add(m,x))minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))Marked_le(s(x),s(y))Marked_le(x,y)Marked_le1Marked_le(s(x),s(y))Marked_le(x,y)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))low(n,nil)nillow(n,add(m,x))if_low(le(m,n),n,add(m,x))if_low(true,n,add(m,x))add(m,low(n,x))if_low(false,n,add(m,x))low(n,x)high(n,nil)nilhigh(n,add(m,x))if_high(le(m,n),n,add(m,x))if_high(true,n,add(m,x))high(n,x)if_high(false,n,add(m,x))add(m,high(n,x))quicksort(nil)nilquicksort(add(n,x))app(quicksort(low(n,x)),add(n,quicksort(high(n,x))))