✗ Branch 0 not taken.
✗ Branch 0 not taken.
✓ Branch 1 taken 2 times.
✓ Branch 1 taken 31 times.
✓ Branch 2 taken 1 time.
✗ Branch 2 not taken.
✓ Branch 3 taken 15 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 4 not taken.
✗ Branch 4 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 5 taken 2 times.
✓ Branch 5 taken 1 time.
✓ Branch 6 taken 2 times.
✓ Branch 6 taken 12 times.
✓ Branch 6 taken 1 time.
✗ Branch 7 not taken.
✗ Branch 7 not taken.
✗ Branch 7 not taken.
✓ Branch 8 taken 2 times.
✓ Branch 8 taken 15 times.
✗ Branch 8 not taken.
✓ Branch 8 taken 1 time.
✗ Branch 9 not taken.
✗ Branch 9 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✓ Branch 10 taken 12 times.
✗ Branch 10 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 11 not taken.
✓ Branch 11 taken 1 time.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 12 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 13 not taken.
✓ Branch 13 taken 1 time.
✗ Branch 13 not taken.
✗ Branch 13 not taken.
✓ Branch 14 taken 1 time.
✗ Branch 14 not taken.
✓ Branch 14 taken 1 time.
✓ Branch 15 taken 21 times.
✗ Branch 15 not taken.
✓ Branch 15 taken 1 time.
✗ Branch 15 not taken.
✓ Branch 16 taken 1 time.
✗ Branch 16 not taken.
✗ Branch 16 not taken.
✓ Branch 17 taken 21 times.
✗ Branch 17 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✓ Branch 18 taken 1 time.
✗ Branch 19 not taken.
✗ Branch 19 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 21 not taken.
✗ Branch 21 not taken.
✓ Branch 22 taken 1 time.
✓ Branch 22 taken 11 times.
✓ Branch 22 taken 1 time.
✗ Branch 23 not taken.
✓ Branch 24 taken 10 times.
✗ Branch 24 not taken.
✓ Branch 24 taken 1 time.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 26 not taken.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✓ Branch 27 taken 5 times.
✗ Branch 27 not taken.
✗ Branch 28 not taken.
✗ Branch 28 not taken.
✓ Branch 29 taken 13 times.
✓ Branch 29 taken 1 time.
✓ Branch 31 taken 8 times.
✓ Branch 31 taken 1 time.
✗ Branch 32 not taken.
✗ Branch 33 not taken.
✗ Branch 33 not taken.
✗ Branch 33 not taken.
✗ Branch 34 not taken.
✓ Branch 34 taken 1 time.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 35 not taken.
✓ Branch 36 taken 7 times.
✓ Branch 36 taken 1 time.
✓ Branch 38 taken 6 times.
✓ Branch 38 taken 1 time.
✗ Branch 39 not taken.
✗ Branch 40 not taken.
✗ Branch 40 not taken.
✓ Branch 41 taken 1 time.
✗ Branch 41 not taken.
✗ Branch 42 not taken.
✗ Branch 42 not taken.
✓ Branch 43 taken 1 time.
✓ Branch 43 taken 4 times.
✓ Branch 43 taken 1 time.
✓ Branch 44 taken 1 time.
✗ Branch 45 not taken.
✓ Branch 45 taken 3 times.
✗ Branch 45 not taken.
✓ Branch 45 taken 1 time.
✗ Branch 46 not taken.
✓ Branch 46 taken 1 time.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 47 not taken.
✗ Branch 48 not taken.
✗ Branch 48 not taken.
✗ Branch 48 not taken.
✗ Branch 48 not taken.
✓ Branch 49 taken 1 time.
✗ Branch 49 not taken.
✓ Branch 49 taken 1 time.
✓ Branch 50 taken 3 times.
✓ Branch 51 taken 1 time.
✓ Branch 51 taken 1 time.
✓ Branch 51 taken 1 time.
✓ Branch 52 taken 3 times.
✗ Branch 53 not taken.
✓ Branch 53 taken 1 time.
✗ Branch 53 not taken.
✗ Branch 54 not taken.
✗ Branch 54 not taken.
✗ Branch 55 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 56 not taken.
✓ Branch 56 taken 2 times.
✓ Branch 57 taken 1 time.
✓ Branch 57 taken 2 times.
✓ Branch 58 taken 2 times.
✗ Branch 58 not taken.
✓ Branch 59 taken 1 time.
✓ Branch 59 taken 1 time.
✗ Branch 59 not taken.
✗ Branch 60 not taken.
✗ Branch 61 not taken.
✗ Branch 61 not taken.
✗ Branch 62 not taken.
✗ Branch 62 not taken.
✗ Branch 63 not taken.
✗ Branch 63 not taken.
✓ Branch 64 taken 1 time.
✓ Branch 64 taken 1 time.
✓ Branch 66 taken 1 time.
✓ Branch 66 taken 1 time.
✗ Branch 68 not taken.
✗ Branch 68 not taken.
✗ Branch 69 not taken.
✗ Branch 69 not taken.
✗ Branch 71 not taken.
✓ Branch 72 taken 2 times.
✓ Branch 74 taken 2 times.
✗ Branch 76 not taken.
✗ Branch 77 not taken.