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