<=lowersgreatersMarked_lowersqsortifMarked_qsort++.Marked_greatersnilzyxqsort(nil)nilqsort(.(x,y))++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))lowers(x,nil)nillowers(x,.(y,z))if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))greaters(x,nil)nilgreaters(x,.(y,z))if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))qsort(nil)nilqsort(.(x,y))++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))lowers(x,nil)nillowers(x,.(y,z))if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))greaters(x,nil)nilgreaters(x,.(y,z))if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))Marked_qsort(.(x,y))Marked_qsort(lowers(x,y))Marked_qsort(.(x,y))Marked_lowers(x,y)Marked_qsort(.(x,y))Marked_qsort(greaters(x,y))Marked_qsort(.(x,y))Marked_greaters(x,y)Marked_lowers(x,.(y,z))Marked_lowers(x,z)Marked_lowers(x,.(y,z))Marked_lowers(x,z)Marked_greaters(x,.(y,z))Marked_greaters(x,z)Marked_greaters(x,.(y,z))Marked_greaters(x,z)qsort(nil)nilqsort(.(x,y))++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))lowers(x,nil)nillowers(x,.(y,z))if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))greaters(x,nil)nilgreaters(x,.(y,z))if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))Marked_qsort(.(x,y))Marked_qsort(lowers(x,y))Marked_qsort(.(x,y))Marked_qsort(greaters(x,y))nil0.2230++20Marked_qsort30if0qsort230greaters0lowers30<=0qsort(nil)nilqsort(.(x,y))++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))lowers(x,nil)nillowers(x,.(y,z))if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))greaters(x,nil)nilgreaters(x,.(y,z))if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))Marked_lowers(x,.(y,z))Marked_lowers(x,z)Marked_lowers(x,.(y,z))Marked_lowers(x,z)nil0.120++0if0qsort0Marked_lowers30greaters0lowers0<=0qsort(nil)nilqsort(.(x,y))++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))lowers(x,nil)nillowers(x,.(y,z))if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))greaters(x,nil)nilgreaters(x,.(y,z))if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))Marked_greaters(x,.(y,z))Marked_greaters(x,z)Marked_greaters(x,.(y,z))Marked_greaters(x,z)nil0Marked_greaters30.110++0if0qsort0greaters0lowers0<=0