Loading paper
Planar graphs without cycles of length 4 or 5 are (11:3)-colorable | Tomesphere