Compact tree of Petter Jonsson