https://123dok.net/document/z12297py-expressive-planar-perfect-matching-permanents-bounded-treewidth-matrices.html