Why is the prob statement so tortuous? Just saying the hierachy is a 'full sorted binary tree with continuous integer labels starting with 1' is enough, so why waste as many as two paragraphs?