.model top
.inputs pv56_12_ pv56_23_ pv88_6_ pv88_19_ pv56_13_ pv56_22_ pv88_7_ pv88_29_ \
pv56_14_ pv56_25_ pv88_8_ pv88_17_ pv88_28_ pv56_15_ pv56_24_ pv88_9_ pv88_18_ \
pv88_27_ pv9_5_ pv56_30_ pv88_2_ pv88_15_ pv88_26_ pv9_6_ pv24_10_ pv56_31_ \
pv88_3_ pv88_16_ pv88_25_ pv9_7_ pv9_10_ pv56_10_ pv56_21_ pv88_4_ pv88_13_ \
pv88_24_ pv9_8_ pv56_11_ pv56_20_ pv88_5_ pv88_14_ pv88_23_ pv56_5_ pv88_11_ \
pv88_22_ pv56_4_ pv88_12_ pv88_21_ pv56_7_ pv88_20_ pv56_6_ pv88_10_ pv24_8_ \
pv56_9_ pv24_9_ pv56_8_ pv24_6_ pv24_7_ pv24_4_ pv24_5_ pv24_2_ pv24_3_ \
pv24_0_ pv56_1_ pv24_1_ pv56_0_ pv88_30_ pv56_3_ pv88_31_ pv56_2_ pv9_1_ \
pv24_13_ pv9_2_ pv24_14_ pv9_3_ pv24_11_ pv88_0_ pv24_12_ pv88_1_ pv56_16_ \
pv56_27_ pv56_17_ pv56_26_ pv56_18_ pv56_29_ pv9_0_ pv56_19_ pv56_28_
.outputs pv119_1_ pv119_0_ pv119_3_ pv119_30_ pv119_2_ pv151_1_ pv151_18_ \
pv151_0_ pv151_19_ pv119_21_ pv151_3_ pv151_16_ pv119_20_ pv151_2_ pv151_17_ \
pv119_9_ pv119_23_ pv151_27_ pv119_8_ pv119_22_ pv151_26_ pv119_25_ pv151_29_ \
pv119_24_ pv151_28_ pv119_5_ pv119_27_ pv119_4_ pv119_26_ pv119_7_ pv119_29_ \
pv119_6_ pv119_28_ pv119_18_ pv119_19_ pv119_16_ pv151_21_ pv119_17_ pv151_20_ \
pv119_14_ pv151_23_ pv119_15_ pv151_22_ pv119_12_ pv151_25_ pv151_30_ \
pv119_13_ pv151_24_ pv151_31_ pv119_10_ pv151_5_ pv151_14_ pv119_11_ pv151_4_ \
pv151_15_ pv151_7_ pv151_12_ pv151_6_ pv151_13_ pv151_9_ pv151_10_ pv151_8_ \
pv151_11_
.names n_n3 n_n2 [1268] [1270] pv119_1_
---1 1
01-- 1
000- 1
.names n_n3 n_n2 [1268] [1272] pv119_0_
---1 1
01-- 1
000- 1
.names n_n3 n_n2 [1268] [1274] pv119_3_
---1 1
01-- 1
000- 1
.names pv56_31_ pv56_20_ n_n3 n_n2 [1277] pv119_30_
----1 1
-110- 1
1-00- 1
.names n_n3 n_n2 [1268] [1279] pv119_2_
---1 1
01-- 1
000- 1
.names pv56_22_ pv56_25_ n_n3 n_n2 [1282] pv151_1_
----1 1
-101- 1
1-10- 1
.names pv88_7_ pv88_18_ n_n3 n_n2 [1285] pv151_18_
----1 1
1-10- 1
-100- 1
.names pv56_24_ pv56_21_ n_n3 n_n2 [1288] pv151_0_
----1 1
1-01- 1
-110- 1
.names pv88_19_ pv88_4_ n_n3 n_n2 [1290] pv151_19_
----1 1
-111- 1
1-00- 1
.names pv56_22_ pv56_11_ n_n3 n_n2 [1293] pv119_21_
----1 1
-110- 1
1-00- 1
.names pv56_24_ pv56_27_ n_n3 n_n2 [1296] pv151_3_
----1 1
-101- 1
1-10- 1
.names pv88_16_ pv88_5_ n_n3 n_n2 [1299] pv151_16_
----1 1
-110- 1
1-00- 1
.names pv56_10_ pv56_21_ n_n3 n_n2 [1302] pv119_20_
----1 1
1-10- 1
-100- 1
.names pv56_23_ pv56_26_ n_n3 n_n2 [1305] pv151_2_
----1 1
-101- 1
1-10- 1
.names pv88_6_ pv88_17_ n_n3 n_n2 [1308] pv151_17_
----1 1
1-10- 1
-100- 1
.names pv56_10_ pv24_9_ n_n3 n_n2 [1310] pv119_9_
----1 1
-111- 1
1-00- 1
.names pv56_13_ pv56_24_ n_n3 n_n2 [1313] pv119_23_
----1 1
1-10- 1
-100- 1
.names pv88_19_ pv88_16_ n_n3 n_n2 [1316] pv151_27_
----1 1
1-01- 1
-110- 1
.names pv24_8_ pv56_9_ n_n3 n_n2 [1318] pv119_8_
----1 1
1-11- 1
-100- 1
.names pv56_12_ pv56_23_ n_n3 n_n2 [1321] pv119_22_
----1 1
1-10- 1
-100- 1
.names pv88_15_ pv88_26_ n_n3 n_n2 [1324] pv151_26_
----1 1
1-10- 1
-100- 1
.names pv56_15_ pv56_26_ n_n3 n_n2 [1327] pv119_25_
----1 1
1-10- 1
-100- 1
.names pv88_18_ pv88_21_ n_n3 n_n2 [1330] pv151_29_
----1 1
-101- 1
1-10- 1
.names pv56_14_ pv56_25_ n_n3 n_n2 [1333] pv119_24_
----1 1
1-10- 1
-100- 1
.names pv88_17_ pv88_20_ n_n3 n_n2 [1336] pv151_28_
----1 1
-101- 1
1-10- 1
.names n_n3 n_n2 [1268] [1338] pv119_5_
---1 1
01-- 1
000- 1
.names pv56_17_ pv56_28_ n_n3 n_n2 [1341] pv119_27_
----1 1
1-10- 1
-100- 1
.names n_n3 n_n2 [1268] [1343] pv119_4_
---1 1
01-- 1
000- 1
.names pv56_16_ pv56_27_ n_n3 n_n2 [1346] pv119_26_
----1 1
1-10- 1
-100- 1
.names pv56_8_ pv24_7_ n_n3 n_n2 [1348] pv119_7_
----1 1
-111- 1
1-00- 1
.names pv56_30_ pv56_19_ n_n3 n_n2 [1351] pv119_29_
----1 1
-110- 1
1-00- 1
.names n_n3 n_n2 [1268] [1353] pv119_6_
---1 1
01-- 1
000- 1
.names pv56_18_ pv56_29_ n_n3 n_n2 [1356] pv119_28_
----1 1
1-10- 1
-100- 1
.names pv56_8_ pv56_19_ n_n3 n_n2 [1359] pv119_18_
----1 1
1-10- 1
-100- 1
.names pv56_20_ pv56_9_ n_n3 n_n2 [1362] pv119_19_
----1 1
-110- 1
1-00- 1
.names pv56_6_ pv56_17_ n_n3 n_n2 [1365] pv119_16_
----1 1
1-10- 1
-100- 1
.names pv88_6_ pv88_21_ n_n3 n_n2 [1367] pv151_21_
----1 1
1-11- 1
-100- 1
.names pv56_7_ pv56_18_ n_n3 n_n2 [1370] pv119_17_
----1 1
1-10- 1
-100- 1
.names pv88_5_ pv88_20_ n_n3 n_n2 [1372] pv151_20_
----1 1
1-11- 1
-100- 1
.names pv56_15_ pv56_4_ n_n3 n_n2 [1375] pv119_14_
----1 1
-110- 1
1-00- 1
.names pv88_23_ pv88_12_ n_n3 n_n2 [1378] pv151_23_
----1 1
-110- 1
1-00- 1
.names pv56_5_ pv56_16_ n_n3 n_n2 [1381] pv119_15_
----1 1
1-10- 1
-100- 1
.names pv88_7_ pv88_22_ n_n3 n_n2 [1383] pv151_22_
----1 1
1-11- 1
-100- 1
.names pv56_13_ pv56_2_ n_n3 n_n2 [1386] pv119_12_
----1 1
-110- 1
1-00- 1
.names pv88_25_ pv88_14_ n_n3 n_n2 [1389] pv151_25_
----1 1
-110- 1
1-00- 1
.names pv88_19_ pv88_22_ n_n3 n_n2 [1392] pv151_30_
----1 1
-101- 1
1-10- 1
.names pv56_14_ pv56_3_ n_n3 n_n2 [1395] pv119_13_
----1 1
-110- 1
1-00- 1
.names pv88_13_ pv88_24_ n_n3 n_n2 [1398] pv151_24_
----1 1
1-10- 1
-100- 1
.names pv88_23_ pv88_20_ n_n3 n_n2 [1401] pv151_31_
----1 1
1-01- 1
-110- 1
.names pv24_10_ pv56_11_ n_n3 n_n2 [1403] pv119_10_
----1 1
1-11- 1
-100- 1
.names pv56_26_ pv56_29_ n_n3 n_n2 [1406] pv151_5_
----1 1
-101- 1
1-10- 1
.names pv88_6_ pv88_3_ n_n3 n_n2 [1409] pv151_14_
----1 1
1-01- 1
-110- 1
.names pv56_12_ pv56_1_ n_n3 n_n2 [1412] pv119_11_
----1 1
-110- 1
1-00- 1
.names pv56_25_ pv56_28_ n_n3 n_n2 [1415] pv151_4_
----1 1
-101- 1
1-10- 1
.names pv88_7_ pv88_4_ n_n3 n_n2 [1418] pv151_15_
----1 1
1-01- 1
-110- 1
.names pv56_31_ pv56_28_ n_n3 n_n2 [1421] pv151_7_
----1 1
1-01- 1
-110- 1
.names pv88_4_ pv88_1_ n_n3 n_n2 [1424] pv151_12_
----1 1
1-01- 1
-110- 1
.names pv56_30_ pv56_27_ n_n3 n_n2 [1427] pv151_6_
----1 1
1-01- 1
-110- 1
.names pv88_2_ pv88_5_ n_n3 n_n2 [1430] pv151_13_
----1 1
-101- 1
1-10- 1
.names pv56_30_ pv88_1_ n_n3 n_n2 [1433] pv151_9_
----1 1
-101- 1
1-10- 1
.names pv88_2_ pv56_31_ n_n3 n_n2 [1436] pv151_10_
----1 1
1-01- 1
-110- 1
.names pv88_0_ pv56_29_ n_n3 n_n2 [1439] pv151_8_
----1 1
1-01- 1
-110- 1
.names pv88_3_ pv88_0_ n_n3 n_n2 [1442] pv151_11_
----1 1
1-01- 1
-110- 1
.names [390] [393] [394] [1257] n_n3
1--- 1
-1-- 1
--1- 1
---1 1
.names [385] [386] [389] [1266] n_n2
1--- 1
-1-- 1
--1- 1
---1 1
.names pv9_5_ pv9_6_ pv9_10_ pv9_2_ [385]
0000 1
.names pv9_7_ pv9_10_ pv9_1_ pv9_2_ [386]
1-00 1
-100 1
.names pv9_10_ pv9_8_ pv9_1_ [389]
011 1
.names pv9_5_ pv9_6_ pv9_10_ pv9_1_ pv9_0_ [390]
00001 1
.names pv9_5_ pv9_6_ pv9_1_ pv9_2_ [393]
0000 1
.names pv9_7_ pv9_10_ pv9_1_ pv9_2_ [394]
1-00 1
-100 1
.names pv9_10_ pv9_8_ pv9_1_ pv9_2_ pv9_3_ [1257]
0101- 1
0-110 1
.names pv9_5_ pv9_7_ pv9_10_ pv9_0_ [1266]
0-00 1
-100 1
.names pv9_10_ pv9_1_ pv9_2_ [1268]
1-- 1
-11 1
.names pv88_2_ pv24_1_ pv56_2_ n_n3 n_n2 [1270]
--10- 1
-1--1 1
1--10 1
.names pv24_0_ pv56_1_ pv88_1_ n_n3 n_n2 [1272]
-1-0- 1
1---1 1
--110 1
.names pv88_4_ pv56_4_ pv24_3_ n_n3 n_n2 [1274]
-1-0- 1
--1-1 1
1--10 1
.names pv56_23_ pv56_16_ n_n3 n_n2 [1268] [1277]
-111- 1
1-01- 1
--000 1
.names pv88_3_ pv24_2_ pv56_3_ n_n3 n_n2 [1279]
--10- 1
-1--1 1
1--10 1
.names pv88_1_ pv56_18_ n_n3 n_n2 [1268] [1282]
-111- 1
1-00- 1
--000 1
.names pv88_3_ pv88_10_ n_n3 n_n2 [1268] [1285]
1-11- 1
-101- 1
--000 1
.names pv88_0_ pv56_17_ n_n3 n_n2 [1268] [1288]
-111- 1
1-00- 1
--000 1
.names pv88_8_ pv88_11_ n_n3 n_n2 [1268] [1290]
-101- 1
1-10- 1
--000 1
.names pv56_14_ pv56_7_ n_n3 n_n2 [1268] [1293]
-111- 1
1-01- 1
--000 1
.names pv88_3_ pv56_20_ n_n3 n_n2 [1268] [1296]
-111- 1
1-00- 1
--000 1
.names pv88_8_ pv88_1_ n_n3 n_n2 [1268] [1299]
-111- 1
1-01- 1
--000 1
.names pv56_13_ pv56_6_ n_n3 n_n2 [1268] [1302]
-111- 1
1-01- 1
--000 1
.names pv88_2_ pv56_19_ n_n3 n_n2 [1268] [1305]
-111- 1
1-00- 1
--000 1
.names pv88_9_ pv88_2_ n_n3 n_n2 [1268] [1308]
-111- 1
1-01- 1
--000 1
.names pv88_10_ pv56_2_ n_n3 n_n2 [1268] [1310]
-101- 1
1-10- 1
--000 1
.names pv56_9_ pv56_16_ n_n3 n_n2 [1268] [1313]
1-11- 1
-101- 1
--000 1
.names pv88_27_ pv88_12_ n_n3 n_n2 [1268] [1316]
-111- 1
1-00- 1
--000 1
.names pv88_9_ pv56_1_ n_n3 n_n2 [1268] [1318]
-101- 1
1-10- 1
--000 1
.names pv56_15_ pv56_8_ n_n3 n_n2 [1268] [1321]
-111- 1
1-01- 1
--000 1
.names pv88_18_ pv88_11_ n_n3 n_n2 [1268] [1324]
-111- 1
1-01- 1
--000 1
.names pv56_11_ pv56_18_ n_n3 n_n2 [1268] [1327]
1-11- 1
-101- 1
--000 1
.names pv88_29_ pv88_14_ n_n3 n_n2 [1268] [1330]
-111- 1
1-00- 1
--000 1
.names pv56_10_ pv56_17_ n_n3 n_n2 [1268] [1333]
1-11- 1
-101- 1
--000 1
.names pv88_28_ pv88_13_ n_n3 n_n2 [1268] [1336]
-111- 1
1-00- 1
--000 1
.names pv88_6_ pv56_6_ pv24_5_ n_n3 n_n2 [1338]
-1-0- 1
--1-1 1
1--10 1
.names pv56_13_ pv56_20_ n_n3 n_n2 [1268] [1341]
1-11- 1
-101- 1
--000 1
.names pv88_5_ pv56_5_ pv24_4_ n_n3 n_n2 [1343]
-1-0- 1
--1-1 1
1--10 1
.names pv56_12_ pv56_19_ n_n3 n_n2 [1268] [1346]
1-11- 1
-101- 1
--000 1
.names pv88_8_ pv56_0_ n_n3 n_n2 [1268] [1348]
-101- 1
1-10- 1
--000 1
.names pv56_22_ pv56_15_ n_n3 n_n2 [1268] [1351]
-111- 1
1-01- 1
--000 1
.names pv88_7_ pv56_7_ pv24_6_ n_n3 n_n2 [1353]
-1-0- 1
--1-1 1
1--10 1
.names pv56_14_ pv56_21_ n_n3 n_n2 [1268] [1356]
1-11- 1
-101- 1
--000 1
.names pv56_11_ pv56_4_ n_n3 n_n2 [1268] [1359]
-111- 1
1-01- 1
--000 1
.names pv56_12_ pv56_5_ n_n3 n_n2 [1268] [1362]
-111- 1
1-01- 1
--000 1
.names pv56_9_ pv56_2_ n_n3 n_n2 [1268] [1365]
-111- 1
1-01- 1
--000 1
.names pv88_13_ pv88_10_ n_n3 n_n2 [1268] [1367]
1-01- 1
-110- 1
--000 1
.names pv56_10_ pv56_3_ n_n3 n_n2 [1268] [1370]
-111- 1
1-01- 1
--000 1
.names pv88_9_ pv88_12_ n_n3 n_n2 [1268] [1372]
-101- 1
1-10- 1
--000 1
.names pv56_7_ pv24_14_ n_n3 n_n2 [1268] [1375]
-111- 1
1-01- 1
--000 1
.names pv88_8_ pv88_15_ n_n3 n_n2 [1268] [1378]
1-11- 1
-101- 1
--000 1
.names pv56_8_ pv56_1_ n_n3 n_n2 [1268] [1381]
-111- 1
1-01- 1
--000 1
.names pv88_14_ pv88_11_ n_n3 n_n2 [1268] [1383]
1-01- 1
-110- 1
--000 1
.names pv56_5_ pv24_12_ n_n3 n_n2 [1268] [1386]
-111- 1
1-01- 1
--000 1
.names pv88_17_ pv88_10_ n_n3 n_n2 [1268] [1389]
-111- 1
1-01- 1
--000 1
.names pv88_15_ pv88_30_ n_n3 n_n2 [1268] [1392]
1-11- 1
-100- 1
--000 1
.names pv56_6_ pv24_13_ n_n3 n_n2 [1268] [1395]
-111- 1
1-01- 1
--000 1
.names pv88_9_ pv88_16_ n_n3 n_n2 [1268] [1398]
1-11- 1
-101- 1
--000 1
.names pv88_16_ pv88_31_ n_n3 n_n2 [1268] [1401]
1-11- 1
-100- 1
--000 1
.names pv88_11_ pv56_3_ n_n3 n_n2 [1268] [1403]
-101- 1
1-10- 1
--000 1
.names pv56_22_ pv88_5_ n_n3 n_n2 [1268] [1406]
1-11- 1
-100- 1
--000 1
.names pv56_31_ pv88_14_ n_n3 n_n2 [1268] [1409]
1-11- 1
-100- 1
--000 1
.names pv56_4_ pv24_11_ n_n3 n_n2 [1268] [1412]
-111- 1
1-01- 1
--000 1
.names pv56_21_ pv88_4_ n_n3 n_n2 [1268] [1415]
1-11- 1
-100- 1
--000 1
.names pv88_15_ pv88_0_ n_n3 n_n2 [1268] [1418]
-111- 1
1-00- 1
--000 1
.names pv88_7_ pv56_24_ n_n3 n_n2 [1268] [1421]
-111- 1
1-00- 1
--000 1
.names pv88_12_ pv56_29_ n_n3 n_n2 [1268] [1424]
-111- 1
1-00- 1
--000 1
.names pv56_23_ pv88_6_ n_n3 n_n2 [1268] [1427]
1-11- 1
-100- 1
--000 1
.names pv56_30_ pv88_13_ n_n3 n_n2 [1268] [1430]
1-11- 1
-100- 1
--000 1
.names pv88_9_ pv56_26_ n_n3 n_n2 [1268] [1433]
-111- 1
1-00- 1
--000 1
.names pv88_10_ pv56_27_ n_n3 n_n2 [1268] [1436]
-111- 1
1-00- 1
--000 1
.names pv56_25_ pv88_8_ n_n3 n_n2 [1268] [1439]
1-11- 1
-100- 1
--000 1
.names pv88_11_ pv56_28_ n_n3 n_n2 [1268] [1442]
-111- 1
1-00- 1
--000 1
.end