minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyappnilyyappaddnxyaddnappxyreversenilnilreverseaddnxappreversexaddnnilshufflenilnilshuffleaddnxaddnshufflereversexconcatleafyyconcatconsuvyconsuconcatvyless_leavesxleaffalseless_leavesleafconswztrueless_leavesconsuvconswzless_leavesconcatuvconcatwzminus200s1quot2app2nil0add2reverse1shuffle1concat2leaf0cons2less_leaves2false0true0FULL./TRS/AG01/#3.53.trs