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

Dafny program verifier finished with 10 verified, 0 errors

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

Dafny program verifier finished with 6 verified, 0 errors

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

Dafny program verifier finished with 11 verified, 0 errors

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

Dafny program verifier finished with 22 verified, 0 errors

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

Dafny program verifier finished with 21 verified, 0 errors