1 main:366846:0 2 2.1: 60401 3 4: 0 4 3: 0 5 0: 0 6 2.3: 60401 7 1: 0 8 2.3: _Z3fool:246044 9 1.2: 39280 10 1.4: 46871 11 1: 60401 12 1.3: _Z3bari:0 13 1.2: 0 14 1.1: 0 15 1.8: _Z3bari:0 16 1.2: 0 17 1.1: 0 18 1.7: _Z3bari:99492 19 1.2: 46732 20 1.1: 52760 21
