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