.model top
.inputs pv144_18_ pv126_20_ pv126_31_ pv94_30_ pv126_9_ pv129_0_ pv94_31_ \
pv144_19_ pv94_10_ pv94_21_ pv126_7_ pv126_10_ pv144_27_ pv176_31_ pv190_0_ \
pv94_11_ pv94_20_ pv126_8_ pv144_28_ pv176_30_ pv30_18_ pv30_29_ pv126_5_ \
pv144_29_ pv30_19_ pv30_28_ pv126_6_ pv128_0_ pv190_1_ pv30_9_ pv62_2_ pv64_0_ \
pv126_14_ pv126_27_ pv176_8_ pv176_22_ pv188_23_ pv30_8_ pv62_3_ pv126_13_ \
pv126_28_ pv176_7_ pv176_23_ pv178_1_ pv188_24_ pv30_7_ pv62_0_ pv126_12_ \
pv126_25_ pv176_6_ pv176_20_ pv178_0_ pv188_25_ pv30_6_ pv62_1_ pv63_0_ \
pv126_11_ pv126_26_ pv176_5_ pv176_21_ pv188_26_ pv30_5_ pv62_6_ pv94_7_ \
pv126_18_ pv126_23_ pv176_13_ pv188_27_ pv30_4_ pv62_7_ pv94_6_ pv126_17_ \
pv126_24_ pv176_12_ pv188_28_ pv30_3_ pv62_4_ pv94_9_ pv126_16_ pv126_21_ \
pv126_30_ pv130_0_ pv176_11_ pv188_29_ pv30_2_ pv62_5_ pv94_8_ pv126_15_ \
pv126_22_ pv176_9_ pv176_10_ pv30_30_ pv62_15_ pv62_26_ pv94_3_ pv176_0_ \
pv176_17_ pv30_31_ pv62_16_ pv62_25_ pv94_2_ pv176_16_ pv201_0_ pv62_8_ \
pv62_17_ pv62_28_ pv94_5_ pv176_15_ pv176_28_ pv201_1_ pv62_9_ pv62_18_ \
pv62_27_ pv94_4_ pv126_19_ pv176_14_ pv176_29_ pv191_31_ pv201_2_ pv62_19_ \
pv176_4_ pv176_26_ pv62_29_ pv176_3_ pv176_27_ pv188_31_ pv126_29_ pv176_2_ \
pv176_19_ pv176_24_ pv188_30_ pv176_1_ pv176_18_ pv176_25_ pv188_22_ pv30_16_ \
pv30_27_ pv94_14_ pv94_25_ pv126_3_ pv127_0_ pv144_23_ pv201_7_ pv30_17_ \
pv30_26_ pv62_30_ pv94_15_ pv94_24_ pv126_4_ pv144_24_ pv30_14_ pv30_25_ \
pv62_20_ pv94_12_ pv94_23_ pv126_1_ pv144_25_ pv30_15_ pv30_24_ pv62_10_ \
pv94_13_ pv94_22_ pv126_2_ pv144_26_ pv30_12_ pv30_23_ pv62_11_ pv62_22_ \
pv94_18_ pv94_29_ pv201_3_ pv30_13_ pv30_22_ pv62_12_ pv62_21_ pv94_19_ \
pv94_28_ pv126_0_ pv144_20_ pv144_31_ pv201_4_ pv30_10_ pv30_21_ pv62_13_ \
pv62_24_ pv62_31_ pv94_16_ pv94_27_ pv144_21_ pv144_30_ pv193_1_ pv201_5_ \
pv30_11_ pv30_20_ pv62_14_ pv62_23_ pv94_17_ pv94_26_ pv144_22_ pv193_0_ \
pv201_6_
.outputs pv202_0_
.names nv209 nv213 nv212 [1] [3] [456] [457] pv202_0_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names pv201_0_ pv201_1_ [301] [302] [303] [304] nv209
011--- 1
01-1-- 1
01--1- 1
01---1 1
.names pv201_0_ pv201_1_ [332] [333] [334] [335] nv213
111--- 1
11-1-- 1
11--1- 1
11---1 1
.names pv201_0_ pv201_1_ [363] [364] [365] [366] nv212
111--- 1
11-1-- 1
11--1- 1
11---1 1
.names pv129_0_ pv201_0_ pv201_1_ [409] [410] [411] [412] [1]
10----- 1
-011--- 1
-01-1-- 1
-01--1- 1
-01---1 1
.names pv201_2_ [428] [429] [442] [443] [3]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names pv190_0_ pv190_1_ pv188_31_ pv188_30_ pv201_5_ [4]
1---1 1
-1--1 1
--1-1 1
---11 1
.names pv188_23_ pv188_24_ pv188_25_ pv188_22_ pv201_5_ [29]
1---1 1
-1--1 1
--1-1 1
---11 1
.names pv30_18_ pv30_29_ pv30_19_ pv30_28_ pv30_9_ pv30_8_ pv30_7_ pv62_0_ \
[301]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv30_6_ pv62_1_ pv30_5_ pv30_4_ pv30_3_ pv30_2_ pv30_30_ pv30_31_ [302]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv30_16_ pv30_27_ pv30_17_ pv30_26_ pv30_14_ pv30_25_ pv30_15_ pv30_24_ \
[303]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv30_12_ pv30_23_ pv30_13_ pv30_22_ pv30_10_ pv30_21_ pv30_11_ pv30_20_ \
[304]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv126_20_ pv126_31_ pv126_9_ pv126_7_ pv126_10_ pv126_8_ pv126_5_ \
pv126_6_ [332]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv128_0_ pv126_14_ pv126_27_ pv126_13_ pv126_28_ pv126_12_ pv126_25_ \
pv126_11_ [333]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv126_26_ pv126_18_ pv126_23_ pv126_17_ pv126_24_ pv126_16_ pv126_21_ \
pv126_30_ [334]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv126_15_ pv126_22_ pv126_19_ pv126_29_ pv126_3_ pv127_0_ pv126_4_ \
pv126_2_ [335]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv94_30_ pv94_31_ pv94_10_ pv94_21_ pv94_11_ pv94_20_ pv94_7_ pv94_6_ \
[363]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv94_9_ pv94_8_ pv94_3_ pv94_2_ pv94_5_ pv94_4_ pv94_14_ pv94_25_ [364]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv94_15_ pv94_24_ pv94_12_ pv94_23_ pv126_1_ pv94_13_ pv94_22_ pv94_18_ \
[365]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv94_29_ pv94_19_ pv94_28_ pv126_0_ pv94_16_ pv94_27_ pv94_17_ pv94_26_ \
[366]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv144_18_ pv144_19_ pv144_27_ pv144_28_ pv144_29_ pv176_0_ pv176_1_ \
pv144_23_ [382]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv144_24_ pv144_25_ pv144_26_ pv144_20_ pv144_31_ pv144_21_ pv144_30_ \
pv144_22_ [383]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv62_2_ pv64_0_ pv62_3_ pv63_0_ pv62_6_ pv62_7_ pv62_4_ pv62_5_ [409]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv62_15_ pv62_26_ pv62_16_ pv62_25_ pv62_8_ pv62_17_ pv62_28_ pv62_9_ \
[410]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv62_18_ pv62_27_ pv62_19_ pv62_29_ pv62_30_ pv62_20_ pv62_10_ pv62_11_ \
[411]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv62_22_ pv62_12_ pv62_21_ pv62_13_ pv62_24_ pv62_31_ pv62_14_ pv62_23_ \
[412]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv176_31_ pv176_30_ pv176_22_ pv176_23_ pv178_1_ pv176_20_ pv178_0_ \
pv176_21_ [428]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv176_28_ pv176_29_ pv176_26_ pv176_27_ pv176_19_ pv176_24_ pv176_18_ \
pv176_25_ [429]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv176_8_ pv176_7_ pv176_6_ pv176_5_ pv176_13_ pv176_12_ pv176_11_ \
pv176_9_ [442]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv176_10_ pv176_17_ pv176_16_ pv176_15_ pv176_14_ pv176_4_ pv176_3_ \
pv176_2_ [443]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv190_0_ pv190_1_ pv188_26_ pv188_27_ pv188_28_ pv188_29_ pv188_31_ \
pv188_30_ [452]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pv130_0_ pv201_0_ pv191_31_ pv201_7_ pv193_1_ pv193_0_ pv201_6_ [454]
11----- 1
---11-- 1
----1-1 1
-----11 1
--11--1 1
.names pv201_2_ pv201_3_ pv201_4_ [29] [382] [383] [452] [456]
--11--- 1
--1---1 1
11--1-- 1
11---1- 1
.names pv201_3_ [4] [428] [429] [454] [457]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.end