Loading paper
Every planar graph without adjacent short cycles is 3-colorable | Tomesphere