sume of leaves in binary encoding integers