GCC Code Coverage Report

Directory: ../../../builds/dumux-repositories/
File: /builds/dumux-repositories/dumux/dumux/discretization/staggered/fvelementgeometry.hh
Date: 2024-05-04 19:09:25
Exec Total Coverage
Lines: 104 113 92.0%
Functions: 7 10 70.0%
Branches: 2160 4885 44.2%
Line Branch Exec Source
1 // -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2 // vi: set et ts=4 sw=4 sts=4:
3 //
4 // SPDX-FileCopyrightInfo: Copyright © DuMux Project contributors, see AUTHORS.md in root folder
5 // SPDX-License-Identifier: GPL-3.0-or-later
6 //
7 /*!
8 * \file
9 * \ingroup StaggeredDiscretization
10 * \copydoc Dumux::StaggeredFVElementGeometry
11 */
12 #ifndef DUMUX_DISCRETIZATION_STAGGERED_FV_ELEMENT_GEOMETRY_HH
13 #define DUMUX_DISCRETIZATION_STAGGERED_FV_ELEMENT_GEOMETRY_HH
14
15 #include <optional>
16 #include <bitset>
17
18 #include <dumux/common/indextraits.hh>
19 #include <dumux/discretization/cellcentered/tpfa/fvelementgeometry.hh>
20 #include <dumux/discretization/facecentered/staggered/normalaxis.hh>
21
22 namespace Dumux {
23
24 /*!
25 * \ingroup StaggeredDiscretization
26 * \brief Stencil-local finite volume geometry (scvs and scvfs) for staggered models
27 * This builds up the sub control volumes and sub control volume faces
28 * for each element in the local scope we are restricting to, e.g. stencil or element.
29 * \tparam GG the finite volume grid geometry type
30 * \tparam enableGridGeometryCache if the grid geometry is cached or not
31 * \note This class is specialized for versions with and without caching the fv geometries on the grid view
32 */
33 template<class GG, bool enableGridGeometryCache>
34 class StaggeredFVElementGeometry;
35
36 /*!
37 * \ingroup StaggeredDiscretization
38 * \brief Base class for the finite volume geometry vector for staggered models
39 * This locally builds up the sub control volumes and sub control volume faces
40 * for each element.
41 * Specialization for grid caching enabled
42 * \tparam GG the finite volume grid geometry type
43 */
44 template<class GG>
45
6/8
✓ Branch 0 taken 14152 times.
✓ Branch 1 taken 901032 times.
✓ Branch 3 taken 14152 times.
✓ Branch 4 taken 901032 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 412912 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 412912 times.
 2749192 class StaggeredFVElementGeometry<GG, true> : public CCTpfaFVElementGeometry<GG, true>
46 {
47 using ParentType = CCTpfaFVElementGeometry<GG, true>;
48 using GridView = typename GG::GridView;
49 using GridIndexType = typename IndexTraits<GridView>::GridIndex;
50 using LocalIndexType = typename IndexTraits<GridView>::LocalIndex;
51 public:
52 //! export type of the element
53 using Element = typename GridView::template Codim<0>::Entity;
54 //! export type of subcontrol volume face
55 using SubControlVolumeFace = typename GG::SubControlVolumeFace;
56
57
22/38
✓ Branch 1 taken 1331 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 1331 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 1 times.
✗ Branch 7 not taken.
✓ Branch 9 taken 45 times.
✗ Branch 10 not taken.
✓ Branch 11 taken 6 times.
✓ Branch 12 taken 45 times.
✗ Branch 13 not taken.
✓ Branch 14 taken 6 times.
✓ Branch 15 taken 12 times.
✗ Branch 16 not taken.
✓ Branch 17 taken 1 times.
✓ Branch 18 taken 12 times.
✓ Branch 19 taken 79 times.
✓ Branch 20 taken 1 times.
✓ Branch 21 taken 18 times.
✓ Branch 22 taken 79 times.
✓ Branch 23 taken 1 times.
✓ Branch 24 taken 18 times.
✓ Branch 25 taken 79 times.
✓ Branch 26 taken 1 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 79 times.
✗ Branch 29 not taken.
✗ Branch 30 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 33 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✓ Branch 37 taken 63 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 63 times.
✗ Branch 41 not taken.
 132266 using ParentType::ParentType;
58
59 //! Constructor getting a auxiliary cell center of face specific FvGridGeometry type.
60 //! Needed for the multi-domain framework.
61 template<class CellCenterOrFaceFVGridGeometry>
62 StaggeredFVElementGeometry(const CellCenterOrFaceFVGridGeometry& gridGeometry)
63
12/24
✓ Branch 1 taken 1360444 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1360444 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1360444 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1360444 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 51 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 51 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 51 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 51 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 51 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 51 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 17 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 17 times.
✗ Branch 35 not taken.
 5442116 : ParentType(gridGeometry.actualGridGeometry()) {}
64
65 //! Get a sub control volume face with an element index and a local scvf index
66 using ParentType::scvf;
67 const SubControlVolumeFace& scvf(GridIndexType eIdx, LocalIndexType localScvfIdx) const
68 {
69
30/39
✓ Branch 0 taken 2400 times.
✓ Branch 1 taken 600 times.
✓ Branch 2 taken 2400 times.
✓ Branch 3 taken 600 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✓ Branch 23 taken 53878 times.
✓ Branch 24 taken 346528 times.
✓ Branch 25 taken 280642748 times.
✓ Branch 26 taken 400406 times.
✓ Branch 27 taken 280642748 times.
✓ Branch 30 taken 49 times.
✓ Branch 31 taken 285905911 times.
✓ Branch 32 taken 49 times.
✓ Branch 33 taken 289801103 times.
✗ Branch 34 not taken.
✓ Branch 35 taken 3895192 times.
✓ Branch 36 taken 10881846 times.
✓ Branch 37 taken 203699602 times.
✓ Branch 38 taken 14584888 times.
✓ Branch 39 taken 276557760 times.
✓ Branch 40 taken 4360418 times.
✓ Branch 41 taken 72868078 times.
✓ Branch 42 taken 669884 times.
✓ Branch 43 taken 10852 times.
✓ Branch 44 taken 181512 times.
✓ Branch 45 taken 5169936 times.
✓ Branch 46 taken 203712 times.
✓ Branch 47 taken 5651224 times.
✓ Branch 48 taken 69908 times.
✓ Branch 49 taken 483020 times.
✓ Branch 50 taken 35200 times.
✓ Branch 51 taken 800 times.
 2874516070 return this->gridGeometry().scvf(eIdx, localScvfIdx);
70 }
71 };
72
73 /*!
74 * \ingroup StaggeredDiscretization
75 * \brief Base class for the finite volume geometry vector for staggered models
76 * This locally builds up the sub control volumes and sub control volume faces
77 * for each element.
78 * Specialization for grid caching disabled
79 * \tparam GG the finite volume grid geometry type
80 */
81 template<class GG>
82 class StaggeredFVElementGeometry<GG, false>
83 {
84 using ThisType = StaggeredFVElementGeometry<GG, false>;
85 using GridView = typename GG::GridView;
86 using GridIndexType = typename IndexTraits<GridView>::GridIndex;
87 using LocalIndexType = typename IndexTraits<GridView>::LocalIndex;
88 public:
89 //! export type of the element
90 using Element = typename GridView::template Codim<0>::Entity;
91 //! export type of subcontrol volume
92 using SubControlVolume = typename GG::SubControlVolume;
93 //! export type of subcontrol volume face
94 using SubControlVolumeFace = typename GG::SubControlVolumeFace;
95 //! export type of finite volume grid geometry
96 using GridGeometry = GG;
97
98 //! Constructor getting a auxiliary cell center of face specific FvGridGeometry type.
99 //! Needed for the multi-domain framework.
100 template<class CellCenterOrFaceFVGridGeometry>
101 StaggeredFVElementGeometry(const CellCenterOrFaceFVGridGeometry& gridGeometry)
102 : gridGeometryPtr_(&gridGeometry.actualGridGeometry()) {}
103
104 //! Constructor
105 StaggeredFVElementGeometry(const GridGeometry& gridGeometry)
106
1701/3834
✓ 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.
✓ Branch 49 taken 1 times.
✗ Branch 50 not taken.
✓ Branch 52 taken 1 times.
✗ Branch 53 not taken.
✓ Branch 55 taken 1 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 1 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 1 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 1 times.
✗ Branch 65 not taken.
✓ Branch 67 taken 1 times.
✗ Branch 68 not taken.
✓ Branch 70 taken 1 times.
✗ Branch 71 not taken.
✓ Branch 73 taken 1 times.
✗ Branch 74 not taken.
✓ Branch 76 taken 1 times.
✗ Branch 77 not taken.
✓ Branch 79 taken 1 times.
✗ Branch 80 not taken.
✓ Branch 82 taken 1 times.
✗ Branch 83 not taken.
✓ Branch 85 taken 1 times.
✗ Branch 86 not taken.
✓ Branch 88 taken 1 times.
✗ Branch 89 not taken.
✓ Branch 91 taken 1 times.
✗ Branch 92 not taken.
✓ Branch 94 taken 1 times.
✗ Branch 95 not taken.
✓ Branch 97 taken 1 times.
✗ Branch 98 not taken.
✓ Branch 100 taken 1 times.
✗ Branch 101 not taken.
✓ Branch 103 taken 1 times.
✗ Branch 104 not taken.
✓ Branch 106 taken 1 times.
✗ Branch 107 not taken.
✓ Branch 109 taken 1 times.
✗ Branch 110 not taken.
✓ Branch 112 taken 1 times.
✗ Branch 113 not taken.
✓ Branch 115 taken 1 times.
✗ Branch 116 not taken.
✓ Branch 118 taken 1 times.
✗ Branch 119 not taken.
✓ Branch 121 taken 1 times.
✗ Branch 122 not taken.
✓ Branch 124 taken 1 times.
✗ Branch 125 not taken.
✓ Branch 127 taken 1 times.
✗ Branch 128 not taken.
✓ Branch 130 taken 1 times.
✗ Branch 131 not taken.
✓ Branch 133 taken 1 times.
✗ Branch 134 not taken.
✓ Branch 136 taken 1 times.
✗ Branch 137 not taken.
✓ Branch 139 taken 1 times.
✗ Branch 140 not taken.
✓ Branch 142 taken 1 times.
✗ Branch 143 not taken.
✓ Branch 145 taken 1 times.
✗ Branch 146 not taken.
✓ Branch 148 taken 1 times.
✗ Branch 149 not taken.
✓ Branch 151 taken 1 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 1 times.
✗ Branch 155 not taken.
✓ Branch 157 taken 1 times.
✗ Branch 158 not taken.
✓ Branch 160 taken 1 times.
✗ Branch 161 not taken.
✓ Branch 163 taken 1 times.
✗ Branch 164 not taken.
✓ Branch 166 taken 1 times.
✗ Branch 167 not taken.
✓ Branch 169 taken 1 times.
✗ Branch 170 not taken.
✓ Branch 172 taken 1 times.
✗ Branch 173 not taken.
✓ Branch 175 taken 1 times.
✗ Branch 176 not taken.
✓ Branch 178 taken 1 times.
✗ Branch 179 not taken.
✓ Branch 181 taken 1 times.
✗ Branch 182 not taken.
✓ Branch 184 taken 1 times.
✗ Branch 185 not taken.
✓ Branch 187 taken 1 times.
✗ Branch 188 not taken.
✓ Branch 190 taken 1 times.
✗ Branch 191 not taken.
✓ Branch 193 taken 1 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 1 times.
✗ Branch 197 not taken.
✓ Branch 199 taken 1 times.
✗ Branch 200 not taken.
✓ Branch 202 taken 1 times.
✗ Branch 203 not taken.
✓ Branch 205 taken 1 times.
✗ Branch 206 not taken.
✓ Branch 208 taken 1 times.
✗ Branch 209 not taken.
✓ Branch 211 taken 1 times.
✗ Branch 212 not taken.
✓ Branch 214 taken 1 times.
✗ Branch 215 not taken.
✓ Branch 217 taken 1 times.
✗ Branch 218 not taken.
✓ Branch 220 taken 1 times.
✗ Branch 221 not taken.
✓ Branch 223 taken 1 times.
✗ Branch 224 not taken.
✓ Branch 226 taken 1 times.
✗ Branch 227 not taken.
✓ Branch 229 taken 1 times.
✗ Branch 230 not taken.
✓ Branch 232 taken 1 times.
✗ Branch 233 not taken.
✓ Branch 235 taken 1 times.
✗ Branch 236 not taken.
✓ Branch 238 taken 1 times.
✗ Branch 239 not taken.
✓ Branch 241 taken 1 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 1 times.
✗ Branch 245 not taken.
✓ Branch 247 taken 1 times.
✗ Branch 248 not taken.
✓ Branch 250 taken 1 times.
✗ Branch 251 not taken.
✓ Branch 253 taken 1 times.
✗ Branch 254 not taken.
✓ Branch 256 taken 1 times.
✗ Branch 257 not taken.
✓ Branch 259 taken 1 times.
✗ Branch 260 not taken.
✓ Branch 262 taken 1 times.
✗ Branch 263 not taken.
✓ Branch 265 taken 1 times.
✗ Branch 266 not taken.
✓ Branch 268 taken 1 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 1 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 1 times.
✗ Branch 275 not taken.
✓ Branch 277 taken 1 times.
✗ Branch 278 not taken.
✓ Branch 280 taken 1 times.
✗ Branch 281 not taken.
✓ Branch 283 taken 1 times.
✗ Branch 284 not taken.
✓ Branch 286 taken 1 times.
✗ Branch 287 not taken.
✓ Branch 289 taken 1 times.
✗ Branch 290 not taken.
✓ Branch 292 taken 1 times.
✗ Branch 293 not taken.
✓ Branch 295 taken 1 times.
✗ Branch 296 not taken.
✓ Branch 298 taken 1 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 1 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 1 times.
✗ Branch 305 not taken.
✓ Branch 307 taken 1 times.
✗ Branch 308 not taken.
✓ Branch 310 taken 1 times.
✗ Branch 311 not taken.
✓ Branch 313 taken 1 times.
✗ Branch 314 not taken.
✓ Branch 316 taken 1 times.
✗ Branch 317 not taken.
✓ Branch 319 taken 1 times.
✗ Branch 320 not taken.
✓ Branch 322 taken 1 times.
✗ Branch 323 not taken.
✓ Branch 325 taken 1 times.
✗ Branch 326 not taken.
✓ Branch 328 taken 1 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 1 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 1 times.
✗ Branch 335 not taken.
✓ Branch 337 taken 1 times.
✗ Branch 338 not taken.
✓ Branch 340 taken 1 times.
✗ Branch 341 not taken.
✓ Branch 343 taken 1 times.
✗ Branch 344 not taken.
✓ Branch 346 taken 1 times.
✗ Branch 347 not taken.
✓ Branch 349 taken 1 times.
✗ Branch 350 not taken.
✓ Branch 352 taken 1 times.
✗ Branch 353 not taken.
✓ Branch 355 taken 1 times.
✗ Branch 356 not taken.
✓ Branch 358 taken 1 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 1 times.
✗ Branch 362 not taken.
✓ Branch 364 taken 1 times.
✗ Branch 365 not taken.
✓ Branch 367 taken 1 times.
✗ Branch 368 not taken.
✓ Branch 370 taken 1 times.
✗ Branch 371 not taken.
✓ Branch 373 taken 1 times.
✗ Branch 374 not taken.
✓ Branch 376 taken 1 times.
✗ Branch 377 not taken.
✓ Branch 379 taken 1 times.
✗ Branch 380 not taken.
✓ Branch 382 taken 1 times.
✗ Branch 383 not taken.
✓ Branch 385 taken 1 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 1 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 1 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 1 times.
✗ Branch 395 not taken.
✓ Branch 397 taken 1 times.
✗ Branch 398 not taken.
✓ Branch 400 taken 1 times.
✗ Branch 401 not taken.
✓ Branch 403 taken 1 times.
✗ Branch 404 not taken.
✓ Branch 406 taken 1 times.
✗ Branch 407 not taken.
✓ Branch 409 taken 1 times.
✗ Branch 410 not taken.
✓ Branch 412 taken 1 times.
✗ Branch 413 not taken.
✓ Branch 415 taken 1 times.
✗ Branch 416 not taken.
✓ Branch 418 taken 1 times.
✗ Branch 419 not taken.
✓ Branch 421 taken 1 times.
✗ Branch 422 not taken.
✓ Branch 424 taken 1 times.
✗ Branch 425 not taken.
✓ Branch 427 taken 1 times.
✗ Branch 428 not taken.
✓ Branch 430 taken 1 times.
✗ Branch 431 not taken.
✓ Branch 433 taken 1 times.
✗ Branch 434 not taken.
✓ Branch 436 taken 1 times.
✗ Branch 437 not taken.
✓ Branch 439 taken 1 times.
✗ Branch 440 not taken.
✓ Branch 442 taken 1 times.
✗ Branch 443 not taken.
✓ Branch 445 taken 1 times.
✗ Branch 446 not taken.
✓ Branch 448 taken 1 times.
✗ Branch 449 not taken.
✓ Branch 451 taken 1 times.
✗ Branch 452 not taken.
✓ Branch 454 taken 1 times.
✗ Branch 455 not taken.
✓ Branch 457 taken 1 times.
✗ Branch 458 not taken.
✓ Branch 460 taken 1 times.
✗ Branch 461 not taken.
✓ Branch 463 taken 1 times.
✗ Branch 464 not taken.
✓ Branch 466 taken 1 times.
✗ Branch 467 not taken.
✓ Branch 469 taken 1 times.
✗ Branch 470 not taken.
✓ Branch 472 taken 1 times.
✗ Branch 473 not taken.
✓ Branch 475 taken 1 times.
✗ Branch 476 not taken.
✓ Branch 478 taken 1 times.
✗ Branch 479 not taken.
✓ Branch 481 taken 1 times.
✗ Branch 482 not taken.
✓ Branch 484 taken 1 times.
✗ Branch 485 not taken.
✓ Branch 487 taken 1 times.
✗ Branch 488 not taken.
✓ Branch 490 taken 1 times.
✗ Branch 491 not taken.
✓ Branch 493 taken 1 times.
✗ Branch 494 not taken.
✓ Branch 496 taken 1 times.
✗ Branch 497 not taken.
✓ Branch 499 taken 1 times.
✗ Branch 500 not taken.
✓ Branch 502 taken 1 times.
✗ Branch 503 not taken.
✓ Branch 505 taken 1 times.
✗ Branch 506 not taken.
✓ Branch 508 taken 1 times.
✗ Branch 509 not taken.
✓ Branch 511 taken 1 times.
✗ Branch 512 not taken.
✓ Branch 514 taken 1 times.
✗ Branch 515 not taken.
✓ Branch 517 taken 1 times.
✗ Branch 518 not taken.
✓ Branch 520 taken 1 times.
✗ Branch 521 not taken.
✓ Branch 523 taken 1 times.
✗ Branch 524 not taken.
✓ Branch 526 taken 1 times.
✗ Branch 527 not taken.
✓ Branch 529 taken 1 times.
✗ Branch 530 not taken.
✓ Branch 532 taken 1 times.
✗ Branch 533 not taken.
✓ Branch 535 taken 1 times.
✗ Branch 536 not taken.
✓ Branch 538 taken 1 times.
✗ Branch 539 not taken.
✓ Branch 541 taken 1 times.
✗ Branch 542 not taken.
✓ Branch 544 taken 1 times.
✗ Branch 545 not taken.
✓ Branch 547 taken 1 times.
✗ Branch 548 not taken.
✓ Branch 550 taken 1 times.
✗ Branch 551 not taken.
✓ Branch 553 taken 1 times.
✗ Branch 554 not taken.
✓ Branch 556 taken 1 times.
✗ Branch 557 not taken.
✓ Branch 559 taken 1 times.
✗ Branch 560 not taken.
✓ Branch 562 taken 1 times.
✗ Branch 563 not taken.
✓ Branch 565 taken 1 times.
✗ Branch 566 not taken.
✓ Branch 568 taken 1 times.
✗ Branch 569 not taken.
✓ Branch 571 taken 1 times.
✗ Branch 572 not taken.
✓ Branch 574 taken 1 times.
✗ Branch 575 not taken.
✓ Branch 577 taken 1 times.
✗ Branch 578 not taken.
✓ Branch 580 taken 1 times.
✗ Branch 581 not taken.
✓ Branch 583 taken 1 times.
✗ Branch 584 not taken.
✓ Branch 586 taken 1 times.
✗ Branch 587 not taken.
✓ Branch 589 taken 1 times.
✗ Branch 590 not taken.
✓ Branch 592 taken 1 times.
✗ Branch 593 not taken.
✓ Branch 595 taken 1 times.
✗ Branch 596 not taken.
✓ Branch 598 taken 1 times.
✗ Branch 599 not taken.
✓ Branch 601 taken 1 times.
✗ Branch 602 not taken.
✓ Branch 604 taken 1 times.
✗ Branch 605 not taken.
✓ Branch 607 taken 1 times.
✗ Branch 608 not taken.
✓ Branch 610 taken 1 times.
✗ Branch 611 not taken.
✓ Branch 613 taken 1 times.
✗ Branch 614 not taken.
✓ Branch 616 taken 1 times.
✗ Branch 617 not taken.
✓ Branch 619 taken 1 times.
✗ Branch 620 not taken.
✓ Branch 622 taken 1 times.
✗ Branch 623 not taken.
✓ Branch 625 taken 1 times.
✗ Branch 626 not taken.
✓ Branch 628 taken 1 times.
✗ Branch 629 not taken.
✓ Branch 631 taken 1 times.
✗ Branch 632 not taken.
✓ Branch 634 taken 1 times.
✗ Branch 635 not taken.
✓ Branch 637 taken 1 times.
✗ Branch 638 not taken.
✓ Branch 640 taken 1 times.
✗ Branch 641 not taken.
✓ Branch 643 taken 1 times.
✗ Branch 644 not taken.
✓ Branch 646 taken 1 times.
✗ Branch 647 not taken.
✓ Branch 649 taken 1 times.
✗ Branch 650 not taken.
✓ Branch 652 taken 1 times.
✗ Branch 653 not taken.
✓ Branch 655 taken 1 times.
✗ Branch 656 not taken.
✓ Branch 658 taken 1 times.
✗ Branch 659 not taken.
✓ Branch 661 taken 1 times.
✗ Branch 662 not taken.
✓ Branch 664 taken 1 times.
✗ Branch 665 not taken.
✓ Branch 667 taken 1 times.
✗ Branch 668 not taken.
✓ Branch 670 taken 1 times.
✗ Branch 671 not taken.
✓ Branch 673 taken 1 times.
✗ Branch 674 not taken.
✓ Branch 676 taken 1 times.
✗ Branch 677 not taken.
✓ Branch 679 taken 1 times.
✗ Branch 680 not taken.
✓ Branch 682 taken 1 times.
✗ Branch 683 not taken.
✓ Branch 685 taken 1 times.
✗ Branch 686 not taken.
✓ Branch 688 taken 1 times.
✗ Branch 689 not taken.
✓ Branch 691 taken 1 times.
✗ Branch 692 not taken.
✓ Branch 694 taken 1 times.
✗ Branch 695 not taken.
✓ Branch 697 taken 1 times.
✗ Branch 698 not taken.
✓ Branch 700 taken 1 times.
✗ Branch 701 not taken.
✓ Branch 703 taken 1 times.
✗ Branch 704 not taken.
✓ Branch 706 taken 1 times.
✗ Branch 707 not taken.
✓ Branch 709 taken 1 times.
✗ Branch 710 not taken.
✓ Branch 712 taken 1 times.
✗ Branch 713 not taken.
✓ Branch 715 taken 1 times.
✗ Branch 716 not taken.
✓ Branch 718 taken 1 times.
✗ Branch 719 not taken.
✓ Branch 721 taken 1 times.
✗ Branch 722 not taken.
✓ Branch 724 taken 1 times.
✗ Branch 725 not taken.
✓ Branch 727 taken 1 times.
✗ Branch 728 not taken.
✓ Branch 730 taken 1 times.
✗ Branch 731 not taken.
✓ Branch 733 taken 1 times.
✗ Branch 734 not taken.
✓ Branch 736 taken 1 times.
✗ Branch 737 not taken.
✓ Branch 739 taken 1 times.
✗ Branch 740 not taken.
✓ Branch 742 taken 1 times.
✗ Branch 743 not taken.
✓ Branch 745 taken 1 times.
✗ Branch 746 not taken.
✓ Branch 748 taken 1 times.
✗ Branch 749 not taken.
✓ Branch 751 taken 1 times.
✗ Branch 752 not taken.
✓ Branch 754 taken 1 times.
✗ Branch 755 not taken.
✓ Branch 757 taken 1 times.
✗ Branch 758 not taken.
✓ Branch 760 taken 1 times.
✗ Branch 761 not taken.
✓ Branch 763 taken 1 times.
✗ Branch 764 not taken.
✓ Branch 766 taken 1 times.
✗ Branch 767 not taken.
✓ Branch 769 taken 1 times.
✗ Branch 770 not taken.
✓ Branch 772 taken 1 times.
✗ Branch 773 not taken.
✓ Branch 775 taken 1 times.
✗ Branch 776 not taken.
✓ Branch 778 taken 1 times.
✗ Branch 779 not taken.
✓ Branch 781 taken 1 times.
✗ Branch 782 not taken.
✓ Branch 784 taken 1 times.
✗ Branch 785 not taken.
✓ Branch 787 taken 1 times.
✗ Branch 788 not taken.
✓ Branch 790 taken 1 times.
✗ Branch 791 not taken.
✓ Branch 793 taken 1 times.
✗ Branch 794 not taken.
✓ Branch 796 taken 1 times.
✗ Branch 797 not taken.
✓ Branch 799 taken 1 times.
✗ Branch 800 not taken.
✓ Branch 802 taken 1 times.
✗ Branch 803 not taken.
✓ Branch 805 taken 1 times.
✗ Branch 806 not taken.
✓ Branch 808 taken 1 times.
✗ Branch 809 not taken.
✓ Branch 811 taken 1 times.
✗ Branch 812 not taken.
✓ Branch 814 taken 1 times.
✗ Branch 815 not taken.
✓ Branch 817 taken 1 times.
✗ Branch 818 not taken.
✓ Branch 820 taken 1 times.
✗ Branch 821 not taken.
✓ Branch 823 taken 1 times.
✗ Branch 824 not taken.
✓ Branch 826 taken 1 times.
✗ Branch 827 not taken.
✓ Branch 829 taken 1 times.
✗ Branch 830 not taken.
✓ Branch 832 taken 1 times.
✗ Branch 833 not taken.
✓ Branch 835 taken 1 times.
✗ Branch 836 not taken.
✓ Branch 838 taken 1 times.
✗ Branch 839 not taken.
✓ Branch 841 taken 1 times.
✗ Branch 842 not taken.
✓ Branch 844 taken 1 times.
✗ Branch 845 not taken.
✓ Branch 847 taken 1 times.
✗ Branch 848 not taken.
✓ Branch 850 taken 1 times.
✗ Branch 851 not taken.
✓ Branch 853 taken 1 times.
✗ Branch 854 not taken.
✓ Branch 856 taken 1 times.
✗ Branch 857 not taken.
✓ Branch 859 taken 1 times.
✗ Branch 860 not taken.
✓ Branch 862 taken 1 times.
✗ Branch 863 not taken.
✓ Branch 865 taken 1 times.
✗ Branch 866 not taken.
✓ Branch 868 taken 1 times.
✗ Branch 869 not taken.
✓ Branch 871 taken 1 times.
✗ Branch 872 not taken.
✓ Branch 874 taken 1 times.
✗ Branch 875 not taken.
✓ Branch 877 taken 1 times.
✗ Branch 878 not taken.
✓ Branch 880 taken 1 times.
✗ Branch 881 not taken.
✓ Branch 883 taken 1 times.
✗ Branch 884 not taken.
✓ Branch 886 taken 1 times.
✗ Branch 887 not taken.
✓ Branch 889 taken 1 times.
✗ Branch 890 not taken.
✓ Branch 892 taken 1 times.
✗ Branch 893 not taken.
✓ Branch 895 taken 1 times.
✗ Branch 896 not taken.
✓ Branch 898 taken 1 times.
✗ Branch 899 not taken.
✓ Branch 901 taken 1 times.
✗ Branch 902 not taken.
✓ Branch 904 taken 1 times.
✗ Branch 905 not taken.
✓ Branch 907 taken 1 times.
✗ Branch 908 not taken.
✓ Branch 910 taken 1 times.
✗ Branch 911 not taken.
✓ Branch 913 taken 1 times.
✗ Branch 914 not taken.
✓ Branch 916 taken 1 times.
✗ Branch 917 not taken.
✓ Branch 919 taken 1 times.
✗ Branch 920 not taken.
✓ Branch 922 taken 1 times.
✗ Branch 923 not taken.
✓ Branch 925 taken 1 times.
✗ Branch 926 not taken.
✓ Branch 928 taken 1 times.
✗ Branch 929 not taken.
✓ Branch 931 taken 1 times.
✗ Branch 932 not taken.
✓ Branch 934 taken 1 times.
✗ Branch 935 not taken.
✓ Branch 937 taken 1 times.
✗ Branch 938 not taken.
✓ Branch 940 taken 1 times.
✗ Branch 941 not taken.
✓ Branch 943 taken 1 times.
✗ Branch 944 not taken.
✓ Branch 946 taken 1 times.
✗ Branch 947 not taken.
✓ Branch 949 taken 1 times.
✗ Branch 950 not taken.
✓ Branch 952 taken 1 times.
✗ Branch 953 not taken.
✓ Branch 955 taken 1 times.
✗ Branch 956 not taken.
✓ Branch 958 taken 1 times.
✗ Branch 959 not taken.
✓ Branch 961 taken 1 times.
✗ Branch 962 not taken.
✓ Branch 964 taken 1 times.
✗ Branch 965 not taken.
✓ Branch 967 taken 1 times.
✗ Branch 968 not taken.
✓ Branch 970 taken 1 times.
✗ Branch 971 not taken.
✓ Branch 973 taken 1 times.
✗ Branch 974 not taken.
✓ Branch 976 taken 1 times.
✗ Branch 977 not taken.
✓ Branch 979 taken 1 times.
✗ Branch 980 not taken.
✓ Branch 982 taken 1 times.
✗ Branch 983 not taken.
✓ Branch 985 taken 1 times.
✗ Branch 986 not taken.
✓ Branch 988 taken 1 times.
✗ Branch 989 not taken.
✓ Branch 991 taken 1 times.
✗ Branch 992 not taken.
✓ Branch 994 taken 1 times.
✗ Branch 995 not taken.
✓ Branch 997 taken 1 times.
✗ Branch 998 not taken.
✓ Branch 1000 taken 1 times.
✗ Branch 1001 not taken.
✓ Branch 1003 taken 1 times.
✗ Branch 1004 not taken.
✓ Branch 1006 taken 1 times.
✗ Branch 1007 not taken.
✓ Branch 1009 taken 1 times.
✗ Branch 1010 not taken.
✓ Branch 1012 taken 1 times.
✗ Branch 1013 not taken.
✓ Branch 1015 taken 1 times.
✗ Branch 1016 not taken.
✓ Branch 1018 taken 1 times.
✗ Branch 1019 not taken.
✓ Branch 1021 taken 1 times.
✗ Branch 1022 not taken.
✓ Branch 1024 taken 1 times.
✗ Branch 1025 not taken.
✓ Branch 1027 taken 1 times.
✗ Branch 1028 not taken.
✓ Branch 1030 taken 1 times.
✗ Branch 1031 not taken.
✓ Branch 1033 taken 1 times.
✗ Branch 1034 not taken.
✓ Branch 1036 taken 1 times.
✗ Branch 1037 not taken.
✓ Branch 1039 taken 1 times.
✗ Branch 1040 not taken.
✓ Branch 1042 taken 1 times.
✗ Branch 1043 not taken.
✓ Branch 1045 taken 1 times.
✗ Branch 1046 not taken.
✓ Branch 1048 taken 1 times.
✗ Branch 1049 not taken.
✓ Branch 1051 taken 1 times.
✗ Branch 1052 not taken.
✓ Branch 1054 taken 1 times.
✗ Branch 1055 not taken.
✓ Branch 1057 taken 1 times.
✗ Branch 1058 not taken.
✓ Branch 1060 taken 1 times.
✗ Branch 1061 not taken.
✓ Branch 1063 taken 1 times.
✗ Branch 1064 not taken.
✓ Branch 1066 taken 1 times.
✗ Branch 1067 not taken.
✓ Branch 1069 taken 1 times.
✗ Branch 1070 not taken.
✓ Branch 1072 taken 1 times.
✗ Branch 1073 not taken.
✓ Branch 1075 taken 1 times.
✗ Branch 1076 not taken.
✓ Branch 1078 taken 1 times.
✗ Branch 1079 not taken.
✓ Branch 1081 taken 1 times.
✗ Branch 1082 not taken.
✓ Branch 1084 taken 1 times.
✗ Branch 1085 not taken.
✓ Branch 1087 taken 1 times.
✗ Branch 1088 not taken.
✓ Branch 1090 taken 1 times.
✗ Branch 1091 not taken.
✓ Branch 1093 taken 1 times.
✗ Branch 1094 not taken.
✓ Branch 1096 taken 1 times.
✗ Branch 1097 not taken.
✓ Branch 1099 taken 1 times.
✗ Branch 1100 not taken.
✓ Branch 1102 taken 1 times.
✗ Branch 1103 not taken.
✓ Branch 1105 taken 1 times.
✗ Branch 1106 not taken.
✓ Branch 1108 taken 1 times.
✗ Branch 1109 not taken.
✓ Branch 1111 taken 1 times.
✗ Branch 1112 not taken.
✓ Branch 1114 taken 1 times.
✗ Branch 1115 not taken.
✓ Branch 1117 taken 1 times.
✗ Branch 1118 not taken.
✓ Branch 1120 taken 1 times.
✗ Branch 1121 not taken.
✓ Branch 1123 taken 1 times.
✗ Branch 1124 not taken.
✓ Branch 1126 taken 1 times.
✗ Branch 1127 not taken.
✓ Branch 1129 taken 1 times.
✗ Branch 1130 not taken.
✓ Branch 1132 taken 1 times.
✗ Branch 1133 not taken.
✓ Branch 1135 taken 1 times.
✗ Branch 1136 not taken.
✓ Branch 1138 taken 1 times.
✗ Branch 1139 not taken.
✓ Branch 1141 taken 1 times.
✗ Branch 1142 not taken.
✓ Branch 1144 taken 1 times.
✗ Branch 1145 not taken.
✓ Branch 1147 taken 1 times.
✗ Branch 1148 not taken.
✓ Branch 1150 taken 1 times.
✗ Branch 1151 not taken.
✓ Branch 1153 taken 1 times.
✗ Branch 1154 not taken.
✓ Branch 1156 taken 1 times.
✗ Branch 1157 not taken.
✓ Branch 1159 taken 1 times.
✗ Branch 1160 not taken.
✓ Branch 1162 taken 1 times.
✗ Branch 1163 not taken.
✓ Branch 1165 taken 1 times.
✗ Branch 1166 not taken.
✓ Branch 1168 taken 1 times.
✗ Branch 1169 not taken.
✓ Branch 1171 taken 1 times.
✗ Branch 1172 not taken.
✓ Branch 1174 taken 1 times.
✗ Branch 1175 not taken.
✓ Branch 1177 taken 1 times.
✗ Branch 1178 not taken.
✓ Branch 1180 taken 1 times.
✗ Branch 1181 not taken.
✓ Branch 1183 taken 1 times.
✗ Branch 1184 not taken.
✓ Branch 1186 taken 1 times.
✗ Branch 1187 not taken.
✓ Branch 1189 taken 1 times.
✗ Branch 1190 not taken.
✓ Branch 1192 taken 1 times.
✗ Branch 1193 not taken.
✓ Branch 1195 taken 1 times.
✗ Branch 1196 not taken.
✓ Branch 1198 taken 1 times.
✗ Branch 1199 not taken.
✓ Branch 1201 taken 1 times.
✗ Branch 1202 not taken.
✓ Branch 1204 taken 1 times.
✗ Branch 1205 not taken.
✓ Branch 1207 taken 1 times.
✗ Branch 1208 not taken.
✓ Branch 1210 taken 1 times.
✗ Branch 1211 not taken.
✓ Branch 1213 taken 1 times.
✗ Branch 1214 not taken.
✗ Branch 1216 not taken.
✗ Branch 1217 not taken.
✗ Branch 1219 not taken.
✗ Branch 1220 not taken.
✗ Branch 1222 not taken.
✗ Branch 1223 not taken.
✗ Branch 1225 not taken.
✗ Branch 1226 not taken.
✗ Branch 1228 not taken.
✗ Branch 1229 not taken.
✗ Branch 1231 not taken.
✗ Branch 1232 not taken.
✗ Branch 1234 not taken.
✗ Branch 1235 not taken.
✗ Branch 1237 not taken.
✗ Branch 1238 not taken.
✗ Branch 1240 not taken.
✗ Branch 1241 not taken.
✗ Branch 1243 not taken.
✗ Branch 1244 not taken.
✗ Branch 1246 not taken.
✗ Branch 1247 not taken.
✗ Branch 1249 not taken.
✗ Branch 1250 not taken.
✗ Branch 1252 not taken.
✗ Branch 1253 not taken.
✗ Branch 1255 not taken.
✗ Branch 1256 not taken.
✗ Branch 1258 not taken.
✗ Branch 1259 not taken.
✗ Branch 1261 not taken.
✗ Branch 1262 not taken.
✗ Branch 1264 not taken.
✗ Branch 1265 not taken.
✗ Branch 1267 not taken.
✗ Branch 1268 not taken.
✗ Branch 1270 not taken.
✗ Branch 1271 not taken.
✗ Branch 1273 not taken.
✗ Branch 1274 not taken.
✗ Branch 1276 not taken.
✗ Branch 1277 not taken.
✗ Branch 1279 not taken.
✗ Branch 1280 not taken.
✗ Branch 1282 not taken.
✗ Branch 1283 not taken.
✗ Branch 1285 not taken.
✗ Branch 1286 not taken.
✗ Branch 1288 not taken.
✗ Branch 1289 not taken.
✗ Branch 1291 not taken.
✗ Branch 1292 not taken.
✗ Branch 1294 not taken.
✗ Branch 1295 not taken.
✗ Branch 1297 not taken.
✗ Branch 1298 not taken.
✗ Branch 1300 not taken.
✗ Branch 1301 not taken.
✗ Branch 1303 not taken.
✗ Branch 1304 not taken.
✗ Branch 1306 not taken.
✗ Branch 1307 not taken.
✗ Branch 1309 not taken.
✗ Branch 1310 not taken.
✗ Branch 1312 not taken.
✗ Branch 1313 not taken.
✗ Branch 1315 not taken.
✗ Branch 1316 not taken.
✗ Branch 1318 not taken.
✗ Branch 1319 not taken.
✗ Branch 1321 not taken.
✗ Branch 1322 not taken.
✗ Branch 1324 not taken.
✗ Branch 1325 not taken.
✗ Branch 1327 not taken.
✗ Branch 1328 not taken.
✗ Branch 1330 not taken.
✗ Branch 1331 not taken.
✗ Branch 1333 not taken.
✗ Branch 1334 not taken.
✗ Branch 1336 not taken.
✗ Branch 1337 not taken.
✗ Branch 1339 not taken.
✗ Branch 1340 not taken.
✗ Branch 1342 not taken.
✗ Branch 1343 not taken.
✗ Branch 1345 not taken.
✗ Branch 1346 not taken.
✗ Branch 1348 not taken.
✗ Branch 1349 not taken.
✗ Branch 1351 not taken.
✗ Branch 1352 not taken.
✗ Branch 1354 not taken.
✗ Branch 1355 not taken.
✗ Branch 1357 not taken.
✗ Branch 1358 not taken.
✗ Branch 1360 not taken.
✗ Branch 1361 not taken.
✗ Branch 1363 not taken.
✗ Branch 1364 not taken.
✗ Branch 1366 not taken.
✗ Branch 1367 not taken.
✗ Branch 1369 not taken.
✗ Branch 1370 not taken.
✗ Branch 1372 not taken.
✗ Branch 1373 not taken.
✗ Branch 1375 not taken.
✗ Branch 1376 not taken.
✗ Branch 1378 not taken.
✗ Branch 1379 not taken.
✗ Branch 1381 not taken.
✗ Branch 1382 not taken.
✗ Branch 1384 not taken.
✗ Branch 1385 not taken.
✗ Branch 1387 not taken.
✗ Branch 1388 not taken.
✗ Branch 1390 not taken.
✗ Branch 1391 not taken.
✗ Branch 1393 not taken.
✗ Branch 1394 not taken.
✗ Branch 1396 not taken.
✗ Branch 1397 not taken.
✗ Branch 1399 not taken.
✗ Branch 1400 not taken.
✗ Branch 1402 not taken.
✗ Branch 1403 not taken.
✗ Branch 1405 not taken.
✗ Branch 1406 not taken.
✗ Branch 1408 not taken.
✗ Branch 1409 not taken.
✗ Branch 1411 not taken.
✗ Branch 1412 not taken.
✗ Branch 1414 not taken.
✗ Branch 1415 not taken.
✗ Branch 1417 not taken.
✗ Branch 1418 not taken.
✗ Branch 1420 not taken.
✗ Branch 1421 not taken.
✗ Branch 1423 not taken.
✗ Branch 1424 not taken.
✗ Branch 1426 not taken.
✗ Branch 1427 not taken.
✗ Branch 1429 not taken.
✗ Branch 1430 not taken.
✗ Branch 1432 not taken.
✗ Branch 1433 not taken.
✗ Branch 1435 not taken.
✗ Branch 1436 not taken.
✗ Branch 1438 not taken.
✗ Branch 1439 not taken.
✗ Branch 1441 not taken.
✗ Branch 1442 not taken.
✗ Branch 1444 not taken.
✗ Branch 1445 not taken.
✗ Branch 1447 not taken.
✗ Branch 1448 not taken.
✗ Branch 1450 not taken.
✗ Branch 1451 not taken.
✗ Branch 1453 not taken.
✗ Branch 1454 not taken.
✗ Branch 1456 not taken.
✗ Branch 1457 not taken.
✗ Branch 1459 not taken.
✗ Branch 1460 not taken.
✗ Branch 1462 not taken.
✗ Branch 1463 not taken.
✗ Branch 1465 not taken.
✗ Branch 1466 not taken.
✗ Branch 1468 not taken.
✗ Branch 1469 not taken.
✗ Branch 1471 not taken.
✗ Branch 1472 not taken.
✗ Branch 1474 not taken.
✗ Branch 1475 not taken.
✗ Branch 1477 not taken.
✗ Branch 1478 not taken.
✗ Branch 1480 not taken.
✗ Branch 1481 not taken.
✗ Branch 1483 not taken.
✗ Branch 1484 not taken.
✗ Branch 1486 not taken.
✗ Branch 1487 not taken.
✗ Branch 1489 not taken.
✗ Branch 1490 not taken.
✗ Branch 1492 not taken.
✗ Branch 1493 not taken.
✗ Branch 1495 not taken.
✗ Branch 1496 not taken.
✗ Branch 1498 not taken.
✗ Branch 1499 not taken.
✗ Branch 1501 not taken.
✗ Branch 1502 not taken.
✗ Branch 1504 not taken.
✗ Branch 1505 not taken.
✗ Branch 1507 not taken.
✗ Branch 1508 not taken.
✗ Branch 1510 not taken.
✗ Branch 1511 not taken.
✗ Branch 1513 not taken.
✗ Branch 1514 not taken.
✗ Branch 1516 not taken.
✗ Branch 1517 not taken.
✗ Branch 1519 not taken.
✗ Branch 1520 not taken.
✗ Branch 1522 not taken.
✗ Branch 1523 not taken.
✗ Branch 1525 not taken.
✗ Branch 1526 not taken.
✗ Branch 1528 not taken.
✗ Branch 1529 not taken.
✗ Branch 1531 not taken.
✗ Branch 1532 not taken.
✗ Branch 1534 not taken.
✗ Branch 1535 not taken.
✗ Branch 1537 not taken.
✗ Branch 1538 not taken.
✓ Branch 1540 taken 1 times.
✗ Branch 1541 not taken.
✓ Branch 1543 taken 1 times.
✗ Branch 1544 not taken.
✓ Branch 1546 taken 1 times.
✗ Branch 1547 not taken.
✓ Branch 1549 taken 1 times.
✗ Branch 1550 not taken.
✓ Branch 1552 taken 1 times.
✗ Branch 1553 not taken.
✓ Branch 1555 taken 1 times.
✗ Branch 1556 not taken.
✓ Branch 1558 taken 1 times.
✗ Branch 1559 not taken.
✓ Branch 1561 taken 1 times.
✗ Branch 1562 not taken.
✓ Branch 1564 taken 1 times.
✗ Branch 1565 not taken.
✓ Branch 1567 taken 1 times.
✗ Branch 1568 not taken.
✓ Branch 1570 taken 1 times.
✗ Branch 1571 not taken.
✓ Branch 1573 taken 1 times.
✗ Branch 1574 not taken.
✓ Branch 1576 taken 1 times.
✗ Branch 1577 not taken.
✓ Branch 1579 taken 1 times.
✗ Branch 1580 not taken.
✓ Branch 1582 taken 1 times.
✗ Branch 1583 not taken.
✓ Branch 1585 taken 1 times.
✗ Branch 1586 not taken.
✓ Branch 1588 taken 1 times.
✗ Branch 1589 not taken.
✓ Branch 1591 taken 1 times.
✗ Branch 1592 not taken.
✓ Branch 1594 taken 1 times.
✗ Branch 1595 not taken.
✓ Branch 1597 taken 1 times.
✗ Branch 1598 not taken.
✓ Branch 1600 taken 1 times.
✗ Branch 1601 not taken.
✓ Branch 1603 taken 1 times.
✗ Branch 1604 not taken.
✓ Branch 1606 taken 1 times.
✗ Branch 1607 not taken.
✓ Branch 1609 taken 1 times.
✗ Branch 1610 not taken.
✓ Branch 1612 taken 1 times.
✗ Branch 1613 not taken.
✓ Branch 1615 taken 1 times.
✗ Branch 1616 not taken.
✓ Branch 1618 taken 1 times.
✗ Branch 1619 not taken.
✓ Branch 1621 taken 1 times.
✗ Branch 1622 not taken.
✓ Branch 1624 taken 1 times.
✗ Branch 1625 not taken.
✓ Branch 1627 taken 1 times.
✗ Branch 1628 not taken.
✓ Branch 1630 taken 1 times.
✗ Branch 1631 not taken.
✓ Branch 1633 taken 1 times.
✗ Branch 1634 not taken.
✓ Branch 1636 taken 1 times.
✗ Branch 1637 not taken.
✓ Branch 1639 taken 1 times.
✗ Branch 1640 not taken.
✓ Branch 1642 taken 1 times.
✗ Branch 1643 not taken.
✓ Branch 1645 taken 1 times.
✗ Branch 1646 not taken.
✓ Branch 1648 taken 1 times.
✗ Branch 1649 not taken.
✓ Branch 1651 taken 1 times.
✗ Branch 1652 not taken.
✓ Branch 1654 taken 1 times.
✗ Branch 1655 not taken.
✓ Branch 1657 taken 1 times.
✗ Branch 1658 not taken.
✓ Branch 1660 taken 1 times.
✗ Branch 1661 not taken.
✓ Branch 1663 taken 1 times.
✗ Branch 1664 not taken.
✓ Branch 1666 taken 1 times.
✗ Branch 1667 not taken.
✓ Branch 1669 taken 1 times.
✗ Branch 1670 not taken.
✓ Branch 1672 taken 1 times.
✗ Branch 1673 not taken.
✓ Branch 1675 taken 1 times.
✗ Branch 1676 not taken.
✓ Branch 1678 taken 1 times.
✗ Branch 1679 not taken.
✓ Branch 1681 taken 1 times.
✗ Branch 1682 not taken.
✓ Branch 1684 taken 1 times.
✗ Branch 1685 not taken.
✓ Branch 1687 taken 1 times.
✗ Branch 1688 not taken.
✓ Branch 1690 taken 1 times.
✗ Branch 1691 not taken.
✓ Branch 1693 taken 1 times.
✗ Branch 1694 not taken.
✓ Branch 1696 taken 1 times.
✗ Branch 1697 not taken.
✓ Branch 1699 taken 1 times.
✗ Branch 1700 not taken.
✓ Branch 1702 taken 1 times.
✗ Branch 1703 not taken.
✓ Branch 1705 taken 1 times.
✗ Branch 1706 not taken.
✓ Branch 1708 taken 1 times.
✗ Branch 1709 not taken.
✓ Branch 1711 taken 1 times.
✗ Branch 1712 not taken.
✓ Branch 1714 taken 1 times.
✗ Branch 1715 not taken.
✓ Branch 1717 taken 1 times.
✗ Branch 1718 not taken.
✓ Branch 1720 taken 1 times.
✗ Branch 1721 not taken.
✓ Branch 1723 taken 1 times.
✗ Branch 1724 not taken.
✓ Branch 1726 taken 1 times.
✗ Branch 1727 not taken.
✓ Branch 1729 taken 1 times.
✗ Branch 1730 not taken.
✓ Branch 1732 taken 1 times.
✗ Branch 1733 not taken.
✓ Branch 1735 taken 1 times.
✗ Branch 1736 not taken.
✓ Branch 1738 taken 1 times.
✗ Branch 1739 not taken.
✓ Branch 1741 taken 1 times.
✗ Branch 1742 not taken.
✓ Branch 1744 taken 1 times.
✗ Branch 1745 not taken.
✓ Branch 1747 taken 1 times.
✗ Branch 1748 not taken.
✓ Branch 1750 taken 1 times.
✗ Branch 1751 not taken.
✓ Branch 1753 taken 1 times.
✗ Branch 1754 not taken.
✓ Branch 1756 taken 1 times.
✗ Branch 1757 not taken.
✓ Branch 1759 taken 1 times.
✗ Branch 1760 not taken.
✓ Branch 1762 taken 1 times.
✗ Branch 1763 not taken.
✓ Branch 1765 taken 1 times.
✗ Branch 1766 not taken.
✓ Branch 1768 taken 1 times.
✗ Branch 1769 not taken.
✓ Branch 1771 taken 1 times.
✗ Branch 1772 not taken.
✓ Branch 1774 taken 1 times.
✗ Branch 1775 not taken.
✓ Branch 1777 taken 1 times.
✗ Branch 1778 not taken.
✓ Branch 1780 taken 1 times.
✗ Branch 1781 not taken.
✓ Branch 1783 taken 1 times.
✗ Branch 1784 not taken.
✓ Branch 1786 taken 1 times.
✗ Branch 1787 not taken.
✓ Branch 1789 taken 1 times.
✗ Branch 1790 not taken.
✓ Branch 1792 taken 1 times.
✗ Branch 1793 not taken.
✓ Branch 1795 taken 1 times.
✗ Branch 1796 not taken.
✓ Branch 1798 taken 1 times.
✗ Branch 1799 not taken.
✓ Branch 1801 taken 1 times.
✗ Branch 1802 not taken.
✓ Branch 1804 taken 1 times.
✗ Branch 1805 not taken.
✓ Branch 1807 taken 1 times.
✗ Branch 1808 not taken.
✓ Branch 1810 taken 1 times.
✗ Branch 1811 not taken.
✓ Branch 1813 taken 1 times.
✗ Branch 1814 not taken.
✓ Branch 1816 taken 1 times.
✗ Branch 1817 not taken.
✓ Branch 1819 taken 1 times.
✗ Branch 1820 not taken.
✓ Branch 1822 taken 1 times.
✗ Branch 1823 not taken.
✓ Branch 1825 taken 1 times.
✗ Branch 1826 not taken.
✓ Branch 1828 taken 1 times.
✗ Branch 1829 not taken.
✓ Branch 1831 taken 1 times.
✗ Branch 1832 not taken.
✓ Branch 1834 taken 1 times.
✗ Branch 1835 not taken.
✓ Branch 1837 taken 1 times.
✗ Branch 1838 not taken.
✓ Branch 1840 taken 1 times.
✗ Branch 1841 not taken.
✓ Branch 1843 taken 1 times.
✗ Branch 1844 not taken.
✓ Branch 1846 taken 1 times.
✗ Branch 1847 not taken.
✓ Branch 1849 taken 1 times.
✗ Branch 1850 not taken.
✓ Branch 1852 taken 1 times.
✗ Branch 1853 not taken.
✓ Branch 1855 taken 1 times.
✗ Branch 1856 not taken.
✓ Branch 1858 taken 1 times.
✗ Branch 1859 not taken.
✓ Branch 1861 taken 1 times.
✗ Branch 1862 not taken.
✓ Branch 1864 taken 1 times.
✗ Branch 1865 not taken.
✓ Branch 1867 taken 1 times.
✗ Branch 1868 not taken.
✓ Branch 1870 taken 1 times.
✗ Branch 1871 not taken.
✓ Branch 1873 taken 1 times.
✗ Branch 1874 not taken.
✓ Branch 1876 taken 1 times.
✗ Branch 1877 not taken.
✓ Branch 1879 taken 1 times.
✗ Branch 1880 not taken.
✓ Branch 1882 taken 1 times.
✗ Branch 1883 not taken.
✓ Branch 1885 taken 1 times.
✗ Branch 1886 not taken.
✓ Branch 1888 taken 1 times.
✗ Branch 1889 not taken.
✓ Branch 1891 taken 1 times.
✗ Branch 1892 not taken.
✓ Branch 1894 taken 1 times.
✗ Branch 1895 not taken.
✓ Branch 1897 taken 1 times.
✗ Branch 1898 not taken.
✓ Branch 1900 taken 1 times.
✗ Branch 1901 not taken.
✓ Branch 1903 taken 1 times.
✗ Branch 1904 not taken.
✓ Branch 1906 taken 1 times.
✗ Branch 1907 not taken.
✓ Branch 1909 taken 1 times.
✗ Branch 1910 not taken.
✓ Branch 1912 taken 1 times.
✗ Branch 1913 not taken.
✓ Branch 1915 taken 1 times.
✗ Branch 1916 not taken.
✓ Branch 1918 taken 1 times.
✗ Branch 1919 not taken.
✓ Branch 1921 taken 1 times.
✗ Branch 1922 not taken.
✓ Branch 1924 taken 1 times.
✗ Branch 1925 not taken.
✓ Branch 1927 taken 1 times.
✗ Branch 1928 not taken.
✓ Branch 1930 taken 1 times.
✗ Branch 1931 not taken.
✓ Branch 1933 taken 1 times.
✗ Branch 1934 not taken.
✓ Branch 1936 taken 1 times.
✗ Branch 1937 not taken.
✓ Branch 1939 taken 1 times.
✗ Branch 1940 not taken.
✓ Branch 1942 taken 1 times.
✗ Branch 1943 not taken.
✓ Branch 1945 taken 1 times.
✗ Branch 1946 not taken.
✓ Branch 1948 taken 1 times.
✗ Branch 1949 not taken.
✓ Branch 1951 taken 1 times.
✗ Branch 1952 not taken.
✓ Branch 1954 taken 1 times.
✗ Branch 1955 not taken.
✓ Branch 1957 taken 1 times.
✗ Branch 1958 not taken.
✓ Branch 1960 taken 1 times.
✗ Branch 1961 not taken.
✓ Branch 1963 taken 1 times.
✗ Branch 1964 not taken.
✓ Branch 1966 taken 1 times.
✗ Branch 1967 not taken.
✓ Branch 1969 taken 1 times.
✗ Branch 1970 not taken.
✓ Branch 1972 taken 1 times.
✗ Branch 1973 not taken.
✓ Branch 1975 taken 1 times.
✗ Branch 1976 not taken.
✓ Branch 1978 taken 1 times.
✗ Branch 1979 not taken.
✓ Branch 1981 taken 1 times.
✗ Branch 1982 not taken.
✓ Branch 1984 taken 1 times.
✗ Branch 1985 not taken.
✓ Branch 1987 taken 1 times.
✗ Branch 1988 not taken.
✓ Branch 1990 taken 1 times.
✗ Branch 1991 not taken.
✓ Branch 1993 taken 1 times.
✗ Branch 1994 not taken.
✓ Branch 1996 taken 1 times.
✗ Branch 1997 not taken.
✓ Branch 1999 taken 1 times.
✗ Branch 2000 not taken.
✓ Branch 2002 taken 1 times.
✗ Branch 2003 not taken.
✓ Branch 2005 taken 1 times.
✗ Branch 2006 not taken.
✓ Branch 2008 taken 1 times.
✗ Branch 2009 not taken.
✓ Branch 2011 taken 1 times.
✗ Branch 2012 not taken.
✓ Branch 2014 taken 1 times.
✗ Branch 2015 not taken.
✓ Branch 2017 taken 1 times.
✗ Branch 2018 not taken.
✓ Branch 2020 taken 1 times.
✗ Branch 2021 not taken.
✓ Branch 2023 taken 1 times.
✗ Branch 2024 not taken.
✓ Branch 2026 taken 1 times.
✗ Branch 2027 not taken.
✓ Branch 2029 taken 1 times.
✗ Branch 2030 not taken.
✓ Branch 2032 taken 1 times.
✗ Branch 2033 not taken.
✓ Branch 2035 taken 1 times.
✗ Branch 2036 not taken.
✓ Branch 2038 taken 1 times.
✗ Branch 2039 not taken.
✓ Branch 2041 taken 1 times.
✗ Branch 2042 not taken.
✓ Branch 2044 taken 1 times.
✗ Branch 2045 not taken.
✓ Branch 2047 taken 1 times.
✗ Branch 2048 not taken.
✓ Branch 2050 taken 1 times.
✗ Branch 2051 not taken.
✓ Branch 2053 taken 1 times.
✗ Branch 2054 not taken.
✓ Branch 2056 taken 1 times.
✗ Branch 2057 not taken.
✓ Branch 2059 taken 1 times.
✗ Branch 2060 not taken.
✓ Branch 2062 taken 1 times.
✗ Branch 2063 not taken.
✓ Branch 2065 taken 1 times.
✗ Branch 2066 not taken.
✓ Branch 2068 taken 1 times.
✗ Branch 2069 not taken.
✓ Branch 2071 taken 1 times.
✗ Branch 2072 not taken.
✓ Branch 2074 taken 1 times.
✗ Branch 2075 not taken.
✓ Branch 2077 taken 1 times.
✗ Branch 2078 not taken.
✓ Branch 2080 taken 1 times.
✗ Branch 2081 not taken.
✓ Branch 2083 taken 1 times.
✗ Branch 2084 not taken.
✓ Branch 2086 taken 1 times.
✗ Branch 2087 not taken.
✓ Branch 2089 taken 1 times.
✗ Branch 2090 not taken.
✓ Branch 2092 taken 1 times.
✗ Branch 2093 not taken.
✓ Branch 2095 taken 1 times.
✗ Branch 2096 not taken.
✓ Branch 2098 taken 1 times.
✗ Branch 2099 not taken.
✓ Branch 2101 taken 1 times.
✗ Branch 2102 not taken.
✓ Branch 2104 taken 1 times.
✗ Branch 2105 not taken.
✓ Branch 2107 taken 1 times.
✗ Branch 2108 not taken.
✓ Branch 2110 taken 1 times.
✗ Branch 2111 not taken.
✓ Branch 2113 taken 1 times.
✗ Branch 2114 not taken.
✓ Branch 2116 taken 1 times.
✗ Branch 2117 not taken.
✓ Branch 2119 taken 1 times.
✗ Branch 2120 not taken.
✓ Branch 2122 taken 1 times.
✗ Branch 2123 not taken.
✓ Branch 2125 taken 1 times.
✗ Branch 2126 not taken.
✓ Branch 2128 taken 1 times.
✗ Branch 2129 not taken.
✓ Branch 2131 taken 1 times.
✗ Branch 2132 not taken.
✓ Branch 2134 taken 1 times.
✗ Branch 2135 not taken.
✓ Branch 2137 taken 1 times.
✗ Branch 2138 not taken.
✓ Branch 2140 taken 1 times.
✗ Branch 2141 not taken.
✓ Branch 2143 taken 1 times.
✗ Branch 2144 not taken.
✓ Branch 2146 taken 1 times.
✗ Branch 2147 not taken.
✓ Branch 2149 taken 1 times.
✗ Branch 2150 not taken.
✓ Branch 2152 taken 1 times.
✗ Branch 2153 not taken.
✓ Branch 2155 taken 1 times.
✗ Branch 2156 not taken.
✓ Branch 2158 taken 1 times.
✗ Branch 2159 not taken.
✓ Branch 2161 taken 1 times.
✗ Branch 2162 not taken.
✓ Branch 2164 taken 1 times.
✗ Branch 2165 not taken.
✓ Branch 2167 taken 1 times.
✗ Branch 2168 not taken.
✓ Branch 2170 taken 1 times.
✗ Branch 2171 not taken.
✓ Branch 2173 taken 1 times.
✗ Branch 2174 not taken.
✓ Branch 2176 taken 1 times.
✗ Branch 2177 not taken.
✓ Branch 2179 taken 1 times.
✗ Branch 2180 not taken.
✓ Branch 2182 taken 1 times.
✗ Branch 2183 not taken.
✓ Branch 2185 taken 1 times.
✗ Branch 2186 not taken.
✓ Branch 2188 taken 1 times.
✗ Branch 2189 not taken.
✓ Branch 2191 taken 1 times.
✗ Branch 2192 not taken.
✓ Branch 2194 taken 1 times.
✗ Branch 2195 not taken.
✓ Branch 2197 taken 1 times.
✗ Branch 2198 not taken.
✓ Branch 2200 taken 1 times.
✗ Branch 2201 not taken.
✓ Branch 2203 taken 1 times.
✗ Branch 2204 not taken.
✓ Branch 2206 taken 1 times.
✗ Branch 2207 not taken.
✓ Branch 2209 taken 1 times.
✗ Branch 2210 not taken.
✓ Branch 2212 taken 1 times.
✗ Branch 2213 not taken.
✓ Branch 2215 taken 1 times.
✗ Branch 2216 not taken.
✓ Branch 2218 taken 1 times.
✗ Branch 2219 not taken.
✓ Branch 2221 taken 1 times.
✗ Branch 2222 not taken.
✓ Branch 2224 taken 1 times.
✗ Branch 2225 not taken.
✓ Branch 2227 taken 1 times.
✗ Branch 2228 not taken.
✓ Branch 2230 taken 1 times.
✗ Branch 2231 not taken.
✓ Branch 2233 taken 1 times.
✗ Branch 2234 not taken.
✓ Branch 2236 taken 1 times.
✗ Branch 2237 not taken.
✓ Branch 2239 taken 1 times.
✗ Branch 2240 not taken.
✓ Branch 2242 taken 1 times.
✗ Branch 2243 not taken.
✓ Branch 2245 taken 1 times.
✗ Branch 2246 not taken.
✓ Branch 2248 taken 1 times.
✗ Branch 2249 not taken.
✓ Branch 2251 taken 1 times.
✗ Branch 2252 not taken.
✓ Branch 2254 taken 1 times.
✗ Branch 2255 not taken.
✓ Branch 2257 taken 1 times.
✗ Branch 2258 not taken.
✓ Branch 2260 taken 1 times.
✗ Branch 2261 not taken.
✓ Branch 2263 taken 1 times.
✗ Branch 2264 not taken.
✓ Branch 2266 taken 1 times.
✗ Branch 2267 not taken.
✓ Branch 2269 taken 1 times.
✗ Branch 2270 not taken.
✓ Branch 2272 taken 1 times.
✗ Branch 2273 not taken.
✓ Branch 2275 taken 1 times.
✗ Branch 2276 not taken.
✓ Branch 2278 taken 1 times.
✗ Branch 2279 not taken.
✓ Branch 2281 taken 1 times.
✗ Branch 2282 not taken.
✓ Branch 2284 taken 1 times.
✗ Branch 2285 not taken.
✓ Branch 2287 taken 1 times.
✗ Branch 2288 not taken.
✓ Branch 2290 taken 1 times.
✗ Branch 2291 not taken.
✓ Branch 2293 taken 1 times.
✗ Branch 2294 not taken.
✓ Branch 2296 taken 1 times.
✗ Branch 2297 not taken.
✓ Branch 2299 taken 1 times.
✗ Branch 2300 not taken.
✓ Branch 2302 taken 1 times.
✗ Branch 2303 not taken.
✓ Branch 2305 taken 1 times.
✗ Branch 2306 not taken.
✓ Branch 2308 taken 1 times.
✗ Branch 2309 not taken.
✓ Branch 2311 taken 1 times.
✗ Branch 2312 not taken.
✓ Branch 2314 taken 1 times.
✗ Branch 2315 not taken.
✓ Branch 2317 taken 1 times.
✗ Branch 2318 not taken.
✓ Branch 2320 taken 1 times.
✗ Branch 2321 not taken.
✓ Branch 2323 taken 1 times.
✗ Branch 2324 not taken.
✓ Branch 2326 taken 1 times.
✗ Branch 2327 not taken.
✓ Branch 2329 taken 1 times.
✗ Branch 2330 not taken.
✓ Branch 2332 taken 1 times.
✗ Branch 2333 not taken.
✓ Branch 2335 taken 1 times.
✗ Branch 2336 not taken.
✓ Branch 2338 taken 1 times.
✗ Branch 2339 not taken.
✓ Branch 2341 taken 1 times.
✗ Branch 2342 not taken.
✓ Branch 2344 taken 1 times.
✗ Branch 2345 not taken.
✓ Branch 2347 taken 1 times.
✗ Branch 2348 not taken.
✓ Branch 2350 taken 1 times.
✗ Branch 2351 not taken.
✓ Branch 2353 taken 1 times.
✗ Branch 2354 not taken.
✓ Branch 2356 taken 1 times.
✗ Branch 2357 not taken.
✓ Branch 2359 taken 1 times.
✗ Branch 2360 not taken.
✓ Branch 2362 taken 1 times.
✗ Branch 2363 not taken.
✓ Branch 2365 taken 1 times.
✗ Branch 2366 not taken.
✓ Branch 2368 taken 1 times.
✗ Branch 2369 not taken.
✓ Branch 2371 taken 1 times.
✗ Branch 2372 not taken.
✓ Branch 2374 taken 1 times.
✗ Branch 2375 not taken.
✓ Branch 2377 taken 1 times.
✗ Branch 2378 not taken.
✓ Branch 2380 taken 1 times.
✗ Branch 2381 not taken.
✓ Branch 2383 taken 1 times.
✗ Branch 2384 not taken.
✓ Branch 2386 taken 1 times.
✗ Branch 2387 not taken.
✓ Branch 2389 taken 1 times.
✗ Branch 2390 not taken.
✓ Branch 2392 taken 1 times.
✗ Branch 2393 not taken.
✓ Branch 2395 taken 1 times.
✗ Branch 2396 not taken.
✓ Branch 2398 taken 1 times.
✗ Branch 2399 not taken.
✓ Branch 2401 taken 1 times.
✗ Branch 2402 not taken.
✓ Branch 2404 taken 1 times.
✗ Branch 2405 not taken.
✓ Branch 2407 taken 1 times.
✗ Branch 2408 not taken.
✓ Branch 2410 taken 1 times.
✗ Branch 2411 not taken.
✓ Branch 2413 taken 1 times.
✗ Branch 2414 not taken.
✓ Branch 2416 taken 1 times.
✗ Branch 2417 not taken.
✓ Branch 2419 taken 1 times.
✗ Branch 2420 not taken.
✓ Branch 2422 taken 1 times.
✗ Branch 2423 not taken.
✓ Branch 2425 taken 1 times.
✗ Branch 2426 not taken.
✓ Branch 2428 taken 1 times.
✗ Branch 2429 not taken.
✓ Branch 2431 taken 1 times.
✗ Branch 2432 not taken.
✓ Branch 2434 taken 1 times.
✗ Branch 2435 not taken.
✓ Branch 2437 taken 1 times.
✗ Branch 2438 not taken.
✓ Branch 2440 taken 1 times.
✗ Branch 2441 not taken.
✓ Branch 2443 taken 1 times.
✗ Branch 2444 not taken.
✓ Branch 2446 taken 1 times.
✗ Branch 2447 not taken.
✓ Branch 2449 taken 1 times.
✗ Branch 2450 not taken.
✓ Branch 2452 taken 1 times.
✗ Branch 2453 not taken.
✓ Branch 2455 taken 1 times.
✗ Branch 2456 not taken.
✓ Branch 2458 taken 1 times.
✗ Branch 2459 not taken.
✓ Branch 2461 taken 1 times.
✗ Branch 2462 not taken.
✓ Branch 2464 taken 1 times.
✗ Branch 2465 not taken.
✓ Branch 2467 taken 1 times.
✗ Branch 2468 not taken.
✓ Branch 2470 taken 1 times.
✗ Branch 2471 not taken.
✓ Branch 2473 taken 1 times.
✗ Branch 2474 not taken.
✓ Branch 2476 taken 1 times.
✗ Branch 2477 not taken.
✓ Branch 2479 taken 1 times.
✗ Branch 2480 not taken.
✓ Branch 2482 taken 1 times.
✗ Branch 2483 not taken.
✓ Branch 2485 taken 1 times.
✗ Branch 2486 not taken.
✓ Branch 2488 taken 1 times.
✗ Branch 2489 not taken.
✓ Branch 2491 taken 1 times.
✗ Branch 2492 not taken.
✓ Branch 2494 taken 1 times.
✗ Branch 2495 not taken.
✓ Branch 2497 taken 1 times.
✗ Branch 2498 not taken.
✓ Branch 2500 taken 1 times.
✗ Branch 2501 not taken.
✓ Branch 2503 taken 1 times.
✗ Branch 2504 not taken.
✓ Branch 2506 taken 1 times.
✗ Branch 2507 not taken.
✓ Branch 2509 taken 1 times.
✗ Branch 2510 not taken.
✗ Branch 2512 not taken.
✗ Branch 2513 not taken.
✗ Branch 2515 not taken.
✗ Branch 2516 not taken.
✗ Branch 2518 not taken.
✗ Branch 2519 not taken.
✗ Branch 2521 not taken.
✗ Branch 2522 not taken.
✗ Branch 2524 not taken.
✗ Branch 2525 not taken.
✗ Branch 2527 not taken.
✗ Branch 2528 not taken.
✗ Branch 2530 not taken.
✗ Branch 2531 not taken.
✗ Branch 2533 not taken.
✗ Branch 2534 not taken.
✗ Branch 2536 not taken.
✗ Branch 2537 not taken.
✓ Branch 2539 taken 1 times.
✗ Branch 2540 not taken.
✓ Branch 2542 taken 1 times.
✗ Branch 2543 not taken.
✓ Branch 2545 taken 1 times.
✗ Branch 2546 not taken.
✓ Branch 2548 taken 1 times.
✗ Branch 2549 not taken.
✓ Branch 2551 taken 1 times.
✗ Branch 2552 not taken.
✓ Branch 2554 taken 1 times.
✗ Branch 2555 not taken.
✓ Branch 2557 taken 1 times.
✗ Branch 2558 not taken.
✓ Branch 2560 taken 1 times.
✗ Branch 2561 not taken.
✓ Branch 2563 taken 1 times.
✗ Branch 2564 not taken.
✓ Branch 2566 taken 1 times.
✗ Branch 2567 not taken.
✓ Branch 2569 taken 1 times.
✗ Branch 2570 not taken.
✓ Branch 2572 taken 1 times.
✗ Branch 2573 not taken.
✓ Branch 2575 taken 1 times.
✗ Branch 2576 not taken.
✓ Branch 2578 taken 1 times.
✗ Branch 2579 not taken.
✓ Branch 2581 taken 1 times.
✗ Branch 2582 not taken.
✓ Branch 2584 taken 1 times.
✗ Branch 2585 not taken.
✓ Branch 2587 taken 1 times.
✗ Branch 2588 not taken.
✓ Branch 2590 taken 1 times.
✗ Branch 2591 not taken.
✓ Branch 2593 taken 1 times.
✗ Branch 2594 not taken.
✓ Branch 2596 taken 1 times.
✗ Branch 2597 not taken.
✓ Branch 2599 taken 1 times.
✗ Branch 2600 not taken.
✓ Branch 2602 taken 1 times.
✗ Branch 2603 not taken.
✓ Branch 2605 taken 1 times.
✗ Branch 2606 not taken.
✓ Branch 2608 taken 1 times.
✗ Branch 2609 not taken.
✓ Branch 2611 taken 1 times.
✗ Branch 2612 not taken.
✓ Branch 2614 taken 1 times.
✗ Branch 2615 not taken.
✓ Branch 2617 taken 1 times.
✗ Branch 2618 not taken.
✓ Branch 2620 taken 1 times.
✗ Branch 2621 not taken.
✓ Branch 2623 taken 1 times.
✗ Branch 2624 not taken.
✓ Branch 2626 taken 1 times.
✗ Branch 2627 not taken.
✓ Branch 2629 taken 1 times.
✗ Branch 2630 not taken.
✓ Branch 2632 taken 1 times.
✗ Branch 2633 not taken.
✓ Branch 2635 taken 1 times.
✗ Branch 2636 not taken.
✓ Branch 2638 taken 1 times.
✗ Branch 2639 not taken.
✓ Branch 2641 taken 1 times.
✗ Branch 2642 not taken.
✓ Branch 2644 taken 1 times.
✗ Branch 2645 not taken.
✗ Branch 2647 not taken.
✗ Branch 2648 not taken.
✗ Branch 2650 not taken.
✗ Branch 2651 not taken.
✗ Branch 2653 not taken.
✗ Branch 2654 not taken.
✗ Branch 2656 not taken.
✗ Branch 2657 not taken.
✗ Branch 2659 not taken.
✗ Branch 2660 not taken.
✗ Branch 2662 not taken.
✗ Branch 2663 not taken.
✗ Branch 2665 not taken.
✗ Branch 2666 not taken.
✗ Branch 2668 not taken.
✗ Branch 2669 not taken.
✗ Branch 2671 not taken.
✗ Branch 2672 not taken.
✓ Branch 2674 taken 1 times.
✗ Branch 2675 not taken.
✓ Branch 2677 taken 1 times.
✗ Branch 2678 not taken.
✓ Branch 2680 taken 1 times.
✗ Branch 2681 not taken.
✓ Branch 2683 taken 1 times.
✗ Branch 2684 not taken.
✓ Branch 2686 taken 1 times.
✗ Branch 2687 not taken.
✓ Branch 2689 taken 1 times.
✗ Branch 2690 not taken.
✓ Branch 2692 taken 1 times.
✗ Branch 2693 not taken.
✓ Branch 2695 taken 1 times.
✗ Branch 2696 not taken.
✓ Branch 2698 taken 1 times.
✗ Branch 2699 not taken.
✓ Branch 2701 taken 1 times.
✗ Branch 2702 not taken.
✓ Branch 2704 taken 1 times.
✗ Branch 2705 not taken.
✓ Branch 2707 taken 1 times.
✗ Branch 2708 not taken.
✓ Branch 2710 taken 1 times.
✗ Branch 2711 not taken.
✓ Branch 2713 taken 1 times.
✗ Branch 2714 not taken.
✓ Branch 2716 taken 1 times.
✗ Branch 2717 not taken.
✓ Branch 2719 taken 1 times.
✗ Branch 2720 not taken.
✓ Branch 2722 taken 1 times.
✗ Branch 2723 not taken.
✓ Branch 2725 taken 1 times.
✗ Branch 2726 not taken.
✓ Branch 2728 taken 1 times.
✗ Branch 2729 not taken.
✓ Branch 2731 taken 1 times.
✗ Branch 2732 not taken.
✓ Branch 2734 taken 1 times.
✗ Branch 2735 not taken.
✓ Branch 2737 taken 1 times.
✗ Branch 2738 not taken.
✓ Branch 2740 taken 1 times.
✗ Branch 2741 not taken.
✓ Branch 2743 taken 1 times.
✗ Branch 2744 not taken.
✓ Branch 2746 taken 1 times.
✗ Branch 2747 not taken.
✓ Branch 2749 taken 1 times.
✗ Branch 2750 not taken.
✓ Branch 2752 taken 1 times.
✗ Branch 2753 not taken.
✓ Branch 2755 taken 1 times.
✗ Branch 2756 not taken.
✓ Branch 2758 taken 1 times.
✗ Branch 2759 not taken.
✓ Branch 2761 taken 1 times.
✗ Branch 2762 not taken.
✓ Branch 2764 taken 1 times.
✗ Branch 2765 not taken.
✓ Branch 2767 taken 1 times.
✗ Branch 2768 not taken.
✓ Branch 2770 taken 1 times.
✗ Branch 2771 not taken.
✓ Branch 2773 taken 1 times.
✗ Branch 2774 not taken.
✓ Branch 2776 taken 1 times.
✗ Branch 2777 not taken.
✓ Branch 2779 taken 1 times.
✗ Branch 2780 not taken.
✗ Branch 2782 not taken.
✗ Branch 2783 not taken.
✗ Branch 2785 not taken.
✗ Branch 2786 not taken.
✗ Branch 2788 not taken.
✗ Branch 2789 not taken.
✗ Branch 2791 not taken.
✗ Branch 2792 not taken.
✗ Branch 2794 not taken.
✗ Branch 2795 not taken.
✗ Branch 2797 not taken.
✗ Branch 2798 not taken.
✗ Branch 2800 not taken.
✗ Branch 2801 not taken.
✗ Branch 2803 not taken.
✗ Branch 2804 not taken.
✗ Branch 2806 not taken.
✗ Branch 2807 not taken.
✓ Branch 2809 taken 1 times.
✗ Branch 2810 not taken.
✓ Branch 2812 taken 1 times.
✗ Branch 2813 not taken.
✓ Branch 2815 taken 1 times.
✗ Branch 2816 not taken.
✓ Branch 2818 taken 1 times.
✗ Branch 2819 not taken.
✓ Branch 2821 taken 1 times.
✗ Branch 2822 not taken.
✓ Branch 2824 taken 1 times.
✗ Branch 2825 not taken.
✓ Branch 2827 taken 1 times.
✗ Branch 2828 not taken.
✓ Branch 2830 taken 1 times.
✗ Branch 2831 not taken.
✓ Branch 2833 taken 1 times.
✗ Branch 2834 not taken.
✓ Branch 2836 taken 1 times.
✗ Branch 2837 not taken.
✓ Branch 2839 taken 1 times.
✗ Branch 2840 not taken.
✓ Branch 2842 taken 1 times.
✗ Branch 2843 not taken.
✓ Branch 2845 taken 1 times.
✗ Branch 2846 not taken.
✓ Branch 2848 taken 1 times.
✗ Branch 2849 not taken.
✓ Branch 2851 taken 1 times.
✗ Branch 2852 not taken.
✓ Branch 2854 taken 1 times.
✗ Branch 2855 not taken.
✓ Branch 2857 taken 1 times.
✗ Branch 2858 not taken.
✓ Branch 2860 taken 1 times.
✗ Branch 2861 not taken.
✓ Branch 2863 taken 1 times.
✗ Branch 2864 not taken.
✓ Branch 2866 taken 1 times.
✗ Branch 2867 not taken.
✓ Branch 2869 taken 1 times.
✗ Branch 2870 not taken.
✓ Branch 2872 taken 1 times.
✗ Branch 2873 not taken.
✓ Branch 2875 taken 1 times.
✗ Branch 2876 not taken.
✓ Branch 2878 taken 1 times.
✗ Branch 2879 not taken.
✓ Branch 2881 taken 1 times.
✗ Branch 2882 not taken.
✓ Branch 2884 taken 1 times.
✗ Branch 2885 not taken.
✓ Branch 2887 taken 1 times.
✗ Branch 2888 not taken.
✓ Branch 2890 taken 1 times.
✗ Branch 2891 not taken.
✓ Branch 2893 taken 1 times.
✗ Branch 2894 not taken.
✓ Branch 2896 taken 1 times.
✗ Branch 2897 not taken.
✓ Branch 2899 taken 1 times.
✗ Branch 2900 not taken.
✓ Branch 2902 taken 1 times.
✗ Branch 2903 not taken.
✓ Branch 2905 taken 1 times.
✗ Branch 2906 not taken.
✓ Branch 2908 taken 1 times.
✗ Branch 2909 not taken.
✓ Branch 2911 taken 1 times.
✗ Branch 2912 not taken.
✓ Branch 2914 taken 1 times.
✗ Branch 2915 not taken.
✗ Branch 2917 not taken.
✗ Branch 2918 not taken.
✗ Branch 2920 not taken.
✗ Branch 2921 not taken.
✗ Branch 2923 not taken.
✗ Branch 2924 not taken.
✗ Branch 2926 not taken.
✗ Branch 2927 not taken.
✗ Branch 2929 not taken.
✗ Branch 2930 not taken.
✗ Branch 2932 not taken.
✗ Branch 2933 not taken.
✗ Branch 2935 not taken.
✗ Branch 2936 not taken.
✗ Branch 2938 not taken.
✗ Branch 2939 not taken.
✗ Branch 2941 not taken.
✗ Branch 2942 not taken.
✓ Branch 2944 taken 1 times.
✗ Branch 2945 not taken.
✓ Branch 2947 taken 1 times.
✗ Branch 2948 not taken.
✓ Branch 2950 taken 1 times.
✗ Branch 2951 not taken.
✓ Branch 2953 taken 1 times.
✗ Branch 2954 not taken.
✓ Branch 2956 taken 1 times.
✗ Branch 2957 not taken.
✓ Branch 2959 taken 1 times.
✗ Branch 2960 not taken.
✓ Branch 2962 taken 1 times.
✗ Branch 2963 not taken.
✓ Branch 2965 taken 1 times.
✗ Branch 2966 not taken.
✓ Branch 2968 taken 1 times.
✗ Branch 2969 not taken.
✓ Branch 2971 taken 1 times.
✗ Branch 2972 not taken.
✓ Branch 2974 taken 1 times.
✗ Branch 2975 not taken.
✓ Branch 2977 taken 1 times.
✗ Branch 2978 not taken.
✓ Branch 2980 taken 1 times.
✗ Branch 2981 not taken.
✓ Branch 2983 taken 1 times.
✗ Branch 2984 not taken.
✓ Branch 2986 taken 1 times.
✗ Branch 2987 not taken.
✓ Branch 2989 taken 1 times.
✗ Branch 2990 not taken.
✓ Branch 2992 taken 1 times.
✗ Branch 2993 not taken.
✓ Branch 2995 taken 1 times.
✗ Branch 2996 not taken.
✓ Branch 2998 taken 1 times.
✗ Branch 2999 not taken.
✓ Branch 3001 taken 1 times.
✗ Branch 3002 not taken.
✓ Branch 3004 taken 1 times.
✗ Branch 3005 not taken.
✓ Branch 3007 taken 1 times.
✗ Branch 3008 not taken.
✓ Branch 3010 taken 1 times.
✗ Branch 3011 not taken.
✓ Branch 3013 taken 1 times.
✗ Branch 3014 not taken.
✓ Branch 3016 taken 1 times.
✗ Branch 3017 not taken.
✓ Branch 3019 taken 1 times.
✗ Branch 3020 not taken.
✓ Branch 3022 taken 1 times.
✗ Branch 3023 not taken.
✓ Branch 3025 taken 1 times.
✗ Branch 3026 not taken.
✓ Branch 3028 taken 1 times.
✗ Branch 3029 not taken.
✓ Branch 3031 taken 1 times.
✗ Branch 3032 not taken.
✓ Branch 3034 taken 1 times.
✗ Branch 3035 not taken.
✓ Branch 3037 taken 1 times.
✗ Branch 3038 not taken.
✓ Branch 3040 taken 1 times.
✗ Branch 3041 not taken.
✓ Branch 3043 taken 1 times.
✗ Branch 3044 not taken.
✓ Branch 3046 taken 1 times.
✗ Branch 3047 not taken.
✓ Branch 3049 taken 1 times.
✗ Branch 3050 not taken.
✓ Branch 3052 taken 1 times.
✗ Branch 3053 not taken.
✓ Branch 3055 taken 1 times.
✗ Branch 3056 not taken.
✓ Branch 3058 taken 1 times.
✗ Branch 3059 not taken.
✓ Branch 3061 taken 1 times.
✗ Branch 3062 not taken.
✓ Branch 3064 taken 1 times.
✗ Branch 3065 not taken.
✓ Branch 3067 taken 1 times.
✗ Branch 3068 not taken.
✓ Branch 3070 taken 1 times.
✗ Branch 3071 not taken.
✓ Branch 3073 taken 1 times.
✗ Branch 3074 not taken.
✓ Branch 3076 taken 1 times.
✗ Branch 3077 not taken.
✓ Branch 3079 taken 1 times.
✗ Branch 3080 not taken.
✓ Branch 3082 taken 1 times.
✗ Branch 3083 not taken.
✓ Branch 3085 taken 1 times.
✗ Branch 3086 not taken.
✓ Branch 3088 taken 1 times.
✗ Branch 3089 not taken.
✓ Branch 3091 taken 1 times.
✗ Branch 3092 not taken.
✓ Branch 3094 taken 1 times.
✗ Branch 3095 not taken.
✓ Branch 3097 taken 1 times.
✗ Branch 3098 not taken.
✓ Branch 3100 taken 1 times.
✗ Branch 3101 not taken.
✓ Branch 3103 taken 1 times.
✗ Branch 3104 not taken.
✓ Branch 3106 taken 1 times.
✗ Branch 3107 not taken.
✓ Branch 3109 taken 1 times.
✗ Branch 3110 not taken.
✓ Branch 3112 taken 1 times.
✗ Branch 3113 not taken.
✓ Branch 3115 taken 1 times.
✗ Branch 3116 not taken.
✓ Branch 3118 taken 1 times.
✗ Branch 3119 not taken.
✓ Branch 3121 taken 1 times.
✗ Branch 3122 not taken.
✓ Branch 3124 taken 1 times.
✗ Branch 3125 not taken.
✓ Branch 3127 taken 1 times.
✗ Branch 3128 not taken.
✓ Branch 3130 taken 1 times.
✗ Branch 3131 not taken.
✓ Branch 3133 taken 1 times.
✗ Branch 3134 not taken.
✓ Branch 3136 taken 1 times.
✗ Branch 3137 not taken.
✓ Branch 3139 taken 1 times.
✗ Branch 3140 not taken.
✓ Branch 3142 taken 1 times.
✗ Branch 3143 not taken.
✓ Branch 3145 taken 1 times.
✗ Branch 3146 not taken.
✓ Branch 3148 taken 1 times.
✗ Branch 3149 not taken.
✓ Branch 3151 taken 1 times.
✗ Branch 3152 not taken.
✓ Branch 3154 taken 1 times.
✗ Branch 3155 not taken.
✓ Branch 3157 taken 1 times.
✗ Branch 3158 not taken.
✓ Branch 3160 taken 1 times.
✗ Branch 3161 not taken.
✓ Branch 3163 taken 1 times.
✗ Branch 3164 not taken.
✓ Branch 3166 taken 1 times.
✗ Branch 3167 not taken.
✓ Branch 3169 taken 1 times.
✗ Branch 3170 not taken.
✓ Branch 3172 taken 1 times.
✗ Branch 3173 not taken.
✓ Branch 3175 taken 1 times.
✗ Branch 3176 not taken.
✓ Branch 3178 taken 1 times.
✗ Branch 3179 not taken.
✓ Branch 3181 taken 1 times.
✗ Branch 3182 not taken.
✓ Branch 3184 taken 1 times.
✗ Branch 3185 not taken.
✓ Branch 3187 taken 1 times.
✗ Branch 3188 not taken.
✓ Branch 3190 taken 1 times.
✗ Branch 3191 not taken.
✓ Branch 3193 taken 1 times.
✗ Branch 3194 not taken.
✓ Branch 3196 taken 1 times.
✗ Branch 3197 not taken.
✓ Branch 3199 taken 1 times.
✗ Branch 3200 not taken.
✓ Branch 3202 taken 1 times.
✗ Branch 3203 not taken.
✓ Branch 3205 taken 1 times.
✗ Branch 3206 not taken.
✓ Branch 3208 taken 1 times.
✗ Branch 3209 not taken.
✓ Branch 3211 taken 1 times.
✗ Branch 3212 not taken.
✓ Branch 3214 taken 1 times.
✗ Branch 3215 not taken.
✓ Branch 3217 taken 1 times.
✗ Branch 3218 not taken.
✓ Branch 3220 taken 1 times.
✗ Branch 3221 not taken.
✓ Branch 3223 taken 1 times.
✗ Branch 3224 not taken.
✓ Branch 3226 taken 1 times.
✗ Branch 3227 not taken.
✓ Branch 3229 taken 1 times.
✗ Branch 3230 not taken.
✓ Branch 3232 taken 1 times.
✗ Branch 3233 not taken.
✓ Branch 3235 taken 1 times.
✗ Branch 3236 not taken.
✓ Branch 3238 taken 1 times.
✗ Branch 3239 not taken.
✓ Branch 3241 taken 1 times.
✗ Branch 3242 not taken.
✓ Branch 3244 taken 1 times.
✗ Branch 3245 not taken.
✓ Branch 3247 taken 1 times.
✗ Branch 3248 not taken.
✓ Branch 3250 taken 1 times.
✗ Branch 3251 not taken.
✓ Branch 3253 taken 1 times.
✗ Branch 3254 not taken.
✓ Branch 3256 taken 1 times.
✗ Branch 3257 not taken.
✓ Branch 3259 taken 1 times.
✗ Branch 3260 not taken.
✓ Branch 3262 taken 1 times.
✗ Branch 3263 not taken.
✓ Branch 3265 taken 1 times.
✗ Branch 3266 not taken.
✓ Branch 3268 taken 1 times.
✗ Branch 3269 not taken.
✓ Branch 3271 taken 1 times.
✗ Branch 3272 not taken.
✓ Branch 3274 taken 1 times.
✗ Branch 3275 not taken.
✓ Branch 3277 taken 1 times.
✗ Branch 3278 not taken.
✓ Branch 3280 taken 1 times.
✗ Branch 3281 not taken.
✓ Branch 3283 taken 1 times.
✗ Branch 3284 not taken.
✓ Branch 3286 taken 1 times.
✗ Branch 3287 not taken.
✓ Branch 3289 taken 1 times.
✗ Branch 3290 not taken.
✓ Branch 3292 taken 1 times.
✗ Branch 3293 not taken.
✓ Branch 3295 taken 1 times.
✗ Branch 3296 not taken.
✓ Branch 3298 taken 1 times.
✗ Branch 3299 not taken.
✓ Branch 3301 taken 1 times.
✗ Branch 3302 not taken.
✓ Branch 3304 taken 1 times.
✗ Branch 3305 not taken.
✓ Branch 3307 taken 1 times.
✗ Branch 3308 not taken.
✓ Branch 3310 taken 1 times.
✗ Branch 3311 not taken.
✓ Branch 3313 taken 1 times.
✗ Branch 3314 not taken.
✓ Branch 3316 taken 1 times.
✗ Branch 3317 not taken.
✓ Branch 3319 taken 1 times.
✗ Branch 3320 not taken.
✓ Branch 3322 taken 1 times.
✗ Branch 3323 not taken.
✓ Branch 3325 taken 1 times.
✗ Branch 3326 not taken.
✓ Branch 3328 taken 1 times.
✗ Branch 3329 not taken.
✓ Branch 3331 taken 1 times.
✗ Branch 3332 not taken.
✓ Branch 3334 taken 1 times.
✗ Branch 3335 not taken.
✓ Branch 3337 taken 1 times.
✗ Branch 3338 not taken.
✓ Branch 3340 taken 1 times.
✗ Branch 3341 not taken.
✓ Branch 3343 taken 1 times.
✗ Branch 3344 not taken.
✓ Branch 3346 taken 1 times.
✗ Branch 3347 not taken.
✓ Branch 3349 taken 1 times.
✗ Branch 3350 not taken.
✓ Branch 3352 taken 1 times.
✗ Branch 3353 not taken.
✓ Branch 3355 taken 1 times.
✗ Branch 3356 not taken.
✓ Branch 3358 taken 1 times.
✗ Branch 3359 not taken.
✓ Branch 3361 taken 1 times.
✗ Branch 3362 not taken.
✓ Branch 3364 taken 1 times.
✗ Branch 3365 not taken.
✓ Branch 3367 taken 1 times.
✗ Branch 3368 not taken.
✓ Branch 3370 taken 1 times.
✗ Branch 3371 not taken.
✓ Branch 3373 taken 1 times.
✗ Branch 3374 not taken.
✓ Branch 3376 taken 1 times.
✗ Branch 3377 not taken.
✓ Branch 3379 taken 1 times.
✗ Branch 3380 not taken.
✓ Branch 3382 taken 1 times.
✗ Branch 3383 not taken.
✓ Branch 3385 taken 1 times.
✗ Branch 3386 not taken.
✓ Branch 3388 taken 1 times.
✗ Branch 3389 not taken.
✓ Branch 3391 taken 1 times.
✗ Branch 3392 not taken.
✓ Branch 3394 taken 1 times.
✗ Branch 3395 not taken.
✓ Branch 3397 taken 1 times.
✗ Branch 3398 not taken.
✓ Branch 3400 taken 1 times.
✗ Branch 3401 not taken.
✓ Branch 3403 taken 1 times.
✗ Branch 3404 not taken.
✓ Branch 3406 taken 1 times.
✗ Branch 3407 not taken.
✓ Branch 3409 taken 1 times.
✗ Branch 3410 not taken.
✓ Branch 3412 taken 1 times.
✗ Branch 3413 not taken.
✓ Branch 3415 taken 1 times.
✗ Branch 3416 not taken.
✓ Branch 3418 taken 1 times.
✗ Branch 3419 not taken.
✓ Branch 3421 taken 1 times.
✗ Branch 3422 not taken.
✓ Branch 3424 taken 1 times.
✗ Branch 3425 not taken.
✓ Branch 3427 taken 1 times.
✗ Branch 3428 not taken.
✓ Branch 3430 taken 1 times.
✗ Branch 3431 not taken.
✓ Branch 3433 taken 1 times.
✗ Branch 3434 not taken.
✓ Branch 3436 taken 1 times.
✗ Branch 3437 not taken.
✓ Branch 3439 taken 1 times.
✗ Branch 3440 not taken.
✓ Branch 3442 taken 1 times.
✗ Branch 3443 not taken.
✓ Branch 3445 taken 1 times.
✗ Branch 3446 not taken.
✓ Branch 3448 taken 1 times.
✗ Branch 3449 not taken.
✓ Branch 3451 taken 1 times.
✗ Branch 3452 not taken.
✓ Branch 3454 taken 1 times.
✗ Branch 3455 not taken.
✓ Branch 3457 taken 1 times.
✗ Branch 3458 not taken.
✓ Branch 3460 taken 1 times.
✗ Branch 3461 not taken.
✓ Branch 3463 taken 1 times.
✗ Branch 3464 not taken.
✓ Branch 3466 taken 1 times.
✗ Branch 3467 not taken.
✓ Branch 3469 taken 1 times.
✗ Branch 3470 not taken.
✓ Branch 3472 taken 1 times.
✗ Branch 3473 not taken.
✓ Branch 3475 taken 1 times.
✗ Branch 3476 not taken.
✓ Branch 3478 taken 1 times.
✗ Branch 3479 not taken.
✓ Branch 3481 taken 1 times.
✗ Branch 3482 not taken.
✗ Branch 3484 not taken.
✗ Branch 3485 not taken.
✗ Branch 3487 not taken.
✗ Branch 3488 not taken.
✗ Branch 3490 not taken.
✗ Branch 3491 not taken.
✗ Branch 3493 not taken.
✗ Branch 3494 not taken.
✗ Branch 3496 not taken.
✗ Branch 3497 not taken.
✗ Branch 3499 not taken.
✗ Branch 3500 not taken.
✗ Branch 3502 not taken.
✗ Branch 3503 not taken.
✗ Branch 3505 not taken.
✗ Branch 3506 not taken.
✗ Branch 3508 not taken.
✗ Branch 3509 not taken.
✓ Branch 3511 taken 1 times.
✗ Branch 3512 not taken.
✓ Branch 3514 taken 1 times.
✗ Branch 3515 not taken.
✓ Branch 3517 taken 1 times.
✗ Branch 3518 not taken.
✓ Branch 3520 taken 1 times.
✗ Branch 3521 not taken.
✓ Branch 3523 taken 1 times.
✗ Branch 3524 not taken.
✓ Branch 3526 taken 1 times.
✗ Branch 3527 not taken.
✓ Branch 3529 taken 1 times.
✗ Branch 3530 not taken.
✓ Branch 3532 taken 1 times.
✗ Branch 3533 not taken.
✓ Branch 3535 taken 1 times.
✗ Branch 3536 not taken.
✓ Branch 3538 taken 1 times.
✗ Branch 3539 not taken.
✓ Branch 3541 taken 1 times.
✗ Branch 3542 not taken.
✓ Branch 3544 taken 1 times.
✗ Branch 3545 not taken.
✓ Branch 3547 taken 1 times.
✗ Branch 3548 not taken.
✓ Branch 3550 taken 1 times.
✗ Branch 3551 not taken.
✓ Branch 3553 taken 1 times.
✗ Branch 3554 not taken.
✓ Branch 3556 taken 1 times.
✗ Branch 3557 not taken.
✓ Branch 3559 taken 1 times.
✗ Branch 3560 not taken.
✓ Branch 3562 taken 1 times.
✗ Branch 3563 not taken.
✓ Branch 3565 taken 1 times.
✗ Branch 3566 not taken.
✓ Branch 3568 taken 1 times.
✗ Branch 3569 not taken.
✓ Branch 3571 taken 1 times.
✗ Branch 3572 not taken.
✓ Branch 3574 taken 1 times.
✗ Branch 3575 not taken.
✓ Branch 3577 taken 1 times.
✗ Branch 3578 not taken.
✓ Branch 3580 taken 1 times.
✗ Branch 3581 not taken.
✓ Branch 3583 taken 1 times.
✗ Branch 3584 not taken.
✓ Branch 3586 taken 1 times.
✗ Branch 3587 not taken.
✓ Branch 3589 taken 1 times.
✗ Branch 3590 not taken.
✓ Branch 3592 taken 1 times.
✗ Branch 3593 not taken.
✓ Branch 3595 taken 1 times.
✗ Branch 3596 not taken.
✓ Branch 3598 taken 1 times.
✗ Branch 3599 not taken.
✓ Branch 3601 taken 1 times.
✗ Branch 3602 not taken.
✓ Branch 3604 taken 1 times.
✗ Branch 3605 not taken.
✓ Branch 3607 taken 1 times.
✗ Branch 3608 not taken.
✓ Branch 3610 taken 1 times.
✗ Branch 3611 not taken.
✓ Branch 3613 taken 1 times.
✗ Branch 3614 not taken.
✓ Branch 3616 taken 1 times.
✗ Branch 3617 not taken.
✗ Branch 3619 not taken.
✗ Branch 3620 not taken.
✗ Branch 3622 not taken.
✗ Branch 3623 not taken.
✗ Branch 3625 not taken.
✗ Branch 3626 not taken.
✗ Branch 3628 not taken.
✗ Branch 3629 not taken.
✗ Branch 3631 not taken.
✗ Branch 3632 not taken.
✗ Branch 3634 not taken.
✗ Branch 3635 not taken.
✗ Branch 3637 not taken.
✗ Branch 3638 not taken.
✗ Branch 3640 not taken.
✗ Branch 3641 not taken.
✗ Branch 3643 not taken.
✗ Branch 3644 not taken.
✓ Branch 3646 taken 1 times.
✗ Branch 3647 not taken.
✓ Branch 3649 taken 1 times.
✗ Branch 3650 not taken.
✓ Branch 3652 taken 1 times.
✗ Branch 3653 not taken.
✓ Branch 3655 taken 1 times.
✗ Branch 3656 not taken.
✓ Branch 3658 taken 1 times.
✗ Branch 3659 not taken.
✓ Branch 3661 taken 1 times.
✗ Branch 3662 not taken.
✓ Branch 3664 taken 1 times.
✗ Branch 3665 not taken.
✓ Branch 3667 taken 1 times.
✗ Branch 3668 not taken.
✓ Branch 3670 taken 1 times.
✗ Branch 3671 not taken.
✓ Branch 3673 taken 1 times.
✗ Branch 3674 not taken.
✓ Branch 3676 taken 1 times.
✗ Branch 3677 not taken.
✓ Branch 3679 taken 1 times.
✗ Branch 3680 not taken.
✓ Branch 3682 taken 1 times.
✗ Branch 3683 not taken.
✓ Branch 3685 taken 1 times.
✗ Branch 3686 not taken.
✓ Branch 3688 taken 1 times.
✗ Branch 3689 not taken.
✓ Branch 3691 taken 1 times.
✗ Branch 3692 not taken.
✓ Branch 3694 taken 1 times.
✗ Branch 3695 not taken.
✓ Branch 3697 taken 1 times.
✗ Branch 3698 not taken.
✓ Branch 3700 taken 1 times.
✗ Branch 3701 not taken.
✓ Branch 3703 taken 1 times.
✗ Branch 3704 not taken.
✓ Branch 3706 taken 1 times.
✗ Branch 3707 not taken.
✓ Branch 3709 taken 1 times.
✗ Branch 3710 not taken.
✓ Branch 3712 taken 1 times.
✗ Branch 3713 not taken.
✓ Branch 3715 taken 1 times.
✗ Branch 3716 not taken.
✓ Branch 3718 taken 1 times.
✗ Branch 3719 not taken.
✓ Branch 3721 taken 1 times.
✗ Branch 3722 not taken.
✓ Branch 3724 taken 1 times.
✗ Branch 3725 not taken.
✓ Branch 3727 taken 1 times.
✗ Branch 3728 not taken.
✓ Branch 3730 taken 1 times.
✗ Branch 3731 not taken.
✓ Branch 3733 taken 1 times.
✗ Branch 3734 not taken.
✓ Branch 3736 taken 1 times.
✗ Branch 3737 not taken.
✓ Branch 3739 taken 1 times.
✗ Branch 3740 not taken.
✓ Branch 3742 taken 1 times.
✗ Branch 3743 not taken.
✓ Branch 3745 taken 1 times.
✗ Branch 3746 not taken.
✓ Branch 3748 taken 1 times.
✗ Branch 3749 not taken.
✓ Branch 3751 taken 1 times.
✗ Branch 3752 not taken.
✗ Branch 3754 not taken.
✗ Branch 3755 not taken.
✗ Branch 3757 not taken.
✗ Branch 3758 not taken.
✗ Branch 3760 not taken.
✗ Branch 3761 not taken.
✗ Branch 3763 not taken.
✗ Branch 3764 not taken.
✗ Branch 3766 not taken.
✗ Branch 3767 not taken.
✗ Branch 3769 not taken.
✗ Branch 3770 not taken.
✗ Branch 3772 not taken.
✗ Branch 3773 not taken.
✗ Branch 3775 not taken.
✗ Branch 3776 not taken.
✗ Branch 3778 not taken.
✗ Branch 3779 not taken.
✓ Branch 3781 taken 1 times.
✗ Branch 3782 not taken.
✓ Branch 3784 taken 1 times.
✗ Branch 3785 not taken.
✓ Branch 3787 taken 1 times.
✗ Branch 3788 not taken.
✓ Branch 3790 taken 1 times.
✗ Branch 3791 not taken.
✓ Branch 3793 taken 1 times.
✗ Branch 3794 not taken.
✓ Branch 3796 taken 1 times.
✗ Branch 3797 not taken.
✓ Branch 3799 taken 1 times.
✗ Branch 3800 not taken.
✓ Branch 3802 taken 1 times.
✗ Branch 3803 not taken.
✓ Branch 3805 taken 1 times.
✗ Branch 3806 not taken.
✓ Branch 3808 taken 1 times.
✗ Branch 3809 not taken.
✓ Branch 3811 taken 1 times.
✗ Branch 3812 not taken.
✓ Branch 3814 taken 1 times.
✗ Branch 3815 not taken.
✓ Branch 3817 taken 1 times.
✗ Branch 3818 not taken.
✓ Branch 3820 taken 1 times.
✗ Branch 3821 not taken.
✓ Branch 3823 taken 1 times.
✗ Branch 3824 not taken.
✓ Branch 3826 taken 1 times.
✗ Branch 3827 not taken.
✓ Branch 3829 taken 1 times.
✗ Branch 3830 not taken.
✓ Branch 3832 taken 1 times.
✗ Branch 3833 not taken.
✓ Branch 3835 taken 1 times.
✗ Branch 3836 not taken.
✓ Branch 3838 taken 1 times.
✗ Branch 3839 not taken.
✓ Branch 3841 taken 1 times.
✗ Branch 3842 not taken.
✓ Branch 3844 taken 1 times.
✗ Branch 3845 not taken.
✓ Branch 3847 taken 1 times.
✗ Branch 3848 not taken.
✓ Branch 3850 taken 1 times.
✗ Branch 3851 not taken.
✓ Branch 3853 taken 1 times.
✗ Branch 3854 not taken.
✓ Branch 3856 taken 1 times.
✗ Branch 3857 not taken.
✓ Branch 3859 taken 1 times.
✗ Branch 3860 not taken.
✓ Branch 3862 taken 1 times.
✗ Branch 3863 not taken.
✓ Branch 3865 taken 1 times.
✗ Branch 3866 not taken.
✓ Branch 3868 taken 1 times.
✗ Branch 3869 not taken.
✓ Branch 3871 taken 1 times.
✗ Branch 3872 not taken.
✓ Branch 3874 taken 1 times.
✗ Branch 3875 not taken.
✓ Branch 3877 taken 1 times.
✗ Branch 3878 not taken.
✓ Branch 3880 taken 1 times.
✗ Branch 3881 not taken.
✓ Branch 3883 taken 1 times.
✗ Branch 3884 not taken.
✓ Branch 3886 taken 1 times.
✗ Branch 3887 not taken.
✗ Branch 3889 not taken.
✗ Branch 3890 not taken.
✗ Branch 3892 not taken.
✗ Branch 3893 not taken.
✗ Branch 3895 not taken.
✗ Branch 3896 not taken.
✗ Branch 3898 not taken.
✗ Branch 3899 not taken.
✗ Branch 3901 not taken.
✗ Branch 3902 not taken.
✗ Branch 3904 not taken.
✗ Branch 3905 not taken.
✗ Branch 3907 not taken.
✗ Branch 3908 not taken.
✗ Branch 3910 not taken.
✗ Branch 3911 not taken.
✗ Branch 3913 not taken.
✗ Branch 3914 not taken.
✗ Branch 3916 not taken.
✗ Branch 3917 not taken.
✗ Branch 3919 not taken.
✗ Branch 3920 not taken.
✗ Branch 3922 not taken.
✗ Branch 3923 not taken.
✗ Branch 3925 not taken.
✗ Branch 3926 not taken.
✗ Branch 3928 not taken.
✗ Branch 3929 not taken.
✗ Branch 3931 not taken.
✗ Branch 3932 not taken.
✗ Branch 3934 not taken.
✗ Branch 3935 not taken.
✗ Branch 3937 not taken.
✗ Branch 3938 not taken.
✗ Branch 3940 not taken.
✗ Branch 3941 not taken.
✗ Branch 3943 not taken.
✗ Branch 3944 not taken.
✗ Branch 3946 not taken.
✗ Branch 3947 not taken.
✗ Branch 3949 not taken.
✗ Branch 3950 not taken.
✗ Branch 3952 not taken.
✗ Branch 3953 not taken.
✗ Branch 3955 not taken.
✗ Branch 3956 not taken.
✗ Branch 3958 not taken.
✗ Branch 3959 not taken.
✗ Branch 3961 not taken.
✗ Branch 3962 not taken.
✗ Branch 3964 not taken.
✗ Branch 3965 not taken.
✗ Branch 3967 not taken.
✗ Branch 3968 not taken.
✗ Branch 3970 not taken.
✗ Branch 3971 not taken.
✗ Branch 3973 not taken.
✗ Branch 3974 not taken.
✗ Branch 3976 not taken.
✗ Branch 3977 not taken.
✗ Branch 3979 not taken.
✗ Branch 3980 not taken.
✗ Branch 3982 not taken.
✗ Branch 3983 not taken.
✗ Branch 3985 not taken.
✗ Branch 3986 not taken.
✗ Branch 3988 not taken.
✗ Branch 3989 not taken.
✗ Branch 3991 not taken.
✗ Branch 3992 not taken.
✗ Branch 3994 not taken.
✗ Branch 3995 not taken.
✗ Branch 3997 not taken.
✗ Branch 3998 not taken.
✗ Branch 4000 not taken.
✗ Branch 4001 not taken.
✗ Branch 4003 not taken.
✗ Branch 4004 not taken.
✗ Branch 4006 not taken.
✗ Branch 4007 not taken.
✗ Branch 4009 not taken.
✗ Branch 4010 not taken.
✗ Branch 4012 not taken.
✗ Branch 4013 not taken.
✗ Branch 4015 not taken.
✗ Branch 4016 not taken.
✗ Branch 4018 not taken.
✗ Branch 4019 not taken.
✗ Branch 4021 not taken.
✗ Branch 4022 not taken.
✓ Branch 4024 taken 1 times.
✗ Branch 4025 not taken.
✓ Branch 4027 taken 1 times.
✗ Branch 4028 not taken.
✓ Branch 4030 taken 1 times.
✗ Branch 4031 not taken.
✓ Branch 4033 taken 1 times.
✗ Branch 4034 not taken.
✓ Branch 4036 taken 1 times.
✗ Branch 4037 not taken.
✓ Branch 4039 taken 1 times.
✗ Branch 4040 not taken.
✓ Branch 4042 taken 1 times.
✗ Branch 4043 not taken.
✓ Branch 4045 taken 1 times.
✗ Branch 4046 not taken.
✓ Branch 4048 taken 1 times.
✗ Branch 4049 not taken.
✓ Branch 4051 taken 2 times.
✗ Branch 4052 not taken.
✓ Branch 4054 taken 2 times.
✗ Branch 4055 not taken.
✓ Branch 4057 taken 2 times.
✗ Branch 4058 not taken.
✓ Branch 4060 taken 2 times.
✗ Branch 4061 not taken.
✓ Branch 4063 taken 2 times.
✗ Branch 4064 not taken.
✓ Branch 4066 taken 2 times.
✗ Branch 4067 not taken.
✓ Branch 4069 taken 2 times.
✗ Branch 4070 not taken.
✓ Branch 4072 taken 2 times.
✗ Branch 4073 not taken.
✓ Branch 4075 taken 2 times.
✗ Branch 4076 not taken.
✓ Branch 4078 taken 1 times.
✗ Branch 4079 not taken.
✓ Branch 4081 taken 1 times.
✗ Branch 4082 not taken.
✓ Branch 4084 taken 1 times.
✗ Branch 4085 not taken.
✓ Branch 4087 taken 1 times.
✗ Branch 4088 not taken.
✓ Branch 4090 taken 1 times.
✗ Branch 4091 not taken.
✓ Branch 4093 taken 1 times.
✗ Branch 4094 not taken.
✓ Branch 4096 taken 1 times.
✗ Branch 4097 not taken.
✓ Branch 4099 taken 1 times.
✗ Branch 4100 not taken.
✓ Branch 4102 taken 1 times.
✗ Branch 4103 not taken.
✓ Branch 4105 taken 1 times.
✗ Branch 4106 not taken.
✓ Branch 4108 taken 1 times.
✗ Branch 4109 not taken.
✓ Branch 4111 taken 1 times.
✗ Branch 4112 not taken.
✓ Branch 4114 taken 1 times.
✗ Branch 4115 not taken.
✓ Branch 4117 taken 1 times.
✗ Branch 4118 not taken.
✓ Branch 4120 taken 1 times.
✗ Branch 4121 not taken.
✓ Branch 4123 taken 1 times.
✗ Branch 4124 not taken.
✓ Branch 4126 taken 1 times.
✗ Branch 4127 not taken.
✓ Branch 4129 taken 1 times.
✗ Branch 4130 not taken.
✓ Branch 4132 taken 2 times.
✗ Branch 4133 not taken.
✓ Branch 4135 taken 2 times.
✗ Branch 4136 not taken.
✓ Branch 4138 taken 2 times.
✗ Branch 4139 not taken.
✓ Branch 4141 taken 2 times.
✗ Branch 4142 not taken.
✓ Branch 4144 taken 2 times.
✗ Branch 4145 not taken.
✓ Branch 4147 taken 2 times.
✗ Branch 4148 not taken.
✓ Branch 4150 taken 2 times.
✗ Branch 4151 not taken.
✓ Branch 4153 taken 2 times.
✗ Branch 4154 not taken.
✓ Branch 4156 taken 2 times.
✗ Branch 4157 not taken.
✓ Branch 4159 taken 1 times.
✗ Branch 4160 not taken.
✓ Branch 4162 taken 1 times.
✗ Branch 4163 not taken.
✓ Branch 4165 taken 1 times.
✗ Branch 4166 not taken.
✓ Branch 4168 taken 1 times.
✗ Branch 4169 not taken.
✓ Branch 4171 taken 1 times.
✗ Branch 4172 not taken.
✓ Branch 4174 taken 1 times.
✗ Branch 4175 not taken.
✓ Branch 4177 taken 1 times.
✗ Branch 4178 not taken.
✓ Branch 4180 taken 1 times.
✗ Branch 4181 not taken.
✓ Branch 4183 taken 1 times.
✗ Branch 4184 not taken.
✓ Branch 4186 taken 1 times.
✗ Branch 4187 not taken.
✓ Branch 4189 taken 1 times.
✗ Branch 4190 not taken.
✓ Branch 4192 taken 1 times.
✗ Branch 4193 not taken.
✓ Branch 4195 taken 1 times.
✗ Branch 4196 not taken.
✓ Branch 4198 taken 1 times.
✗ Branch 4199 not taken.
✓ Branch 4201 taken 1 times.
✗ Branch 4202 not taken.
✓ Branch 4204 taken 1 times.
✗ Branch 4205 not taken.
✓ Branch 4207 taken 1 times.
✗ Branch 4208 not taken.
✓ Branch 4210 taken 1 times.
✗ Branch 4211 not taken.
✓ Branch 4213 taken 2 times.
✗ Branch 4214 not taken.
✓ Branch 4216 taken 2 times.
✗ Branch 4217 not taken.
✓ Branch 4219 taken 2 times.
✗ Branch 4220 not taken.
✓ Branch 4222 taken 2 times.
✗ Branch 4223 not taken.
✓ Branch 4225 taken 2 times.
✗ Branch 4226 not taken.
✓ Branch 4228 taken 2 times.
✗ Branch 4229 not taken.
✓ Branch 4231 taken 2 times.
✗ Branch 4232 not taken.
✓ Branch 4234 taken 2 times.
✗ Branch 4235 not taken.
✓ Branch 4237 taken 2 times.
✗ Branch 4238 not taken.
✓ Branch 4240 taken 1 times.
✗ Branch 4241 not taken.
✓ Branch 4243 taken 1 times.
✗ Branch 4244 not taken.
✓ Branch 4246 taken 1 times.
✗ Branch 4247 not taken.
✓ Branch 4249 taken 1 times.
✗ Branch 4250 not taken.
✓ Branch 4252 taken 1 times.
✗ Branch 4253 not taken.
✓ Branch 4255 taken 1 times.
✗ Branch 4256 not taken.
✓ Branch 4258 taken 1 times.
✗ Branch 4259 not taken.
✓ Branch 4261 taken 1 times.
✗ Branch 4262 not taken.
✓ Branch 4264 taken 1 times.
✗ Branch 4265 not taken.
✓ Branch 4267 taken 1 times.
✗ Branch 4268 not taken.
✓ Branch 4270 taken 1 times.
✗ Branch 4271 not taken.
✓ Branch 4273 taken 1 times.
✗ Branch 4274 not taken.
✓ Branch 4276 taken 1 times.
✗ Branch 4277 not taken.
✓ Branch 4279 taken 1 times.
✗ Branch 4280 not taken.
✓ Branch 4282 taken 1 times.
✗ Branch 4283 not taken.
✓ Branch 4285 taken 1 times.
✗ Branch 4286 not taken.
✓ Branch 4288 taken 1 times.
✗ Branch 4289 not taken.
✓ Branch 4291 taken 1 times.
✗ Branch 4292 not taken.
✓ Branch 4294 taken 2 times.
✗ Branch 4295 not taken.
✓ Branch 4297 taken 2 times.
✗ Branch 4298 not taken.
✓ Branch 4300 taken 2 times.
✗ Branch 4301 not taken.
✓ Branch 4303 taken 2 times.
✗ Branch 4304 not taken.
✓ Branch 4306 taken 2 times.
✗ Branch 4307 not taken.
✓ Branch 4309 taken 2 times.
✗ Branch 4310 not taken.
✓ Branch 4312 taken 2 times.
✗ Branch 4313 not taken.
✓ Branch 4315 taken 2 times.
✗ Branch 4316 not taken.
✓ Branch 4318 taken 2 times.
✗ Branch 4319 not taken.
✓ Branch 4321 taken 1 times.
✗ Branch 4322 not taken.
✓ Branch 4324 taken 1 times.
✗ Branch 4325 not taken.
✓ Branch 4327 taken 1 times.
✗ Branch 4328 not taken.
✓ Branch 4330 taken 1 times.
✗ Branch 4331 not taken.
✓ Branch 4333 taken 1 times.
✗ Branch 4334 not taken.
✓ Branch 4336 taken 1 times.
✗ Branch 4337 not taken.
✓ Branch 4339 taken 1 times.
✗ Branch 4340 not taken.
✓ Branch 4342 taken 1 times.
✗ Branch 4343 not taken.
✓ Branch 4345 taken 1 times.
✗ Branch 4346 not taken.
✓ Branch 4348 taken 1 times.
✗ Branch 4349 not taken.
✓ Branch 4351 taken 1 times.
✗ Branch 4352 not taken.
✓ Branch 4354 taken 1 times.
✗ Branch 4355 not taken.
✓ Branch 4357 taken 1 times.
✗ Branch 4358 not taken.
✓ Branch 4360 taken 1 times.
✗ Branch 4361 not taken.
✓ Branch 4363 taken 1 times.
✗ Branch 4364 not taken.
✓ Branch 4366 taken 1 times.
✗ Branch 4367 not taken.
✓ Branch 4369 taken 1 times.
✗ Branch 4370 not taken.
✓ Branch 4372 taken 1 times.
✗ Branch 4373 not taken.
✓ Branch 4375 taken 2 times.
✗ Branch 4376 not taken.
✓ Branch 4378 taken 2 times.
✗ Branch 4379 not taken.
✓ Branch 4381 taken 2 times.
✗ Branch 4382 not taken.
✓ Branch 4384 taken 2 times.
✗ Branch 4385 not taken.
✓ Branch 4387 taken 2 times.
✗ Branch 4388 not taken.
✓ Branch 4390 taken 2 times.
✗ Branch 4391 not taken.
✓ Branch 4393 taken 2 times.
✗ Branch 4394 not taken.
✓ Branch 4396 taken 2 times.
✗ Branch 4397 not taken.
✓ Branch 4399 taken 2 times.
✗ Branch 4400 not taken.
✓ Branch 4402 taken 1 times.
✗ Branch 4403 not taken.
✓ Branch 4405 taken 1 times.
✗ Branch 4406 not taken.
✓ Branch 4408 taken 1 times.
✗ Branch 4409 not taken.
✓ Branch 4411 taken 1 times.
✗ Branch 4412 not taken.
✓ Branch 4414 taken 1 times.
✗ Branch 4415 not taken.
✓ Branch 4417 taken 1 times.
✗ Branch 4418 not taken.
✓ Branch 4420 taken 1 times.
✗ Branch 4421 not taken.
✓ Branch 4423 taken 1 times.
✗ Branch 4424 not taken.
✓ Branch 4426 taken 1 times.
✗ Branch 4427 not taken.
✓ Branch 4429 taken 1 times.
✗ Branch 4430 not taken.
✓ Branch 4432 taken 1 times.
✗ Branch 4433 not taken.
✓ Branch 4435 taken 1 times.
✗ Branch 4436 not taken.
✓ Branch 4438 taken 1 times.
✗ Branch 4439 not taken.
✓ Branch 4441 taken 1 times.
✗ Branch 4442 not taken.
✓ Branch 4444 taken 1 times.
✗ Branch 4445 not taken.
✓ Branch 4447 taken 1 times.
✗ Branch 4448 not taken.
✓ Branch 4450 taken 1 times.
✗ Branch 4451 not taken.
✓ Branch 4453 taken 1 times.
✗ Branch 4454 not taken.
✓ Branch 4456 taken 2 times.
✗ Branch 4457 not taken.
✓ Branch 4459 taken 2 times.
✗ Branch 4460 not taken.
✓ Branch 4462 taken 2 times.
✗ Branch 4463 not taken.
✓ Branch 4465 taken 2 times.
✗ Branch 4466 not taken.
✓ Branch 4468 taken 2 times.
✗ Branch 4469 not taken.
✓ Branch 4471 taken 2 times.
✗ Branch 4472 not taken.
✓ Branch 4474 taken 2 times.
✗ Branch 4475 not taken.
✓ Branch 4477 taken 2 times.
✗ Branch 4478 not taken.
✓ Branch 4480 taken 2 times.
✗ Branch 4481 not taken.
✓ Branch 4483 taken 1 times.
✗ Branch 4484 not taken.
✓ Branch 4486 taken 1 times.
✗ Branch 4487 not taken.
✓ Branch 4489 taken 1 times.
✗ Branch 4490 not taken.
✓ Branch 4492 taken 1 times.
✗ Branch 4493 not taken.
✓ Branch 4495 taken 1 times.
✗ Branch 4496 not taken.
✓ Branch 4498 taken 1 times.
✗ Branch 4499 not taken.
✓ Branch 4501 taken 1 times.
✗ Branch 4502 not taken.
✓ Branch 4504 taken 1 times.
✗ Branch 4505 not taken.
✓ Branch 4507 taken 1 times.
✗ Branch 4508 not taken.
✓ Branch 4510 taken 1 times.
✗ Branch 4511 not taken.
✓ Branch 4513 taken 1 times.
✗ Branch 4514 not taken.
✓ Branch 4516 taken 1 times.
✗ Branch 4517 not taken.
✓ Branch 4519 taken 1 times.
✗ Branch 4520 not taken.
✓ Branch 4522 taken 1 times.
✗ Branch 4523 not taken.
✓ Branch 4525 taken 1 times.
✗ Branch 4526 not taken.
✓ Branch 4528 taken 1 times.
✗ Branch 4529 not taken.
✓ Branch 4531 taken 1 times.
✗ Branch 4532 not taken.
✓ Branch 4534 taken 1 times.
✗ Branch 4535 not taken.
✓ Branch 4537 taken 2 times.
✗ Branch 4538 not taken.
✓ Branch 4540 taken 2 times.
✗ Branch 4541 not taken.
✓ Branch 4543 taken 2 times.
✗ Branch 4544 not taken.
✓ Branch 4546 taken 2 times.
✗ Branch 4547 not taken.
✓ Branch 4549 taken 2 times.
✗ Branch 4550 not taken.
✓ Branch 4552 taken 2 times.
✗ Branch 4553 not taken.
✓ Branch 4555 taken 2 times.
✗ Branch 4556 not taken.
✓ Branch 4558 taken 2 times.
✗ Branch 4559 not taken.
✓ Branch 4561 taken 2 times.
✗ Branch 4562 not taken.
✓ Branch 4564 taken 1 times.
✗ Branch 4565 not taken.
✓ Branch 4567 taken 1 times.
✗ Branch 4568 not taken.
✓ Branch 4570 taken 1 times.
✗ Branch 4571 not taken.
✓ Branch 4573 taken 1 times.
✗ Branch 4574 not taken.
✓ Branch 4576 taken 1 times.
✗ Branch 4577 not taken.
✓ Branch 4579 taken 1 times.
✗ Branch 4580 not taken.
✓ Branch 4582 taken 1 times.
✗ Branch 4583 not taken.
✓ Branch 4585 taken 1 times.
✗ Branch 4586 not taken.
✓ Branch 4588 taken 1 times.
✗ Branch 4589 not taken.
✓ Branch 4591 taken 1 times.
✗ Branch 4592 not taken.
✓ Branch 4594 taken 1 times.
✗ Branch 4595 not taken.
✓ Branch 4597 taken 1 times.
✗ Branch 4598 not taken.
✓ Branch 4600 taken 1 times.
✗ Branch 4601 not taken.
✓ Branch 4603 taken 1 times.
✗ Branch 4604 not taken.
✓ Branch 4606 taken 1 times.
✗ Branch 4607 not taken.
✓ Branch 4609 taken 1 times.
✗ Branch 4610 not taken.
✓ Branch 4612 taken 1 times.
✗ Branch 4613 not taken.
✓ Branch 4615 taken 1 times.
✗ Branch 4616 not taken.
✓ Branch 4618 taken 2 times.
✗ Branch 4619 not taken.
✓ Branch 4621 taken 2 times.
✗ Branch 4622 not taken.
✓ Branch 4624 taken 2 times.
✗ Branch 4625 not taken.
✓ Branch 4627 taken 2 times.
✗ Branch 4628 not taken.
✓ Branch 4630 taken 2 times.
✗ Branch 4631 not taken.
✓ Branch 4633 taken 2 times.
✗ Branch 4634 not taken.
✓ Branch 4636 taken 2 times.
✗ Branch 4637 not taken.
✓ Branch 4639 taken 2 times.
✗ Branch 4640 not taken.
✓ Branch 4642 taken 2 times.
✗ Branch 4643 not taken.
✓ Branch 4645 taken 1 times.
✗ Branch 4646 not taken.
✓ Branch 4648 taken 1 times.
✗ Branch 4649 not taken.
✓ Branch 4651 taken 1 times.
✗ Branch 4652 not taken.
✓ Branch 4654 taken 1 times.
✗ Branch 4655 not taken.
✓ Branch 4657 taken 1 times.
✗ Branch 4658 not taken.
✓ Branch 4660 taken 1 times.
✗ Branch 4661 not taken.
✓ Branch 4663 taken 1 times.
✗ Branch 4664 not taken.
✓ Branch 4666 taken 1 times.
✗ Branch 4667 not taken.
✓ Branch 4669 taken 1 times.
✗ Branch 4670 not taken.
✓ Branch 4672 taken 1 times.
✗ Branch 4673 not taken.
✓ Branch 4675 taken 1 times.
✗ Branch 4676 not taken.
✓ Branch 4678 taken 1 times.
✗ Branch 4679 not taken.
✓ Branch 4681 taken 1 times.
✗ Branch 4682 not taken.
✓ Branch 4684 taken 1 times.
✗ Branch 4685 not taken.
✓ Branch 4687 taken 1 times.
✗ Branch 4688 not taken.
✓ Branch 4690 taken 1 times.
✗ Branch 4691 not taken.
✓ Branch 4693 taken 1 times.
✗ Branch 4694 not taken.
✓ Branch 4696 taken 1 times.
✗ Branch 4697 not taken.
✓ Branch 4699 taken 2 times.
✗ Branch 4700 not taken.
✓ Branch 4702 taken 2 times.
✗ Branch 4703 not taken.
✓ Branch 4705 taken 2 times.
✗ Branch 4706 not taken.
✓ Branch 4708 taken 2 times.
✗ Branch 4709 not taken.
✓ Branch 4711 taken 2 times.
✗ Branch 4712 not taken.
✓ Branch 4714 taken 2 times.
✗ Branch 4715 not taken.
✓ Branch 4717 taken 2 times.
✗ Branch 4718 not taken.
✓ Branch 4720 taken 2 times.
✗ Branch 4721 not taken.
✓ Branch 4723 taken 2 times.
✗ Branch 4724 not taken.
✓ Branch 4726 taken 1 times.
✗ Branch 4727 not taken.
✓ Branch 4729 taken 1 times.
✗ Branch 4730 not taken.
✓ Branch 4732 taken 1 times.
✗ Branch 4733 not taken.
✓ Branch 4735 taken 1 times.
✗ Branch 4736 not taken.
✓ Branch 4738 taken 1 times.
✗ Branch 4739 not taken.
✓ Branch 4741 taken 1 times.
✗ Branch 4742 not taken.
✓ Branch 4744 taken 1 times.
✗ Branch 4745 not taken.
✓ Branch 4747 taken 1 times.
✗ Branch 4748 not taken.
✓ Branch 4750 taken 1 times.
✗ Branch 4751 not taken.
✓ Branch 4753 taken 1 times.
✗ Branch 4754 not taken.
✓ Branch 4756 taken 1 times.
✗ Branch 4757 not taken.
✓ Branch 4759 taken 1 times.
✗ Branch 4760 not taken.
✓ Branch 4762 taken 1 times.
✗ Branch 4763 not taken.
✓ Branch 4765 taken 1 times.
✗ Branch 4766 not taken.
✓ Branch 4768 taken 1 times.
✗ Branch 4769 not taken.
✓ Branch 4771 taken 1 times.
✗ Branch 4772 not taken.
✓ Branch 4774 taken 1 times.
✗ Branch 4775 not taken.
✓ Branch 4777 taken 1 times.
✗ Branch 4778 not taken.
✓ Branch 4780 taken 2 times.
✗ Branch 4781 not taken.
✓ Branch 4783 taken 2 times.
✗ Branch 4784 not taken.
✓ Branch 4786 taken 2 times.
✗ Branch 4787 not taken.
✓ Branch 4789 taken 2 times.
✗ Branch 4790 not taken.
✓ Branch 4792 taken 2 times.
✗ Branch 4793 not taken.
✓ Branch 4795 taken 2 times.
✗ Branch 4796 not taken.
✓ Branch 4798 taken 2 times.
✗ Branch 4799 not taken.
✓ Branch 4801 taken 2 times.
✗ Branch 4802 not taken.
✓ Branch 4804 taken 2 times.
✗ Branch 4805 not taken.
✓ Branch 4807 taken 1 times.
✗ Branch 4808 not taken.
✓ Branch 4810 taken 1 times.
✗ Branch 4811 not taken.
✓ Branch 4813 taken 1 times.
✗ Branch 4814 not taken.
✓ Branch 4816 taken 1 times.
✗ Branch 4817 not taken.
✓ Branch 4819 taken 1 times.
✗ Branch 4820 not taken.
✓ Branch 4822 taken 1 times.
✗ Branch 4823 not taken.
✓ Branch 4825 taken 1 times.
✗ Branch 4826 not taken.
✓ Branch 4828 taken 1 times.
✗ Branch 4829 not taken.
✓ Branch 4831 taken 1 times.
✗ Branch 4832 not taken.
✓ Branch 4834 taken 1 times.
✗ Branch 4835 not taken.
✓ Branch 4837 taken 1 times.
✗ Branch 4838 not taken.
✓ Branch 4840 taken 1 times.
✗ Branch 4841 not taken.
✓ Branch 4843 taken 1 times.
✗ Branch 4844 not taken.
✓ Branch 4846 taken 1 times.
✗ Branch 4847 not taken.
✓ Branch 4849 taken 1 times.
✗ Branch 4850 not taken.
✓ Branch 4852 taken 1 times.
✗ Branch 4853 not taken.
✓ Branch 4855 taken 1 times.
✗ Branch 4856 not taken.
✓ Branch 4858 taken 1 times.
✗ Branch 4859 not taken.
✓ Branch 4861 taken 2 times.
✗ Branch 4862 not taken.
✓ Branch 4864 taken 2 times.
✗ Branch 4865 not taken.
✓ Branch 4867 taken 2 times.
✗ Branch 4868 not taken.
✓ Branch 4870 taken 2 times.
✗ Branch 4871 not taken.
✓ Branch 4873 taken 2 times.
✗ Branch 4874 not taken.
✓ Branch 4876 taken 2 times.
✗ Branch 4877 not taken.
✓ Branch 4879 taken 2 times.
✗ Branch 4880 not taken.
✓ Branch 4882 taken 2 times.
✗ Branch 4883 not taken.
✓ Branch 4885 taken 2 times.
✗ Branch 4886 not taken.
✓ Branch 4888 taken 1 times.
✗ Branch 4889 not taken.
✓ Branch 4891 taken 1 times.
✗ Branch 4892 not taken.
✓ Branch 4894 taken 1 times.
✗ Branch 4895 not taken.
✓ Branch 4897 taken 1 times.
✗ Branch 4898 not taken.
✓ Branch 4900 taken 1 times.
✗ Branch 4901 not taken.
✓ Branch 4903 taken 1 times.
✗ Branch 4904 not taken.
✓ Branch 4906 taken 1 times.
✗ Branch 4907 not taken.
✓ Branch 4909 taken 1 times.
✗ Branch 4910 not taken.
✓ Branch 4912 taken 1 times.
✗ Branch 4913 not taken.
✓ Branch 4915 taken 1 times.
✗ Branch 4916 not taken.
✓ Branch 4918 taken 1 times.
✗ Branch 4919 not taken.
✓ Branch 4921 taken 1 times.
✗ Branch 4922 not taken.
✓ Branch 4924 taken 1 times.
✗ Branch 4925 not taken.
✓ Branch 4927 taken 1 times.
✗ Branch 4928 not taken.
✓ Branch 4930 taken 1 times.
✗ Branch 4931 not taken.
✓ Branch 4933 taken 1 times.
✗ Branch 4934 not taken.
✓ Branch 4936 taken 1 times.
✗ Branch 4937 not taken.
✓ Branch 4939 taken 1 times.
✗ Branch 4940 not taken.
✓ Branch 4942 taken 2 times.
✗ Branch 4943 not taken.
✓ Branch 4945 taken 2 times.
✗ Branch 4946 not taken.
✓ Branch 4948 taken 2 times.
✗ Branch 4949 not taken.
✓ Branch 4951 taken 2 times.
✗ Branch 4952 not taken.
✓ Branch 4954 taken 2 times.
✗ Branch 4955 not taken.
✓ Branch 4957 taken 2 times.
✗ Branch 4958 not taken.
✓ Branch 4960 taken 2 times.
✗ Branch 4961 not taken.
✓ Branch 4963 taken 2 times.
✗ Branch 4964 not taken.
✓ Branch 4966 taken 2 times.
✗ Branch 4967 not taken.
✓ Branch 4969 taken 1 times.
✗ Branch 4970 not taken.
✓ Branch 4972 taken 1 times.
✗ Branch 4973 not taken.
✓ Branch 4975 taken 1 times.
✗ Branch 4976 not taken.
✓ Branch 4978 taken 1 times.
✗ Branch 4979 not taken.
✓ Branch 4981 taken 1 times.
✗ Branch 4982 not taken.
✓ Branch 4984 taken 1 times.
✗ Branch 4985 not taken.
✓ Branch 4987 taken 1 times.
✗ Branch 4988 not taken.
✓ Branch 4990 taken 1 times.
✗ Branch 4991 not taken.
✓ Branch 4993 taken 1 times.
✗ Branch 4994 not taken.
✓ Branch 4996 taken 1 times.
✗ Branch 4997 not taken.
✓ Branch 4999 taken 1 times.
✗ Branch 5000 not taken.
✓ Branch 5002 taken 1 times.
✗ Branch 5003 not taken.
✓ Branch 5005 taken 1 times.
✗ Branch 5006 not taken.
✓ Branch 5008 taken 1 times.
✗ Branch 5009 not taken.
✓ Branch 5011 taken 1 times.
✗ Branch 5012 not taken.
✓ Branch 5014 taken 1 times.
✗ Branch 5015 not taken.
✓ Branch 5017 taken 1 times.
✗ Branch 5018 not taken.
✓ Branch 5020 taken 1 times.
✗ Branch 5021 not taken.
✓ Branch 5023 taken 2 times.
✗ Branch 5024 not taken.
✓ Branch 5026 taken 2 times.
✗ Branch 5027 not taken.
✓ Branch 5029 taken 2 times.
✗ Branch 5030 not taken.
✓ Branch 5032 taken 2 times.
✗ Branch 5033 not taken.
✓ Branch 5035 taken 2 times.
✗ Branch 5036 not taken.
✓ Branch 5038 taken 2 times.
✗ Branch 5039 not taken.
✓ Branch 5041 taken 2 times.
✗ Branch 5042 not taken.
✓ Branch 5044 taken 2 times.
✗ Branch 5045 not taken.
✓ Branch 5047 taken 2 times.
✗ Branch 5048 not taken.
✓ Branch 5050 taken 1 times.
✗ Branch 5051 not taken.
✓ Branch 5053 taken 1 times.
✗ Branch 5054 not taken.
✓ Branch 5056 taken 1 times.
✗ Branch 5057 not taken.
✓ Branch 5059 taken 1 times.
✗ Branch 5060 not taken.
✓ Branch 5062 taken 1 times.
✗ Branch 5063 not taken.
✓ Branch 5065 taken 1 times.
✗ Branch 5066 not taken.
✓ Branch 5068 taken 1 times.
✗ Branch 5069 not taken.
✓ Branch 5071 taken 1 times.
✗ Branch 5072 not taken.
✓ Branch 5074 taken 1 times.
✗ Branch 5075 not taken.
✓ Branch 5077 taken 1 times.
✗ Branch 5078 not taken.
✓ Branch 5080 taken 1 times.
✗ Branch 5081 not taken.
✓ Branch 5083 taken 1 times.
✗ Branch 5084 not taken.
✓ Branch 5086 taken 1 times.
✗ Branch 5087 not taken.
✓ Branch 5089 taken 1 times.
✗ Branch 5090 not taken.
✓ Branch 5092 taken 1 times.
✗ Branch 5093 not taken.
✓ Branch 5095 taken 1 times.
✗ Branch 5096 not taken.
✓ Branch 5098 taken 1 times.
✗ Branch 5099 not taken.
✓ Branch 5101 taken 1 times.
✗ Branch 5102 not taken.
✓ Branch 5104 taken 2 times.
✗ Branch 5105 not taken.
✓ Branch 5107 taken 2 times.
✗ Branch 5108 not taken.
✓ Branch 5110 taken 2 times.
✗ Branch 5111 not taken.
✓ Branch 5113 taken 2 times.
✗ Branch 5114 not taken.
✓ Branch 5116 taken 2 times.
✗ Branch 5117 not taken.
✓ Branch 5119 taken 2 times.
✗ Branch 5120 not taken.
✓ Branch 5122 taken 2 times.
✗ Branch 5123 not taken.
✓ Branch 5125 taken 2 times.
✗ Branch 5126 not taken.
✓ Branch 5128 taken 2 times.
✗ Branch 5129 not taken.
✓ Branch 5131 taken 1 times.
✗ Branch 5132 not taken.
✓ Branch 5134 taken 1 times.
✗ Branch 5135 not taken.
✓ Branch 5137 taken 1 times.
✗ Branch 5138 not taken.
✓ Branch 5140 taken 1 times.
✗ Branch 5141 not taken.
✓ Branch 5143 taken 1 times.
✗ Branch 5144 not taken.
✓ Branch 5146 taken 1 times.
✗ Branch 5147 not taken.
✓ Branch 5149 taken 1 times.
✗ Branch 5150 not taken.
✓ Branch 5152 taken 1 times.
✗ Branch 5153 not taken.
✓ Branch 5155 taken 1 times.
✗ Branch 5156 not taken.
✓ Branch 5158 taken 1 times.
✗ Branch 5159 not taken.
✓ Branch 5161 taken 1 times.
✗ Branch 5162 not taken.
✓ Branch 5164 taken 1 times.
✗ Branch 5165 not taken.
✓ Branch 5167 taken 1 times.
✗ Branch 5168 not taken.
✓ Branch 5170 taken 1 times.
✗ Branch 5171 not taken.
✓ Branch 5173 taken 1 times.
✗ Branch 5174 not taken.
✓ Branch 5176 taken 1 times.
✗ Branch 5177 not taken.
✓ Branch 5179 taken 1 times.
✗ Branch 5180 not taken.
✓ Branch 5182 taken 1 times.
✗ Branch 5183 not taken.
✓ Branch 5185 taken 2 times.
✗ Branch 5186 not taken.
✓ Branch 5188 taken 2 times.
✗ Branch 5189 not taken.
✓ Branch 5191 taken 2 times.
✗ Branch 5192 not taken.
✓ Branch 5194 taken 2 times.
✗ Branch 5195 not taken.
✓ Branch 5197 taken 2 times.
✗ Branch 5198 not taken.
✓ Branch 5200 taken 2 times.
✗ Branch 5201 not taken.
✓ Branch 5203 taken 2 times.
✗ Branch 5204 not taken.
✓ Branch 5206 taken 2 times.
✗ Branch 5207 not taken.
✓ Branch 5209 taken 2 times.
✗ Branch 5210 not taken.
✓ Branch 5212 taken 1 times.
✗ Branch 5213 not taken.
✓ Branch 5215 taken 1 times.
✗ Branch 5216 not taken.
✓ Branch 5218 taken 1 times.
✗ Branch 5219 not taken.
✓ Branch 5221 taken 1 times.
✗ Branch 5222 not taken.
✓ Branch 5224 taken 1 times.
✗ Branch 5225 not taken.
✓ Branch 5227 taken 1 times.
✗ Branch 5228 not taken.
✓ Branch 5230 taken 1 times.
✗ Branch 5231 not taken.
✓ Branch 5233 taken 1 times.
✗ Branch 5234 not taken.
✓ Branch 5236 taken 1 times.
✗ Branch 5237 not taken.
✓ Branch 5239 taken 1 times.
✗ Branch 5240 not taken.
✓ Branch 5242 taken 1 times.
✗ Branch 5243 not taken.
✓ Branch 5245 taken 1 times.
✗ Branch 5246 not taken.
✓ Branch 5248 taken 1 times.
✗ Branch 5249 not taken.
✓ Branch 5251 taken 1 times.
✗ Branch 5252 not taken.
✓ Branch 5254 taken 1 times.
✗ Branch 5255 not taken.
✓ Branch 5257 taken 1 times.
✗ Branch 5258 not taken.
✓ Branch 5260 taken 1 times.
✗ Branch 5261 not taken.
✓ Branch 5263 taken 1 times.
✗ Branch 5264 not taken.
✓ Branch 5266 taken 2 times.
✗ Branch 5267 not taken.
✓ Branch 5269 taken 2 times.
✗ Branch 5270 not taken.
✓ Branch 5272 taken 2 times.
✗ Branch 5273 not taken.
✓ Branch 5275 taken 2 times.
✗ Branch 5276 not taken.
✓ Branch 5278 taken 2 times.
✗ Branch 5279 not taken.
✓ Branch 5281 taken 2 times.
✗ Branch 5282 not taken.
✓ Branch 5284 taken 2 times.
✗ Branch 5285 not taken.
✓ Branch 5287 taken 2 times.
✗ Branch 5288 not taken.
✓ Branch 5290 taken 2 times.
✗ Branch 5291 not taken.
✓ Branch 5293 taken 1 times.
✗ Branch 5294 not taken.
✓ Branch 5296 taken 1 times.
✗ Branch 5297 not taken.
✓ Branch 5299 taken 1 times.
✗ Branch 5300 not taken.
✓ Branch 5302 taken 1 times.
✗ Branch 5303 not taken.
✓ Branch 5305 taken 1 times.
✗ Branch 5306 not taken.
✓ Branch 5308 taken 1 times.
✗ Branch 5309 not taken.
✓ Branch 5311 taken 1 times.
✗ Branch 5312 not taken.
✓ Branch 5314 taken 1 times.
✗ Branch 5315 not taken.
✓ Branch 5317 taken 1 times.
✗ Branch 5318 not taken.
✓ Branch 5320 taken 1 times.
✗ Branch 5321 not taken.
✓ Branch 5323 taken 1 times.
✗ Branch 5324 not taken.
✓ Branch 5326 taken 1 times.
✗ Branch 5327 not taken.
✓ Branch 5329 taken 1 times.
✗ Branch 5330 not taken.
✓ Branch 5332 taken 1 times.
✗ Branch 5333 not taken.
✓ Branch 5335 taken 1 times.
✗ Branch 5336 not taken.
✓ Branch 5338 taken 1 times.
✗ Branch 5339 not taken.
✓ Branch 5341 taken 1 times.
✗ Branch 5342 not taken.
✓ Branch 5344 taken 1 times.
✗ Branch 5345 not taken.
✓ Branch 5347 taken 2 times.
✗ Branch 5348 not taken.
✓ Branch 5350 taken 2 times.
✗ Branch 5351 not taken.
✓ Branch 5353 taken 2 times.
✗ Branch 5354 not taken.
✓ Branch 5356 taken 2 times.
✗ Branch 5357 not taken.
✓ Branch 5359 taken 2 times.
✗ Branch 5360 not taken.
✓ Branch 5362 taken 2 times.
✗ Branch 5363 not taken.
✓ Branch 5365 taken 2 times.
✗ Branch 5366 not taken.
✓ Branch 5368 taken 2 times.
✗ Branch 5369 not taken.
✓ Branch 5371 taken 2 times.
✗ Branch 5372 not taken.
✓ Branch 5374 taken 1 times.
✗ Branch 5375 not taken.
✓ Branch 5377 taken 1 times.
✗ Branch 5378 not taken.
✓ Branch 5380 taken 1 times.
✗ Branch 5381 not taken.
✓ Branch 5383 taken 1 times.
✗ Branch 5384 not taken.
✓ Branch 5386 taken 1 times.
✗ Branch 5387 not taken.
✓ Branch 5389 taken 1 times.
✗ Branch 5390 not taken.
✓ Branch 5392 taken 1 times.
✗ Branch 5393 not taken.
✓ Branch 5395 taken 1 times.
✗ Branch 5396 not taken.
✓ Branch 5398 taken 1 times.
✗ Branch 5399 not taken.
✓ Branch 5401 taken 2 times.
✗ Branch 5402 not taken.
✓ Branch 5404 taken 2 times.
✗ Branch 5405 not taken.
✓ Branch 5407 taken 2 times.
✗ Branch 5408 not taken.
✓ Branch 5410 taken 2 times.
✗ Branch 5411 not taken.
✓ Branch 5413 taken 2 times.
✗ Branch 5414 not taken.
✓ Branch 5416 taken 2 times.
✗ Branch 5417 not taken.
✓ Branch 5419 taken 2 times.
✗ Branch 5420 not taken.
✓ Branch 5422 taken 2 times.
✗ Branch 5423 not taken.
✓ Branch 5425 taken 2 times.
✗ Branch 5426 not taken.
✓ Branch 5428 taken 1 times.
✗ Branch 5429 not taken.
✓ Branch 5431 taken 1 times.
✗ Branch 5432 not taken.
✓ Branch 5434 taken 1 times.
✗ Branch 5435 not taken.
✓ Branch 5437 taken 1 times.
✗ Branch 5438 not taken.
✓ Branch 5440 taken 1 times.
✗ Branch 5441 not taken.
✓ Branch 5443 taken 1 times.
✗ Branch 5444 not taken.
✓ Branch 5446 taken 1 times.
✗ Branch 5447 not taken.
✓ Branch 5449 taken 1 times.
✗ Branch 5450 not taken.
✓ Branch 5452 taken 1 times.
✗ Branch 5453 not taken.
✓ Branch 5455 taken 2 times.
✗ Branch 5456 not taken.
✓ Branch 5458 taken 2 times.
✗ Branch 5459 not taken.
✓ Branch 5461 taken 2 times.
✗ Branch 5462 not taken.
✓ Branch 5464 taken 2 times.
✗ Branch 5465 not taken.
✓ Branch 5467 taken 2 times.
✗ Branch 5468 not taken.
✓ Branch 5470 taken 2 times.
✗ Branch 5471 not taken.
✓ Branch 5473 taken 2 times.
✗ Branch 5474 not taken.
✓ Branch 5476 taken 2 times.
✗ Branch 5477 not taken.
✓ Branch 5479 taken 2 times.
✗ Branch 5480 not taken.
✓ Branch 5482 taken 1 times.
✗ Branch 5483 not taken.
✓ Branch 5485 taken 1 times.
✗ Branch 5486 not taken.
✓ Branch 5488 taken 1 times.
✗ Branch 5489 not taken.
✓ Branch 5491 taken 1 times.
✗ Branch 5492 not taken.
✓ Branch 5494 taken 1 times.
✗ Branch 5495 not taken.
✓ Branch 5497 taken 1 times.
✗ Branch 5498 not taken.
✓ Branch 5500 taken 1 times.
✗ Branch 5501 not taken.
✓ Branch 5503 taken 1 times.
✗ Branch 5504 not taken.
✓ Branch 5506 taken 1 times.
✗ Branch 5507 not taken.
✓ Branch 5509 taken 2 times.
✗ Branch 5510 not taken.
✓ Branch 5512 taken 2 times.
✗ Branch 5513 not taken.
✓ Branch 5515 taken 2 times.
✗ Branch 5516 not taken.
✓ Branch 5518 taken 2 times.
✗ Branch 5519 not taken.
✓ Branch 5521 taken 2 times.
✗ Branch 5522 not taken.
✓ Branch 5524 taken 2 times.
✗ Branch 5525 not taken.
✓ Branch 5527 taken 2 times.
✗ Branch 5528 not taken.
✓ Branch 5530 taken 2 times.
✗ Branch 5531 not taken.
✓ Branch 5533 taken 2 times.
✗ Branch 5534 not taken.
✓ Branch 5536 taken 1 times.
✗ Branch 5537 not taken.
✓ Branch 5539 taken 1 times.
✗ Branch 5540 not taken.
✓ Branch 5542 taken 1 times.
✗ Branch 5543 not taken.
✓ Branch 5545 taken 1 times.
✗ Branch 5546 not taken.
✓ Branch 5548 taken 1 times.
✗ Branch 5549 not taken.
✓ Branch 5551 taken 1 times.
✗ Branch 5552 not taken.
✓ Branch 5554 taken 1 times.
✗ Branch 5555 not taken.
✓ Branch 5557 taken 1 times.
✗ Branch 5558 not taken.
✓ Branch 5560 taken 1 times.
✗ Branch 5561 not taken.
✓ Branch 5563 taken 2 times.
✗ Branch 5564 not taken.
✓ Branch 5566 taken 2 times.
✗ Branch 5567 not taken.
✓ Branch 5569 taken 2 times.
✗ Branch 5570 not taken.
✓ Branch 5572 taken 2 times.
✗ Branch 5573 not taken.
✓ Branch 5575 taken 2 times.
✗ Branch 5576 not taken.
✓ Branch 5578 taken 2 times.
✗ Branch 5579 not taken.
✓ Branch 5581 taken 2 times.
✗ Branch 5582 not taken.
✓ Branch 5584 taken 2 times.
✗ Branch 5585 not taken.
✓ Branch 5587 taken 2 times.
✗ Branch 5588 not taken.
✓ Branch 5590 taken 1 times.
✗ Branch 5591 not taken.
✓ Branch 5593 taken 1 times.
✗ Branch 5594 not taken.
✓ Branch 5596 taken 1 times.
✗ Branch 5597 not taken.
✓ Branch 5599 taken 1 times.
✗ Branch 5600 not taken.
✓ Branch 5602 taken 1 times.
✗ Branch 5603 not taken.
✓ Branch 5605 taken 1 times.
✗ Branch 5606 not taken.
✓ Branch 5608 taken 1 times.
✗ Branch 5609 not taken.
✓ Branch 5611 taken 1 times.
✗ Branch 5612 not taken.
✓ Branch 5614 taken 1 times.
✗ Branch 5615 not taken.
✓ Branch 5617 taken 2 times.
✗ Branch 5618 not taken.
✓ Branch 5620 taken 2 times.
✗ Branch 5621 not taken.
✓ Branch 5623 taken 2 times.
✗ Branch 5624 not taken.
✓ Branch 5626 taken 2 times.
✗ Branch 5627 not taken.
✓ Branch 5629 taken 2 times.
✗ Branch 5630 not taken.
✓ Branch 5632 taken 2 times.
✗ Branch 5633 not taken.
✓ Branch 5635 taken 2 times.
✗ Branch 5636 not taken.
✓ Branch 5638 taken 2 times.
✗ Branch 5639 not taken.
✓ Branch 5641 taken 2 times.
✗ Branch 5642 not taken.
✓ Branch 5644 taken 1 times.
✗ Branch 5645 not taken.
✓ Branch 5647 taken 1 times.
✗ Branch 5648 not taken.
✓ Branch 5650 taken 1 times.
✗ Branch 5651 not taken.
✓ Branch 5653 taken 1 times.
✗ Branch 5654 not taken.
✓ Branch 5656 taken 1 times.
✗ Branch 5657 not taken.
✓ Branch 5659 taken 1 times.
✗ Branch 5660 not taken.
✓ Branch 5662 taken 1 times.
✗ Branch 5663 not taken.
✓ Branch 5665 taken 1 times.
✗ Branch 5666 not taken.
✓ Branch 5668 taken 1 times.
✗ Branch 5669 not taken.
✓ Branch 5671 taken 2 times.
✗ Branch 5672 not taken.
✓ Branch 5674 taken 2 times.
✗ Branch 5675 not taken.
✓ Branch 5677 taken 2 times.
✗ Branch 5678 not taken.
✓ Branch 5680 taken 2 times.
✗ Branch 5681 not taken.
✓ Branch 5683 taken 2 times.
✗ Branch 5684 not taken.
✓ Branch 5686 taken 2 times.
✗ Branch 5687 not taken.
✓ Branch 5689 taken 2 times.
✗ Branch 5690 not taken.
✓ Branch 5692 taken 2 times.
✗ Branch 5693 not taken.
✓ Branch 5695 taken 2 times.
✗ Branch 5696 not taken.
✓ Branch 5698 taken 1 times.
✗ Branch 5699 not taken.
✓ Branch 5701 taken 1 times.
✗ Branch 5702 not taken.
✓ Branch 5704 taken 1 times.
✗ Branch 5705 not taken.
✓ Branch 5707 taken 1 times.
✗ Branch 5708 not taken.
✓ Branch 5710 taken 1 times.
✗ Branch 5711 not taken.
✓ Branch 5713 taken 1 times.
✗ Branch 5714 not taken.
✓ Branch 5716 taken 1 times.
✗ Branch 5717 not taken.
✓ Branch 5719 taken 1 times.
✗ Branch 5720 not taken.
✓ Branch 5722 taken 1 times.
✗ Branch 5723 not taken.
✓ Branch 5725 taken 2 times.
✗ Branch 5726 not taken.
✓ Branch 5728 taken 2 times.
✗ Branch 5729 not taken.
✓ Branch 5731 taken 2 times.
✗ Branch 5732 not taken.
✓ Branch 5734 taken 2 times.
✗ Branch 5735 not taken.
✓ Branch 5737 taken 2 times.
✗ Branch 5738 not taken.
✓ Branch 5740 taken 2 times.
✗ Branch 5741 not taken.
✓ Branch 5743 taken 2 times.
✗ Branch 5744 not taken.
✓ Branch 5746 taken 2 times.
✗ Branch 5747 not taken.
✓ Branch 5749 taken 2 times.
✗ Branch 5750 not taken.
 1917 : gridGeometryPtr_(&gridGeometry) {}
107
108 //! Get a sub control volume face with an element index and a local scvf index
109 const SubControlVolumeFace& scvf(GridIndexType eIdx, LocalIndexType localScvfIdx) const
110 {
111 8400 return scvf(this->gridGeometry().localToGlobalScvfIndex(eIdx, localScvfIdx));
112 }
113
114 //! Get an element sub control volume with a global scv index
115 //! We separate element and neighbor scvs to speed up mapping
116 const SubControlVolume& scv(GridIndexType scvIdx) const
117 {
118
144/368
✗ Branch 0 not taken.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✓ Branch 5 taken 25 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 25 times.
✓ Branch 8 taken 25 times.
✓ Branch 9 taken 80 times.
✓ Branch 10 taken 25 times.
✓ Branch 11 taken 80 times.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✓ Branch 17 taken 25 times.
✗ Branch 18 not taken.
✓ Branch 19 taken 25 times.
✓ Branch 20 taken 25 times.
✓ Branch 21 taken 80 times.
✓ Branch 22 taken 25 times.
✓ Branch 23 taken 80 times.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✓ Branch 28 taken 25 times.
✗ Branch 29 not taken.
✓ Branch 30 taken 25 times.
✗ Branch 31 not taken.
✓ Branch 32 taken 25 times.
✓ Branch 33 taken 80 times.
✓ Branch 34 taken 25 times.
✓ Branch 35 taken 80 times.
✗ Branch 36 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 39 not taken.
✓ Branch 40 taken 25 times.
✗ Branch 41 not taken.
✓ Branch 42 taken 25 times.
✗ Branch 43 not taken.
✓ Branch 44 taken 25 times.
✓ Branch 45 taken 80 times.
✓ Branch 46 taken 25 times.
✓ Branch 47 taken 80 times.
✗ Branch 48 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 51 not taken.
✓ Branch 52 taken 25 times.
✗ Branch 53 not taken.
✓ Branch 54 taken 25 times.
✗ Branch 55 not taken.
✓ Branch 56 taken 25 times.
✓ Branch 57 taken 80 times.
✓ Branch 58 taken 25 times.
✓ Branch 59 taken 80 times.
✗ Branch 60 not taken.
✗ Branch 61 not taken.
✗ Branch 62 not taken.
✗ Branch 63 not taken.
✓ Branch 64 taken 25 times.
✗ Branch 65 not taken.
✓ Branch 66 taken 25 times.
✗ Branch 67 not taken.
✓ Branch 68 taken 25 times.
✓ Branch 69 taken 80 times.
✓ Branch 70 taken 25 times.
✓ Branch 71 taken 80 times.
✗ Branch 72 not taken.
✗ Branch 73 not taken.
✗ Branch 74 not taken.
✗ Branch 75 not taken.
✓ Branch 76 taken 25 times.
✗ Branch 77 not taken.
✓ Branch 78 taken 25 times.
✗ Branch 79 not taken.
✓ Branch 80 taken 25 times.
✓ Branch 81 taken 80 times.
✓ Branch 82 taken 25 times.
✓ Branch 83 taken 80 times.
✗ Branch 84 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✗ Branch 87 not taken.
✓ Branch 88 taken 25 times.
✗ Branch 89 not taken.
✓ Branch 90 taken 25 times.
✗ Branch 91 not taken.
✓ Branch 92 taken 25 times.
✓ Branch 93 taken 80 times.
✓ Branch 94 taken 25 times.
✓ Branch 95 taken 80 times.
✗ Branch 96 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 99 not taken.
✓ Branch 100 taken 25 times.
✗ Branch 101 not taken.
✓ Branch 102 taken 25 times.
✗ Branch 103 not taken.
✓ Branch 104 taken 25 times.
✓ Branch 105 taken 80 times.
✓ Branch 106 taken 25 times.
✓ Branch 107 taken 80 times.
✗ Branch 108 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 111 not taken.
✓ Branch 112 taken 25 times.
✗ Branch 113 not taken.
✓ Branch 114 taken 25 times.
✗ Branch 115 not taken.
✓ Branch 116 taken 25 times.
✓ Branch 117 taken 80 times.
✓ Branch 118 taken 25 times.
✓ Branch 119 taken 80 times.
✗ Branch 120 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 123 not taken.
✓ Branch 124 taken 25 times.
✗ Branch 125 not taken.
✓ Branch 126 taken 25 times.
✗ Branch 127 not taken.
✓ Branch 128 taken 25 times.
✓ Branch 129 taken 80 times.
✓ Branch 130 taken 25 times.
✓ Branch 131 taken 80 times.
✗ Branch 132 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 135 not taken.
✓ Branch 136 taken 25 times.
✗ Branch 137 not taken.
✓ Branch 138 taken 25 times.
✗ Branch 139 not taken.
✓ Branch 140 taken 25 times.
✓ Branch 141 taken 80 times.
✓ Branch 142 taken 25 times.
✓ Branch 143 taken 80 times.
✗ Branch 144 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✓ Branch 148 taken 25 times.
✗ Branch 149 not taken.
✓ Branch 150 taken 25 times.
✗ Branch 151 not taken.
✓ Branch 152 taken 25 times.
✓ Branch 153 taken 80 times.
✓ Branch 154 taken 25 times.
✓ Branch 155 taken 80 times.
✗ Branch 156 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 159 not taken.
✓ Branch 160 taken 25 times.
✗ Branch 161 not taken.
✓ Branch 162 taken 25 times.
✗ Branch 163 not taken.
✓ Branch 164 taken 25 times.
✓ Branch 165 taken 80 times.
✓ Branch 166 taken 25 times.
✓ Branch 167 taken 80 times.
✗ Branch 168 not taken.
✗ Branch 169 not taken.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✓ Branch 172 taken 25 times.
✗ Branch 173 not taken.
✓ Branch 174 taken 25 times.
✗ Branch 175 not taken.
✓ Branch 176 taken 25 times.
✓ Branch 177 taken 80 times.
✓ Branch 178 taken 25 times.
✓ Branch 179 taken 80 times.
✗ Branch 180 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 183 not taken.
✓ Branch 184 taken 25 times.
✗ Branch 185 not taken.
✓ Branch 186 taken 25 times.
✗ Branch 187 not taken.
✓ Branch 188 taken 25 times.
✓ Branch 189 taken 80 times.
✓ Branch 190 taken 25 times.
✓ Branch 191 taken 80 times.
✗ Branch 192 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 195 not taken.
✓ Branch 196 taken 25 times.
✗ Branch 197 not taken.
✓ Branch 198 taken 25 times.
✗ Branch 199 not taken.
✓ Branch 200 taken 25 times.
✓ Branch 201 taken 80 times.
✓ Branch 202 taken 25 times.
✓ Branch 203 taken 80 times.
✗ Branch 204 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 207 not taken.
✓ Branch 208 taken 25 times.
✗ Branch 209 not taken.
✓ Branch 210 taken 25 times.
✗ Branch 211 not taken.
✓ Branch 212 taken 25 times.
✓ Branch 213 taken 80 times.
✓ Branch 214 taken 25 times.
✓ Branch 215 taken 80 times.
✗ Branch 216 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 219 not taken.
✓ Branch 220 taken 25 times.
✗ Branch 221 not taken.
✓ Branch 222 taken 25 times.
✗ Branch 223 not taken.
✓ Branch 224 taken 25 times.
✓ Branch 225 taken 80 times.
✓ Branch 226 taken 25 times.
✓ Branch 227 taken 80 times.
✗ Branch 228 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 231 not taken.
✓ Branch 232 taken 25 times.
✗ Branch 233 not taken.
✓ Branch 234 taken 25 times.
✗ Branch 235 not taken.
✓ Branch 236 taken 25 times.
✓ Branch 237 taken 80 times.
✓ Branch 238 taken 25 times.
✓ Branch 239 taken 80 times.
✗ Branch 240 not taken.
✗ Branch 241 not taken.
✗ Branch 242 not taken.
✗ Branch 243 not taken.
✓ Branch 244 taken 25 times.
✗ Branch 245 not taken.
✓ Branch 246 taken 25 times.
✗ Branch 247 not taken.
✓ Branch 248 taken 25 times.
✓ Branch 249 taken 80 times.
✓ Branch 250 taken 25 times.
✓ Branch 251 taken 80 times.
✗ Branch 252 not taken.
✗ Branch 253 not taken.
✗ Branch 254 not taken.
✗ Branch 255 not taken.
✓ Branch 256 taken 25 times.
✗ Branch 257 not taken.
✓ Branch 258 taken 25 times.
✗ Branch 259 not taken.
✓ Branch 260 taken 25 times.
✓ Branch 261 taken 80 times.
✓ Branch 262 taken 25 times.
✓ Branch 263 taken 80 times.
✗ Branch 264 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✓ Branch 268 taken 25 times.
✗ Branch 269 not taken.
✓ Branch 270 taken 25 times.
✗ Branch 271 not taken.
✓ Branch 272 taken 25 times.
✓ Branch 273 taken 80 times.
✓ Branch 274 taken 25 times.
✓ Branch 275 taken 80 times.
✗ Branch 276 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 279 not taken.
✓ Branch 280 taken 25 times.
✗ Branch 281 not taken.
✓ Branch 282 taken 25 times.
✗ Branch 283 not taken.
✓ Branch 284 taken 25 times.
✓ Branch 285 taken 80 times.
✓ Branch 286 taken 25 times.
✓ Branch 287 taken 80 times.
✗ Branch 288 not taken.
✗ Branch 289 not taken.
✗ Branch 290 not taken.
✗ Branch 291 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✗ Branch 297 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✗ Branch 300 not taken.
✗ Branch 301 not taken.
✗ Branch 302 not taken.
✗ Branch 303 not taken.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✗ Branch 306 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 309 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 312 not taken.
✗ Branch 313 not taken.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✗ Branch 318 not taken.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✗ Branch 321 not taken.
✗ 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 not taken.
✗ 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 not taken.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✗ Branch 352 not taken.
✗ 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.
 6240 if (scvIdx == scvIndices_[0])
119 2300 return scvs_[0];
120 else
121 1920 return neighborScvs_[findLocalIndex_(scvIdx, neighborScvIndices_)];
122 }
123
124 //! Get an element sub control volume face with a global scvf index
125 //! We separate element and neighbor scvfs to speed up mapping
126 4200 const SubControlVolumeFace& scvf(GridIndexType scvfIdx) const
127 {
128 12600 auto it = std::find(scvfIndices_.begin(), scvfIndices_.end(), scvfIdx);
129
3/6
✓ Branch 0 taken 4200 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 4200 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 4200 times.
✗ Branch 5 not taken.
 12600 if (it != scvfIndices_.end())
130 16800 return scvfs_[std::distance(scvfIndices_.begin(), it)];
131 else
132 ✗ return neighborScvfs_[findLocalIndex_(scvfIdx, neighborScvfIndices_)];
133 }
134
135 //! iterator range for sub control volumes. Iterates over
136 //! all scvs of the bound element (not including neighbor scvs)
137 //! This is a free function found by means of ADL
138 //! To iterate over all sub control volumes of this FVElementGeometry use
139 //! for (auto&& scv : scvs(fvGeometry))
140 friend inline Dune::IteratorRange<typename std::array<SubControlVolume, 1>::const_iterator>
141 scvs(const ThisType& g)
142 {
143 using IteratorType = typename std::array<SubControlVolume, 1>::const_iterator;
144 1800 return Dune::IteratorRange<IteratorType>(g.scvs_.begin(), g.scvs_.end());
145 }
146
147 //! iterator range for sub control volumes faces. Iterates over
148 //! all scvfs of the bound element (not including neighbor scvfs)
149 //! This is a free function found by means of ADL
150 //! To iterate over all sub control volume faces of this FVElementGeometry use
151 //! for (auto&& scvf : scvfs(fvGeometry))
152 friend inline Dune::IteratorRange<typename std::vector<SubControlVolumeFace>::const_iterator>
153 scvfs(const ThisType& g)
154 {
155 using IteratorType = typename std::vector<SubControlVolumeFace>::const_iterator;
156 14547 return Dune::IteratorRange<IteratorType>(g.scvfs_.begin(), g.scvfs_.end());
157 }
158
159 //! number of sub control volumes in this fv element geometry
160 std::size_t numScv() const
161 { return scvs_.size(); }
162
163 //! number of sub control volumes in this fv element geometry
164 std::size_t numScvf() const
165 600 { return scvfs_.size(); }
166
167 /*!
168 * \brief bind the local view (r-value overload)
169 * This overload is called when an instance of this class is a temporary in the usage context
170 * This allows a usage like this: `const auto view = localView(...).bind(element);`
171 */
172 StaggeredFVElementGeometry bind(const Element& element) &&
173 {
174 this->bind_(element);
175 return std::move(*this);
176 }
177
178 //! bind this local view to a specific element (full stencil)
179 void bind(const Element& element) &
180
48/96
✓ Branch 1 taken 25 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 25 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 25 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 25 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 25 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 25 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 25 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 25 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 25 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 25 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 25 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 25 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 25 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 25 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 25 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 25 times.
✗ Branch 47 not taken.
✓ Branch 49 taken 25 times.
✗ Branch 50 not taken.
✓ Branch 52 taken 25 times.
✗ Branch 53 not taken.
✓ Branch 55 taken 25 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 25 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 25 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 25 times.
✗ Branch 65 not taken.
✓ Branch 67 taken 25 times.
✗ Branch 68 not taken.
✓ Branch 70 taken 25 times.
✗ Branch 71 not taken.
✓ Branch 73 taken 25 times.
✗ Branch 74 not taken.
✓ Branch 76 taken 25 times.
✗ Branch 77 not taken.
✓ Branch 79 taken 25 times.
✗ Branch 80 not taken.
✓ Branch 82 taken 25 times.
✗ Branch 83 not taken.
✓ Branch 85 taken 25 times.
✗ Branch 86 not taken.
✓ Branch 88 taken 25 times.
✗ Branch 89 not taken.
✓ Branch 91 taken 25 times.
✗ Branch 92 not taken.
✓ Branch 94 taken 25 times.
✗ Branch 95 not taken.
✓ Branch 97 taken 25 times.
✗ Branch 98 not taken.
✓ Branch 100 taken 25 times.
✗ Branch 101 not taken.
✓ Branch 103 taken 25 times.
✗ Branch 104 not taken.
✓ Branch 106 taken 25 times.
✗ Branch 107 not taken.
✓ Branch 109 taken 25 times.
✗ Branch 110 not taken.
✓ Branch 112 taken 25 times.
✗ Branch 113 not taken.
✓ Branch 115 taken 25 times.
✗ Branch 116 not taken.
✓ Branch 118 taken 25 times.
✗ Branch 119 not taken.
✓ Branch 121 taken 25 times.
✗ Branch 122 not taken.
✓ Branch 124 taken 25 times.
✗ Branch 125 not taken.
✓ Branch 127 taken 25 times.
✗ Branch 128 not taken.
✓ Branch 130 taken 25 times.
✗ Branch 131 not taken.
✓ Branch 133 taken 25 times.
✗ Branch 134 not taken.
✓ Branch 136 taken 25 times.
✗ Branch 137 not taken.
✓ Branch 139 taken 25 times.
✗ Branch 140 not taken.
✓ Branch 142 taken 25 times.
✗ Branch 143 not taken.
 1200 { this->bind_(element); }
181
182 /*!
183 * \brief bind the local view (r-value overload)
184 * This overload is called when an instance of this class is a temporary in the usage context
185 * This allows a usage like this: `const auto view = localView(...).bindElement(element);`
186 */
187 StaggeredFVElementGeometry bindElement(const Element& element) &&
188 {
189 this->bindElement_(element);
190 return std::move(*this);
191 }
192
193 //! bind this local view to a specific element
194 void bindElement(const Element& element) &
195
145/386
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 28 not taken.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✗ Branch 61 not taken.
✗ Branch 62 not taken.
✗ Branch 64 not taken.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✓ Branch 73 taken 25 times.
✗ Branch 74 not taken.
✓ Branch 76 taken 25 times.
✗ Branch 77 not taken.
✓ Branch 79 taken 25 times.
✗ Branch 80 not taken.
✓ Branch 82 taken 25 times.
✗ Branch 83 not taken.
✓ Branch 85 taken 25 times.
✗ Branch 86 not taken.
✓ Branch 88 taken 25 times.
✗ Branch 89 not taken.
✓ Branch 91 taken 25 times.
✗ Branch 92 not taken.
✓ Branch 94 taken 25 times.
✗ Branch 95 not taken.
✓ Branch 97 taken 25 times.
✗ Branch 98 not taken.
✓ Branch 100 taken 25 times.
✗ Branch 101 not taken.
✓ Branch 103 taken 25 times.
✗ Branch 104 not taken.
✓ Branch 106 taken 25 times.
✗ Branch 107 not taken.
✓ Branch 109 taken 25 times.
✗ Branch 110 not taken.
✓ Branch 112 taken 25 times.
✗ Branch 113 not taken.
✓ Branch 115 taken 25 times.
✗ Branch 116 not taken.
✓ Branch 118 taken 25 times.
✗ Branch 119 not taken.
✓ Branch 121 taken 25 times.
✗ Branch 122 not taken.
✓ Branch 124 taken 25 times.
✗ Branch 125 not taken.
✓ Branch 127 taken 25 times.
✗ Branch 128 not taken.
✓ Branch 130 taken 25 times.
✗ Branch 131 not taken.
✓ Branch 133 taken 25 times.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✗ Branch 163 not taken.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 169 not taken.
✗ Branch 170 not taken.
✓ Branch 172 taken 25 times.
✗ Branch 173 not taken.
✓ Branch 175 taken 25 times.
✗ Branch 176 not taken.
✓ Branch 178 taken 25 times.
✗ Branch 179 not taken.
✓ Branch 181 taken 1 times.
✗ Branch 182 not taken.
✓ Branch 184 taken 25 times.
✗ Branch 185 not taken.
✓ Branch 187 taken 25 times.
✗ Branch 188 not taken.
✓ Branch 190 taken 25 times.
✗ Branch 191 not taken.
✓ Branch 193 taken 1 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 25 times.
✗ Branch 197 not taken.
✓ Branch 199 taken 25 times.
✗ Branch 200 not taken.
✓ Branch 202 taken 25 times.
✗ Branch 203 not taken.
✓ Branch 205 taken 1 times.
✗ Branch 206 not taken.
✓ Branch 208 taken 25 times.
✗ Branch 209 not taken.
✓ Branch 211 taken 25 times.
✗ Branch 212 not taken.
✓ Branch 214 taken 25 times.
✗ Branch 215 not taken.
✓ Branch 217 taken 1 times.
✗ Branch 218 not taken.
✓ Branch 220 taken 25 times.
✗ Branch 221 not taken.
✓ Branch 223 taken 25 times.
✗ Branch 224 not taken.
✓ Branch 226 taken 25 times.
✗ Branch 227 not taken.
✓ Branch 229 taken 1 times.
✗ Branch 230 not taken.
✓ Branch 232 taken 25 times.
✗ Branch 233 not taken.
✓ Branch 235 taken 25 times.
✗ Branch 236 not taken.
✓ Branch 238 taken 25 times.
✗ Branch 239 not taken.
✓ Branch 241 taken 1 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 25 times.
✗ Branch 245 not taken.
✓ Branch 247 taken 25 times.
✗ Branch 248 not taken.
✓ Branch 250 taken 25 times.
✗ Branch 251 not taken.
✓ Branch 253 taken 1 times.
✗ Branch 254 not taken.
✓ Branch 256 taken 25 times.
✗ Branch 257 not taken.
✓ Branch 259 taken 25 times.
✗ Branch 260 not taken.
✓ Branch 262 taken 25 times.
✗ Branch 263 not taken.
✓ Branch 265 taken 1 times.
✗ Branch 266 not taken.
✓ Branch 268 taken 25 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 25 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 25 times.
✗ Branch 275 not taken.
✓ Branch 277 taken 1 times.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 25 times.
✗ Branch 284 not taken.
✓ Branch 286 taken 25 times.
✗ Branch 287 not taken.
✓ Branch 289 taken 25 times.
✗ Branch 290 not taken.
✓ Branch 292 taken 1 times.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✓ Branch 298 taken 25 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 25 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 25 times.
✗ Branch 305 not taken.
✓ Branch 307 taken 1 times.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 25 times.
✗ Branch 314 not taken.
✓ Branch 316 taken 25 times.
✗ Branch 317 not taken.
✓ Branch 319 taken 25 times.
✗ Branch 320 not taken.
✓ Branch 322 taken 1 times.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✓ Branch 328 taken 25 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 25 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 25 times.
✗ Branch 335 not taken.
✓ Branch 337 taken 1 times.
✗ Branch 338 not taken.
✓ Branch 340 taken 25 times.
✗ Branch 341 not taken.
✓ Branch 343 taken 25 times.
✗ Branch 344 not taken.
✓ Branch 346 taken 25 times.
✗ Branch 347 not taken.
✓ Branch 349 taken 1 times.
✗ Branch 350 not taken.
✓ Branch 352 taken 25 times.
✗ Branch 353 not taken.
✓ Branch 355 taken 25 times.
✗ Branch 356 not taken.
✓ Branch 358 taken 25 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 1 times.
✗ Branch 362 not taken.
✓ Branch 364 taken 25 times.
✗ Branch 365 not taken.
✓ Branch 367 taken 25 times.
✗ Branch 368 not taken.
✓ Branch 370 taken 25 times.
✗ Branch 371 not taken.
✓ Branch 373 taken 1 times.
✗ Branch 374 not taken.
✓ Branch 376 taken 25 times.
✗ Branch 377 not taken.
✓ Branch 379 taken 25 times.
✗ Branch 380 not taken.
✓ Branch 382 taken 25 times.
✗ Branch 383 not taken.
✓ Branch 385 taken 1 times.
✗ Branch 386 not taken.
✗ Branch 388 not taken.
✗ Branch 389 not taken.
✓ Branch 391 taken 25 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 25 times.
✗ Branch 395 not taken.
✓ Branch 397 taken 25 times.
✗ Branch 398 not taken.
✓ Branch 400 taken 1 times.
✗ Branch 401 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✓ Branch 406 taken 25 times.
✗ Branch 407 not taken.
✓ Branch 409 taken 25 times.
✗ Branch 410 not taken.
✓ Branch 412 taken 25 times.
✗ Branch 413 not taken.
✓ Branch 415 taken 1 times.
✗ Branch 416 not taken.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✓ Branch 421 taken 25 times.
✗ Branch 422 not taken.
✓ Branch 424 taken 25 times.
✗ Branch 425 not taken.
✓ Branch 427 taken 25 times.
✗ Branch 428 not taken.
✓ Branch 430 taken 1 times.
✗ Branch 431 not taken.
✗ Branch 433 not taken.
✗ Branch 434 not taken.
✗ Branch 436 not taken.
✗ Branch 437 not taken.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✓ Branch 448 taken 50 times.
✗ Branch 449 not taken.
✓ Branch 451 taken 25 times.
✗ Branch 452 not taken.
✓ Branch 454 taken 50 times.
✗ Branch 455 not taken.
✓ Branch 457 taken 25 times.
✗ Branch 458 not taken.
✓ Branch 460 taken 50 times.
✗ Branch 461 not taken.
✓ Branch 463 taken 25 times.
✗ Branch 464 not taken.
✓ Branch 466 taken 50 times.
✗ Branch 467 not taken.
✓ Branch 469 taken 25 times.
✗ Branch 470 not taken.
✓ Branch 472 taken 50 times.
✗ Branch 473 not taken.
✓ Branch 475 taken 25 times.
✗ Branch 476 not taken.
✓ Branch 478 taken 50 times.
✗ Branch 479 not taken.
✓ Branch 481 taken 25 times.
✗ Branch 482 not taken.
✓ Branch 484 taken 50 times.
✗ Branch 485 not taken.
✓ Branch 487 taken 25 times.
✗ Branch 488 not taken.
✓ Branch 490 taken 50 times.
✗ Branch 491 not taken.
✓ Branch 493 taken 25 times.
✗ Branch 494 not taken.
✓ Branch 496 taken 50 times.
✗ Branch 497 not taken.
✓ Branch 499 taken 25 times.
✗ Branch 500 not taken.
✓ Branch 502 taken 50 times.
✗ Branch 503 not taken.
✓ Branch 505 taken 25 times.
✗ Branch 506 not taken.
✓ Branch 508 taken 50 times.
✗ Branch 509 not taken.
✓ Branch 511 taken 25 times.
✗ Branch 512 not taken.
✓ Branch 514 taken 50 times.
✗ Branch 515 not taken.
✓ Branch 517 taken 25 times.
✗ Branch 518 not taken.
✓ Branch 520 taken 50 times.
✗ Branch 521 not taken.
✓ Branch 523 taken 25 times.
✗ Branch 524 not taken.
✓ Branch 526 taken 25 times.
✗ Branch 527 not taken.
✓ Branch 529 taken 50 times.
✗ Branch 530 not taken.
✓ Branch 532 taken 25 times.
✗ Branch 533 not taken.
✓ Branch 535 taken 25 times.
✗ Branch 536 not taken.
✓ Branch 538 taken 50 times.
✗ Branch 539 not taken.
✓ Branch 541 taken 25 times.
✗ Branch 542 not taken.
✓ Branch 544 taken 25 times.
✗ Branch 545 not taken.
✓ Branch 547 taken 50 times.
✗ Branch 548 not taken.
✓ Branch 550 taken 25 times.
✗ Branch 551 not taken.
✓ Branch 553 taken 25 times.
✗ Branch 554 not taken.
✓ Branch 556 taken 50 times.
✗ Branch 557 not taken.
✓ Branch 559 taken 50 times.
✗ Branch 560 not taken.
✓ Branch 562 taken 50 times.
✗ Branch 563 not taken.
✓ Branch 565 taken 50 times.
✗ Branch 566 not taken.
✓ Branch 568 taken 50 times.
✗ Branch 569 not taken.
✓ Branch 571 taken 50 times.
✗ Branch 572 not taken.
✓ Branch 574 taken 50 times.
✗ Branch 575 not taken.
✓ Branch 577 taken 50 times.
✗ Branch 578 not taken.
 3745 { this->bindElement_(element); }
196
197 //! Returns true if bind/bindElement has already been called
198 bool isBound() const
199 { return static_cast<bool>(element_); }
200
201 //! The bound element
202 const Element& element() const
203 800 { return *element_; }
204
205 //! The grid finite volume geometry we are a restriction of
206 ✗ const GridGeometry& gridGeometry() const
207 ✗ { return *gridGeometryPtr_; }
208
209 //! Returns whether one of the geometry's scvfs lies on a boundary
210 ✗ bool hasBoundaryScvf() const
211 ✗ { return hasBoundaryScvf_; }
212
213 //! Create the geometry of a given sub control volume
214 typename SubControlVolume::Traits::Geometry geometry(const SubControlVolume& scv) const
215 { return gridGeometryPtr_->element(scv.dofIndex()).geometry(); }
216
217 //! Create the geometry of a given sub control volume face
218 100 typename SubControlVolumeFace::Traits::Geometry geometry(const SubControlVolumeFace& scvf) const
219 {
220
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 100 times.
 100 const auto insideElementIndex = scvf.insideScvIdx();
221
2/4
✗ Branch 0 not taken.
✓ Branch 1 taken 100 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 100 times.
 300 const auto elementGeometry = (insideElementIndex != scvIndices_[0]) ?
222 element_->geometry() :
223 100 gridGeometryPtr_->element(insideElementIndex).geometry();
224 100 const auto center = elementGeometry.center();
225 200 const auto normalAxis = Dumux::normalAxis(scvf.unitOuterNormal());
226
227 100 auto lowerLeft = elementGeometry.corner(0);
228 200 auto upperRight = elementGeometry.corner(elementGeometry.corners()-1);
229
230 // shift corners to scvf plane and halve lateral faces
231 200 lowerLeft[normalAxis] = center[normalAxis];
232 200 upperRight[normalAxis] = center[normalAxis];
233
234 200 auto inPlaneAxes = std::move(std::bitset<SubControlVolumeFace::Traits::dimWorld>{}.set());
235 100 inPlaneAxes.set(normalAxis, false);
236
237 100 return {lowerLeft, upperRight, inPlaneAxes};
238 }
239
240 private:
241 //! Binding of an element preparing the geometries only inside the element
242 4945 void bindElement_(const Element& element)
243 {
244 4945 clear_();
245
2/2
✓ Branch 0 taken 4732 times.
✓ Branch 1 taken 213 times.
 4945 element_ = element;
246 9890 scvfs_.reserve(element.subEntities(1));
247 9890 scvfIndices_.reserve(element.subEntities(1));
248 4945 makeElementGeometries_();
249 4945 }
250
251 //! Binding of an element preparing the geometries of the whole stencil
252 //! called by the local jacobian to prepare element assembly
253 1200 void bind_(const Element& element)
254 {
255 1200 bindElement_(element);
256
257 2400 neighborScvs_.reserve(element.subEntities(1));
258 2400 neighborScvfIndices_.reserve(element.subEntities(1));
259 2400 neighborScvfs_.reserve(element.subEntities(1));
260
261
1/4
✓ Branch 1 taken 1200 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
 1200 std::vector<GridIndexType> handledNeighbors;
262
2/4
✓ Branch 1 taken 1200 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1200 times.
✗ Branch 5 not taken.
 2400 handledNeighbors.reserve(element.subEntities(1));
263
3/4
✓ Branch 2 taken 1200 times.
✓ Branch 3 taken 4800 times.
✓ Branch 4 taken 1200 times.
✗ Branch 5 not taken.
 8400 for (const auto& intersection : intersections(gridGeometry().gridView(), element))
264 {
265
2/2
✓ Branch 0 taken 4320 times.
✓ Branch 1 taken 480 times.
 4800 if (intersection.neighbor())
266 {
267 3840 const auto outside = intersection.outside();
268 7680 const auto outsideIdx = gridGeometry().elementMapper().index(outside);
269
270 // make outside geometries only if not done yet (could happen on non-conforming grids)
271
2/4
✓ Branch 4 taken 3840 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 3840 times.
✗ Branch 7 not taken.
 15360 if ( std::find(handledNeighbors.begin(), handledNeighbors.end(), outsideIdx) == handledNeighbors.end() )
272 {
273
1/2
✓ Branch 1 taken 3840 times.
✗ Branch 2 not taken.
 3840 makeNeighborGeometries_(outside, outsideIdx);
274
1/2
✓ Branch 1 taken 3840 times.
✗ Branch 2 not taken.
 3840 handledNeighbors.push_back(outsideIdx);
275 }
276 }
277 }
278 1200 }
279
280 //! create scvs and scvfs of the bound element
281 4945 void makeElementGeometries_()
282 {
283 4945 const auto& element = *element_;
284 9890 const auto eIdx = gridGeometry().elementMapper().index(element);
285 14835 scvs_[0] = SubControlVolume(element.geometry(), eIdx);
286 4945 scvIndices_[0] = eIdx;
287
288 4945 const auto& scvFaceIndices = gridGeometry().scvfIndicesOfScv(eIdx);
289 4945 const auto& neighborVolVarIndices = gridGeometry().neighborVolVarIndices(eIdx);
290
291 9890 typename GridGeometry::GeometryHelper geometryHelper(element, gridGeometry().gridView());
292
293 4945 int scvfCounter = 0;
294
2/2
✓ Branch 2 taken 4945 times.
✓ Branch 3 taken 19780 times.
 29670 for (const auto& intersection : intersections(gridGeometry().gridView(), element))
295 {
296
2/2
✓ Branch 0 taken 17770 times.
✓ Branch 1 taken 2010 times.
 19780 const auto& scvfNeighborVolVarIndex = neighborVolVarIndices[scvfCounter];
297
298
3/4
✓ Branch 0 taken 17770 times.
✓ Branch 1 taken 2010 times.
✓ Branch 2 taken 3980 times.
✗ Branch 3 not taken.
 21750 if (intersection.neighbor() || intersection.boundary())
299 {
300 39560 geometryHelper.updateLocalFace(gridGeometry().intersectionMapper(), intersection);
301
1/2
✓ Branch 2 taken 19780 times.
✗ Branch 3 not taken.
 79120 std::vector<GridIndexType> scvIndices{eIdx, scvfNeighborVolVarIndex};
302
1/4
✓ Branch 1 taken 19780 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
 19780 scvfs_.emplace_back(intersection,
303 intersection.geometry(),
304 39560 scvFaceIndices[scvfCounter],
305 scvIndices,
306 geometryHelper);
307
2/4
✓ Branch 1 taken 19780 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 19780 times.
✗ Branch 5 not taken.
 39560 scvfIndices_.emplace_back(scvFaceIndices[scvfCounter]);
308 19780 scvfCounter++;
309
310
1/2
✓ Branch 0 taken 19780 times.
✗ Branch 1 not taken.
 19780 if (intersection.boundary())
311 3980 hasBoundaryScvf_ = true;
312 }
313 }
314 4945 }
315
316 //! create the necessary scvs and scvfs of the neighbor elements to the bound elements
317 3840 void makeNeighborGeometries_(const Element& element, const GridIndexType eIdx)
318 {
319 // using ScvfGridIndexStorage = typename SubControlVolumeFace::Traits::GridIndexStorage;
320
321 // create the neighbor scv
322 3840 neighborScvs_.emplace_back(element.geometry(), eIdx);
323 3840 neighborScvIndices_.push_back(eIdx);
324
325 3840 const auto& scvFaceIndices = gridGeometry().scvfIndicesOfScv(eIdx);
326 3840 const auto& neighborVolVarIndices = gridGeometry().neighborVolVarIndices(eIdx);
327
328 7680 typename GridGeometry::GeometryHelper geometryHelper(element, gridGeometry().gridView());
329
330 3840 int scvfCounter = 0;
331
2/2
✓ Branch 2 taken 3840 times.
✓ Branch 3 taken 15360 times.
 23040 for (const auto& intersection : intersections(gridGeometry().gridView(), element))
332 {
333 15360 const auto& scvfNeighborVolVarIndex = neighborVolVarIndices[scvfCounter];
334 30720 geometryHelper.updateLocalFace(gridGeometry().intersectionMapper(), intersection);
335
336
2/2
✓ Branch 0 taken 14112 times.
✓ Branch 1 taken 1248 times.
 15360 if (intersection.neighbor())
337 {
338 // only create subcontrol faces where the outside element is the bound element
339
3/6
✓ Branch 0 taken 12864 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 12864 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 12864 times.
✗ Branch 5 not taken.
 47616 if (intersection.outside() == *element_)
340 {
341
1/2
✓ Branch 2 taken 3840 times.
✗ Branch 3 not taken.
 15360 std::vector<GridIndexType> scvIndices{eIdx, scvfNeighborVolVarIndex};
342
1/4
✓ Branch 1 taken 3840 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
 3840 neighborScvfs_.emplace_back(intersection,
343 intersection.geometry(),
344 7680 scvFaceIndices[scvfCounter],
345 scvIndices,
346 geometryHelper);
347
348
2/4
✓ Branch 1 taken 3840 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 3840 times.
✗ Branch 5 not taken.
 7680 neighborScvfIndices_.push_back(scvFaceIndices[scvfCounter]);
349 }
350 12864 scvfCounter++;
351 }
352
1/2
✓ Branch 0 taken 2496 times.
✗ Branch 1 not taken.
 2496 else if (intersection.boundary())
353 2496 scvfCounter++;
354 }
355 3840 }
356
357 ✗ const LocalIndexType findLocalIndex_(const GridIndexType idx,
358 const std::vector<GridIndexType>& indices) const
359 {
360 ✗ auto it = std::find(indices.begin(), indices.end(), idx);
361 ✗ assert(it != indices.end() && "Could not find the scv/scvf! Make sure to properly bind this class!");
362 ✗ return std::distance(indices.begin(), it);
363 }
364
365 //! Clear all local data
366 4945 void clear_()
367 {
368
2/2
✓ Branch 0 taken 4732 times.
✓ Branch 1 taken 213 times.
 4945 scvfIndices_.clear();
369 4945 scvfs_.clear();
370
371
2/2
✓ Branch 0 taken 1152 times.
✓ Branch 1 taken 3793 times.
 4945 neighborScvIndices_.clear();
372
2/2
✓ Branch 0 taken 1152 times.
✓ Branch 1 taken 3793 times.
 4945 neighborScvfIndices_.clear();
373
2/2
✓ Branch 0 taken 1152 times.
✓ Branch 1 taken 3793 times.
 4945 neighborScvs_.clear();
374 4945 neighborScvfs_.clear();
375
376 4945 hasBoundaryScvf_ = false;
377 4945 }
378
379 std::optional<Element> element_; //!< the element to which this fvgeometry is bound
380 const GridGeometry* gridGeometryPtr_; //!< the grid fvgeometry
381
382 // local storage after binding an element
383 std::array<GridIndexType, 1> scvIndices_;
384 std::array<SubControlVolume, 1> scvs_;
385
386 std::vector<GridIndexType> scvfIndices_;
387 std::vector<SubControlVolumeFace> scvfs_;
388
389 std::vector<GridIndexType> neighborScvIndices_;
390 std::vector<SubControlVolume> neighborScvs_;
391
392 std::vector<GridIndexType> neighborScvfIndices_;
393 std::vector<SubControlVolumeFace> neighborScvfs_;
394
395 bool hasBoundaryScvf_ = false;
396 };
397
398
399 } // end namespace
400
401 #endif
402