Unified Coverage Report :: Group : rv_timer_env_pkg::rv_timer_cfg_cov_obj::timer_cfg_cg

Summary for Variable cp_mtime

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	50	0	50	100.00

Automatically Generated Bins for cp_mtime

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
auto[0000000000000000:051eb851eb851eb7]	23	1			T78	1		T79	1		T80	1
auto[051eb851eb851eb8:0a3d70a3d70a3d6f]	29	1			T38	1		T81	1		T80	1
auto[0a3d70a3d70a3d70:0f5c28f5c28f5c27]	29	1			T82	1		T80	1		T83	1
auto[0f5c28f5c28f5c28:147ae147ae147adf]	23	1			T84	1		T85	1		T86	1
auto[147ae147ae147ae0:1999999999999997]	30	1			T28	1		T87	1		T88	1
auto[1999999999999998:1eb851eb851eb84f]	23	1			T89	1		T90	1		T50	1
auto[1eb851eb851eb850:23d70a3d70a3d707]	25	1			T91	1		T92	2		T93	1
auto[23d70a3d70a3d708:28f5c28f5c28f5bf]	25	1			T84	1		T94	1		T83	1
auto[28f5c28f5c28f5c0:2e147ae147ae1477]	24	1			T37	1		T91	1		T95	1
auto[2e147ae147ae1478:333333333333332f]	19	1			T96	1		T97	2		T98	1
auto[3333333333333330:3851eb851eb851e7]	26	1			T99	1		T100	1		T101	1
auto[3851eb851eb851e8:3d70a3d70a3d709f]	26	1			T40	1		T49	1		T102	1
auto[3d70a3d70a3d70a0:428f5c28f5c28f57]	12	1			T103	1		T102	1		T90	1
auto[428f5c28f5c28f58:47ae147ae147ae0f]	14	1			T100	1		T49	1		T104	1
auto[47ae147ae147ae10:4cccccccccccccc7]	25	1			T79	1		T105	1		T86	1
auto[4cccccccccccccc8:51eb851eb851eb7f]	20	1			T106	1		T107	1		T108	1
auto[51eb851eb851eb80:570a3d70a3d70a37]	23	1			T79	1		T93	1		T109	1
auto[570a3d70a3d70a38:5c28f5c28f5c28ef]	20	1			T110	1		T111	1		T80	1
auto[5c28f5c28f5c28f0:6147ae147ae147a7]	24	1			T112	1		T113	1		T114	1
auto[6147ae147ae147a8:666666666666665f]	18	1			T115	1		T116	1		T117	1
auto[6666666666666660:6b851eb851eb8517]	20	1			T3	1		T118	1		T119	1
auto[6b851eb851eb8518:70a3d70a3d70a3cf]	35	1			T82	1		T120	1		T121	1
auto[70a3d70a3d70a3d0:75c28f5c28f5c287]	25	1			T84	1		T116	1		T113	1
auto[75c28f5c28f5c288:7ae147ae147ae13f]	26	1			T120	1		T91	1		T83	1
auto[7ae147ae147ae140:7ffffffffffffff7]	19	1			T122	1		T93	1		T123	1
auto[7ffffffffffffff8:851eb851eb851eaf]	25	1			T50	1		T124	1		T125	1
auto[851eb851eb851eb0:8a3d70a3d70a3d67]	26	1			T39	1		T126	1		T92	2
auto[8a3d70a3d70a3d68:8f5c28f5c28f5c1f]	23	1			T91	1		T127	1		T128	1
auto[8f5c28f5c28f5c20:947ae147ae147ad7]	22	1			T39	1		T121	1		T85	1
auto[947ae147ae147ad8:999999999999998f]	22	1			T122	1		T127	1		T50	1
auto[9999999999999990:9eb851eb851eb847]	26	1			T39	1		T41	1		T92	1
auto[9eb851eb851eb848:a3d70a3d70a3d6ff]	29	1			T14	1		T96	1		T89	1
auto[a3d70a3d70a3d700:a8f5c28f5c28f5b7]	23	1			T30	1		T103	1		T79	1
auto[a8f5c28f5c28f5b8:ae147ae147ae146f]	21	1			T105	1		T129	1		T90	1
auto[ae147ae147ae1470:b333333333333327]	23	1			T88	1		T130	1		T127	1
auto[b333333333333328:b851eb851eb851df]	30	1			T130	2		T131	1		T132	1
auto[b851eb851eb851e0:bd70a3d70a3d7097]	26	1			T133	1		T134	1		T135	1
auto[bd70a3d70a3d7098:c28f5c28f5c28f4f]	20	1			T36	1		T38	1		T96	1
auto[c28f5c28f5c28f50:c7ae147ae147ae07]	25	1			T96	1		T83	1		T130	1
auto[c7ae147ae147ae08:ccccccccccccccbf]	19	1			T41	1		T136	1		T137	1
auto[ccccccccccccccc0:d1eb851eb851eb77]	30	1			T99	1		T138	1		T139	2
auto[d1eb851eb851eb78:d70a3d70a3d70a2f]	25	1			T30	1		T79	1		T83	1
auto[d70a3d70a3d70a30:dc28f5c28f5c28e7]	23	1			T27	1		T30	1		T140	1
auto[dc28f5c28f5c28e8:e147ae147ae1479f]	19	1			T138	1		T141	1		T142	1
auto[e147ae147ae147a0:e666666666666657]	30	1			T93	1		T143	1		T144	1
auto[e666666666666658:eb851eb851eb850f]	30	1			T9	1		T28	1		T38	2
auto[eb851eb851eb8510:f0a3d70a3d70a3c7]	16	1			T28	1		T89	1		T121	1
auto[f0a3d70a3d70a3c8:f5c28f5c28f5c27f]	16	1			T145	1		T140	1		T146	1
auto[f5c28f5c28f5c280:fae147ae147ae137]	31	1			T29	1		T91	1		T85	1
auto[fae147ae147ae138:ffffffffffffffff]	18	1			T79	1		T147	1		T105	1

---

Summary for Variable cp_mtime_cmp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	50	0	50	100.00

Automatically Generated Bins for cp_mtime_cmp

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
auto[0000000000000000:051eb851eb851eb7]	23	1			T78	1		T79	1		T80	1
auto[051eb851eb851eb8:0a3d70a3d70a3d6f]	29	1			T38	1		T81	1		T80	1
auto[0a3d70a3d70a3d70:0f5c28f5c28f5c27]	29	1			T82	1		T80	1		T83	1
auto[0f5c28f5c28f5c28:147ae147ae147adf]	23	1			T84	1		T85	1		T86	1
auto[147ae147ae147ae0:1999999999999997]	30	1			T28	1		T87	1		T88	1
auto[1999999999999998:1eb851eb851eb84f]	23	1			T89	1		T90	1		T50	1
auto[1eb851eb851eb850:23d70a3d70a3d707]	25	1			T91	1		T92	2		T93	1
auto[23d70a3d70a3d708:28f5c28f5c28f5bf]	25	1			T84	1		T94	1		T83	1
auto[28f5c28f5c28f5c0:2e147ae147ae1477]	24	1			T37	1		T91	1		T95	1
auto[2e147ae147ae1478:333333333333332f]	19	1			T96	1		T97	2		T98	1
auto[3333333333333330:3851eb851eb851e7]	26	1			T99	1		T100	1		T101	1
auto[3851eb851eb851e8:3d70a3d70a3d709f]	26	1			T40	1		T49	1		T102	1
auto[3d70a3d70a3d70a0:428f5c28f5c28f57]	12	1			T103	1		T102	1		T90	1
auto[428f5c28f5c28f58:47ae147ae147ae0f]	14	1			T100	1		T49	1		T104	1
auto[47ae147ae147ae10:4cccccccccccccc7]	25	1			T79	1		T105	1		T86	1
auto[4cccccccccccccc8:51eb851eb851eb7f]	20	1			T106	1		T107	1		T108	1
auto[51eb851eb851eb80:570a3d70a3d70a37]	23	1			T79	1		T93	1		T109	1
auto[570a3d70a3d70a38:5c28f5c28f5c28ef]	20	1			T110	1		T111	1		T80	1
auto[5c28f5c28f5c28f0:6147ae147ae147a7]	24	1			T112	1		T113	1		T114	1
auto[6147ae147ae147a8:666666666666665f]	18	1			T115	1		T116	1		T117	1
auto[6666666666666660:6b851eb851eb8517]	20	1			T3	1		T118	1		T119	1
auto[6b851eb851eb8518:70a3d70a3d70a3cf]	35	1			T82	1		T120	1		T121	1
auto[70a3d70a3d70a3d0:75c28f5c28f5c287]	25	1			T84	1		T116	1		T113	1
auto[75c28f5c28f5c288:7ae147ae147ae13f]	26	1			T120	1		T91	1		T83	1
auto[7ae147ae147ae140:7ffffffffffffff7]	19	1			T122	1		T93	1		T123	1
auto[7ffffffffffffff8:851eb851eb851eaf]	25	1			T50	1		T124	1		T125	1
auto[851eb851eb851eb0:8a3d70a3d70a3d67]	26	1			T39	1		T126	1		T92	2
auto[8a3d70a3d70a3d68:8f5c28f5c28f5c1f]	23	1			T91	1		T127	1		T128	1
auto[8f5c28f5c28f5c20:947ae147ae147ad7]	22	1			T39	1		T121	1		T85	1
auto[947ae147ae147ad8:999999999999998f]	22	1			T122	1		T127	1		T50	1
auto[9999999999999990:9eb851eb851eb847]	26	1			T39	1		T41	1		T92	1
auto[9eb851eb851eb848:a3d70a3d70a3d6ff]	29	1			T14	1		T96	1		T89	1
auto[a3d70a3d70a3d700:a8f5c28f5c28f5b7]	23	1			T30	1		T103	1		T79	1
auto[a8f5c28f5c28f5b8:ae147ae147ae146f]	21	1			T105	1		T129	1		T90	1
auto[ae147ae147ae1470:b333333333333327]	23	1			T88	1		T130	1		T127	1
auto[b333333333333328:b851eb851eb851df]	30	1			T130	2		T131	1		T132	1
auto[b851eb851eb851e0:bd70a3d70a3d7097]	26	1			T133	1		T134	1		T135	1
auto[bd70a3d70a3d7098:c28f5c28f5c28f4f]	20	1			T36	1		T38	1		T96	1
auto[c28f5c28f5c28f50:c7ae147ae147ae07]	25	1			T96	1		T83	1		T130	1
auto[c7ae147ae147ae08:ccccccccccccccbf]	19	1			T41	1		T136	1		T137	1
auto[ccccccccccccccc0:d1eb851eb851eb77]	30	1			T99	1		T138	1		T139	2
auto[d1eb851eb851eb78:d70a3d70a3d70a2f]	25	1			T30	1		T79	1		T83	1
auto[d70a3d70a3d70a30:dc28f5c28f5c28e7]	23	1			T27	1		T30	1		T140	1
auto[dc28f5c28f5c28e8:e147ae147ae1479f]	19	1			T138	1		T141	1		T142	1
auto[e147ae147ae147a0:e666666666666657]	30	1			T93	1		T143	1		T144	1
auto[e666666666666658:eb851eb851eb850f]	30	1			T9	1		T28	1		T38	2
auto[eb851eb851eb8510:f0a3d70a3d70a3c7]	16	1			T28	1		T89	1		T121	1
auto[f0a3d70a3d70a3c8:f5c28f5c28f5c27f]	16	1			T145	1		T140	1		T146	1
auto[f5c28f5c28f5c280:fae147ae147ae137]	31	1			T29	1		T91	1		T85	1
auto[fae147ae147ae138:ffffffffffffffff]	18	1			T79	1		T147	1		T105	1

---

Summary for Variable cp_prescale

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	256	2	254	99.22

Automatically Generated Bins for cp_prescale

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
[auto[352:367]]	0	1	1
[auto[1664:1679]]	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
auto[0:15]	6	1			T148	1		T149	1		T150	1
auto[16:31]	1	1			T151	1		-	-		-	-
auto[32:47]	7	1			T96	1		T79	1		T152	1
auto[48:63]	6	1			T153	1		T154	1		T155	1
auto[64:79]	4	1			T83	1		T156	2		T157	1
auto[80:95]	3	1			T40	1		T150	1		T158	1
auto[96:111]	6	1			T39	1		T159	1		T160	1
auto[112:127]	5	1			T108	1		T161	1		T162	1
auto[128:143]	4	1			T41	1		T125	1		T163	1
auto[144:159]	9	1			T28	1		T147	1		T164	1
auto[160:175]	5	1			T165	1		T166	1		T154	1
auto[176:191]	5	1			T167	1		T168	1		T169	1
auto[192:207]	4	1			T95	1		T170	1		T171	1
auto[208:223]	3	1			T172	1		T173	1		T174	1
auto[224:239]	7	1			T38	1		T80	1		T92	1
auto[240:255]	3	1			T113	1		T175	1		T176	1
auto[256:271]	5	1			T83	1		T177	1		T178	1
auto[272:287]	4	1			T155	1		T179	1		T180	1
auto[288:303]	8	1			T37	1		T113	1		T127	1
auto[304:319]	8	1			T181	1		T182	1		T154	1
auto[320:335]	5	1			T79	1		T80	1		T86	1
auto[336:351]	5	1			T129	1		T183	1		T184	1
auto[368:383]	5	1			T100	1		T185	1		T186	1
auto[384:399]	4	1			T187	1		T188	1		T189	1
auto[400:415]	5	1			T190	1		T191	1		T192	1
auto[416:431]	4	1			T193	1		T173	1		T194	1
auto[432:447]	7	1			T119	1		T195	1		T196	1
auto[448:463]	6	1			T103	1		T134	1		T107	1
auto[464:479]	3	1			T197	1		T198	1		T199	1
auto[480:495]	9	1			T200	1		T201	1		T202	1
auto[496:511]	3	1			T203	1		T179	1		T204	1
auto[512:527]	3	1			T149	1		T171	1		T205	1
auto[528:543]	11	1			T121	1		T93	1		T105	1
auto[544:559]	7	1			T206	1		T207	1		T208	1
auto[560:575]	3	1			T165	1		T209	1		T210	1
auto[576:591]	6	1			T91	1		T211	1		T212	1
auto[592:607]	2	1			T140	1		T213	1		-	-
auto[608:623]	4	1			T84	1		T102	1		T214	1
auto[624:639]	4	1			T36	1		T168	1		T192	1
auto[640:655]	6	1			T122	1		T93	1		T215	1
auto[656:671]	8	1			T14	1		T137	1		T216	1
auto[672:687]	2	1			T217	1		T218	1		-	-
auto[688:703]	4	1			T219	1		T220	1		T221	1
auto[704:719]	3	1			T222	1		T223	1		T224	1
auto[720:735]	3	1			T225	1		T183	1		T226	1
auto[736:751]	3	1			T115	1		T107	1		T227	1
auto[752:767]	4	1			T49	1		T206	1		T228	1
auto[768:783]	4	1			T3	1		T82	1		T229	1
auto[784:799]	5	1			T50	1		T210	2		T230	1
auto[800:815]	4	1			T99	1		T183	1		T231	1
auto[816:831]	3	1			T121	1		T232	1		T233	1
auto[832:847]	5	1			T102	1		T125	1		T234	1
auto[848:863]	6	1			T83	1		T235	1		T236	1
auto[864:879]	9	1			T49	1		T237	1		T144	1
auto[880:895]	4	1			T238	1		T239	1		T240	1
auto[896:911]	5	1			T86	1		T228	1		T180	1
auto[912:927]	3	1			T241	1		T242	1		T243	1
auto[928:943]	3	1			T244	1		T245	1		T226	1
auto[944:959]	5	1			T139	1		T117	1		T123	1
auto[960:975]	6	1			T28	1		T38	1		T210	1
auto[976:991]	5	1			T127	1		T123	1		T244	1
auto[992:1007]	3	1			T84	1		T246	1		T247	1
auto[1008:1023]	7	1			T123	1		T114	1		T215	1
auto[1024:1039]	5	1			T140	1		T248	1		T249	1
auto[1040:1055]	3	1			T111	1		T50	1		T250	1
auto[1056:1071]	4	1			T79	1		T92	1		T248	1
auto[1072:1087]	4	1			T120	1		T95	1		T154	1
auto[1088:1103]	2	1			T251	1		T252	1		-	-
auto[1104:1119]	6	1			T145	1		T102	1		T253	1
auto[1120:1135]	4	1			T102	1		T241	1		T239	1
auto[1136:1151]	5	1			T90	1		T254	1		T155	1
auto[1152:1167]	7	1			T41	1		T138	1		T255	1
auto[1168:1183]	6	1			T89	1		T88	1		T144	1
auto[1184:1199]	5	1			T9	1		T256	1		T246	1
auto[1200:1215]	6	1			T96	1		T78	1		T100	1
auto[1216:1231]	1	1			T257	1		-	-		-	-
auto[1232:1247]	2	1			T196	1		T172	1		-	-
auto[1248:1263]	2	1			T258	1		T259	1		-	-
auto[1264:1279]	5	1			T89	1		T169	1		T260	1
auto[1280:1295]	6	1			T90	1		T254	1		T168	1
auto[1296:1311]	6	1			T195	1		T261	1		T151	1
auto[1312:1327]	4	1			T246	1		T179	1		T250	1
auto[1328:1343]	3	1			T165	1		T227	1		T220	1
auto[1344:1359]	8	1			T262	1		T183	2		T196	1
auto[1360:1375]	2	1			T263	1		T205	1		-	-
auto[1376:1391]	5	1			T49	1		T264	1		T233	1
auto[1392:1407]	7	1			T149	1		T255	1		T193	1
auto[1408:1423]	2	1			T170	1		T265	1		-	-
auto[1424:1439]	4	1			T104	1		T183	1		T266	1
auto[1440:1455]	5	1			T129	1		T267	1		T169	1
auto[1456:1471]	9	1			T91	1		T116	1		T268	1
auto[1472:1487]	5	1			T80	1		T183	1		T269	1
auto[1488:1503]	7	1			T270	1		T98	1		T271	1
auto[1504:1519]	2	1			T272	1		T273	1		-	-
auto[1520:1535]	3	1			T30	1		T274	1		T250	1
auto[1536:1551]	1	1			T275	1		-	-		-	-
auto[1552:1567]	2	1			T276	1		T204	1		-	-
auto[1568:1583]	5	1			T277	1		T278	1		T179	1
auto[1584:1599]	9	1			T85	1		T279	1		T142	1
auto[1600:1615]	2	1			T144	1		T204	1		-	-
auto[1616:1631]	2	1			T184	1		T280	1		-	-
auto[1632:1647]	5	1			T97	1		T203	1		T264	1
auto[1648:1663]	7	1			T143	1		T196	1		T281	1
auto[1680:1695]	5	1			T118	1		T237	1		T268	1
auto[1696:1711]	4	1			T50	1		T271	1		T282	1
auto[1712:1727]	5	1			T38	1		T126	1		T103	1
auto[1728:1743]	9	1			T79	1		T105	1		T269	1
auto[1744:1759]	9	1			T38	1		T177	1		T169	1
auto[1760:1775]	6	1			T152	1		T203	1		T255	1
auto[1776:1791]	3	1			T154	1		T283	1		T179	1
auto[1792:1807]	7	1			T235	1		T268	1		T284	1
auto[1808:1823]	7	1			T151	1		T154	1		T285	1
auto[1824:1839]	7	1			T284	1		T177	1		T285	1
auto[1840:1855]	2	1			T286	1		T185	1		-	-
auto[1856:1871]	9	1			T79	1		T105	1		T135	1
auto[1872:1887]	4	1			T79	1		T287	1		T288	1
auto[1888:1903]	6	1			T131	1		T289	1		T170	1
auto[1904:1919]	3	1			T87	1		T200	1		T290	1
auto[1920:1935]	2	1			T281	1		T291	1		-	-
auto[1936:1951]	7	1			T131	1		T165	1		T292	1
auto[1952:1967]	9	1			T39	1		T256	1		T293	1
auto[1968:1983]	3	1			T78	1		T131	1		T135	1
auto[1984:1999]	9	1			T30	1		T166	1		T239	1
auto[2000:2015]	6	1			T145	1		T49	1		T192	1
auto[2016:2031]	4	1			T200	1		T294	1		T171	1
auto[2032:2047]	2	1			T124	1		T184	1		-	-
auto[2048:2063]	4	1			T87	1		T145	1		T119	1
auto[2064:2079]	2	1			T195	1		T295	1		-	-
auto[2080:2095]	4	1			T251	1		T296	1		T297	1
auto[2096:2111]	3	1			T298	1		T299	1		T300	1
auto[2112:2127]	7	1			T301	1		T104	1		T225	1
auto[2128:2143]	3	1			T271	1		T302	1		T303	1
auto[2144:2159]	7	1			T100	1		T97	1		T117	1
auto[2160:2175]	7	1			T93	1		T279	1		T186	1
auto[2176:2191]	4	1			T282	1		T212	1		T304	1
auto[2192:2207]	4	1			T134	1		T154	1		T227	1
auto[2208:2223]	4	1			T305	1		T290	1		T226	1
auto[2224:2239]	4	1			T128	1		T125	1		T217	1
auto[2240:2255]	2	1			T92	1		T50	1		-	-
auto[2256:2271]	4	1			T113	1		T148	1		T170	1
auto[2272:2287]	4	1			T133	1		T306	1		T283	1
auto[2288:2303]	3	1			T127	1		T151	1		T156	1
auto[2304:2319]	3	1			T187	1		T307	1		T186	1
auto[2320:2335]	4	1			T91	1		T183	1		T281	1
auto[2336:2351]	2	1			T227	1		T179	1		-	-
auto[2352:2367]	4	1			T95	1		T308	1		T309	1
auto[2368:2383]	4	1			T85	1		T117	1		T310	1
auto[2384:2399]	1	1			T311	1		-	-		-	-
auto[2400:2415]	4	1			T29	1		T83	1		T154	1
auto[2416:2431]	4	1			T109	1		T130	1		T236	1
auto[2432:2447]	9	1			T132	1		T255	1		T312	1
auto[2448:2463]	4	1			T125	1		T313	1		T307	1
auto[2464:2479]	8	1			T140	1		T50	1		T314	1
auto[2480:2495]	6	1			T145	1		T232	1		T123	1
auto[2496:2511]	8	1			T130	1		T144	1		T286	1
auto[2512:2527]	3	1			T216	1		T157	1		T218	1
auto[2528:2543]	4	1			T83	1		T154	1		T295	1
auto[2544:2559]	3	1			T253	1		T315	1		T250	1
auto[2560:2575]	4	1			T261	1		T172	1		T222	1
auto[2576:2591]	6	1			T50	1		T316	1		T255	1
auto[2592:2607]	4	1			T97	1		T229	1		T173	1
auto[2608:2623]	1	1			T317	1		-	-		-	-
auto[2624:2639]	3	1			T96	1		T219	1		T297	1
auto[2640:2655]	9	1			T135	1		T286	1		T271	1
auto[2656:2671]	1	1			T200	1		-	-		-	-
auto[2672:2687]	10	1			T81	1		T301	1		T262	1
auto[2688:2703]	4	1			T50	1		T318	1		T319	1
auto[2704:2719]	6	1			T320	1		T168	1		T169	1
auto[2720:2735]	3	1			T284	1		T251	1		T186	1
auto[2736:2751]	4	1			T130	1		T321	1		T322	1
auto[2752:2767]	4	1			T84	1		T323	1		T250	1
auto[2768:2783]	2	1			T246	1		T222	1		-	-
auto[2784:2799]	7	1			T130	1		T128	1		T149	1
auto[2800:2815]	1	1			T171	1		-	-		-	-
auto[2816:2831]	3	1			T97	1		T324	1		T221	1
auto[2832:2847]	11	1			T325	1		T130	1		T102	1
auto[2848:2863]	3	1			T92	1		T104	1		T186	1
auto[2864:2879]	1	1			T295	1		-	-		-	-
auto[2880:2895]	2	1			T163	1		T326	1		-	-
auto[2896:2911]	3	1			T212	1		T189	1		T224	1
auto[2912:2927]	6	1			T91	1		T167	1		T146	1
auto[2928:2943]	2	1			T217	1		T272	1		-	-
auto[2944:2959]	5	1			T83	1		T141	1		T261	1
auto[2960:2975]	10	1			T94	1		T256	1		T183	1
auto[2976:2991]	3	1			T193	1		T239	1		T252	1
auto[2992:3007]	5	1			T116	1		T212	1		T292	1
auto[3008:3023]	2	1			T227	1		T204	1		-	-
auto[3024:3039]	6	1			T105	1		T251	1		T171	1
auto[3040:3055]	3	1			T202	1		T327	1		T328	1
auto[3056:3071]	2	1			T27	1		T306	1		-	-
auto[3072:3087]	5	1			T136	1		T210	1		T329	1
auto[3088:3103]	3	1			T275	1		T157	1		T330	1
auto[3104:3119]	11	1			T49	1		T331	1		T271	1
auto[3120:3135]	5	1			T195	1		T269	1		T228	1
auto[3136:3151]	2	1			T144	1		T114	1		-	-
auto[3152:3167]	4	1			T49	1		T241	1		T246	1
auto[3168:3183]	6	1			T90	1		T131	1		T134	1
auto[3184:3199]	7	1			T85	1		T131	1		T213	1
auto[3200:3215]	2	1			T332	1		T175	1		-	-
auto[3216:3231]	4	1			T30	1		T333	1		T155	1
auto[3232:3247]	6	1			T195	1		T193	1		T278	1
auto[3248:3263]	4	1			T138	1		T49	1		T334	1
auto[3264:3279]	9	1			T112	1		T135	1		T95	1
auto[3280:3295]	2	1			T335	1		T336	1		-	-
auto[3296:3311]	5	1			T269	1		T311	1		T283	1
auto[3312:3327]	4	1			T101	1		T167	1		T337	1
auto[3328:3343]	5	1			T117	1		T168	1		T338	1
auto[3344:3359]	6	1			T89	1		T306	1		T185	1
auto[3360:3375]	3	1			T300	1		T310	1		T208	1
auto[3376:3391]	4	1			T89	1		T277	1		T339	1
auto[3392:3407]	3	1			T28	1		T207	1		T202	1
auto[3408:3423]	5	1			T106	1		T116	1		T293	1
auto[3424:3439]	4	1			T96	1		T340	1		T341	1
auto[3440:3455]	6	1			T137	1		T201	1		T323	1
auto[3456:3471]	5	1			T50	1		T251	1		T169	1
auto[3472:3487]	5	1			T50	1		T151	1		T241	1
auto[3488:3503]	6	1			T91	1		T190	1		T113	1
auto[3504:3519]	5	1			T102	1		T282	1		T342	1
auto[3520:3535]	4	1			T160	1		T146	1		T261	1
auto[3536:3551]	4	1			T141	1		T117	1		T343	1
auto[3552:3567]	8	1			T100	1		T92	1		T203	1
auto[3568:3583]	4	1			T81	1		T151	1		T344	1
auto[3584:3599]	2	1			T235	1		T220	1		-	-
auto[3600:3615]	8	1			T122	1		T279	1		T119	1
auto[3616:3631]	2	1			T197	1		T274	1		-	-
auto[3632:3647]	3	1			T155	1		T345	1		T226	1
auto[3648:3663]	2	1			T142	1		T346	1		-	-
auto[3664:3679]	2	1			T232	1		T312	1		-	-
auto[3680:3695]	6	1			T151	1		T219	1		T267	2
auto[3696:3711]	2	1			T154	1		T199	1		-	-
auto[3712:3727]	4	1			T86	1		T124	1		T232	1
auto[3728:3743]	3	1			T132	1		T347	1		T348	1
auto[3744:3759]	6	1			T82	1		T349	1		T227	1
auto[3760:3775]	5	1			T110	1		T342	1		T234	1
auto[3776:3791]	7	1			T93	1		T350	1		T141	1
auto[3792:3807]	3	1			T98	1		T274	1		T351	1
auto[3808:3823]	4	1			T80	1		T132	1		T319	1
auto[3824:3839]	3	1			T50	1		T213	1		T352	1
auto[3840:3855]	5	1			T121	1		T256	1		T212	1
auto[3856:3871]	8	1			T99	1		T87	1		T93	1
auto[3872:3887]	6	1			T113	1		T206	1		T197	1
auto[3888:3903]	5	1			T139	1		T90	1		T308	1
auto[3904:3919]	6	1			T88	1		T107	1		T188	1
auto[3920:3935]	4	1			T134	1		T345	1		T246	1
auto[3936:3951]	5	1			T120	1		T353	1		T354	1
auto[3952:3967]	2	1			T193	1		T156	1		-	-
auto[3968:3983]	2	1			T352	1		T224	1		-	-
auto[3984:3999]	4	1			T39	1		T350	1		T123	1
auto[4000:4015]	5	1			T141	1		T203	1		T173	1
auto[4016:4031]	5	1			T85	1		T127	1		T355	1
auto[4032:4047]	2	1			T320	1		T248	1		-	-
auto[4048:4063]	8	1			T118	1		T225	1		T154	1
auto[4064:4079]	5	1			T106	1		T119	1		T209	1
auto[4080:4095]	3	1			T86	1		T266	1		T157	1