Compact tree of Thomas TIDYMAN