1main: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