https://9lib.org/document/zwvogvvg-cyclically-edge-connected-non-bicritical-critical-snarks.html