1_Z3bari:203010:14370
2 1: 14370
3_Z3fooi:77110:6100
4 1: 6100
5main:1840190:0
6 4: 5340
7 4.2: 5340
8 5: 10750
9 5.1: 10750
10 6: 20800
11 7: 5340
12 9: 20640 _Z3bari:14710 _Z3fooi:6310
13 10: inline1:10000
14  1: 10000
15 10: inline2:20000
16  1: 20000
17_Z3bazi:203010:10000
18 1: 10000
19