concatleafYYconcatconsUVYconsUconcatVYlessleavesXleaffalselessleavesleafconsWZtruelessleavesconsUVconsWZlessleavesconcatUVconcatWZconcat2leaf0cons2lessleaves2false0true0FULL./TRS/Rubio/bintrees.trs./TRS/AG01/#3.14.trs