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

---

Summary for Variable cp_prescale

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Automatically Generated Bins	256	1	255	99.61

Automatically Generated Bins for cp_prescale

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
[auto[896:911]]	0	1	1

Covered bins

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