Compact tree of Samuel Tomlin LEAN