quicksortConsxConsx'xspartxConsxConsx'xsConsxNilNilquicksortConsxNilConsxNilquicksortNilNilpartx'Consxxsxs1xs2part[Ite][True][Ite]>x'xx'Consxxsxs1xs2partxNilxs1xs2appquicksortxs1quicksortxs2appConsxxsysConsxappxsysappNilysysnotEmptyConsxxsTruenotEmptyNilFalsegoalxsquicksortxs<SxSy<xy<0SyTrue<x0False>SxSy>xy>0yFalse>Sx0Truepart[Ite][True][Ite]Truex'Consxxsxs1xs2partx'xsConsxxs1xs2part[Ite][True][Ite]Falsex'Consxxsxs1xs2part[Ite][True][Ite][False][Ite]<x'xx'Consxxsxs1xs2part[Ite][True][Ite]5part4True0app2Nil0quicksort1part[Ite][True][Ite][False][Ite]5>2<2S1Cons200notEmpty1goal1False0INNERMOST