Branch Coverage

line	true	false
248	0	3
254	0	0
257	0	0
258	0	0
262	0	0
271	0	3
	3	0
296	0	0
352	0	3
405	0	3
427	3	0
447	1	2
478	1	2
483	1	1
494	16	2
	5	13
502	3	12
510	3	0
512	0	0
533	0	0
552	0	0
	0	0
573	0	0
	0	0
615	0	0
	0	0
619	0	0
662	0	0
	0	0
745	0	0
	0	0
749	0	0
816	0	0
	0	0
864	0	0
	0	0
917	0	0
	0	0
992	0	0
998	0	0
	0	0
1012	0	0
1023	0	0
	0	0
1055	0	0
	0	0
1099	0	0
	0	0
1103	0	0
1142	0	0
	0	0
1146	0	0
	0	0
1192	0	0
1200	0	0
1204	0	0
1213	0	0
	0	0
1217	0	0
1285	0	0
	0	0
1290	0	0
	0	0
1334	0	0
	0	0
1338	0	0
1372	0	0
	0	0
1376	0	0
1409	0	0
	0	0
1413	0	0
1447	0	0
	0	0
1451	0	0
1493	0	0
1499	0	0
1506	0	0
	0	0
1510	0	0
1545	0	0
	0	0
1549	0	0
1581	0	0
1589	0	0
	0	0
1594	0	0
1633	0	0
1640	0	0
	0	0
1694	0	0
	0	0
1777	0	0
	0	0
1785	0	0
	0	0
1796	0	0
	0	0
1806	0	0
	0	0
1864	0	0
1870	0	0
1876	0	0
1883	0	0
	0	0
1894	0	0
	0	0
1901	0	0
	0	0
1907	0	0
	0	0
1925	0	0
1929	0	0
1960	0	0
	0	0
2007	0	3
2016	3	0
	3	0
2042	0	0
	0	0
2049	0	0
	0	0
2061	0	0
	0	0
2078	0	0
	0	0
2095	0	0
	0	0
2102	0	0
	0	0
2106	0	0
	0	0
2110	0	0
	0	0
2114	0	0
	0	0
2122	0	0
2161	0	0
2220	0	0
2235	0	0
	0	0
2245	0	0
	0	0
2251	0	0
	0	0
2260	0	0
	0	0
2305	0	0
	0	0
2324	0	0
	0	0
2345	0	0
	0	0
2430	0	0
	0	0
2438	0	0
	0	0
	0	0
	0	0
	0	0
	0	0
	0	0
	0	0
	0	0
	0	0
2543	0	0
2550	0	0
	0	0
2592	0	0
2599	0	0
	0	0
2641	0	0
2648	0	0
	0	0
2718	0	0
	0	0
2773	0	0
2779	0	0
2786	0	0
	0	0
2809	0	0
	0	0
2820	0	0
	0	0
2840	0	0
2844	0	0
2859	0	0
	0	0
2870	0	0
	0	0
2890	0	0
2894	0	0
2958	0	0
2965	0	0
	0	0
2971	0	0
	0	0
3038	0	0
3045	0	0
	0	0
3052	0	0
	0	0
3056	0	0
	0	0
3062	0	0
3116	0	0
3124	0	0
	0	0
3132	0	0
	0	0
3151	0	0
3217	0	0
3225	0	0
3233	0	0
3244	0	0
	0	0
3254	0	0
3309	0	0
3313	0	0
3320	0	0
	0	0
3386	0	0
	0	0
3431	0	0
	0	0
3435	0	0
3471	0	0
	0	0
3475	0	0
	0	0
3513	0	0
	0	0
3577	0	0
	0	0
3581	0	0
3657	0	0
3665	0	0
	0	0
3669	0	0
3725	0	0
	0	0
3729	0	0
3761	0	0
3768	0	0
	0	0
3820	0	0
3826	0	0
3833	0	0
	0	0
3837	0	0
3869	0	0
3876	0	0
	0	0
3880	0	0
3962	0	0
3966	0	0
3967	0	0
3968	0	0
3969	0	0
3970	0	0
3971	0	0
3978	0	0
	0	0
4010	0	0
	0	0
4014	0	0
4031	0	0
	0	0
4035	0	0
4074	0	0
	0	0
4078	0	0
4124	0	0
	0	0
4128	0	0
4169	0	0
	0	0
4173	0	0
4248	0	0
	0	0
4252	0	0
4490	0	0
4496	0	0
4502	0	0
4508	0	0
4514	0	0
4520	0	0
4526	0	0
4532	0	0
4539	0	0
	0	0
4563	0	0
	0	0
4570	0	0
	0	0
4574	0	0
	0	0
4578	0	0
	0	0
4582	0	0
	0	0
4589	0	0
	0	0
4635	0	0
4676	0	0
4682	0	0
	0	0
4744	0	0
4750	0	0
	0	0
4803	0	0
4809	0	0
	0	0
4866	0	0
4873	0	0
	0	0