divide_ys#1x2x1Constake#2x1x2Consdrop#2x1x2Nilcond_merge_ys_zs_2TrueConsx7x8Consx5x6x4x3x2x1Consx4merge#2x3Consx5x6cond_merge_ys_zs_2FalseConsx7x8Consx5x6x4x3x2x1Consx2merge#2Consx7x8x1merge#2Nilx2x2merge#2Consx4x2NilConsx4x2merge#2Consx8x6Consx4x2cond_merge_ys_zs_2leq#2x8x4Consx8x6Consx4x2x8x6x4x2dc#1mapdivisiblemergesort_zs_3divideconst_fNilNildc#1mapdivisiblemergesort_zs_3divideconst_fConsx229NilConsx229Nildc#1mapdivisiblemergesort_zs_3divideconst_fConsx51Consx25x33const_f#2Consx51Consx25x33map#2dcmapdivisiblemergesort_zs_3divideconst_fdivide_ys#1Consx51Consx25x33Shalve#1length#1x33drop#20x2x2drop#2S0Nilbot[1]drop#2Sx10Consx56x64drop#2x10x64take#20x2Niltake#2S0NilConsbot[0]Niltake#2Sx22Consx56x64Consx56take#2x22x64halve#100halve#1S0S0halve#1SSx14Shalve#1x14const_f#2x3Consx6Consx4x2merge#2x6x4leq#20x16Trueleq#2Sx200Falseleq#2Sx4Sx2leq#2x4x2length#1Nil0length#1Consx6x8Slength#1x8map#2dcx2x4x6x8x10NilNilmap#2dcx6x8x10x12x14Consx4x2Consdc#1x6x8x10x12x14x4map#2dcx6x8x10x12x14x2mainx113dc#1mapdivisiblemergesort_zs_3divideconst_fx113divide_ys#12Cons2take#22drop#22Nil0cond_merge_ys_zs_27True0merge#22False0leq#22dc#16map0divisible0mergesort_zs_30divide0const_f0const_f#22map#22dc5S1halve#11length#1100bot[1]0bot[0]0main1INNERMOSThoca/mergesort-dc.trs