.model top
.inputs pv28_20_ pv56_12_ pv56_23_ pv88_6_ pv88_19_ pv120_16_ pv120_29_ \
pv28_10_ pv56_13_ pv56_22_ pv88_7_ pv88_29_ pv120_15_ pv56_14_ pv56_25_ \
pv88_8_ pv88_17_ pv88_28_ pv120_18_ pv56_15_ pv56_24_ pv88_9_ pv88_18_ \
pv88_27_ pv120_17_ pv88_2_ pv88_15_ pv88_26_ pv120_12_ pv88_3_ pv88_16_ \
pv88_25_ pv120_11_ pv56_10_ pv56_21_ pv88_4_ pv88_13_ pv88_24_ pv120_14_ \
pv126_5_ pv56_11_ pv56_20_ pv88_5_ pv88_14_ pv88_23_ pv120_13_ pv28_8_ pv56_5_ \
pv88_11_ pv88_22_ pv120_5_ pv132_0_ pv28_9_ pv56_4_ pv88_12_ pv88_21_ pv120_6_ \
pv28_6_ pv56_7_ pv88_20_ pv120_3_ pv120_10_ pv28_7_ pv56_6_ pv88_10_ pv120_4_ \
pv28_4_ pv56_9_ pv120_1_ pv28_5_ pv56_8_ pv120_2_ pv28_2_ pv28_3_ pv120_0_ \
pv28_0_ pv28_1_ pv132_5_ pv56_1_ pv120_9_ pv120_30_ pv132_4_ pv56_0_ pv88_30_ \
pv132_3_ pv28_19_ pv56_3_ pv88_31_ pv120_7_ pv132_2_ pv56_2_ pv120_8_ \
pv120_20_ pv132_1_ pv28_17_ pv120_21_ pv126_3_ pv28_18_ pv28_27_ pv120_22_ \
pv126_4_ pv28_15_ pv28_26_ pv88_0_ pv120_23_ pv126_1_ pv28_16_ pv28_25_ \
pv88_1_ pv120_24_ pv120_31_ pv126_2_ pv28_13_ pv28_24_ pv56_16_ pv56_27_ \
pv120_25_ pv28_14_ pv28_23_ pv56_17_ pv56_26_ pv120_19_ pv120_26_ pv126_0_ \
pv28_11_ pv28_22_ pv56_18_ pv120_27_ pv28_12_ pv28_21_ pv56_19_ pv120_28_
.outputs pv138_3_ pv138_2_ pv138_1_ pv138_0_ pv134_1_ pv134_0_
.names [240] [241] [242] [243] pv138_3_
1111 1
.names [252] [253] [254] [255] pv138_2_
1111 1
.names [264] [265] [266] [267] pv138_1_
1111 1
.names [276] [277] [278] [279] pv138_0_
1111 1
.names pv28_1_ pv56_1_ pv134_1_
1- 1
-1 1
.names pv28_0_ pv56_0_ pv134_0_
1- 1
-1 1
.names pv132_3_ pv88_31_ pv132_2_ pv132_1_ pv126_3_ pv126_1_ pv120_31_ \
pv126_2_ [240]
1111---- 1
-1111--- 1
111--1-- 1
-11-11-- 1
1-11--1- 1
--111-1- 1
1-1--11- 1
--1-111- 1
11-1---1 1
-1-11--1 1
11---1-1 1
-1--11-1 1
1--1--11 1
---11-11 1
1----111 1
----1111 1
.names pv88_25_ pv126_5_ pv132_0_ pv132_5_ pv132_4_ pv126_4_ pv120_25_ \
pv126_0_ [241]
111-1--- 1
1-111--- 1
111--1-- 1
1-11-1-- 1
-11-1-1- 1
--111-1- 1
-11--11- 1
--11-11- 1
11--1--1 1
1--11--1 1
11---1-1 1
1--1-1-1 1
-1--1-11 1
---11-11 1
-1---111 1
---1-111 1
.names pv120_29_ pv88_29_ pv88_27_ pv88_26_ pv120_30_ pv88_30_ pv120_26_ \
pv120_27_ [242]
1-111--- 1
-1111--- 1
1-11-1-- 1
-111-1-- 1
1-1-1-1- 1
-11-1-1- 1
1-1--11- 1
-11--11- 1
1--11--1 1
-1-11--1 1
1--1-1-1 1
-1-1-1-1 1
1---1-11 1
-1--1-11 1
1----111 1
-1---111 1
.names pv88_28_ pv88_24_ pv88_23_ pv88_22_ pv120_22_ pv120_23_ pv120_24_ \
pv120_28_ [243]
1111---- 1
111-1--- 1
11-1-1-- 1
11--11-- 1
1-11--1- 1
1-1-1-1- 1
1--1-11- 1
1---111- 1
-111---1 1
-11-1--1 1
-1-1-1-1 1
-1--11-1 1
--11--11 1
--1-1-11 1
---1-111 1
----1111 1
.names pv120_14_ pv88_14_ pv88_21_ pv88_20_ pv120_10_ pv88_10_ pv120_20_ \
pv120_21_ [252]
1-111--- 1
-1111--- 1
1-11-1-- 1
-111-1-- 1
1-1-1-1- 1
-11-1-1- 1
1-1--11- 1
-11--11- 1
1--11--1 1
-1-11--1 1
1--1-1-1 1
-1-1-1-1 1
1---1-11 1
-1--1-11 1
1----111 1
-1---111 1
.names pv88_19_ pv120_15_ pv120_18_ pv88_9_ pv88_18_ pv88_15_ pv120_9_ \
pv120_19_ [253]
1111---- 1
11-11--- 1
1-11-1-- 1
1--111-- 1
111---1- 1
11--1-1- 1
1-1--11- 1
1---111- 1
-111---1 1
-1-11--1 1
--11-1-1 1
---111-1 1
-11---11 1
-1--1-11 1
--1--111 1
----1111 1
.names pv120_16_ pv88_17_ pv120_17_ pv88_16_ pv120_11_ pv88_13_ pv120_13_ \
pv88_11_ [254]
11--11-- 1
1-1-11-- 1
-1-111-- 1
--1111-- 1
11--1-1- 1
1-1-1-1- 1
-1-11-1- 1
--111-1- 1
11---1-1 1
1-1--1-1 1
-1-1-1-1 1
--11-1-1 1
11----11 1
1-1---11 1
-1-1--11 1
--11--11 1
.names pv88_6_ pv88_7_ pv88_8_ pv120_12_ pv88_12_ pv120_6_ pv120_7_ pv120_8_ \
[255]
1111---- 1
111-1--- 1
-111-1-- 1
-11-11-- 1
1-11--1- 1
1-1-1-1- 1
--11-11- 1
--1-111- 1
11-1---1 1
11--1--1 1
-1-1-1-1 1
-1--11-1 1
1--1--11 1
1---1-11 1
---1-111 1
----1111 1
.names pv28_19_ pv28_18_ pv28_27_ pv28_26_ pv56_27_ pv56_26_ pv56_18_ pv56_19_ \
[264]
1111---- 1
11-11--- 1
111--1-- 1
11--11-- 1
1-11--1- 1
1--11-1- 1
1-1--11- 1
1---111- 1
-111---1 1
-1-11--1 1
-11--1-1 1
-1--11-1 1
--11--11 1
---11-11 1
--1--111 1
----1111 1
.names pv88_2_ pv88_3_ pv56_21_ pv88_4_ pv120_3_ pv120_4_ pv120_2_ pv28_21_ \
[265]
1111---- 1
1-111--- 1
111--1-- 1
1-1-11-- 1
-111--1- 1
--111-1- 1
-11--11- 1
--1-111- 1
11-1---1 1
1--11--1 1
11---1-1 1
1---11-1 1
-1-1--11 1
---11-11 1
-1---111 1
----1111 1
.names pv56_23_ pv88_5_ pv120_5_ pv120_1_ pv120_0_ pv88_0_ pv88_1_ pv28_23_ \
[266]
11-11--- 1
1-111--- 1
11-1-1-- 1
1-11-1-- 1
11--1-1- 1
1-1-1-1- 1
11---11- 1
1-1--11- 1
-1-11--1 1
--111--1 1
-1-1-1-1 1
--11-1-1 1
-1--1-11 1
--1-1-11 1
-1---111 1
--1--111 1
.names pv28_20_ pv56_22_ pv56_25_ pv56_24_ pv56_20_ pv28_25_ pv28_24_ pv28_22_ \
[267]
1111---- 1
-1111--- 1
11-1-1-- 1
-1-111-- 1
111---1- 1
-11-1-1- 1
11---11- 1
-1--111- 1
1-11---1 1
--111--1 1
1--1-1-1 1
---111-1 1
1-1---11 1
--1-1-11 1
1----111 1
----1111 1
.names pv28_2_ pv28_3_ pv56_3_ pv56_2_ pv28_17_ pv28_16_ pv56_16_ pv56_17_ \
[276]
11--11-- 1
1-1-11-- 1
-1-111-- 1
--1111-- 1
11--1-1- 1
1-1-1-1- 1
-1-11-1- 1
--111-1- 1
11---1-1 1
1-1--1-1 1
-1-1-1-1 1
--11-1-1 1
11----11 1
1-1---11 1
-1-1--11 1
--11--11 1
.names pv56_14_ pv56_15_ pv56_11_ pv56_5_ pv28_5_ pv28_15_ pv28_14_ pv28_11_ \
[277]
1111---- 1
111-1--- 1
1-11-1-- 1
1-1-11-- 1
-111--1- 1
-11-1-1- 1
--11-11- 1
--1-111- 1
11-1---1 1
11--1--1 1
1--1-1-1 1
1---11-1 1
-1-1--11 1
-1--1-11 1
---1-111 1
----1111 1
.names pv56_12_ pv28_10_ pv56_13_ pv56_10_ pv56_7_ pv28_7_ pv28_13_ pv28_12_ \
[278]
111-1--- 1
1-111--- 1
111--1-- 1
1-11-1-- 1
11--1-1- 1
1--11-1- 1
11---11- 1
1--1-11- 1
-11-1--1 1
--111--1 1
-11--1-1 1
--11-1-1 1
-1--1-11 1
---11-11 1
-1---111 1
---1-111 1
.names pv28_8_ pv28_9_ pv56_4_ pv28_6_ pv56_6_ pv28_4_ pv56_9_ pv56_8_ [279]
1111---- 1
111-1--- 1
11-1-1-- 1
11--11-- 1
1-11--1- 1
1-1-1-1- 1
1--1-11- 1
1---111- 1
-111---1 1
-11-1--1 1
-1-1-1-1 1
-1--11-1 1
--11--11 1
--1-1-11 1
---1-111 1
----1111 1
.end