
Dafny program verifier finished with 8 verified, 0 errors
ClientA.Inner.Five: 5
ClientB.Inner.Five: 5
ClientC.Inner.Five: 5
ClientD.Inner.Five: 5
ClientE.Inner.Five: 5
ClientF.Inner.Five: 5
ClientG.Inner.Five: 5
Frankie: 3
