1_Z3fooi:7711:610 2 1: 610 3_Z3bari:20301:1437 4 1: 1437 5main:184019:0 6 4: 534 7 6: 2080 8 9: 2064 _Z3bari:1471 _Z3fooi:631 9 5.1: 1075 10 5: 1075 11 7: 534 12 4.2: 534 13