main:366846:0
2.1: 60401
4: 0
3: 0
0: 0
2.3: 60401
1: 0
2.3: _Z3fool:246044
1.2: 39280
1.4: 46871
1: 60401
1.3: _Z3bari:0
1.2: 0
1.1: 0
1.8: _Z3bari:0
1.2: 0
1.1: 0
1.7: _Z3bari:99492
1.2: 46732
1.1: 52760
main:366846:0
2.1: 60401
4: 0
3: 0
0: 0
2.3: 60401
1: 0
2.3: _Z3fool:246044
1.2: 39280
1.4: 46871
1: 60401
1.3: _Z3bari:0
1.2: 0
1.1: 0
1.8: _Z3bari:0
1.2: 0
1.1: 0
1.7: _Z3bari:99492
1.2: 46732
1.1: 52760