_Z3bari:20301:1437
-1: 1437
+ 1: 1437
_Z3fooi:7711:610
-1: 610
+ 1: 610
main:184019:0
-4: 534
-4.2: 534
-5: 1075
-5.1: 1075
-6: 2080
-7: 534
-9: 2064 _Z3bari:1471 _Z3fooi:631
+ 4: 534
+ 4.2: 534
+ 5: 1075
+ 5.1: 1075
+ 6: 2080
+ 7: 534
+ 9: 2064 _Z3bari:1471 _Z3fooi:631