https://5dok.net/document/4zpg99oz-editing-to-a-planar-graph-of-given-degrees.html