Loading paper
1-planar graphs are odd 13-colorable | Tomesphere