Loading paper
Planar graphs have two-coloring number at most 8 | Tomesphere