quicksortConsxConsx'xspartxConsx'xsquicksortConsxNilConsxNilquicksortNilNilpartLtx'ConsxxspartLt[Ite][True][Ite]<xx'x'ConsxxspartLtxNilNilpartGtx'ConsxxspartGt[Ite][True][Ite]>xx'x'ConsxxspartGtxNilNilappConsxxsysConsxappxsysappNilysysnotEmptyConsxxsTruenotEmptyNilFalsepartxxsappquicksortpartLtxxsConsxquicksortpartGtxxsgoalxsquicksortxs<SxSy<xy<0SyTrue<x0False>SxSy>xy>0yFalse>Sx0TruepartLt[Ite][True][Ite]Truex'ConsxxsConsxpartLtx'xspartGt[Ite][True][Ite]Truex'ConsxxsConsxpartGtx'xspartLt[Ite][True][Ite]Falsex'ConsxxspartLtx'xspartGt[Ite][True][Ite]Falsex'ConsxxspartGtx'xspart2True0app2Nil0quicksort1partLt[Ite][True][Ite]3>2partGt2<2S1Cons200partGt[Ite][True][Ite]3notEmpty1partLt2goal1False0INNERMOST