Loading paper
Graphs with no $K_9^=$ minor are 10-colorable | Tomesphere