Dafny program verifier finished with 2 verified, 0 errors
Program compiled successfully
Running...

c.x + c.y = 30
j1.x + j2.y = 30