.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 [6] [14] [234] [235] [245] pv138_3_
11111 1
.names [7] [17] [246] [247] [257] pv138_2_
11111 1
.names [8] [20] [258] [259] [269] pv138_1_
11111 1
.names [9] [23] [270] [271] [281] pv138_0_
11111 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_2_ pv132_1_ pv126_1_ pv126_2_ [6]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv132_3_ pv88_31_ pv126_3_ pv120_31_ [14]
11-- 1
-11- 1
1--1 1
--11 1
.names pv88_20_ pv120_10_ pv88_10_ pv120_20_ [7]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv120_14_ pv88_14_ pv88_21_ pv120_21_ [17]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names pv28_27_ pv28_26_ pv56_27_ pv56_26_ [8]
11-- 1
-11- 1
1--1 1
--11 1
.names pv28_19_ pv28_18_ pv56_18_ pv56_19_ [20]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv28_17_ pv28_16_ pv56_16_ pv56_17_ [9]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv28_2_ pv28_3_ pv56_3_ pv56_2_ [23]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv132_0_ pv132_4_ pv126_4_ pv126_0_ [234]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv88_25_ pv126_5_ pv132_5_ pv120_25_ [235]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv120_29_ pv88_29_ pv88_26_ pv120_26_ [237]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names pv88_28_ pv88_23_ pv120_23_ pv120_28_ [238]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv88_24_ pv88_22_ pv120_22_ pv120_24_ [239]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv88_27_ pv120_30_ pv88_30_ pv120_27_ [237] [238] [239] [245]
11--111 1
1-1-111 1
-1-1111 1
--11111 1
.names pv88_19_ pv88_9_ pv120_9_ pv120_19_ [246]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv120_15_ pv120_18_ pv88_18_ pv88_15_ [247]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv120_11_ pv88_13_ pv120_13_ pv88_11_ [249]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv88_7_ pv120_12_ pv88_12_ pv120_7_ [250]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv88_6_ pv88_8_ pv120_6_ pv120_8_ [251]
11-- 1
-11- 1
1--1 1
--11 1
.names pv120_16_ pv88_17_ pv120_17_ pv88_16_ [249] [250] [251] [257]
11--111 1
1-1-111 1
-1-1111 1
--11111 1
.names pv88_3_ pv56_21_ pv120_3_ pv28_21_ [258]
11-- 1
-11- 1
1--1 1
--11 1
.names pv88_2_ pv88_4_ pv120_4_ pv120_2_ [259]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv56_23_ pv120_1_ pv88_1_ pv28_23_ [261]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv56_22_ pv56_25_ pv28_25_ pv28_22_ [262]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv28_20_ pv56_24_ pv56_20_ pv28_24_ [263]
11-- 1
-11- 1
1--1 1
--11 1
.names pv88_5_ pv120_5_ pv120_0_ pv88_0_ [261] [262] [263] [269]
1-1-111 1
-11-111 1
1--1111 1
-1-1111 1
.names pv56_15_ pv56_5_ pv28_5_ pv28_15_ [270]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv56_14_ pv56_11_ pv28_14_ pv28_11_ [271]
11-- 1
-11- 1
1--1 1
--11 1
.names pv56_13_ pv56_7_ pv28_7_ pv28_13_ [273]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv28_9_ pv28_6_ pv56_6_ pv56_9_ [274]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv28_8_ pv56_4_ pv28_4_ pv56_8_ [275]
11-- 1
1-1- 1
-1-1 1
--11 1
.names pv56_12_ pv28_10_ pv56_10_ pv28_12_ [273] [274] [275] [281]
11--111 1
1-1-111 1
-1-1111 1
--11111 1
.end