Loading paper
Every signed planar graph without cycles of length from 4 to 7 is 3-colorable | Tomesphere