#branch correct incorrect taken not_taken
45852914.1 29284739.2 16568174.9 27331983.8 18520930.3
46301832.9 29792758 16509074.9 27780902.6 18520930.3
12450083.5 8087651.1 4362432.4 8255781.5 4194302
1347997.8 763649.4 584348.4 673936.3 674061.5
0 0 0 0 0
0 0 0 0 0
