GCC Code Coverage Report

Directory:	./
File:	tests/random-numbers.hh
Date:	2024-12-13 16:14:03

	Exec	Total	Coverage
Lines:	195	195	100.0%
Branches:	2880	5760	50.0%

Line	Branch	Exec	Source
1	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 23 taken 1 times. ✗ Branch 24 not taken. ✓ Branch 26 taken 1 times. ✗ Branch 27 not taken. ✓ Branch 29 taken 1 times. ✗ Branch 30 not taken. ✓ Branch 32 taken 1 times. ✗ Branch 33 not taken. ✓ Branch 35 taken 1 times. ✗ Branch 36 not taken. ✓ Branch 38 taken 1 times. ✗ Branch 39 not taken. ✓ Branch 41 taken 1 times. ✗ Branch 42 not taken.	2	m1 << 2.13746, -0.663612, 1.77876, 1.87515, 2.58646, -1.90034, -1.03533,
2	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.68534, -1.39628, 0.339103, -0.142019, 0.80972, -0.849584, 0.0842004,
3	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.84144, 2.61503, 0.852702, 1.36532, -2.25188, 0.672105, -3.03917, -1.61549,
4	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.27934, 1.9112, -2.15715, -0.622385, -2.3261, -2.45793, 3.13484, -1.77024,
5	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.0812566, 2.13071, 0.707737, -1.28157, 0.864266, 0.152601, -0.0403193,
6	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.97053, -1.30366, 1.70499, 0.168044, 1.69592, -0.626882, 2.46005, -1.36147,
7	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.927032, 1.93349, 2.63282, -2.70331, 2.82321, 0.163334, -2.60089,
8	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.93388, 1.02559, 2.4519, -0.949434, -2.73839, -3.01578, -0.265768,
9	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.74515, -1.64444, 2.95708, 2.52715, 2.20489, -1.46608, 0.249822,
10	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.784098, 1.63519, 0.078762, 1.05384, 0.198589, -2.89479, -0.391835,
11	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.7133, 2.70686, 1.38828, -1.35532, 1.49876, 0.879513, -0.917039, 1.18037,
12	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.09875, -0.376334, 2.38808, 2.06843, -1.06602, -1.70294, 2.47163,
13	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.940215, 1.17288, 2.86807, 0.556942, 0.98837, 2.25363, -0.379756, 2.66388,
14	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.638141, 1.97774, 1.15748, 2.58221, -0.110014, -1.78552, 2.82902, 2.63974,
15	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.21382, 2.39428, 0.886436, -0.427549, 0.751447, -1.37564, 1.797, -1.20978,
16	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.332798, -1.72092, -1.96329, -1.40596, 0.354647, -0.524638, -2.07592,
17	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.55602, -2.49335, -2.34944, -0.0286258, 1.63661, 3.04578, 2.73321, 1.1589,
18	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.733949, 1.56936, -0.825211, -1.29333, -1.68225, 0.530857, -1.6059,
19	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.1841, 1.45863, -2.35321, 1.84393, -2.11051, 1.53983, -2.67331, 2.82809,
20	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.81154, 0.135487, -2.03443, -1.63324, 1.87112, 1.46181, 0.983718, 2.93679,
21	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.876243, 1.63196, -2.55424, -2.29398, 0.126984, -2.65005, -2.70236,
22	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.85571, -0.242402, 2.00859, 0.460675, 1.60586, -2.81525, -2.15006,
23	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	3.14155, -1.85776, 2.45016, -2.35325, 3.12776, -2.80194, 2.32817, -2.68714,
24	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-3.11544, 2.65822, 0.589942, -2.00828, -2.11661, -0.68053, 2.59512, 2.0087,
25	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.88533, 0.329773, 0.499073, -0.297975, 1.17739, -2.51554, 0.193572,
26	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.61662, -1.22965, 3.09276, 0.483624, 2.37262, 1.55703, 0.809965, -2.91904,
27	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.55699, 2.0938, 2.67272, 2.34533, 2.07997, 3.01237, 1.53191, 2.53443,
28	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	3.03852, 1.04854, -0.0172252, -2.11135, 2.07353, 2.44384, -2.65782,
29	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.940637, -1.58309, 0.813545, -1.70188, 1.26053, -1.15066, -1.07583,
30	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.68749, -2.67563, 0.836117, -1.73632, 0.949591, 0.0671419, 2.96231,
31	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.38204, 0.289698, 1.37771, -2.42983, -0.179175, 0.581445, 2.79173,
32	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.308394, -1.02824, 2.18457, -0.411465, -3.12129, -0.974252, 0.618776,
33	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.09383, -1.67201, 1.10255, -0.107127, -0.113501, -1.2255, 1.33258,
34	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.99456, 0.765435, -2.88483, -0.540456, 1.2314, 1.09288, 0.864819,
35	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.960599, -1.98158, 0.685532, 0.798957, 1.44972, -1.07836, 1.51072,
36	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.87105, 2.64468, 1.16086, 0.962146, -1.52515, 0.203833, -2.59091,
37	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.50484, 2.37117, 1.16946, -2.55261, -2.44243, -0.869587, 0.481861,
38	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.585665, 1.04651, -1.32715, 1.7327, -1.32965, -1.07039, -1.94935, 3.04334,
39	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-3.11911, 2.05706, -1.05885, -1.95909, -0.399001, 2.8817, 2.63222, 1.66424,
40	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.25083, -2.38043, 1.16733, -0.729905, 1.72331, 2.78377, 2.61552, 2.27399,
41	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.86266, 1.8451, 0.301857, -1.27367, 2.54427, 2.57386, 2.34978, -0.0116621,
42	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.478776, -2.11896, -1.42056, 2.29072, -0.0477596, -0.228317, 2.19247,
43	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.0252748, -1.31285, -2.00797, 1.15723, 1.42974, -2.26786, 0.647852,
44	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.0476157, 2.12456, 1.40902, -2.02188, -1.74694, -0.00926467, -2.3797,
45	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.27301, -0.876865, -1.10077, 2.71368, 2.56658, 0.767148, 2.11635, 1.99885,
46	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.0246651, -1.0369, -0.663962, 0.997966, 0.684131, -1.51484, -2.19139,
47	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.68578, -2.46396, 0.924931, -0.857037, -1.33034, -1.05943, -2.56889,
48	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.456613, 2.73001, 0.525088, -1.47365, 0.997435, 1.6448, -0.0789993,
49	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.15342, 2.40669, 0.789578, 0.111305, -1.83567, 0.361664, -0.463703,
50	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.07307, -0.663577, -1.60644, -1.09319, 1.44111, 0.87119, 3.04637, -1.01635,
51	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.49794, -2.28661, -0.560536, -3.10761, 1.77991, 1.72402, -1.29636,
52	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.42111, 2.29672, 1.38862, -2.8327, -0.319782, 3.05656, 1.30633, -1.81658,
53	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.164029, 2.2945, -2.55148, -2.51604, -0.735787, -1.24556, 0.987214,
54	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.9421, -2.31408, -2.81796, -2.80593, -0.265681, 1.76475, 1.20685,
55	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.360905, -2.39319, 0.563204, 0.494077, 0.187862, 0.597187, -0.867602,
56	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.22971, 2.44242, -0.147123, -2.07458, 0.689448, 0.161774, 0.74723,
57	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.604419, -1.67349, 2.07225, -2.7012, -2.52058, 2.66236, -2.07565,
58	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.114773, -1.72479, 2.05315, -1.31426, -0.897282, 2.37679, -0.9786,
59	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.97863, 0.999944, -2.91334, -1.52387, 1.74834, 0.791456, 2.1118, -1.20539,
60	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.75295, -1.89739, 0.706494, -2.45212, 1.09708, 1.77351, 1.37892, -1.88274,
61	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.620856, -1.15825, -0.414636, -1.6902, -0.717865, 0.206377, -2.16943,
62	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.348074, -3.04999, -0.752633, -0.740366, -1.22266, 1.49168, -1.50517,
63	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.940335, 0.328714, 2.63637, 1.16859, 1.94644, 1.24312, -1.18155, 0.916648,
64	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-3.10386, 0.207093, 2.16085, 0.744223, 0.896564, 0.116332, -0.623863,
65	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.86611, 1.37518, 1.89687, 1.11723, -2.18105, -2.93492, -2.74223, 1.16692,
66	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.96276, 0.747437, 1.25853, 0.426195, -3.13452, -3.10572, -1.22372,
67	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.4981, 0.976207, 2.24659, -2.00332, -0.996799, 1.05143, 2.38139, 0.963243,
68	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.17351, 2.41912, -1.97126, -2.15426, 0.021746, 2.0669, 1.10367, 2.53948,
69	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.9408, -0.662742, 1.29476, 2.31802, 0.297805, 1.50143, 2.71738, -1.67686,
70	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.68025, 0.323225, 2.72326, -0.0351426, 0.330297, 2.75913, 1.88273, 1.97379,
71	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.593744, 0.987722, 3.11206, 2.73854, -1.10244, 2.35186, 0.560188, 0.865641,
72	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.62938, 1.73052, 1.85298, -1.49047, 0.655831, -0.184951, -2.09259, 1.85662,
73	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.2939, 2.34376, 1.03305, -0.549888, 0.703596, 0.608834, 0.914841, 0.242258,
74	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.20953, 0.496507, -2.93448, 1.26236, 0.114044, 2.08984, 0.0945562,
75	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.4338, -0.0640256, 0.0650249, -2.83686, 1.97513, -0.724713, 0.86492,
76	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.300824, -2.23693, -0.546148, -1.58944, -0.585803, -3.03191, 1.3672,
77	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.463204, 1.9663, 0.519508, -0.334627, -0.142242, 3.11121, -2.77262, -2.675,
78	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.884461, 0.611227, -1.74294, -1.76062, 0.818342, 2.66101, 1.49501,
79	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.233406, -0.386028, 2.2028, 2.84416, 2.82059, 2.50753, 1.6777, -1.04572,
80	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.23086, -1.76472, -0.14105, 2.8263, -0.212569, 2.41474, 2.93599, -1.98696,
81	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.263649, 1.7607, 1.67414, 2.54332, -1.52314, 1.64376, 2.91229, -1.05654,
82	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.613372, 0.38192, 0.342108, 0.767595, -1.94133, -0.138476, -0.878985,
83	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.966856, 2.61709, -1.81778, 0.669424, 2.29609, -2.45184, -0.794472,
84	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.89122, 0.920613, 0.5824, 1.10932, 0.605325, -2.77176, 0.382469, 0.39972,
85	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.61713, -3.02277, -0.981174, -3.08458, 2.66214, 0.637283, 1.70077,
86	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.43283, 2.72233, -2.0542, -0.326842, -0.0771531, 1.85499, 0.873421,
87	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.92596, -2.16559, -1.30132, 2.40146, -0.841771, 2.5097, 1.55595, -0.152018,
88	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.42636, 2.80632, -2.373, 2.29763, 0.774054, 1.37392, 2.66746, -1.98507,
89	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.36795, -2.09126, -1.86625, 0.792468, -2.03425, -2.34571, -1.71184,
90	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.80811, -3.05447, -2.1311, -2.38768, -0.239717, 0.933337, 2.60891,
91	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.50789, 0.717708, -2.69827, -0.667613, -0.0224249, -0.398449, -1.2995,
92	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.60806, 2.59113, 0.415724, -1.94333, -2.92346, -0.42824, 1.97231, 1.59205,
93	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.902372, 3.12884, -2.91749, 0.147959, -1.87901, 1.01657, 1.2553, -1.08312,
94	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.44632, 0.921818, -0.995996, -2.82638, 1.67573, 1.90588, 1.24855, 1.14305,
95	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.53958, -1.17533, 1.58637, -1.26962, 1.94383, -1.95367, 0.572465, -2.80582,
96	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.50414, -2.1534, -1.60756, -2.28601, 0.559949, -2.77684, 2.44763, 2.79917,
97	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.78959, 2.67173, -0.194465, -1.52701, 0.546708, -2.08076, 0.531464,
98	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.148568, 1.98265, 2.67706, 0.166646, 0.516793, 1.44135, -1.7264, -1.48175,
99	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.839338, 0.239862, -3.03697, 2.71131, -0.957897, -1.84905, 0.14218,
100	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.622127, -1.2116, 1.13037, 0.911904, -0.356012, -1.45128, 1.27666,
101	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.04997, -1.7937, 1.62865, -1.51983, 1.15343, -3.03995, 2.16847, 2.21426,
102	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.63311, -1.12169, 1.05532, 0.168579, 2.18655, -1.56947, -1.53167, -2.68144,
103	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.0903659, 2.44927, 0.700016, 0.194985, 2.01898, 2.88371, 1.48752,
104	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.980432, -0.880009, -2.86566, -2.99166, -3.1097, -0.0800845, -1.30134,
105	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.30855, 2.01154, 0.0465556, -0.204387, -2.64988, -1.94161, -0.10274,
106	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.66018, -2.86894, -2.61122, -1.6031, 1.32798, 0.698949, -2.55815, 2.9001,
107	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.30888, -2.09799, -0.151127, 1.61655, 1.74362, -3.09774, 0.493937, 1.48573,
108	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.53138, 2.6551, -2.53587, 1.80731, 2.80504, -2.50397, -1.41437, -1.6379,
109	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.94617, -2.54442, 1.55025, -1.39981, -2.05271, 2.75024, 1.63904, -2.53413,
110	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	3.02289, 2.16941, -0.995635, 1.20928, -0.273229, -0.412189, 0.96779,
111	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.10595, 0.631411, -2.32493, -2.63099, -0.766567, -2.28107, 1.00454,
112	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.42243, 2.3919, 0.518046, -1.8167, 1.05762, 0.181489, -1.17908, 2.78485,
113	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.68519, -2.3745, -2.90117, 0.0938454, -0.632717, -1.81229, -0.29751,
114	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.13527, -1.20482, -0.416208, -3.10744, 0.941137, -2.34852, -0.239081,
115	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.61264, 1.76087, 1.79657, 1.16036, 2.57753, 2.30717, -2.7478, -2.84514,
116	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.170117, -2.02863, 2.68836, -2.45343, -0.703741, 0.604388, 0.869652,
117	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.25877, 0.247642, -0.586755, 2.02586, 0.488067, 2.64868, -1.74845, 1.81737,
118	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.790419, -0.742122, -2.52904, 1.93497, -0.707973, 1.55369, 2.72804,
119	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.19454, 2.08264, 1.34731, 0.849511, 0.101402, 0.78325, 0.0150876, 0.495194,
120	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.07971, -2.95639, 1.60815, 0.626475, -2.26822, -2.23718, -1.91073, 1.74302,
121	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.16318, 1.4785, -1.98533, 1.04745, -1.17502, -2.47824, 2.4406, -2.49924,
122	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.127064, -1.44312, -1.88669, -1.33369, 0.9905, 2.80859, -1.74724,
123	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.0434461, 1.74963, 2.74166, -2.24864, -1.29056, 0.383321, 0.908045,
124	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.34623, -1.67856, 1.09325, 0.812789, 2.0895, 1.96662, 1.7172, -2.96282,
125	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.568045, 0.738791, 1.65728, 1.72431, -1.35535, -2.65934, 2.38767, -2.05635,
126	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.01699, -0.880991, -0.357874, -0.762085, 0.92691, -2.50897, -1.09509,
127	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.32126, 0.676073, -2.48705, 1.92133, 1.56903, -0.636012, -0.836943,
128	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.664518, -1.43138, 0.626085, -2.71286, 2.523, -0.426006, 2.39535, 1.09861,
129	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.247233, -0.178199, -1.30419, -1.73155, -1.59548, 0.482052, -1.24929,
130	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.34941, 1.5673, -0.124687, -0.088808, -1.93217, 2.25482, -2.30349,
131	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.29954, -1.98186, -3.12383, 2.51812, -1.32731, 1.9391, 0.945561, 1.17827,
132	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.03944, -2.86055, 2.88848, 1.72824, -2.43182, 2.2699, -1.83936, 3.10512,
133	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.226915, 1.055, -0.214666, 2.06432, 2.46504, 1.33144, -0.595223, -1.92584,
134	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.12363, -2.16952, 1.09106, -1.10677, -0.960094, 0.204292, -0.268671,
135	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.881957, 1.36403, -0.250904, 0.258488, -3.10488, -1.4534, -1.93754,
136	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.21498, -0.351247, -1.6565, 0.961872, -1.7646, -0.946725, 0.0901744,
137	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-0.46237, -0.983193, -2.8245, -2.54896, 1.94373, 2.38141, 3.05767, 0.133585,
138	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.35541, -2.00976, -0.884379, -0.383334, 2.22289, 1.15044, 1.79816,
139	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.714407, -2.25982, -0.461472, -2.49197, 0.630866, 2.93861, -2.45526,
140	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.31906, -2.14053, 1.90132, -1.17378, -0.655435, -0.278405, 0.20321,
141	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.53943, 2.95336, 2.88243, -2.58535, -3.01273, -2.80812, 2.49997, 2.51026,
142	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.89204, -0.508034, -1.98674, -1.76021, 1.74918, 0.771521, -2.67891,
143	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.241972, -0.571908, -0.251726, 0.639797, 2.10821, 0.397894, -1.87093,
144	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.90523, 1.08423, -2.69346, 2.90629, -0.15605, -0.725651, -0.890734,
145	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.70714, 2.61915, -2.49289, 2.51891, 2.35999, -1.93665, 2.64776, 2.69346,
146	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-2.57827, 2.01644, 2.94301, 0.055285, -3.1119, -1.9588, -1.33713, 0.801218,
147	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.49611, 1.56249, -2.91228, 1.39375, -0.939303, 2.33752, -1.34995, 0.33136,
148	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	1.10116, 2.87587, 0.779489, 0.865862, -0.42177, -3.08775, 3.11672,
149	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.856225, 2.67299, -2.51777, -1.47891, 1.89139, -1.31283, -1.97274,
150	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.44326, -0.749509, -3.0979, 1.24468, 2.44737, -3.0682, 2.42747, -2.03135,
151	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.87461, -2.21023, 2.67273, 1.10392, 2.32511, -1.40816, 0.299851, -2.16643,
152	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.06479, -1.74058, -2.43215, -0.297313, 2.26687, 0.287672, -0.243475, 2.242,
153	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.57304, -0.712078, 2.86583, -2.04747, -1.96228, -1.58859, -0.878614,
154	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	2.62257, 0.803493, -0.834919, 0.725651, 0.109269, -0.761527, 0.0115317,
155	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.21951, -3.02851, 0.94289, 0.750651, 1.217, 0.126407, 2.48408, -1.62474,
156	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.10157, 1.40728, -0.223726, 1.81101, -2.03163, -1.09844, -1.04291, 0.86649,
157	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.99803, -1.61146, -2.98718, -2.2738, -0.517336, -1.80787, -0.720797,
158	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.74564, -2.32689, -3.0589, -2.23087, 1.54035, 0.191965, 0.149196, -1.58971,
159	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.73012, 0.262279, 2.49477, 2.16213, -1.66231, -0.520414, 1.50461,
160	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.145456, -2.56044, -0.229701, 2.77241, 2.39217, 0.880264, -1.46763,
161	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.79234, -1.39484, -0.324069, -0.262206, -1.24043, 0.543725, 2.36205,
162	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.0932978, 2.96452, 0.966101, 0.907997, 3.04722, 1.87682, -0.693245,
163	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.0975894, -1.11557, 0.858637, 1.50906, 2.2883, 0.211817, 0.529598, -2.5156,
164	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.833, -1.10738, 0.480534, -2.86903, 1.80451, 0.111352, 2.66472, -0.456817,
165	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.78532, -2.2692, 1.28994, -1.68034, 0.610182, -3.09208, 2.00497, -0.16936,
166	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.14281, 1.8279, -2.34485, -2.09079, 1.73353, 2.67356, 0.357562, -1.31048,
167	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.5836, -1.92539, -2.943, -2.43689, 1.42802, 0.728186, -1.8109, 1.11942,
168	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.7624, 1.81122, 1.39198, 1.42532, -1.21902, 0.915109, -2.17309, -2.57529,
169	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.7875, 2.25844, -1.11404, -0.743913, 2.30795, -2.25066, 2.22832, -0.690834,
170	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	2.71884, 3.02506, 0.359973, 1.31077, 2.55703, -2.42406, -3.1413, -2.16816,
171	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-1.20786, -2.94271, -1.46346, -2.92144, 0.92707, -0.132769, 1.33957,
172	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.547875, -1.46314, -0.410041, -1.1684, 0.459438, -2.63652, -0.199902,
173	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	1.02574, 2.29257, -1.08306, 3.05329, -1.59294, -1.9167, -2.33896, -2.50621,
174	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	0.534057, -2.76172, -2.62275, -2.24756, 1.69064, 3.07588, -1.53003, 1.69094,
175	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-2.23387, 0.403706, 1.88982, -0.55574, 0.623862, -0.324701, 2.45308,
176	16/32 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken. ✓ Branch 43 taken 1 times. ✗ Branch 44 not taken. ✓ Branch 46 taken 1 times. ✗ Branch 47 not taken.	2	-1.17816, -2.91842, -2.15165, 1.5534, -0.945227, 1.44938, 2.05846, 1.99646,
177	6/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 11 taken 1 times. ✗ Branch 12 not taken. ✓ Branch 14 taken 1 times. ✗ Branch 15 not taken. ✓ Branch 17 taken 1 times. ✗ Branch 18 not taken.	2	-0.666469, 1.20944, -2.22819;
178	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 24 taken 1 times. ✗ Branch 25 not taken. ✓ Branch 27 taken 1 times. ✗ Branch 28 not taken. ✓ Branch 30 taken 1 times. ✗ Branch 31 not taken. ✓ Branch 33 taken 1 times. ✗ Branch 34 not taken. ✓ Branch 36 taken 1 times. ✗ Branch 37 not taken. ✓ Branch 39 taken 1 times. ✗ Branch 40 not taken. ✓ Branch 42 taken 1 times. ✗ Branch 43 not taken.	4	m2 << -0.240251, 0.877927, -0.319359, 0.0152343, -0.919826, 0.850637, 0.136152,
179	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.754672, -0.864784, -0.325699, -0.775589, -0.351807, -0.787456, -0.486653,
180	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.776696, 0.814093, 0.336449, -0.0247224, -0.289263, 0.11729, 0.600259,
181	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.218224, 0.432399, 0.0947199, 0.480901, -0.106248, -0.250051, 0.116395,
182	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.681608, -0.865075, 0.407141, -0.558643, -0.987149, -0.912217, 0.456591,
183	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.906975, 0.93842, -0.407257, -0.661647, -0.926365, 0.267044, -0.437236,
184	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.278172, 0.479588, 0.0761107, -0.501476, 0.293681, -0.58744, 0.473802,
185	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.995582, 0.529849, 0.0740604, -0.213805, -0.0377517, -0.83122, -0.732904,
186	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.856, -0.0812705, 0.383491, 0.537609, 0.053654, -0.209368, 0.978966,
187	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	0.0665052, -0.121585, 0.435557, 0.159531, -0.183166, -0.9717, 0.497884,
188	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.109531, 0.295345, -0.939352, 0.612297, -0.225067, 0.136759, -0.889179,
189	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.931386, 0.549319, 0.584623, -0.926968, 0.0791679, -0.341317, -0.140773,
190	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.958584, -0.172536, 0.126322, 0.897416, 0.746193, -0.490187, 0.435025,
191	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.200153, 0.300445, 0.413991, 0.866352, -0.821141, -0.150453, 0.0258828,
192	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.00430643, -0.122152, -0.476233, 0.886163, -0.826808, -0.415585, 0.49846,
193	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.0518749, 0.721174, 0.609281, 0.0167388, 0.270492, 0.193904, 0.0897709,
194	14/28 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✓ Branch 13 taken 1 times. ✗ Branch 14 not taken. ✓ Branch 16 taken 1 times. ✗ Branch 17 not taken. ✓ Branch 19 taken 1 times. ✗ Branch 20 not taken. ✓ Branch 22 taken 1 times. ✗ Branch 23 not taken. ✓ Branch 25 taken 1 times. ✗ Branch 26 not taken. ✓ Branch 28 taken 1 times. ✗ Branch 29 not taken. ✓ Branch 31 taken 1 times. ✗ Branch 32 not taken. ✓ Branch 34 taken 1 times. ✗ Branch 35 not taken. ✓ Branch 37 taken 1 times. ✗ Branch 38 not taken. ✓ Branch 40 taken 1 times. ✗ Branch 41 not taken.	2	-0.65034, 0.852588, 0.948997, -0.608924, -0.319949, 0.0753196, -0.711507,
195	2/4 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 5 taken 1 times. ✗ Branch 6 not taken.	2	-0.573756;
196