-------------------- b1.dfy --------------------

Dafny program verifier finished with 2 verified, 0 errors

-------------------- b2.dfy --------------------

Dafny program verifier finished with 3 verified, 0 errors

-------------------- b3.dfy --------------------

Dafny program verifier finished with 4 verified, 0 errors

-------------------- b4.dfy --------------------

Dafny program verifier finished with 6 verified, 0 errors

-------------------- b5.dfy --------------------

Dafny program verifier finished with 12 verified, 0 errors

-------------------- b6.dfy --------------------

Dafny program verifier finished with 12 verified, 0 errors

-------------------- b7.dfy --------------------

Dafny program verifier finished with 11 verified, 0 errors