1_Z3bari:40602:2874 2 1: 2874 3_Z3fooi:15422:1220 4 1: 1220 5main:368038:0 6 4: 1068 7 4.2: 1068 8 5: 2150 9 5.1: 2150 10 6: 4160 11 7: 1068 12 9: 4128 _Z3bari:2942 _Z3fooi:1262 13 10: inline1:2000 14 1: 2000 15 10: inline2:4000 16 1: 4000 17