Compact tree of John Jönsson