NodeRole.facts

val.0	lit
val.2	lit
val.4	node
val.6	lit
val.7	lit
val.8	lit
val.9	lit
val.11	node
val.12	node
val.13	lit
val.16	node
val.17	node
val.20	node
val.21	node
val.23	lit
val.24	lit
val.25	lit
val.26	lit
val.28	node
val.29	node
val.30	lit
val.33	node
val.34	node
val.37	node
val.38	node
val.44	node
val.50	node
val.51	node
val.52	lit
val.53	node
val.54	lit
val.55	node
val.56	node
val.60	lit
val.61	lit
val.67	node
val.71	node
sat.s34368.0	node
val.73	node
val.76	node
val.77	node
val.78	lit
val.80	node
val.81	lit
val.82	lit
val.83	lit
val.85	node
val.86	lit
val.87	lit
val.88	lit
val.90	node
val.91	lit
val.92	lit
val.93	lit
val.95	node
val.96	lit
val.97	lit
val.98	lit
val.100	node
val.101	lit
val.102	lit
val.103	lit
val.105	node
val.106	lit
val.107	lit
val.108	lit
val.110	node
val.111	lit
val.112	lit
val.113	lit
val.115	node
val.116	lit
val.117	lit
val.118	lit
val.120	node
val.121	lit
val.122	lit
val.123	lit
val.125	node
val.126	lit
val.127	lit
val.128	lit
val.130	node
val.131	lit
val.132	lit
val.133	lit
val.135	node
val.136	lit
val.137	lit
val.138	lit
val.140	node
val.141	lit
val.142	lit
val.143	lit
val.145	node
val.146	lit
val.147	lit
val.148	lit
val.150	node
val.151	lit
val.152	lit
val.153	lit
val.155	node
val.156	lit
val.157	lit
val.158	lit
val.160	node
val.161	lit
val.162	lit
val.163	lit
val.165	node
val.166	lit
val.167	lit
val.168	lit
val.170	node
val.171	lit
val.172	lit
val.173	lit
val.175	node
val.176	lit
val.177	lit
val.178	lit
val.180	node
val.181	lit
val.182	lit
val.183	lit
val.185	node
val.186	lit
val.187	lit
val.188	lit
val.190	node
val.191	lit
val.192	lit
val.193	lit
val.195	node
val.196	lit
val.197	lit
val.198	lit
val.200	node
val.201	lit
val.202	lit
val.203	lit
val.205	node
val.206	lit
val.207	lit
val.208	lit
val.210	node
val.211	lit
val.212	lit
val.213	lit
val.215	node
val.216	lit
val.217	lit
val.218	lit
val.220	node
val.221	lit
val.222	lit
val.223	lit
val.225	node
val.226	node
val.229	lit
val.230	node
val.244	lit
sat.s46810.0	node
sat.s46813.0	node
sat.s46815.0	node
val.250	node
val.255	lit
sat.s46828.0	node
sat.s46831.0	node
sat.s46833.0	node
val.261	node
val.266	lit
sat.s46848.0	node
val.273	node
sat.s46878.0	node
sat.s46881.0	node
val.296	node
val.308	lit
val.311	lit
val.314	lit
sat.s46907.0	node
val.320	node
val.322	lit
sat.s46923.0	node
sat.s46932.0	node
sat.s46933.0	node
sat.s46931.0	node
sat.s46934.0	node
val.329	lit
val.330	lit
val.331	lit
val.333	node
val.334	lit
val.335	lit
val.336	lit
val.338	node
val.340	lit
val.342	lit
val.345	lit
val.346	lit
val.347	lit
sat.s46269.0	node
val.350	node
val.351	node
val.352	node
sat.s45751.0	node
sat.s45763.0	node
val.367	lit
val.368	lit
sat.s46177.0	node
sat.s46176.0	node
val.370	lit
sat.s46956.0	node
sat.s46958.0	node
val.374	lit
val.376	lit
val.378	lit
val.381	lit
sat.s46976.0	node
sat.s46977.0	node
val.383	node
val.388	lit
val.390	lit
val.392	lit
val.394	lit
val.395	lit
val.397	lit
val.384	lit
val.385	lit
val.399	lit
sat.s46992.0	node
val.401	lit
sat.s46993.0	node
val.402	node
val.404	lit
val.406	lit
val.408	lit
sat.s47044.0	node
sat.s47043.0	node
val.422	node
sat.s47032.0	node
val.425	lit
val.430	lit
sat.s47054.0	node
sat.s47055.0	node
val.446	node
val.451	node
val.452	node
val.453	node
sat.s47118.0	node
val.456	node
val.457	node
val.458	node
sat.s47119.0	node
sat.s47123.0	node
val.460	node
val.463	node
sat.s47136.0	node
val.469	node
sat.s45905.0	node
val.477	node
val.486	lit
val.487	node
val.488	lit
val.489	node
val.490	lit
val.491	node
val.493	lit
val.494	node
val.495	lit
val.496	node
val.501	node
val.507	node
val.510	lit
val.512	lit
val.513	node
val.514	lit
val.515	node
val.516	lit
val.517	node
val.518	lit
val.519	node
sat.s45740.0	node
val.521	node
val.522	lit
val.523	node
val.524	lit
val.525	node
val.526	lit
val.527	node
val.528	lit
val.529	node
val.530	node
val.531	lit
val.532	node
val.533	lit
val.535	lit
val.536	lit
val.537	lit
sat.s46213.0	node
val.540	node
val.541	node
val.542	node
val.543	node
val.544	node
val.545	node
val.546	node
val.547	node
val.548	node
val.549	node
val.550	node
val.551	lit
val.552	lit
val.553	lit
val.555	node
val.556	node
val.558	node
val.559	node
val.561	node
val.562	lit
val.563	node
val.564	lit
val.565	lit
sat.s46237.0	node
sat.s46235.0	node
sat.s46238.0	node
val.572	node
sat.s46255.0	node
sat.s46253.0	node
sat.s46256.0	node
val.577	node
val.579	lit
val.582	lit
sat.s46048.0	node
sat.s46049.0	node
sat.s46050.0	node
sat.s46193.0	node
val.591	node
sat.s46200.0	node
val.593	node
val.596	node
val.598	node
val.600	node
val.602	node
val.604	node
val.606	node
val.608	node
val.610	node
val.612	node
val.614	node
val.624	node
val.627	node
val.641	node
val.644	node
val.647	node
val.650	node
val.668	lit
sat.s46637.0	node
sat.s46640.0	node
sat.s46642.0	node
val.674	node
val.680	lit
sat.s46657.0	node
sat.s46660.0	node
sat.s46662.0	node
val.686	node
val.692	lit
sat.s46679.0	node
val.699	node
sat.s46709.0	node
sat.s46712.0	node
val.722	node
val.734	lit
val.737	lit
val.740	lit
sat.s46738.0	node
val.746	node
val.748	lit
sat.s46754.0	node
sat.s46763.0	node
sat.s46764.0	node
sat.s46762.0	node
sat.s46765.0	node
val.759	node
val.760	node
val.761	node
val.762	lit
val.763	node
val.764	node
val.765	node
val.766	node
val.767	node
val.768	lit
val.769	node
val.770	node
sat.s46060.0	node
val.772	node
sat.s46067.0	node
sat.s46066.0	node
val.774	lit
val.775	lit
val.776	lit
sat.s46157.0	node
val.786	lit
val.787	lit
val.788	lit
val.792	lit
val.793	node
val.794	node
val.795	node
val.796	lit
val.797	node
val.802	node
val.803	node
val.804	node
val.811	lit
val.813	lit
val.815	lit
val.817	lit
sat.s23745.0	node
sat.s23746.0	node
val.820	node
val.821	node
val.822	node
val.823	node
val.824	node
val.825	node
val.826	node
val.827	node
val.828	node
val.829	node
val.830	node
val.831	node
val.832	node
val.833	node
val.834	node
val.835	node
val.836	node
val.837	node
val.838	node
val.839	node
val.840	node
val.841	node
val.842	node
val.843	node
val.844	node
val.845	node
val.846	node
val.847	node
val.848	node
val.849	node
val.850	node
val.851	node
val.852	node
val.853	node
val.854	node
val.855	node
val.856	node
val.857	node
val.858	node
val.859	node
val.860	node
val.861	node
val.862	node
val.863	node
val.864	node
val.865	node
val.866	node
val.867	node
val.868	node
val.869	node
val.870	node
val.871	node
val.872	node
val.873	node
val.874	node
val.875	node
val.876	node
val.877	node
val.878	node
val.879	node
val.880	node
val.881	node
val.882	node
val.883	node
val.884	node
val.885	node
val.886	node
val.887	node
val.888	node
val.889	node
val.890	node
val.891	node
val.892	node
val.893	node
val.894	node
val.895	node
val.896	node
val.897	node
val.898	node
val.899	node
val.900	node
val.901	node
val.902	node
val.903	node
val.904	node
val.905	node
sat.s23747.0	node
val.906	node
val.908	lit
val.912	lit
val.914	lit
val.916	lit
val.919	node
val.920	lit
val.923	lit
val.925	lit
val.927	lit
val.930	node
val.931	lit
val.934	lit
val.936	lit
val.938	lit
val.940	lit
val.942	lit
val.944	lit
val.947	lit
val.949	lit
val.951	lit
sat.s33186.0	node
sat.s33187.0	node
val.952	lit
sat.s33193.0	node
sat.s33194.0	node
val.954	node
val.945	lit
val.955	node
val.959	lit
val.962	lit
val.963	lit
val.965	lit
val.956	lit
val.957	lit
val.967	lit
val.969	lit
val.970	lit
val.972	lit
val.975	lit
val.976	lit
val.980	lit
val.981	lit
val.987	lit
val.990	lit
val.992	lit
val.993	lit
val.983	lit
val.984	lit
val.995	lit
sat.s33521.0	node
val.996	lit
val.998	lit
val.1001	lit
val.1003	lit
sat.s21066.0	node
val.1005	lit
val.1007	lit
val.1009	node
val.1010	lit
val.1014	lit
val.1016	lit
sat.s21086.0	node
val.1018	lit
val.1020	lit
val.1022	node
val.1024	lit
val.1026	node
val.1028	lit
val.1029	lit
val.1030	node
val.1031	lit
val.1032	node
val.1033	lit
val.1034	node
val.1036	lit
val.1037	lit
val.1039	lit
val.1040	lit
val.1041	lit
val.1043	lit
val.1044	lit
val.1045	lit
val.1047	lit
val.1048	lit
val.1049	lit
val.1051	node
val.1054	lit
val.1055	lit
val.1057	lit
val.1058	lit
val.1059	lit
val.1060	lit
sat.s31439.0	node
val.1062	node
val.1064	lit
val.1065	lit
val.1067	lit
val.1068	lit
val.1069	lit
val.1071	node
val.1072	lit
val.1073	node
sat.s92307.0	node
sat.s92309.0	node
sat.s92310.0	node
sat.s92312.0	node
sat.s92314.0	node
val.1082	node
val.1083	lit
val.1084	lit
val.1085	lit
val.1086	node
val.1087	lit
val.1088	lit
val.1092	node
val.1094	node
val.1100	node
val.1101	node
val.1103	node
val.1107	node
val.1111	node
val.1113	node
val.1118	lit
sat.s2591.0	node
val.1120	node
val.1115	lit
val.1125	lit
sat.s2583.0	node
val.1127	node
val.1128	node
val.1122	lit
val.1132	lit
val.1134	lit
val.1136	lit
val.1138	lit
val.1139	lit
val.1140	lit
val.1141	lit
val.1143	lit
val.1144	lit
val.1145	lit
val.1146	lit
val.1147	lit
val.1148	lit
val.1149	lit
sat.s2631.0	node
val.1150	node
val.1151	lit
val.1152	lit
val.1153	lit
val.1155	lit
val.1156	lit
val.1157	lit
val.1158	lit
val.1159	lit
sat.s2649.0	node
val.1160	node
val.1161	lit
val.1162	lit
val.1164	lit
val.1165	lit
val.1166	lit
sat.s2661.0	node
val.1167	node
val.1168	lit
sat.s2664.0	node
val.1170	node
val.1171	node
val.1129	lit
val.1172	lit
val.1174	node
val.1176	lit
val.1177	node
val.1180	node
val.1181	node
val.1183	node
val.1187	node
val.1190	node
val.1191	node
val.1192	node
val.1201	lit
val.1203	lit
val.1204	lit
val.1205	lit
val.1206	lit
sat.s21228.0	node
sat.s21229.0	node
val.1208	lit
val.1210	lit
val.1211	node
val.1212	lit
val.1213	node
val.1214	lit
val.1216	lit
val.1217	lit
val.1219	lit
val.1221	lit
sat.s21019.0	node
val.1222	lit
val.1224	lit
ipv6.s21024.0	node
val.1227	lit
val.1229	lit
val.1232	lit
val.1234	lit
val.1236	node
val.1239	lit
val.1241	lit
val.1244	lit
val.1246	lit
val.1248	node
val.1237	lit
val.1249	lit
val.1250	lit
val.1254	node
val.1256	node
val.1257	lit
val.1260	node
val.1262	lit
val.1265	lit
val.1267	node
val.1271	lit
val.1275	lit
val.1277	lit
val.1279	lit
val.1281	lit
val.1283	lit
val.1285	lit
val.1287	lit
val.1289	node
val.1293	lit
val.1295	lit
val.1297	lit
val.1299	lit
val.1301	lit
val.1303	lit
val.1305	lit
val.1307	node
val.1290	lit
val.1309	lit
val.1311	lit
val.1313	lit
val.1315	lit
val.1317	lit
val.1319	lit
val.1321	lit
val.1323	node
val.1324	lit
val.1327	lit
val.1329	lit
val.1339	lit
val.1341	lit
val.1343	node
val.1346	lit
val.1348	lit
val.1350	lit
val.1352	lit
val.1354	lit
val.1356	lit
val.1358	lit
val.1360	node
val.1364	lit
val.1366	lit
val.1368	lit
val.1370	lit
val.1372	lit
val.1374	lit
val.1376	lit
val.1378	node
val.1361	lit
val.1380	lit
val.1382	lit
val.1384	lit
val.1386	lit
val.1388	lit
val.1390	lit
val.1392	lit
val.1394	node
val.1396	lit
val.1399	lit
val.1400	node
val.1409	lit
val.1411	lit
val.1417	lit
val.1419	lit
val.1424	lit
val.1426	lit
val.1430	lit
val.1434	lit
val.1437	lit
val.1401	lit
val.1444	lit
val.1446	lit
val.1447	node
val.1449	lit
val.1450	lit
val.1451	lit
val.1453	node
val.1454	lit
val.1457	node
val.1460	lit
val.1462	lit
val.1470	lit
val.1476	lit
val.1478	node
val.1472	lit
val.1468	lit
val.1479	lit
val.1481	lit
sat.s43249.0	node
val.1483	node
val.1484	lit
val.1486	lit
val.1488	node
val.1489	lit
val.1491	lit
val.1494	lit
val.1496	node
val.1497	lit
val.1501	lit
val.1506	lit
val.1509	lit
val.1510	lit
val.1512	lit
val.1513	lit
val.1515	lit
val.1516	lit
sat.s17618.0	node
val.1518	lit
val.1520	lit
val.1521	lit
val.1522	lit
val.1524	lit
val.1526	node
val.1527	lit
val.1529	lit
val.1531	lit
val.1533	node
sat.s17637.0	node
val.1534	lit
sat.s17639.0	node
val.1536	node
val.1540	lit
sat.s17649.0	node
val.1543	lit
val.1545	lit
val.1537	lit
val.1547	lit
val.1548	lit
val.1550	lit
val.1552	lit
val.1553	lit
val.1554	lit
val.1556	lit
val.1557	lit
val.1558	lit
ipv7.s17538.0	node
val.1560	lit
val.1562	lit
val.1563	lit
val.1565	lit
sat.s17544.0	node
val.1567	lit
val.1569	node
val.1575	lit
val.1577	lit
val.1578	lit
val.1583	lit
val.1585	lit
val.1586	lit
sat.s17572.0	node
val.1588	lit
val.1590	lit
val.1591	lit
val.1580	lit
val.1593	lit
val.1570	lit
val.1571	lit
val.1572	lit
val.1595	lit
val.1596	lit
val.1598	node
val.1601	node
val.1603	lit
val.1604	node
val.1606	lit
val.1611	lit
val.1612	node
val.1614	lit
val.1615	node
val.1616	lit
val.1619	lit
val.1620	lit
val.1623	node
sat.s54741.0	node
val.1626	node
sat.s54742.0	node
val.1627	node
val.1632	lit
sat.s54773.0	node
sat.s54771.0	node
val.1633	lit
val.1636	lit
val.1635	node
val.1639	lit
val.1638	node
val.1642	node
val.1643	lit
val.1646	lit
val.1648	lit
val.1649	lit
val.1651	lit
val.1652	lit
val.1653	lit
val.1655	lit
val.1657	lit
val.1664	lit
val.1669	node
val.1671	node
val.1673	lit
val.1674	lit
sat.s54080.0	node
sat.s54077.0	node
val.1675	lit
val.1677	lit
val.1679	node
val.1681	node
val.1682	lit
val.1683	lit
sat.s53754.0	node
val.1688	lit
val.1689	lit
val.1695	lit
val.1697	lit
val.1704	lit
val.1707	lit
val.1708	lit
val.1713	node
sat.s55131.0	node
val.1716	node
sat.s55133.0	node
val.1718	node
sat.s55137.0	node
sat.s55136.0	node
val.1719	node
val.1722	node
fd.s55150.0	node
val.1723	lit
sat.s55156.0	node
val.1724	lit
sat.s55154.0	node
val.1725	lit
val.1729	node
val.1730	lit
val.1732	lit
val.1734	lit
sat.s55164.0	node
val.1736	lit
val.1740	node
val.1741	lit
val.1743	lit
val.1746	lit
val.1747	lit
val.1750	node
val.1753	node
val.1755	lit
val.1756	lit
val.1758	lit
val.1761	node
val.1762	lit
val.1765	lit
val.1767	lit
val.1768	lit
val.1770	lit
val.1771	lit
val.1772	lit
val.1774	lit
val.1776	lit
val.1779	lit
val.1782	lit
val.1784	lit
val.1786	lit
val.1788	lit
val.1790	lit
val.1792	lit
val.1794	lit
val.1796	node
val.1799	lit
val.1801	lit
val.1803	lit
val.1805	lit
val.1807	lit
val.1809	lit
val.1811	lit
val.1813	node
val.1797	lit
val.1814	lit
val.1816	lit
val.1818	lit
val.1820	lit
val.1822	lit
val.1824	lit
val.1826	lit
val.1828	node
val.1830	lit
val.1833	lit
val.1835	lit
val.1845	lit
val.1848	lit
val.1851	lit
val.1852	lit
sat.s57333.0	node
val.1854	node
sat.s57334.0	node
val.1855	node
val.1859	lit
val.1860	lit
sat.s57358.0	node
val.1862	node
sat.s57359.0	node
val.1863	node
val.1864	lit
val.1866	lit
val.1869	lit
val.1875	lit
val.1882	lit
val.1884	lit
val.1887	lit
val.1889	lit
val.1892	lit
val.1894	lit
val.1896	lit
val.1898	node
val.1901	lit
val.1903	lit
val.1906	lit
val.1908	lit
val.1910	lit
val.1912	node
val.1899	lit
val.1913	lit
val.1915	lit
val.1918	lit
val.1920	lit
val.1922	lit
val.1924	node
val.1929	lit
val.1936	lit
val.1939	node
val.1949	lit
val.1951	lit
sat.s57528.0	node
val.1953	node
val.1954	lit
val.1957	lit
val.1960	node
val.1962	node
val.1964	lit
val.1966	lit
sat.s57555.0	node
val.1968	node
val.1969	lit
val.1971	lit
sat.s57598.0	node
sat.s57597.0	node
val.1976	lit
val.1983	lit
val.1985	lit
val.1988	lit
val.1990	lit
val.1993	lit
val.1995	lit
val.1997	lit
val.1999	node
val.2002	lit
val.2004	lit
val.2007	lit
val.2009	lit
val.2011	lit
val.2013	node
val.2000	lit
val.2014	lit
val.2016	lit
val.2019	lit
val.2021	lit
val.2023	lit
val.2025	node
val.2027	lit
val.2029	lit
val.2031	lit
val.2033	lit
val.2039	lit
val.2046	lit
val.2048	lit
val.2051	lit
val.2053	lit
val.2056	lit
val.2058	lit
val.2060	lit
val.2062	node
val.2065	lit
val.2067	lit
val.2070	lit
val.2072	lit
val.2074	lit
val.2076	node
val.2063	lit
val.2077	lit
val.2079	lit
val.2082	lit
val.2084	lit
val.2086	lit
val.2088	node
val.2090	lit
val.2092	lit
val.2094	lit
val.2097	lit
val.2099	lit
val.2102	lit
val.2111	lit
val.2115	node
val.2116	node
val.2113	node
sat.s56593.0	node
val.2120	node
val.2121	lit
val.2123	lit
val.2125	lit
val.2126	node
val.2127	node
val.2128	node
val.2129	node
val.2130	lit
sat.s56633.0	node
sat.s56632.0	node
val.2134	lit
val.2136	lit
val.2137	lit
val.2139	lit
val.2142	lit
val.2146	lit
val.2148	lit
val.2149	lit
val.2150	lit
val.2152	lit
val.2153	lit
val.2155	lit
sat.s56149.0	node
sat.s56150.0	node
val.2157	lit
val.2159	lit
ipv8.s56157.0	node
val.2162	lit
val.2164	lit
val.2167	lit
val.2169	lit
val.2171	node
val.2174	lit
val.2176	lit
val.2179	lit
val.2181	lit
val.2183	node
val.2172	lit
val.2185	lit
val.2187	lit
val.2189	lit
val.2191	lit
val.2193	lit
val.2195	lit
val.2198	lit
val.2199	lit
val.2200	lit
val.2204	lit
val.2206	lit
val.2213	lit
val.2215	node
sat.s57030.0	node
sat.s57031.0	node
val.2216	lit
val.2218	lit
val.2221	node
val.2222	lit
sat.s57044.0	node
val.2223	lit
sat.s57042.0	node
val.2224	lit
val.2228	lit
val.2231	lit
val.2232	lit
val.2235	node
sat.s57074.0	node
val.2238	node
sat.s57075.0	node
val.2239	node
val.2242	node
val.2243	lit
val.2246	node
val.2247	lit
val.2248	lit
val.2250	lit
val.2251	lit
val.2252	lit
val.2254	lit
val.2256	node
val.2257	lit
val.2259	node
val.2260	node
val.2261	lit
sat.s57095.0	node
val.2262	lit
val.2266	lit
val.2269	lit
val.2270	lit
val.2273	node
sat.s57125.0	node
val.2276	node
sat.s57126.0	node
val.2277	node
val.2280	node
val.2281	lit
val.2284	node
val.2285	lit
val.2286	lit
val.2288	lit
val.2289	lit
val.2290	lit
val.2292	lit
val.2294	node
val.2295	lit
val.2297	node
val.2298	node
val.2300	lit
val.2301	lit
val.2305	lit
sat.s57161.0	node
sat.s57160.0	node
val.2307	lit
val.2308	lit
val.2309	lit
val.2310	lit
sat.s57162.0	node
val.2311	lit
val.2313	lit
val.2315	lit
val.2317	lit
val.2320	lit
val.2322	lit
val.2324	node
val.2326	lit
val.2328	lit
val.2330	lit
val.2332	lit
val.2334	lit
val.2336	lit
val.2338	lit
val.2342	lit
sat.s57193.0	node
val.2344	lit
sat.s57195.0	node
val.2346	lit
val.2348	lit
val.2350	lit
val.2352	lit
val.2354	lit
val.2356	lit
val.2358	lit
val.2360	lit
val.2362	node
val.2363	lit
val.2367	lit
sat.s57220.0	node
val.2369	lit
sat.s57222.0	node
val.2371	lit
val.2373	lit
val.2375	lit
val.2377	lit
val.2379	lit
val.2381	lit
val.2383	lit
val.2385	lit
val.2389	lit
sat.s57242.0	node
val.2391	lit
sat.s57244.0	node
val.2393	lit
val.2396	lit
val.2401	lit
val.2406	lit
val.2409	lit
val.2411	lit
val.2413	node
val.2414	lit
val.2415	node
val.2416	lit
val.2417	lit
val.2418	lit
val.2420	node
val.2421	node
val.2422	lit
val.2425	node
val.2426	node
val.2431	node
val.2432	node
val.2436	node
val.2437	node
val.2438	lit
val.2439	node
val.2440	lit
sat.s15858.0	node
val.2448	lit
val.2453	lit
sat.s16010.0	node
val.2467	lit
val.2471	node
val.2472	node
val.2476	node
val.2483	node
val.2486	node
sat.s16101.0	node
val.2469	node
val.2499	lit
val.2500	lit
val.2501	lit
val.2502	lit
val.2503	lit
val.2505	lit
val.2506	lit
val.2512	lit
val.2514	lit
val.2519	lit
val.2521	lit
val.2516	lit
val.2509	lit
val.2525	node
val.2526	lit
val.2527	node
val.2528	lit
val.2529	node
val.2531	lit
val.2533	lit
val.2534	lit
val.2537	lit
val.2541	lit
val.2542	lit
val.2544	lit
val.2545	lit
val.2546	lit
val.2548	lit
val.2549	lit
val.2550	lit
val.2552	lit
val.2553	lit
val.2554	lit
val.2560	lit
val.2563	lit
val.2564	lit
val.2565	lit
val.2567	lit
val.2568	lit
val.2569	lit
val.2571	lit
val.2572	lit
val.2573	lit
val.2575	lit
val.2576	lit
val.2577	lit
val.2579	lit
val.2580	lit
val.2556	lit
val.2557	lit
val.2582	lit
sat.s25518.0	node
val.2583	lit
val.2587	lit
val.2589	lit
val.2592	lit
val.2596	lit
val.2597	lit
val.2603	lit
val.2606	lit
val.2608	lit
val.2609	lit
val.2599	lit
val.2600	lit
sat.s25485.0	node
val.2611	lit
val.2615	node
val.2617	node
val.2620	node
sat.s25479.0	node
val.2622	lit
val.2623	node
sat.s25480.0	node
val.2625	lit
val.2626	node
sat.s25481.0	node
val.2629	lit
val.2630	node
val.2627	node
val.2634	lit
val.2636	lit
val.2637	lit
val.2639	lit
val.2641	lit
ipv8.s35491.0	node
val.2643	lit
val.2644	lit
ipv9.s35492.0	node
sat.s35499.0	node
val.2646	lit
sat.s35500.0	node
val.2647	lit
val.2652	lit
val.2654	lit
val.2655	lit
val.2656	lit
val.2658	lit
val.2660	lit
val.2665	lit
val.2667	lit
val.2668	lit
val.2669	lit
val.2671	lit
val.2673	lit
sat.s35569.0	node
val.2675	node
val.2680	lit
sat.s35580.0	node
sat.s35581.0	node
val.2682	lit
val.2683	lit
val.2685	lit
val.2677	lit
val.2687	lit
val.2689	lit
val.2691	node
val.2694	lit
val.2698	lit
val.2701	lit
val.2704	lit
val.2706	lit
val.2707	lit
val.2708	lit
val.2710	lit
sat.s35625.0	node
sat.s35626.0	node
val.2712	node
val.2716	lit
sat.s35636.0	node
sat.s35637.0	node
val.2718	lit
val.2719	lit
val.2721	lit
val.2713	lit
val.2723	lit
val.2725	node
val.2726	lit
sat.s35643.0	node
val.2728	node
val.2733	lit
sat.s35654.0	node
sat.s35655.0	node
val.2735	lit
val.2736	lit
val.2738	lit
val.2730	lit
val.2740	lit
val.2742	lit
val.2747	lit
val.2749	lit
val.2750	lit
val.2751	lit
val.2753	lit
val.2755	lit
sat.s35695.0	node
val.2757	node
val.2762	lit
sat.s35706.0	node
sat.s35707.0	node
val.2764	lit
val.2765	lit
val.2767	lit
val.2759	lit
val.2769	lit
val.2771	lit
val.2773	node
val.2776	lit
val.2780	lit
val.2783	lit
val.2786	lit
val.2788	lit
val.2789	lit
val.2790	lit
val.2792	lit
sat.s35751.0	node
sat.s35752.0	node
val.2794	node
val.2798	lit
sat.s35762.0	node
sat.s35763.0	node
val.2800	lit
val.2801	lit
val.2803	lit
val.2795	lit
val.2805	lit
val.2807	node
val.2808	lit
val.2810	node
val.2813	lit
val.2817	lit
val.2820	lit
val.2823	lit
val.2825	lit
val.2826	lit
val.2827	lit
val.2829	lit
sat.s35807.0	node
sat.s35808.0	node
val.2831	node
val.2835	lit
sat.s35818.0	node
sat.s35819.0	node
val.2837	lit
val.2838	lit
val.2840	lit
val.2832	lit
val.2842	lit
val.2844	node
val.2846	lit
val.2849	lit
val.2632	lit
val.2854	lit
val.2857	lit
val.2858	lit
val.2860	lit
val.2851	lit
val.2852	lit
val.2864	lit
val.2867	node
val.2872	node
val.2873	node
val.2874	node
sat.s35852.0	node
val.2877	lit
val.2875	lit
val.2881	lit
val.2883	node
val.2887	lit
val.2889	lit
ipv2.s34842.0	node
val.2891	lit
ipv3.s34843.0	node
val.2892	lit
val.2895	lit
sat.s35028.0	node
val.2897	lit
val.2898	lit
sat.s35029.0	node
val.2900	lit
sat.s34919.0	node
val.2902	lit
val.2903	lit
sat.s34920.0	node
val.2904	lit
val.2905	lit
val.2909	lit
val.2910	lit
sat.s34887.0	node
val.2912	lit
val.2914	lit
val.2916	node
val.2917	lit
val.2918	lit
val.2922	lit
val.2928	lit
val.2931	lit
val.2933	lit
val.2935	lit
val.2920	lit
sat.s34864.0	node
val.2937	lit
val.2939	lit
val.2940	lit
val.2944	lit
val.2945	lit
sat.s34935.0	node
val.2947	lit
val.2949	lit
val.2951	node
val.2953	lit
sat.s34998.0	node
val.2955	lit
val.2956	lit
sat.s34999.0	node
val.2957	lit
val.2958	lit
val.2962	lit
val.2963	lit
sat.s34966.0	node
val.2965	lit
val.2967	lit
val.2969	node
val.2970	lit
val.2971	lit
val.2975	lit
val.2981	lit
val.2984	lit
val.2986	lit
val.2988	lit
val.2973	lit
sat.s34943.0	node
val.2990	lit
val.2992	lit
val.2993	lit
val.2997	lit
val.3003	lit
val.3006	lit
val.3008	lit
val.3010	lit
val.2995	lit
sat.s34845.0	node
val.3012	lit
val.3015	lit
val.3019	lit
val.3020	lit
val.3026	lit
val.3029	lit
val.3031	lit
val.3032	lit
val.3022	lit
val.3023	lit
val.3034	lit
sat.s34832.0	node
val.3035	lit
val.2885	lit
val.3037	lit
val.3040	lit
lvl24.s24691.0	node
lvl25.s24692.0	node
lvl26.s24693.0	node
lvl27.s24694.0	node
sat.s24698.0	node
sat.s24699.0	node
val.3044	node
val.3046	lit
val.3049	lit
val.3052	lit
val.3054	node
val.3057	lit
val.3059	lit
val.3062	lit
val.3064	lit
val.3067	lit
val.3069	node
val.3071	node
val.3072	lit
val.3073	lit
val.3076	node
val.3077	node
val.3084	node
val.3085	node
val.3086	node
val.3087	node
val.3088	node
val.3095	node
val.3096	node
val.3098	lit
val.3100	lit
val.3102	lit
val.3106	lit
val.3108	lit
sat.s21091.0	node
sat.s21092.0	node
val.3109	node
val.3110	lit
val.3111	lit
val.3113	lit
val.3115	lit
sat.s21098.0	node
val.3116	lit
sat.s21096.0	node
sat.s21099.0	node
val.3117	node
val.3118	lit
val.3119	lit
val.3121	lit
val.3123	lit
val.3125	lit
val.3126	lit
val.3129	lit
val.3131	lit
val.3133	lit
sat.s21117.0	node
val.3134	lit
sat.s21115.0	node
sat.s21118.0	node
val.3135	node
val.3136	lit
val.3139	lit
val.3141	lit
val.3143	lit
sat.s21129.0	node
val.3144	lit
sat.s21127.0	node
sat.s21130.0	node
val.3145	node
val.3147	node
val.3149	lit
val.3151	lit
val.3154	lit
val.3156	lit
val.3159	lit
val.3161	lit
sat.s21155.1	node
sat.s21156.0	node
val.3162	node
val.3164	lit
val.3165	lit
val.3167	lit
sat.s21160.0	node
val.3169	node
val.3170	lit
sat.s21162.0	node
sat.s21163.0	node
val.3171	node
val.3172	lit
val.3174	lit
val.3176	lit
val.3178	lit
val.3180	lit
val.3181	lit
val.3183	lit
val.3185	lit
sat.s21175.0	node
val.3186	lit
sat.s21173.0	node
sat.s21176.0	node
val.3187	node
val.3189	node
val.3191	lit
val.3193	lit
val.3194	lit
val.3195	node
val.3197	lit
val.3198	node
val.3199	node
val.3200	lit
val.3202	lit
val.3205	node
val.3206	node
val.3208	node
val.3214	lit
val.3216	lit
val.3218	lit
val.3220	lit
enc5.s26357.0	node
val.3222	lit
val.3226	node
val.3227	node
val.3224	node
val.3228	lit
val.3229	node
val.3230	lit
val.3232	lit
val.3233	node
val.3238	lit
val.3239	lit
val.3245	lit
val.3246	lit
val.3251	lit
val.3252	lit
val.3257	lit
val.3258	lit
val.3261	lit
val.3263	lit
val.3264	lit
val.3266	lit
val.3267	lit
val.3269	lit
val.3271	node
val.3272	lit
val.3277	lit
val.3279	node
val.3280	lit
val.3282	node
val.3283	lit
val.3284	node
val.3285	lit
val.3286	lit
val.3287	node
val.3290	node
sat.s26281.0	node
val.3291	node
val.3292	lit
val.3295	lit
val.3298	node
sat.s26291.0	node
val.3299	node
val.3301	node
sat.s26296.0	node
val.3302	node
val.3304	node
val.3307	node
val.3308	node
sat.s26305.0	node
val.3309	node
val.3310	lit
val.3313	lit
val.3254	lit
val.3315	lit
val.3318	lit
val.3248	lit
val.3320	lit
val.3323	lit
val.3241	lit
val.3325	lit
val.3328	lit
val.3330	lit
val.3332	lit
val.3334	lit
val.3336	node
val.3337	lit
val.3345	lit
val.3348	lit
val.3351	node
val.3352	lit
val.3354	lit
sat.s26148.0	node
sat.s26162.0	node
val.3357	node
val.3358	lit
val.3361	lit
val.3364	node
val.3365	lit
val.3367	lit
sat.s26181.0	node
val.3370	node
val.3341	lit
val.3339	lit
val.3372	lit
val.3375	lit
val.3377	lit
val.3379	lit
val.3381	lit
val.3383	lit
val.3384	node
val.3385	lit
val.3389	lit
val.3390	lit
lvl6.s19551.0	node
sat.s19558.0	node
val.3392	node
sat.s19559.0	node
val.3394	node
sat.s19566.0	node
val.3396	node
sat.s19567.0	node
val.3398	node
sat.s19574.0	node
val.3400	node
sat.s19575.0	node
val.3402	node
val.3407	lit
val.3409	lit
val.3411	lit
val.3413	lit
val.3414	lit
val.3416	lit
val.3418	lit
val.3419	lit
val.3420	lit
val.3422	lit
val.3424	lit
val.3426	lit
val.3403	lit
val.3430	lit
val.3431	lit
lvl6.s19439.0	node
sat.s19446.0	node
val.3433	node
sat.s19447.0	node
val.3435	node
sat.s19454.0	node
val.3437	node
sat.s19455.0	node
val.3439	node
sat.s19462.0	node
val.3441	node
sat.s19463.0	node
val.3443	node
val.3448	lit
val.3449	lit
val.3451	lit
val.3453	lit
val.3455	lit
val.3457	lit
val.3459	lit
val.3460	lit
val.3461	lit
val.3463	lit
val.3465	lit
val.3467	lit
val.3444	lit
val.3470	lit
val.3473	lit
val.3474	lit
lvl6.s19613.0	node
sat.s19620.0	node
val.3476	node
sat.s19621.0	node
val.3478	node
sat.s19628.0	node
val.3480	node
sat.s19629.0	node
val.3482	node
sat.s19636.0	node
val.3484	node
sat.s19637.0	node
val.3486	node
val.3491	lit
val.3493	lit
val.3495	lit
val.3497	lit
val.3498	lit
val.3500	lit
val.3502	lit
val.3503	lit
val.3504	lit
val.3506	lit
val.3508	lit
val.3510	lit
val.3487	lit
val.3514	lit
val.3515	lit
lvl6.s19499.0	node
sat.s19506.0	node
val.3517	node
sat.s19507.0	node
val.3519	node
sat.s19514.0	node
val.3521	node
sat.s19515.0	node
val.3523	node
val.3528	lit
val.3530	lit
val.3532	lit
val.3533	lit
val.3535	lit
val.3537	lit
val.3538	lit
val.3539	lit
val.3541	lit
val.3543	lit
val.3524	lit
val.3547	lit
val.3548	lit
lvl6.s19388.0	node
sat.s19395.0	node
val.3550	node
sat.s19396.0	node
val.3552	node
sat.s19403.0	node
val.3554	node
sat.s19404.0	node
val.3556	node
val.3561	lit
val.3562	lit
val.3564	lit
val.3566	lit
val.3568	lit
val.3570	lit
val.3571	lit
val.3572	lit
val.3574	lit
val.3576	lit
val.3557	lit
val.3579	lit
val.3580	lit
sat.s19668.0	node
val.3582	node
val.3584	lit
sat.s19664.0	node
val.3586	node
val.3583	node
val.3587	node
val.3588	node
val.3589	lit
sat.s19717.0	node
val.3591	node
val.3593	lit
sat.s19713.0	node
val.3595	node
val.3592	node
val.3596	node
val.3597	node
val.3598	node
val.3601	lit
val.3604	lit
val.3606	lit
val.3607	lit
val.3609	lit
val.3611	lit
val.3612	lit
val.3613	lit
val.3615	lit
val.3618	lit
sat.s26409.0	node
val.3620	lit
val.3623	lit
sat.s26412.0	node
val.3625	lit
val.3627	lit
val.3629	lit
sat.s26415.0	node
val.3630	lit
val.3636	lit
val.3638	lit
sat.s26420.0	node
val.3639	lit
sat.s26421.0	node
sat.s26422.0	node
val.3641	node
sat.s26424.0	node
val.3642	lit
val.3644	lit
val.3647	lit
val.3649	lit
val.3651	lit
val.3652	lit
val.3653	lit
val.3655	lit
val.3657	lit
val.3658	lit
val.3659	lit
val.3660	lit
val.3662	lit
val.3664	lit
sat.s25996.0	node
val.3665	lit
sat.s25997.0	node
sat.s25998.0	node
val.3667	node
sat.s25999.0	node
val.3668	lit
val.3672	lit
val.3673	lit
lvl5.s25727.0	node
sat.s25734.0	node
val.3675	node
sat.s25735.0	node
val.3677	node
sat.s25742.0	node
val.3679	node
sat.s25743.0	node
val.3681	node
sat.s25750.0	node
val.3683	node
sat.s25751.0	node
val.3685	node
sat.s25758.0	node
val.3687	node
sat.s25759.0	node
val.3689	node
val.3693	lit
val.3695	lit
val.3697	lit
val.3699	lit
val.3701	lit
val.3703	lit
val.3704	lit
val.3705	lit
val.3706	lit
val.3707	lit
val.3709	lit
val.3711	lit
val.3712	lit
val.3713	lit
val.3714	lit
val.3716	lit
val.3718	lit
val.3719	lit
val.3720	lit
val.3721	lit
val.3722	lit
val.3723	lit
val.3725	lit
val.3727	lit
val.3728	lit
val.3729	lit
val.3731	lit
val.3733	lit
val.3734	lit
val.3735	lit
val.3737	lit
val.3739	lit
val.3741	lit
val.3743	lit
val.3744	lit
val.3745	lit
val.3747	lit
val.3749	lit
val.3750	lit
val.3751	lit
val.3753	lit
val.3755	lit
val.3756	lit
val.3757	lit
val.3759	lit
val.3761	lit
val.3762	lit
val.3763	lit
val.3765	lit
val.3767	lit
val.3768	lit
val.3769	lit
val.3771	lit
val.3773	lit
val.3774	lit
val.3775	lit
val.3778	lit
val.3781	lit
val.3785	lit
val.3787	lit
val.3690	lit
val.3789	lit
val.3791	lit
val.3793	node
val.3794	lit
val.3796	lit
val.3799	lit
sat.s26485.0	node
val.3801	node
val.3803	lit
val.3805	lit
val.3807	node
val.3808	lit
val.3810	lit
val.3813	lit
sat.s26461.0	node
val.3815	node
val.3802	node
val.3816	lit
sat.s26376.0	node
val.3818	node
val.3820	lit
sat.s26372.0	node
val.3822	node
val.3819	node
val.3823	node
val.3825	lit
val.3826	lit
sat.s26175.0	node
val.3828	node
val.3830	lit
sat.s26171.0	node
val.3832	node
val.3829	node
val.3835	lit
val.3836	lit
lvl5.s25858.0	node
sat.s25865.0	node
val.3838	node
sat.s25866.0	node
val.3840	node
sat.s25873.0	node
val.3842	node
sat.s25874.0	node
val.3844	node
sat.s25881.0	node
val.3846	node
sat.s25882.0	node
val.3848	node
sat.s25889.0	node
val.3850	node
sat.s25890.0	node
val.3852	node
val.3856	lit
val.3858	lit
val.3860	lit
val.3862	lit
val.3864	lit
val.3866	lit
val.3867	lit
val.3868	lit
val.3869	lit
val.3871	lit
val.3873	lit
val.3874	lit
val.3875	lit
val.3876	lit
val.3877	lit
val.3879	lit
val.3881	lit
val.3882	lit
val.3883	lit
val.3884	lit
val.3886	lit
val.3888	lit
val.3889	lit
val.3890	lit
val.3891	lit
val.3892	lit
val.3894	lit
val.3896	lit
val.3897	lit
val.3898	lit
val.3900	lit
val.3902	lit
val.3904	lit
val.3906	lit
val.3907	lit
val.3909	lit
val.3911	lit
val.3912	lit
val.3913	lit
val.3914	lit
val.3916	lit
val.3918	lit
val.3919	lit
val.3920	lit
val.3922	lit
val.3924	lit
val.3925	lit
val.3927	lit
val.3929	lit
val.3930	lit
val.3931	lit
val.3932	lit
val.3934	lit
val.3936	lit
val.3937	lit
val.3938	lit
val.3941	lit
val.3944	lit
val.3948	lit
val.3950	lit
val.3853	lit
val.3953	lit
val.3954	node
val.3957	lit
val.3958	lit
lvl5.s26030.0	node
sat.s26037.0	node
val.3960	node
sat.s26038.0	node
val.3962	node
sat.s26045.0	node
val.3964	node
sat.s26046.0	node
val.3966	node
sat.s26053.0	node
val.3968	node
sat.s26054.0	node
val.3970	node
sat.s26061.0	node
val.3972	node
sat.s26062.0	node
val.3974	node
sat.s26069.0	node
val.3976	node
sat.s26070.0	node
val.3978	node
sat.s26077.0	node
val.3980	node
sat.s26078.0	node
val.3982	node
sat.s26085.0	node
val.3984	node
sat.s26086.0	node
val.3986	node
sat.s26093.0	node
val.3988	node
sat.s26094.0	node
val.3990	node
val.3995	lit
val.3997	lit
val.3998	lit
val.4000	lit
val.4002	lit
val.4003	lit
val.4004	lit
val.4006	lit
val.4008	lit
val.4009	lit
val.4011	lit
val.4013	lit
val.4015	lit
val.4016	lit
val.4017	lit
val.4019	lit
val.4021	lit
val.4022	lit
val.4023	lit
val.4025	lit
val.4027	lit
val.4029	lit
val.4031	lit
val.4033	lit
val.4035	lit
val.4036	lit
val.4038	lit
val.4040	lit
val.4042	lit
val.4044	lit
val.4045	lit
val.4046	lit
val.4047	lit
val.4049	lit
val.4051	lit
val.4052	lit
val.4053	lit
val.4055	lit
val.4057	lit
val.4059	lit
val.4061	lit
val.4062	lit
val.4063	lit
val.4065	lit
val.4067	lit
val.4069	lit
val.4070	lit
val.4071	lit
val.4073	lit
val.4075	lit
val.4077	lit
val.3991	lit
val.4079	node
val.4082	lit
val.4083	lit
lvl5.s26234.0	node
sat.s26241.0	node
val.4085	node
sat.s26242.0	node
val.4087	node
sat.s26249.0	node
val.4089	node
sat.s26250.0	node
val.4091	node
sat.s26257.0	node
val.4093	node
sat.s26258.0	node
val.4095	node
sat.s26265.1	node
val.4097	node
sat.s26266.0	node
val.4099	node
sat.s26273.1	node
val.4101	node
sat.s26274.0	node
val.4103	node
sat.s26281.1	node
val.4105	node
sat.s26282.0	node
val.4107	node
sat.s26289.1	node
val.4109	node
sat.s26290.1	node
val.4111	node
sat.s26297.0	node
val.4113	node
sat.s26298.0	node
val.4115	node
val.4120	lit
val.4122	lit
val.4123	lit
val.4125	lit
val.4127	lit
val.4128	lit
val.4129	lit
val.4131	lit
val.4133	lit
val.4134	lit
val.4136	lit
val.4138	lit
val.4140	lit
val.4141	lit
val.4142	lit
val.4144	lit
val.4146	lit
val.4147	lit
val.4148	lit
val.4150	lit
val.4152	lit
val.4154	lit
val.4156	lit
val.4158	lit
val.4160	lit
val.4161	lit
val.4163	lit
val.4165	lit
val.4167	lit
val.4169	lit
val.4170	lit
val.4171	lit
val.4172	lit
val.4174	lit
val.4176	lit
val.4177	lit
val.4178	lit
val.4180	lit
val.4182	lit
val.4184	lit
val.4186	lit
val.4187	lit
val.4188	lit
val.4190	lit
val.4192	lit
val.4194	lit
val.4195	lit
val.4196	lit
val.4198	lit
val.4200	lit
val.4202	lit
val.4116	lit
val.4204	node
val.4206	lit
val.4207	lit
val.4210	lit
val.4212	lit
val.4213	lit
val.4215	lit
val.4217	lit
val.4218	lit
val.4219	lit
val.4221	lit
val.4223	lit
val.4224	lit
val.4225	lit
val.4227	lit
val.4229	lit
val.4230	lit
val.4231	lit
val.4233	lit
val.4236	lit
sat.s24158.0	node
val.4238	lit
val.4241	lit
sat.s24161.0	node
val.4243	lit
val.4246	lit
sat.s24164.0	node
val.4248	lit
val.4251	lit
sat.s24167.0	node
val.4253	lit
val.4255	lit
val.4257	lit
sat.s24170.0	node
val.4258	lit
val.4268	lit
val.4270	lit
sat.s24177.0	node
val.4271	lit
sat.s24178.0	node
sat.s24179.0	node
val.4273	node
sat.s24181.0	node
val.4274	lit
val.4276	lit
val.4279	lit
val.4281	lit
val.4283	lit
val.4284	lit
val.4285	lit
val.4287	lit
val.4289	lit
val.4290	lit
val.4291	lit
val.4292	lit
val.4294	lit
val.4296	lit
val.4297	lit
val.4298	lit
val.4299	lit
val.4301	lit
val.4303	lit
val.4304	lit
val.4305	lit
val.4306	lit
val.4308	lit
val.4310	lit
sat.s24227.0	node
val.4311	lit
sat.s24228.0	node
sat.s24229.0	node
val.4313	node
sat.s24230.0	node
val.4314	lit
val.4318	lit
val.4319	lit
lvl5.s23767.0	node
sat.s23774.0	node
val.4321	node
sat.s23775.0	node
val.4323	node
sat.s23782.0	node
val.4325	node
sat.s23783.0	node
val.4327	node
sat.s23790.0	node
val.4329	node
sat.s23791.0	node
val.4331	node
val.4335	lit
val.4337	lit
val.4339	lit
val.4341	lit
val.4343	lit
val.4345	lit
val.4346	lit
val.4347	lit
val.4349	lit
val.4351	lit
val.4352	lit
val.4353	lit
val.4354	lit
val.4356	lit
val.4358	lit
val.4359	lit
val.4360	lit
val.4361	lit
val.4363	lit
val.4365	lit
val.4366	lit
val.4367	lit
val.4369	lit
val.4371	lit
val.4372	lit
val.4373	lit
val.4375	lit
val.4377	lit
val.4378	lit
val.4379	lit
val.4381	lit
val.4383	lit
val.4384	lit
val.4385	lit
val.4386	lit
val.4388	lit
val.4390	lit
val.4391	lit
val.4392	lit
val.4393	lit
val.4395	lit
val.4397	lit
val.4398	lit
val.4399	lit
val.4401	lit
val.4403	lit
val.4404	lit
val.4405	lit
val.4408	lit
val.4411	lit
val.4415	lit
val.4417	lit
val.4332	lit
val.4419	node
val.4422	lit
val.4423	lit
lvl5.s23883.0	node
sat.s23890.0	node
val.4425	node
sat.s23891.0	node
val.4427	node
sat.s23898.0	node
val.4429	node
sat.s23899.0	node
val.4431	node
val.4435	lit
val.4437	lit
val.4438	lit
val.4440	lit
val.4442	lit
val.4443	lit
val.4444	lit
val.4446	lit
val.4448	lit
val.4449	lit
val.4450	lit
val.4452	lit
val.4454	lit
val.4455	lit
val.4456	lit
val.4458	lit
val.4460	lit
val.4461	lit
val.4462	lit
val.4463	lit
val.4465	lit
val.4467	lit
val.4468	lit
val.4469	lit
val.4471	lit
sat.s23951.0	node
val.4474	node
sat.s23952.0	node
val.4476	node
val.4477	lit
sat.s23956.0	node
val.4480	node
sat.s23957.0	node
val.4482	node
val.4484	lit
val.4487	lit
val.4491	lit
val.4493	lit
val.4432	lit
val.4495	lit
val.4497	lit
val.4499	node
val.4500	lit
val.4502	lit
val.4505	lit
sat.s24291.0	node
val.4507	node
val.4509	lit
val.4511	lit
val.4513	node
val.4514	lit
val.4516	lit
val.4519	lit
sat.s24267.0	node
val.4521	node
val.4508	node
val.4522	lit
sat.s24113.0	node
val.4524	node
val.4526	lit
sat.s24109.0	node
val.4528	node
val.4525	node
val.4529	node
val.4531	lit
val.4532	lit
sat.s23970.0	node
val.4534	node
val.4536	lit
sat.s23966.0	node
val.4538	node
val.4535	node
val.4541	lit
val.4542	lit
lvl5.s23651.0	node
sat.s23658.0	node
val.4544	node
sat.s23659.0	node
val.4546	node
sat.s23666.0	node
val.4548	node
sat.s23667.0	node
val.4550	node
sat.s23674.0	node
val.4552	node
sat.s23675.0	node
val.4554	node
val.4558	lit
val.4560	lit
val.4562	lit
val.4564	lit
val.4566	lit
val.4568	lit
val.4569	lit
val.4571	lit
val.4573	lit
val.4574	lit
val.4575	lit
val.4576	lit
val.4578	lit
val.4580	lit
val.4581	lit
val.4582	lit
val.4583	lit
val.4585	lit
val.4587	lit
val.4588	lit
val.4589	lit
val.4590	lit
val.4592	lit
val.4594	lit
val.4595	lit
val.4596	lit
val.4598	lit
val.4600	lit
val.4601	lit
val.4603	lit
val.4605	lit
val.4606	lit
val.4607	lit
val.4608	lit
val.4610	lit
val.4612	lit
val.4613	lit
val.4614	lit
val.4615	lit
val.4617	lit
val.4619	lit
val.4620	lit
val.4621	lit
val.4622	lit
val.4624	lit
val.4626	lit
val.4627	lit
val.4628	lit
val.4631	lit
val.4634	lit
val.4638	lit
val.4640	lit
val.4555	lit
val.4643	lit
val.4644	node
val.4647	lit
val.4648	lit
lvl5.s24029.0	node
sat.s24036.0	node
val.4650	node
sat.s24037.0	node
val.4652	node
sat.s24044.0	node
val.4654	node
sat.s24045.0	node
val.4656	node
val.4660	lit
val.4662	lit
val.4663	lit
val.4665	lit
val.4667	lit
val.4668	lit
val.4669	lit
val.4671	lit
val.4673	lit
val.4674	lit
val.4675	lit
val.4677	lit
val.4679	lit
val.4680	lit
val.4681	lit
val.4683	lit
val.4685	lit
val.4686	lit
val.4687	lit
val.4688	lit
val.4690	lit
val.4692	lit
val.4693	lit
val.4694	lit
val.4696	lit
sat.s24097.0	node
val.4699	node
sat.s24098.0	node
val.4701	node
val.4702	lit
sat.s24102.0	node
val.4705	node
sat.s24103.0	node
val.4707	node
val.4709	lit
val.4712	lit
val.4716	lit
val.4718	lit
val.4657	lit
val.4720	node
val.4722	lit
val.4725	lit
val.4727	node
val.4728	node
val.4731	lit
val.4732	lit
lvl3.s28126.0	node
sat.s28133.0	node
val.4734	node
sat.s28134.0	node
val.4736	node
sat.s28141.0	node
val.4738	node
sat.s28142.0	node
val.4740	node
sat.s28149.0	node
val.4742	node
sat.s28150.0	node
val.4744	node
sat.s28157.0	node
val.4746	node
sat.s28158.0	node
val.4748	node
sat.s28165.0	node
val.4750	node
sat.s28166.0	node
val.4752	node
val.4757	lit
val.4759	lit
val.4761	lit
val.4763	lit
val.4765	lit
val.4767	lit
val.4769	lit
val.4770	lit
val.4771	lit
val.4772	lit
val.4774	lit
val.4776	lit
val.4777	lit
val.4778	lit
val.4779	lit
val.4780	lit
val.4781	lit
val.4783	lit
val.4785	lit
val.4786	lit
val.4787	lit
val.4788	lit
val.4789	lit
val.4790	lit
val.4792	lit
val.4794	lit
val.4795	lit
val.4796	lit
val.4797	lit
val.4798	lit
val.4800	lit
val.4802	lit
val.4803	lit
val.4804	lit
val.4806	lit
val.4808	lit
val.4810	lit
val.4812	lit
val.4814	lit
val.4815	lit
val.4816	lit
val.4817	lit
val.4819	lit
val.4821	lit
val.4822	lit
val.4823	lit
val.4824	lit
val.4825	lit
val.4826	lit
val.4828	lit
val.4830	lit
val.4831	lit
val.4832	lit
val.4833	lit
val.4834	lit
val.4836	lit
val.4838	lit
val.4839	lit
val.4840	lit
val.4842	lit
val.4844	lit
val.4846	lit
val.4848	lit
val.4849	lit
val.4850	lit
val.4851	lit
val.4853	lit
val.4855	lit
val.4856	lit
val.4857	lit
val.4858	lit
val.4859	lit
val.4860	lit
val.4862	lit
val.4864	lit
val.4865	lit
val.4866	lit
val.4867	lit
val.4868	lit
val.4870	lit
val.4872	lit
val.4873	lit
val.4874	lit
val.4876	lit
sat.s28279.0	node
val.4879	node
sat.s28280.0	node
val.4881	node
val.4882	lit
val.4884	lit
val.4886	lit
val.4888	lit
val.4889	lit
val.4890	lit
val.4891	lit
val.4893	lit
val.4895	lit
val.4896	lit
val.4897	lit
val.4898	lit
val.4899	lit
val.4900	lit
val.4902	lit
val.4904	lit
val.4905	lit
val.4906	lit
val.4907	lit
val.4908	lit
val.4910	lit
val.4912	lit
val.4913	lit
val.4914	lit
val.4916	lit
val.4918	lit
val.4920	lit
val.4922	lit
val.4923	lit
val.4924	lit
val.4925	lit
val.4927	lit
val.4929	lit
val.4930	lit
val.4931	lit
val.4932	lit
val.4933	lit
val.4934	lit
val.4936	lit
val.4938	lit
val.4939	lit
val.4940	lit
val.4941	lit
val.4942	lit
val.4944	lit
val.4946	lit
val.4947	lit
val.4948	lit
val.4950	lit
sat.s28342.0	node
val.4953	node
sat.s28343.0	node
val.4955	node
sat.s28346.0	node
val.4957	node
sat.s28347.0	node
val.4959	node
val.4960	lit
val.4962	lit
val.4963	lit
val.4964	lit
val.4965	lit
val.4967	lit
val.4969	lit
val.4970	lit
val.4971	lit
val.4972	lit
val.4973	lit
val.4975	lit
val.4977	lit
val.4978	lit
val.4979	lit
val.4981	lit
val.4983	lit
val.4984	lit
val.4986	lit
val.4988	lit
val.4989	lit
val.4990	lit
val.4992	lit
val.4994	lit
val.4753	lit
val.4996	node
val.4997	node
val.5000	lit
val.5001	lit
lvl3.s28391.0	node
sat.s28398.0	node
val.5003	node
sat.s28399.0	node
val.5005	node
sat.s28406.0	node
val.5007	node
sat.s28407.0	node
val.5009	node
val.5010	lit
val.5011	lit
val.5012	lit
val.5014	lit
sat.s28422.0	node
val.5017	node
sat.s28423.0	node
val.5019	node
sat.s28429.0	node
val.5022	node
sat.s28430.0	node
val.5024	node
val.5025	lit
sat.s28434.0	node
val.5028	node
sat.s28435.0	node
val.5030	node
val.5031	lit
sat.s28439.0	node
val.5034	node
sat.s28440.0	node
val.5036	node
val.5038	lit
val.5041	lit
val.5044	lit
val.5047	lit
val.5053	lit
val.5056	lit
val.5060	lit
val.5061	lit
val.5062	lit
val.5064	lit
val.5066	lit
val.5067	lit
val.5068	lit
val.5070	lit
sat.s28468.0	node
val.5073	node
sat.s28469.0	node
val.5075	node
sat.s28475.0	node
val.5078	node
sat.s28476.0	node
val.5080	node
val.5081	lit
sat.s28480.0	node
val.5084	node
sat.s28481.0	node
val.5086	node
val.5087	lit
sat.s28485.0	node
val.5090	node
sat.s28486.0	node
val.5092	node
val.5093	lit
sat.s28490.0	node
val.5096	node
sat.s28491.0	node
val.5098	node
val.5099	lit
sat.s28495.0	node
val.5102	node
sat.s28496.0	node
val.5104	node
val.5106	lit
val.5109	lit
val.5112	lit
val.5115	lit
val.5118	lit
val.5121	lit
val.5127	lit
val.5130	lit
val.5133	lit
val.5136	lit
sat.s28514.0	node
val.5141	node
sat.s28515.0	node
val.5143	node
val.5144	lit
val.5145	lit
val.5146	lit
val.5148	lit
sat.s28530.0	node
val.5151	node
sat.s28531.0	node
val.5153	node
val.5154	lit
sat.s28538.0	node
val.5157	node
sat.s28539.0	node
val.5159	node
val.5160	lit
sat.s28543.0	node
val.5163	node
sat.s28544.0	node
val.5165	node
val.5166	lit
sat.s28548.0	node
val.5169	node
sat.s28549.0	node
val.5171	node
val.5172	lit
sat.s28553.0	node
val.5175	node
sat.s28554.0	node
val.5177	node
val.5181	lit
val.5184	lit
val.5188	lit
val.5191	lit
val.5194	lit
val.5197	lit
val.5203	lit
val.5206	lit
sat.s28571.0	node
val.5211	node
sat.s28572.0	node
val.5213	node
sat.s28579.0	node
val.5215	node
sat.s28580.0	node
val.5217	node
sat.s28587.0	node
val.5219	node
sat.s28588.0	node
val.5221	node
sat.s28595.0	node
val.5223	node
sat.s28596.0	node
val.5225	node
sat.s28603.0	node
val.5227	node
sat.s28604.0	node
val.5229	node
val.5234	lit
val.5235	lit
val.5237	lit
val.5239	lit
val.5241	lit
val.5243	lit
val.5246	lit
val.5247	lit
val.5248	lit
val.5250	lit
val.5252	lit
val.5253	lit
val.5254	lit
val.5256	lit
val.5258	lit
val.5259	lit
val.5260	lit
val.5262	lit
val.5264	lit
val.5265	lit
val.5266	lit
val.5267	lit
val.5268	lit
val.5269	lit
val.5270	lit
val.5271	lit
val.5273	lit
val.5275	lit
val.5276	lit
val.5277	lit
sat.s28665.0	node
val.5281	node
sat.s28666.0	node
val.5283	node
val.5284	lit
sat.s28670.0	node
val.5287	node
sat.s28671.0	node
val.5289	node
val.5290	lit
sat.s28675.0	node
val.5293	node
sat.s28676.0	node
val.5295	node
val.5296	lit
sat.s28680.0	node
val.5299	node
sat.s28681.0	node
val.5301	node
val.5302	lit
sat.s28685.0	node
val.5305	node
sat.s28686.0	node
val.5307	node
val.5308	lit
sat.s28690.0	node
val.5311	node
sat.s28691.0	node
val.5313	node
val.5314	lit
sat.s28695.0	node
val.5317	node
sat.s28696.0	node
val.5319	node
val.5321	lit
val.5324	lit
val.5327	lit
val.5330	lit
val.5333	lit
val.5336	lit
val.5339	lit
val.5342	lit
val.5348	lit
val.5351	lit
val.5354	lit
val.5357	lit
val.5360	lit
val.5363	lit
val.5367	lit
val.5369	lit
val.5371	lit
val.5373	lit
val.5376	lit
val.5380	lit
val.5381	lit
val.5382	lit
val.5384	lit
val.5386	lit
val.5387	lit
val.5388	lit
val.5390	lit
val.5392	lit
val.5393	lit
val.5394	lit
val.5395	lit
val.5396	lit
val.5397	lit
val.5399	lit
val.5401	lit
val.5402	lit
val.5403	lit
val.5405	lit
sat.s28749.0	node
val.5408	node
sat.s28750.0	node
val.5410	node
val.5411	lit
sat.s28754.0	node
val.5414	node
sat.s28755.0	node
val.5416	node
val.5417	lit
sat.s28759.0	node
val.5420	node
sat.s28760.0	node
val.5422	node
val.5423	lit
sat.s28764.0	node
val.5426	node
sat.s28765.0	node
val.5428	node
val.5429	lit
sat.s28769.0	node
val.5432	node
sat.s28770.0	node
val.5434	node
val.5438	lit
val.5441	lit
val.5444	lit
val.5447	lit
val.5451	lit
val.5454	lit
val.5457	lit
val.5460	lit
val.5463	lit
val.5466	lit
val.5472	lit
val.5475	lit
val.5478	lit
val.5481	lit
val.5485	lit
val.5487	lit
val.5489	lit
val.5492	lit
val.5495	lit
val.5497	lit
val.5498	lit
val.5499	lit
val.5501	lit
val.5503	lit
val.5505	lit
val.5507	lit
val.5508	lit
val.5509	lit
val.5510	lit
val.5512	lit
val.5514	lit
val.5515	lit
val.5516	lit
val.5518	lit
val.5520	lit
val.5522	lit
val.5524	lit
val.5527	lit
sat.s28814.0	node
val.5531	node
sat.s28815.0	node
val.5533	node
val.5534	lit
val.5536	lit
val.5538	lit
val.5539	lit
val.5540	lit
val.5542	lit
val.5544	lit
val.5230	lit
val.5547	lit
val.5548	lit
sat.s28941.0	node
val.5550	node
val.5552	lit
sat.s28937.0	node
val.5554	node
val.5551	node
val.5555	node
val.5558	lit
val.5560	lit
val.5562	lit
val.5564	node
val.5565	node
val.5566	node
val.5567	node
val.5568	node
val.5569	node
val.5570	node
val.5571	node
val.5573	lit
val.5575	lit
val.5577	lit
val.5579	lit
val.5581	lit
val.5583	lit
val.5585	lit
val.5587	lit
val.5589	lit
val.5590	node
val.5591	node
val.5592	node
val.5593	node
val.5594	node
val.5595	node
val.5596	node
val.5597	node
val.5598	node
val.5599	node
val.5600	node
val.5602	lit
val.5604	lit
val.5615	lit
val.5618	lit
val.5620	node
val.5621	node
val.5623	node
val.5625	node
val.5627	node
val.5629	node
val.5631	node
val.5633	node
val.5635	node
val.5637	node
val.5639	lit
val.5641	lit
val.5643	lit
val.5645	lit
val.5647	lit
val.5650	node
val.5654	lit
val.5656	lit
val.5658	lit
val.5660	lit
val.5662	lit
val.5664	lit
val.5666	node
val.5667	lit
val.5669	lit
val.5671	lit
val.5673	lit
val.5675	lit
val.5677	node
val.5678	lit
val.5679	node
val.5681	node
val.5686	lit
val.5688	lit
val.5691	node
val.5685	node
val.5695	lit
val.5698	lit
val.5700	lit
val.5702	lit
val.5704	node
val.5705	lit
sat.s20816.0	node
val.5707	node
val.5708	lit
val.5711	lit
val.5713	lit
val.5715	lit
val.5718	lit
val.5720	lit
val.5722	lit
val.5724	node
val.5725	lit
sat.s20868.0	node
val.5727	node
val.5728	lit
val.5731	lit
val.5733	lit
val.5735	lit
val.5737	lit
sat.s20733.0	node
val.5738	lit
val.5742	node
val.5744	lit
val.5745	lit
val.5746	lit
val.5747	lit
val.5749	node
val.5750	node
val.5751	lit
val.5752	lit
val.5753	lit
val.5754	lit
val.5756	node
val.5757	node
val.5758	lit
val.5761	node
val.5764	node
val.5765	node
sat.s42230.0	node
val.5769	lit
val.5770	node
val.5772	node
val.5773	lit
val.5774	lit
val.5776	lit
val.5778	lit
val.5780	lit
val.5781	lit
val.5782	lit
val.5783	lit
val.5785	node
val.5788	node
val.5791	node
val.5792	node
sat.s42249.0	node
val.5799	node
val.5801	lit
val.5802	lit
val.5803	lit
val.5804	lit
val.5806	node
val.5807	node
val.5808	lit
val.5811	node
val.5812	node
val.5815	node
val.5816	node
val.5818	lit
val.5819	lit
val.5820	lit
val.5821	lit
val.5823	node
val.5824	node
val.5825	lit
val.5828	node
val.5829	node
val.5832	node
val.5833	node
val.5834	lit
val.5835	lit
val.5836	lit
val.5837	lit
val.5839	node
val.5840	node
val.5841	lit
val.5844	node
val.5845	node
val.5847	node
val.5848	node
val.5849	lit
val.5850	lit
val.5851	lit
val.5852	lit
val.5854	node
val.5855	node
val.5856	lit
val.5857	node
val.5859	lit
val.5860	lit
val.5861	lit
val.5862	lit
val.5863	lit
val.5865	node
val.5866	node
val.5867	lit
val.5870	node
val.5871	node
val.5876	node
val.5877	node
val.5880	node
val.5881	node
val.5884	node
val.5885	node
val.5891	node
val.5894	node
val.5900	node
val.5906	node
val.5909	node
val.5913	node
val.5920	node
val.5921	node
val.5922	lit
val.5923	node
val.5924	lit
val.5976	node
val.5977	node
val.5978	node
val.5979	node
val.5980	node
val.5981	node
val.5982	node
val.5983	node
val.5984	node
val.5985	node
val.5986	node
val.5987	node
val.5993	lit
val.5996	lit
val.5999	lit
val.6001	lit
val.6003	lit
val.6005	lit
val.6007	lit
val.6009	lit
val.6011	lit
val.6013	lit
val.6014	lit
val.6016	lit
val.6018	lit
val.6020	lit
val.6022	lit
val.6025	lit
val.6027	lit
val.6029	lit
val.6031	lit
val.6033	lit
val.6035	lit
val.6037	lit
val.6040	node
val.6041	node
val.6044	lit
val.6046	lit
val.6047	node
val.6050	lit
val.6053	lit
val.6056	node
val.6057	node
val.6058	lit
val.6060	lit
val.6061	lit
sat.s42169.0	node
val.6063	lit
val.6064	lit
val.6065	lit
sat.s42170.0	node
val.6066	node
val.6067	lit
val.6068	node
val.6069	node
val.6070	lit
val.6071	lit
val.6075	node
val.6076	lit
val.6079	lit
val.6081	lit
val.6083	lit
val.6087	lit
val.6088	lit
val.6089	node
val.6085	node
val.6092	lit
val.6095	lit
val.6098	lit
val.6100	lit
val.6102	lit
val.6103	lit
sat.s42143.0	node
val.6104	node
val.6106	node
val.6109	lit
val.6112	lit
val.6114	lit
val.6117	lit
val.6120	lit
val.6123	lit
val.6126	node
val.6127	node
val.6129	lit
val.6132	lit
val.6133	lit
val.6136	lit
val.6141	node
val.6142	node
val.6143	node
val.6139	node
val.6145	lit
val.6149	node
val.6150	node
val.6147	node
val.6152	lit
val.6155	lit
val.6158	node
val.6159	node
val.6161	lit
val.6165	lit
val.6168	lit
val.6170	lit
val.6173	lit
val.6175	lit
val.6178	node
val.6183	node
val.6184	node
val.6180	lit
val.6186	lit
val.6189	lit
val.6191	node
val.6192	lit
val.6193	node
val.6194	node
val.6195	lit
val.6196	node
val.6197	lit
val.6198	lit
val.6200	lit
sat.s42609.0	node
val.6203	lit
val.6205	lit
sat.s42617.0	node
val.6207	node
val.6208	lit
val.6210	node
val.6211	lit
sat.s42532.0	node
val.6214	node
val.6215	lit
val.6219	node
val.6217	node
val.6220	lit
sat.s42509.0	node
val.6223	node
val.6224	lit
val.6226	lit
val.6228	lit
val.6229	lit
val.6231	lit
val.6234	node
sat.s42830.0	node
val.6235	node
val.6236	lit
val.6237	lit
val.6241	lit
sat.s42386.0	node
sat.s42384.0	node
sat.s42387.0	node
val.6243	node
val.6244	lit
sat.s42389.0	node
sat.s42390.0	node
val.6246	node
val.6247	lit
val.6249	lit
val.6253	node
val.6254	lit
val.6255	lit
val.6256	node
sat.s42424.0	node
val.6257	node
val.6258	lit
val.6259	lit
sat.s42467.0	node
val.6261	node
val.6262	lit
val.6268	node
val.6269	node
val.6264	node
val.6271	lit
val.6273	lit
val.6275	lit
sat.s42314.0	node
val.6277	node
val.6278	lit
val.6280	node
val.6282	lit
val.6285	lit
val.6288	lit
val.6291	lit
val.6293	lit
val.6294	lit
sat.s42291.0	node
val.6296	node
val.6297	lit
val.6299	node
val.6302	lit
sat.s42061.0	node
val.6304	node
val.6305	lit
sat.s42070.0	node
val.6309	node
val.6310	node
val.6311	lit
val.6312	lit
val.6313	lit
val.6314	lit
val.6317	lit
val.6320	lit
sat.s42087.0	node
val.6322	node
val.6323	lit
sat.s42096.0	node
val.6327	node
val.6328	node
val.6329	lit
sat.s42103.0	node
val.6331	node
val.6332	lit
sat.s42112.0	node
val.6336	node
val.6337	node
val.6338	node
val.6339	lit
sat.s42588.0	node
val.6341	node
val.6342	lit
val.6344	node
val.6345	lit
val.6346	lit
val.6350	node
val.6351	lit
val.6353	lit
sat.s41837.0	node
val.6356	lit
val.6358	lit
val.6360	node
val.6361	lit
val.6365	node
val.6363	node
val.6369	lit
sat.s41854.0	node
val.6371	node
val.6367	lit
val.6372	lit
val.6373	lit
val.6374	lit
val.6375	lit
val.6377	lit
val.6382	lit
sat.s41876.0	node
val.6384	node
val.6380	lit
val.6387	lit
sat.s41884.0	node
val.6389	node
val.6385	lit
val.6391	lit
val.6393	lit
sat.s41893.0	node
val.6396	lit
val.6398	lit
val.6400	lit
val.6402	lit
val.6405	lit
val.6407	lit
val.6410	lit
val.6412	lit
sat.s41754.0	node
val.6416	node
val.6417	node
val.6418	node
val.6422	lit
sat.s41762.0	node
val.6424	node
val.6420	lit
val.6425	lit
val.6426	lit
val.6427	lit
val.6428	lit
val.6433	lit
sat.s41775.0	node
val.6435	node
val.6431	lit
val.6436	node
val.6437	lit
val.6440	lit
val.6442	lit
val.6444	node
val.6445	lit
sat.s41949.0	node
val.6448	lit
val.6450	lit
val.6452	node
val.6453	lit
val.6457	node
val.6455	node
val.6461	lit
sat.s41967.0	node
val.6463	node
val.6459	lit
val.6464	lit
val.6465	lit
val.6466	lit
val.6467	lit
val.6469	lit
val.6474	lit
sat.s41986.0	node
val.6476	node
val.6472	lit
val.6479	lit
sat.s41994.0	node
val.6481	node
val.6477	lit
val.6483	lit
val.6485	lit
sat.s42003.0	node
val.6488	lit
val.6490	lit
val.6492	lit
val.6494	lit
val.6496	lit
val.6498	lit
val.6499	node
val.6500	lit
val.6502	lit
val.6504	lit
val.6505	lit
val.6506	node
val.6507	lit
val.6508	lit
val.6509	node
val.6510	lit
val.6513	lit
val.6520	lit
val.6522	node
val.6524	lit
val.6527	lit
val.6529	node
val.6531	lit
val.6535	lit
val.6537	node
val.6539	lit
val.6542	lit
val.6544	node
val.6546	lit
val.6548	node
val.6550	lit
val.6552	lit
val.6556	lit
val.6558	lit
val.6560	lit
val.6562	lit
val.6564	lit
val.6565	lit
val.6566	lit
val.6568	node
val.6569	lit
val.6571	lit
val.6574	lit
sat.s23406.0	node
val.6576	lit
val.6578	lit
val.6580	node
val.6581	lit
val.6584	lit
sat.s23394.0	node
val.6586	lit
val.6589	lit
val.6591	lit
val.6594	lit
val.6597	lit
val.6601	lit
val.6606	lit
val.6608	lit
val.6610	lit
val.6612	lit
val.6615	lit
val.6599	lit
val.6621	node
val.6622	node
sat.s49989.0	node
sat.s49999.0	node
val.6617	lit
val.6627	lit
sat.s48588.0	node
val.6631	node
sat.s48604.0	node
val.6635	node
val.6636	lit
val.6639	lit
val.6625	lit
val.6645	lit
sat.s50351.0	node
val.6647	node
val.6648	lit
val.6650	lit
val.6652	lit
val.6654	lit
val.6658	lit
val.6661	lit
val.6663	lit
val.6666	node
val.6667	lit
val.6669	lit
val.6671	lit
val.6673	lit
val.6675	lit
sat.s50403.0	node
val.6677	node
val.6680	lit
val.6683	lit
val.6686	lit
val.6687	lit
val.6688	node
val.6689	lit
val.6695	node
val.6696	lit
val.6698	lit
val.6701	lit
val.6703	lit
val.6704	lit
sat.s50453.0	node
val.6705	lit
val.6708	lit
val.6710	lit
val.6712	lit
val.6714	lit
val.6716	lit
val.6718	lit
val.6720	lit
sat.s50465.0	node
val.6722	node
val.6641	lit
val.6723	lit
val.6725	lit
val.6728	lit
val.6730	node
val.6732	lit
val.6734	lit
val.6737	lit
wild1.s49172.0	node
val.6739	lit
val.6741	lit
val.6745	lit
val.6747	node
val.6752	lit
val.6755	lit
val.6757	node
val.6759	lit
val.6762	lit
val.6764	node
val.6767	lit
val.6770	lit
val.6772	node
sat.s49212.0	node
val.6781	lit
val.6785	lit
sat.s49234.0	node
val.6788	lit
val.6792	lit
val.6796	lit
val.6800	lit
val.6803	lit
val.6806	lit
val.6808	lit
val.6809	lit
sat.s49418.0	node
val.6810	lit
val.6812	node
val.6813	node
val.6815	node
val.6817	lit
val.6819	lit
val.6823	node
val.6824	lit
val.6828	lit
val.6830	lit
val.6832	node
val.6833	node
sat.s48642.0	node
sat.s48643.0	node
val.6836	lit
val.6838	lit
val.6839	node
val.6841	node
val.6842	node
val.6843	lit
val.6845	lit
sat.s49044.0	node
val.6847	lit
val.6849	lit
val.6851	lit
val.6854	node
val.6856	lit
sat.s49064.0	node
val.6859	node
sat.s49066.0	node
val.6861	lit
sat.s49071.0	node
val.6863	node
val.6865	lit
val.6867	lit
val.6868	lit
sat.s49080.0	node
val.6870	lit
val.6871	lit
val.6872	lit
sat.s49081.0	node
val.6873	lit
val.6875	lit
val.6876	lit
val.6878	lit
val.6880	lit
val.6881	lit
sat.s49092.0	node
val.6883	lit
val.6884	lit
val.6885	lit
sat.s49093.0	node
val.6886	lit
val.6888	lit
val.6895	node
val.6890	lit
val.6891	lit
val.6897	lit
val.6901	lit
val.6903	lit
sat.s49115.0	node
val.6905	lit
val.6907	lit
sat.s49119.0	node
val.6909	lit
val.6911	lit
sat.s49123.0	node
val.6913	lit
val.6916	lit
val.6918	lit
sat.s49128.0	node
val.6920	lit
val.6922	lit
sat.s49132.0	node
val.6924	lit
val.6926	lit
val.6928	node
val.6930	lit
val.6932	node
val.6935	lit
val.6937	lit
val.6940	node
val.6942	lit
val.6944	lit
val.6948	lit
val.6950	lit
val.6952	lit
val.6953	lit
val.6955	node
val.6956	lit
val.6959	node
val.6960	lit
val.6964	lit
val.6966	lit
val.6968	node
val.6969	node
val.6972	lit
val.6973	lit
val.6975	lit
val.6977	lit
val.6978	lit
val.6981	lit
val.6982	lit
val.6984	lit
val.6986	lit
val.6987	lit
val.6988	lit
val.6990	lit
val.6992	lit
val.6993	lit
val.6996	lit
val.6998	lit
val.7001	node
raw.s61975.0	node
val.7006	lit
val.7007	lit
val.7009	lit
val.7013	node
val.7014	lit
sat.s62012.0	node
val.7016	lit
val.7018	node
val.7003	lit
val.7019	lit
val.7023	lit
val.7025	lit
val.7027	lit
val.7028	lit
val.7034	lit
val.7036	lit
val.7040	lit
val.7042	lit
val.7044	lit
val.7045	lit
val.7048	lit
val.7049	lit
val.7051	lit
val.7053	lit
val.7054	lit
val.7056	lit
val.7057	lit
val.7059	lit
val.7061	lit
val.7062	lit
val.7063	lit
val.7065	lit
val.7067	lit
val.7068	lit
val.7071	lit
val.7072	lit
val.7074	node
val.7075	lit
val.7077	lit
val.7078	lit
val.7031	lit
val.7081	lit
val.7082	lit
val.7084	lit
val.7088	lit
val.7090	lit
val.7092	node
val.7093	node
val.7094	lit
val.7100	lit
val.7102	lit
val.7106	lit
val.7108	lit
val.7110	lit
val.7111	lit
val.7114	lit
val.7115	lit
val.7117	lit
val.7121	lit
val.7123	lit
val.7125	node
val.7126	node
val.7127	lit
val.7129	lit
val.7130	lit
val.7133	lit
val.7134	lit
val.7136	lit
val.7138	lit
val.7139	lit
val.7141	lit
val.7142	lit
val.7144	lit
val.7146	lit
val.7147	lit
val.7148	lit
val.7150	lit
val.7152	lit
val.7153	lit
val.7156	lit
val.7157	lit
val.7159	node
val.7160	lit
val.7162	lit
val.7163	lit
val.7096	lit
val.7097	lit
val.7166	lit
val.7167	lit
val.7169	lit
val.7171	lit
val.7172	lit
val.7174	lit
val.7175	lit
val.7177	lit
val.7179	lit
val.7180	lit
val.7181	lit
val.7183	lit
val.7185	lit
val.7186	lit
val.7189	lit
val.7190	lit
val.7192	node
val.7193	lit
val.7195	lit
val.7196	lit
val.7199	lit
val.7201	lit
val.7205	lit
val.7207	lit
val.7209	lit
val.7210	lit
val.7216	lit
val.7218	lit
val.7222	lit
val.7224	lit
val.7226	lit
val.7227	lit
val.7230	lit
val.7231	lit
val.7233	lit
val.7235	lit
val.7236	lit
val.7238	lit
val.7239	lit
val.7241	lit
val.7243	lit
val.7244	lit
val.7245	lit
val.7247	lit
val.7249	lit
val.7250	lit
val.7253	lit
val.7254	lit
val.7256	node
val.7257	lit
val.7259	lit
val.7260	lit
val.7213	lit
val.7263	lit
val.7264	lit
val.7266	lit
val.7270	lit
val.7272	lit
val.7274	node
val.7275	node
val.7276	lit
val.7282	lit
val.7284	lit
val.7288	lit
val.7290	lit
val.7292	lit
val.7293	lit
val.7296	lit
val.7297	lit
val.7299	lit
val.7303	lit
val.7305	lit
val.7307	node
val.7308	node
val.7309	lit
val.7311	lit
val.7312	lit
val.7315	lit
val.7316	lit
val.7318	lit
val.7320	lit
val.7321	lit
val.7323	lit
val.7324	lit
val.7326	lit
val.7328	lit
val.7329	lit
val.7330	lit
val.7332	lit
val.7334	lit
val.7335	lit
val.7338	lit
val.7339	lit
val.7341	node
val.7342	lit
val.7344	lit
val.7345	lit
val.7278	lit
val.7279	lit
val.7348	lit
val.7349	lit
val.7351	lit
val.7353	lit
val.7354	lit
val.7356	lit
val.7357	lit
val.7359	lit
val.7361	lit
val.7362	lit
val.7363	lit
val.7365	lit
val.7367	lit
val.7368	lit
val.7371	lit
val.7372	lit
val.7374	node
val.7375	lit
val.7377	lit
val.7378	lit
val.7385	lit
val.7387	lit
val.7389	lit
val.7393	lit
val.7395	lit
val.7397	lit
val.7398	lit
val.7401	lit
val.7405	lit
val.7407	lit
val.7409	lit
val.7410	lit
val.7413	lit
val.7414	lit
val.7416	lit
val.7418	lit
val.7419	lit
val.7421	lit
val.7422	lit
val.7424	lit
val.7426	lit
val.7427	lit
val.7428	lit
val.7430	lit
val.7432	lit
val.7433	lit
val.7436	lit
val.7437	lit
val.7439	node
val.7440	lit
val.7442	lit
val.7443	lit
val.7446	lit
val.7448	lit
val.7452	lit
val.7454	lit
val.7456	lit
val.7457	lit
val.7460	lit
val.7461	lit
val.7463	lit
val.7465	lit
val.7466	lit
val.7468	lit
val.7469	lit
val.7471	lit
val.7473	lit
val.7474	lit
val.7475	lit
val.7477	lit
val.7479	lit
val.7480	lit
val.7483	lit
val.7484	lit
val.7486	node
val.7487	lit
val.7489	lit
val.7490	lit
val.7496	lit
val.7498	lit
val.7500	lit
val.7504	lit
val.7506	lit
val.7508	lit
val.7509	lit
val.7512	lit
val.7513	lit
val.7515	lit
val.7517	lit
val.7518	lit
val.7520	lit
val.7521	lit
val.7523	lit
val.7525	lit
val.7526	lit
val.7527	lit
val.7529	lit
val.7531	lit
val.7532	lit
val.7535	lit
val.7536	lit
val.7538	node
val.7539	lit
val.7541	lit
val.7542	lit
val.7544	lit
val.7548	lit
val.7550	lit
val.7552	lit
val.7553	lit
val.7556	lit
val.7557	lit
val.7559	lit
val.7561	lit
val.7562	lit
val.7564	lit
val.7565	lit
val.7567	lit
val.7569	lit
val.7570	lit
val.7571	lit
val.7573	lit
val.7575	lit
val.7576	lit
val.7579	lit
val.7580	lit
val.7582	node
val.7583	lit
val.7585	lit
val.7586	lit
val.7492	lit
val.7589	lit
val.7590	lit
val.7592	lit
val.7596	lit
val.7598	lit
val.7600	node
val.7601	node
val.7602	lit
val.7604	lit
val.7608	lit
val.7610	lit
val.7612	lit
val.7613	lit
val.7616	lit
val.7617	lit
val.7619	lit
val.7623	lit
val.7625	lit
val.7627	node
val.7628	node
val.7629	lit
val.7631	lit
val.7632	lit
val.7635	lit
val.7636	lit
val.7638	lit
val.7640	lit
val.7641	lit
val.7643	lit
val.7644	lit
val.7646	lit
val.7648	lit
val.7649	lit
val.7650	lit
val.7652	lit
val.7654	lit
val.7655	lit
val.7658	lit
val.7659	lit
val.7661	node
val.7662	lit
val.7664	lit
val.7665	lit
val.7668	lit
val.7670	lit
val.7674	lit
val.7676	lit
val.7678	lit
val.7679	lit
val.7682	lit
val.7683	lit
val.7685	lit
val.7689	lit
val.7691	lit
val.7693	node
val.7694	node
val.7695	lit
val.7697	lit
val.7698	lit
val.7701	lit
val.7702	lit
val.7704	lit
val.7706	lit
val.7707	lit
val.7709	lit
val.7710	lit
val.7712	lit
val.7714	lit
val.7715	lit
val.7716	lit
val.7718	lit
val.7720	lit
val.7721	lit
val.7724	lit
val.7725	lit
val.7727	node
val.7728	lit
val.7730	lit
val.7731	lit
val.7738	lit
val.7740	lit
val.7742	lit
val.7746	lit
val.7748	lit
val.7750	lit
val.7751	lit
val.7754	lit
val.7755	lit
val.7757	lit
val.7761	lit
val.7763	lit
val.7765	node
val.7766	node
val.7767	lit
val.7769	lit
val.7770	lit
val.7773	lit
val.7774	lit
val.7776	lit
val.7778	lit
val.7779	lit
val.7781	lit
val.7782	lit
val.7784	lit
val.7786	lit
val.7787	lit
val.7788	lit
val.7790	lit
val.7792	lit
val.7793	lit
val.7796	lit
val.7797	lit
val.7799	node
val.7800	lit
val.7802	lit
val.7803	lit
val.7805	lit
val.7809	lit
val.7811	lit
val.7813	lit
val.7814	lit
val.7817	lit
val.7818	lit
val.7820	lit
val.7824	lit
val.7826	lit
val.7828	node
val.7829	node
val.7830	lit
val.7832	lit
val.7833	lit
val.7836	lit
val.7837	lit
val.7839	lit
val.7841	lit
val.7842	lit
val.7844	lit
val.7845	lit
val.7847	lit
val.7849	lit
val.7850	lit
val.7851	lit
val.7853	lit
val.7855	lit
val.7856	lit
val.7859	lit
val.7860	lit
val.7862	node
val.7863	lit
val.7865	lit
val.7866	lit
val.7733	lit
val.7734	lit
val.7869	lit
val.7870	lit
val.7872	lit
val.7874	lit
val.7875	lit
val.7877	lit
val.7878	lit
val.7880	lit
val.7882	lit
val.7883	lit
val.7884	lit
val.7886	lit
val.7888	lit
val.7889	lit
val.7892	lit
val.7893	lit
val.7895	node
val.7896	lit
val.7898	lit
val.7899	lit
val.7901	lit
val.7905	lit
val.7907	lit
val.7909	lit
val.7910	lit
val.7915	lit
val.7919	lit
val.7921	lit
val.7923	lit
val.7924	lit
val.7927	lit
val.7928	lit
val.7930	lit
val.7932	lit
val.7933	lit
val.7935	lit
val.7936	lit
val.7938	lit
val.7940	lit
val.7941	lit
val.7942	lit
val.7944	lit
val.7946	lit
val.7947	lit
val.7950	lit
val.7951	lit
val.7953	node
val.7954	lit
val.7956	lit
val.7957	lit
val.7961	lit
val.7963	lit
val.7965	lit
val.7969	lit
val.7971	lit
val.7973	lit
val.7974	lit
val.7977	lit
val.7978	lit
val.7980	lit
val.7982	lit
val.7983	lit
val.7985	lit
val.7986	lit
val.7988	lit
val.7990	lit
val.7991	lit
val.7992	lit
val.7994	lit
val.7996	lit
val.7997	lit
val.8000	lit
val.8001	lit
val.8003	node
val.8004	lit
val.8006	lit
val.8007	lit
val.7913	lit
val.8010	lit
val.8011	lit
val.8013	lit
val.8017	lit
val.8019	lit
val.8021	node
val.8022	node
val.8023	lit
val.8028	lit
val.8032	lit
val.8034	lit
val.8036	lit
val.8037	lit
val.8040	lit
val.8041	lit
val.8043	lit
val.8047	lit
val.8049	lit
val.8051	node
val.8052	node
val.8053	lit
val.8055	lit
val.8056	lit
val.8059	lit
val.8060	lit
val.8062	lit
val.8064	lit
val.8065	lit
val.8067	lit
val.8068	lit
val.8070	lit
val.8072	lit
val.8073	lit
val.8074	lit
val.8076	lit
val.8078	lit
val.8079	lit
val.8082	lit
val.8083	lit
val.8085	node
val.8086	lit
val.8088	lit
val.8089	lit
val.8093	lit
val.8095	lit
val.8097	lit
val.8101	lit
val.8103	lit
val.8105	lit
val.8106	lit
val.8109	lit
val.8110	lit
val.8112	lit
val.8116	lit
val.8118	lit
val.8120	node
val.8121	node
val.8122	lit
val.8124	lit
val.8125	lit
val.8128	lit
val.8129	lit
val.8131	lit
val.8133	lit
val.8134	lit
val.8136	lit
val.8137	lit
val.8139	lit
val.8141	lit
val.8142	lit
val.8143	lit
val.8145	lit
val.8147	lit
val.8148	lit
val.8151	lit
val.8152	lit
val.8154	node
val.8155	lit
val.8157	lit
val.8158	lit
val.8025	lit
val.8026	lit
val.8161	lit
val.8162	lit
val.8164	lit
val.8166	lit
val.8167	lit
val.8169	lit
val.8170	lit
val.8172	lit
val.8174	lit
val.8175	lit
val.8176	lit
val.8178	lit
val.8180	lit
val.8181	lit
val.8184	lit
val.8185	lit
val.8187	node
val.8188	lit
val.8190	lit
val.8191	lit
val.7380	lit
val.7381	lit
val.8194	lit
val.8195	lit
val.8198	lit
val.8201	node
val.8202	lit
val.8203	lit
val.8206	lit
val.8209	lit
val.8212	lit
val.8216	lit
val.8218	lit
val.8222	lit
val.8226	lit
val.8228	lit
val.8232	lit
val.8233	lit
val.8235	lit
val.8237	lit
sat.s63622.0	node
val.8239	lit
val.8240	lit
sat.s63623.0	node
sat.s63624.0	node
sat.s63625.0	node
val.8241	node
val.8243	lit
val.8247	lit
val.8248	lit
val.8249	node
sat.s63641.0	node
sat.s63642.0	node
val.8250	node
sat.s63643.0	node
val.8251	node
val.8252	node
val.8255	lit
val.8257	node
val.8259	lit
val.8261	lit
val.8263	lit
val.8265	lit
val.8267	lit
val.8268	node
val.8269	node
val.8270	node
val.8271	node
val.8274	node
val.8277	lit
val.8278	lit
val.8279	lit
val.8281	lit
val.8284	lit
val.8285	lit
val.8288	lit
val.8290	lit
val.8292	lit
val.8295	lit
val.8297	lit
val.8299	lit
val.8301	node
val.8304	lit
val.8306	lit
val.8308	lit
val.8311	lit
val.8313	lit
val.8315	lit
val.8317	node
val.8302	lit
val.8318	lit
val.8320	lit
val.8322	lit
val.8325	lit
val.8327	lit
val.8329	lit
val.8331	node
val.8332	lit
val.8339	lit
val.8341	lit
val.8343	node
val.8345	lit
val.8348	node
val.8350	node
val.8352	node
sat.s25804.0	node
val.8357	node
val.8359	node
val.8362	node
val.8364	node
val.8367	node
sat.s25764.0	node
val.8373	node
val.8375	lit
val.8377	node
sat.s25372.0	node
val.8382	node
sat.s25377.0	node
val.8383	node
val.8386	node
val.8388	node
val.8390	node
val.8392	node
val.8394	node
val.8395	lit
val.8396	node
val.8397	lit
val.8398	node
val.8399	lit
val.8400	node
sat.s38652.0	node
val.8405	lit
val.8411	node
val.8409	node
val.8413	lit
val.8414	lit
val.8417	node
val.8419	node
val.8412	node
val.8420	lit
val.8422	lit
val.8424	lit
sat.s37216.0	node
sat.s37217.0	node
val.8426	lit
sat.s37220.0	node
val.8427	node
val.8428	lit
val.8431	lit
sat.s37248.0	node
val.8436	node
val.8434	node
lvl43.s37307.0	node
val.8446	node
val.8441	node
val.8449	lit
val.8450	node
val.8451	lit
val.8452	node
val.8453	lit
val.8454	node
val.8455	lit
val.8456	lit
val.8457	node
val.8461	node
val.8464	lit
val.8466	lit
val.8467	lit
val.8468	lit
val.8470	lit
val.8471	lit
val.8472	lit
val.8474	lit
val.8476	lit
val.8477	lit
val.8478	lit
val.8480	lit
val.8482	lit
val.8483	lit
val.8484	lit
val.8486	lit
val.8488	lit
val.8489	lit
val.8490	lit
sat.s15154.0	node
sat.s15155.0	node
sat.s15157.0	node
sat.s15159.0	node
val.8495	lit
val.8501	node
val.8502	node
val.8503	lit
val.8505	lit
val.8507	lit
val.8509	lit
val.8511	lit
val.8512	lit
val.8513	node
val.8514	lit
val.8515	node
val.8516	lit
val.8517	node
val.8519	node
val.8521	node
sat.s9239.0	node
val.8523	node
val.8525	lit
val.8527	lit
val.8528	lit
val.8530	lit
val.8532	lit
val.8534	lit
val.8535	lit
val.8537	lit
val.8539	lit
val.8541	lit
val.8543	lit
val.8546	lit
val.8549	lit
val.8551	lit
val.8553	lit
val.8555	lit
val.8557	lit
val.8559	lit
val.8562	node
val.8563	lit
val.8565	lit
val.8567	lit
val.8569	lit
val.8570	node
val.8571	lit
val.8573	lit
val.8574	node
val.8575	lit
val.8576	node
val.8577	lit
val.8579	lit
val.8580	lit
val.8581	node
val.8582	lit
val.8583	node
val.8584	lit
val.8585	node
val.8586	lit
val.8588	lit
val.8594	lit
val.8598	lit
val.8599	lit
val.8600	lit
val.8602	lit
val.8603	lit
val.8607	lit
val.8608	lit
val.8609	lit
val.8611	lit
val.8612	lit
val.8614	lit
val.8616	lit
val.8622	lit
val.8625	lit
val.8627	lit
val.8628	lit
val.8618	lit
val.8619	lit
val.8630	lit
sat.s29111.0	node
val.8631	lit
val.8637	lit
val.8640	lit
val.8642	lit
val.8643	lit
val.8633	lit
val.8634	lit
val.8645	lit
sat.s29098.0	node
val.8646	lit
val.8653	lit
val.8655	lit
val.8657	lit
val.8663	lit
val.8665	lit
val.8667	lit
val.8672	lit
val.8674	lit
val.8676	lit
val.8681	lit
val.8683	lit
val.8685	lit
val.8691	lit
val.8693	lit
val.8695	lit
val.8699	lit
val.8701	lit
val.8703	lit
val.8648	lit
val.8717	lit
val.8719	lit
val.8722	lit
val.8725	lit
val.8727	lit
val.8729	lit
val.8731	lit
val.8733	lit
val.8735	lit
val.8737	lit
val.8738	lit
val.8739	lit
val.8741	lit
val.8743	lit
val.8745	lit
val.8749	lit
val.8747	lit
val.8751	lit
val.8755	lit
sat.s29197.0	node
val.8757	lit
val.8759	lit
val.8761	lit
val.8765	lit
val.8767	node
val.8768	node
sat.s29225.0	node
val.8769	lit
val.8773	lit
val.8775	node
val.8776	node
sat.s29226.0	node
sat.s29227.0	node
val.8777	lit
val.8779	lit
val.8780	lit
val.8781	lit
val.8782	lit
val.8784	lit
val.8753	lit
val.8786	lit
val.8787	lit
val.8788	lit
val.8790	lit
val.8791	lit
val.8792	lit
sat.s28933.0	node
sat.s28932.0	node
val.8796	lit
val.8797	node
val.8798	lit
val.8803	node
val.8800	lit
val.8805	lit
val.8806	lit
val.8809	node
val.8810	lit
val.8811	node
val.8812	node
val.8813	lit
val.8814	node
val.8815	lit
val.8816	node
val.8817	node
val.8818	node
val.8819	node
val.8820	node
val.8821	node
val.8822	node
val.8823	node
val.8824	node
val.8825	lit
val.8826	node
val.8827	lit
val.8828	node
val.8829	node
val.8830	node
val.8831	node
val.8832	lit
val.8833	node
val.8834	node
val.8835	lit
val.8836	node
val.8837	node
val.8838	lit
val.8839	node
val.8840	lit
val.8841	node
val.8842	lit
val.8843	node
val.8844	lit
val.8845	node
val.8846	lit
val.8847	node
val.8848	lit
val.8849	node
val.8850	lit
val.8851	node
val.8852	lit
val.8853	node
val.8854	lit
val.8855	node
val.8856	lit
val.8857	node
val.8858	lit
val.8859	node
val.8860	node
val.8861	lit
val.8862	node
val.8863	lit
val.8864	node
val.8865	lit
val.8866	node
val.8867	lit
val.8868	node
val.8869	lit
val.8870	node
val.8871	lit
val.8872	node
val.8873	lit
val.8874	node
val.8875	lit
val.8876	node
val.8877	lit
val.8878	node
val.8879	node
val.8880	node
val.8881	lit
val.8882	node
val.8883	lit
val.8884	node
val.8885	lit
val.8886	node
val.8887	lit
val.8888	node
val.8889	lit
val.8890	node
val.8891	lit
val.8892	node
val.8893	lit
val.8894	node
val.8895	node
val.8896	lit
val.8897	node
val.8898	node
val.8899	lit
val.8900	node
val.8901	lit
val.8902	lit
val.8903	lit
val.8904	lit
val.8905	node
val.8906	node
val.8907	lit
val.8908	node
val.8909	lit
val.8910	lit
val.8911	lit
val.8912	lit
val.8913	node
val.8914	node
val.8915	node
val.8916	lit
val.8917	lit
val.8918	lit
val.8919	lit
val.8920	node
val.8921	node
val.8922	lit
val.8923	lit
val.8924	lit
val.8925	lit
val.8926	node
val.8927	node
val.8928	lit
val.8929	lit
val.8930	lit
val.8931	lit
val.8932	node
val.8933	node
val.8934	lit
val.8935	node
val.8936	node
val.8937	lit
val.8938	node
val.8939	node
val.8940	node
val.8941	node
val.8942	node
val.8943	node
val.8944	node
val.8945	node
val.8946	lit
val.8947	node
val.8948	lit
val.8950	lit
sat.s16193.0	node
val.8952	node
val.8953	node
val.8957	lit
val.8959	lit
val.8960	lit
val.8961	lit
val.8962	lit
val.8964	node
val.8965	lit
val.8970	lit
sat.s48108.0	node
val.8972	node
val.8973	lit
val.8975	lit
val.8977	lit
val.8980	lit
val.8982	node
val.8984	node
val.8967	lit
val.8988	lit
sat.s47947.0	node
val.8990	node
val.8991	lit
val.8993	lit
val.8995	lit
val.8998	lit
val.9000	lit
sat.s47971.0	node
sat.s47970.0	node
sat.s47972.0	node
val.9002	node
val.9003	lit
val.9006	lit
val.9008	lit
sat.s47987.0	node
sat.s47986.0	node
sat.s47988.0	node
val.9010	node
val.9011	lit
val.9014	lit
val.9016	lit
sat.s48003.0	node
sat.s48002.0	node
sat.s48004.0	node
val.9018	node
val.9019	lit
val.9022	lit
val.9024	lit
sat.s48019.0	node
sat.s48018.0	node
sat.s48020.0	node
val.9026	node
val.9027	lit
val.9030	lit
val.9032	lit
sat.s48035.0	node
sat.s48034.0	node
sat.s48036.0	node
val.9034	node
val.9035	lit
val.9038	lit
val.9040	lit
sat.s48051.0	node
sat.s48050.0	node
sat.s48052.0	node
val.9042	node
val.9043	lit
val.8985	lit
val.9048	lit
val.9050	lit
val.9053	lit
val.9055	lit
val.9057	lit
val.9058	lit
val.9059	lit
val.9061	lit
val.9063	lit
val.9064	lit
val.9065	lit
val.9067	node
val.9068	node
val.9070	lit
val.9072	lit
val.9074	lit
val.9045	lit
val.9080	lit
val.9083	lit
val.9085	lit
val.9086	lit
val.9088	node
val.9089	lit
val.9091	lit
val.9093	node
val.9077	lit
val.9097	lit
sat.s47456.0	node
val.9099	node
val.9100	lit
val.9107	lit
val.9110	lit
val.9112	lit
val.9115	lit
val.9118	lit
val.9121	lit
val.9123	lit
val.9125	lit
sat.s47510.0	node
val.9127	node
val.9128	lit
val.9130	lit
val.9132	lit
val.9133	lit
val.9136	node
val.9137	lit
val.9139	lit
val.9141	lit
val.9143	lit
val.9145	lit
val.9147	lit
val.9149	lit
val.9151	lit
val.9104	lit
val.9102	lit
val.9153	lit
val.9155	lit
val.9157	lit
val.9159	lit
val.9161	lit
val.9163	lit
val.9165	lit
val.9167	lit
val.9169	lit
val.9171	lit
val.9173	lit
val.9175	lit
val.9094	lit
val.9177	lit
val.9178	node
val.9180	lit
val.9183	node
val.9184	node
val.9187	lit
val.9190	lit
val.9193	node
val.9194	node
val.9189	node
val.9195	node
val.9197	lit
val.9199	lit
val.9200	lit
val.9202	lit
val.9205	lit
val.9207	lit
val.9209	lit
val.9211	lit
val.9213	lit
val.9214	lit
val.9216	node
val.9217	lit
val.9219	node
val.9220	lit
val.9222	node