https://123dok.net/document/qvljmkry-on-the-recognition-of-c-4-free-and-1-2-hyperbolic-graphs.html