https://mapofusarivers.blogspot.com/2020/09/four-color-map-theorem.html