The sum of the radii of the green circles is equal to the sum of the radii of the red circles. To make sure they are concyclic points, we will take them from Conway's circumference.
