Unified Coverage Report :: Group : aon_timer_env_pkg::aon_timer_env_cov::wake_up_timer_thold_hit

Summary for Variable wkup_count_cp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	512	158	354	69.14

Automatically Generated Bins for wkup_count_cp

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER
[auto[0200000000000000:027fffffffffffff] - auto[0280000000000000:02ffffffffffffff]]	--	--	2
[auto[0380000000000000:03ffffffffffffff]]	0	1	1
[auto[0600000000000000:067fffffffffffff]]	0	1	1
[auto[0780000000000000:07ffffffffffffff] - auto[0800000000000000:087fffffffffffff]]	--	--	2
[auto[0c00000000000000:0c7fffffffffffff]]	0	1	1
[auto[1280000000000000:12ffffffffffffff]]	0	1	1
[auto[1580000000000000:15ffffffffffffff]]	0	1	1
[auto[1680000000000000:16ffffffffffffff]]	0	1	1
[auto[1900000000000000:197fffffffffffff]]	0	1	1
[auto[1a00000000000000:1a7fffffffffffff] - auto[1b00000000000000:1b7fffffffffffff]]	--	--	3
[auto[1d00000000000000:1d7fffffffffffff]]	0	1	1
[auto[1e00000000000000:1e7fffffffffffff]]	0	1	1
[auto[1f80000000000000:1fffffffffffffff]]	0	1	1
[auto[2180000000000000:21ffffffffffffff]]	0	1	1
[auto[2700000000000000:277fffffffffffff] - auto[2780000000000000:27ffffffffffffff]]	--	--	2
[auto[2a00000000000000:2a7fffffffffffff]]	0	1	1
[auto[2c80000000000000:2cffffffffffffff]]	0	1	1
[auto[3200000000000000:327fffffffffffff]]	0	1	1
[auto[3380000000000000:33ffffffffffffff]]	0	1	1
[auto[3480000000000000:34ffffffffffffff] - auto[3580000000000000:35ffffffffffffff]]	--	--	3
[auto[3680000000000000:36ffffffffffffff]]	0	1	1
[auto[3800000000000000:387fffffffffffff]]	0	1	1
[auto[3a80000000000000:3affffffffffffff]]	0	1	1
[auto[3d80000000000000:3dffffffffffffff] - auto[3e00000000000000:3e7fffffffffffff]]	--	--	2
[auto[3f80000000000000:3fffffffffffffff]]	0	1	1
[auto[4080000000000000:40ffffffffffffff]]	0	1	1
[auto[4300000000000000:437fffffffffffff]]	0	1	1
[auto[4480000000000000:44ffffffffffffff]]	0	1	1
[auto[4600000000000000:467fffffffffffff]]	0	1	1
[auto[4780000000000000:47ffffffffffffff]]	0	1	1
[auto[4980000000000000:49ffffffffffffff]]	0	1	1
[auto[4d00000000000000:4d7fffffffffffff]]	0	1	1
[auto[5000000000000000:507fffffffffffff] - auto[5080000000000000:50ffffffffffffff]]	--	--	2
[auto[5300000000000000:537fffffffffffff]]	0	1	1
[auto[5680000000000000:56ffffffffffffff]]	0	1	1
[auto[5900000000000000:597fffffffffffff]]	0	1	1
[auto[5a00000000000000:5a7fffffffffffff]]	0	1	1
[auto[5e00000000000000:5e7fffffffffffff]]	0	1	1
[auto[6100000000000000:617fffffffffffff]]	0	1	1
[auto[6200000000000000:627fffffffffffff]]	0	1	1
[auto[6480000000000000:64ffffffffffffff]]	0	1	1
[auto[6580000000000000:65ffffffffffffff]]	0	1	1
[auto[6700000000000000:677fffffffffffff] - auto[6880000000000000:68ffffffffffffff]]	--	--	4
[auto[6a80000000000000:6affffffffffffff]]	0	1	1
[auto[6c80000000000000:6cffffffffffffff]]	0	1	1
[auto[7080000000000000:70ffffffffffffff]]	0	1	1
[auto[7280000000000000:72ffffffffffffff] - auto[7300000000000000:737fffffffffffff]]	--	--	2
[auto[7400000000000000:747fffffffffffff] - auto[7480000000000000:74ffffffffffffff]]	--	--	2
[auto[7580000000000000:75ffffffffffffff] - auto[7680000000000000:76ffffffffffffff]]	--	--	3
[auto[7800000000000000:787fffffffffffff] - auto[7880000000000000:78ffffffffffffff]]	--	--	2
[auto[7a00000000000000:7a7fffffffffffff]]	0	1	1
[auto[7c00000000000000:7c7fffffffffffff]]	0	1	1
[auto[7d00000000000000:7d7fffffffffffff]]	0	1	1
[auto[7e80000000000000:7effffffffffffff]]	0	1	1
[auto[8080000000000000:80ffffffffffffff]]	0	1	1
[auto[8200000000000000:827fffffffffffff]]	0	1	1
[auto[8500000000000000:857fffffffffffff]]	0	1	1
[auto[8700000000000000:877fffffffffffff]]	0	1	1
[auto[8800000000000000:887fffffffffffff]]	0	1	1
[auto[8b00000000000000:8b7fffffffffffff]]	0	1	1
[auto[8d80000000000000:8dffffffffffffff]]	0	1	1
[auto[8f80000000000000:8fffffffffffffff]]	0	1	1
[auto[9100000000000000:917fffffffffffff] - auto[9300000000000000:937fffffffffffff]]	--	--	5
[auto[9400000000000000:947fffffffffffff]]	0	1	1
[auto[9880000000000000:98ffffffffffffff]]	0	1	1
[auto[9b00000000000000:9b7fffffffffffff]]	0	1	1
[auto[9d80000000000000:9dffffffffffffff]]	0	1	1
[auto[9f80000000000000:9fffffffffffffff]]	0	1	1
[auto[a200000000000000:a27fffffffffffff]]	0	1	1
[auto[a300000000000000:a37fffffffffffff]]	0	1	1
[auto[a500000000000000:a57fffffffffffff]]	0	1	1
[auto[a600000000000000:a67fffffffffffff] - auto[a700000000000000:a77fffffffffffff]]	--	--	3
[auto[a800000000000000:a87fffffffffffff] - auto[a900000000000000:a97fffffffffffff]]	--	--	3
[auto[ac00000000000000:ac7fffffffffffff]]	0	1	1
[auto[ad00000000000000:ad7fffffffffffff]]	0	1	1
[auto[ae00000000000000:ae7fffffffffffff] - auto[ae80000000000000:aeffffffffffffff]]	--	--	2
[auto[b400000000000000:b47fffffffffffff]]	0	1	1
[auto[b500000000000000:b57fffffffffffff]]	0	1	1
[auto[b600000000000000:b67fffffffffffff]]	0	1	1
[auto[bb00000000000000:bb7fffffffffffff] - auto[bb80000000000000:bbffffffffffffff]]	--	--	2
[auto[bd00000000000000:bd7fffffffffffff]]	0	1	1
[auto[be80000000000000:beffffffffffffff] - auto[bf80000000000000:bfffffffffffffff]]	--	--	3
[auto[c300000000000000:c37fffffffffffff] - auto[c380000000000000:c3ffffffffffffff]]	--	--	2
[auto[c680000000000000:c6ffffffffffffff] - auto[c700000000000000:c77fffffffffffff]]	--	--	2
[auto[c900000000000000:c97fffffffffffff]]	0	1	1
[auto[cb80000000000000:cbffffffffffffff]]	0	1	1
[auto[cd00000000000000:cd7fffffffffffff]]	0	1	1
[auto[cf80000000000000:cfffffffffffffff] - auto[d000000000000000:d07fffffffffffff]]	--	--	2
[auto[d300000000000000:d37fffffffffffff] - auto[d400000000000000:d47fffffffffffff]]	--	--	3
[auto[d500000000000000:d57fffffffffffff] - auto[d580000000000000:d5ffffffffffffff]]	--	--	2
[auto[d680000000000000:d6ffffffffffffff]]	0	1	1
[auto[d880000000000000:d8ffffffffffffff] - auto[d900000000000000:d97fffffffffffff]]	--	--	2
[auto[db80000000000000:dbffffffffffffff] - auto[dd00000000000000:dd7fffffffffffff]]	--	--	4
[auto[de00000000000000:de7fffffffffffff]]	0	1	1
[auto[df00000000000000:df7fffffffffffff] - auto[e000000000000000:e07fffffffffffff]]	--	--	3
[auto[e200000000000000:e27fffffffffffff]]	0	1	1
[auto[e480000000000000:e4ffffffffffffff]]	0	1	1
[auto[e580000000000000:e5ffffffffffffff] - auto[e600000000000000:e67fffffffffffff]]	--	--	2
[auto[e700000000000000:e77fffffffffffff]]	0	1	1
[auto[e880000000000000:e8ffffffffffffff] - auto[e900000000000000:e97fffffffffffff]]	--	--	2
[auto[ea00000000000000:ea7fffffffffffff] - auto[ea80000000000000:eaffffffffffffff]]	--	--	2
[auto[ec80000000000000:ecffffffffffffff] - auto[ee80000000000000:eeffffffffffffff]]	--	--	5
[auto[ef80000000000000:efffffffffffffff]]	0	1	1
[auto[f180000000000000:f1ffffffffffffff]]	0	1	1
[auto[f280000000000000:f2ffffffffffffff]]	0	1	1
[auto[f780000000000000:f7ffffffffffffff]]	0	1	1
[auto[f880000000000000:f8ffffffffffffff]]	0	1	1
[auto[f980000000000000:f9ffffffffffffff] - auto[fa00000000000000:fa7fffffffffffff]]	--	--	2
[auto[fb00000000000000:fb7fffffffffffff]]	0	1	1

Covered bins

NAME	COUNT	AT LEAST	TEST	COUNT	TEST	COUNT	TEST	COUNT
auto[0000000000000000:007fffffffffffff]	5138	1	T1	2	T2	48	T3	60
auto[0080000000000000:00ffffffffffffff]	8	1	T170	6	T171	2	-	-
auto[0100000000000000:017fffffffffffff]	10	1	T16	4	T99	6	-	-
auto[0180000000000000:01ffffffffffffff]	7	1	T172	7	-	-	-	-
auto[0300000000000000:037fffffffffffff]	5	1	T90	5	-	-	-	-
auto[0400000000000000:047fffffffffffff]	2	1	T156	2	-	-	-	-
auto[0480000000000000:04ffffffffffffff]	13	1	T173	3	T93	10	-	-
auto[0500000000000000:057fffffffffffff]	33	1	T47	4	T153	5	T121	11
auto[0580000000000000:05ffffffffffffff]	5	1	T96	5	-	-	-	-
auto[0680000000000000:06ffffffffffffff]	4	1	T52	4	-	-	-	-
auto[0700000000000000:077fffffffffffff]	8	1	T52	8	-	-	-	-
auto[0880000000000000:08ffffffffffffff]	12	1	T153	8	T55	4	-	-
auto[0900000000000000:097fffffffffffff]	5	1	T136	5	-	-	-	-
auto[0980000000000000:09ffffffffffffff]	15	1	T44	2	T117	8	T169	5
auto[0a00000000000000:0a7fffffffffffff]	2	1	T174	2	-	-	-	-
auto[0a80000000000000:0affffffffffffff]	16	1	T46	10	T94	6	-	-
auto[0b00000000000000:0b7fffffffffffff]	2	1	T116	2	-	-	-	-
auto[0b80000000000000:0bffffffffffffff]	4	1	T175	4	-	-	-	-
auto[0c80000000000000:0cffffffffffffff]	10	1	T105	10	-	-	-	-
auto[0d00000000000000:0d7fffffffffffff]	3	1	T165	3	-	-	-	-
auto[0d80000000000000:0dffffffffffffff]	10	1	T122	7	T119	3	-	-
auto[0e00000000000000:0e7fffffffffffff]	6	1	T124	6	-	-	-	-
auto[0e80000000000000:0effffffffffffff]	4	1	T89	4	-	-	-	-
auto[0f00000000000000:0f7fffffffffffff]	12	1	T20	7	T125	5	-	-
auto[0f80000000000000:0fffffffffffffff]	7	1	T45	2	T128	5	-	-
auto[1000000000000000:107fffffffffffff]	6	1	T161	6	-	-	-	-
auto[1080000000000000:10ffffffffffffff]	5	1	T139	5	-	-	-	-
auto[1100000000000000:117fffffffffffff]	7	1	T100	4	T145	3	-	-
auto[1180000000000000:11ffffffffffffff]	3	1	T111	3	-	-	-	-
auto[1200000000000000:127fffffffffffff]	4	1	T176	2	T177	2	-	-
auto[1300000000000000:137fffffffffffff]	13	1	T163	4	T92	9	-	-
auto[1380000000000000:13ffffffffffffff]	6	1	T97	3	T107	3	-	-
auto[1400000000000000:147fffffffffffff]	3	1	T97	3	-	-	-	-
auto[1480000000000000:14ffffffffffffff]	5	1	T91	5	-	-	-	-
auto[1500000000000000:157fffffffffffff]	8	1	T47	8	-	-	-	-
auto[1600000000000000:167fffffffffffff]	29	1	T46	8	T91	5	T169	6
auto[1700000000000000:177fffffffffffff]	12	1	T55	10	T160	2	-	-
auto[1780000000000000:17ffffffffffffff]	3	1	T120	3	-	-	-	-
auto[1800000000000000:187fffffffffffff]	3	1	T134	3	-	-	-	-
auto[1880000000000000:18ffffffffffffff]	2	1	T178	2	-	-	-	-
auto[1980000000000000:19ffffffffffffff]	4	1	T170	4	-	-	-	-
auto[1b80000000000000:1bffffffffffffff]	2	1	T47	2	-	-	-	-
auto[1c00000000000000:1c7fffffffffffff]	8	1	T160	8	-	-	-	-
auto[1c80000000000000:1cffffffffffffff]	2	1	T92	2	-	-	-	-
auto[1d80000000000000:1dffffffffffffff]	16	1	T52	7	T172	9	-	-
auto[1e80000000000000:1effffffffffffff]	11	1	T111	6	T55	3	T147	2
auto[1f00000000000000:1f7fffffffffffff]	18	1	T44	2	T96	9	T127	7
auto[2000000000000000:207fffffffffffff]	7	1	T43	4	T107	3	-	-
auto[2080000000000000:20ffffffffffffff]	11	1	T142	11	-	-	-	-
auto[2100000000000000:217fffffffffffff]	25	1	T55	5	T92	7	T175	6
auto[2200000000000000:227fffffffffffff]	25	1	T19	5	T112	8	T122	12
auto[2280000000000000:22ffffffffffffff]	16	1	T20	5	T48	2	T144	3
auto[2300000000000000:237fffffffffffff]	17	1	T10	6	T91	5	T117	6
auto[2380000000000000:23ffffffffffffff]	8	1	T163	8	-	-	-	-
auto[2400000000000000:247fffffffffffff]	15	1	T17	7	T95	4	T124	4
auto[2480000000000000:24ffffffffffffff]	5	1	T90	2	T165	3	-	-
auto[2500000000000000:257fffffffffffff]	5	1	T121	5	-	-	-	-
auto[2580000000000000:25ffffffffffffff]	11	1	T95	4	T172	7	-	-
auto[2600000000000000:267fffffffffffff]	2	1	T72	2	-	-	-	-
auto[2680000000000000:26ffffffffffffff]	10	1	T118	10	-	-	-	-
auto[2800000000000000:287fffffffffffff]	12	1	T126	4	T179	8	-	-
auto[2880000000000000:28ffffffffffffff]	3	1	T95	3	-	-	-	-
auto[2900000000000000:297fffffffffffff]	5	1	T150	5	-	-	-	-
auto[2980000000000000:29ffffffffffffff]	10	1	T20	10	-	-	-	-
auto[2a80000000000000:2affffffffffffff]	9	1	T16	6	T19	3	-	-
auto[2b00000000000000:2b7fffffffffffff]	12	1	T111	12	-	-	-	-
auto[2b80000000000000:2bffffffffffffff]	14	1	T149	10	T172	2	T96	2
auto[2c00000000000000:2c7fffffffffffff]	19	1	T43	2	T101	10	T127	7
auto[2d00000000000000:2d7fffffffffffff]	13	1	T115	9	T107	4	-	-
auto[2d80000000000000:2dffffffffffffff]	15	1	T2	9	T175	6	-	-
auto[2e00000000000000:2e7fffffffffffff]	2	1	T143	2	-	-	-	-
auto[2e80000000000000:2effffffffffffff]	21	1	T44	7	T128	5	T163	9
auto[2f00000000000000:2f7fffffffffffff]	4	1	T92	4	-	-	-	-
auto[2f80000000000000:2fffffffffffffff]	12	1	T44	5	T180	7	-	-
auto[3000000000000000:307fffffffffffff]	11	1	T135	5	T100	3	T161	3
auto[3080000000000000:30ffffffffffffff]	11	1	T150	11	-	-	-	-
auto[3100000000000000:317fffffffffffff]	14	1	T163	14	-	-	-	-
auto[3180000000000000:31ffffffffffffff]	4	1	T78	2	T112	2	-	-
auto[3280000000000000:32ffffffffffffff]	3	1	T126	3	-	-	-	-
auto[3300000000000000:337fffffffffffff]	4	1	T10	4	-	-	-	-
auto[3400000000000000:347fffffffffffff]	7	1	T130	7	-	-	-	-
auto[3600000000000000:367fffffffffffff]	2	1	T166	2	-	-	-	-
auto[3700000000000000:377fffffffffffff]	8	1	T160	8	-	-	-	-
auto[3780000000000000:37ffffffffffffff]	9	1	T133	9	-	-	-	-
auto[3880000000000000:38ffffffffffffff]	4	1	T15	4	-	-	-	-
auto[3900000000000000:397fffffffffffff]	8	1	T113	8	-	-	-	-
auto[3980000000000000:39ffffffffffffff]	2	1	T181	2	-	-	-	-
auto[3a00000000000000:3a7fffffffffffff]	7	1	T113	7	-	-	-	-
auto[3b00000000000000:3b7fffffffffffff]	13	1	T31	9	T89	4	-	-
auto[3b80000000000000:3bffffffffffffff]	12	1	T89	4	T91	6	T157	2
auto[3c00000000000000:3c7fffffffffffff]	11	1	T169	6	T147	5	-	-
auto[3c80000000000000:3cffffffffffffff]	12	1	T182	2	T117	8	T183	2
auto[3d00000000000000:3d7fffffffffffff]	2	1	T172	2	-	-	-	-
auto[3e80000000000000:3effffffffffffff]	8	1	T117	8	-	-	-	-
auto[3f00000000000000:3f7fffffffffffff]	3	1	T98	3	-	-	-	-
auto[4000000000000000:407fffffffffffff]	2	1	T12	2	-	-	-	-
auto[4100000000000000:417fffffffffffff]	5	1	T96	5	-	-	-	-
auto[4180000000000000:41ffffffffffffff]	14	1	T2	3	T52	5	T134	6
auto[4200000000000000:427fffffffffffff]	17	1	T111	10	T184	2	T55	5
auto[4280000000000000:42ffffffffffffff]	5	1	T170	5	-	-	-	-
auto[4380000000000000:43ffffffffffffff]	6	1	T147	6	-	-	-	-
auto[4400000000000000:447fffffffffffff]	38	1	T147	6	T110	8	T175	24
auto[4500000000000000:457fffffffffffff]	9	1	T47	6	T92	3	-	-
auto[4580000000000000:45ffffffffffffff]	3	1	T117	3	-	-	-	-
auto[4680000000000000:46ffffffffffffff]	6	1	T175	3	T122	3	-	-
auto[4700000000000000:477fffffffffffff]	7	1	T139	7	-	-	-	-
auto[4800000000000000:487fffffffffffff]	4	1	T185	2	T186	2	-	-
auto[4880000000000000:48ffffffffffffff]	2	1	T164	2	-	-	-	-
auto[4900000000000000:497fffffffffffff]	32	1	T55	10	T103	2	T159	9
auto[4a00000000000000:4a7fffffffffffff]	3	1	T118	3	-	-	-	-
auto[4a80000000000000:4affffffffffffff]	7	1	T100	7	-	-	-	-
auto[4b00000000000000:4b7fffffffffffff]	3	1	T156	3	-	-	-	-
auto[4b80000000000000:4bffffffffffffff]	7	1	T172	7	-	-	-	-
auto[4c00000000000000:4c7fffffffffffff]	5	1	T44	5	-	-	-	-
auto[4c80000000000000:4cffffffffffffff]	7	1	T119	7	-	-	-	-
auto[4d80000000000000:4dffffffffffffff]	17	1	T131	11	T99	6	-	-
auto[4e00000000000000:4e7fffffffffffff]	18	1	T2	4	T135	10	T170	4
auto[4e80000000000000:4effffffffffffff]	6	1	T170	6	-	-	-	-
auto[4f00000000000000:4f7fffffffffffff]	12	1	T43	7	T187	5	-	-
auto[4f80000000000000:4fffffffffffffff]	12	1	T138	8	T156	4	-	-
auto[5100000000000000:517fffffffffffff]	8	1	T55	8	-	-	-	-
auto[5180000000000000:51ffffffffffffff]	18	1	T45	3	T153	4	T101	11
auto[5200000000000000:527fffffffffffff]	12	1	T48	3	T96	9	-	-
auto[5280000000000000:52ffffffffffffff]	19	1	T47	8	T111	11	-	-
auto[5380000000000000:53ffffffffffffff]	10	1	T11	2	T47	8	-	-
auto[5400000000000000:547fffffffffffff]	9	1	T153	9	-	-	-	-
auto[5480000000000000:54ffffffffffffff]	15	1	T44	5	T108	10	-	-
auto[5500000000000000:557fffffffffffff]	7	1	T172	7	-	-	-	-
auto[5580000000000000:55ffffffffffffff]	9	1	T172	9	-	-	-	-
auto[5600000000000000:567fffffffffffff]	14	1	T142	9	T107	5	-	-
auto[5700000000000000:577fffffffffffff]	27	1	T162	5	T144	12	T138	10
auto[5780000000000000:57ffffffffffffff]	6	1	T47	3	T175	3	-	-
auto[5800000000000000:587fffffffffffff]	12	1	T121	12	-	-	-	-
auto[5880000000000000:58ffffffffffffff]	6	1	T35	6	-	-	-	-
auto[5980000000000000:59ffffffffffffff]	16	1	T144	4	T118	6	T99	6
auto[5a80000000000000:5affffffffffffff]	11	1	T126	6	T101	5	-	-
auto[5b00000000000000:5b7fffffffffffff]	11	1	T43	8	T153	3	-	-
auto[5b80000000000000:5bffffffffffffff]	7	1	T93	2	T187	5	-	-
auto[5c00000000000000:5c7fffffffffffff]	6	1	T93	6	-	-	-	-
auto[5c80000000000000:5cffffffffffffff]	7	1	T96	7	-	-	-	-
auto[5d00000000000000:5d7fffffffffffff]	7	1	T127	7	-	-	-	-
auto[5d80000000000000:5dffffffffffffff]	16	1	T15	8	T188	2	T77	6
auto[5e80000000000000:5effffffffffffff]	2	1	T158	2	-	-	-	-
auto[5f00000000000000:5f7fffffffffffff]	7	1	T127	7	-	-	-	-
auto[5f80000000000000:5fffffffffffffff]	12	1	T94	4	T120	8	-	-
auto[6000000000000000:607fffffffffffff]	10	1	T93	6	T160	4	-	-
auto[6080000000000000:60ffffffffffffff]	10	1	T145	10	-	-	-	-
auto[6180000000000000:61ffffffffffffff]	9	1	T180	5	T117	4	-	-
auto[6280000000000000:62ffffffffffffff]	5	1	T91	5	-	-	-	-
auto[6300000000000000:637fffffffffffff]	10	1	T101	10	-	-	-	-
auto[6380000000000000:63ffffffffffffff]	2	1	T129	2	-	-	-	-
auto[6400000000000000:647fffffffffffff]	12	1	T118	12	-	-	-	-
auto[6500000000000000:657fffffffffffff]	15	1	T163	15	-	-	-	-
auto[6600000000000000:667fffffffffffff]	3	1	T44	3	-	-	-	-
auto[6680000000000000:66ffffffffffffff]	8	1	T120	8	-	-	-	-
auto[6900000000000000:697fffffffffffff]	4	1	T160	4	-	-	-	-
auto[6980000000000000:69ffffffffffffff]	9	1	T189	9	-	-	-	-
auto[6a00000000000000:6a7fffffffffffff]	11	1	T43	11	-	-	-	-
auto[6b00000000000000:6b7fffffffffffff]	6	1	T91	6	-	-	-	-
auto[6b80000000000000:6bffffffffffffff]	2	1	T93	2	-	-	-	-
auto[6c00000000000000:6c7fffffffffffff]	3	1	T122	3	-	-	-	-
auto[6d00000000000000:6d7fffffffffffff]	3	1	T113	3	-	-	-	-
auto[6d80000000000000:6dffffffffffffff]	32	1	T46	10	T160	22	-	-
auto[6e00000000000000:6e7fffffffffffff]	5	1	T137	5	-	-	-	-
auto[6e80000000000000:6effffffffffffff]	18	1	T180	8	T153	7	T124	3
auto[6f00000000000000:6f7fffffffffffff]	5	1	T147	5	-	-	-	-
auto[6f80000000000000:6fffffffffffffff]	18	1	T47	8	T147	4	T175	6
auto[7000000000000000:707fffffffffffff]	11	1	T76	8	T190	3	-	-
auto[7100000000000000:717fffffffffffff]	9	1	T75	9	-	-	-	-
auto[7180000000000000:71ffffffffffffff]	5	1	T173	5	-	-	-	-
auto[7200000000000000:727fffffffffffff]	4	1	T166	4	-	-	-	-
auto[7380000000000000:73ffffffffffffff]	3	1	T187	3	-	-	-	-
auto[7500000000000000:757fffffffffffff]	3	1	T16	3	-	-	-	-
auto[7700000000000000:777fffffffffffff]	10	1	T147	6	T165	4	-	-
auto[7780000000000000:77ffffffffffffff]	7	1	T52	7	-	-	-	-
auto[7900000000000000:797fffffffffffff]	4	1	T117	4	-	-	-	-
auto[7980000000000000:79ffffffffffffff]	7	1	T191	2	T128	2	T107	3
auto[7a80000000000000:7affffffffffffff]	6	1	T94	6	-	-	-	-
auto[7b00000000000000:7b7fffffffffffff]	18	1	T108	13	T110	5	-	-
auto[7b80000000000000:7bffffffffffffff]	16	1	T17	8	T138	8	-	-
auto[7c80000000000000:7cffffffffffffff]	10	1	T45	6	T175	4	-	-
auto[7d80000000000000:7dffffffffffffff]	9	1	T132	6	T117	3	-	-
auto[7e00000000000000:7e7fffffffffffff]	21	1	T43	11	T142	10	-	-
auto[7f00000000000000:7f7fffffffffffff]	10	1	T109	10	-	-	-	-
auto[7f80000000000000:7fffffffffffffff]	6	1	T173	6	-	-	-	-
auto[8000000000000000:807fffffffffffff]	23	1	T44	11	T105	12	-	-
auto[8100000000000000:817fffffffffffff]	11	1	T130	11	-	-	-	-
auto[8180000000000000:81ffffffffffffff]	12	1	T52	2	T43	7	T117	3
auto[8280000000000000:82ffffffffffffff]	12	1	T20	8	T76	4	-	-
auto[8300000000000000:837fffffffffffff]	8	1	T46	8	-	-	-	-
auto[8380000000000000:83ffffffffffffff]	11	1	T17	8	T107	3	-	-
auto[8400000000000000:847fffffffffffff]	3	1	T175	3	-	-	-	-
auto[8480000000000000:84ffffffffffffff]	8	1	T148	2	T192	2	T179	4
auto[8580000000000000:85ffffffffffffff]	6	1	T144	6	-	-	-	-
auto[8600000000000000:867fffffffffffff]	15	1	T44	9	T101	6	-	-
auto[8680000000000000:86ffffffffffffff]	14	1	T43	9	T161	3	T119	2
auto[8780000000000000:87ffffffffffffff]	4	1	T117	4	-	-	-	-
auto[8880000000000000:88ffffffffffffff]	11	1	T15	4	T189	7	-	-
auto[8900000000000000:897fffffffffffff]	8	1	T133	5	T165	3	-	-
auto[8980000000000000:89ffffffffffffff]	6	1	T44	6	-	-	-	-
auto[8a00000000000000:8a7fffffffffffff]	7	1	T46	7	-	-	-	-
auto[8a80000000000000:8affffffffffffff]	9	1	T108	9	-	-	-	-
auto[8b80000000000000:8bffffffffffffff]	14	1	T20	6	T145	8	-	-
auto[8c00000000000000:8c7fffffffffffff]	13	1	T130	4	T98	4	T127	5
auto[8c80000000000000:8cffffffffffffff]	7	1	T193	2	T156	5	-	-
auto[8d00000000000000:8d7fffffffffffff]	9	1	T137	5	T106	4	-	-
auto[8e00000000000000:8e7fffffffffffff]	9	1	T46	3	T149	6	-	-
auto[8e80000000000000:8effffffffffffff]	11	1	T46	7	T98	4	-	-
auto[8f00000000000000:8f7fffffffffffff]	12	1	T179	12	-	-	-	-
auto[9000000000000000:907fffffffffffff]	21	1	T7	2	T55	9	T76	10
auto[9080000000000000:90ffffffffffffff]	2	1	T48	2	-	-	-	-
auto[9380000000000000:93ffffffffffffff]	5	1	T96	5	-	-	-	-
auto[9480000000000000:94ffffffffffffff]	2	1	T105	2	-	-	-	-
auto[9500000000000000:957fffffffffffff]	2	1	T8	2	-	-	-	-
auto[9580000000000000:95ffffffffffffff]	8	1	T117	8	-	-	-	-
auto[9600000000000000:967fffffffffffff]	7	1	T43	7	-	-	-	-
auto[9680000000000000:96ffffffffffffff]	7	1	T14	2	T128	5	-	-
auto[9700000000000000:977fffffffffffff]	5	1	T95	5	-	-	-	-
auto[9780000000000000:97ffffffffffffff]	10	1	T162	4	T46	3	T105	3
auto[9800000000000000:987fffffffffffff]	13	1	T45	2	T76	4	T121	7
auto[9900000000000000:997fffffffffffff]	6	1	T19	6	-	-	-	-
auto[9980000000000000:99ffffffffffffff]	23	1	T139	8	T118	13	T140	2
auto[9a00000000000000:9a7fffffffffffff]	2	1	T56	2	-	-	-	-
auto[9a80000000000000:9affffffffffffff]	7	1	T101	7	-	-	-	-
auto[9b80000000000000:9bffffffffffffff]	15	1	T106	8	T150	7	-	-
auto[9c00000000000000:9c7fffffffffffff]	7	1	T167	7	-	-	-	-
auto[9c80000000000000:9cffffffffffffff]	7	1	T15	7	-	-	-	-
auto[9d00000000000000:9d7fffffffffffff]	16	1	T95	5	T160	11	-	-
auto[9e00000000000000:9e7fffffffffffff]	3	1	T35	3	-	-	-	-
auto[9e80000000000000:9effffffffffffff]	17	1	T194	2	T91	6	T179	9
auto[9f00000000000000:9f7fffffffffffff]	4	1	T56	4	-	-	-	-
auto[a000000000000000:a07fffffffffffff]	16	1	T47	8	T144	8	-	-
auto[a080000000000000:a0ffffffffffffff]	3	1	T190	3	-	-	-	-
auto[a100000000000000:a17fffffffffffff]	5	1	T153	5	-	-	-	-
auto[a180000000000000:a1ffffffffffffff]	16	1	T46	3	T130	2	T48	3
auto[a280000000000000:a2ffffffffffffff]	6	1	T127	6	-	-	-	-
auto[a380000000000000:a3ffffffffffffff]	8	1	T108	3	T114	2	T102	3
auto[a400000000000000:a47fffffffffffff]	9	1	T137	3	T159	6	-	-
auto[a480000000000000:a4ffffffffffffff]	10	1	T106	10	-	-	-	-
auto[a580000000000000:a5ffffffffffffff]	11	1	T47	5	T115	6	-	-
auto[a780000000000000:a7ffffffffffffff]	7	1	T183	7	-	-	-	-
auto[a980000000000000:a9ffffffffffffff]	3	1	T92	3	-	-	-	-
auto[aa00000000000000:aa7fffffffffffff]	6	1	T101	6	-	-	-	-
auto[aa80000000000000:aaffffffffffffff]	23	1	T47	5	T94	4	T121	14
auto[ab00000000000000:ab7fffffffffffff]	3	1	T2	3	-	-	-	-
auto[ab80000000000000:abffffffffffffff]	8	1	T55	8	-	-	-	-
auto[ac80000000000000:acffffffffffffff]	8	1	T139	8	-	-	-	-
auto[ad80000000000000:adffffffffffffff]	8	1	T109	5	T89	3	-	-
auto[af00000000000000:af7fffffffffffff]	4	1	T168	2	T195	2	-	-
auto[af80000000000000:afffffffffffffff]	10	1	T94	6	T108	4	-	-
auto[b000000000000000:b07fffffffffffff]	2	1	T128	2	-	-	-	-
auto[b080000000000000:b0ffffffffffffff]	18	1	T46	7	T132	7	T99	4
auto[b100000000000000:b17fffffffffffff]	12	1	T173	2	T187	4	T156	6
auto[b180000000000000:b1ffffffffffffff]	8	1	T180	6	T160	2	-	-
auto[b200000000000000:b27fffffffffffff]	7	1	T111	5	T115	2	-	-
auto[b280000000000000:b2ffffffffffffff]	5	1	T153	5	-	-	-	-
auto[b300000000000000:b37fffffffffffff]	17	1	T120	6	T170	4	T96	7
auto[b380000000000000:b3ffffffffffffff]	26	1	T17	9	T167	5	T90	2
auto[b480000000000000:b4ffffffffffffff]	5	1	T183	5	-	-	-	-
auto[b580000000000000:b5ffffffffffffff]	8	1	T179	8	-	-	-	-
auto[b680000000000000:b6ffffffffffffff]	7	1	T149	7	-	-	-	-
auto[b700000000000000:b77fffffffffffff]	15	1	T46	10	T156	5	-	-
auto[b780000000000000:b7ffffffffffffff]	17	1	T172	7	T93	10	-	-
auto[b800000000000000:b87fffffffffffff]	15	1	T102	6	T142	9	-	-
auto[b880000000000000:b8ffffffffffffff]	3	1	T106	3	-	-	-	-
auto[b900000000000000:b97fffffffffffff]	2	1	T48	2	-	-	-	-
auto[b980000000000000:b9ffffffffffffff]	17	1	T19	3	T52	6	T110	8
auto[ba00000000000000:ba7fffffffffffff]	16	1	T77	9	T127	7	-	-
auto[ba80000000000000:baffffffffffffff]	7	1	T127	7	-	-	-	-
auto[bc00000000000000:bc7fffffffffffff]	3	1	T156	3	-	-	-	-
auto[bc80000000000000:bcffffffffffffff]	5	1	T196	2	T56	3	-	-
auto[bd80000000000000:bdffffffffffffff]	6	1	T55	4	T170	2	-	-
auto[be00000000000000:be7fffffffffffff]	8	1	T90	6	T123	2	-	-
auto[c000000000000000:c07fffffffffffff]	25	1	T189	7	T106	7	T92	11
auto[c080000000000000:c0ffffffffffffff]	13	1	T151	2	T104	11	-	-
auto[c100000000000000:c17fffffffffffff]	11	1	T4	2	T102	4	T134	5
auto[c180000000000000:c1ffffffffffffff]	7	1	T142	7	-	-	-	-
auto[c200000000000000:c27fffffffffffff]	14	1	T162	5	T159	9	-	-
auto[c280000000000000:c2ffffffffffffff]	7	1	T154	2	T197	2	T119	3
auto[c400000000000000:c47fffffffffffff]	7	1	T120	7	-	-	-	-
auto[c480000000000000:c4ffffffffffffff]	9	1	T113	9	-	-	-	-
auto[c500000000000000:c57fffffffffffff]	5	1	T91	5	-	-	-	-
auto[c580000000000000:c5ffffffffffffff]	21	1	T105	12	T119	9	-	-
auto[c600000000000000:c67fffffffffffff]	7	1	T130	7	-	-	-	-
auto[c780000000000000:c7ffffffffffffff]	13	1	T92	4	T104	9	-	-
auto[c800000000000000:c87fffffffffffff]	3	1	T198	3	-	-	-	-
auto[c880000000000000:c8ffffffffffffff]	7	1	T76	7	-	-	-	-
auto[c980000000000000:c9ffffffffffffff]	18	1	T75	11	T127	7	-	-
auto[ca00000000000000:ca7fffffffffffff]	14	1	T133	7	T127	7	-	-
auto[ca80000000000000:caffffffffffffff]	11	1	T163	11	-	-	-	-
auto[cb00000000000000:cb7fffffffffffff]	2	1	T172	2	-	-	-	-
auto[cc00000000000000:cc7fffffffffffff]	31	1	T146	2	T89	6	T104	5
auto[cc80000000000000:ccffffffffffffff]	2	1	T35	2	-	-	-	-
auto[cd80000000000000:cdffffffffffffff]	11	1	T43	9	T93	2	-	-
auto[ce00000000000000:ce7fffffffffffff]	2	1	T166	2	-	-	-	-
auto[ce80000000000000:ceffffffffffffff]	10	1	T55	3	T199	2	T107	5
auto[cf00000000000000:cf7fffffffffffff]	3	1	T97	3	-	-	-	-
auto[d080000000000000:d0ffffffffffffff]	22	1	T55	16	T127	6	-	-
auto[d100000000000000:d17fffffffffffff]	9	1	T52	3	T91	3	T190	3
auto[d180000000000000:d1ffffffffffffff]	6	1	T44	3	T187	3	-	-
auto[d200000000000000:d27fffffffffffff]	4	1	T55	4	-	-	-	-
auto[d280000000000000:d2ffffffffffffff]	11	1	T17	9	T145	2	-	-
auto[d480000000000000:d4ffffffffffffff]	5	1	T19	3	T150	2	-	-
auto[d600000000000000:d67fffffffffffff]	7	1	T127	7	-	-	-	-
auto[d700000000000000:d77fffffffffffff]	13	1	T111	13	-	-	-	-
auto[d780000000000000:d7ffffffffffffff]	10	1	T46	10	-	-	-	-
auto[d800000000000000:d87fffffffffffff]	6	1	T126	6	-	-	-	-
auto[d980000000000000:d9ffffffffffffff]	6	1	T107	6	-	-	-	-
auto[da00000000000000:da7fffffffffffff]	4	1	T96	4	-	-	-	-
auto[da80000000000000:daffffffffffffff]	10	1	T15	10	-	-	-	-
auto[db00000000000000:db7fffffffffffff]	11	1	T48	2	T55	9	-	-
auto[dd80000000000000:ddffffffffffffff]	4	1	T55	4	-	-	-	-
auto[de80000000000000:deffffffffffffff]	11	1	T89	11	-	-	-	-
auto[e080000000000000:e0ffffffffffffff]	8	1	T46	8	-	-	-	-
auto[e100000000000000:e17fffffffffffff]	7	1	T110	7	-	-	-	-
auto[e180000000000000:e1ffffffffffffff]	6	1	T133	6	-	-	-	-
auto[e280000000000000:e2ffffffffffffff]	5	1	T55	5	-	-	-	-
auto[e300000000000000:e37fffffffffffff]	8	1	T44	6	T183	2	-	-
auto[e380000000000000:e3ffffffffffffff]	10	1	T180	6	T48	2	T200	2
auto[e400000000000000:e47fffffffffffff]	4	1	T124	4	-	-	-	-
auto[e500000000000000:e57fffffffffffff]	4	1	T35	2	T201	2	-	-
auto[e680000000000000:e6ffffffffffffff]	5	1	T91	5	-	-	-	-
auto[e780000000000000:e7ffffffffffffff]	11	1	T166	11	-	-	-	-
auto[e800000000000000:e87fffffffffffff]	10	1	T43	2	T162	3	T147	5
auto[e980000000000000:e9ffffffffffffff]	4	1	T161	4	-	-	-	-
auto[eb00000000000000:eb7fffffffffffff]	6	1	T32	2	T55	4	-	-
auto[eb80000000000000:ebffffffffffffff]	12	1	T179	12	-	-	-	-
auto[ec00000000000000:ec7fffffffffffff]	7	1	T166	7	-	-	-	-
auto[ef00000000000000:ef7fffffffffffff]	10	1	T105	3	T90	4	T97	3
auto[f000000000000000:f07fffffffffffff]	6	1	T202	2	T160	4	-	-
auto[f080000000000000:f0ffffffffffffff]	12	1	T142	12	-	-	-	-
auto[f100000000000000:f17fffffffffffff]	16	1	T31	4	T126	6	T119	6
auto[f200000000000000:f27fffffffffffff]	11	1	T43	11	-	-	-	-
auto[f300000000000000:f37fffffffffffff]	8	1	T47	8	-	-	-	-
auto[f380000000000000:f3ffffffffffffff]	16	1	T13	2	T56	4	T142	10
auto[f400000000000000:f47fffffffffffff]	3	1	T115	3	-	-	-	-
auto[f480000000000000:f4ffffffffffffff]	2	1	T128	2	-	-	-	-
auto[f500000000000000:f57fffffffffffff]	9	1	T55	5	T166	4	-	-
auto[f580000000000000:f5ffffffffffffff]	5	1	T147	5	-	-	-	-
auto[f600000000000000:f67fffffffffffff]	16	1	T20	10	T90	3	T115	3
auto[f680000000000000:f6ffffffffffffff]	6	1	T77	6	-	-	-	-
auto[f700000000000000:f77fffffffffffff]	3	1	T198	3	-	-	-	-
auto[f800000000000000:f87fffffffffffff]	15	1	T47	6	T92	9	-	-
auto[f900000000000000:f97fffffffffffff]	9	1	T35	2	T75	5	T152	2
auto[fa80000000000000:faffffffffffffff]	2	1	T141	2	-	-	-	-
auto[fb80000000000000:fbffffffffffffff]	12	1	T125	12	-	-	-	-
auto[fc00000000000000:fc7fffffffffffff]	4	1	T173	4	-	-	-	-
auto[fc80000000000000:fcffffffffffffff]	2	1	T35	2	-	-	-	-
auto[fd00000000000000:fd7fffffffffffff]	3	1	T121	3	-	-	-	-
auto[fd80000000000000:fdffffffffffffff]	7	1	T138	7	-	-	-	-
auto[fe00000000000000:fe7fffffffffffff]	6	1	T47	2	T95	4	-	-
auto[fe80000000000000:feffffffffffffff]	5	1	T90	5	-	-	-	-
auto[ff00000000000000:ff7fffffffffffff]	12	1	T31	10	T155	2	-	-
auto[ff80000000000000:ffffffffffffffff]	15	1	T104	7	T160	8	-	-

Summary for Variable wkup_int_cp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	2	0	2	100.00

User Defined Bins for wkup_int_cp

Bins

NAME	COUNT	AT LEAST	TEST	COUNT	TEST	COUNT	TEST	COUNT
set	1927	1	T2	12	T10	10	T11	2
unset	6466	1	T1	2	T2	55	T3	60

Summary for Variable wkup_thold_cp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	512	159	353	68.95

Automatically Generated Bins for wkup_thold_cp

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER
[auto[0100000000000000:017fffffffffffff] - auto[0280000000000000:02ffffffffffffff]]	--	--	4
[auto[0580000000000000:05ffffffffffffff]]	0	1	1
[auto[0680000000000000:06ffffffffffffff]]	0	1	1
[auto[0c80000000000000:0cffffffffffffff] - auto[0d00000000000000:0d7fffffffffffff]]	--	--	2
[auto[0e00000000000000:0e7fffffffffffff]]	0	1	1
[auto[0f00000000000000:0f7fffffffffffff] - auto[1000000000000000:107fffffffffffff]]	--	--	3
[auto[1480000000000000:14ffffffffffffff] - auto[1580000000000000:15ffffffffffffff]]	--	--	3
[auto[1980000000000000:19ffffffffffffff]]	0	1	1
[auto[1b00000000000000:1b7fffffffffffff]]	0	1	1
[auto[1c80000000000000:1cffffffffffffff]]	0	1	1
[auto[1e00000000000000:1e7fffffffffffff] - auto[2100000000000000:217fffffffffffff]]	--	--	7
[auto[2280000000000000:22ffffffffffffff]]	0	1	1
[auto[2500000000000000:257fffffffffffff]]	0	1	1
[auto[2900000000000000:297fffffffffffff]]	0	1	1
[auto[2a00000000000000:2a7fffffffffffff]]	0	1	1
[auto[2b00000000000000:2b7fffffffffffff]]	0	1	1
[auto[2d00000000000000:2d7fffffffffffff]]	0	1	1
[auto[2f00000000000000:2f7fffffffffffff] - auto[3000000000000000:307fffffffffffff]]	--	--	3
[auto[3180000000000000:31ffffffffffffff] - auto[3200000000000000:327fffffffffffff]]	--	--	2
[auto[3380000000000000:33ffffffffffffff]]	0	1	1
[auto[3480000000000000:34ffffffffffffff]]	0	1	1
[auto[3880000000000000:38ffffffffffffff]]	0	1	1
[auto[3a00000000000000:3a7fffffffffffff]]	0	1	1
[auto[3c80000000000000:3cffffffffffffff]]	0	1	1
[auto[3d80000000000000:3dffffffffffffff]]	0	1	1
[auto[3f80000000000000:3fffffffffffffff] - auto[4080000000000000:40ffffffffffffff]]	--	--	3
[auto[4300000000000000:437fffffffffffff]]	0	1	1
[auto[4400000000000000:447fffffffffffff] - auto[4480000000000000:44ffffffffffffff]]	--	--	2
[auto[4580000000000000:45ffffffffffffff] - auto[4680000000000000:46ffffffffffffff]]	--	--	3
[auto[4780000000000000:47ffffffffffffff] - auto[4800000000000000:487fffffffffffff]]	--	--	2
[auto[4980000000000000:49ffffffffffffff] - auto[4a00000000000000:4a7fffffffffffff]]	--	--	2
[auto[4b00000000000000:4b7fffffffffffff] - auto[4c00000000000000:4c7fffffffffffff]]	--	--	3
[auto[5000000000000000:507fffffffffffff]]	0	1	1
[auto[5200000000000000:527fffffffffffff] - auto[5280000000000000:52ffffffffffffff]]	--	--	2
[auto[5480000000000000:54ffffffffffffff]]	0	1	1
[auto[5600000000000000:567fffffffffffff]]	0	1	1
[auto[5700000000000000:577fffffffffffff]]	0	1	1
[auto[5b80000000000000:5bffffffffffffff]]	0	1	1
[auto[5c80000000000000:5cffffffffffffff]]	0	1	1
[auto[5d80000000000000:5dffffffffffffff]]	0	1	1
[auto[6180000000000000:61ffffffffffffff] - auto[6200000000000000:627fffffffffffff]]	--	--	2
[auto[6380000000000000:63ffffffffffffff]]	0	1	1
[auto[6480000000000000:64ffffffffffffff]]	0	1	1
[auto[6600000000000000:667fffffffffffff]]	0	1	1
[auto[6700000000000000:677fffffffffffff]]	0	1	1
[auto[6c00000000000000:6c7fffffffffffff]]	0	1	1
[auto[6d80000000000000:6dffffffffffffff] - auto[6e00000000000000:6e7fffffffffffff]]	--	--	2
[auto[7000000000000000:707fffffffffffff]]	0	1	1
[auto[7100000000000000:717fffffffffffff] - auto[7180000000000000:71ffffffffffffff]]	--	--	2
[auto[7380000000000000:73ffffffffffffff] - auto[7400000000000000:747fffffffffffff]]	--	--	2
[auto[7500000000000000:757fffffffffffff]]	0	1	1
[auto[7600000000000000:767fffffffffffff]]	0	1	1
[auto[7780000000000000:77ffffffffffffff]]	0	1	1
[auto[7900000000000000:797fffffffffffff]]	0	1	1
[auto[7a00000000000000:7a7fffffffffffff]]	0	1	1
[auto[7c00000000000000:7c7fffffffffffff] - auto[7c80000000000000:7cffffffffffffff]]	--	--	2
[auto[8400000000000000:847fffffffffffff] - auto[8500000000000000:857fffffffffffff]]	--	--	3
[auto[8600000000000000:867fffffffffffff]]	0	1	1
[auto[8780000000000000:87ffffffffffffff]]	0	1	1
[auto[8880000000000000:88ffffffffffffff]]	0	1	1
[auto[8b80000000000000:8bffffffffffffff] - auto[8c00000000000000:8c7fffffffffffff]]	--	--	2
[auto[8e80000000000000:8effffffffffffff]]	0	1	1
[auto[9280000000000000:92ffffffffffffff]]	0	1	1
[auto[9400000000000000:947fffffffffffff] - auto[9480000000000000:94ffffffffffffff]]	--	--	2
[auto[9600000000000000:967fffffffffffff]]	0	1	1
[auto[9900000000000000:997fffffffffffff] - auto[9980000000000000:99ffffffffffffff]]	--	--	2
[auto[9b80000000000000:9bffffffffffffff]]	0	1	1
[auto[9e80000000000000:9effffffffffffff]]	0	1	1
[auto[9f80000000000000:9fffffffffffffff]]	0	1	1
[auto[a180000000000000:a1ffffffffffffff] - auto[a200000000000000:a27fffffffffffff]]	--	--	2
[auto[a300000000000000:a37fffffffffffff] - auto[a380000000000000:a3ffffffffffffff]]	--	--	2
[auto[a700000000000000:a77fffffffffffff] - auto[a880000000000000:a8ffffffffffffff]]	--	--	4
[auto[ad00000000000000:ad7fffffffffffff] - auto[ad80000000000000:adffffffffffffff]]	--	--	2
[auto[af00000000000000:af7fffffffffffff]]	0	1	1
[auto[b080000000000000:b0ffffffffffffff]]	0	1	1
[auto[b880000000000000:b8ffffffffffffff] - auto[b900000000000000:b97fffffffffffff]]	--	--	2
[auto[ba80000000000000:baffffffffffffff]]	0	1	1
[auto[bb80000000000000:bbffffffffffffff] - auto[bc00000000000000:bc7fffffffffffff]]	--	--	2
[auto[bd00000000000000:bd7fffffffffffff] - auto[bd80000000000000:bdffffffffffffff]]	--	--	2
[auto[bf80000000000000:bfffffffffffffff] - auto[c180000000000000:c1ffffffffffffff]]	--	--	5
[auto[c380000000000000:c3ffffffffffffff] - auto[c400000000000000:c47fffffffffffff]]	--	--	2
[auto[c680000000000000:c6ffffffffffffff] - auto[c780000000000000:c7ffffffffffffff]]	--	--	3
[auto[c880000000000000:c8ffffffffffffff]]	0	1	1
[auto[cd00000000000000:cd7fffffffffffff] - auto[cd80000000000000:cdffffffffffffff]]	--	--	2
[auto[ce80000000000000:ceffffffffffffff]]	0	1	1
[auto[d200000000000000:d27fffffffffffff] - auto[d280000000000000:d2ffffffffffffff]]	--	--	2
[auto[d580000000000000:d5ffffffffffffff]]	0	1	1
[auto[d680000000000000:d6ffffffffffffff]]	0	1	1
[auto[d800000000000000:d87fffffffffffff]]	0	1	1
[auto[da00000000000000:da7fffffffffffff]]	0	1	1
[auto[db80000000000000:dbffffffffffffff]]	0	1	1
[auto[dd80000000000000:ddffffffffffffff] - auto[de00000000000000:de7fffffffffffff]]	--	--	2
[auto[e280000000000000:e2ffffffffffffff]]	0	1	1
[auto[e400000000000000:e47fffffffffffff]]	0	1	1
[auto[ec00000000000000:ec7fffffffffffff] - auto[ec80000000000000:ecffffffffffffff]]	--	--	2
[auto[f080000000000000:f0ffffffffffffff]]	0	1	1
[auto[f180000000000000:f1ffffffffffffff]]	0	1	1
[auto[f500000000000000:f57fffffffffffff]]	0	1	1
[auto[f600000000000000:f67fffffffffffff] - auto[f680000000000000:f6ffffffffffffff]]	--	--	2
[auto[f800000000000000:f87fffffffffffff]]	0	1	1
[auto[f980000000000000:f9ffffffffffffff]]	0	1	1

Covered bins

NAME	COUNT	AT LEAST	TEST	COUNT	TEST	COUNT	TEST	COUNT
auto[0000000000000000:007fffffffffffff]	5136	1	T1	2	T2	48	T3	60
auto[0080000000000000:00ffffffffffffff]	7	1	T149	7	-	-	-	-
auto[0300000000000000:037fffffffffffff]	20	1	T173	6	T147	5	T98	4
auto[0380000000000000:03ffffffffffffff]	2	1	T160	2	-	-	-	-
auto[0400000000000000:047fffffffffffff]	25	1	T113	8	T180	5	T55	5
auto[0480000000000000:04ffffffffffffff]	5	1	T153	5	-	-	-	-
auto[0500000000000000:057fffffffffffff]	2	1	T200	2	-	-	-	-
auto[0600000000000000:067fffffffffffff]	3	1	T89	3	-	-	-	-
auto[0700000000000000:077fffffffffffff]	2	1	T129	2	-	-	-	-
auto[0780000000000000:07ffffffffffffff]	8	1	T47	8	-	-	-	-
auto[0800000000000000:087fffffffffffff]	33	1	T16	3	T55	5	T91	6
auto[0880000000000000:08ffffffffffffff]	12	1	T179	12	-	-	-	-
auto[0900000000000000:097fffffffffffff]	3	1	T175	3	-	-	-	-
auto[0980000000000000:09ffffffffffffff]	3	1	T198	3	-	-	-	-
auto[0a00000000000000:0a7fffffffffffff]	5	1	T133	5	-	-	-	-
auto[0a80000000000000:0affffffffffffff]	9	1	T92	9	-	-	-	-
auto[0b00000000000000:0b7fffffffffffff]	10	1	T15	10	-	-	-	-
auto[0b80000000000000:0bffffffffffffff]	2	1	T148	2	-	-	-	-
auto[0c00000000000000:0c7fffffffffffff]	14	1	T14	2	T142	12	-	-
auto[0d80000000000000:0dffffffffffffff]	2	1	T110	2	-	-	-	-
auto[0e80000000000000:0effffffffffffff]	13	1	T106	8	T96	5	-	-
auto[1080000000000000:10ffffffffffffff]	2	1	T157	2	-	-	-	-
auto[1100000000000000:117fffffffffffff]	6	1	T47	6	-	-	-	-
auto[1180000000000000:11ffffffffffffff]	8	1	T47	8	-	-	-	-
auto[1200000000000000:127fffffffffffff]	37	1	T44	7	T121	14	T101	5
auto[1280000000000000:12ffffffffffffff]	2	1	T147	2	-	-	-	-
auto[1300000000000000:137fffffffffffff]	4	1	T89	4	-	-	-	-
auto[1380000000000000:13ffffffffffffff]	3	1	T92	3	-	-	-	-
auto[1400000000000000:147fffffffffffff]	7	1	T127	7	-	-	-	-
auto[1600000000000000:167fffffffffffff]	5	1	T13	2	T187	3	-	-
auto[1680000000000000:16ffffffffffffff]	18	1	T185	2	T153	7	T119	3
auto[1700000000000000:177fffffffffffff]	22	1	T144	4	T108	13	T91	5
auto[1780000000000000:17ffffffffffffff]	3	1	T97	3	-	-	-	-
auto[1800000000000000:187fffffffffffff]	33	1	T43	9	T46	10	T182	2
auto[1880000000000000:18ffffffffffffff]	3	1	T111	3	-	-	-	-
auto[1900000000000000:197fffffffffffff]	4	1	T99	4	-	-	-	-
auto[1a00000000000000:1a7fffffffffffff]	6	1	T199	2	T160	4	-	-
auto[1a80000000000000:1affffffffffffff]	3	1	T165	3	-	-	-	-
auto[1b80000000000000:1bffffffffffffff]	8	1	T47	8	-	-	-	-
auto[1c00000000000000:1c7fffffffffffff]	6	1	T147	6	-	-	-	-
auto[1d00000000000000:1d7fffffffffffff]	8	1	T112	8	-	-	-	-
auto[1d80000000000000:1dffffffffffffff]	6	1	T48	2	T165	4	-	-
auto[2180000000000000:21ffffffffffffff]	14	1	T17	8	T19	3	T144	3
auto[2200000000000000:227fffffffffffff]	5	1	T55	5	-	-	-	-
auto[2300000000000000:237fffffffffffff]	6	1	T45	6	-	-	-	-
auto[2380000000000000:23ffffffffffffff]	4	1	T179	4	-	-	-	-
auto[2400000000000000:247fffffffffffff]	6	1	T44	6	-	-	-	-
auto[2480000000000000:24ffffffffffffff]	5	1	T167	5	-	-	-	-
auto[2580000000000000:25ffffffffffffff]	6	1	T175	6	-	-	-	-
auto[2600000000000000:267fffffffffffff]	18	1	T20	6	T78	2	T170	4
auto[2680000000000000:26ffffffffffffff]	16	1	T31	9	T138	7	-	-
auto[2700000000000000:277fffffffffffff]	7	1	T46	7	-	-	-	-
auto[2780000000000000:27ffffffffffffff]	11	1	T188	2	T47	3	T48	3
auto[2800000000000000:287fffffffffffff]	4	1	T55	4	-	-	-	-
auto[2880000000000000:28ffffffffffffff]	12	1	T147	5	T127	7	-	-
auto[2980000000000000:29ffffffffffffff]	10	1	T131	10	-	-	-	-
auto[2a80000000000000:2affffffffffffff]	14	1	T95	4	T93	10	-	-
auto[2b80000000000000:2bffffffffffffff]	11	1	T163	11	-	-	-	-
auto[2c00000000000000:2c7fffffffffffff]	8	1	T179	8	-	-	-	-
auto[2c80000000000000:2cffffffffffffff]	19	1	T158	2	T142	11	T101	6
auto[2d80000000000000:2dffffffffffffff]	17	1	T2	3	T47	5	T90	2
auto[2e00000000000000:2e7fffffffffffff]	12	1	T52	5	T171	2	T107	5
auto[2e80000000000000:2effffffffffffff]	8	1	T139	8	-	-	-	-
auto[3080000000000000:30ffffffffffffff]	8	1	T45	2	T91	6	-	-
auto[3100000000000000:317fffffffffffff]	12	1	T91	3	T96	9	-	-
auto[3280000000000000:32ffffffffffffff]	16	1	T44	9	T127	7	-	-
auto[3300000000000000:337fffffffffffff]	12	1	T162	5	T119	7	-	-
auto[3400000000000000:347fffffffffffff]	8	1	T55	5	T100	3	-	-
auto[3500000000000000:357fffffffffffff]	8	1	T117	8	-	-	-	-
auto[3580000000000000:35ffffffffffffff]	6	1	T127	6	-	-	-	-
auto[3600000000000000:367fffffffffffff]	19	1	T17	7	T125	12	-	-
auto[3680000000000000:36ffffffffffffff]	9	1	T47	2	T132	7	-	-
auto[3700000000000000:377fffffffffffff]	4	1	T100	4	-	-	-	-
auto[3780000000000000:37ffffffffffffff]	2	1	T44	2	-	-	-	-
auto[3800000000000000:387fffffffffffff]	7	1	T101	7	-	-	-	-
auto[3900000000000000:397fffffffffffff]	12	1	T189	9	T46	3	-	-
auto[3980000000000000:39ffffffffffffff]	19	1	T91	5	T127	14	-	-
auto[3a80000000000000:3affffffffffffff]	17	1	T52	7	T31	10	-	-
auto[3b00000000000000:3b7fffffffffffff]	26	1	T130	7	T76	7	T122	12
auto[3b80000000000000:3bffffffffffffff]	7	1	T168	2	T107	5	-	-
auto[3c00000000000000:3c7fffffffffffff]	9	1	T119	9	-	-	-	-
auto[3d00000000000000:3d7fffffffffffff]	13	1	T93	2	T160	11	-	-
auto[3e00000000000000:3e7fffffffffffff]	4	1	T31	4	-	-	-	-
auto[3e80000000000000:3effffffffffffff]	7	1	T121	7	-	-	-	-
auto[3f00000000000000:3f7fffffffffffff]	8	1	T46	8	-	-	-	-
auto[4100000000000000:417fffffffffffff]	3	1	T46	3	-	-	-	-
auto[4180000000000000:41ffffffffffffff]	6	1	T91	6	-	-	-	-
auto[4200000000000000:427fffffffffffff]	8	1	T117	8	-	-	-	-
auto[4280000000000000:42ffffffffffffff]	21	1	T144	12	T55	9	-	-
auto[4380000000000000:43ffffffffffffff]	8	1	T144	8	-	-	-	-
auto[4500000000000000:457fffffffffffff]	25	1	T46	8	T111	10	T150	7
auto[4700000000000000:477fffffffffffff]	5	1	T137	5	-	-	-	-
auto[4880000000000000:48ffffffffffffff]	13	1	T172	2	T150	11	-	-
auto[4900000000000000:497fffffffffffff]	34	1	T113	3	T111	11	T101	11
auto[4a80000000000000:4affffffffffffff]	15	1	T175	4	T160	11	-	-
auto[4c80000000000000:4cffffffffffffff]	15	1	T55	3	T110	5	T104	5
auto[4d00000000000000:4d7fffffffffffff]	11	1	T2	3	T111	6	T143	2
auto[4d80000000000000:4dffffffffffffff]	3	1	T107	3	-	-	-	-
auto[4e00000000000000:4e7fffffffffffff]	11	1	T47	8	T97	3	-	-
auto[4e80000000000000:4effffffffffffff]	3	1	T198	3	-	-	-	-
auto[4f00000000000000:4f7fffffffffffff]	3	1	T190	3	-	-	-	-
auto[4f80000000000000:4fffffffffffffff]	9	1	T132	6	T97	3	-	-
auto[5080000000000000:50ffffffffffffff]	2	1	T103	2	-	-	-	-
auto[5100000000000000:517fffffffffffff]	14	1	T169	6	T138	8	-	-
auto[5180000000000000:51ffffffffffffff]	5	1	T165	3	T112	2	-	-
auto[5300000000000000:537fffffffffffff]	5	1	T96	5	-	-	-	-
auto[5380000000000000:53ffffffffffffff]	4	1	T15	4	-	-	-	-
auto[5400000000000000:547fffffffffffff]	7	1	T122	7	-	-	-	-
auto[5500000000000000:557fffffffffffff]	2	1	T43	2	-	-	-	-
auto[5580000000000000:55ffffffffffffff]	5	1	T128	5	-	-	-	-
auto[5680000000000000:56ffffffffffffff]	4	1	T55	4	-	-	-	-
auto[5780000000000000:57ffffffffffffff]	9	1	T124	6	T115	3	-	-
auto[5800000000000000:587fffffffffffff]	13	1	T156	5	T160	8	-	-
auto[5880000000000000:58ffffffffffffff]	10	1	T102	6	T92	4	-	-
auto[5900000000000000:597fffffffffffff]	2	1	T194	2	-	-	-	-
auto[5980000000000000:59ffffffffffffff]	6	1	T19	3	T92	3	-	-
auto[5a00000000000000:5a7fffffffffffff]	8	1	T90	2	T77	6	-	-
auto[5a80000000000000:5affffffffffffff]	12	1	T48	2	T142	10	-	-
auto[5b00000000000000:5b7fffffffffffff]	6	1	T125	6	-	-	-	-
auto[5c00000000000000:5c7fffffffffffff]	16	1	T93	10	T115	6	-	-
auto[5d00000000000000:5d7fffffffffffff]	6	1	T114	2	T55	4	-	-
auto[5e00000000000000:5e7fffffffffffff]	12	1	T120	6	T159	6	-	-
auto[5e80000000000000:5effffffffffffff]	16	1	T43	7	T46	7	T183	2
auto[5f00000000000000:5f7fffffffffffff]	5	1	T135	5	-	-	-	-
auto[5f80000000000000:5fffffffffffffff]	11	1	T141	2	T195	2	T96	7
auto[6000000000000000:607fffffffffffff]	5	1	T128	5	-	-	-	-
auto[6080000000000000:60ffffffffffffff]	11	1	T111	5	T89	6	-	-
auto[6100000000000000:617fffffffffffff]	8	1	T170	5	T175	3	-	-
auto[6280000000000000:62ffffffffffffff]	3	1	T134	3	-	-	-	-
auto[6300000000000000:637fffffffffffff]	17	1	T170	6	T125	5	T156	6
auto[6400000000000000:647fffffffffffff]	14	1	T46	10	T89	4	-	-
auto[6500000000000000:657fffffffffffff]	9	1	T104	9	-	-	-	-
auto[6580000000000000:65ffffffffffffff]	11	1	T55	8	T115	3	-	-
auto[6680000000000000:66ffffffffffffff]	10	1	T46	3	T105	2	T121	5
auto[6780000000000000:67ffffffffffffff]	2	1	T155	2	-	-	-	-
auto[6800000000000000:687fffffffffffff]	2	1	T48	2	-	-	-	-
auto[6880000000000000:68ffffffffffffff]	2	1	T166	2	-	-	-	-
auto[6900000000000000:697fffffffffffff]	5	1	T153	3	T56	2	-	-
auto[6980000000000000:69ffffffffffffff]	9	1	T108	9	-	-	-	-
auto[6a00000000000000:6a7fffffffffffff]	13	1	T77	6	T127	7	-	-
auto[6a80000000000000:6affffffffffffff]	27	1	T174	2	T55	10	T145	10
auto[6b00000000000000:6b7fffffffffffff]	8	1	T180	6	T192	2	-	-
auto[6b80000000000000:6bffffffffffffff]	9	1	T152	2	T172	7	-	-
auto[6c80000000000000:6cffffffffffffff]	4	1	T183	2	T166	2	-	-
auto[6d00000000000000:6d7fffffffffffff]	21	1	T43	11	T118	10	-	-
auto[6e80000000000000:6effffffffffffff]	7	1	T189	7	-	-	-	-
auto[6f00000000000000:6f7fffffffffffff]	9	1	T75	9	-	-	-	-
auto[6f80000000000000:6fffffffffffffff]	24	1	T8	2	T120	8	T175	10
auto[7080000000000000:70ffffffffffffff]	8	1	T52	8	-	-	-	-
auto[7200000000000000:727fffffffffffff]	8	1	T120	3	T187	5	-	-
auto[7280000000000000:72ffffffffffffff]	10	1	T56	3	T127	7	-	-
auto[7300000000000000:737fffffffffffff]	3	1	T52	3	-	-	-	-
auto[7480000000000000:74ffffffffffffff]	7	1	T163	4	T190	3	-	-
auto[7580000000000000:75ffffffffffffff]	2	1	T11	2	-	-	-	-
auto[7680000000000000:76ffffffffffffff]	19	1	T2	4	T20	7	T153	8
auto[7700000000000000:777fffffffffffff]	21	1	T118	13	T179	8	-	-
auto[7800000000000000:787fffffffffffff]	8	1	T35	2	T170	6	-	-
auto[7880000000000000:78ffffffffffffff]	16	1	T43	7	T90	6	T187	3
auto[7980000000000000:79ffffffffffffff]	13	1	T111	13	-	-	-	-
auto[7a80000000000000:7affffffffffffff]	8	1	T130	4	T173	4	-	-
auto[7b00000000000000:7b7fffffffffffff]	2	1	T44	2	-	-	-	-
auto[7b80000000000000:7bffffffffffffff]	4	1	T102	4	-	-	-	-
auto[7d00000000000000:7d7fffffffffffff]	17	1	T15	8	T159	9	-	-
auto[7d80000000000000:7dffffffffffffff]	2	1	T92	2	-	-	-	-
auto[7e00000000000000:7e7fffffffffffff]	9	1	T150	5	T124	4	-	-
auto[7e80000000000000:7effffffffffffff]	6	1	T169	6	-	-	-	-
auto[7f00000000000000:7f7fffffffffffff]	10	1	T46	10	-	-	-	-
auto[7f80000000000000:7fffffffffffffff]	18	1	T142	7	T131	11	-	-
auto[8000000000000000:807fffffffffffff]	17	1	T105	10	T90	5	T151	2
auto[8080000000000000:80ffffffffffffff]	14	1	T72	2	T179	12	-	-
auto[8100000000000000:817fffffffffffff]	9	1	T2	9	-	-	-	-
auto[8180000000000000:81ffffffffffffff]	7	1	T189	7	-	-	-	-
auto[8200000000000000:827fffffffffffff]	32	1	T15	7	T149	10	T75	11
auto[8280000000000000:82ffffffffffffff]	15	1	T16	6	T45	3	T101	6
auto[8300000000000000:837fffffffffffff]	4	1	T94	4	-	-	-	-
auto[8380000000000000:83ffffffffffffff]	17	1	T93	6	T175	11	-	-
auto[8580000000000000:85ffffffffffffff]	3	1	T126	3	-	-	-	-
auto[8680000000000000:86ffffffffffffff]	5	1	T91	5	-	-	-	-
auto[8700000000000000:877fffffffffffff]	4	1	T187	4	-	-	-	-
auto[8800000000000000:887fffffffffffff]	11	1	T7	2	T163	9	-	-
auto[8900000000000000:897fffffffffffff]	7	1	T47	4	T117	3	-	-
auto[8980000000000000:89ffffffffffffff]	6	1	T35	6	-	-	-	-
auto[8a00000000000000:8a7fffffffffffff]	5	1	T44	5	-	-	-	-
auto[8a80000000000000:8affffffffffffff]	6	1	T147	6	-	-	-	-
auto[8b00000000000000:8b7fffffffffffff]	2	1	T48	2	-	-	-	-
auto[8c80000000000000:8cffffffffffffff]	11	1	T10	6	T128	5	-	-
auto[8d00000000000000:8d7fffffffffffff]	13	1	T133	9	T147	4	-	-
auto[8d80000000000000:8dffffffffffffff]	6	1	T197	2	T92	4	-	-
auto[8e00000000000000:8e7fffffffffffff]	20	1	T105	12	T117	4	T160	4
auto[8f00000000000000:8f7fffffffffffff]	12	1	T167	7	T139	5	-	-
auto[8f80000000000000:8fffffffffffffff]	6	1	T117	6	-	-	-	-
auto[9000000000000000:907fffffffffffff]	17	1	T20	10	T180	7	-	-
auto[9080000000000000:90ffffffffffffff]	13	1	T135	10	T98	3	-	-
auto[9100000000000000:917fffffffffffff]	8	1	T95	5	T165	3	-	-
auto[9180000000000000:91ffffffffffffff]	5	1	T156	5	-	-	-	-
auto[9200000000000000:927fffffffffffff]	13	1	T46	10	T48	3	-	-
auto[9300000000000000:937fffffffffffff]	11	1	T92	11	-	-	-	-
auto[9380000000000000:93ffffffffffffff]	10	1	T120	7	T121	3	-	-
auto[9500000000000000:957fffffffffffff]	10	1	T108	4	T126	6	-	-
auto[9580000000000000:95ffffffffffffff]	8	1	T120	8	-	-	-	-
auto[9680000000000000:96ffffffffffffff]	8	1	T44	3	T96	5	-	-
auto[9700000000000000:977fffffffffffff]	6	1	T93	6	-	-	-	-
auto[9780000000000000:97ffffffffffffff]	2	1	T202	2	-	-	-	-
auto[9800000000000000:987fffffffffffff]	14	1	T43	11	T145	3	-	-
auto[9880000000000000:98ffffffffffffff]	10	1	T142	10	-	-	-	-
auto[9a00000000000000:9a7fffffffffffff]	5	1	T127	5	-	-	-	-
auto[9a80000000000000:9affffffffffffff]	2	1	T181	2	-	-	-	-
auto[9b00000000000000:9b7fffffffffffff]	9	1	T116	2	T100	7	-	-
auto[9c00000000000000:9c7fffffffffffff]	11	1	T121	11	-	-	-	-
auto[9c80000000000000:9cffffffffffffff]	3	1	T97	3	-	-	-	-
auto[9d00000000000000:9d7fffffffffffff]	14	1	T35	2	T130	2	T138	10
auto[9d80000000000000:9dffffffffffffff]	9	1	T115	9	-	-	-	-
auto[9e00000000000000:9e7fffffffffffff]	3	1	T108	3	-	-	-	-
auto[9f00000000000000:9f7fffffffffffff]	9	1	T191	2	T110	7	-	-
auto[a000000000000000:a07fffffffffffff]	2	1	T52	2	-	-	-	-
auto[a080000000000000:a0ffffffffffffff]	15	1	T19	6	T117	3	T127	6
auto[a100000000000000:a17fffffffffffff]	28	1	T117	12	T172	7	T147	5
auto[a280000000000000:a2ffffffffffffff]	7	1	T172	7	-	-	-	-
auto[a400000000000000:a47fffffffffffff]	5	1	T162	5	-	-	-	-
auto[a480000000000000:a4ffffffffffffff]	3	1	T119	3	-	-	-	-
auto[a500000000000000:a57fffffffffffff]	7	1	T45	2	T47	5	-	-
auto[a580000000000000:a5ffffffffffffff]	5	1	T173	5	-	-	-	-
auto[a600000000000000:a67fffffffffffff]	9	1	T142	9	-	-	-	-
auto[a680000000000000:a6ffffffffffffff]	16	1	T111	12	T95	4	-	-
auto[a900000000000000:a97fffffffffffff]	11	1	T44	11	-	-	-	-
auto[a980000000000000:a9ffffffffffffff]	13	1	T43	7	T175	6	-	-
auto[aa00000000000000:aa7fffffffffffff]	11	1	T43	9	T178	2	-	-
auto[aa80000000000000:aaffffffffffffff]	12	1	T43	8	T166	4	-	-
auto[ab00000000000000:ab7fffffffffffff]	4	1	T55	4	-	-	-	-
auto[ab80000000000000:abffffffffffffff]	6	1	T180	6	-	-	-	-
auto[ac00000000000000:ac7fffffffffffff]	17	1	T90	3	T76	4	T104	7
auto[ac80000000000000:acffffffffffffff]	13	1	T153	9	T124	4	-	-
auto[ae00000000000000:ae7fffffffffffff]	9	1	T77	9	-	-	-	-
auto[ae80000000000000:aeffffffffffffff]	3	1	T106	3	-	-	-	-
auto[af80000000000000:afffffffffffffff]	8	1	T133	6	T160	2	-	-
auto[b000000000000000:b07fffffffffffff]	13	1	T101	10	T190	3	-	-
auto[b100000000000000:b17fffffffffffff]	6	1	T47	2	T177	2	T186	2
auto[b180000000000000:b1ffffffffffffff]	2	1	T167	2	-	-	-	-
auto[b200000000000000:b27fffffffffffff]	27	1	T94	6	T163	8	T55	11
auto[b280000000000000:b2ffffffffffffff]	9	1	T17	9	-	-	-	-
auto[b300000000000000:b37fffffffffffff]	18	1	T20	10	T47	8	-	-
auto[b380000000000000:b3ffffffffffffff]	6	1	T201	2	T160	4	-	-
auto[b400000000000000:b47fffffffffffff]	6	1	T16	4	T145	2	-	-
auto[b480000000000000:b4ffffffffffffff]	6	1	T94	6	-	-	-	-
auto[b500000000000000:b57fffffffffffff]	2	1	T154	2	-	-	-	-
auto[b580000000000000:b5ffffffffffffff]	9	1	T92	9	-	-	-	-
auto[b600000000000000:b67fffffffffffff]	5	1	T183	5	-	-	-	-
auto[b680000000000000:b6ffffffffffffff]	11	1	T122	11	-	-	-	-
auto[b700000000000000:b77fffffffffffff]	12	1	T55	5	T172	7	-	-
auto[b780000000000000:b7ffffffffffffff]	14	1	T133	7	T96	7	-	-
auto[b800000000000000:b87fffffffffffff]	18	1	T105	12	T118	6	-	-
auto[b980000000000000:b9ffffffffffffff]	4	1	T93	2	T164	2	-	-
auto[ba00000000000000:ba7fffffffffffff]	12	1	T149	6	T122	6	-	-
auto[bb00000000000000:bb7fffffffffffff]	4	1	T52	4	-	-	-	-
auto[bc80000000000000:bcffffffffffffff]	6	1	T15	4	T150	2	-	-
auto[be00000000000000:be7fffffffffffff]	18	1	T170	4	T101	10	T98	4
auto[be80000000000000:beffffffffffffff]	9	1	T172	9	-	-	-	-
auto[bf00000000000000:bf7fffffffffffff]	21	1	T106	10	T55	9	T123	2
auto[c200000000000000:c27fffffffffffff]	2	1	T146	2	-	-	-	-
auto[c280000000000000:c2ffffffffffffff]	7	1	T183	7	-	-	-	-
auto[c300000000000000:c37fffffffffffff]	14	1	T130	11	T117	3	-	-
auto[c480000000000000:c4ffffffffffffff]	10	1	T90	4	T161	6	-	-
auto[c500000000000000:c57fffffffffffff]	9	1	T96	9	-	-	-	-
auto[c580000000000000:c5ffffffffffffff]	9	1	T142	9	-	-	-	-
auto[c600000000000000:c67fffffffffffff]	2	1	T156	2	-	-	-	-
auto[c800000000000000:c87fffffffffffff]	21	1	T52	7	T145	8	T99	6
auto[c900000000000000:c97fffffffffffff]	8	1	T46	8	-	-	-	-
auto[c980000000000000:c9ffffffffffffff]	6	1	T170	2	T56	4	-	-
auto[ca00000000000000:ca7fffffffffffff]	5	1	T173	2	T156	3	-	-
auto[ca80000000000000:caffffffffffffff]	5	1	T44	5	-	-	-	-
auto[cb00000000000000:cb7fffffffffffff]	7	1	T166	7	-	-	-	-
auto[cb80000000000000:cbffffffffffffff]	12	1	T121	12	-	-	-	-
auto[cc00000000000000:cc7fffffffffffff]	2	1	T128	2	-	-	-	-
auto[cc80000000000000:ccffffffffffffff]	4	1	T76	4	-	-	-	-
auto[ce00000000000000:ce7fffffffffffff]	3	1	T102	3	-	-	-	-
auto[cf00000000000000:cf7fffffffffffff]	30	1	T89	11	T76	8	T160	11
auto[cf80000000000000:cfffffffffffffff]	5	1	T20	5	-	-	-	-
auto[d000000000000000:d07fffffffffffff]	4	1	T126	4	-	-	-	-
auto[d080000000000000:d0ffffffffffffff]	14	1	T94	6	T139	8	-	-
auto[d100000000000000:d17fffffffffffff]	5	1	T153	5	-	-	-	-
auto[d180000000000000:d1ffffffffffffff]	5	1	T12	2	T19	3	-	-
auto[d300000000000000:d37fffffffffffff]	6	1	T47	6	-	-	-	-
auto[d380000000000000:d3ffffffffffffff]	7	1	T127	7	-	-	-	-
auto[d400000000000000:d47fffffffffffff]	12	1	T94	4	T138	8	-	-
auto[d480000000000000:d4ffffffffffffff]	10	1	T44	5	T90	5	-	-
auto[d500000000000000:d57fffffffffffff]	13	1	T48	2	T160	11	-	-
auto[d600000000000000:d67fffffffffffff]	3	1	T162	3	-	-	-	-
auto[d700000000000000:d77fffffffffffff]	8	1	T147	6	T96	2	-	-
auto[d780000000000000:d7ffffffffffffff]	3	1	T124	3	-	-	-	-
auto[d880000000000000:d8ffffffffffffff]	6	1	T52	6	-	-	-	-
auto[d900000000000000:d97fffffffffffff]	4	1	T89	4	-	-	-	-
auto[d980000000000000:d9ffffffffffffff]	11	1	T17	8	T44	3	-	-
auto[da80000000000000:daffffffffffffff]	3	1	T105	3	-	-	-	-
auto[db00000000000000:db7fffffffffffff]	12	1	T35	3	T55	3	T99	6
auto[dc00000000000000:dc7fffffffffffff]	6	1	T134	6	-	-	-	-
auto[dc80000000000000:dcffffffffffffff]	8	1	T180	8	-	-	-	-
auto[dd00000000000000:dd7fffffffffffff]	5	1	T91	5	-	-	-	-
auto[de80000000000000:deffffffffffffff]	6	1	T107	6	-	-	-	-
auto[df00000000000000:df7fffffffffffff]	6	1	T110	6	-	-	-	-
auto[df80000000000000:dfffffffffffffff]	5	1	T137	5	-	-	-	-
auto[e000000000000000:e07fffffffffffff]	2	1	T35	2	-	-	-	-
auto[e080000000000000:e0ffffffffffffff]	4	1	T156	4	-	-	-	-
auto[e100000000000000:e17fffffffffffff]	8	1	T117	8	-	-	-	-
auto[e180000000000000:e1ffffffffffffff]	8	1	T105	3	T75	5	-	-
auto[e200000000000000:e27fffffffffffff]	24	1	T193	2	T108	10	T118	12
auto[e300000000000000:e37fffffffffffff]	4	1	T175	4	-	-	-	-
auto[e380000000000000:e3ffffffffffffff]	10	1	T76	10	-	-	-	-
auto[e480000000000000:e4ffffffffffffff]	11	1	T162	4	T127	7	-	-
auto[e500000000000000:e57fffffffffffff]	9	1	T172	9	-	-	-	-
auto[e580000000000000:e5ffffffffffffff]	6	1	T119	6	-	-	-	-
auto[e600000000000000:e67fffffffffffff]	2	1	T128	2	-	-	-	-
auto[e680000000000000:e6ffffffffffffff]	6	1	T44	6	-	-	-	-
auto[e700000000000000:e77fffffffffffff]	2	1	T128	2	-	-	-	-
auto[e780000000000000:e7ffffffffffffff]	4	1	T170	4	-	-	-	-
auto[e800000000000000:e87fffffffffffff]	9	1	T172	2	T92	7	-	-
auto[e880000000000000:e8ffffffffffffff]	10	1	T136	2	T160	8	-	-
auto[e900000000000000:e97fffffffffffff]	13	1	T113	9	T55	4	-	-
auto[e980000000000000:e9ffffffffffffff]	13	1	T20	8	T35	2	T175	3
auto[ea00000000000000:ea7fffffffffffff]	2	1	T184	2	-	-	-	-
auto[ea80000000000000:eaffffffffffffff]	8	1	T19	5	T156	3	-	-
auto[eb00000000000000:eb7fffffffffffff]	4	1	T10	4	-	-	-	-
auto[eb80000000000000:ebffffffffffffff]	9	1	T144	6	T173	3	-	-
auto[ed00000000000000:ed7fffffffffffff]	5	1	T95	5	-	-	-	-
auto[ed80000000000000:edffffffffffffff]	3	1	T122	3	-	-	-	-
auto[ee00000000000000:ee7fffffffffffff]	2	1	T32	2	-	-	-	-
auto[ee80000000000000:eeffffffffffffff]	10	1	T91	5	T147	5	-	-
auto[ef00000000000000:ef7fffffffffffff]	9	1	T172	2	T127	7	-	-
auto[ef80000000000000:efffffffffffffff]	4	1	T153	4	-	-	-	-
auto[f000000000000000:f07fffffffffffff]	8	1	T160	8	-	-	-	-
auto[f100000000000000:f17fffffffffffff]	13	1	T176	2	T104	11	-	-
auto[f200000000000000:f27fffffffffffff]	10	1	T55	10	-	-	-	-
auto[f280000000000000:f2ffffffffffffff]	7	1	T175	3	T166	4	-	-
auto[f300000000000000:f37fffffffffffff]	6	1	T106	4	T196	2	-	-
auto[f380000000000000:f3ffffffffffffff]	14	1	T43	11	T107	3	-	-
auto[f400000000000000:f47fffffffffffff]	2	1	T4	2	-	-	-	-
auto[f480000000000000:f4ffffffffffffff]	17	1	T43	4	T130	7	T175	6
auto[f580000000000000:f5ffffffffffffff]	22	1	T163	14	T110	8	-	-
auto[f700000000000000:f77fffffffffffff]	2	1	T93	2	-	-	-	-
auto[f780000000000000:f7ffffffffffffff]	3	1	T137	3	-	-	-	-
auto[f880000000000000:f8ffffffffffffff]	10	1	T109	10	-	-	-	-
auto[f900000000000000:f97fffffffffffff]	2	1	T43	2	-	-	-	-
auto[fa00000000000000:fa7fffffffffffff]	13	1	T106	7	T126	6	-	-
auto[fa80000000000000:faffffffffffffff]	12	1	T169	5	T127	7	-	-
auto[fb00000000000000:fb7fffffffffffff]	3	1	T107	3	-	-	-	-
auto[fb80000000000000:fbffffffffffffff]	16	1	T17	9	T95	3	T56	4
auto[fc00000000000000:fc7fffffffffffff]	12	1	T113	7	T187	5	-	-
auto[fc80000000000000:fcffffffffffffff]	5	1	T153	5	-	-	-	-
auto[fd00000000000000:fd7fffffffffffff]	8	1	T109	5	T161	3	-	-
auto[fd80000000000000:fdffffffffffffff]	6	1	T126	6	-	-	-	-
auto[fe00000000000000:fe7fffffffffffff]	22	1	T46	7	T163	15	-	-
auto[fe80000000000000:feffffffffffffff]	17	1	T55	8	T140	2	T127	7
auto[ff00000000000000:ff7fffffffffffff]	11	1	T47	8	T118	3	-	-
auto[ff80000000000000:ffffffffffffffff]	4	1	T95	4	-	-	-	-