Unified Coverage Report :: Group : aon_timer_env_pkg::aon_timer_env_cov::wake_up_timer_thold_hit_cg

Summary for Variable wkup_count_cp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	512	155	357	69.73

Automatically Generated Bins for wkup_count_cp

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER
[auto[0180000000000000:01ffffffffffffff]]	0	1	1
[auto[0480000000000000:04ffffffffffffff]]	0	1	1
[auto[0780000000000000:07ffffffffffffff]]	0	1	1
[auto[1380000000000000:13ffffffffffffff]]	0	1	1
[auto[1480000000000000:14ffffffffffffff]]	0	1	1
[auto[1680000000000000:16ffffffffffffff]]	0	1	1
[auto[1800000000000000:187fffffffffffff] - auto[1880000000000000:18ffffffffffffff]]	--	--	2
[auto[1a80000000000000:1affffffffffffff] - auto[1c00000000000000:1c7fffffffffffff]]	--	--	4
[auto[1d00000000000000:1d7fffffffffffff]]	0	1	1
[auto[1e80000000000000:1effffffffffffff]]	0	1	1
[auto[1f80000000000000:1fffffffffffffff] - auto[2000000000000000:207fffffffffffff]]	--	--	2
[auto[2200000000000000:227fffffffffffff]]	0	1	1
[auto[2900000000000000:297fffffffffffff] - auto[2980000000000000:29ffffffffffffff]]	--	--	2
[auto[2c00000000000000:2c7fffffffffffff]]	0	1	1
[auto[3000000000000000:307fffffffffffff]]	0	1	1
[auto[3180000000000000:31ffffffffffffff] - auto[3200000000000000:327fffffffffffff]]	--	--	2
[auto[3480000000000000:34ffffffffffffff]]	0	1	1
[auto[3680000000000000:36ffffffffffffff]]	0	1	1
[auto[3780000000000000:37ffffffffffffff] - auto[3800000000000000:387fffffffffffff]]	--	--	2
[auto[3d80000000000000:3dffffffffffffff]]	0	1	1
[auto[4000000000000000:407fffffffffffff]]	0	1	1
[auto[4200000000000000:427fffffffffffff]]	0	1	1
[auto[4600000000000000:467fffffffffffff]]	0	1	1
[auto[4880000000000000:48ffffffffffffff]]	0	1	1
[auto[4b00000000000000:4b7fffffffffffff]]	0	1	1
[auto[4f00000000000000:4f7fffffffffffff] - auto[4f80000000000000:4fffffffffffffff]]	--	--	2
[auto[5080000000000000:50ffffffffffffff]]	0	1	1
[auto[5280000000000000:52ffffffffffffff] - auto[5300000000000000:537fffffffffffff]]	--	--	2
[auto[5400000000000000:547fffffffffffff]]	0	1	1
[auto[5700000000000000:577fffffffffffff] - auto[5780000000000000:57ffffffffffffff]]	--	--	2
[auto[5880000000000000:58ffffffffffffff] - auto[5900000000000000:597fffffffffffff]]	--	--	2
[auto[5b00000000000000:5b7fffffffffffff] - auto[5b80000000000000:5bffffffffffffff]]	--	--	2
[auto[5d00000000000000:5d7fffffffffffff] - auto[5e80000000000000:5effffffffffffff]]	--	--	4
[auto[6100000000000000:617fffffffffffff]]	0	1	1
[auto[6380000000000000:63ffffffffffffff] - auto[6400000000000000:647fffffffffffff]]	--	--	2
[auto[6680000000000000:66ffffffffffffff]]	0	1	1
[auto[6800000000000000:687fffffffffffff]]	0	1	1
[auto[6900000000000000:697fffffffffffff] - auto[6980000000000000:69ffffffffffffff]]	--	--	2
[auto[6b80000000000000:6bffffffffffffff]]	0	1	1
[auto[6c80000000000000:6cffffffffffffff]]	0	1	1
[auto[6e80000000000000:6effffffffffffff]]	0	1	1
[auto[6f80000000000000:6fffffffffffffff] - auto[7000000000000000:707fffffffffffff]]	--	--	2
[auto[7100000000000000:717fffffffffffff]]	0	1	1
[auto[7200000000000000:727fffffffffffff]]	0	1	1
[auto[7900000000000000:797fffffffffffff] - auto[7980000000000000:79ffffffffffffff]]	--	--	2
[auto[7b00000000000000:7b7fffffffffffff]]	0	1	1
[auto[7c80000000000000:7cffffffffffffff]]	0	1	1
[auto[7e00000000000000:7e7fffffffffffff]]	0	1	1
[auto[7f00000000000000:7f7fffffffffffff] - auto[7f80000000000000:7fffffffffffffff]]	--	--	2
[auto[8580000000000000:85ffffffffffffff]]	0	1	1
[auto[8680000000000000:86ffffffffffffff] - auto[8700000000000000:877fffffffffffff]]	--	--	2
[auto[8a80000000000000:8affffffffffffff]]	0	1	1
[auto[8c00000000000000:8c7fffffffffffff]]	0	1	1
[auto[8d80000000000000:8dffffffffffffff]]	0	1	1
[auto[9100000000000000:917fffffffffffff]]	0	1	1
[auto[9280000000000000:92ffffffffffffff]]	0	1	1
[auto[9400000000000000:947fffffffffffff]]	0	1	1
[auto[9500000000000000:957fffffffffffff] - auto[9580000000000000:95ffffffffffffff]]	--	--	2
[auto[9700000000000000:977fffffffffffff] - auto[9900000000000000:997fffffffffffff]]	--	--	5
[auto[9a00000000000000:9a7fffffffffffff] - auto[9b00000000000000:9b7fffffffffffff]]	--	--	3
[auto[9c00000000000000:9c7fffffffffffff]]	0	1	1
[auto[9d80000000000000:9dffffffffffffff]]	0	1	1
[auto[9f80000000000000:9fffffffffffffff]]	0	1	1
[auto[a080000000000000:a0ffffffffffffff]]	0	1	1
[auto[a180000000000000:a1ffffffffffffff]]	0	1	1
[auto[a580000000000000:a5ffffffffffffff]]	0	1	1
[auto[a680000000000000:a6ffffffffffffff] - auto[a780000000000000:a7ffffffffffffff]]	--	--	3
[auto[ac80000000000000:acffffffffffffff]]	0	1	1
[auto[b080000000000000:b0ffffffffffffff]]	0	1	1
[auto[b300000000000000:b37fffffffffffff]]	0	1	1
[auto[b400000000000000:b47fffffffffffff]]	0	1	1
[auto[b800000000000000:b87fffffffffffff] - auto[b880000000000000:b8ffffffffffffff]]	--	--	2
[auto[bb00000000000000:bb7fffffffffffff]]	0	1	1
[auto[bc00000000000000:bc7fffffffffffff] - auto[bd00000000000000:bd7fffffffffffff]]	--	--	3
[auto[be80000000000000:beffffffffffffff]]	0	1	1
[auto[c080000000000000:c0ffffffffffffff]]	0	1	1
[auto[c200000000000000:c27fffffffffffff]]	0	1	1
[auto[c400000000000000:c47fffffffffffff]]	0	1	1
[auto[c500000000000000:c57fffffffffffff] - auto[c580000000000000:c5ffffffffffffff]]	--	--	2
[auto[c700000000000000:c77fffffffffffff]]	0	1	1
[auto[c800000000000000:c87fffffffffffff]]	0	1	1
[auto[c980000000000000:c9ffffffffffffff]]	0	1	1
[auto[cc00000000000000:cc7fffffffffffff]]	0	1	1
[auto[cf80000000000000:cfffffffffffffff]]	0	1	1
[auto[d300000000000000:d37fffffffffffff] - auto[d380000000000000:d3ffffffffffffff]]	--	--	2
[auto[d480000000000000:d4ffffffffffffff]]	0	1	1
[auto[d600000000000000:d67fffffffffffff] - auto[d700000000000000:d77fffffffffffff]]	--	--	3
[auto[da00000000000000:da7fffffffffffff] - auto[da80000000000000:daffffffffffffff]]	--	--	2
[auto[dd80000000000000:ddffffffffffffff]]	0	1	1
[auto[df80000000000000:dfffffffffffffff]]	0	1	1
[auto[e080000000000000:e0ffffffffffffff] - auto[e180000000000000:e1ffffffffffffff]]	--	--	3
[auto[e380000000000000:e3ffffffffffffff]]	0	1	1
[auto[e500000000000000:e57fffffffffffff]]	0	1	1
[auto[e700000000000000:e77fffffffffffff]]	0	1	1
[auto[e800000000000000:e87fffffffffffff] - auto[ea00000000000000:ea7fffffffffffff]]	--	--	5
[auto[eb00000000000000:eb7fffffffffffff] - auto[eb80000000000000:ebffffffffffffff]]	--	--	2
[auto[ed80000000000000:edffffffffffffff]]	0	1	1
[auto[f000000000000000:f07fffffffffffff]]	0	1	1
[auto[f580000000000000:f5ffffffffffffff]]	0	1	1
[auto[f700000000000000:f77fffffffffffff] - auto[f780000000000000:f7ffffffffffffff]]	--	--	2
[auto[f880000000000000:f8ffffffffffffff] - auto[f900000000000000:f97fffffffffffff]]	--	--	2
[auto[fa00000000000000:fa7fffffffffffff] - auto[fa80000000000000:faffffffffffffff]]	--	--	2
[auto[fe00000000000000:fe7fffffffffffff] - auto[ff80000000000000:ffffffffffffffff]]	--	--	4

Covered bins

NAME	COUNT	AT LEAST		TEST	COUNT		TEST	COUNT		TEST	COUNT
auto[0000000000000000:007fffffffffffff]	5374	1		T1	11		T3	23		T4	64
auto[0080000000000000:00ffffffffffffff]	9	1		T9	3		T71	6		-	-
auto[0100000000000000:017fffffffffffff]	8	1		T138	4		T156	4		-	-
auto[0200000000000000:027fffffffffffff]	16	1		T124	6		T110	10		-	-
auto[0280000000000000:02ffffffffffffff]	11	1		T89	5		T144	6		-	-
auto[0300000000000000:037fffffffffffff]	3	1		T157	3		-	-		-	-
auto[0380000000000000:03ffffffffffffff]	3	1		T132	3		-	-		-	-
auto[0400000000000000:047fffffffffffff]	8	1		T89	8		-	-		-	-
auto[0500000000000000:057fffffffffffff]	5	1		T145	2		T79	3		-	-
auto[0580000000000000:05ffffffffffffff]	10	1		T21	6		T78	4		-	-
auto[0600000000000000:067fffffffffffff]	11	1		T111	6		T91	5		-	-
auto[0680000000000000:06ffffffffffffff]	11	1		T38	3		T147	2		T158	6
auto[0700000000000000:077fffffffffffff]	8	1		T24	8		-	-		-	-
auto[0800000000000000:087fffffffffffff]	7	1		T152	7		-	-		-	-
auto[0880000000000000:08ffffffffffffff]	8	1		T159	6		T160	2		-	-
auto[0900000000000000:097fffffffffffff]	17	1		T88	7		T89	8		T111	2
auto[0980000000000000:09ffffffffffffff]	4	1		T8	4		-	-		-	-
auto[0a00000000000000:0a7fffffffffffff]	14	1		T39	4		T110	10		-	-
auto[0a80000000000000:0affffffffffffff]	4	1		T134	4		-	-		-	-
auto[0b00000000000000:0b7fffffffffffff]	5	1		T84	5		-	-		-	-
auto[0b80000000000000:0bffffffffffffff]	6	1		T84	6		-	-		-	-
auto[0c00000000000000:0c7fffffffffffff]	3	1		T74	3		-	-		-	-
auto[0c80000000000000:0cffffffffffffff]	8	1		T157	6		T132	2		-	-
auto[0d00000000000000:0d7fffffffffffff]	5	1		T161	3		T135	2		-	-
auto[0d80000000000000:0dffffffffffffff]	19	1		T73	5		T123	4		T151	10
auto[0e00000000000000:0e7fffffffffffff]	15	1		T73	6		T98	9		-	-
auto[0e80000000000000:0effffffffffffff]	25	1		T162	4		T48	5		T127	6
auto[0f00000000000000:0f7fffffffffffff]	7	1		T104	7		-	-		-	-
auto[0f80000000000000:0fffffffffffffff]	6	1		T74	6		-	-		-	-
auto[1000000000000000:107fffffffffffff]	24	1		T89	10		T48	10		T150	4
auto[1080000000000000:10ffffffffffffff]	3	1		T1	3		-	-		-	-
auto[1100000000000000:117fffffffffffff]	2	1		T163	2		-	-		-	-
auto[1180000000000000:11ffffffffffffff]	14	1		T4	10		T80	2		T164	2
auto[1200000000000000:127fffffffffffff]	13	1		T48	6		T150	7		-	-
auto[1280000000000000:12ffffffffffffff]	8	1		T162	2		T154	4		T122	2
auto[1300000000000000:137fffffffffffff]	18	1		T24	11		T162	3		T165	4
auto[1400000000000000:147fffffffffffff]	2	1		T118	2		-	-		-	-
auto[1500000000000000:157fffffffffffff]	10	1		T71	7		T156	3		-	-
auto[1580000000000000:15ffffffffffffff]	9	1		T129	4		T118	5		-	-
auto[1600000000000000:167fffffffffffff]	2	1		T166	2		-	-		-	-
auto[1700000000000000:177fffffffffffff]	3	1		T102	3		-	-		-	-
auto[1780000000000000:17ffffffffffffff]	8	1		T28	5		T46	3		-	-
auto[1900000000000000:197fffffffffffff]	5	1		T30	5		-	-		-	-
auto[1980000000000000:19ffffffffffffff]	7	1		T121	7		-	-		-	-
auto[1a00000000000000:1a7fffffffffffff]	12	1		T92	2		T135	6		T110	4
auto[1c80000000000000:1cffffffffffffff]	12	1		T138	12		-	-		-	-
auto[1d80000000000000:1dffffffffffffff]	8	1		T6	8		-	-		-	-
auto[1e00000000000000:1e7fffffffffffff]	11	1		T7	11		-	-		-	-
auto[1f00000000000000:1f7fffffffffffff]	9	1		T72	9		-	-		-	-
auto[2080000000000000:20ffffffffffffff]	5	1		T23	5		-	-		-	-
auto[2100000000000000:217fffffffffffff]	2	1		T132	2		-	-		-	-
auto[2180000000000000:21ffffffffffffff]	11	1		T144	8		T98	3		-	-
auto[2280000000000000:22ffffffffffffff]	16	1		T116	6		T110	10		-	-
auto[2300000000000000:237fffffffffffff]	5	1		T47	5		-	-		-	-
auto[2380000000000000:23ffffffffffffff]	11	1		T99	11		-	-		-	-
auto[2400000000000000:247fffffffffffff]	6	1		T7	6		-	-		-	-
auto[2480000000000000:24ffffffffffffff]	8	1		T30	5		T157	3		-	-
auto[2500000000000000:257fffffffffffff]	5	1		T7	5		-	-		-	-
auto[2580000000000000:25ffffffffffffff]	11	1		T167	5		T77	6		-	-
auto[2600000000000000:267fffffffffffff]	16	1		T88	10		T168	6		-	-
auto[2680000000000000:26ffffffffffffff]	11	1		T102	7		T48	4		-	-
auto[2700000000000000:277fffffffffffff]	13	1		T79	3		T104	10		-	-
auto[2780000000000000:27ffffffffffffff]	30	1		T84	9		T21	9		T73	5
auto[2800000000000000:287fffffffffffff]	18	1		T6	10		T9	8		-	-
auto[2880000000000000:28ffffffffffffff]	11	1		T44	11		-	-		-	-
auto[2a00000000000000:2a7fffffffffffff]	11	1		T116	3		T127	8		-	-
auto[2a80000000000000:2affffffffffffff]	4	1		T99	4		-	-		-	-
auto[2b00000000000000:2b7fffffffffffff]	5	1		T73	5		-	-		-	-
auto[2b80000000000000:2bffffffffffffff]	7	1		T169	4		T110	3		-	-
auto[2c80000000000000:2cffffffffffffff]	14	1		T13	14		-	-		-	-
auto[2d00000000000000:2d7fffffffffffff]	10	1		T170	3		T78	7		-	-
auto[2d80000000000000:2dffffffffffffff]	16	1		T113	5		T145	11		-	-
auto[2e00000000000000:2e7fffffffffffff]	11	1		T84	7		T108	4		-	-
auto[2e80000000000000:2effffffffffffff]	5	1		T150	5		-	-		-	-
auto[2f00000000000000:2f7fffffffffffff]	5	1		T118	5		-	-		-	-
auto[2f80000000000000:2fffffffffffffff]	16	1		T28	5		T38	2		T91	9
auto[3080000000000000:30ffffffffffffff]	4	1		T75	4		-	-		-	-
auto[3100000000000000:317fffffffffffff]	2	1		T6	2		-	-		-	-
auto[3280000000000000:32ffffffffffffff]	2	1		T38	2		-	-		-	-
auto[3300000000000000:337fffffffffffff]	2	1		T115	2		-	-		-	-
auto[3380000000000000:33ffffffffffffff]	8	1		T149	8		-	-		-	-
auto[3400000000000000:347fffffffffffff]	6	1		T77	6		-	-		-	-
auto[3500000000000000:357fffffffffffff]	8	1		T6	8		-	-		-	-
auto[3580000000000000:35ffffffffffffff]	10	1		T48	10		-	-		-	-
auto[3600000000000000:367fffffffffffff]	5	1		T131	5		-	-		-	-
auto[3700000000000000:377fffffffffffff]	7	1		T100	2		T140	5		-	-
auto[3880000000000000:38ffffffffffffff]	7	1		T43	2		T104	5		-	-
auto[3900000000000000:397fffffffffffff]	6	1		T144	6		-	-		-	-
auto[3980000000000000:39ffffffffffffff]	19	1		T8	8		T106	6		T109	5
auto[3a00000000000000:3a7fffffffffffff]	7	1		T100	7		-	-		-	-
auto[3a80000000000000:3affffffffffffff]	2	1		T118	2		-	-		-	-
auto[3b00000000000000:3b7fffffffffffff]	10	1		T39	4		T127	6		-	-
auto[3b80000000000000:3bffffffffffffff]	6	1		T111	6		-	-		-	-
auto[3c00000000000000:3c7fffffffffffff]	12	1		T99	6		T136	2		T79	4
auto[3c80000000000000:3cffffffffffffff]	8	1		T171	2		T150	6		-	-
auto[3d00000000000000:3d7fffffffffffff]	12	1		T120	8		T131	4		-	-
auto[3e00000000000000:3e7fffffffffffff]	9	1		T116	9		-	-		-	-
auto[3e80000000000000:3effffffffffffff]	4	1		T73	4		-	-		-	-
auto[3f00000000000000:3f7fffffffffffff]	4	1		T172	2		T173	2		-	-
auto[3f80000000000000:3fffffffffffffff]	2	1		T146	2		-	-		-	-
auto[4080000000000000:40ffffffffffffff]	2	1		T74	2		-	-		-	-
auto[4100000000000000:417fffffffffffff]	17	1		T138	6		T174	2		T126	7
auto[4180000000000000:41ffffffffffffff]	4	1		T73	4		-	-		-	-
auto[4280000000000000:42ffffffffffffff]	7	1		T47	7		-	-		-	-
auto[4300000000000000:437fffffffffffff]	24	1		T38	7		T95	6		T77	11
auto[4380000000000000:43ffffffffffffff]	9	1		T107	7		T175	2		-	-
auto[4400000000000000:447fffffffffffff]	8	1		T88	4		T98	4		-	-
auto[4480000000000000:44ffffffffffffff]	10	1		T21	10		-	-		-	-
auto[4500000000000000:457fffffffffffff]	7	1		T99	2		T123	5		-	-
auto[4580000000000000:45ffffffffffffff]	12	1		T137	2		T77	10		-	-
auto[4680000000000000:46ffffffffffffff]	18	1		T134	7		T71	7		T79	4
auto[4700000000000000:477fffffffffffff]	19	1		T119	5		T88	7		T132	2
auto[4780000000000000:47ffffffffffffff]	6	1		T111	6		-	-		-	-
auto[4800000000000000:487fffffffffffff]	17	1		T21	2		T48	9		T110	6
auto[4900000000000000:497fffffffffffff]	11	1		T126	11		-	-		-	-
auto[4980000000000000:49ffffffffffffff]	8	1		T74	3		T150	5		-	-
auto[4a00000000000000:4a7fffffffffffff]	18	1		T89	9		T150	9		-	-
auto[4a80000000000000:4affffffffffffff]	11	1		T6	6		T46	5		-	-
auto[4b80000000000000:4bffffffffffffff]	9	1		T21	9		-	-		-	-
auto[4c00000000000000:4c7fffffffffffff]	4	1		T38	4		-	-		-	-
auto[4c80000000000000:4cffffffffffffff]	4	1		T144	4		-	-		-	-
auto[4d00000000000000:4d7fffffffffffff]	13	1		T138	4		T72	7		T143	2
auto[4d80000000000000:4dffffffffffffff]	7	1		T116	7		-	-		-	-
auto[4e00000000000000:4e7fffffffffffff]	11	1		T72	11		-	-		-	-
auto[4e80000000000000:4effffffffffffff]	6	1		T1	6		-	-		-	-
auto[5000000000000000:507fffffffffffff]	10	1		T110	10		-	-		-	-
auto[5100000000000000:517fffffffffffff]	5	1		T104	5		-	-		-	-
auto[5180000000000000:51ffffffffffffff]	7	1		T158	7		-	-		-	-
auto[5200000000000000:527fffffffffffff]	22	1		T4	6		T9	6		T140	3
auto[5380000000000000:53ffffffffffffff]	11	1		T47	7		T108	4		-	-
auto[5480000000000000:54ffffffffffffff]	9	1		T98	9		-	-		-	-
auto[5500000000000000:557fffffffffffff]	4	1		T158	4		-	-		-	-
auto[5580000000000000:55ffffffffffffff]	18	1		T106	11		T121	7		-	-
auto[5600000000000000:567fffffffffffff]	4	1		T77	4		-	-		-	-
auto[5680000000000000:56ffffffffffffff]	22	1		T176	5		T90	3		T135	11
auto[5800000000000000:587fffffffffffff]	13	1		T23	9		T167	4		-	-
auto[5980000000000000:59ffffffffffffff]	10	1		T148	3		T150	7		-	-
auto[5a00000000000000:5a7fffffffffffff]	7	1		T42	7		-	-		-	-
auto[5a80000000000000:5affffffffffffff]	13	1		T39	3		T150	10		-	-
auto[5c00000000000000:5c7fffffffffffff]	26	1		T48	9		T110	10		T104	7
auto[5c80000000000000:5cffffffffffffff]	8	1		T48	8		-	-		-	-
auto[5f00000000000000:5f7fffffffffffff]	17	1		T40	6		T177	2		T125	2
auto[5f80000000000000:5fffffffffffffff]	19	1		T118	5		T132	5		T141	9
auto[6000000000000000:607fffffffffffff]	11	1		T3	3		T116	8		-	-
auto[6080000000000000:60ffffffffffffff]	8	1		T100	6		T141	2		-	-
auto[6180000000000000:61ffffffffffffff]	4	1		T157	4		-	-		-	-
auto[6200000000000000:627fffffffffffff]	4	1		T150	4		-	-		-	-
auto[6280000000000000:62ffffffffffffff]	19	1		T119	8		T116	9		T131	2
auto[6300000000000000:637fffffffffffff]	12	1		T44	8		T113	4		-	-
auto[6480000000000000:64ffffffffffffff]	5	1		T124	5		-	-		-	-
auto[6500000000000000:657fffffffffffff]	14	1		T129	6		T150	8		-	-
auto[6580000000000000:65ffffffffffffff]	18	1		T6	7		T135	11		-	-
auto[6600000000000000:667fffffffffffff]	2	1		T29	2		-	-		-	-
auto[6700000000000000:677fffffffffffff]	15	1		T116	5		T127	10		-	-
auto[6780000000000000:67ffffffffffffff]	5	1		T48	5		-	-		-	-
auto[6880000000000000:68ffffffffffffff]	4	1		T1	4		-	-		-	-
auto[6a00000000000000:6a7fffffffffffff]	2	1		T95	2		-	-		-	-
auto[6a80000000000000:6affffffffffffff]	2	1		T45	2		-	-		-	-
auto[6b00000000000000:6b7fffffffffffff]	18	1		T42	8		T120	10		-	-
auto[6c00000000000000:6c7fffffffffffff]	2	1		T178	2		-	-		-	-
auto[6d00000000000000:6d7fffffffffffff]	6	1		T108	6		-	-		-	-
auto[6d80000000000000:6dffffffffffffff]	13	1		T179	8		T129	5		-	-
auto[6e00000000000000:6e7fffffffffffff]	3	1		T104	3		-	-		-	-
auto[6f00000000000000:6f7fffffffffffff]	21	1		T126	10		T99	7		T145	2
auto[7080000000000000:70ffffffffffffff]	13	1		T95	2		T89	8		T77	3
auto[7180000000000000:71ffffffffffffff]	6	1		T4	6		-	-		-	-
auto[7280000000000000:72ffffffffffffff]	10	1		T110	10		-	-		-	-
auto[7300000000000000:737fffffffffffff]	4	1		T114	2		T21	2		-	-
auto[7380000000000000:73ffffffffffffff]	12	1		T44	12		-	-		-	-
auto[7400000000000000:747fffffffffffff]	2	1		T142	2		-	-		-	-
auto[7480000000000000:74ffffffffffffff]	8	1		T129	5		T116	3		-	-
auto[7500000000000000:757fffffffffffff]	11	1		T71	11		-	-		-	-
auto[7580000000000000:75ffffffffffffff]	17	1		T118	9		T77	8		-	-
auto[7600000000000000:767fffffffffffff]	9	1		T9	7		T72	2		-	-
auto[7680000000000000:76ffffffffffffff]	9	1		T116	9		-	-		-	-
auto[7700000000000000:777fffffffffffff]	6	1		T176	6		-	-		-	-
auto[7780000000000000:77ffffffffffffff]	11	1		T145	11		-	-		-	-
auto[7800000000000000:787fffffffffffff]	9	1		T149	6		T40	3		-	-
auto[7880000000000000:78ffffffffffffff]	4	1		T77	4		-	-		-	-
auto[7a00000000000000:7a7fffffffffffff]	14	1		T6	4		T23	10		-	-
auto[7a80000000000000:7affffffffffffff]	2	1		T2	2		-	-		-	-
auto[7b80000000000000:7bffffffffffffff]	14	1		T126	5		T48	9		-	-
auto[7c00000000000000:7c7fffffffffffff]	20	1		T9	10		T77	10		-	-
auto[7d00000000000000:7d7fffffffffffff]	15	1		T42	11		T131	4		-	-
auto[7d80000000000000:7dffffffffffffff]	10	1		T48	10		-	-		-	-
auto[7e80000000000000:7effffffffffffff]	17	1		T102	12		T117	5		-	-
auto[8000000000000000:807fffffffffffff]	4	1		T21	4		-	-		-	-
auto[8080000000000000:80ffffffffffffff]	6	1		T145	4		T165	2		-	-
auto[8100000000000000:817fffffffffffff]	8	1		T42	8		-	-		-	-
auto[8180000000000000:81ffffffffffffff]	6	1		T128	2		T158	4		-	-
auto[8200000000000000:827fffffffffffff]	8	1		T88	8		-	-		-	-
auto[8280000000000000:82ffffffffffffff]	14	1		T180	12		T112	2		-	-
auto[8300000000000000:837fffffffffffff]	4	1		T176	4		-	-		-	-
auto[8380000000000000:83ffffffffffffff]	23	1		T119	7		T47	7		T77	9
auto[8400000000000000:847fffffffffffff]	21	1		T48	10		T181	4		T104	7
auto[8480000000000000:84ffffffffffffff]	4	1		T148	4		-	-		-	-
auto[8500000000000000:857fffffffffffff]	2	1		T28	2		-	-		-	-
auto[8600000000000000:867fffffffffffff]	17	1		T77	7		T117	6		T158	4
auto[8780000000000000:87ffffffffffffff]	11	1		T167	2		T151	9		-	-
auto[8800000000000000:887fffffffffffff]	23	1		T124	4		T179	9		T42	10
auto[8880000000000000:88ffffffffffffff]	17	1		T99	8		T123	9		-	-
auto[8900000000000000:897fffffffffffff]	2	1		T182	2		-	-		-	-
auto[8980000000000000:89ffffffffffffff]	2	1		T183	2		-	-		-	-
auto[8a00000000000000:8a7fffffffffffff]	19	1		T88	13		T184	2		T185	4
auto[8b00000000000000:8b7fffffffffffff]	8	1		T141	8		-	-		-	-
auto[8b80000000000000:8bffffffffffffff]	12	1		T106	5		T89	3		T98	4
auto[8c80000000000000:8cffffffffffffff]	3	1		T71	3		-	-		-	-
auto[8d00000000000000:8d7fffffffffffff]	12	1		T21	9		T78	3		-	-
auto[8e00000000000000:8e7fffffffffffff]	4	1		T179	4		-	-		-	-
auto[8e80000000000000:8effffffffffffff]	17	1		T47	7		T133	2		T89	8
auto[8f00000000000000:8f7fffffffffffff]	4	1		T186	2		T131	2		-	-
auto[8f80000000000000:8fffffffffffffff]	10	1		T42	7		T111	3		-	-
auto[9000000000000000:907fffffffffffff]	8	1		T152	8		-	-		-	-
auto[9080000000000000:90ffffffffffffff]	13	1		T90	6		T72	7		-	-
auto[9180000000000000:91ffffffffffffff]	8	1		T161	5		T162	3		-	-
auto[9200000000000000:927fffffffffffff]	10	1		T110	10		-	-		-	-
auto[9300000000000000:937fffffffffffff]	6	1		T158	6		-	-		-	-
auto[9380000000000000:93ffffffffffffff]	4	1		T71	4		-	-		-	-
auto[9480000000000000:94ffffffffffffff]	12	1		T187	2		T77	10		-	-
auto[9600000000000000:967fffffffffffff]	13	1		T7	4		T150	9		-	-
auto[9680000000000000:96ffffffffffffff]	6	1		T169	6		-	-		-	-
auto[9980000000000000:99ffffffffffffff]	29	1		T6	9		T120	10		T110	10
auto[9b80000000000000:9bffffffffffffff]	2	1		T101	2		-	-		-	-
auto[9c80000000000000:9cffffffffffffff]	11	1		T91	11		-	-		-	-
auto[9d00000000000000:9d7fffffffffffff]	5	1		T8	5		-	-		-	-
auto[9e00000000000000:9e7fffffffffffff]	9	1		T116	9		-	-		-	-
auto[9e80000000000000:9effffffffffffff]	6	1		T98	6		-	-		-	-
auto[9f00000000000000:9f7fffffffffffff]	4	1		T113	4		-	-		-	-
auto[a000000000000000:a07fffffffffffff]	5	1		T136	5		-	-		-	-
auto[a100000000000000:a17fffffffffffff]	5	1		T116	5		-	-		-	-
auto[a200000000000000:a27fffffffffffff]	9	1		T97	2		T77	7		-	-
auto[a280000000000000:a2ffffffffffffff]	6	1		T169	6		-	-		-	-
auto[a300000000000000:a37fffffffffffff]	9	1		T145	9		-	-		-	-
auto[a380000000000000:a3ffffffffffffff]	14	1		T159	12		T117	2		-	-
auto[a400000000000000:a47fffffffffffff]	14	1		T124	7		T38	7		-	-
auto[a480000000000000:a4ffffffffffffff]	5	1		T135	5		-	-		-	-
auto[a500000000000000:a57fffffffffffff]	11	1		T7	11		-	-		-	-
auto[a600000000000000:a67fffffffffffff]	5	1		T161	5		-	-		-	-
auto[a800000000000000:a87fffffffffffff]	2	1		T188	2		-	-		-	-
auto[a880000000000000:a8ffffffffffffff]	14	1		T4	7		T150	7		-	-
auto[a900000000000000:a97fffffffffffff]	5	1		T74	5		-	-		-	-
auto[a980000000000000:a9ffffffffffffff]	4	1		T162	2		T76	2		-	-
auto[aa00000000000000:aa7fffffffffffff]	36	1		T44	12		T152	3		T38	11
auto[aa80000000000000:aaffffffffffffff]	4	1		T185	4		-	-		-	-
auto[ab00000000000000:ab7fffffffffffff]	6	1		T72	2		T136	4		-	-
auto[ab80000000000000:abffffffffffffff]	2	1		T39	2		-	-		-	-
auto[ac00000000000000:ac7fffffffffffff]	13	1		T40	6		T48	7		-	-
auto[ad00000000000000:ad7fffffffffffff]	7	1		T42	7		-	-		-	-
auto[ad80000000000000:adffffffffffffff]	12	1		T6	6		T91	6		-	-
auto[ae00000000000000:ae7fffffffffffff]	7	1		T141	7		-	-		-	-
auto[ae80000000000000:aeffffffffffffff]	16	1		T44	13		T71	3		-	-
auto[af00000000000000:af7fffffffffffff]	6	1		T44	6		-	-		-	-
auto[af80000000000000:afffffffffffffff]	7	1		T24	7		-	-		-	-
auto[b000000000000000:b07fffffffffffff]	6	1		T153	2		T76	2		T110	2
auto[b100000000000000:b17fffffffffffff]	6	1		T150	6		-	-		-	-
auto[b180000000000000:b1ffffffffffffff]	4	1		T95	4		-	-		-	-
auto[b200000000000000:b27fffffffffffff]	5	1		T48	5		-	-		-	-
auto[b280000000000000:b2ffffffffffffff]	4	1		T89	4		-	-		-	-
auto[b380000000000000:b3ffffffffffffff]	3	1		T100	3		-	-		-	-
auto[b480000000000000:b4ffffffffffffff]	19	1		T40	6		T21	4		T78	9
auto[b500000000000000:b57fffffffffffff]	4	1		T89	4		-	-		-	-
auto[b580000000000000:b5ffffffffffffff]	17	1		T84	5		T24	12		-	-
auto[b600000000000000:b67fffffffffffff]	4	1		T132	4		-	-		-	-
auto[b680000000000000:b6ffffffffffffff]	7	1		T89	5		T135	2		-	-
auto[b700000000000000:b77fffffffffffff]	2	1		T30	2		-	-		-	-
auto[b780000000000000:b7ffffffffffffff]	5	1		T73	3		T108	2		-	-
auto[b900000000000000:b97fffffffffffff]	15	1		T99	9		T109	6		-	-
auto[b980000000000000:b9ffffffffffffff]	3	1		T132	3		-	-		-	-
auto[ba00000000000000:ba7fffffffffffff]	2	1		T111	2		-	-		-	-
auto[ba80000000000000:baffffffffffffff]	11	1		T88	11		-	-		-	-
auto[bb80000000000000:bbffffffffffffff]	4	1		T136	4		-	-		-	-
auto[bd80000000000000:bdffffffffffffff]	2	1		T19	2		-	-		-	-
auto[be00000000000000:be7fffffffffffff]	10	1		T150	10		-	-		-	-
auto[bf00000000000000:bf7fffffffffffff]	10	1		T124	10		-	-		-	-
auto[bf80000000000000:bfffffffffffffff]	22	1		T157	3		T116	9		T98	10
auto[c000000000000000:c07fffffffffffff]	10	1		T39	3		T140	7		-	-
auto[c100000000000000:c17fffffffffffff]	27	1		T6	10		T8	6		T110	11
auto[c180000000000000:c1ffffffffffffff]	2	1		T132	2		-	-		-	-
auto[c280000000000000:c2ffffffffffffff]	3	1		T99	3		-	-		-	-
auto[c300000000000000:c37fffffffffffff]	13	1		T21	5		T154	4		T132	4
auto[c380000000000000:c3ffffffffffffff]	3	1		T72	3		-	-		-	-
auto[c480000000000000:c4ffffffffffffff]	10	1		T149	7		T75	3		-	-
auto[c600000000000000:c67fffffffffffff]	10	1		T28	7		T90	3		-	-
auto[c680000000000000:c6ffffffffffffff]	5	1		T132	5		-	-		-	-
auto[c780000000000000:c7ffffffffffffff]	6	1		T96	2		T110	4		-	-
auto[c880000000000000:c8ffffffffffffff]	8	1		T6	6		T155	2		-	-
auto[c900000000000000:c97fffffffffffff]	4	1		T130	2		T131	2		-	-
auto[ca00000000000000:ca7fffffffffffff]	5	1		T79	5		-	-		-	-
auto[ca80000000000000:caffffffffffffff]	6	1		T40	6		-	-		-	-
auto[cb00000000000000:cb7fffffffffffff]	2	1		T168	2		-	-		-	-
auto[cb80000000000000:cbffffffffffffff]	3	1		T161	3		-	-		-	-
auto[cc80000000000000:ccffffffffffffff]	10	1		T104	10		-	-		-	-
auto[cd00000000000000:cd7fffffffffffff]	10	1		T73	5		T117	5		-	-
auto[cd80000000000000:cdffffffffffffff]	14	1		T30	4		T76	5		T48	5
auto[ce00000000000000:ce7fffffffffffff]	8	1		T47	8		-	-		-	-
auto[ce80000000000000:ceffffffffffffff]	3	1		T135	3		-	-		-	-
auto[cf00000000000000:cf7fffffffffffff]	7	1		T99	7		-	-		-	-
auto[d000000000000000:d07fffffffffffff]	2	1		T103	2		-	-		-	-
auto[d080000000000000:d0ffffffffffffff]	6	1		T108	6		-	-		-	-
auto[d100000000000000:d17fffffffffffff]	5	1		T149	5		-	-		-	-
auto[d180000000000000:d1ffffffffffffff]	11	1		T93	2		T116	9		-	-
auto[d200000000000000:d27fffffffffffff]	4	1		T152	4		-	-		-	-
auto[d280000000000000:d2ffffffffffffff]	10	1		T110	10		-	-		-	-
auto[d400000000000000:d47fffffffffffff]	14	1		T116	14		-	-		-	-
auto[d500000000000000:d57fffffffffffff]	8	1		T98	8		-	-		-	-
auto[d580000000000000:d5ffffffffffffff]	10	1		T41	4		T116	6		-	-
auto[d780000000000000:d7ffffffffffffff]	9	1		T179	3		T40	6		-	-
auto[d800000000000000:d87fffffffffffff]	6	1		T161	3		T109	3		-	-
auto[d880000000000000:d8ffffffffffffff]	3	1		T131	3		-	-		-	-
auto[d900000000000000:d97fffffffffffff]	6	1		T99	6		-	-		-	-
auto[d980000000000000:d9ffffffffffffff]	14	1		T75	3		T77	11		-	-
auto[db00000000000000:db7fffffffffffff]	15	1		T134	10		T157	2		T89	3
auto[db80000000000000:dbffffffffffffff]	9	1		T48	9		-	-		-	-
auto[dc00000000000000:dc7fffffffffffff]	17	1		T102	11		T111	6		-	-
auto[dc80000000000000:dcffffffffffffff]	13	1		T85	2		T21	5		T141	6
auto[dd00000000000000:dd7fffffffffffff]	11	1		T135	11		-	-		-	-
auto[de00000000000000:de7fffffffffffff]	4	1		T118	4		-	-		-	-
auto[de80000000000000:deffffffffffffff]	21	1		T6	3		T77	8		T150	10
auto[df00000000000000:df7fffffffffffff]	25	1		T7	10		T28	9		T111	6
auto[e000000000000000:e07fffffffffffff]	24	1		T38	7		T135	11		T110	6
auto[e200000000000000:e27fffffffffffff]	12	1		T38	2		T127	10		-	-
auto[e280000000000000:e2ffffffffffffff]	7	1		T116	7		-	-		-	-
auto[e300000000000000:e37fffffffffffff]	3	1		T74	3		-	-		-	-
auto[e400000000000000:e47fffffffffffff]	5	1		T121	5		-	-		-	-
auto[e480000000000000:e4ffffffffffffff]	3	1		T170	3		-	-		-	-
auto[e580000000000000:e5ffffffffffffff]	9	1		T179	3		T24	6		-	-
auto[e600000000000000:e67fffffffffffff]	25	1		T8	2		T100	10		T121	4
auto[e680000000000000:e6ffffffffffffff]	2	1		T139	2		-	-		-	-
auto[e780000000000000:e7ffffffffffffff]	16	1		T106	11		T185	5		-	-
auto[ea80000000000000:eaffffffffffffff]	6	1		T140	6		-	-		-	-
auto[ec00000000000000:ec7fffffffffffff]	10	1		T77	10		-	-		-	-
auto[ec80000000000000:ecffffffffffffff]	12	1		T84	8		T145	4		-	-
auto[ed00000000000000:ed7fffffffffffff]	26	1		T38	7		T138	9		T104	10
auto[ee00000000000000:ee7fffffffffffff]	7	1		T71	7		-	-		-	-
auto[ee80000000000000:eeffffffffffffff]	11	1		T120	5		T141	6		-	-
auto[ef00000000000000:ef7fffffffffffff]	18	1		T134	5		T100	13		-	-
auto[ef80000000000000:efffffffffffffff]	5	1		T41	5		-	-		-	-
auto[f080000000000000:f0ffffffffffffff]	2	1		T39	2		-	-		-	-
auto[f100000000000000:f17fffffffffffff]	11	1		T9	11		-	-		-	-
auto[f180000000000000:f1ffffffffffffff]	5	1		T90	5		-	-		-	-
auto[f200000000000000:f27fffffffffffff]	7	1		T157	3		T131	4		-	-
auto[f280000000000000:f2ffffffffffffff]	5	1		T39	5		-	-		-	-
auto[f300000000000000:f37fffffffffffff]	2	1		T189	2		-	-		-	-
auto[f380000000000000:f3ffffffffffffff]	6	1		T120	6		-	-		-	-
auto[f400000000000000:f47fffffffffffff]	4	1		T190	2		T94	2		-	-
auto[f480000000000000:f4ffffffffffffff]	12	1		T135	5		T91	7		-	-
auto[f500000000000000:f57fffffffffffff]	21	1		T152	4		T21	9		T89	8
auto[f600000000000000:f67fffffffffffff]	10	1		T151	10		-	-		-	-
auto[f680000000000000:f6ffffffffffffff]	8	1		T38	8		-	-		-	-
auto[f800000000000000:f87fffffffffffff]	19	1		T152	6		T24	3		T170	10
auto[f980000000000000:f9ffffffffffffff]	12	1		T148	12		-	-		-	-
auto[fb00000000000000:fb7fffffffffffff]	3	1		T75	3		-	-		-	-
auto[fb80000000000000:fbffffffffffffff]	7	1		T89	7		-	-		-	-
auto[fc00000000000000:fc7fffffffffffff]	22	1		T72	7		T73	5		T48	8
auto[fc80000000000000:fcffffffffffffff]	4	1		T77	4		-	-		-	-
auto[fd00000000000000:fd7fffffffffffff]	18	1		T159	2		T151	16		-	-
auto[fd80000000000000:fdffffffffffffff]	7	1		T120	7		-	-		-	-

---

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	1968	1		T2	2		T3	3		T4	10
unset	6759	1		T1	24		T3	23		T4	83

---

Summary for Variable wkup_thold_cp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	512	162	350	68.36

Automatically Generated Bins for wkup_thold_cp

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER
[auto[0280000000000000:02ffffffffffffff]]	0	1	1
[auto[0480000000000000:04ffffffffffffff]]	0	1	1
[auto[0700000000000000:077fffffffffffff] - auto[0780000000000000:07ffffffffffffff]]	--	--	2
[auto[0a00000000000000:0a7fffffffffffff]]	0	1	1
[auto[0b80000000000000:0bffffffffffffff] - auto[0c00000000000000:0c7fffffffffffff]]	--	--	2
[auto[0d00000000000000:0d7fffffffffffff] - auto[0d80000000000000:0dffffffffffffff]]	--	--	2
[auto[0e80000000000000:0effffffffffffff]]	0	1	1
[auto[0f80000000000000:0fffffffffffffff] - auto[1000000000000000:107fffffffffffff]]	--	--	2
[auto[1100000000000000:117fffffffffffff]]	0	1	1
[auto[1200000000000000:127fffffffffffff]]	0	1	1
[auto[1300000000000000:137fffffffffffff] - auto[1380000000000000:13ffffffffffffff]]	--	--	2
[auto[1480000000000000:14ffffffffffffff]]	0	1	1
[auto[1600000000000000:167fffffffffffff]]	0	1	1
[auto[1b80000000000000:1bffffffffffffff] - auto[1c80000000000000:1cffffffffffffff]]	--	--	3
[auto[2080000000000000:20ffffffffffffff]]	0	1	1
[auto[2300000000000000:237fffffffffffff]]	0	1	1
[auto[2480000000000000:24ffffffffffffff] - auto[2500000000000000:257fffffffffffff]]	--	--	2
[auto[2680000000000000:26ffffffffffffff] - auto[2800000000000000:287fffffffffffff]]	--	--	4
[auto[2a00000000000000:2a7fffffffffffff]]	0	1	1
[auto[2b00000000000000:2b7fffffffffffff]]	0	1	1
[auto[2e00000000000000:2e7fffffffffffff]]	0	1	1
[auto[3080000000000000:30ffffffffffffff]]	0	1	1
[auto[3200000000000000:327fffffffffffff]]	0	1	1
[auto[3300000000000000:337fffffffffffff]]	0	1	1
[auto[3400000000000000:347fffffffffffff]]	0	1	1
[auto[3600000000000000:367fffffffffffff]]	0	1	1
[auto[3780000000000000:37ffffffffffffff]]	0	1	1
[auto[3880000000000000:38ffffffffffffff] - auto[3900000000000000:397fffffffffffff]]	--	--	2
[auto[3a00000000000000:3a7fffffffffffff]]	0	1	1
[auto[3c00000000000000:3c7fffffffffffff]]	0	1	1
[auto[3e00000000000000:3e7fffffffffffff]]	0	1	1
[auto[3f00000000000000:3f7fffffffffffff]]	0	1	1
[auto[4200000000000000:427fffffffffffff]]	0	1	1
[auto[4400000000000000:447fffffffffffff]]	0	1	1
[auto[4500000000000000:457fffffffffffff]]	0	1	1
[auto[4780000000000000:47ffffffffffffff]]	0	1	1
[auto[4a80000000000000:4affffffffffffff]]	0	1	1
[auto[4d00000000000000:4d7fffffffffffff]]	0	1	1
[auto[4f80000000000000:4fffffffffffffff]]	0	1	1
[auto[5080000000000000:50ffffffffffffff]]	0	1	1
[auto[5300000000000000:537fffffffffffff]]	0	1	1
[auto[5480000000000000:54ffffffffffffff]]	0	1	1
[auto[5680000000000000:56ffffffffffffff]]	0	1	1
[auto[5780000000000000:57ffffffffffffff]]	0	1	1
[auto[5c80000000000000:5cffffffffffffff]]	0	1	1
[auto[6080000000000000:60ffffffffffffff]]	0	1	1
[auto[6300000000000000:637fffffffffffff]]	0	1	1
[auto[6500000000000000:657fffffffffffff]]	0	1	1
[auto[6800000000000000:687fffffffffffff]]	0	1	1
[auto[6900000000000000:697fffffffffffff]]	0	1	1
[auto[6a80000000000000:6affffffffffffff]]	0	1	1
[auto[6b80000000000000:6bffffffffffffff] - auto[6c00000000000000:6c7fffffffffffff]]	--	--	2
[auto[6e00000000000000:6e7fffffffffffff] - auto[6e80000000000000:6effffffffffffff]]	--	--	2
[auto[7300000000000000:737fffffffffffff]]	0	1	1
[auto[7900000000000000:797fffffffffffff] - auto[7a80000000000000:7affffffffffffff]]	--	--	4
[auto[7e80000000000000:7effffffffffffff] - auto[7f00000000000000:7f7fffffffffffff]]	--	--	2
[auto[8000000000000000:807fffffffffffff] - auto[8100000000000000:817fffffffffffff]]	--	--	3
[auto[8200000000000000:827fffffffffffff]]	0	1	1
[auto[8680000000000000:86ffffffffffffff] - auto[8780000000000000:87ffffffffffffff]]	--	--	3
[auto[8a00000000000000:8a7fffffffffffff]]	0	1	1
[auto[8b00000000000000:8b7fffffffffffff]]	0	1	1
[auto[8c00000000000000:8c7fffffffffffff]]	0	1	1
[auto[8d80000000000000:8dffffffffffffff] - auto[8e00000000000000:8e7fffffffffffff]]	--	--	2
[auto[8f80000000000000:8fffffffffffffff] - auto[9080000000000000:90ffffffffffffff]]	--	--	3
[auto[9280000000000000:92ffffffffffffff] - auto[9380000000000000:93ffffffffffffff]]	--	--	3
[auto[9600000000000000:967fffffffffffff]]	0	1	1
[auto[9980000000000000:99ffffffffffffff]]	0	1	1
[auto[9e80000000000000:9effffffffffffff] - auto[9f00000000000000:9f7fffffffffffff]]	--	--	2
[auto[a000000000000000:a07fffffffffffff]]	0	1	1
[auto[a100000000000000:a17fffffffffffff] - auto[a180000000000000:a1ffffffffffffff]]	--	--	2
[auto[a280000000000000:a2ffffffffffffff] - auto[a380000000000000:a3ffffffffffffff]]	--	--	3
[auto[a480000000000000:a4ffffffffffffff]]	0	1	1
[auto[a600000000000000:a67fffffffffffff] - auto[a700000000000000:a77fffffffffffff]]	--	--	3
[auto[a800000000000000:a87fffffffffffff]]	0	1	1
[auto[a980000000000000:a9ffffffffffffff]]	0	1	1
[auto[ab00000000000000:ab7fffffffffffff]]	0	1	1
[auto[ac00000000000000:ac7fffffffffffff]]	0	1	1
[auto[ad00000000000000:ad7fffffffffffff]]	0	1	1
[auto[af80000000000000:afffffffffffffff]]	0	1	1
[auto[b100000000000000:b17fffffffffffff]]	0	1	1
[auto[b480000000000000:b4ffffffffffffff]]	0	1	1
[auto[b580000000000000:b5ffffffffffffff]]	0	1	1
[auto[b980000000000000:b9ffffffffffffff]]	0	1	1
[auto[bb00000000000000:bb7fffffffffffff]]	0	1	1
[auto[bc80000000000000:bcffffffffffffff]]	0	1	1
[auto[bf80000000000000:bfffffffffffffff] - auto[c000000000000000:c07fffffffffffff]]	--	--	2
[auto[c100000000000000:c17fffffffffffff] - auto[c180000000000000:c1ffffffffffffff]]	--	--	2
[auto[c400000000000000:c47fffffffffffff]]	0	1	1
[auto[c500000000000000:c57fffffffffffff]]	0	1	1
[auto[c800000000000000:c87fffffffffffff] - auto[c880000000000000:c8ffffffffffffff]]	--	--	2
[auto[ca80000000000000:caffffffffffffff]]	0	1	1
[auto[cc00000000000000:cc7fffffffffffff] - auto[cd00000000000000:cd7fffffffffffff]]	--	--	3
[auto[ce00000000000000:ce7fffffffffffff]]	0	1	1
[auto[cf00000000000000:cf7fffffffffffff]]	0	1	1
[auto[d080000000000000:d0ffffffffffffff]]	0	1	1
[auto[d180000000000000:d1ffffffffffffff]]	0	1	1
[auto[d680000000000000:d6ffffffffffffff]]	0	1	1
[auto[d780000000000000:d7ffffffffffffff] - auto[d800000000000000:d87fffffffffffff]]	--	--	2
[auto[d980000000000000:d9ffffffffffffff] - auto[da00000000000000:da7fffffffffffff]]	--	--	2
[auto[db80000000000000:dbffffffffffffff]]	0	1	1
[auto[dc80000000000000:dcffffffffffffff] - auto[dd80000000000000:ddffffffffffffff]]	--	--	3
[auto[df80000000000000:dfffffffffffffff]]	0	1	1
[auto[e080000000000000:e0ffffffffffffff]]	0	1	1
[auto[e180000000000000:e1ffffffffffffff] - auto[e280000000000000:e2ffffffffffffff]]	--	--	3
[auto[e500000000000000:e57fffffffffffff]]	0	1	1
[auto[e700000000000000:e77fffffffffffff]]	0	1	1
[auto[e880000000000000:e8ffffffffffffff]]	0	1	1
[auto[eb00000000000000:eb7fffffffffffff]]	0	1	1
[auto[ed80000000000000:edffffffffffffff]]	0	1	1
[auto[ef00000000000000:ef7fffffffffffff] - auto[ef80000000000000:efffffffffffffff]]	--	--	2
[auto[f300000000000000:f37fffffffffffff] - auto[f400000000000000:f47fffffffffffff]]	--	--	3
[auto[f700000000000000:f77fffffffffffff]]	0	1	1
[auto[f800000000000000:f87fffffffffffff]]	0	1	1
[auto[fa80000000000000:faffffffffffffff]]	0	1	1
[auto[fe80000000000000:feffffffffffffff]]	0	1	1

Covered bins

NAME	COUNT	AT LEAST		TEST	COUNT		TEST	COUNT		TEST	COUNT
auto[0000000000000000:007fffffffffffff]	5396	1		T1	11		T3	23		T4	64
auto[0080000000000000:00ffffffffffffff]	17	1		T120	10		T150	7		-	-
auto[0100000000000000:017fffffffffffff]	7	1		T38	2		T116	5		-	-
auto[0180000000000000:01ffffffffffffff]	9	1		T116	9		-	-		-	-
auto[0200000000000000:027fffffffffffff]	6	1		T21	6		-	-		-	-
auto[0300000000000000:037fffffffffffff]	10	1		T90	5		T73	5		-	-
auto[0380000000000000:03ffffffffffffff]	13	1		T140	6		T141	7		-	-
auto[0400000000000000:047fffffffffffff]	3	1		T75	3		-	-		-	-
auto[0500000000000000:057fffffffffffff]	15	1		T124	10		T129	5		-	-
auto[0580000000000000:05ffffffffffffff]	7	1		T42	7		-	-		-	-
auto[0600000000000000:067fffffffffffff]	9	1		T116	9		-	-		-	-
auto[0680000000000000:06ffffffffffffff]	4	1		T71	4		-	-		-	-
auto[0800000000000000:087fffffffffffff]	11	1		T73	5		T158	6		-	-
auto[0880000000000000:08ffffffffffffff]	19	1		T6	9		T170	10		-	-
auto[0900000000000000:097fffffffffffff]	2	1		T167	2		-	-		-	-
auto[0980000000000000:09ffffffffffffff]	7	1		T72	2		T135	5		-	-
auto[0a80000000000000:0affffffffffffff]	11	1		T135	11		-	-		-	-
auto[0b00000000000000:0b7fffffffffffff]	2	1		T80	2		-	-		-	-
auto[0c80000000000000:0cffffffffffffff]	11	1		T38	7		T39	4		-	-
auto[0e00000000000000:0e7fffffffffffff]	11	1		T6	7		T98	4		-	-
auto[0f00000000000000:0f7fffffffffffff]	11	1		T7	11		-	-		-	-
auto[1080000000000000:10ffffffffffffff]	5	1		T47	5		-	-		-	-
auto[1180000000000000:11ffffffffffffff]	4	1		T158	4		-	-		-	-
auto[1280000000000000:12ffffffffffffff]	11	1		T24	7		T121	4		-	-
auto[1400000000000000:147fffffffffffff]	4	1		T129	4		-	-		-	-
auto[1500000000000000:157fffffffffffff]	37	1		T28	7		T41	5		T161	5
auto[1580000000000000:15ffffffffffffff]	9	1		T89	9		-	-		-	-
auto[1680000000000000:16ffffffffffffff]	5	1		T104	5		-	-		-	-
auto[1700000000000000:177fffffffffffff]	10	1		T151	10		-	-		-	-
auto[1780000000000000:17ffffffffffffff]	4	1		T21	4		-	-		-	-
auto[1800000000000000:187fffffffffffff]	6	1		T40	6		-	-		-	-
auto[1880000000000000:18ffffffffffffff]	13	1		T138	6		T91	7		-	-
auto[1900000000000000:197fffffffffffff]	9	1		T116	9		-	-		-	-
auto[1980000000000000:19ffffffffffffff]	2	1		T166	2		-	-		-	-
auto[1a00000000000000:1a7fffffffffffff]	10	1		T104	10		-	-		-	-
auto[1a80000000000000:1affffffffffffff]	11	1		T119	5		T127	6		-	-
auto[1b00000000000000:1b7fffffffffffff]	11	1		T162	4		T78	7		-	-
auto[1d00000000000000:1d7fffffffffffff]	4	1		T108	4		-	-		-	-
auto[1d80000000000000:1dffffffffffffff]	12	1		T144	6		T111	6		-	-
auto[1e00000000000000:1e7fffffffffffff]	4	1		T185	4		-	-		-	-
auto[1e80000000000000:1effffffffffffff]	8	1		T40	6		T173	2		-	-
auto[1f00000000000000:1f7fffffffffffff]	2	1		T43	2		-	-		-	-
auto[1f80000000000000:1fffffffffffffff]	4	1		T124	4		-	-		-	-
auto[2000000000000000:207fffffffffffff]	3	1		T79	3		-	-		-	-
auto[2100000000000000:217fffffffffffff]	4	1		T41	4		-	-		-	-
auto[2180000000000000:21ffffffffffffff]	9	1		T48	9		-	-		-	-
auto[2200000000000000:227fffffffffffff]	21	1		T42	8		T106	11		T94	2
auto[2280000000000000:22ffffffffffffff]	6	1		T118	2		T136	4		-	-
auto[2380000000000000:23ffffffffffffff]	4	1		T154	4		-	-		-	-
auto[2400000000000000:247fffffffffffff]	9	1		T48	7		T139	2		-	-
auto[2580000000000000:25ffffffffffffff]	12	1		T157	4		T98	8		-	-
auto[2600000000000000:267fffffffffffff]	8	1		T164	2		T169	6		-	-
auto[2880000000000000:28ffffffffffffff]	5	1		T28	5		-	-		-	-
auto[2900000000000000:297fffffffffffff]	20	1		T8	4		T99	2		T154	4
auto[2980000000000000:29ffffffffffffff]	2	1		T76	2		-	-		-	-
auto[2a80000000000000:2affffffffffffff]	7	1		T9	7		-	-		-	-
auto[2b80000000000000:2bffffffffffffff]	8	1		T179	8		-	-		-	-
auto[2c00000000000000:2c7fffffffffffff]	4	1		T152	4		-	-		-	-
auto[2c80000000000000:2cffffffffffffff]	2	1		T128	2		-	-		-	-
auto[2d00000000000000:2d7fffffffffffff]	5	1		T48	5		-	-		-	-
auto[2d80000000000000:2dffffffffffffff]	7	1		T38	4		T89	3		-	-
auto[2e80000000000000:2effffffffffffff]	4	1		T131	4		-	-		-	-
auto[2f00000000000000:2f7fffffffffffff]	7	1		T72	7		-	-		-	-
auto[2f80000000000000:2fffffffffffffff]	12	1		T44	12		-	-		-	-
auto[3000000000000000:307fffffffffffff]	2	1		T160	2		-	-		-	-
auto[3100000000000000:317fffffffffffff]	5	1		T131	5		-	-		-	-
auto[3180000000000000:31ffffffffffffff]	2	1		T122	2		-	-		-	-
auto[3280000000000000:32ffffffffffffff]	13	1		T30	5		T150	8		-	-
auto[3380000000000000:33ffffffffffffff]	8	1		T8	2		T9	6		-	-
auto[3480000000000000:34ffffffffffffff]	17	1		T126	7		T102	3		T121	7
auto[3500000000000000:357fffffffffffff]	16	1		T144	8		T151	8		-	-
auto[3580000000000000:35ffffffffffffff]	7	1		T72	7		-	-		-	-
auto[3680000000000000:36ffffffffffffff]	2	1		T182	2		-	-		-	-
auto[3700000000000000:377fffffffffffff]	19	1		T71	7		T89	8		T132	2
auto[3800000000000000:387fffffffffffff]	12	1		T145	2		T110	10		-	-
auto[3980000000000000:39ffffffffffffff]	3	1		T111	3		-	-		-	-
auto[3a80000000000000:3affffffffffffff]	10	1		T110	10		-	-		-	-
auto[3b00000000000000:3b7fffffffffffff]	11	1		T116	8		T79	3		-	-
auto[3b80000000000000:3bffffffffffffff]	4	1		T117	4		-	-		-	-
auto[3c80000000000000:3cffffffffffffff]	13	1		T38	7		T120	6		-	-
auto[3d00000000000000:3d7fffffffffffff]	7	1		T39	5		T85	2		-	-
auto[3d80000000000000:3dffffffffffffff]	15	1		T77	11		T165	4		-	-
auto[3e80000000000000:3effffffffffffff]	5	1		T117	5		-	-		-	-
auto[3f80000000000000:3fffffffffffffff]	9	1		T116	9		-	-		-	-
auto[4000000000000000:407fffffffffffff]	3	1		T152	3		-	-		-	-
auto[4080000000000000:40ffffffffffffff]	22	1		T138	12		T98	10		-	-
auto[4100000000000000:417fffffffffffff]	8	1		T149	8		-	-		-	-
auto[4180000000000000:41ffffffffffffff]	15	1		T39	4		T42	11		-	-
auto[4280000000000000:42ffffffffffffff]	4	1		T113	4		-	-		-	-
auto[4300000000000000:437fffffffffffff]	3	1		T40	3		-	-		-	-
auto[4380000000000000:43ffffffffffffff]	7	1		T77	7		-	-		-	-
auto[4480000000000000:44ffffffffffffff]	12	1		T99	4		T95	2		T111	6
auto[4580000000000000:45ffffffffffffff]	7	1		T121	7		-	-		-	-
auto[4600000000000000:467fffffffffffff]	14	1		T99	11		T157	3		-	-
auto[4680000000000000:46ffffffffffffff]	8	1		T30	2		T144	6		-	-
auto[4700000000000000:477fffffffffffff]	16	1		T6	7		T141	9		-	-
auto[4800000000000000:487fffffffffffff]	4	1		T79	4		-	-		-	-
auto[4880000000000000:48ffffffffffffff]	20	1		T7	10		T110	10		-	-
auto[4900000000000000:497fffffffffffff]	2	1		T21	2		-	-		-	-
auto[4980000000000000:49ffffffffffffff]	11	1		T77	11		-	-		-	-
auto[4a00000000000000:4a7fffffffffffff]	6	1		T91	6		-	-		-	-
auto[4b00000000000000:4b7fffffffffffff]	4	1		T169	4		-	-		-	-
auto[4b80000000000000:4bffffffffffffff]	10	1		T46	5		T103	2		T116	3
auto[4c00000000000000:4c7fffffffffffff]	11	1		T1	6		T73	5		-	-
auto[4c80000000000000:4cffffffffffffff]	12	1		T2	2		T126	10		-	-
auto[4d80000000000000:4dffffffffffffff]	9	1		T108	6		T140	3		-	-
auto[4e00000000000000:4e7fffffffffffff]	2	1		T175	2		-	-		-	-
auto[4e80000000000000:4effffffffffffff]	9	1		T150	9		-	-		-	-
auto[4f00000000000000:4f7fffffffffffff]	4	1		T148	4		-	-		-	-
auto[5000000000000000:507fffffffffffff]	6	1		T98	6		-	-		-	-
auto[5100000000000000:517fffffffffffff]	13	1		T74	5		T141	8		-	-
auto[5180000000000000:51ffffffffffffff]	11	1		T126	11		-	-		-	-
auto[5200000000000000:527fffffffffffff]	8	1		T157	3		T106	5		-	-
auto[5280000000000000:52ffffffffffffff]	19	1		T21	10		T138	9		-	-
auto[5380000000000000:53ffffffffffffff]	5	1		T150	5		-	-		-	-
auto[5400000000000000:547fffffffffffff]	8	1		T9	8		-	-		-	-
auto[5500000000000000:557fffffffffffff]	3	1		T156	3		-	-		-	-
auto[5580000000000000:55ffffffffffffff]	7	1		T116	7		-	-		-	-
auto[5600000000000000:567fffffffffffff]	15	1		T39	2		T77	6		T120	7
auto[5700000000000000:577fffffffffffff]	18	1		T6	3		T47	8		T150	7
auto[5800000000000000:587fffffffffffff]	16	1		T116	7		T150	9		-	-
auto[5880000000000000:58ffffffffffffff]	5	1		T48	5		-	-		-	-
auto[5900000000000000:597fffffffffffff]	5	1		T118	5		-	-		-	-
auto[5980000000000000:59ffffffffffffff]	16	1		T9	11		T73	5		-	-
auto[5a00000000000000:5a7fffffffffffff]	7	1		T99	7		-	-		-	-
auto[5a80000000000000:5affffffffffffff]	4	1		T6	4		-	-		-	-
auto[5b00000000000000:5b7fffffffffffff]	10	1		T8	5		T73	5		-	-
auto[5b80000000000000:5bffffffffffffff]	20	1		T124	7		T123	4		T145	9
auto[5c00000000000000:5c7fffffffffffff]	16	1		T38	8		T183	2		T153	2
auto[5d00000000000000:5d7fffffffffffff]	6	1		T124	6		-	-		-	-
auto[5d80000000000000:5dffffffffffffff]	11	1		T7	4		T23	5		T95	2
auto[5e00000000000000:5e7fffffffffffff]	2	1		T117	2		-	-		-	-
auto[5e80000000000000:5effffffffffffff]	12	1		T159	12		-	-		-	-
auto[5f00000000000000:5f7fffffffffffff]	6	1		T185	6		-	-		-	-
auto[5f80000000000000:5fffffffffffffff]	3	1		T90	3		-	-		-	-
auto[6000000000000000:607fffffffffffff]	11	1		T102	11		-	-		-	-
auto[6100000000000000:617fffffffffffff]	2	1		T163	2		-	-		-	-
auto[6180000000000000:61ffffffffffffff]	7	1		T42	7		-	-		-	-
auto[6200000000000000:627fffffffffffff]	12	1		T6	6		T176	6		-	-
auto[6280000000000000:62ffffffffffffff]	8	1		T48	5		T74	3		-	-
auto[6380000000000000:63ffffffffffffff]	21	1		T72	7		T118	2		T105	2
auto[6400000000000000:647fffffffffffff]	20	1		T157	2		T167	5		T73	6
auto[6480000000000000:64ffffffffffffff]	4	1		T181	4		-	-		-	-
auto[6580000000000000:65ffffffffffffff]	2	1		T146	2		-	-		-	-
auto[6600000000000000:667fffffffffffff]	12	1		T21	2		T47	7		T73	3
auto[6680000000000000:66ffffffffffffff]	11	1		T145	11		-	-		-	-
auto[6700000000000000:677fffffffffffff]	9	1		T116	9		-	-		-	-
auto[6780000000000000:67ffffffffffffff]	12	1		T167	4		T147	2		T110	6
auto[6880000000000000:68ffffffffffffff]	14	1		T106	6		T48	8		-	-
auto[6980000000000000:69ffffffffffffff]	7	1		T123	5		T110	2		-	-
auto[6a00000000000000:6a7fffffffffffff]	5	1		T161	5		-	-		-	-
auto[6b00000000000000:6b7fffffffffffff]	30	1		T44	13		T119	7		T110	10
auto[6c80000000000000:6cffffffffffffff]	13	1		T24	3		T110	10		-	-
auto[6d00000000000000:6d7fffffffffffff]	2	1		T135	2		-	-		-	-
auto[6d80000000000000:6dffffffffffffff]	13	1		T84	6		T90	3		T73	4
auto[6f00000000000000:6f7fffffffffffff]	3	1		T6	3		-	-		-	-
auto[6f80000000000000:6fffffffffffffff]	13	1		T140	7		T141	6		-	-
auto[7000000000000000:707fffffffffffff]	31	1		T116	9		T135	11		T145	11
auto[7080000000000000:70ffffffffffffff]	4	1		T132	4		-	-		-	-
auto[7100000000000000:717fffffffffffff]	13	1		T77	8		T120	5		-	-
auto[7180000000000000:71ffffffffffffff]	5	1		T162	3		T184	2		-	-
auto[7200000000000000:727fffffffffffff]	38	1		T6	6		T39	3		T88	10
auto[7280000000000000:72ffffffffffffff]	18	1		T152	8		T23	10		-	-
auto[7380000000000000:73ffffffffffffff]	29	1		T162	2		T71	7		T107	7
auto[7400000000000000:747fffffffffffff]	2	1		T190	2		-	-		-	-
auto[7480000000000000:74ffffffffffffff]	6	1		T111	6		-	-		-	-
auto[7500000000000000:757fffffffffffff]	4	1		T9	4		-	-		-	-
auto[7580000000000000:75ffffffffffffff]	4	1		T77	4		-	-		-	-
auto[7600000000000000:767fffffffffffff]	3	1		T157	3		-	-		-	-
auto[7680000000000000:76ffffffffffffff]	10	1		T6	10		-	-		-	-
auto[7700000000000000:777fffffffffffff]	16	1		T95	4		T74	2		T104	10
auto[7780000000000000:77ffffffffffffff]	18	1		T13	14		T110	4		-	-
auto[7800000000000000:787fffffffffffff]	11	1		T142	2		T118	5		T108	4
auto[7880000000000000:78ffffffffffffff]	15	1		T134	10		T91	5		-	-
auto[7b00000000000000:7b7fffffffffffff]	11	1		T110	11		-	-		-	-
auto[7b80000000000000:7bffffffffffffff]	7	1		T4	7		-	-		-	-
auto[7c00000000000000:7c7fffffffffffff]	14	1		T89	10		T156	4		-	-
auto[7c80000000000000:7cffffffffffffff]	10	1		T99	7		T185	3		-	-
auto[7d00000000000000:7d7fffffffffffff]	5	1		T121	5		-	-		-	-
auto[7d80000000000000:7dffffffffffffff]	8	1		T77	3		T79	5		-	-
auto[7e00000000000000:7e7fffffffffffff]	4	1		T117	2		T165	2		-	-
auto[7f80000000000000:7fffffffffffffff]	2	1		T125	2		-	-		-	-
auto[8180000000000000:81ffffffffffffff]	6	1		T174	2		T158	4		-	-
auto[8280000000000000:82ffffffffffffff]	10	1		T75	4		T109	6		-	-
auto[8300000000000000:837fffffffffffff]	5	1		T46	3		T114	2		-	-
auto[8380000000000000:83ffffffffffffff]	6	1		T116	6		-	-		-	-
auto[8400000000000000:847fffffffffffff]	2	1		T165	2		-	-		-	-
auto[8480000000000000:84ffffffffffffff]	2	1		T132	2		-	-		-	-
auto[8500000000000000:857fffffffffffff]	14	1		T138	4		T150	10		-	-
auto[8580000000000000:85ffffffffffffff]	6	1		T111	6		-	-		-	-
auto[8600000000000000:867fffffffffffff]	6	1		T135	6		-	-		-	-
auto[8800000000000000:887fffffffffffff]	3	1		T135	3		-	-		-	-
auto[8880000000000000:88ffffffffffffff]	9	1		T138	4		T132	5		-	-
auto[8900000000000000:897fffffffffffff]	8	1		T3	3		T28	5		-	-
auto[8980000000000000:89ffffffffffffff]	7	1		T170	3		T77	4		-	-
auto[8a80000000000000:8affffffffffffff]	8	1		T152	6		T162	2		-	-
auto[8b80000000000000:8bffffffffffffff]	6	1		T95	6		-	-		-	-
auto[8c80000000000000:8cffffffffffffff]	4	1		T145	4		-	-		-	-
auto[8d00000000000000:8d7fffffffffffff]	3	1		T110	3		-	-		-	-
auto[8e80000000000000:8effffffffffffff]	9	1		T88	7		T188	2		-	-
auto[8f00000000000000:8f7fffffffffffff]	29	1		T8	8		T88	8		T74	6
auto[9100000000000000:917fffffffffffff]	21	1		T44	11		T100	10		-	-
auto[9180000000000000:91ffffffffffffff]	4	1		T77	4		-	-		-	-
auto[9200000000000000:927fffffffffffff]	12	1		T1	3		T21	5		T144	4
auto[9400000000000000:947fffffffffffff]	2	1		T177	2		-	-		-	-
auto[9480000000000000:94ffffffffffffff]	2	1		T112	2		-	-		-	-
auto[9500000000000000:957fffffffffffff]	13	1		T19	2		T76	2		T89	5
auto[9580000000000000:95ffffffffffffff]	12	1		T135	2		T127	10		-	-
auto[9680000000000000:96ffffffffffffff]	12	1		T44	12		-	-		-	-
auto[9700000000000000:977fffffffffffff]	6	1		T141	6		-	-		-	-
auto[9780000000000000:97ffffffffffffff]	8	1		T89	8		-	-		-	-
auto[9800000000000000:987fffffffffffff]	11	1		T91	11		-	-		-	-
auto[9880000000000000:98ffffffffffffff]	11	1		T149	7		T89	4		-	-
auto[9900000000000000:997fffffffffffff]	14	1		T77	14		-	-		-	-
auto[9a00000000000000:9a7fffffffffffff]	3	1		T74	3		-	-		-	-
auto[9a80000000000000:9affffffffffffff]	10	1		T110	10		-	-		-	-
auto[9b00000000000000:9b7fffffffffffff]	9	1		T23	9		-	-		-	-
auto[9b80000000000000:9bffffffffffffff]	3	1		T38	3		-	-		-	-
auto[9c00000000000000:9c7fffffffffffff]	7	1		T121	7		-	-		-	-
auto[9c80000000000000:9cffffffffffffff]	10	1		T38	7		T75	3		-	-
auto[9d00000000000000:9d7fffffffffffff]	14	1		T179	4		T48	10		-	-
auto[9d80000000000000:9dffffffffffffff]	4	1		T118	4		-	-		-	-
auto[9e00000000000000:9e7fffffffffffff]	7	1		T150	4		T158	3		-	-
auto[9f80000000000000:9fffffffffffffff]	3	1		T161	3		-	-		-	-
auto[a080000000000000:a0ffffffffffffff]	19	1		T24	12		T158	7		-	-
auto[a200000000000000:a27fffffffffffff]	13	1		T21	5		T73	4		T110	4
auto[a400000000000000:a47fffffffffffff]	11	1		T21	9		T132	2		-	-
auto[a500000000000000:a57fffffffffffff]	6	1		T48	6		-	-		-	-
auto[a580000000000000:a5ffffffffffffff]	4	1		T72	2		T136	2		-	-
auto[a780000000000000:a7ffffffffffffff]	12	1		T152	7		T136	5		-	-
auto[a880000000000000:a8ffffffffffffff]	11	1		T72	11		-	-		-	-
auto[a900000000000000:a97fffffffffffff]	4	1		T136	4		-	-		-	-
auto[aa00000000000000:aa7fffffffffffff]	17	1		T108	6		T135	11		-	-
auto[aa80000000000000:aaffffffffffffff]	21	1		T45	2		T89	9		T79	4
auto[ab80000000000000:abffffffffffffff]	8	1		T89	8		-	-		-	-
auto[ac80000000000000:acffffffffffffff]	6	1		T99	6		-	-		-	-
auto[ad80000000000000:adffffffffffffff]	5	1		T149	5		-	-		-	-
auto[ae00000000000000:ae7fffffffffffff]	7	1		T134	7		-	-		-	-
auto[ae80000000000000:aeffffffffffffff]	5	1		T140	5		-	-		-	-
auto[af00000000000000:af7fffffffffffff]	14	1		T42	10		T158	4		-	-
auto[b000000000000000:b07fffffffffffff]	23	1		T9	3		T127	10		T185	4
auto[b080000000000000:b0ffffffffffffff]	9	1		T84	9		-	-		-	-
auto[b180000000000000:b1ffffffffffffff]	39	1		T176	5		T126	5		T99	6
auto[b200000000000000:b27fffffffffffff]	14	1		T38	7		T118	5		T178	2
auto[b280000000000000:b2ffffffffffffff]	8	1		T6	8		-	-		-	-
auto[b300000000000000:b37fffffffffffff]	2	1		T6	2		-	-		-	-
auto[b380000000000000:b3ffffffffffffff]	4	1		T150	4		-	-		-	-
auto[b400000000000000:b47fffffffffffff]	22	1		T88	11		T24	11		-	-
auto[b500000000000000:b57fffffffffffff]	6	1		T169	6		-	-		-	-
auto[b600000000000000:b67fffffffffffff]	14	1		T89	7		T132	5		T101	2
auto[b680000000000000:b6ffffffffffffff]	9	1		T151	9		-	-		-	-
auto[b700000000000000:b77fffffffffffff]	15	1		T179	3		T148	12		-	-
auto[b780000000000000:b7ffffffffffffff]	2	1		T108	2		-	-		-	-
auto[b800000000000000:b87fffffffffffff]	17	1		T6	6		T159	2		T150	7
auto[b880000000000000:b8ffffffffffffff]	5	1		T115	2		T131	3		-	-
auto[b900000000000000:b97fffffffffffff]	14	1		T84	5		T21	9		-	-
auto[ba00000000000000:ba7fffffffffffff]	2	1		T130	2		-	-		-	-
auto[ba80000000000000:baffffffffffffff]	11	1		T99	8		T74	3		-	-
auto[bb80000000000000:bbffffffffffffff]	9	1		T110	9		-	-		-	-
auto[bc00000000000000:bc7fffffffffffff]	7	1		T99	3		T132	4		-	-
auto[bd00000000000000:bd7fffffffffffff]	3	1		T78	3		-	-		-	-
auto[bd80000000000000:bdffffffffffffff]	12	1		T102	12		-	-		-	-
auto[be00000000000000:be7fffffffffffff]	13	1		T116	3		T151	10		-	-
auto[be80000000000000:beffffffffffffff]	7	1		T72	7		-	-		-	-
auto[bf00000000000000:bf7fffffffffffff]	18	1		T71	11		T104	7		-	-
auto[c080000000000000:c0ffffffffffffff]	14	1		T116	9		T185	5		-	-
auto[c200000000000000:c27fffffffffffff]	13	1		T100	13		-	-		-	-
auto[c280000000000000:c2ffffffffffffff]	18	1		T39	2		T134	4		T133	2
auto[c300000000000000:c37fffffffffffff]	16	1		T84	7		T78	9		-	-
auto[c380000000000000:c3ffffffffffffff]	12	1		T88	4		T42	8		-	-
auto[c480000000000000:c4ffffffffffffff]	14	1		T30	5		T40	6		T170	3
auto[c580000000000000:c5ffffffffffffff]	4	1		T176	4		-	-		-	-
auto[c600000000000000:c67fffffffffffff]	7	1		T100	2		T117	5		-	-
auto[c680000000000000:c6ffffffffffffff]	9	1		T21	9		-	-		-	-
auto[c700000000000000:c77fffffffffffff]	15	1		T134	5		T48	10		-	-
auto[c780000000000000:c7ffffffffffffff]	18	1		T7	6		T9	6		T116	6
auto[c900000000000000:c97fffffffffffff]	6	1		T71	6		-	-		-	-
auto[c980000000000000:c9ffffffffffffff]	10	1		T150	10		-	-		-	-
auto[ca00000000000000:ca7fffffffffffff]	7	1		T100	7		-	-		-	-
auto[cb00000000000000:cb7fffffffffffff]	16	1		T100	6		T77	10		-	-
auto[cb80000000000000:cbffffffffffffff]	5	1		T39	3		T172	2		-	-
auto[cd80000000000000:cdffffffffffffff]	30	1		T7	5		T84	8		T179	3
auto[ce80000000000000:ceffffffffffffff]	3	1		T162	3		-	-		-	-
auto[cf80000000000000:cfffffffffffffff]	9	1		T48	9		-	-		-	-
auto[d000000000000000:d07fffffffffffff]	4	1		T131	4		-	-		-	-
auto[d100000000000000:d17fffffffffffff]	9	1		T99	9		-	-		-	-
auto[d200000000000000:d27fffffffffffff]	5	1		T116	5		-	-		-	-
auto[d280000000000000:d2ffffffffffffff]	2	1		T97	2		-	-		-	-
auto[d300000000000000:d37fffffffffffff]	22	1		T40	12		T77	10		-	-
auto[d380000000000000:d3ffffffffffffff]	18	1		T7	11		T161	3		T48	4
auto[d400000000000000:d47fffffffffffff]	3	1		T157	3		-	-		-	-
auto[d480000000000000:d4ffffffffffffff]	9	1		T118	9		-	-		-	-
auto[d500000000000000:d57fffffffffffff]	7	1		T42	7		-	-		-	-
auto[d580000000000000:d5ffffffffffffff]	4	1		T21	4		-	-		-	-
auto[d600000000000000:d67fffffffffffff]	7	1		T47	7		-	-		-	-
auto[d700000000000000:d77fffffffffffff]	9	1		T48	9		-	-		-	-
auto[d880000000000000:d8ffffffffffffff]	16	1		T28	9		T71	7		-	-
auto[d900000000000000:d97fffffffffffff]	6	1		T113	4		T131	2		-	-
auto[da80000000000000:daffffffffffffff]	12	1		T161	3		T47	7		T168	2
auto[db00000000000000:db7fffffffffffff]	26	1		T6	8		T38	2		T77	10
auto[dc00000000000000:dc7fffffffffffff]	9	1		T21	9		-	-		-	-
auto[de00000000000000:de7fffffffffffff]	8	1		T90	6		T111	2		-	-
auto[de80000000000000:deffffffffffffff]	9	1		T48	9		-	-		-	-
auto[df00000000000000:df7fffffffffffff]	10	1		T104	10		-	-		-	-
auto[e000000000000000:e07fffffffffffff]	3	1		T132	3		-	-		-	-
auto[e100000000000000:e17fffffffffffff]	8	1		T129	5		T109	3		-	-
auto[e300000000000000:e37fffffffffffff]	8	1		T119	8		-	-		-	-
auto[e380000000000000:e3ffffffffffffff]	4	1		T152	4		-	-		-	-
auto[e400000000000000:e47fffffffffffff]	3	1		T71	3		-	-		-	-
auto[e480000000000000:e4ffffffffffffff]	8	1		T127	8		-	-		-	-
auto[e580000000000000:e5ffffffffffffff]	9	1		T8	6		T132	3		-	-
auto[e600000000000000:e67fffffffffffff]	8	1		T89	8		-	-		-	-
auto[e680000000000000:e6ffffffffffffff]	2	1		T96	2		-	-		-	-
auto[e780000000000000:e7ffffffffffffff]	12	1		T4	6		T77	6		-	-
auto[e800000000000000:e87fffffffffffff]	9	1		T77	9		-	-		-	-
auto[e900000000000000:e97fffffffffffff]	7	1		T186	2		T150	5		-	-
auto[e980000000000000:e9ffffffffffffff]	2	1		T93	2		-	-		-	-
auto[ea00000000000000:ea7fffffffffffff]	4	1		T30	4		-	-		-	-
auto[ea80000000000000:eaffffffffffffff]	7	1		T189	2		T104	5		-	-
auto[eb80000000000000:ebffffffffffffff]	8	1		T44	8		-	-		-	-
auto[ec00000000000000:ec7fffffffffffff]	13	1		T48	5		T127	6		T150	2
auto[ec80000000000000:ecffffffffffffff]	17	1		T102	7		T110	10		-	-
auto[ed00000000000000:ed7fffffffffffff]	9	1		T157	6		T148	3		-	-
auto[ee00000000000000:ee7fffffffffffff]	12	1		T72	3		T116	5		T78	4
auto[ee80000000000000:eeffffffffffffff]	12	1		T1	4		T4	6		T145	2
auto[f000000000000000:f07fffffffffffff]	10	1		T76	5		T135	5		-	-
auto[f080000000000000:f0ffffffffffffff]	17	1		T4	10		T47	7		-	-
auto[f100000000000000:f17fffffffffffff]	16	1		T24	6		T120	10		-	-
auto[f180000000000000:f1ffffffffffffff]	17	1		T113	5		T180	12		-	-
auto[f200000000000000:f27fffffffffffff]	3	1		T71	3		-	-		-	-
auto[f280000000000000:f2ffffffffffffff]	2	1		T72	2		-	-		-	-
auto[f480000000000000:f4ffffffffffffff]	3	1		T104	3		-	-		-	-
auto[f500000000000000:f57fffffffffffff]	19	1		T88	13		T129	6		-	-
auto[f580000000000000:f5ffffffffffffff]	9	1		T29	2		T104	7		-	-
auto[f600000000000000:f67fffffffffffff]	10	1		T84	5		T116	5		-	-
auto[f680000000000000:f6ffffffffffffff]	10	1		T77	10		-	-		-	-
auto[f780000000000000:f7ffffffffffffff]	23	1		T38	13		T89	3		T104	7
auto[f880000000000000:f8ffffffffffffff]	13	1		T88	7		T145	4		T141	2
auto[f900000000000000:f97fffffffffffff]	5	1		T28	2		T75	3		-	-
auto[f980000000000000:f9ffffffffffffff]	25	1		T159	6		T48	10		T98	9
auto[fa00000000000000:fa7fffffffffffff]	14	1		T44	6		T168	6		T137	2
auto[fb00000000000000:fb7fffffffffffff]	9	1		T179	9		-	-		-	-
auto[fb80000000000000:fbffffffffffffff]	5	1		T124	5		-	-		-	-
auto[fc00000000000000:fc7fffffffffffff]	12	1		T48	10		T155	2		-	-
auto[fc80000000000000:fcffffffffffffff]	8	1		T24	8		-	-		-	-
auto[fd00000000000000:fd7fffffffffffff]	2	1		T132	2		-	-		-	-
auto[fd80000000000000:fdffffffffffffff]	2	1		T131	2		-	-		-	-
auto[fe00000000000000:fe7fffffffffffff]	2	1		T143	2		-	-		-	-
auto[ff00000000000000:ff7fffffffffffff]	11	1		T92	2		T117	6		T98	3
auto[ff80000000000000:ffffffffffffffff]	6	1		T149	6		-	-		-	-