isortConsxxsrisortxsinsertxrinsertx'Consxxsinsert[Ite][False][Ite]<x'xx'ConsxxsisortNilrrinsertxNilConsxNilinssortxsisortxsNil<SxSy<xy<0SyTrue<x0Falseinsert[Ite][False][Ite]Falsex'ConsxxsConsxinsertx'xsinsert[Ite][False][Ite]TruexrConsxrinsert2True0insert[Ite][False][Ite]3<2S1Cons2Nil000isort2inssort1False0INNERMOST