concatleafYYconcatconsUVYconsUconcatVYlessleavesXleaffalselessleavesleafconsWZtruelessleavesconsUVconsWZlessleavesconcatUVconcatWZ1true00false00lessleaves221624cons241123concat211123leaf02concatconsUVYconsUconcatVYlessleavesconsUVconsWZlessleavesconcatUVconcatWZ1lessleaves211420cons211123concat211120concatconsUVYconsUconcatVY1cons211124concat261124