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

Fiat: 6
Volvo: 20
Catacar: 26