GCC Code Coverage Report


Directory: ./
File: openvdb/openvdb/math/Tuple.h
Date: 2022-07-25 17:40:05
Exec Total Coverage
Lines: 27 27 100.0%
Functions: 8 32 25.0%
Branches: 908 2963 30.6%

Line Branch Exec Source
1 // Copyright Contributors to the OpenVDB Project
2 // SPDX-License-Identifier: MPL-2.0
3 //
4 /// @file Tuple.h
5 /// @author Ben Kwa
6
7 #ifndef OPENVDB_MATH_TUPLE_HAS_BEEN_INCLUDED
8 #define OPENVDB_MATH_TUPLE_HAS_BEEN_INCLUDED
9
10 #include "Math.h"
11 #include <cmath>
12 #include <sstream>
13 #include <string>
14 #include <type_traits>
15
16
17 namespace openvdb {
18 OPENVDB_USE_VERSION_NAMESPACE
19 namespace OPENVDB_VERSION_NAME {
20 namespace math {
21
22 /// @brief Dummy class for tag dispatch of conversion constructors
23 struct Conversion {};
24
25
26 /// @class Tuple "Tuple.h"
27 /// A base class for homogenous tuple types
28 template<int SIZE, typename T>
29 class Tuple
30 {
31 public:
32 using value_type = T;
33 using ValueType = T;
34
35 static const int size = SIZE;
36
37 #if OPENVDB_ABI_VERSION_NUMBER >= 8
38 /// Trivial constructor, the Tuple is NOT initialized
39 /// @note destructor, copy constructor, assignment operator and
40 /// move constructor are left to be defined by the compiler (default)
41 Tuple() = default;
42 #else
43 /// @brief Default ctor. Does nothing.
44 /// @details This is required because declaring a copy (or other) constructor
45 /// prevents the compiler from synthesizing a default constructor.
46 Tuple() {}
47
48 /// Copy constructor. Used when the class signature matches exactly.
49 Tuple(Tuple const& src) {
50 for (int i = 0; i < SIZE; ++i) {
51 mm[i] = src.mm[i];
52 }
53 }
54
55 /// @brief Assignment operator
56 /// @details This is required because declaring a copy (or other) constructor
57 /// prevents the compiler from synthesizing a default assignment operator.
58 Tuple& operator=(Tuple const& src) {
59 if (&src != this) {
60 for (int i = 0; i < SIZE; ++i) {
61 mm[i] = src.mm[i];
62 }
63 }
64 return *this;
65 }
66 #endif
67
68 /// @brief Conversion constructor.
69 /// @details Tuples with different value types and different sizes can be
70 /// interconverted using this member. Converting from a larger tuple
71 /// results in truncation; converting from a smaller tuple results in
72 /// the extra data members being zeroed out. This function assumes that
73 /// the integer 0 is convertible to the tuple's value type.
74 template <int src_size, typename src_valtype>
75 explicit Tuple(Tuple<src_size, src_valtype> const &src) {
76 enum { COPY_END = (SIZE < src_size ? SIZE : src_size) };
77
78 for (int i = 0; i < COPY_END; ++i) {
79 mm[i] = src[i];
80 }
81 for (int i = COPY_END; i < SIZE; ++i) {
82 mm[i] = 0;
83 }
84 }
85
86 // @brief const access to an element in the tuple. The offset idx must be
87 // an integral type. A copy of the tuple data is returned.
88 template <typename IdxT,
89 typename std::enable_if<std::is_integral<IdxT>::value, bool>::type = true>
90 T operator[](IdxT i) const {
91
30/93
✗ Branch 0 not taken.
✓ Branch 1 taken 3149974 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 6 times.
✓ Branch 4 taken 15730831 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 7625472 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✓ Branch 10 taken 822159 times.
✓ Branch 11 taken 45 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 23328 times.
✓ Branch 14 taken 2429988 times.
✗ Branch 15 not taken.
✓ Branch 16 taken 52488 times.
✗ Branch 18 not taken.
✓ Branch 19 taken 1628472 times.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✓ Branch 22 taken 52488 times.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✓ Branch 25 taken 20240 times.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✓ Branch 28 taken 20240 times.
✗ Branch 29 not taken.
✗ Branch 30 not taken.
✓ Branch 31 taken 20240 times.
✓ Branch 32 taken 6 times.
✗ Branch 33 not taken.
✓ Branch 34 taken 9584 times.
✗ Branch 36 not taken.
✓ Branch 37 taken 9584 times.
✗ Branch 39 not taken.
✓ Branch 40 taken 9584 times.
✗ Branch 42 not taken.
✓ Branch 43 taken 10936 times.
✗ Branch 45 not taken.
✓ Branch 46 taken 10936 times.
✗ Branch 48 not taken.
✓ Branch 49 taken 10936 times.
✗ Branch 51 not taken.
✓ Branch 52 taken 9584 times.
✗ Branch 54 not taken.
✓ Branch 55 taken 1134574 times.
✗ Branch 57 not taken.
✓ Branch 58 taken 1134574 times.
✗ Branch 60 not taken.
✓ Branch 61 taken 1174006 times.
✗ Branch 63 not taken.
✓ Branch 64 taken 49031 times.
✗ Branch 66 not taken.
✓ Branch 67 taken 49031 times.
✗ Branch 69 not taken.
✓ Branch 70 taken 11679 times.
✗ Branch 72 not taken.
✓ Branch 73 taken 11664 times.
✗ Branch 75 not taken.
✓ Branch 76 taken 11664 times.
✗ Branch 78 not taken.
✗ Branch 79 not taken.
✗ Branch 81 not taken.
✗ Branch 82 not taken.
✗ Branch 84 not taken.
✗ Branch 85 not taken.
✗ Branch 87 not taken.
✗ Branch 88 not taken.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✗ Branch 93 not taken.
✗ Branch 94 not taken.
✗ Branch 96 not taken.
✗ Branch 97 not taken.
✗ Branch 99 not taken.
✗ Branch 100 not taken.
✗ Branch 102 not taken.
✗ Branch 103 not taken.
✗ Branch 105 not taken.
✗ Branch 106 not taken.
✗ Branch 108 not taken.
✗ Branch 109 not taken.
✗ Branch 111 not taken.
✗ Branch 112 not taken.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✗ Branch 117 not taken.
✗ Branch 118 not taken.
✗ Branch 120 not taken.
✗ Branch 121 not taken.
✗ Branch 123 not taken.
✗ Branch 124 not taken.
35223344 assert(i >= IdxT(0) && i < IdxT(SIZE));
92
808/2734
✓ Branch 0 taken 4907137 times.
✓ Branch 1 taken 1403956 times.
✓ Branch 2 taken 1316237 times.
✓ Branch 3 taken 14598948 times.
✓ Branch 4 taken 63826490 times.
✓ Branch 5 taken 130202387 times.
✓ Branch 6 taken 24860818 times.
✓ Branch 7 taken 18830812 times.
✓ Branch 8 taken 1017109 times.
✓ Branch 9 taken 4516614 times.
✓ Branch 10 taken 5310625 times.
✓ Branch 11 taken 2673492 times.
✓ Branch 12 taken 437678 times.
✓ Branch 13 taken 3761752 times.
✓ Branch 14 taken 1838524 times.
✓ Branch 15 taken 1686387 times.
✓ Branch 16 taken 69780 times.
✓ Branch 17 taken 679081 times.
✓ Branch 18 taken 445069 times.
✓ Branch 19 taken 484853 times.
✓ Branch 20 taken 26475 times.
✓ Branch 21 taken 606212 times.
✓ Branch 22 taken 18212 times.
✓ Branch 23 taken 59691 times.
✓ Branch 24 taken 119142 times.
✓ Branch 25 taken 13131 times.
✓ Branch 26 taken 41514 times.
✓ Branch 27 taken 84501 times.
✓ Branch 28 taken 22 times.
✓ Branch 29 taken 1031780 times.
✓ Branch 30 taken 3676 times.
✓ Branch 31 taken 2430805 times.
✓ Branch 32 taken 518803 times.
✓ Branch 33 taken 1102 times.
✓ Branch 34 taken 1656714 times.
✓ Branch 35 taken 8745 times.
✓ Branch 36 taken 277771 times.
✓ Branch 37 taken 4998 times.
✓ Branch 38 taken 9302 times.
✓ Branch 39 taken 24 times.
✓ Branch 40 taken 2970 times.
✓ Branch 41 taken 11 times.
✓ Branch 42 taken 338 times.
✓ Branch 43 taken 2931 times.
✓ Branch 44 taken 206205 times.
✓ Branch 45 taken 4828 times.
✓ Branch 46 taken 6805 times.
✓ Branch 47 taken 914439 times.
✓ Branch 48 taken 3324171 times.
✓ Branch 49 taken 226116 times.
✓ Branch 50 taken 9045189 times.
✓ Branch 51 taken 928448 times.
✓ Branch 52 taken 8134377 times.
✓ Branch 53 taken 890683 times.
✓ Branch 54 taken 9673881 times.
✓ Branch 55 taken 4106 times.
✓ Branch 56 taken 1209446 times.
✓ Branch 57 taken 10310 times.
✓ Branch 58 taken 691155 times.
✓ Branch 59 taken 596608 times.
✓ Branch 60 taken 144932 times.
✓ Branch 61 taken 59468 times.
✓ Branch 62 taken 55225 times.
✓ Branch 63 taken 89721 times.
✓ Branch 64 taken 55256 times.
✓ Branch 65 taken 2 times.
✓ Branch 66 taken 1 times.
✓ Branch 67 taken 1486346 times.
✓ Branch 68 taken 1 times.
✗ Branch 69 not taken.
✓ Branch 70 taken 1655963 times.
✓ Branch 71 taken 26 times.
✓ Branch 72 taken 24 times.
✓ Branch 73 taken 10 times.
✗ Branch 74 not taken.
✓ Branch 75 taken 5023 times.
✓ Branch 76 taken 6 times.
✗ Branch 77 not taken.
✓ Branch 78 taken 5000 times.
✓ Branch 79 taken 6 times.
✓ Branch 80 taken 4 times.
✗ Branch 81 not taken.
✓ Branch 82 taken 2 times.
✓ Branch 83 taken 2 times.
✓ Branch 84 taken 2 times.
✓ Branch 85 taken 3 times.
✓ Branch 86 taken 2 times.
✓ Branch 87 taken 5 times.
✓ Branch 88 taken 2 times.
✓ Branch 89 taken 6 times.
✗ Branch 90 not taken.
✓ Branch 91 taken 3 times.
✓ Branch 92 taken 4 times.
✗ Branch 93 not taken.
✓ Branch 94 taken 2 times.
✗ Branch 95 not taken.
✗ Branch 96 not taken.
✓ Branch 97 taken 1 times.
✓ Branch 98 taken 2 times.
✗ Branch 99 not taken.
✓ Branch 100 taken 1048576 times.
✓ Branch 101 taken 2 times.
✓ Branch 102 taken 3326941 times.
✓ Branch 103 taken 1595620 times.
✓ Branch 104 taken 3532804 times.
✗ Branch 105 not taken.
✓ Branch 106 taken 3326939 times.
✓ Branch 107 taken 4 times.
✗ Branch 108 not taken.
✗ Branch 109 not taken.
✓ Branch 110 taken 2 times.
✗ Branch 111 not taken.
✗ Branch 112 not taken.
✓ Branch 113 taken 2 times.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✓ Branch 116 taken 720854 times.
✗ Branch 117 not taken.
✓ Branch 118 taken 720852 times.
✓ Branch 119 taken 2 times.
✓ Branch 120 taken 1 times.
✓ Branch 121 taken 720852 times.
✓ Branch 122 taken 2 times.
✓ Branch 123 taken 1 times.
✓ Branch 124 taken 1 times.
✗ Branch 125 not taken.
✓ Branch 126 taken 1 times.
✗ Branch 127 not taken.
✓ Branch 128 taken 22 times.
✗ Branch 129 not taken.
✓ Branch 130 taken 26 times.
✗ Branch 131 not taken.
✓ Branch 132 taken 4 times.
✓ Branch 133 taken 22 times.
✓ Branch 134 taken 1 times.
✗ Branch 135 not taken.
✓ Branch 136 taken 19 times.
✗ Branch 137 not taken.
✓ Branch 138 taken 1 times.
✓ Branch 139 taken 53 times.
✓ Branch 140 taken 1 times.
✗ Branch 141 not taken.
✓ Branch 142 taken 54 times.
✗ Branch 143 not taken.
✗ Branch 144 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✗ Branch 150 not taken.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✗ Branch 153 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✗ Branch 156 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 159 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✗ Branch 162 not taken.
✗ Branch 163 not taken.
✗ Branch 164 not taken.
✗ Branch 165 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 168 taken 66424 times.
✓ Branch 169 taken 22292 times.
✓ Branch 170 taken 282894 times.
✓ Branch 171 taken 93480 times.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✓ Branch 174 taken 2 times.
✓ Branch 175 taken 9 times.
✓ Branch 176 taken 9 times.
✗ Branch 177 not taken.
✓ Branch 178 taken 4 times.
✓ Branch 179 taken 4150 times.
✓ Branch 180 taken 6 times.
✓ Branch 181 taken 6690160 times.
✓ Branch 182 taken 262144 times.
✓ Branch 183 taken 12650752 times.
✓ Branch 184 taken 5492 times.
✗ Branch 185 not taken.
✗ Branch 186 not taken.
✓ Branch 187 taken 5489 times.
✗ Branch 188 not taken.
✓ Branch 189 taken 1 times.
✓ Branch 190 taken 8233 times.
✗ Branch 191 not taken.
✓ Branch 192 taken 2 times.
✓ Branch 193 taken 8232 times.
✓ Branch 194 taken 41 times.
✓ Branch 195 taken 1 times.
✓ Branch 196 taken 8236 times.
✓ Branch 197 taken 4 times.
✓ Branch 198 taken 12 times.
✓ Branch 199 taken 8241 times.
✓ Branch 200 taken 4 times.
✓ Branch 201 taken 2 times.
✓ Branch 202 taken 11467 times.
✓ Branch 203 taken 1 times.
✓ Branch 204 taken 1 times.
✓ Branch 205 taken 8233 times.
✓ Branch 206 taken 2 times.
✓ Branch 207 taken 2 times.
✓ Branch 208 taken 8232 times.
✗ Branch 209 not taken.
✓ Branch 210 taken 3 times.
✓ Branch 211 taken 8236 times.
✓ Branch 212 taken 4 times.
✓ Branch 213 taken 1 times.
✓ Branch 214 taken 8233 times.
✓ Branch 215 taken 1033993 times.
✓ Branch 216 taken 1 times.
✓ Branch 217 taken 8232 times.
✗ Branch 218 not taken.
✓ Branch 219 taken 1 times.
✓ Branch 220 taken 8232 times.
✗ Branch 221 not taken.
✓ Branch 222 taken 1 times.
✓ Branch 223 taken 8232 times.
✗ Branch 224 not taken.
✓ Branch 225 taken 1 times.
✓ Branch 226 taken 10936 times.
✗ Branch 227 not taken.
✓ Branch 228 taken 1 times.
✓ Branch 229 taken 10936 times.
✗ Branch 230 not taken.
✓ Branch 231 taken 1 times.
✓ Branch 232 taken 10936 times.
✗ Branch 233 not taken.
✓ Branch 234 taken 1 times.
✓ Branch 235 taken 12288 times.
✗ Branch 236 not taken.
✓ Branch 237 taken 1 times.
✓ Branch 238 taken 12288 times.
✗ Branch 239 not taken.
✓ Branch 240 taken 1 times.
✓ Branch 241 taken 12288 times.
✗ Branch 242 not taken.
✓ Branch 243 taken 1 times.
✓ Branch 244 taken 12288 times.
✗ Branch 245 not taken.
✓ Branch 246 taken 1 times.
✓ Branch 247 taken 12292 times.
✗ Branch 248 not taken.
✓ Branch 249 taken 1 times.
✓ Branch 250 taken 12292 times.
✓ Branch 251 taken 524288 times.
✓ Branch 252 taken 1 times.
✓ Branch 253 taken 4096 times.
✗ Branch 254 not taken.
✓ Branch 255 taken 1 times.
✓ Branch 256 taken 4096 times.
✗ Branch 257 not taken.
✓ Branch 258 taken 1 times.
✓ Branch 259 taken 4096 times.
✗ Branch 260 not taken.
✓ Branch 261 taken 1 times.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✓ Branch 264 taken 1 times.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✓ Branch 267 taken 1 times.
✗ Branch 268 not taken.
✗ Branch 269 not taken.
✓ Branch 270 taken 1 times.
✗ Branch 271 not taken.
✗ Branch 272 not taken.
✓ Branch 273 taken 1 times.
✓ Branch 274 taken 3842932 times.
✗ Branch 275 not taken.
✓ Branch 276 taken 1 times.
✓ Branch 277 taken 5835 times.
✗ Branch 278 not taken.
✓ Branch 279 taken 1 times.
✓ Branch 280 taken 5832 times.
✗ Branch 281 not taken.
✓ Branch 282 taken 1 times.
✓ Branch 283 taken 5832 times.
✗ Branch 284 not taken.
✓ Branch 285 taken 1 times.
✓ Branch 286 taken 5832 times.
✗ Branch 287 not taken.
✓ Branch 288 taken 1 times.
✓ Branch 289 taken 5832 times.
✗ Branch 290 not taken.
✓ Branch 291 taken 1 times.
✓ Branch 292 taken 5832 times.
✗ Branch 293 not taken.
✓ Branch 294 taken 1 times.
✓ Branch 295 taken 5832 times.
✗ Branch 296 not taken.
✓ Branch 297 taken 1 times.
✓ Branch 298 taken 5832 times.
✗ Branch 299 not taken.
✓ Branch 300 taken 1 times.
✓ Branch 301 taken 5832 times.
✗ Branch 302 not taken.
✓ Branch 303 taken 1 times.
✓ Branch 304 taken 5832 times.
✗ Branch 305 not taken.
✓ Branch 306 taken 1 times.
✓ Branch 307 taken 5832 times.
✗ Branch 308 not taken.
✓ Branch 309 taken 1 times.
✓ Branch 310 taken 5832 times.
✗ Branch 311 not taken.
✓ Branch 312 taken 1 times.
✗ Branch 313 not taken.
✗ Branch 314 not taken.
✓ Branch 315 taken 1 times.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✓ Branch 318 taken 1 times.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✓ Branch 321 taken 1 times.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 324 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 327 not taken.
✗ Branch 328 not taken.
✗ Branch 329 not taken.
✗ Branch 330 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 333 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✗ Branch 336 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 339 not taken.
✗ Branch 340 not taken.
✓ Branch 341 taken 524288 times.
✗ Branch 342 not taken.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 345 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 348 not taken.
✓ Branch 349 taken 4 times.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✓ Branch 352 taken 4 times.
✗ Branch 353 not taken.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✗ Branch 357 not taken.
✗ Branch 358 not taken.
✗ Branch 359 not taken.
✗ Branch 360 not taken.
✗ Branch 361 not taken.
✗ Branch 362 not taken.
✗ Branch 363 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 366 not taken.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✗ Branch 369 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 372 not taken.
✓ Branch 373 taken 2 times.
✓ Branch 374 taken 25 times.
✓ Branch 375 taken 2 times.
✓ Branch 376 taken 4468484 times.
✓ Branch 377 taken 10 times.
✓ Branch 378 taken 631384 times.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✓ Branch 381 taken 631359 times.
✗ Branch 382 not taken.
✓ Branch 383 taken 3 times.
✗ Branch 384 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 387 not taken.
✓ Branch 388 taken 4876209 times.
✓ Branch 389 taken 8 times.
✓ Branch 390 taken 4876209 times.
✗ Branch 391 not taken.
✗ Branch 392 not taken.
✓ Branch 393 taken 4876209 times.
✓ Branch 394 taken 21139204 times.
✓ Branch 395 taken 40 times.
✓ Branch 396 taken 21139204 times.
✗ Branch 397 not taken.
✓ Branch 398 taken 26 times.
✓ Branch 399 taken 21139205 times.
✓ Branch 400 taken 709339 times.
✓ Branch 401 taken 8 times.
✓ Branch 402 taken 709313 times.
✓ Branch 403 taken 26 times.
✗ Branch 404 not taken.
✓ Branch 405 taken 709313 times.
✗ Branch 406 not taken.
✓ Branch 407 taken 3827080 times.
✗ Branch 408 not taken.
✗ Branch 409 not taken.
✓ Branch 410 taken 4 times.
✗ Branch 411 not taken.
✓ Branch 412 taken 5695151 times.
✓ Branch 413 taken 12 times.
✓ Branch 414 taken 5695151 times.
✗ Branch 415 not taken.
✓ Branch 416 taken 4 times.
✓ Branch 417 taken 5695151 times.
✓ Branch 418 taken 19041824 times.
✓ Branch 419 taken 24 times.
✓ Branch 420 taken 19041824 times.
✗ Branch 421 not taken.
✓ Branch 422 taken 2 times.
✓ Branch 423 taken 19041849 times.
✓ Branch 424 taken 13378521 times.
✓ Branch 425 taken 487448 times.
✓ Branch 426 taken 12249812 times.
✓ Branch 427 taken 1053991 times.
✓ Branch 428 taken 9567756 times.
✓ Branch 429 taken 2682054 times.
✓ Branch 430 taken 6355819 times.
✓ Branch 431 taken 3211938 times.
✓ Branch 432 taken 5631126 times.
✓ Branch 433 taken 724693 times.
✓ Branch 434 taken 996804 times.
✓ Branch 435 taken 4634322 times.
✗ Branch 436 not taken.
✓ Branch 437 taken 1520875 times.
✗ Branch 438 not taken.
✗ Branch 439 not taken.
✓ Branch 440 taken 1913536 times.
✗ Branch 441 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✓ Branch 444 taken 1913536 times.
✓ Branch 445 taken 8 times.
✓ Branch 446 taken 26 times.
✓ Branch 447 taken 9 times.
✓ Branch 448 taken 1913562 times.
✗ Branch 449 not taken.
✓ Branch 450 taken 8 times.
✓ Branch 451 taken 26 times.
✓ Branch 452 taken 262164 times.
✗ Branch 453 not taken.
✓ Branch 454 taken 16 times.
✓ Branch 455 taken 12 times.
✓ Branch 456 taken 262144 times.
✓ Branch 457 taken 12 times.
✗ Branch 458 not taken.
✓ Branch 459 taken 4 times.
✓ Branch 460 taken 262152 times.
✗ Branch 461 not taken.
✓ Branch 462 taken 4 times.
✓ Branch 463 taken 8 times.
✓ Branch 464 taken 262145 times.
✓ Branch 465 taken 11 times.
✗ Branch 466 not taken.
✓ Branch 467 taken 1 times.
✓ Branch 468 taken 262152 times.
✓ Branch 469 taken 1 times.
✗ Branch 470 not taken.
✓ Branch 471 taken 8 times.
✓ Branch 472 taken 262147 times.
✓ Branch 473 taken 10 times.
✓ Branch 474 taken 26 times.
✓ Branch 475 taken 4 times.
✓ Branch 476 taken 262177 times.
✓ Branch 477 taken 6 times.
✓ Branch 478 taken 25 times.
✓ Branch 479 taken 12 times.
✗ Branch 480 not taken.
✓ Branch 481 taken 8 times.
✓ Branch 482 taken 3 times.
✗ Branch 483 not taken.
✓ Branch 484 taken 9 times.
✓ Branch 485 taken 2 times.
✗ Branch 486 not taken.
✓ Branch 487 taken 8 times.
✗ Branch 488 not taken.
✓ Branch 489 taken 8 times.
✗ Branch 490 not taken.
✗ Branch 491 not taken.
✓ Branch 492 taken 8 times.
✗ Branch 493 not taken.
✗ Branch 494 not taken.
✓ Branch 495 taken 8831 times.
✓ Branch 496 taken 286081 times.
✗ Branch 497 not taken.
✓ Branch 498 taken 2 times.
✓ Branch 499 taken 25 times.
✓ Branch 500 taken 2 times.
✓ Branch 501 taken 25 times.
✓ Branch 502 taken 2 times.
✓ Branch 503 taken 25 times.
✗ Branch 504 not taken.
✗ Branch 505 not taken.
✗ Branch 506 not taken.
✗ Branch 507 not taken.
✗ Branch 508 not taken.
✗ Branch 509 not taken.
✗ Branch 510 not taken.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✓ Branch 513 taken 3 times.
✓ Branch 514 taken 4 times.
✓ Branch 515 taken 4 times.
✗ Branch 516 not taken.
✗ Branch 517 not taken.
✓ Branch 518 taken 4 times.
✗ Branch 519 not taken.
✓ Branch 520 taken 1 times.
✗ Branch 521 not taken.
✗ Branch 522 not taken.
✓ Branch 523 taken 1 times.
✗ Branch 524 not taken.
✗ Branch 525 not taken.
✓ Branch 526 taken 1 times.
✗ Branch 527 not taken.
✗ Branch 528 not taken.
✓ Branch 529 taken 1 times.
✓ Branch 530 taken 4096 times.
✗ Branch 531 not taken.
✓ Branch 532 taken 4097 times.
✗ Branch 533 not taken.
✓ Branch 534 taken 4104 times.
✓ Branch 535 taken 9 times.
✓ Branch 536 taken 8297 times.
✓ Branch 537 taken 8 times.
✓ Branch 538 taken 2 times.
✓ Branch 539 taken 2074 times.
✓ Branch 540 taken 1 times.
✓ Branch 541 taken 1 times.
✓ Branch 542 taken 4096 times.
✗ Branch 543 not taken.
✓ Branch 544 taken 4097 times.
✗ Branch 545 not taken.
✓ Branch 546 taken 4096 times.
✓ Branch 547 taken 1 times.
✓ Branch 548 taken 4104 times.
✓ Branch 549 taken 8 times.
✓ Branch 550 taken 4097 times.
✓ Branch 551 taken 8 times.
✓ Branch 552 taken 4096 times.
✓ Branch 553 taken 1 times.
✓ Branch 554 taken 1 times.
✗ Branch 555 not taken.
✓ Branch 556 taken 2 times.
✗ Branch 557 not taken.
✓ Branch 558 taken 1 times.
✓ Branch 559 taken 1 times.
✓ Branch 560 taken 4096 times.
✗ Branch 561 not taken.
✓ Branch 562 taken 4105 times.
✓ Branch 563 taken 8 times.
✓ Branch 564 taken 4096 times.
✓ Branch 565 taken 13 times.
✓ Branch 566 taken 50 times.
✗ Branch 567 not taken.
✓ Branch 568 taken 51 times.
✗ Branch 569 not taken.
✓ Branch 570 taken 50 times.
✓ Branch 571 taken 1 times.
✓ Branch 572 taken 1 times.
✗ Branch 573 not taken.
✓ Branch 574 taken 1 times.
✗ Branch 575 not taken.
✓ Branch 576 taken 32777 times.
✓ Branch 577 taken 9 times.
✓ Branch 578 taken 50 times.
✓ Branch 579 taken 8 times.
✓ Branch 580 taken 51 times.
✗ Branch 581 not taken.
✓ Branch 582 taken 50 times.
✓ Branch 583 taken 1 times.
✗ Branch 584 not taken.
✗ Branch 585 not taken.
✗ Branch 586 not taken.
✗ Branch 587 not taken.
✗ Branch 588 not taken.
✗ Branch 589 not taken.
✓ Branch 590 taken 8 times.
✓ Branch 591 taken 8 times.
✗ Branch 592 not taken.
✓ Branch 593 taken 8 times.
✗ Branch 594 not taken.
✗ Branch 595 not taken.
✗ Branch 596 not taken.
✗ Branch 597 not taken.
✗ Branch 598 not taken.
✗ Branch 599 not taken.
✗ Branch 600 not taken.
✗ Branch 601 not taken.
✗ Branch 602 not taken.
✗ Branch 603 not taken.
✓ Branch 604 taken 8 times.
✓ Branch 605 taken 8 times.
✗ Branch 606 not taken.
✓ Branch 607 taken 8 times.
✓ Branch 608 taken 2 times.
✓ Branch 609 taken 2 times.
✗ Branch 610 not taken.
✗ Branch 611 not taken.
✓ Branch 612 taken 2 times.
✗ Branch 613 not taken.
✓ Branch 614 taken 2 times.
✓ Branch 615 taken 2 times.
✗ Branch 616 not taken.
✓ Branch 617 taken 9 times.
✓ Branch 618 taken 1 times.
✓ Branch 619 taken 8 times.
✗ Branch 620 not taken.
✗ Branch 621 not taken.
✓ Branch 622 taken 8 times.
✓ Branch 623 taken 8 times.
✗ Branch 624 not taken.
✓ Branch 625 taken 13 times.
✗ Branch 626 not taken.
✓ Branch 627 taken 5 times.
✓ Branch 628 taken 8 times.
✓ Branch 629 taken 11 times.
✓ Branch 630 taken 2 times.
✓ Branch 631 taken 9 times.
✗ Branch 632 not taken.
✓ Branch 633 taken 1 times.
✓ Branch 634 taken 8 times.
✓ Branch 635 taken 8 times.
✓ Branch 636 taken 1 times.
✓ Branch 637 taken 8 times.
✗ Branch 638 not taken.
✗ Branch 639 not taken.
✓ Branch 640 taken 8 times.
✓ Branch 641 taken 8 times.
✗ Branch 642 not taken.
✓ Branch 643 taken 8 times.
✗ Branch 644 not taken.
✗ Branch 645 not taken.
✓ Branch 646 taken 8 times.
✓ Branch 647 taken 8 times.
✗ Branch 648 not taken.
✓ Branch 649 taken 8 times.
✗ Branch 650 not taken.
✗ Branch 651 not taken.
✓ Branch 652 taken 8 times.
✗ Branch 653 not taken.
✗ Branch 654 not taken.
✗ Branch 655 not taken.
✗ Branch 656 not taken.
✗ Branch 657 not taken.
✗ Branch 658 not taken.
✓ Branch 659 taken 331776 times.
✗ Branch 660 not taken.
✗ Branch 661 not taken.
✗ Branch 662 not taken.
✗ Branch 663 not taken.
✗ Branch 664 not taken.
✗ Branch 665 not taken.
✗ Branch 666 not taken.
✓ Branch 667 taken 1 times.
✗ Branch 668 not taken.
✗ Branch 669 not taken.
✗ Branch 670 not taken.
✗ Branch 671 not taken.
✗ Branch 672 not taken.
✗ Branch 673 not taken.
✗ Branch 674 not taken.
✓ Branch 675 taken 2 times.
✗ Branch 676 not taken.
✗ Branch 677 not taken.
✗ Branch 678 not taken.
✗ Branch 679 not taken.
✗ Branch 680 not taken.
✗ Branch 681 not taken.
✗ Branch 682 not taken.
✗ Branch 683 not taken.
✗ Branch 684 not taken.
✗ Branch 685 not taken.
✗ Branch 686 not taken.
✗ Branch 687 not taken.
✓ Branch 688 taken 14514 times.
✓ Branch 689 taken 18384 times.
✓ Branch 690 taken 2758 times.
✓ Branch 691 taken 11756 times.
✓ Branch 692 taken 2235 times.
✓ Branch 693 taken 523 times.
✓ Branch 694 taken 1208 times.
✓ Branch 695 taken 1027 times.
✓ Branch 696 taken 1208 times.
✗ Branch 697 not taken.
✓ Branch 698 taken 1109 times.
✓ Branch 699 taken 99 times.
✓ Branch 700 taken 19652 times.
✓ Branch 701 taken 13126 times.
✓ Branch 702 taken 768 times.
✓ Branch 703 taken 18884 times.
✓ Branch 704 taken 220 times.
✓ Branch 705 taken 548 times.
✓ Branch 706 taken 34 times.
✓ Branch 707 taken 187 times.
✓ Branch 708 taken 2 times.
✓ Branch 709 taken 32 times.
✗ Branch 710 not taken.
✓ Branch 711 taken 2 times.
✓ Branch 712 taken 414348 times.
✓ Branch 713 taken 1161636 times.
✓ Branch 714 taken 348682 times.
✓ Branch 715 taken 1227302 times.
✓ Branch 716 taken 1299040 times.
✓ Branch 717 taken 815648 times.
✓ Branch 718 taken 87432 times.
✓ Branch 719 taken 1211608 times.
✓ Branch 720 taken 37005 times.
✓ Branch 721 taken 50427 times.
✓ Branch 722 taken 12255 times.
✓ Branch 723 taken 24750 times.
✓ Branch 724 taken 8273 times.
✓ Branch 725 taken 3982 times.
✓ Branch 726 taken 1639 times.
✓ Branch 727 taken 6634 times.
✗ Branch 728 not taken.
✗ Branch 729 not taken.
✗ Branch 730 not taken.
✗ Branch 731 not taken.
✗ Branch 732 not taken.
✗ Branch 733 not taken.
✗ Branch 734 not taken.
✗ Branch 735 not taken.
✗ Branch 736 not taken.
✗ Branch 737 not taken.
✗ Branch 738 not taken.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 741 not taken.
✓ Branch 742 taken 3 times.
✓ Branch 743 taken 3 times.
✗ Branch 744 not taken.
✗ Branch 745 not taken.
✗ Branch 746 not taken.
✗ Branch 747 not taken.
✓ Branch 748 taken 3 times.
✗ Branch 749 not taken.
✗ Branch 750 not taken.
✗ Branch 751 not taken.
✗ Branch 752 not taken.
✗ Branch 753 not taken.
✓ Branch 754 taken 2 times.
✗ Branch 755 not taken.
✗ Branch 756 not taken.
✗ Branch 757 not taken.
✗ Branch 758 not taken.
✗ Branch 759 not taken.
✗ Branch 760 not taken.
✗ Branch 761 not taken.
✗ Branch 762 not taken.
✗ Branch 763 not taken.
✓ Branch 764 taken 3 times.
✓ Branch 765 taken 1 times.
✓ Branch 766 taken 4 times.
✓ Branch 767 taken 1 times.
✓ Branch 768 taken 6 times.
✗ Branch 769 not taken.
✗ Branch 770 not taken.
✗ Branch 771 not taken.
✗ Branch 772 not taken.
✓ Branch 773 taken 1 times.
✗ Branch 774 not taken.
✗ Branch 775 not taken.
✗ Branch 776 not taken.
✗ Branch 777 not taken.
✗ Branch 778 not taken.
✗ Branch 779 not taken.
✗ Branch 780 not taken.
✗ Branch 781 not taken.
✗ Branch 782 not taken.
✗ Branch 783 not taken.
✗ Branch 784 not taken.
✗ Branch 785 not taken.
✗ Branch 786 not taken.
✗ Branch 787 not taken.
✗ Branch 788 not taken.
✓ Branch 789 taken 1 times.
✓ Branch 790 taken 1 times.
✓ Branch 791 taken 2 times.
✗ Branch 792 not taken.
✗ Branch 793 not taken.
✗ Branch 794 not taken.
✗ Branch 795 not taken.
✓ Branch 796 taken 1 times.
✗ Branch 797 not taken.
✗ Branch 798 not taken.
✗ Branch 799 not taken.
✗ Branch 800 not taken.
✗ Branch 801 not taken.
✗ Branch 802 not taken.
✗ Branch 803 not taken.
✗ Branch 804 not taken.
✗ Branch 805 not taken.
✗ Branch 806 not taken.
✗ Branch 807 not taken.
✗ Branch 808 not taken.
✗ Branch 809 not taken.
✗ Branch 810 not taken.
✗ Branch 811 not taken.
✗ Branch 812 not taken.
✗ Branch 813 not taken.
✗ Branch 814 not taken.
✗ Branch 815 not taken.
✗ Branch 816 not taken.
✗ Branch 817 not taken.
✗ Branch 818 not taken.
✗ Branch 819 not taken.
✗ Branch 820 not taken.
✗ Branch 821 not taken.
✗ Branch 822 not taken.
✗ Branch 823 not taken.
✗ Branch 824 not taken.
✗ Branch 825 not taken.
✗ Branch 826 not taken.
✗ Branch 827 not taken.
✗ Branch 828 not taken.
✗ Branch 829 not taken.
✗ Branch 830 not taken.
✗ Branch 831 not taken.
✗ Branch 832 not taken.
✗ Branch 833 not taken.
✗ Branch 834 not taken.
✗ Branch 835 not taken.
✗ Branch 836 not taken.
✗ Branch 837 not taken.
✗ Branch 838 not taken.
✗ Branch 839 not taken.
✓ Branch 840 taken 541177 times.
✗ Branch 841 not taken.
✗ Branch 842 not taken.
✗ Branch 843 not taken.
✗ Branch 844 not taken.
✗ Branch 845 not taken.
✗ Branch 846 not taken.
✗ Branch 847 not taken.
✗ Branch 848 not taken.
✗ Branch 849 not taken.
✗ Branch 850 not taken.
✗ Branch 851 not taken.
✗ Branch 852 not taken.
✗ Branch 853 not taken.
✗ Branch 854 not taken.
✗ Branch 855 not taken.
✗ Branch 856 not taken.
✗ Branch 857 not taken.
✗ Branch 858 not taken.
✗ Branch 859 not taken.
✗ Branch 860 not taken.
✗ Branch 861 not taken.
✗ Branch 862 not taken.
✗ Branch 863 not taken.
✗ Branch 864 not taken.
✗ Branch 865 not taken.
✗ Branch 866 not taken.
✗ Branch 867 not taken.
✗ Branch 868 not taken.
✗ Branch 869 not taken.
✗ Branch 870 not taken.
✓ Branch 871 taken 6 times.
✗ Branch 872 not taken.
✗ Branch 873 not taken.
✗ Branch 874 not taken.
✗ Branch 875 not taken.
✗ Branch 876 not taken.
✓ Branch 877 taken 6 times.
✗ Branch 878 not taken.
✗ Branch 879 not taken.
✗ Branch 880 not taken.
✗ Branch 881 not taken.
✗ Branch 882 not taken.
✗ Branch 883 not taken.
✗ Branch 884 not taken.
✗ Branch 885 not taken.
✗ Branch 886 not taken.
✗ Branch 887 not taken.
✗ Branch 888 not taken.
✗ Branch 889 not taken.
✗ Branch 890 not taken.
✗ Branch 891 not taken.
✗ Branch 892 not taken.
✓ Branch 893 taken 6 times.
✗ Branch 894 not taken.
✓ Branch 895 taken 12 times.
✗ Branch 896 not taken.
✗ Branch 897 not taken.
✗ Branch 898 not taken.
✗ Branch 899 not taken.
✗ Branch 900 not taken.
✗ Branch 901 not taken.
✗ Branch 902 not taken.
✗ Branch 903 not taken.
✗ Branch 904 not taken.
✗ Branch 905 not taken.
✗ Branch 906 not taken.
✗ Branch 907 not taken.
✗ Branch 908 not taken.
✗ Branch 909 not taken.
✗ Branch 910 not taken.
✗ Branch 911 not taken.
✗ Branch 912 not taken.
✗ Branch 913 not taken.
✗ Branch 914 not taken.
✗ Branch 915 not taken.
✗ Branch 916 not taken.
✗ Branch 917 not taken.
✗ Branch 918 not taken.
✗ Branch 919 not taken.
✗ Branch 920 not taken.
✗ Branch 921 not taken.
✗ Branch 922 not taken.
✗ Branch 923 not taken.
✗ Branch 924 not taken.
✗ Branch 925 not taken.
✗ Branch 926 not taken.
✗ Branch 927 not taken.
✗ Branch 928 not taken.
✗ Branch 929 not taken.
✗ Branch 930 not taken.
✗ Branch 931 not taken.
✗ Branch 932 not taken.
✗ Branch 933 not taken.
✗ Branch 934 not taken.
✗ Branch 935 not taken.
✗ Branch 936 not taken.
✗ Branch 937 not taken.
✗ Branch 938 not taken.
✗ Branch 939 not taken.
✗ Branch 940 not taken.
✗ Branch 941 not taken.
✗ Branch 942 not taken.
✗ Branch 943 not taken.
✗ Branch 944 not taken.
✗ Branch 945 not taken.
✗ Branch 946 not taken.
✗ Branch 947 not taken.
✗ Branch 948 not taken.
✗ Branch 949 not taken.
✗ Branch 950 not taken.
✗ Branch 951 not taken.
✗ Branch 952 not taken.
✗ Branch 953 not taken.
✗ Branch 954 not taken.
✗ Branch 955 not taken.
✗ Branch 956 not taken.
✗ Branch 957 not taken.
✗ Branch 958 not taken.
✗ Branch 959 not taken.
✗ Branch 960 not taken.
✗ Branch 961 not taken.
✗ Branch 962 not taken.
✗ Branch 963 not taken.
✗ Branch 964 not taken.
✗ Branch 965 not taken.
✗ Branch 966 not taken.
✗ Branch 967 not taken.
✗ Branch 968 not taken.
✗ Branch 969 not taken.
✗ Branch 970 not taken.
✗ Branch 971 not taken.
✗ Branch 972 not taken.
✗ Branch 973 not taken.
✗ Branch 974 not taken.
✗ Branch 975 not taken.
✗ Branch 976 not taken.
✗ Branch 977 not taken.
✗ Branch 978 not taken.
✗ Branch 979 not taken.
✗ Branch 980 not taken.
✗ Branch 981 not taken.
✗ Branch 982 not taken.
✗ Branch 983 not taken.
✗ Branch 984 not taken.
✗ Branch 985 not taken.
✗ Branch 986 not taken.
✗ Branch 987 not taken.
✗ Branch 988 not taken.
✗ Branch 989 not taken.
✗ Branch 990 not taken.
✗ Branch 991 not taken.
✗ Branch 992 not taken.
✗ Branch 993 not taken.
✗ Branch 994 not taken.
✗ Branch 995 not taken.
✗ Branch 996 not taken.
✗ Branch 997 not taken.
✗ Branch 998 not taken.
✗ Branch 999 not taken.
✗ Branch 1000 not taken.
✓ Branch 1001 taken 3 times.
✓ Branch 1002 taken 3 times.
✗ Branch 1003 not taken.
✗ Branch 1004 not taken.
✗ Branch 1005 not taken.
✗ Branch 1006 not taken.
✓ Branch 1007 taken 3 times.
✗ Branch 1008 not taken.
✗ Branch 1009 not taken.
✗ Branch 1010 not taken.
✗ Branch 1011 not taken.
✗ Branch 1012 not taken.
✗ Branch 1013 not taken.
✗ Branch 1014 not taken.
✗ Branch 1015 not taken.
✗ Branch 1016 not taken.
✗ Branch 1017 not taken.
✗ Branch 1018 not taken.
✗ Branch 1019 not taken.
✗ Branch 1020 not taken.
✗ Branch 1021 not taken.
✗ Branch 1022 not taken.
✓ Branch 1023 taken 3 times.
✓ Branch 1024 taken 1 times.
✓ Branch 1025 taken 4 times.
✗ Branch 1026 not taken.
✓ Branch 1027 taken 5 times.
✗ Branch 1028 not taken.
✗ Branch 1029 not taken.
✗ Branch 1030 not taken.
✗ Branch 1031 not taken.
✗ Branch 1032 not taken.
✗ Branch 1033 not taken.
✗ Branch 1034 not taken.
✗ Branch 1035 not taken.
✗ Branch 1036 not taken.
✗ Branch 1037 not taken.
✗ Branch 1038 not taken.
✗ Branch 1039 not taken.
✗ Branch 1040 not taken.
✗ Branch 1041 not taken.
✗ Branch 1042 not taken.
✗ Branch 1043 not taken.
✗ Branch 1044 not taken.
✗ Branch 1045 not taken.
✗ Branch 1046 not taken.
✗ Branch 1047 not taken.
✗ Branch 1048 not taken.
✗ Branch 1049 not taken.
✗ Branch 1050 not taken.
✗ Branch 1051 not taken.
✓ Branch 1052 taken 5 times.
✗ Branch 1053 not taken.
✓ Branch 1054 taken 12068776 times.
✓ Branch 1055 taken 1 times.
✗ Branch 1056 not taken.
✗ Branch 1057 not taken.
✗ Branch 1058 not taken.
✗ Branch 1059 not taken.
✗ Branch 1060 not taken.
✗ Branch 1061 not taken.
✗ Branch 1062 not taken.
✗ Branch 1063 not taken.
✗ Branch 1064 not taken.
✗ Branch 1065 not taken.
✗ Branch 1066 not taken.
✗ Branch 1067 not taken.
✗ Branch 1068 not taken.
✗ Branch 1069 not taken.
✗ Branch 1070 not taken.
✗ Branch 1071 not taken.
✗ Branch 1072 not taken.
✗ Branch 1073 not taken.
✗ Branch 1074 not taken.
✗ Branch 1075 not taken.
✗ Branch 1076 not taken.
✗ Branch 1077 not taken.
✓ Branch 1078 taken 10 times.
✓ Branch 1079 taken 12068766 times.
✗ Branch 1080 not taken.
✓ Branch 1081 taken 5 times.
✗ Branch 1082 not taken.
✗ Branch 1083 not taken.
✗ Branch 1084 not taken.
✗ Branch 1085 not taken.
✗ Branch 1086 not taken.
✗ Branch 1087 not taken.
✗ Branch 1088 not taken.
✗ Branch 1089 not taken.
✗ Branch 1090 not taken.
✗ Branch 1091 not taken.
✗ Branch 1092 not taken.
✗ Branch 1093 not taken.
✗ Branch 1094 not taken.
✗ Branch 1095 not taken.
✗ Branch 1096 not taken.
✗ Branch 1097 not taken.
✗ Branch 1098 not taken.
✗ Branch 1099 not taken.
✗ Branch 1100 not taken.
✗ Branch 1101 not taken.
✗ Branch 1102 not taken.
✗ Branch 1103 not taken.
✗ Branch 1104 not taken.
✗ Branch 1105 not taken.
✓ Branch 1106 taken 5 times.
✗ Branch 1107 not taken.
✗ Branch 1108 not taken.
✗ Branch 1109 not taken.
✗ Branch 1110 not taken.
✗ Branch 1111 not taken.
✗ Branch 1112 not taken.
✗ Branch 1113 not taken.
✗ Branch 1114 not taken.
✗ Branch 1115 not taken.
✗ Branch 1116 not taken.
✗ Branch 1117 not taken.
✗ Branch 1118 not taken.
✗ Branch 1119 not taken.
✗ Branch 1120 not taken.
✗ Branch 1121 not taken.
✗ Branch 1122 not taken.
✗ Branch 1123 not taken.
✗ Branch 1124 not taken.
✗ Branch 1125 not taken.
✗ Branch 1126 not taken.
✗ Branch 1127 not taken.
✗ Branch 1128 not taken.
✗ Branch 1129 not taken.
✓ Branch 1130 taken 2164701 times.
✓ Branch 1131 taken 19300582 times.
✗ Branch 1132 not taken.
✓ Branch 1133 taken 6494016 times.
✗ Branch 1134 not taken.
✓ Branch 1135 taken 5411680 times.
✓ Branch 1136 taken 1082366 times.
✗ Branch 1137 not taken.
✓ Branch 1138 taken 5411680 times.
✗ Branch 1139 not taken.
✗ Branch 1140 not taken.
✗ Branch 1141 not taken.
✗ Branch 1142 not taken.
✗ Branch 1143 not taken.
✗ Branch 1144 not taken.
✗ Branch 1145 not taken.
✓ Branch 1146 taken 5411680 times.
✗ Branch 1147 not taken.
✓ Branch 1148 taken 5411680 times.
✗ Branch 1149 not taken.
✓ Branch 1150 taken 5411680 times.
✗ Branch 1151 not taken.
✓ Branch 1152 taken 1082366 times.
✗ Branch 1153 not taken.
✓ Branch 1154 taken 1285039 times.
✗ Branch 1155 not taken.
✗ Branch 1156 not taken.
✗ Branch 1157 not taken.
✗ Branch 1158 not taken.
✗ Branch 1159 not taken.
✗ Branch 1160 not taken.
✗ Branch 1161 not taken.
✗ Branch 1162 not taken.
✗ Branch 1163 not taken.
✗ Branch 1164 not taken.
✗ Branch 1165 not taken.
✗ Branch 1166 not taken.
✗ Branch 1167 not taken.
✗ Branch 1168 not taken.
✗ Branch 1169 not taken.
✗ Branch 1170 not taken.
✗ Branch 1171 not taken.
✗ Branch 1172 not taken.
✗ Branch 1173 not taken.
✗ Branch 1174 not taken.
✗ Branch 1175 not taken.
✗ Branch 1176 not taken.
✗ Branch 1177 not taken.
✗ Branch 1178 not taken.
✗ Branch 1179 not taken.
✓ Branch 1180 taken 6 times.
✗ Branch 1181 not taken.
✗ Branch 1182 not taken.
✗ Branch 1183 not taken.
✗ Branch 1184 not taken.
✗ Branch 1185 not taken.
✗ Branch 1186 not taken.
✗ Branch 1187 not taken.
✓ Branch 1188 taken 2 times.
✓ Branch 1189 taken 14 times.
✓ Branch 1190 taken 9 times.
✓ Branch 1191 taken 5 times.
✗ Branch 1192 not taken.
✓ Branch 1193 taken 9 times.
✗ Branch 1194 not taken.
✗ Branch 1195 not taken.
✗ Branch 1196 not taken.
✗ Branch 1197 not taken.
✗ Branch 1198 not taken.
✗ Branch 1199 not taken.
✗ Branch 1200 not taken.
✗ Branch 1201 not taken.
✗ Branch 1202 not taken.
✓ Branch 1203 taken 1 times.
✗ Branch 1204 not taken.
✗ Branch 1205 not taken.
✓ Branch 1206 taken 1 times.
✗ Branch 1207 not taken.
✗ Branch 1208 not taken.
✓ Branch 1209 taken 1 times.
✗ Branch 1210 not taken.
✗ Branch 1211 not taken.
✓ Branch 1212 taken 1 times.
✗ Branch 1213 not taken.
✗ Branch 1214 not taken.
✓ Branch 1215 taken 1 times.
✗ Branch 1216 not taken.
✗ Branch 1217 not taken.
✓ Branch 1218 taken 1 times.
✗ Branch 1219 not taken.
✗ Branch 1220 not taken.
✓ Branch 1221 taken 1 times.
✗ Branch 1222 not taken.
✗ Branch 1223 not taken.
✓ Branch 1224 taken 1 times.
✗ Branch 1225 not taken.
✗ Branch 1226 not taken.
✓ Branch 1227 taken 1 times.
✗ Branch 1228 not taken.
✗ Branch 1229 not taken.
✓ Branch 1230 taken 1 times.
✗ Branch 1231 not taken.
✗ Branch 1232 not taken.
✓ Branch 1233 taken 1 times.
✗ Branch 1234 not taken.
✗ Branch 1235 not taken.
✓ Branch 1236 taken 1 times.
✗ Branch 1237 not taken.
✗ Branch 1238 not taken.
✓ Branch 1239 taken 1 times.
✗ Branch 1240 not taken.
✗ Branch 1241 not taken.
✓ Branch 1242 taken 1 times.
✗ Branch 1243 not taken.
✗ Branch 1244 not taken.
✓ Branch 1245 taken 1 times.
✗ Branch 1246 not taken.
✗ Branch 1247 not taken.
✓ Branch 1248 taken 1 times.
✗ Branch 1249 not taken.
✗ Branch 1250 not taken.
✓ Branch 1251 taken 1 times.
✗ Branch 1252 not taken.
✗ Branch 1253 not taken.
✓ Branch 1254 taken 1 times.
✗ Branch 1255 not taken.
✓ Branch 1256 taken 2 times.
✓ Branch 1257 taken 10 times.
✓ Branch 1258 taken 2 times.
✗ Branch 1259 not taken.
✓ Branch 1260 taken 2 times.
✗ Branch 1261 not taken.
✗ Branch 1262 not taken.
✗ Branch 1263 not taken.
✗ Branch 1264 not taken.
✗ Branch 1265 not taken.
✗ Branch 1266 not taken.
✗ Branch 1267 not taken.
✗ Branch 1268 not taken.
✗ Branch 1269 not taken.
✗ Branch 1270 not taken.
✗ Branch 1271 not taken.
✗ Branch 1272 not taken.
✗ Branch 1273 not taken.
✓ Branch 1274 taken 124 times.
✓ Branch 1275 taken 104 times.
✓ Branch 1276 taken 92 times.
✓ Branch 1277 taken 12 times.
✓ Branch 1278 taken 90 times.
✓ Branch 1279 taken 2 times.
✗ Branch 1280 not taken.
✓ Branch 1281 taken 90 times.
✓ Branch 1282 taken 132 times.
✓ Branch 1283 taken 92 times.
✓ Branch 1284 taken 88 times.
✓ Branch 1285 taken 4 times.
✓ Branch 1286 taken 88 times.
✗ Branch 1287 not taken.
✗ Branch 1288 not taken.
✓ Branch 1289 taken 88 times.
✓ Branch 1290 taken 134 times.
✓ Branch 1291 taken 94 times.
✓ Branch 1292 taken 90 times.
✓ Branch 1293 taken 4 times.
✓ Branch 1294 taken 90 times.
✗ Branch 1295 not taken.
✗ Branch 1296 not taken.
✓ Branch 1297 taken 90 times.
✓ Branch 1298 taken 136 times.
✓ Branch 1299 taken 120 times.
✓ Branch 1300 taken 106 times.
✓ Branch 1301 taken 14 times.
✗ Branch 1302 not taken.
✓ Branch 1303 taken 106 times.
✓ Branch 1304 taken 192 times.
✓ Branch 1305 taken 176 times.
✓ Branch 1306 taken 172 times.
✓ Branch 1307 taken 4 times.
✓ Branch 1308 taken 4 times.
✓ Branch 1309 taken 168 times.
✓ Branch 1310 taken 174 times.
✓ Branch 1311 taken 144 times.
✓ Branch 1312 taken 140 times.
✓ Branch 1313 taken 4 times.
✓ Branch 1314 taken 2 times.
✓ Branch 1315 taken 138 times.
✗ Branch 1316 not taken.
✗ Branch 1317 not taken.
✗ Branch 1318 not taken.
✗ Branch 1319 not taken.
✗ Branch 1320 not taken.
✗ Branch 1321 not taken.
✗ Branch 1322 not taken.
✗ Branch 1323 not taken.
✗ Branch 1324 not taken.
✗ Branch 1325 not taken.
✗ Branch 1326 not taken.
✗ Branch 1327 not taken.
✗ Branch 1328 not taken.
✗ Branch 1329 not taken.
✗ Branch 1330 not taken.
✓ Branch 1331 taken 1 times.
✗ Branch 1332 not taken.
✗ Branch 1334 not taken.
✗ Branch 1335 not taken.
✗ Branch 1336 not taken.
✗ Branch 1337 not taken.
✗ Branch 1338 not taken.
✗ Branch 1339 not taken.
✗ Branch 1340 not taken.
✗ Branch 1341 not taken.
✗ Branch 1342 not taken.
✗ Branch 1343 not taken.
✗ Branch 1344 not taken.
✗ Branch 1345 not taken.
✗ Branch 1346 not taken.
✗ Branch 1347 not taken.
✗ Branch 1348 not taken.
✗ Branch 1349 not taken.
✗ Branch 1350 not taken.
✗ Branch 1351 not taken.
✗ Branch 1352 not taken.
✗ Branch 1353 not taken.
✗ Branch 1354 not taken.
✗ Branch 1355 not taken.
✗ Branch 1356 not taken.
✗ Branch 1357 not taken.
✗ Branch 1358 not taken.
✗ Branch 1359 not taken.
✗ Branch 1360 not taken.
✗ Branch 1361 not taken.
✗ Branch 1362 not taken.
✗ Branch 1363 not taken.
✗ Branch 1364 not taken.
✗ Branch 1365 not taken.
✗ Branch 1366 not taken.
✗ Branch 1367 not taken.
✗ Branch 1368 not taken.
✗ Branch 1369 not taken.
✗ Branch 1370 not taken.
✗ Branch 1371 not taken.
✗ Branch 1372 not taken.
✗ Branch 1373 not taken.
✗ Branch 1374 not taken.
✗ Branch 1375 not taken.
✗ Branch 1376 not taken.
✗ Branch 1377 not taken.
✗ Branch 1378 not taken.
✗ Branch 1379 not taken.
✗ Branch 1380 not taken.
✗ Branch 1381 not taken.
✗ Branch 1382 not taken.
✗ Branch 1383 not taken.
✗ Branch 1384 not taken.
✗ Branch 1385 not taken.
✗ Branch 1386 not taken.
✗ Branch 1387 not taken.
✗ Branch 1388 not taken.
✗ Branch 1389 not taken.
✓ Branch 1390 taken 4684014 times.
✗ Branch 1391 not taken.
✓ Branch 1392 taken 4684014 times.
✗ Branch 1393 not taken.
✓ Branch 1394 taken 4684014 times.
✗ Branch 1395 not taken.
✓ Branch 1396 taken 4684014 times.
✗ Branch 1397 not taken.
✓ Branch 1398 taken 4684014 times.
✗ Branch 1399 not taken.
✓ Branch 1400 taken 4684014 times.
✗ Branch 1401 not taken.
✓ Branch 1402 taken 4684014 times.
✗ Branch 1403 not taken.
✓ Branch 1404 taken 4684014 times.
✗ Branch 1405 not taken.
✓ Branch 1406 taken 4684014 times.
✗ Branch 1407 not taken.
✓ Branch 1408 taken 4684014 times.
✗ Branch 1409 not taken.
✓ Branch 1410 taken 4684014 times.
✗ Branch 1411 not taken.
✓ Branch 1412 taken 4684014 times.
✗ Branch 1413 not taken.
✓ Branch 1414 taken 4684014 times.
✗ Branch 1415 not taken.
✓ Branch 1416 taken 4684014 times.
✗ Branch 1417 not taken.
✓ Branch 1418 taken 4684014 times.
✗ Branch 1419 not taken.
✓ Branch 1420 taken 4684014 times.
✗ Branch 1421 not taken.
✓ Branch 1422 taken 36882 times.
✗ Branch 1423 not taken.
✓ Branch 1424 taken 36882 times.
✗ Branch 1425 not taken.
✓ Branch 1426 taken 36882 times.
✗ Branch 1427 not taken.
✓ Branch 1428 taken 36882 times.
✗ Branch 1429 not taken.
✓ Branch 1430 taken 36882 times.
✗ Branch 1431 not taken.
✓ Branch 1432 taken 36882 times.
✗ Branch 1433 not taken.
✓ Branch 1434 taken 36882 times.
✗ Branch 1435 not taken.
✓ Branch 1436 taken 36882 times.
✗ Branch 1437 not taken.
✓ Branch 1438 taken 36882 times.
✗ Branch 1439 not taken.
✓ Branch 1440 taken 36882 times.
✗ Branch 1441 not taken.
✓ Branch 1442 taken 36882 times.
✗ Branch 1443 not taken.
✗ Branch 1444 not taken.
✓ Branch 1445 taken 36882 times.
✗ Branch 1446 not taken.
✗ Branch 1447 not taken.
✗ Branch 1448 not taken.
✗ Branch 1449 not taken.
✗ Branch 1450 not taken.
✗ Branch 1451 not taken.
✗ Branch 1452 not taken.
✗ Branch 1453 not taken.
✗ Branch 1454 not taken.
✗ Branch 1455 not taken.
✗ Branch 1456 not taken.
✗ Branch 1457 not taken.
✗ Branch 1458 not taken.
✗ Branch 1459 not taken.
✗ Branch 1460 not taken.
✗ Branch 1461 not taken.
✗ Branch 1462 not taken.
✗ Branch 1463 not taken.
✗ Branch 1464 not taken.
✗ Branch 1465 not taken.
✗ Branch 1466 not taken.
✗ Branch 1467 not taken.
✗ Branch 1468 not taken.
✗ Branch 1469 not taken.
✗ Branch 1470 not taken.
✗ Branch 1471 not taken.
✗ Branch 1472 not taken.
✗ Branch 1473 not taken.
✗ Branch 1474 not taken.
✗ Branch 1475 not taken.
✗ Branch 1476 not taken.
✗ Branch 1477 not taken.
✗ Branch 1478 not taken.
✗ Branch 1479 not taken.
✗ Branch 1480 not taken.
✗ Branch 1481 not taken.
✗ Branch 1482 not taken.
✗ Branch 1483 not taken.
✗ Branch 1484 not taken.
✗ Branch 1485 not taken.
✗ Branch 1486 not taken.
✗ Branch 1487 not taken.
✗ Branch 1488 not taken.
✗ Branch 1489 not taken.
✗ Branch 1490 not taken.
✗ Branch 1491 not taken.
✗ Branch 1492 not taken.
✗ Branch 1493 not taken.
✗ Branch 1494 not taken.
✗ Branch 1495 not taken.
✗ Branch 1496 not taken.
✗ Branch 1497 not taken.
✗ Branch 1498 not taken.
✗ Branch 1499 not taken.
✗ Branch 1500 not taken.
✗ Branch 1501 not taken.
✓ Branch 1502 taken 4684014 times.
✗ Branch 1503 not taken.
✓ Branch 1504 taken 4684014 times.
✗ Branch 1505 not taken.
✓ Branch 1506 taken 4684014 times.
✗ Branch 1507 not taken.
✓ Branch 1508 taken 4684014 times.
✗ Branch 1509 not taken.
✓ Branch 1510 taken 4684014 times.
✗ Branch 1511 not taken.
✓ Branch 1512 taken 4684014 times.
✗ Branch 1513 not taken.
✓ Branch 1514 taken 4684014 times.
✗ Branch 1515 not taken.
✓ Branch 1516 taken 4684014 times.
✗ Branch 1517 not taken.
✓ Branch 1518 taken 4684014 times.
✗ Branch 1519 not taken.
✓ Branch 1520 taken 4684014 times.
✗ Branch 1521 not taken.
✓ Branch 1522 taken 4684014 times.
✓ Branch 1523 taken 1 times.
✓ Branch 1524 taken 4684014 times.
✗ Branch 1525 not taken.
✓ Branch 1526 taken 4684014 times.
✗ Branch 1527 not taken.
✓ Branch 1528 taken 4684014 times.
✗ Branch 1529 not taken.
✓ Branch 1530 taken 4684014 times.
✗ Branch 1531 not taken.
✓ Branch 1532 taken 4684014 times.
✗ Branch 1533 not taken.
✓ Branch 1534 taken 36882 times.
✗ Branch 1535 not taken.
✓ Branch 1536 taken 36882 times.
✗ Branch 1537 not taken.
✓ Branch 1538 taken 36882 times.
✗ Branch 1539 not taken.
✓ Branch 1540 taken 36882 times.
✗ Branch 1541 not taken.
✓ Branch 1542 taken 36882 times.
✗ Branch 1543 not taken.
✓ Branch 1544 taken 36882 times.
✗ Branch 1545 not taken.
✓ Branch 1546 taken 36882 times.
✗ Branch 1547 not taken.
✓ Branch 1548 taken 36882 times.
✗ Branch 1549 not taken.
✓ Branch 1550 taken 36882 times.
✗ Branch 1551 not taken.
✓ Branch 1552 taken 36882 times.
✗ Branch 1553 not taken.
✓ Branch 1554 taken 36882 times.
✗ Branch 1555 not taken.
✗ Branch 1556 not taken.
✓ Branch 1557 taken 36882 times.
✗ Branch 1558 not taken.
✗ Branch 1559 not taken.
✗ Branch 1560 not taken.
✗ Branch 1561 not taken.
✗ Branch 1562 not taken.
✗ Branch 1563 not taken.
✗ Branch 1564 not taken.
✗ Branch 1565 not taken.
✗ Branch 1566 not taken.
✗ Branch 1567 not taken.
✗ Branch 1568 not taken.
✗ Branch 1569 not taken.
✗ Branch 1570 not taken.
✗ Branch 1571 not taken.
✗ Branch 1572 not taken.
✗ Branch 1573 not taken.
✗ Branch 1574 not taken.
✗ Branch 1575 not taken.
✗ Branch 1576 not taken.
✗ Branch 1577 not taken.
✗ Branch 1578 not taken.
✗ Branch 1579 not taken.
✗ Branch 1580 not taken.
✗ Branch 1581 not taken.
✗ Branch 1582 not taken.
✗ Branch 1583 not taken.
✗ Branch 1584 not taken.
✗ Branch 1585 not taken.
✗ Branch 1586 not taken.
✗ Branch 1587 not taken.
✗ Branch 1588 not taken.
✗ Branch 1589 not taken.
✗ Branch 1590 not taken.
✗ Branch 1591 not taken.
✗ Branch 1592 not taken.
✗ Branch 1593 not taken.
✗ Branch 1594 not taken.
✗ Branch 1595 not taken.
✗ Branch 1596 not taken.
✗ Branch 1597 not taken.
✗ Branch 1598 not taken.
✗ Branch 1599 not taken.
✗ Branch 1600 not taken.
✗ Branch 1601 not taken.
✗ Branch 1602 not taken.
✗ Branch 1603 not taken.
✗ Branch 1604 not taken.
✗ Branch 1605 not taken.
✗ Branch 1606 not taken.
✗ Branch 1607 not taken.
✗ Branch 1608 not taken.
✗ Branch 1609 not taken.
✗ Branch 1610 not taken.
✗ Branch 1611 not taken.
✗ Branch 1612 not taken.
✗ Branch 1613 not taken.
✗ Branch 1614 not taken.
✗ Branch 1615 not taken.
✗ Branch 1616 not taken.
✗ Branch 1617 not taken.
✗ Branch 1618 not taken.
✗ Branch 1619 not taken.
✗ Branch 1620 not taken.
✗ Branch 1621 not taken.
✗ Branch 1622 not taken.
✗ Branch 1623 not taken.
✗ Branch 1624 not taken.
✗ Branch 1625 not taken.
✗ Branch 1626 not taken.
✗ Branch 1627 not taken.
✗ Branch 1628 not taken.
✗ Branch 1629 not taken.
✓ Branch 1630 taken 4684014 times.
✗ Branch 1631 not taken.
✓ Branch 1632 taken 4684014 times.
✗ Branch 1633 not taken.
✓ Branch 1634 taken 4684014 times.
✗ Branch 1635 not taken.
✓ Branch 1636 taken 4684014 times.
✗ Branch 1637 not taken.
✓ Branch 1638 taken 4684014 times.
✗ Branch 1639 not taken.
✓ Branch 1640 taken 4684014 times.
✗ Branch 1641 not taken.
✓ Branch 1642 taken 4684014 times.
✗ Branch 1643 not taken.
✓ Branch 1644 taken 4684014 times.
✗ Branch 1645 not taken.
✓ Branch 1646 taken 4684014 times.
✗ Branch 1647 not taken.
✓ Branch 1648 taken 4684014 times.
✗ Branch 1649 not taken.
✓ Branch 1650 taken 4684014 times.
✗ Branch 1651 not taken.
✓ Branch 1652 taken 4684014 times.
✗ Branch 1653 not taken.
✓ Branch 1654 taken 4684014 times.
✗ Branch 1655 not taken.
✓ Branch 1656 taken 4684014 times.
✗ Branch 1657 not taken.
✓ Branch 1658 taken 4684014 times.
✗ Branch 1659 not taken.
✓ Branch 1660 taken 4684014 times.
✗ Branch 1661 not taken.
✓ Branch 1662 taken 36882 times.
✗ Branch 1663 not taken.
✓ Branch 1664 taken 36882 times.
✗ Branch 1665 not taken.
✓ Branch 1666 taken 36882 times.
✗ Branch 1667 not taken.
✓ Branch 1668 taken 36882 times.
✗ Branch 1669 not taken.
✓ Branch 1670 taken 36882 times.
✗ Branch 1671 not taken.
✓ Branch 1672 taken 36882 times.
✗ Branch 1673 not taken.
✓ Branch 1674 taken 36882 times.
✗ Branch 1675 not taken.
✓ Branch 1676 taken 36882 times.
✗ Branch 1677 not taken.
✓ Branch 1678 taken 36882 times.
✗ Branch 1679 not taken.
✓ Branch 1680 taken 36882 times.
✗ Branch 1681 not taken.
✓ Branch 1682 taken 36882 times.
✗ Branch 1683 not taken.
✗ Branch 1684 not taken.
✓ Branch 1685 taken 36882 times.
✗ Branch 1686 not taken.
✗ Branch 1687 not taken.
✗ Branch 1688 not taken.
✗ Branch 1689 not taken.
✗ Branch 1690 not taken.
✗ Branch 1691 not taken.
✗ Branch 1692 not taken.
✗ Branch 1693 not taken.
✗ Branch 1694 not taken.
✗ Branch 1695 not taken.
✗ Branch 1696 not taken.
✗ Branch 1697 not taken.
✗ Branch 1698 not taken.
✗ Branch 1699 not taken.
✗ Branch 1700 not taken.
✗ Branch 1701 not taken.
✗ Branch 1702 not taken.
✓ Branch 1703 taken 1 times.
✗ Branch 1704 not taken.
✗ Branch 1705 not taken.
✗ Branch 1706 not taken.
✗ Branch 1707 not taken.
✗ Branch 1708 not taken.
✗ Branch 1709 not taken.
✗ Branch 1710 not taken.
✗ Branch 1711 not taken.
✗ Branch 1712 not taken.
✗ Branch 1713 not taken.
✗ Branch 1714 not taken.
✗ Branch 1715 not taken.
✗ Branch 1716 not taken.
✗ Branch 1717 not taken.
✗ Branch 1718 not taken.
✗ Branch 1719 not taken.
✗ Branch 1720 not taken.
✗ Branch 1721 not taken.
✗ Branch 1722 not taken.
✗ Branch 1723 not taken.
✗ Branch 1724 not taken.
✗ Branch 1725 not taken.
✗ Branch 1726 not taken.
✗ Branch 1727 not taken.
✗ Branch 1728 not taken.
✗ Branch 1729 not taken.
✗ Branch 1730 not taken.
✗ Branch 1731 not taken.
✗ Branch 1732 not taken.
✗ Branch 1733 not taken.
✗ Branch 1734 not taken.
✗ Branch 1735 not taken.
✗ Branch 1736 not taken.
✗ Branch 1737 not taken.
✗ Branch 1738 not taken.
✗ Branch 1739 not taken.
✗ Branch 1740 not taken.
✗ Branch 1741 not taken.
✗ Branch 1742 not taken.
✗ Branch 1743 not taken.
✗ Branch 1744 not taken.
✗ Branch 1745 not taken.
✗ Branch 1746 not taken.
✗ Branch 1747 not taken.
✗ Branch 1748 not taken.
✗ Branch 1749 not taken.
✗ Branch 1750 not taken.
✗ Branch 1751 not taken.
✓ Branch 1752 taken 36855 times.
✗ Branch 1753 not taken.
✓ Branch 1754 taken 36855 times.
✗ Branch 1755 not taken.
✓ Branch 1756 taken 36855 times.
✗ Branch 1757 not taken.
✗ Branch 1758 not taken.
✓ Branch 1759 taken 36855 times.
✓ Branch 1760 taken 8196 times.
✓ Branch 1761 taken 28686 times.
✓ Branch 1762 taken 4098 times.
✓ Branch 1763 taken 4098 times.
✓ Branch 1764 taken 4098 times.
✗ Branch 1765 not taken.
✗ Branch 1766 not taken.
✓ Branch 1767 taken 4098 times.
✓ Branch 1768 taken 2 times.
✓ Branch 1769 taken 7 times.
✓ Branch 1770 taken 1 times.
✓ Branch 1771 taken 1 times.
✓ Branch 1772 taken 1 times.
✗ Branch 1773 not taken.
✗ Branch 1774 not taken.
✓ Branch 1775 taken 1 times.
✗ Branch 1776 not taken.
✗ Branch 1777 not taken.
✗ Branch 1778 not taken.
✗ Branch 1779 not taken.
✗ Branch 1780 not taken.
✗ Branch 1781 not taken.
✗ Branch 1782 not taken.
✗ Branch 1783 not taken.
✓ Branch 1784 taken 4684014 times.
✗ Branch 1785 not taken.
✓ Branch 1786 taken 4684014 times.
✗ Branch 1787 not taken.
✓ Branch 1788 taken 4684014 times.
✗ Branch 1789 not taken.
✓ Branch 1790 taken 4684014 times.
✗ Branch 1791 not taken.
✓ Branch 1792 taken 4684014 times.
✗ Branch 1793 not taken.
✓ Branch 1794 taken 4684014 times.
✗ Branch 1795 not taken.
✓ Branch 1796 taken 4684014 times.
✗ Branch 1797 not taken.
✓ Branch 1798 taken 4684014 times.
✗ Branch 1799 not taken.
✓ Branch 1800 taken 4684014 times.
✗ Branch 1801 not taken.
✓ Branch 1802 taken 4684014 times.
✗ Branch 1803 not taken.
✓ Branch 1804 taken 4684014 times.
✗ Branch 1805 not taken.
✓ Branch 1806 taken 4684014 times.
✗ Branch 1807 not taken.
✓ Branch 1808 taken 36882 times.
✗ Branch 1809 not taken.
✓ Branch 1810 taken 36882 times.
✗ Branch 1811 not taken.
✓ Branch 1812 taken 36882 times.
✗ Branch 1813 not taken.
✓ Branch 1814 taken 36882 times.
✗ Branch 1815 not taken.
✓ Branch 1816 taken 36882 times.
✗ Branch 1817 not taken.
✓ Branch 1818 taken 36882 times.
✗ Branch 1819 not taken.
✓ Branch 1820 taken 36882 times.
✗ Branch 1821 not taken.
✓ Branch 1822 taken 36882 times.
✗ Branch 1823 not taken.
✗ Branch 1824 not taken.
✓ Branch 1825 taken 36882 times.
✗ Branch 1826 not taken.
✗ Branch 1827 not taken.
✗ Branch 1828 not taken.
✗ Branch 1829 not taken.
✗ Branch 1830 not taken.
✗ Branch 1831 not taken.
✗ Branch 1832 not taken.
✗ Branch 1833 not taken.
✗ Branch 1834 not taken.
✗ Branch 1835 not taken.
✗ Branch 1836 not taken.
✗ Branch 1837 not taken.
✗ Branch 1838 not taken.
✗ Branch 1839 not taken.
✗ Branch 1840 not taken.
✗ Branch 1841 not taken.
✗ Branch 1842 not taken.
✗ Branch 1843 not taken.
✗ Branch 1844 not taken.
✗ Branch 1845 not taken.
✗ Branch 1846 not taken.
✗ Branch 1847 not taken.
✗ Branch 1848 not taken.
✗ Branch 1849 not taken.
✗ Branch 1850 not taken.
✗ Branch 1851 not taken.
✗ Branch 1852 not taken.
✗ Branch 1853 not taken.
✗ Branch 1854 not taken.
✗ Branch 1855 not taken.
✗ Branch 1856 not taken.
✗ Branch 1857 not taken.
✗ Branch 1858 not taken.
✗ Branch 1859 not taken.
✗ Branch 1860 not taken.
✗ Branch 1861 not taken.
✗ Branch 1862 not taken.
✗ Branch 1863 not taken.
✗ Branch 1864 not taken.
✗ Branch 1865 not taken.
✗ Branch 1866 not taken.
✗ Branch 1867 not taken.
✗ Branch 1868 not taken.
✗ Branch 1869 not taken.
✗ Branch 1870 not taken.
✗ Branch 1871 not taken.
✗ Branch 1872 not taken.
✗ Branch 1873 not taken.
✗ Branch 1874 not taken.
✗ Branch 1875 not taken.
✗ Branch 1876 not taken.
✗ Branch 1877 not taken.
✗ Branch 1878 not taken.
✗ Branch 1879 not taken.
✗ Branch 1880 not taken.
✗ Branch 1881 not taken.
✗ Branch 1882 not taken.
✓ Branch 1883 taken 1 times.
✗ Branch 1884 not taken.
✗ Branch 1885 not taken.
✗ Branch 1886 not taken.
✗ Branch 1887 not taken.
✗ Branch 1888 not taken.
✗ Branch 1889 not taken.
✗ Branch 1890 not taken.
✗ Branch 1891 not taken.
✓ Branch 1892 taken 36855 times.
✗ Branch 1893 not taken.
✓ Branch 1894 taken 36855 times.
✗ Branch 1895 not taken.
✓ Branch 1896 taken 36855 times.
✗ Branch 1897 not taken.
✗ Branch 1898 not taken.
✓ Branch 1899 taken 36855 times.
✓ Branch 1900 taken 4098 times.
✓ Branch 1901 taken 32784 times.
✓ Branch 1902 taken 4098 times.
✗ Branch 1903 not taken.
✓ Branch 1904 taken 4098 times.
✗ Branch 1905 not taken.
✗ Branch 1906 not taken.
✓ Branch 1907 taken 4098 times.
✓ Branch 1908 taken 1 times.
✓ Branch 1909 taken 8 times.
✓ Branch 1910 taken 1 times.
✗ Branch 1911 not taken.
✓ Branch 1912 taken 1 times.
✗ Branch 1913 not taken.
✗ Branch 1914 not taken.
✓ Branch 1915 taken 1 times.
✗ Branch 1916 not taken.
✗ Branch 1917 not taken.
✗ Branch 1918 not taken.
✗ Branch 1919 not taken.
✗ Branch 1920 not taken.
✗ Branch 1921 not taken.
✗ Branch 1922 not taken.
✗ Branch 1923 not taken.
✓ Branch 1924 taken 4684014 times.
✗ Branch 1925 not taken.
✓ Branch 1926 taken 4684014 times.
✗ Branch 1927 not taken.
✓ Branch 1928 taken 4684014 times.
✗ Branch 1929 not taken.
✓ Branch 1930 taken 4684014 times.
✗ Branch 1931 not taken.
✓ Branch 1932 taken 4684014 times.
✗ Branch 1933 not taken.
✓ Branch 1934 taken 4684014 times.
✗ Branch 1935 not taken.
✓ Branch 1936 taken 4684014 times.
✗ Branch 1937 not taken.
✓ Branch 1938 taken 4684014 times.
✗ Branch 1939 not taken.
✓ Branch 1940 taken 4684014 times.
✗ Branch 1941 not taken.
✓ Branch 1942 taken 4684014 times.
✗ Branch 1943 not taken.
✓ Branch 1944 taken 4684014 times.
✗ Branch 1945 not taken.
✓ Branch 1946 taken 4684014 times.
✗ Branch 1947 not taken.
✓ Branch 1948 taken 36882 times.
✗ Branch 1949 not taken.
✓ Branch 1950 taken 36882 times.
✗ Branch 1951 not taken.
✓ Branch 1952 taken 36882 times.
✗ Branch 1953 not taken.
✓ Branch 1954 taken 36882 times.
✗ Branch 1955 not taken.
✓ Branch 1956 taken 36882 times.
✗ Branch 1957 not taken.
✓ Branch 1958 taken 36882 times.
✗ Branch 1959 not taken.
✓ Branch 1960 taken 36882 times.
✗ Branch 1961 not taken.
✓ Branch 1962 taken 36882 times.
✗ Branch 1963 not taken.
✗ Branch 1964 not taken.
✓ Branch 1965 taken 36882 times.
✗ Branch 1966 not taken.
✗ Branch 1967 not taken.
✗ Branch 1968 not taken.
✗ Branch 1969 not taken.
✗ Branch 1970 not taken.
✗ Branch 1971 not taken.
✗ Branch 1972 not taken.
✗ Branch 1973 not taken.
✗ Branch 1974 not taken.
✗ Branch 1975 not taken.
✗ Branch 1976 not taken.
✗ Branch 1977 not taken.
✗ Branch 1978 not taken.
✗ Branch 1979 not taken.
✗ Branch 1980 not taken.
✗ Branch 1981 not taken.
✗ Branch 1982 not taken.
✗ Branch 1983 not taken.
✗ Branch 1984 not taken.
✗ Branch 1985 not taken.
✗ Branch 1986 not taken.
✗ Branch 1987 not taken.
✗ Branch 1988 not taken.
✗ Branch 1989 not taken.
✗ Branch 1990 not taken.
✗ Branch 1991 not taken.
✗ Branch 1992 not taken.
✗ Branch 1993 not taken.
✗ Branch 1994 not taken.
✗ Branch 1995 not taken.
✗ Branch 1996 not taken.
✗ Branch 1997 not taken.
✗ Branch 1998 not taken.
✗ Branch 1999 not taken.
✗ Branch 2000 not taken.
✗ Branch 2001 not taken.
✗ Branch 2002 not taken.
✗ Branch 2003 not taken.
✗ Branch 2004 not taken.
✗ Branch 2005 not taken.
✗ Branch 2006 not taken.
✗ Branch 2007 not taken.
✗ Branch 2008 not taken.
✗ Branch 2009 not taken.
✗ Branch 2010 not taken.
✗ Branch 2011 not taken.
✗ Branch 2012 not taken.
✗ Branch 2013 not taken.
✗ Branch 2014 not taken.
✗ Branch 2015 not taken.
✗ Branch 2016 not taken.
✗ Branch 2017 not taken.
✗ Branch 2018 not taken.
✗ Branch 2019 not taken.
✗ Branch 2020 not taken.
✗ Branch 2021 not taken.
✗ Branch 2022 not taken.
✗ Branch 2023 not taken.
✗ Branch 2024 not taken.
✗ Branch 2025 not taken.
✗ Branch 2026 not taken.
✗ Branch 2027 not taken.
✗ Branch 2028 not taken.
✗ Branch 2029 not taken.
✓ Branch 2030 taken 36855 times.
✗ Branch 2031 not taken.
✓ Branch 2032 taken 36855 times.
✗ Branch 2033 not taken.
✓ Branch 2034 taken 36855 times.
✗ Branch 2035 not taken.
✗ Branch 2036 not taken.
✓ Branch 2037 taken 36855 times.
✓ Branch 2038 taken 4098 times.
✓ Branch 2039 taken 32784 times.
✓ Branch 2040 taken 4098 times.
✗ Branch 2041 not taken.
✓ Branch 2042 taken 4098 times.
✗ Branch 2043 not taken.
✗ Branch 2044 not taken.
✓ Branch 2045 taken 4098 times.
✓ Branch 2046 taken 1 times.
✓ Branch 2047 taken 8 times.
✓ Branch 2048 taken 1 times.
✗ Branch 2049 not taken.
✓ Branch 2050 taken 1 times.
✗ Branch 2051 not taken.
✗ Branch 2052 not taken.
✓ Branch 2053 taken 1 times.
✗ Branch 2054 not taken.
✗ Branch 2055 not taken.
✗ Branch 2056 not taken.
✗ Branch 2057 not taken.
✗ Branch 2058 not taken.
✗ Branch 2059 not taken.
✓ Branch 2060 taken 4684014 times.
✗ Branch 2061 not taken.
✓ Branch 2062 taken 4684014 times.
✗ Branch 2063 not taken.
✓ Branch 2064 taken 4684014 times.
✗ Branch 2065 not taken.
✓ Branch 2066 taken 4684014 times.
✗ Branch 2067 not taken.
✓ Branch 2068 taken 4684014 times.
✗ Branch 2069 not taken.
✓ Branch 2070 taken 4684014 times.
✗ Branch 2071 not taken.
✓ Branch 2072 taken 4684014 times.
✗ Branch 2073 not taken.
✓ Branch 2074 taken 4684014 times.
✗ Branch 2075 not taken.
✓ Branch 2076 taken 4684014 times.
✗ Branch 2077 not taken.
✓ Branch 2078 taken 4684014 times.
✗ Branch 2079 not taken.
✓ Branch 2080 taken 4684014 times.
✗ Branch 2081 not taken.
✓ Branch 2082 taken 4684014 times.
✗ Branch 2083 not taken.
✓ Branch 2084 taken 36882 times.
✗ Branch 2085 not taken.
✓ Branch 2086 taken 36882 times.
✗ Branch 2087 not taken.
✓ Branch 2088 taken 36882 times.
✗ Branch 2089 not taken.
✓ Branch 2090 taken 36882 times.
✗ Branch 2091 not taken.
✓ Branch 2092 taken 36882 times.
✗ Branch 2093 not taken.
✓ Branch 2094 taken 36882 times.
✗ Branch 2095 not taken.
✓ Branch 2096 taken 36882 times.
✗ Branch 2097 not taken.
✓ Branch 2098 taken 36882 times.
✗ Branch 2099 not taken.
✗ Branch 2100 not taken.
✓ Branch 2101 taken 36882 times.
✗ Branch 2102 not taken.
✓ Branch 2103 taken 3 times.
✗ Branch 2104 not taken.
✗ Branch 2105 not taken.
✗ Branch 2106 not taken.
✗ Branch 2107 not taken.
✗ Branch 2108 not taken.
✗ Branch 2109 not taken.
✗ Branch 2110 not taken.
✗ Branch 2111 not taken.
✗ Branch 2112 not taken.
✗ Branch 2113 not taken.
✗ Branch 2114 not taken.
✗ Branch 2115 not taken.
✗ Branch 2116 not taken.
✗ Branch 2117 not taken.
✗ Branch 2118 not taken.
✗ Branch 2119 not taken.
✗ Branch 2120 not taken.
✗ Branch 2121 not taken.
✗ Branch 2122 not taken.
✗ Branch 2123 not taken.
✗ Branch 2124 not taken.
✗ Branch 2125 not taken.
✗ Branch 2126 not taken.
✗ Branch 2127 not taken.
✗ Branch 2128 not taken.
✗ Branch 2129 not taken.
✗ Branch 2130 not taken.
✗ Branch 2131 not taken.
✗ Branch 2132 not taken.
✗ Branch 2133 not taken.
✗ Branch 2134 not taken.
✗ Branch 2135 not taken.
✓ Branch 2136 taken 8196 times.
✓ Branch 2137 taken 28686 times.
✓ Branch 2138 taken 4098 times.
✓ Branch 2139 taken 4098 times.
✗ Branch 2140 not taken.
✓ Branch 2141 taken 4098 times.
✓ Branch 2142 taken 2 times.
✓ Branch 2143 taken 7 times.
✓ Branch 2144 taken 1 times.
✓ Branch 2145 taken 1 times.
✗ Branch 2146 not taken.
✓ Branch 2147 taken 1 times.
✗ Branch 2148 not taken.
✗ Branch 2149 not taken.
✗ Branch 2150 not taken.
✗ Branch 2151 not taken.
✗ Branch 2152 not taken.
✗ Branch 2153 not taken.
✗ Branch 2154 not taken.
✗ Branch 2155 not taken.
✗ Branch 2156 not taken.
✗ Branch 2157 not taken.
✗ Branch 2158 not taken.
✗ Branch 2159 not taken.
✗ Branch 2160 not taken.
✗ Branch 2161 not taken.
✗ Branch 2162 not taken.
✗ Branch 2163 not taken.
✗ Branch 2164 not taken.
✗ Branch 2165 not taken.
✗ Branch 2166 not taken.
✗ Branch 2167 not taken.
✗ Branch 2168 not taken.
✗ Branch 2169 not taken.
✗ Branch 2170 not taken.
✗ Branch 2171 not taken.
✗ Branch 2172 not taken.
✗ Branch 2173 not taken.
✗ Branch 2174 not taken.
✗ Branch 2175 not taken.
✗ Branch 2176 not taken.
✗ Branch 2177 not taken.
✗ Branch 2178 not taken.
✗ Branch 2179 not taken.
✗ Branch 2180 not taken.
✗ Branch 2181 not taken.
✗ Branch 2182 not taken.
✗ Branch 2183 not taken.
✗ Branch 2184 not taken.
✗ Branch 2185 not taken.
✗ Branch 2186 not taken.
✗ Branch 2187 not taken.
✗ Branch 2188 not taken.
✗ Branch 2189 not taken.
✗ Branch 2190 not taken.
✗ Branch 2191 not taken.
✗ Branch 2192 not taken.
✗ Branch 2193 not taken.
✗ Branch 2194 not taken.
✗ Branch 2195 not taken.
✗ Branch 2196 not taken.
✗ Branch 2197 not taken.
✗ Branch 2198 not taken.
✗ Branch 2199 not taken.
✗ Branch 2200 not taken.
✗ Branch 2201 not taken.
✗ Branch 2202 not taken.
✗ Branch 2203 not taken.
✓ Branch 2204 taken 4098 times.
✓ Branch 2205 taken 32784 times.
✓ Branch 2206 taken 4098 times.
✗ Branch 2207 not taken.
✗ Branch 2208 not taken.
✓ Branch 2209 taken 4098 times.
✓ Branch 2210 taken 1 times.
✓ Branch 2211 taken 8 times.
✓ Branch 2212 taken 1 times.
✗ Branch 2213 not taken.
✗ Branch 2214 not taken.
✓ Branch 2215 taken 1 times.
✗ Branch 2216 not taken.
✗ Branch 2217 not taken.
✗ Branch 2218 not taken.
✗ Branch 2219 not taken.
✗ Branch 2220 not taken.
✗ Branch 2221 not taken.
✗ Branch 2222 not taken.
✗ Branch 2223 not taken.
✗ Branch 2224 not taken.
✗ Branch 2225 not taken.
✗ Branch 2226 not taken.
✗ Branch 2227 not taken.
✗ Branch 2228 not taken.
✗ Branch 2229 not taken.
✗ Branch 2230 not taken.
✗ Branch 2231 not taken.
✗ Branch 2232 not taken.
✗ Branch 2233 not taken.
✗ Branch 2234 not taken.
✗ Branch 2235 not taken.
✗ Branch 2236 not taken.
✗ Branch 2237 not taken.
✗ Branch 2238 not taken.
✗ Branch 2239 not taken.
✗ Branch 2240 not taken.
✓ Branch 2241 taken 1 times.
✗ Branch 2242 not taken.
✗ Branch 2243 not taken.
✗ Branch 2244 not taken.
✗ Branch 2245 not taken.
✗ Branch 2246 not taken.
✗ Branch 2247 not taken.
✗ Branch 2248 not taken.
✗ Branch 2249 not taken.
✗ Branch 2250 not taken.
✗ Branch 2251 not taken.
✗ Branch 2252 not taken.
✗ Branch 2253 not taken.
✗ Branch 2254 not taken.
✗ Branch 2255 not taken.
✗ Branch 2256 not taken.
✗ Branch 2257 not taken.
✗ Branch 2258 not taken.
✗ Branch 2259 not taken.
✗ Branch 2260 not taken.
✗ Branch 2261 not taken.
✗ Branch 2262 not taken.
✗ Branch 2263 not taken.
✗ Branch 2264 not taken.
✗ Branch 2265 not taken.
✓ Branch 2266 taken 4098 times.
✓ Branch 2267 taken 32784 times.
✓ Branch 2268 taken 4098 times.
✗ Branch 2269 not taken.
✗ Branch 2270 not taken.
✓ Branch 2271 taken 4098 times.
✓ Branch 2272 taken 1 times.
✓ Branch 2273 taken 8 times.
✓ Branch 2274 taken 1 times.
✗ Branch 2275 not taken.
✗ Branch 2276 not taken.
✓ Branch 2277 taken 1 times.
✗ Branch 2278 not taken.
✗ Branch 2279 not taken.
✗ Branch 2280 not taken.
✗ Branch 2281 not taken.
✗ Branch 2282 not taken.
✗ Branch 2283 not taken.
✗ Branch 2284 not taken.
✗ Branch 2285 not taken.
✗ Branch 2286 not taken.
✗ Branch 2287 not taken.
✗ Branch 2288 not taken.
✗ Branch 2289 not taken.
✗ Branch 2290 not taken.
✗ Branch 2291 not taken.
✗ Branch 2292 not taken.
✗ Branch 2293 not taken.
✗ Branch 2294 not taken.
✗ Branch 2295 not taken.
✗ Branch 2296 not taken.
✗ Branch 2297 not taken.
✗ Branch 2298 not taken.
✗ Branch 2299 not taken.
✗ Branch 2300 not taken.
✗ Branch 2301 not taken.
✗ Branch 2302 not taken.
✗ Branch 2303 not taken.
✗ Branch 2304 not taken.
✗ Branch 2305 not taken.
✗ Branch 2306 not taken.
✗ Branch 2307 not taken.
✗ Branch 2308 not taken.
✗ Branch 2309 not taken.
✗ Branch 2310 not taken.
✗ Branch 2311 not taken.
✗ Branch 2312 not taken.
✓ Branch 2313 taken 1 times.
✗ Branch 2314 not taken.
✗ Branch 2315 not taken.
✗ Branch 2316 not taken.
✗ Branch 2317 not taken.
✗ Branch 2318 not taken.
✗ Branch 2319 not taken.
✗ Branch 2320 not taken.
✗ Branch 2321 not taken.
✗ Branch 2322 not taken.
✗ Branch 2323 not taken.
✗ Branch 2324 not taken.
✗ Branch 2325 not taken.
✗ Branch 2326 not taken.
✗ Branch 2327 not taken.
✗ Branch 2328 not taken.
✗ Branch 2329 not taken.
✗ Branch 2330 not taken.
✗ Branch 2331 not taken.
✗ Branch 2332 not taken.
✗ Branch 2333 not taken.
✗ Branch 2334 not taken.
✗ Branch 2335 not taken.
✗ Branch 2336 not taken.
✗ Branch 2337 not taken.
✗ Branch 2338 not taken.
✗ Branch 2339 not taken.
✗ Branch 2340 not taken.
✗ Branch 2341 not taken.
✗ Branch 2342 not taken.
✗ Branch 2343 not taken.
✗ Branch 2344 not taken.
✗ Branch 2345 not taken.
✗ Branch 2346 not taken.
✗ Branch 2347 not taken.
✗ Branch 2348 not taken.
✗ Branch 2349 not taken.
✗ Branch 2350 not taken.
✗ Branch 2351 not taken.
✗ Branch 2352 not taken.
✗ Branch 2353 not taken.
✗ Branch 2354 not taken.
✗ Branch 2355 not taken.
✗ Branch 2356 not taken.
✗ Branch 2357 not taken.
✗ Branch 2358 not taken.
✗ Branch 2359 not taken.
✗ Branch 2360 not taken.
✗ Branch 2361 not taken.
✗ Branch 2362 not taken.
✗ Branch 2363 not taken.
✗ Branch 2364 not taken.
✗ Branch 2365 not taken.
✗ Branch 2367 not taken.
✗ Branch 2368 not taken.
✗ Branch 2370 not taken.
✗ Branch 2371 not taken.
✗ Branch 2372 not taken.
✗ Branch 2373 not taken.
✗ Branch 2374 not taken.
✗ Branch 2375 not taken.
✗ Branch 2376 not taken.
✗ Branch 2377 not taken.
✗ Branch 2378 not taken.
✗ Branch 2379 not taken.
✗ Branch 2380 not taken.
✗ Branch 2381 not taken.
✗ Branch 2382 not taken.
✗ Branch 2383 not taken.
✗ Branch 2385 not taken.
✗ Branch 2386 not taken.
✗ Branch 2387 not taken.
✗ Branch 2388 not taken.
✗ Branch 2389 not taken.
✗ Branch 2391 not taken.
✗ Branch 2392 not taken.
✗ Branch 2393 not taken.
✗ Branch 2394 not taken.
✗ Branch 2395 not taken.
✗ Branch 2396 not taken.
✗ Branch 2397 not taken.
✗ Branch 2398 not taken.
✗ Branch 2400 not taken.
✗ Branch 2401 not taken.
✗ Branch 2403 not taken.
✗ Branch 2404 not taken.
✗ Branch 2406 not taken.
✗ Branch 2407 not taken.
✗ Branch 2409 not taken.
✗ Branch 2410 not taken.
✗ Branch 2412 not taken.
✗ Branch 2413 not taken.
✓ Branch 2415 taken 2 times.
✗ Branch 2416 not taken.
✓ Branch 2418 taken 1 times.
✗ Branch 2419 not taken.
✓ Branch 2421 taken 2 times.
✗ Branch 2422 not taken.
✗ Branch 2424 not taken.
✗ Branch 2425 not taken.
✓ Branch 2427 taken 2 times.
✗ Branch 2428 not taken.
✗ Branch 2430 not taken.
✗ Branch 2431 not taken.
✗ Branch 2434 not taken.
✗ Branch 2435 not taken.
✗ Branch 2438 not taken.
✗ Branch 2439 not taken.
✗ Branch 2442 not taken.
✗ Branch 2443 not taken.
✗ Branch 2446 not taken.
✗ Branch 2447 not taken.
✗ Branch 2450 not taken.
✗ Branch 2451 not taken.
✗ Branch 2454 not taken.
✗ Branch 2455 not taken.
✗ Branch 2458 not taken.
✗ Branch 2459 not taken.
✗ Branch 2462 not taken.
✗ Branch 2463 not taken.
✗ Branch 2466 not taken.
✗ Branch 2467 not taken.
✗ Branch 2470 not taken.
✗ Branch 2471 not taken.
✗ Branch 2474 not taken.
✗ Branch 2475 not taken.
✗ Branch 2478 not taken.
✗ Branch 2479 not taken.
✗ Branch 2482 not taken.
✗ Branch 2483 not taken.
✗ Branch 2486 not taken.
✗ Branch 2487 not taken.
✗ Branch 2490 not taken.
✗ Branch 2491 not taken.
✗ Branch 2494 not taken.
✗ Branch 2495 not taken.
✗ Branch 2498 not taken.
✗ Branch 2499 not taken.
✗ Branch 2502 not taken.
✗ Branch 2503 not taken.
✗ Branch 2506 not taken.
✗ Branch 2507 not taken.
✗ Branch 2510 not taken.
✗ Branch 2511 not taken.
✗ Branch 2514 not taken.
✗ Branch 2515 not taken.
✗ Branch 2518 not taken.
✗ Branch 2519 not taken.
✗ Branch 2522 not taken.
✗ Branch 2523 not taken.
✗ Branch 2526 not taken.
✗ Branch 2527 not taken.
✗ Branch 2530 not taken.
✗ Branch 2531 not taken.
✗ Branch 2534 not taken.
✗ Branch 2535 not taken.
✗ Branch 2538 not taken.
✗ Branch 2539 not taken.
✗ Branch 2542 not taken.
✗ Branch 2543 not taken.
✗ Branch 2546 not taken.
✗ Branch 2547 not taken.
✗ Branch 2550 not taken.
✗ Branch 2551 not taken.
✗ Branch 2554 not taken.
✗ Branch 2555 not taken.
✗ Branch 2558 not taken.
✗ Branch 2559 not taken.
✗ Branch 2562 not taken.
✗ Branch 2563 not taken.
✗ Branch 2566 not taken.
✗ Branch 2567 not taken.
✗ Branch 2570 not taken.
✗ Branch 2571 not taken.
✗ Branch 2574 not taken.
✗ Branch 2575 not taken.
✗ Branch 2578 not taken.
✗ Branch 2579 not taken.
✗ Branch 2582 not taken.
✗ Branch 2583 not taken.
✗ Branch 2586 not taken.
✗ Branch 2587 not taken.
✗ Branch 2590 not taken.
✗ Branch 2591 not taken.
✗ Branch 2594 not taken.
✗ Branch 2595 not taken.
✗ Branch 2598 not taken.
✗ Branch 2599 not taken.
✗ Branch 2601 not taken.
✗ Branch 2602 not taken.
✗ Branch 2604 not taken.
✗ Branch 2605 not taken.
✗ Branch 2607 not taken.
✗ Branch 2608 not taken.
✗ Branch 2610 not taken.
✗ Branch 2611 not taken.
✗ Branch 2613 not taken.
✗ Branch 2614 not taken.
✗ Branch 2616 not taken.
✗ Branch 2617 not taken.
✗ Branch 2619 not taken.
✗ Branch 2620 not taken.
✗ Branch 2622 not taken.
✗ Branch 2623 not taken.
✗ Branch 2625 not taken.
✗ Branch 2626 not taken.
✗ Branch 2628 not taken.
✗ Branch 2629 not taken.
✗ Branch 2631 not taken.
✗ Branch 2632 not taken.
✗ Branch 2634 not taken.
✗ Branch 2635 not taken.
✗ Branch 2637 not taken.
✗ Branch 2638 not taken.
✗ Branch 2640 not taken.
✗ Branch 2641 not taken.
✗ Branch 2643 not taken.
✗ Branch 2644 not taken.
✗ Branch 2646 not taken.
✗ Branch 2647 not taken.
✓ Branch 2649 taken 3 times.
✗ Branch 2650 not taken.
✗ Branch 2652 not taken.
✗ Branch 2653 not taken.
✗ Branch 2655 not taken.
✗ Branch 2656 not taken.
✗ Branch 2658 not taken.
✗ Branch 2659 not taken.
✗ Branch 2661 not taken.
✗ Branch 2662 not taken.
✗ Branch 2664 not taken.
✗ Branch 2665 not taken.
✗ Branch 2667 not taken.
✗ Branch 2668 not taken.
✗ Branch 2670 not taken.
✗ Branch 2671 not taken.
✗ Branch 2673 not taken.
✗ Branch 2674 not taken.
✓ Branch 2676 taken 3 times.
✗ Branch 2677 not taken.
✗ Branch 2679 not taken.
✗ Branch 2680 not taken.
✓ Branch 2682 taken 1 times.
✗ Branch 2683 not taken.
✓ Branch 2685 taken 1 times.
✗ Branch 2686 not taken.
✓ Branch 2688 taken 3 times.
✗ Branch 2689 not taken.
✗ Branch 2691 not taken.
✗ Branch 2692 not taken.
✗ Branch 2694 not taken.
✗ Branch 2695 not taken.
✗ Branch 2697 not taken.
✗ Branch 2698 not taken.
✓ Branch 2700 taken 3 times.
✗ Branch 2701 not taken.
✗ Branch 2703 not taken.
✗ Branch 2704 not taken.
✗ Branch 2705 not taken.
✗ Branch 2706 not taken.
✗ Branch 2707 not taken.
✗ Branch 2708 not taken.
✗ Branch 2709 not taken.
✗ Branch 2710 not taken.
✗ Branch 2711 not taken.
✗ Branch 2712 not taken.
✗ Branch 2713 not taken.
✗ Branch 2714 not taken.
✗ Branch 2715 not taken.
✗ Branch 2716 not taken.
✗ Branch 2717 not taken.
✗ Branch 2718 not taken.
✗ Branch 2719 not taken.
✗ Branch 2720 not taken.
✗ Branch 2721 not taken.
✗ Branch 2722 not taken.
✗ Branch 2723 not taken.
✗ Branch 2724 not taken.
✗ Branch 2725 not taken.
✗ Branch 2726 not taken.
✗ Branch 2727 not taken.
✗ Branch 2728 not taken.
✗ Branch 2729 not taken.
✗ Branch 2730 not taken.
✗ Branch 2731 not taken.
✗ Branch 2732 not taken.
✗ Branch 2733 not taken.
✗ Branch 2734 not taken.
✗ Branch 2735 not taken.
✗ Branch 2736 not taken.
✗ Branch 2737 not taken.
✓ Branch 2738 taken 1 times.
✓ Branch 2739 taken 1 times.
✗ Branch 2740 not taken.
✗ Branch 2741 not taken.
✓ Branch 2742 taken 1 times.
✗ Branch 2743 not taken.
✗ Branch 2744 not taken.
✗ Branch 2745 not taken.
✗ Branch 2746 not taken.
✗ Branch 2747 not taken.
✗ Branch 2748 not taken.
✗ Branch 2749 not taken.
✗ Branch 2750 not taken.
✗ Branch 2751 not taken.
✗ Branch 2752 not taken.
✗ Branch 2753 not taken.
✗ Branch 2754 not taken.
✗ Branch 2755 not taken.
✗ Branch 2756 not taken.
✗ Branch 2757 not taken.
✗ Branch 2758 not taken.
✗ Branch 2759 not taken.
✗ Branch 2760 not taken.
✗ Branch 2761 not taken.
✗ Branch 2762 not taken.
✗ Branch 2763 not taken.
✗ Branch 2764 not taken.
✗ Branch 2765 not taken.
✗ Branch 2766 not taken.
✗ Branch 2767 not taken.
✗ Branch 2768 not taken.
✗ Branch 2769 not taken.
✗ Branch 2770 not taken.
✗ Branch 2771 not taken.
✗ Branch 2772 not taken.
✗ Branch 2773 not taken.
✗ Branch 2774 not taken.
✗ Branch 2775 not taken.
✗ Branch 2776 not taken.
✗ Branch 2777 not taken.
✗ Branch 2778 not taken.
✗ Branch 2779 not taken.
✗ Branch 2780 not taken.
✗ Branch 2781 not taken.
✗ Branch 2782 not taken.
✗ Branch 2784 not taken.
✗ Branch 2785 not taken.
✗ Branch 2786 not taken.
✗ Branch 2787 not taken.
✗ Branch 2788 not taken.
✗ Branch 2789 not taken.
✗ Branch 2790 not taken.
✗ Branch 2791 not taken.
✗ Branch 2792 not taken.
✗ Branch 2793 not taken.
✗ Branch 2794 not taken.
✗ Branch 2795 not taken.
✗ Branch 2796 not taken.
✗ Branch 2797 not taken.
✗ Branch 2798 not taken.
✗ Branch 2799 not taken.
✗ Branch 2800 not taken.
✗ Branch 2801 not taken.
✗ Branch 2803 not taken.
✗ Branch 2804 not taken.
✗ Branch 2806 not taken.
✓ Branch 2807 taken 2 times.
✓ Branch 2808 taken 2 times.
✗ Branch 2809 not taken.
✓ Branch 2810 taken 2 times.
✗ Branch 2811 not taken.
✗ Branch 2812 not taken.
✓ Branch 2813 taken 2 times.
✗ Branch 2814 not taken.
✗ Branch 2815 not taken.
✗ Branch 2816 not taken.
✗ Branch 2817 not taken.
✗ Branch 2818 not taken.
✗ Branch 2819 not taken.
✗ Branch 2822 not taken.
✗ Branch 2823 not taken.
✗ Branch 2824 not taken.
✗ Branch 2825 not taken.
✗ Branch 2826 not taken.
✗ Branch 2827 not taken.
✓ Branch 2832 taken 1 times.
✗ Branch 2833 not taken.
✓ Branch 2834 taken 1 times.
✗ Branch 2835 not taken.
✓ Branch 2836 taken 1 times.
✗ Branch 2837 not taken.
✗ Branch 2838 not taken.
✓ Branch 2839 taken 1 times.
✓ Branch 2840 taken 1 times.
✗ Branch 2841 not taken.
✓ Branch 2842 taken 1 times.
✗ Branch 2843 not taken.
✗ Branch 2844 not taken.
✓ Branch 2845 taken 1 times.
✓ Branch 2846 taken 1 times.
✗ Branch 2847 not taken.
✓ Branch 2848 taken 1 times.
✗ Branch 2849 not taken.
✗ Branch 2850 not taken.
✓ Branch 2851 taken 1 times.
✓ Branch 2852 taken 1 times.
✗ Branch 2853 not taken.
✓ Branch 2854 taken 1 times.
✗ Branch 2855 not taken.
✓ Branch 2856 taken 1 times.
✗ Branch 2857 not taken.
✗ Branch 2858 not taken.
✓ Branch 2859 taken 1 times.
✗ Branch 2860 not taken.
✗ Branch 2861 not taken.
✗ Branch 2862 not taken.
✗ Branch 2863 not taken.
✗ Branch 2864 not taken.
✗ Branch 2865 not taken.
✗ Branch 2866 not taken.
✗ Branch 2867 not taken.
✗ Branch 2868 not taken.
✗ Branch 2869 not taken.
✗ Branch 2870 not taken.
✗ Branch 2871 not taken.
✗ Branch 2876 not taken.
✗ Branch 2877 not taken.
✗ Branch 2881 not taken.
✗ Branch 2882 not taken.
✗ Branch 2884 not taken.
✗ Branch 2885 not taken.
1641776959 return mm[i];
93 }
94
95 // @brief non-const access to an element in the tuple. The offset idx must be
96 // an integral type. A reference to the tuple data is returned.
97 template <typename IdxT,
98 typename std::enable_if<std::is_integral<IdxT>::value, bool>::type = true>
99 T& operator[](IdxT i) {
100
48/108
✗ Branch 0 not taken.
✓ Branch 1 taken 33376466 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 26808501 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 29390620 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 113444 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 53025 times.
✗ Branch 15 not taken.
✓ Branch 16 taken 53010 times.
✗ Branch 18 not taken.
✓ Branch 19 taken 32165 times.
✗ Branch 21 not taken.
✓ Branch 22 taken 32165 times.
✗ Branch 24 not taken.
✓ Branch 25 taken 32165 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 32165 times.
✗ Branch 30 not taken.
✓ Branch 31 taken 32165 times.
✗ Branch 33 not taken.
✓ Branch 34 taken 32165 times.
✗ Branch 36 not taken.
✓ Branch 37 taken 17584 times.
✗ Branch 39 not taken.
✓ Branch 40 taken 17584 times.
✗ Branch 42 not taken.
✓ Branch 43 taken 17584 times.
✗ Branch 45 not taken.
✓ Branch 46 taken 9585 times.
✗ Branch 48 not taken.
✓ Branch 49 taken 9585 times.
✗ Branch 51 not taken.
✓ Branch 52 taken 9585 times.
✗ Branch 54 not taken.
✓ Branch 55 taken 25688 times.
✗ Branch 57 not taken.
✓ Branch 58 taken 25688 times.
✗ Branch 60 not taken.
✓ Branch 61 taken 25688 times.
✗ Branch 63 not taken.
✓ Branch 64 taken 25688 times.
✗ Branch 66 not taken.
✓ Branch 67 taken 25688 times.
✗ Branch 69 not taken.
✓ Branch 70 taken 25688 times.
✗ Branch 72 not taken.
✓ Branch 73 taken 26072 times.
✗ Branch 75 not taken.
✓ Branch 76 taken 26072 times.
✗ Branch 78 not taken.
✓ Branch 79 taken 26072 times.
✗ Branch 81 not taken.
✓ Branch 82 taken 26072 times.
✗ Branch 84 not taken.
✓ Branch 85 taken 26072 times.
✗ Branch 87 not taken.
✓ Branch 88 taken 26072 times.
✗ Branch 90 not taken.
✓ Branch 91 taken 9584 times.
✗ Branch 93 not taken.
✓ Branch 94 taken 9584 times.
✗ Branch 96 not taken.
✓ Branch 97 taken 9584 times.
✗ Branch 99 not taken.
✓ Branch 100 taken 9584 times.
✗ Branch 102 not taken.
✓ Branch 103 taken 9584 times.
✗ Branch 105 not taken.
✓ Branch 106 taken 9584 times.
✗ Branch 108 not taken.
✓ Branch 109 taken 60680 times.
✗ Branch 111 not taken.
✓ Branch 112 taken 60680 times.
✗ Branch 114 not taken.
✓ Branch 115 taken 60680 times.
✗ Branch 117 not taken.
✓ Branch 118 taken 60680 times.
✗ Branch 120 not taken.
✓ Branch 121 taken 60680 times.
✗ Branch 123 not taken.
✓ Branch 124 taken 60680 times.
✗ Branch 126 not taken.
✓ Branch 127 taken 46656 times.
✗ Branch 129 not taken.
✓ Branch 130 taken 46656 times.
✗ Branch 132 not taken.
✓ Branch 133 taken 46656 times.
✗ Branch 135 not taken.
✓ Branch 136 taken 46656 times.
✗ Branch 138 not taken.
✓ Branch 139 taken 46656 times.
✗ Branch 141 not taken.
✓ Branch 142 taken 46656 times.
✗ Branch 144 not taken.
✗ Branch 145 not taken.
✗ Branch 147 not taken.
✗ Branch 148 not taken.
✗ Branch 150 not taken.
✗ Branch 151 not taken.
✗ Branch 153 not taken.
✗ Branch 154 not taken.
✗ Branch 156 not taken.
✗ Branch 157 not taken.
✗ Branch 159 not taken.
✗ Branch 160 not taken.
91079212 assert(i >= IdxT(0) && i < IdxT(SIZE));
101
4/4
✓ Branch 0 taken 414873 times.
✓ Branch 1 taken 1221213 times.
✓ Branch 2 taken 349117 times.
✓ Branch 3 taken 1286873 times.
2050959 return mm[i];
102 }
103
104 // These exist solely to provide backwards compatibility with [] access of
105 // non-integer types that were castable to 'int' (such as floating point type).
106 // The above templates allow for any integer type to be used as an offset into
107 // the tuple data.
108 T operator[](int i) const { return this->operator[]<int>(i); }
109 T& operator[](int i) { return this->operator[]<int>(i); }
110
111 /// @name Compatibility
112 /// These are mostly for backwards compatibility with functions that take
113 /// old-style Vs (which are just arrays).
114 //@{
115 /// Copies this tuple into an array of a compatible type
116 template <typename S>
117 void toV(S *v) const {
118 for (int i = 0; i < SIZE; ++i) {
119 v[i] = mm[i];
120 }
121 }
122
123 /// Exposes the internal array. Be careful when using this function.
124 value_type *asV() {
125 return mm;
126 }
127 /// Exposes the internal array. Be careful when using this function.
128 value_type const *asV() const {
129 return mm;
130 }
131 //@} Compatibility
132
133 /// @return string representation of Classname
134 6 std::string str() const {
135 12 std::ostringstream buffer;
136
137
1/2
✓ Branch 1 taken 3 times.
✗ Branch 2 not taken.
6 buffer << "[";
138
139 // For each column
140
2/2
✓ Branch 0 taken 11 times.
✓ Branch 1 taken 3 times.
28 for (unsigned j(0); j < SIZE; j++) {
141
3/4
✓ Branch 0 taken 8 times.
✓ Branch 1 taken 3 times.
✓ Branch 3 taken 8 times.
✗ Branch 4 not taken.
22 if (j) buffer << ", ";
142
1/2
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
22 buffer << PrintCast(mm[j]);
143 }
144
145
1/2
✓ Branch 1 taken 3 times.
✗ Branch 2 not taken.
6 buffer << "]";
146
147 6 return buffer.str();
148 }
149
150 void write(std::ostream& os) const {
151 165 os.write(reinterpret_cast<const char*>(&mm), sizeof(T)*SIZE);
152 }
153 void read(std::istream& is) {
154 136 is.read(reinterpret_cast<char*>(&mm), sizeof(T)*SIZE);
155 }
156
157 /// True if a Nan is present in this tuple
158 bool isNan() const {
159
1/2
✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
1 for (int i = 0; i < SIZE; ++i) {
160
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
1 if (math::isNan(mm[i])) return true;
161 }
162 return false;
163 }
164
165 /// True if an Inf is present in this tuple
166 bool isInfinite() const {
167 for (int i = 0; i < SIZE; ++i) {
168 if (math::isInfinite(mm[i])) return true;
169 }
170 return false;
171 }
172
173 /// True if no Nan or Inf values are present
174 bool isFinite() const {
175 for (int i = 0; i < SIZE; ++i) {
176 if (!math::isFinite(mm[i])) return false;
177 }
178 return true;
179 }
180
181 /// True if all elements are exactly zero
182 bool isZero() const {
183 for (int i = 0; i < SIZE; ++i) {
184 if (!math::isZero(mm[i])) return false;
185 }
186 return true;
187 }
188
189 protected:
190 T mm[SIZE];
191 };
192
193
194 ////////////////////////////////////////
195
196
197 /// @return true if t0 < t1, comparing components in order of significance.
198 template<int SIZE, typename T0, typename T1>
199 bool
200 3725457 operator<(const Tuple<SIZE, T0>& t0, const Tuple<SIZE, T1>& t1)
201 {
202
2/2
✓ Branch 0 taken 4707457 times.
✓ Branch 1 taken 2353556 times.
11175455 for (int i = 0; i < SIZE-1; ++i) {
203
2/2
✓ Branch 0 taken 306 times.
✓ Branch 1 taken 4707151 times.
7450475 if (!isExactlyEqual(t0[i], t1[i])) return t0[i] < t1[i];
204 }
205 3724980 return t0[SIZE-1] < t1[SIZE-1];
206 }
207
208
209 /// @return true if t0 > t1, comparing components in order of significance.
210 template<int SIZE, typename T0, typename T1>
211 bool
212 1243138 operator>(const Tuple<SIZE, T0>& t0, const Tuple<SIZE, T1>& t1)
213 {
214
2/2
✓ Branch 0 taken 1567148 times.
✓ Branch 1 taken 783460 times.
3728592 for (int i = 0; i < SIZE-1; ++i) {
215
2/2
✓ Branch 0 taken 229 times.
✓ Branch 1 taken 1566919 times.
2485864 if (!isExactlyEqual(t0[i], t1[i])) return t0[i] > t1[i];
216 }
217 1242728 return t0[SIZE-1] > t1[SIZE-1];
218 }
219
220
221 ////////////////////////////////////////
222
223
224 /// @return the absolute value of the given Tuple.
225 template<int SIZE, typename T>
226 Tuple<SIZE, T>
227 Abs(const Tuple<SIZE, T>& t)
228 {
229 Tuple<SIZE, T> result;
230 for (int i = 0; i < SIZE; ++i) result[i] = math::Abs(t[i]);
231 return result;
232 }
233
234 /// Return @c true if a Nan is present in the tuple.
235 template<int SIZE, typename T>
236 inline bool isNan(const Tuple<SIZE, T>& t) { return t.isNan(); }
237
238 /// Return @c true if an Inf is present in the tuple.
239 template<int SIZE, typename T>
240 inline bool isInfinite(const Tuple<SIZE, T>& t) { return t.isInfinite(); }
241
242 /// Return @c true if no Nan or Inf values are present.
243 template<int SIZE, typename T>
244 inline bool isFinite(const Tuple<SIZE, T>& t) { return t.isFinite(); }
245
246 /// Return @c true if all elements are exactly equal to zero.
247 template<int SIZE, typename T>
248 inline bool isZero(const Tuple<SIZE, T>& t) { return t.isZero(); }
249
250 ////////////////////////////////////////
251
252
253 /// Write a Tuple to an output stream
254 template <int SIZE, typename T>
255 2 std::ostream& operator<<(std::ostream& ostr, const Tuple<SIZE, T>& classname)
256 {
257 2 ostr << classname.str();
258 2 return ostr;
259 }
260
261 } // namespace math
262 } // namespace OPENVDB_VERSION_NAME
263 } // namespace openvdb
264
265 #endif // OPENVDB_MATH_TUPLE_HAS_BEEN_INCLUDED
266