Compact tree of Thomas DORSE