
Dafny program verifier finished with 9 verified, 0 errors
Center of square: (0.5, 0.5)
Center of circle: (1.0, 1.0)
Center: (0.5, 0.5)
Center: (1.0, 1.0)
Center: (0.5, 0.5)
Center: (1.0, 1.0)
Centers: {(0.5, 0.5), (1.0, 1.0)}
Centers: {(0.5, 0.5), (1.0, 1.0)}
