https://123dok.net/document/yev344ez-applications-of-a-new-separator-theorem-for-string-graphs.html