values


b : BAMS = {"conta_1"|->mk_Account({"gaspar,andreia"},500),
"conta_2"|->mk_Account({"ismael,benancia"},0),
"conta_3"|->mk_Account({"Joao,Paula,Pedro"},6000),
"conta_4"|->mk_Account({"Celso,Rita"},230),
"conta_5"|->mk_Account({"humberto,patricia"},7500)
}