minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyappnilyyappaddnxyaddnappxyreversenilnilreverseaddnxappreversexaddnnilshufflenilnilshuffleaddnxaddnshufflereversexconcatleafyyconcatconsuvyconsuconcatvyless_leavesxleaffalseless_leavesleafconswztrueless_leavesconsuvconswzless_leavesconcatuvconcatwzminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyappaddnxyappxyreverseaddnxreversexreverseaddnxappreversexaddnnilshuffleaddnxreversexshuffleaddnxshufflereversexconcatconsuvyconcatvyless_leavesconsuvconswzconcatwzless_leavesconsuvconswzconcatuvless_leavesconsuvconswzless_leavesconcatuvconcatwztruequotsxsyquotminusxysytrue1quot241020true01false00less_leaves201021cons251024concat2101423leaf00shuffle1010reverse1010add201020app201120nil00quot211229s1118minus211020008quotsxsyminusxyfalseminussxsyminusxytrue1minus241024true00false00less_leaves201020cons201020concat201820leaf00shuffle1013reverse1018add201023app201124nil00quot241021s1411minus211020000shuffleaddnxshufflereversextrue1shuffle1410true00false05less_leaves261121cons281123concat261121leaf04shuffle1110reverse1110add201122app211120nil00quot231020s1119minus211026006shuffleaddnxreversexfalsereverseaddnxreversextrue1reverse1210true00false08less_leaves211028cons211128concat211120leaf00shuffle1414reverse1115add201128app211120nil00quot201020s1810minus241020000reverseaddnxappreversexaddnnilfalseappaddnxyappxytrue1app221022true04false04less_leaves201024cons201020concat201120leaf00shuffle1210reverse1110add221122app211120nil00quot201020s1410minus241420000less_leavesconsuvconswzless_leavesconcatuvconcatwztrue1less_leaves241020true00false00less_leaves241020cons211124concat211120leaf00shuffle1012reverse1010add201020app201820nil00quot201020s1410minus281820000less_leavesconsuvconswzconcatuvfalseless_leavesconsuvconswzconcatwzfalseconcatconsuvyconcatvytrue1concat211020true00false03less_leaves201023cons201128concat211128leaf00shuffle1010reverse1010add201120app201220nil00quot201020s1810minus241120000