https://9dok.net/document/zlgx2856-not-so-easy-problems-for-tree-decomposable-graphs.html