1_Z3fooi:7711:610
21: 610
3_Z3bari:20301:1437
41: 1437
5main:184019:0
64: 534
76: 2080
89: 2064 _Z3bari:1471 _Z3fooi:631
95.1: 1075
105: 1075
117: 534
124.2: 534
13