.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 pv88_2_ pv24_1_ pv56_2_ n_n2 [1258] [1259] [1268] pv119_1_
-1-1--- 1
1--01-- 1
1--0-1- 1
--1-00- 1
---100- 1
---0000 1
.names pv24_0_ pv56_1_ pv88_1_ n_n2 [1258] [1259] [1268] pv119_0_
1--1--- 1
--101-- 1
--10-1- 1
-1--00- 1
---100- 1
---0000 1
.names pv88_4_ pv56_4_ pv24_3_ n_n2 [1258] [1259] [1268] pv119_3_
--11--- 1
1--01-- 1
1--0-1- 1
-1--00- 1
---100- 1
---0000 1
.names pv56_23_ pv56_31_ pv56_20_ pv56_16_ n_n2 [1258] [1259] [1268] pv119_30_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv88_3_ pv24_2_ pv56_3_ n_n2 [1258] [1259] [1268] pv119_2_
-1-1--- 1
1--01-- 1
1--0-1- 1
--1-00- 1
---100- 1
---0000 1
.names pv56_22_ pv56_25_ pv88_1_ pv56_18_ n_n2 [1258] [1259] [1268] pv151_1_
---111-- 1
1---01-- 1
---11-1- 1
1---0-1- 1
-1--100- 1
--1-000- 1
----0000 1
.names pv88_7_ pv88_18_ pv88_3_ pv88_10_ n_n2 [1258] [1259] [1268] pv151_18_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv56_24_ pv56_21_ pv88_0_ pv56_17_ n_n2 [1258] [1259] [1268] pv151_0_
---111-- 1
-1--01-- 1
---11-1- 1
-1--0-1- 1
1---100- 1
--1-000- 1
----0000 1
.names pv88_19_ pv88_8_ pv88_4_ pv88_11_ n_n2 [1258] [1259] [1268] pv151_19_
--1-11-- 1
-1--01-- 1
--1-1-1- 1
-1--0-1- 1
---1100- 1
1---000- 1
----0000 1
.names pv56_22_ pv56_14_ pv56_11_ pv56_7_ n_n2 [1258] [1259] [1268] pv119_21_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
-1--100- 1
1---000- 1
----0000 1
.names pv56_24_ pv88_3_ pv56_20_ pv56_27_ n_n2 [1258] [1259] [1268] pv151_3_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv88_8_ pv88_16_ pv88_5_ pv88_1_ n_n2 [1258] [1259] [1268] pv151_16_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv56_13_ pv56_10_ pv56_21_ pv56_6_ n_n2 [1258] [1259] [1268] pv119_20_
---111-- 1
-1--01-- 1
---11-1- 1
-1--0-1- 1
1---100- 1
--1-000- 1
----0000 1
.names pv56_23_ pv88_2_ pv56_26_ pv56_19_ n_n2 [1258] [1259] [1268] pv151_2_
---111-- 1
1---01-- 1
---11-1- 1
1---0-1- 1
--1-100- 1
-1--000- 1
----0000 1
.names pv88_6_ pv88_17_ pv88_9_ pv88_2_ n_n2 [1258] [1259] [1268] pv151_17_
---111-- 1
1---01-- 1
---11-1- 1
1---0-1- 1
--1-100- 1
-1--000- 1
----0000 1
.names pv56_10_ pv88_10_ pv24_9_ pv56_2_ n_n2 [1258] [1259] [1268] pv119_9_
--1-11-- 1
-1--01-- 1
--1-1-1- 1
-1--0-1- 1
---1100- 1
1---000- 1
----0000 1
.names pv56_13_ pv56_24_ pv56_9_ pv56_16_ n_n2 [1258] [1259] [1268] pv119_23_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv88_19_ pv88_27_ pv88_16_ pv88_12_ n_n2 [1258] [1259] [1268] pv151_27_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv88_9_ pv24_8_ pv56_9_ pv56_1_ n_n2 [1258] [1259] [1268] pv119_8_
-1--11-- 1
1---01-- 1
-1--1-1- 1
1---0-1- 1
---1100- 1
--1-000- 1
----0000 1
.names pv56_12_ pv56_23_ pv56_15_ pv56_8_ n_n2 [1258] [1259] [1268] pv119_22_
---111-- 1
1---01-- 1
---11-1- 1
1---0-1- 1
--1-100- 1
-1--000- 1
----0000 1
.names pv88_18_ pv88_15_ pv88_26_ pv88_11_ n_n2 [1258] [1259] [1268] pv151_26_
---111-- 1
-1--01-- 1
---11-1- 1
-1--0-1- 1
1---100- 1
--1-000- 1
----0000 1
.names pv56_15_ pv56_11_ pv56_26_ pv56_18_ n_n2 [1258] [1259] [1268] pv119_25_
-1--11-- 1
1---01-- 1
-1--1-1- 1
1---0-1- 1
---1100- 1
--1-000- 1
----0000 1
.names pv88_29_ pv88_18_ pv88_14_ pv88_21_ n_n2 [1258] [1259] [1268] pv151_29_
--1-11-- 1
-1--01-- 1
--1-1-1- 1
-1--0-1- 1
---1100- 1
1---000- 1
----0000 1
.names pv56_14_ pv56_25_ pv56_10_ pv56_17_ n_n2 [1258] [1259] [1268] pv119_24_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv88_17_ pv88_28_ pv88_13_ pv88_20_ n_n2 [1258] [1259] [1268] pv151_28_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv88_6_ pv56_6_ pv24_5_ n_n2 [1258] [1259] [1268] pv119_5_
--11--- 1
1--01-- 1
1--0-1- 1
-1--00- 1
---100- 1
---0000 1
.names pv56_13_ pv56_20_ pv56_17_ pv56_28_ n_n2 [1258] [1259] [1268] pv119_27_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv88_5_ pv56_5_ pv24_4_ n_n2 [1258] [1259] [1268] pv119_4_
--11--- 1
1--01-- 1
1--0-1- 1
-1--00- 1
---100- 1
---0000 1
.names pv56_12_ pv56_16_ pv56_27_ pv56_19_ n_n2 [1258] [1259] [1268] pv119_26_
1---11-- 1
-1--01-- 1
1---1-1- 1
-1--0-1- 1
---1100- 1
--1-000- 1
----0000 1
.names pv88_8_ pv56_8_ pv24_7_ pv56_0_ n_n2 [1258] [1259] [1268] pv119_7_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv56_22_ pv56_15_ pv56_30_ pv56_19_ n_n2 [1258] [1259] [1268] pv119_29_
-1--11-- 1
---101-- 1
-1--1-1- 1
---10-1- 1
1---100- 1
--1-000- 1
----0000 1
.names pv88_7_ pv56_7_ pv24_6_ n_n2 [1258] [1259] [1268] pv119_6_
--11--- 1
1--01-- 1
1--0-1- 1
-1--00- 1
---100- 1
---0000 1
.names pv56_14_ pv56_21_ pv56_18_ pv56_29_ n_n2 [1258] [1259] [1268] pv119_28_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv56_11_ pv56_4_ pv56_8_ pv56_19_ n_n2 [1258] [1259] [1268] pv119_18_
-1--11-- 1
--1-01-- 1
-1--1-1- 1
--1-0-1- 1
1---100- 1
---1000- 1
----0000 1
.names pv56_12_ pv56_20_ pv56_5_ pv56_9_ n_n2 [1258] [1259] [1268] pv119_19_
--1-11-- 1
---101-- 1
--1-1-1- 1
---10-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv56_6_ pv56_9_ pv56_2_ pv56_17_ n_n2 [1258] [1259] [1268] pv119_16_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv88_6_ pv88_13_ pv88_21_ pv88_10_ n_n2 [1258] [1259] [1268] pv151_21_
1---11-- 1
---101-- 1
1---1-1- 1
---10-1- 1
-1--100- 1
--1-000- 1
----0000 1
.names pv56_10_ pv56_7_ pv56_3_ pv56_18_ n_n2 [1258] [1259] [1268] pv119_17_
--1-11-- 1
-1--01-- 1
--1-1-1- 1
-1--0-1- 1
1---100- 1
---1000- 1
----0000 1
.names pv88_9_ pv88_5_ pv88_12_ pv88_20_ n_n2 [1258] [1259] [1268] pv151_20_
-1--11-- 1
1---01-- 1
-1--1-1- 1
1---0-1- 1
--1-100- 1
---1000- 1
----0000 1
.names pv56_15_ pv56_4_ pv56_7_ pv24_14_ n_n2 [1258] [1259] [1268] pv119_14_
---111-- 1
-1--01-- 1
---11-1- 1
-1--0-1- 1
--1-100- 1
1---000- 1
----0000 1
.names pv88_8_ pv88_15_ pv88_23_ pv88_12_ n_n2 [1258] [1259] [1268] pv151_23_
1---11-- 1
---101-- 1
1---1-1- 1
---10-1- 1
-1--100- 1
--1-000- 1
----0000 1
.names pv56_5_ pv56_8_ pv56_1_ pv56_16_ n_n2 [1258] [1259] [1268] pv119_15_
--1-11-- 1
1---01-- 1
--1-1-1- 1
1---0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv88_7_ pv88_14_ pv88_11_ pv88_22_ n_n2 [1258] [1259] [1268] pv151_22_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv56_13_ pv56_5_ pv56_2_ pv24_12_ n_n2 [1258] [1259] [1268] pv119_12_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
-1--100- 1
1---000- 1
----0000 1
.names pv88_17_ pv88_25_ pv88_14_ pv88_10_ n_n2 [1258] [1259] [1268] pv151_25_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv88_19_ pv88_15_ pv88_22_ pv88_30_ n_n2 [1258] [1259] [1268] pv151_30_
-1--11-- 1
1---01-- 1
-1--1-1- 1
1---0-1- 1
--1-100- 1
---1000- 1
----0000 1
.names pv56_14_ pv56_6_ pv56_3_ pv24_13_ n_n2 [1258] [1259] [1268] pv119_13_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
-1--100- 1
1---000- 1
----0000 1
.names pv88_9_ pv88_16_ pv88_13_ pv88_24_ n_n2 [1258] [1259] [1268] pv151_24_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv88_16_ pv88_23_ pv88_20_ pv88_31_ n_n2 [1258] [1259] [1268] pv151_31_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
-1--100- 1
---1000- 1
----0000 1
.names pv24_10_ pv56_11_ pv88_11_ pv56_3_ n_n2 [1258] [1259] [1268] pv119_10_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv56_22_ pv88_5_ pv56_26_ pv56_29_ n_n2 [1258] [1259] [1268] pv151_5_
1---11-- 1
--1-01-- 1
1---1-1- 1
--1-0-1- 1
---1100- 1
-1--000- 1
----0000 1
.names pv88_6_ pv56_31_ pv88_3_ pv88_14_ n_n2 [1258] [1259] [1268] pv151_14_
-1--11-- 1
--1-01-- 1
-1--1-1- 1
--1-0-1- 1
1---100- 1
---1000- 1
----0000 1
.names pv56_12_ pv56_4_ pv56_1_ pv24_11_ n_n2 [1258] [1259] [1268] pv119_11_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
-1--100- 1
1---000- 1
----0000 1
.names pv56_25_ pv56_21_ pv88_4_ pv56_28_ n_n2 [1258] [1259] [1268] pv151_4_
-1--11-- 1
1---01-- 1
-1--1-1- 1
1---0-1- 1
---1100- 1
--1-000- 1
----0000 1
.names pv88_7_ pv88_15_ pv88_4_ pv88_0_ n_n2 [1258] [1259] [1268] pv151_15_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv88_7_ pv56_24_ pv56_31_ pv56_28_ n_n2 [1258] [1259] [1268] pv151_7_
-1--11-- 1
---101-- 1
-1--1-1- 1
---10-1- 1
--1-100- 1
1---000- 1
----0000 1
.names pv88_4_ pv88_12_ pv88_1_ pv56_29_ n_n2 [1258] [1259] [1268] pv151_12_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv56_23_ pv88_6_ pv56_30_ pv56_27_ n_n2 [1258] [1259] [1268] pv151_6_
1---11-- 1
---101-- 1
1---1-1- 1
---10-1- 1
--1-100- 1
-1--000- 1
----0000 1
.names pv56_30_ pv88_2_ pv88_13_ pv88_5_ n_n2 [1258] [1259] [1268] pv151_13_
1---11-- 1
-1--01-- 1
1---1-1- 1
-1--0-1- 1
---1100- 1
--1-000- 1
----0000 1
.names pv88_9_ pv56_30_ pv88_1_ pv56_26_ n_n2 [1258] [1259] [1268] pv151_9_
---111-- 1
-1--01-- 1
---11-1- 1
-1--0-1- 1
--1-100- 1
1---000- 1
----0000 1
.names pv88_2_ pv56_31_ pv88_10_ pv56_27_ n_n2 [1258] [1259] [1268] pv151_10_
---111-- 1
-1--01-- 1
---11-1- 1
-1--0-1- 1
1---100- 1
--1-000- 1
----0000 1
.names pv56_25_ pv88_8_ pv88_0_ pv56_29_ n_n2 [1258] [1259] [1268] pv151_8_
1---11-- 1
---101-- 1
1---1-1- 1
---10-1- 1
--1-100- 1
-1--000- 1
----0000 1
.names pv88_3_ pv88_11_ pv88_0_ pv56_28_ n_n2 [1258] [1259] [1268] pv151_11_
---111-- 1
--1-01-- 1
---11-1- 1
--1-0-1- 1
1---100- 1
-1--000- 1
----0000 1
.names pv9_5_ pv9_6_ pv9_7_ pv9_10_ pv9_8_ pv9_1_ pv9_2_ pv9_0_ n_n2
---011-- 1
--1--00- 1
---1-00- 1
0--0---0 1
--10---0 1
00-0--0- 1
.names pv9_5_ pv9_6_ pv9_7_ pv9_10_ pv9_1_ pv9_2_ [1258]
--1-00 1
---100 1
00--00 1
.names pv9_5_ pv9_6_ pv9_10_ pv9_8_ pv9_1_ pv9_2_ pv9_3_ pv9_0_ [1259]
--0101-- 1
--0-110- 1
000-0--1 1
.names pv9_10_ pv9_1_ pv9_2_ [1268]
1-- 1
-11 1
.end