Compact tree of Matthias Vaught