Download all 15 colored fullerenes taken from here: https://networks.skewed.de/net/fullerene_structures
The Tait three colored edges of the graph is equivalent to the four colored faces of the same graph.
This is an example for the C2940 Fullerene.
.
See you!
On this great website https://networks.skewed.de/net/fullerene_structures, you can view and download fullerene structures in various formats.
Fullerenes are a perfect playground to test my four color algorithm.
I used the C6000 fullerene. 6000 atoms! A fullerene is an allotrope of carbon. Its molecules consist of carbon atoms connected by single and double bonds. A perfect 3-regular planar graphs ready to be tested.
And this is the four colored version you can play with, created using:
# python3 4ct.py -p planar_inputs/C6000.planar -c 2354 -o C6000
Actually, it is the Tait edge three colored version of the graph. This is equivalent to the four colored version of the faces.
This zip file includes the C6000.dot + C6000.edgelist files.
.
See you around!
Four Color Theorem 