isEmptyemptytrueisEmptynodelrfalseleftemptyemptyleftnodelrlrightemptyemptyrightnodelrrinc0s0incsxsincxcountnxifisEmptynisEmptyleftnrightnnodeleftleftnnoderightleftnrightnxincxiftruebnmxyxiffalsefalsenmxycountmxiffalsetruenmxycountnynrOfNodesncountn0incsxincxcountnxincxcountnxrightleftncountnxleftleftncountnxrightncountnxleftncountnxisEmptyleftncountnxisEmptyncountnxifisEmptynisEmptyleftnrightnnodeleftleftnnoderightleftnrightnxincxiffalsefalsenmxycountmxiffalsetruenmxycountnynrOfNodesncountn0truenrOfNodesncountn0falsecountnxifisEmptynisEmptyleftnrightnnodeleftleftnnoderightleftnrightnxincxiffalsefalsenmxycountmxiffalsetruenmxycountnytruecountnxisEmptynfalsecountnxisEmptyleftnfalsecountnxleftnfalsecountnxrightnfalsecountnxleftleftnfalsecountnxrightleftnfalsecountnxincxfalseincsxincxtrue