https://leatherneckmagazine-digital.com/a-computer-assisted-proof-solves-the-packing-coloring-problem/