bsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'ConsxxsbubblesortxsbsortlenxsxslenConsxxs+S0lenxslenNil0+xS0Sx+S0ySy<x0False<0SyTrue<SxSy<xybubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxs00Cons2False0Nil0S1True0+2<2bsort2bubble2bubble[Ite][False][Ite]3bubblesort1len122.211+202142000<200102Cons200112False00Nil00S1011True00bsort204122bubble200102bubble[Ite][False][Ite]30410203bubblesort1521len1001bubblesortxsbsortlenxsxs+xS0Sx+S0ySy<x0False<0SyTrue<SxSy<xybsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxsbubblesortxsbsortlenxsxslenConsxxs+S0lenxslenNil011+201182000<200102Cons210112False00Nil010S1011True00bsort218182bubble210112bubble[Ite][False][Ite]31810213bubblesort1181len1001bsort0xsxs+xS0Sx+S0ySy<x0False<0SyTrue<SxSy<xybsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxsbubblesortxsbsortlenxsxslenConsxxs+S0lenxslenNil011+208112000<200102Cons200112False00Nil00S1011True00bsort202182bubble200102bubble[Ite][False][Ite]30210203bubblesort1291len1101lenNil0+xS0Sx+S0ySy<x0False<0SyTrue<SxSy<xybsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxsbubblesortxsbsortlenxsxslenConsxxs+S0lenxslenNil011+228112000<200102Cons211112False00Nil00S1011True00bsort201112bubble211112bubble[Ite][False][Ite]31811213bubblesort14101len1481lenConsxxs+S0lenxs+xS0Sx+S0ySy<x0False<0SyTrue<SxSy<xybsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxsbubblesortxsbsortlenxsxslenConsxxs+S0lenxslenNil011+211112000<210102Cons260112False01Nil00S1811True01bsort292112bubble290112bubble[Ite][False][Ite]31810213bubblesort1971len1031bsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNil+xS0Sx+S0ySy<x0False<0SyTrue<SxSy<xybsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxsbubblesortxsbsortlenxsxslenConsxxs+S0lenxslenNil0bubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubblex'Consxxsc1bubble[Ite][False][Ite]<x'xx'Consxxs<x'x+xS0Sx+xS0c2+S0ySy+S0yc3<x0False<x0c4<0SyTrue<0Syc5<SxSy<xy<SxSyc6<xybsort0xsxsbsort0xsc7bsortSx'Consxxsbsortx'bubblexxsbsortSx'Consxxsc8bsortx'bubblexxsbubblexxsbubblexNilConsxNilbubblexNilc9bubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Falsex'Consxxsc10bubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxsbubble[Ite][False][Ite]Truex'Consxxsc11bubblexxsbubblesortxsbsortlenxsxsbubblesortxsc12bsortlenxsxslenxslenConsxxs+S0lenxslenConsxxsc13+S0lenxslenxslenNil0lenNilc14bubblex'Consxxs+xS0+S0y<x0<0Sy<SxSybsort0xsbsortSx'ConsxxsbubblexNilbubble[Ite][False][Ite]Falsex'Consxxsbubble[Ite][False][Ite]Truex'ConsxxsbubblesortxslenConsxxslenNilbsort0xsxsbsortSx'Consxxsbsortx'bubblexxsbubblesortxsbsortlenxsxs2+21112000<211122Cons2112False00Nil00S1111True00bsort20bubble2112bubble[Ite][False][Ite]3113bubblesort10len111+20<20bsort2112bubble2112bubble[Ite][False][Ite]313bubblesort11111len10c121112c200c300c400c500c6111c700c821112c900c10111c11111c12211112c1321112c1400bubblex'Consxxsc1bubble[Ite][False][Ite]<x'xx'Consxxs<x'x+xS0Sx+S0ySybubblexNilConsxNilbubblex'Consxxsbubble[Ite][False][Ite]<x'xx'Consxxsbubble[Ite][False][Ite]Falsex'ConsxxsConsxbubblex'xsbubble[Ite][False][Ite]Truex'ConsxxsConsx'bubblexxslenConsxxs+S0lenxslenNil0+xS0c2+S0yc3<x0c4<0Syc5<SxSyc6<xybsort0xsc7bsortSx'Consxxsc8bsortx'bubblexxsbubblexxsbubblexNilc9bubblex'Consxxsc1bubble[Ite][False][Ite]<x'xx'Consxxs<x'xbubble[Ite][False][Ite]Falsex'Consxxsc10bubblex'xsbubble[Ite][False][Ite]Truex'Consxxsc11bubblexxsbubblesortxsc12bsortlenxsxslenxslenConsxxsc13+S0lenxslenxslenNilc14TcT3.0.0