Compact tree of Halvord Larsen