#branch correct incorrect taken not_taken
35999161.3 23003739.1 12995422.2 21488951.4 14510209.9
35779896 22824702.6 12955193.4 21269686.1 14510209.9
11547573.2 7608998.8 3938574.4 8252093.6 3295479.6
56926833.5 52581936.8 4344896.7 4194280 52732553.5
0 0 0 0 0
0 0 0 0 0
