Compact tree of THOMAS