.model top
.inputs pv28_20_ pv56_12_ pv56_23_ pv88_6_ pv88_19_ pv120_16_ pv120_29_ \
pv168_9_ pv180_10_ pv28_10_ pv56_13_ pv56_22_ pv88_7_ pv88_29_ pv120_15_ \
pv180_4_ pv56_14_ pv56_25_ pv88_8_ pv88_17_ pv88_28_ pv120_18_ pv180_5_ \
pv180_12_ pv192_0_ pv56_15_ pv56_24_ pv88_9_ pv88_18_ pv88_27_ pv120_17_ \
pv168_8_ pv180_6_ pv88_2_ pv88_15_ pv88_26_ pv120_12_ pv88_3_ pv88_16_ \
pv88_25_ pv120_11_ pv180_0_ pv56_10_ pv56_21_ pv88_4_ pv88_13_ pv88_24_ \
pv120_14_ pv126_5_ pv180_1_ pv56_11_ pv56_20_ pv88_5_ pv88_14_ pv88_23_ \
pv120_13_ pv180_2_ pv28_8_ pv56_5_ pv88_11_ pv88_22_ pv120_5_ pv132_0_ \
pv156_6_ pv168_1_ pv189_0_ pv28_9_ pv56_4_ pv88_12_ pv88_21_ pv120_6_ pv156_5_ \
pv156_10_ pv168_2_ pv189_1_ pv28_6_ pv56_7_ pv88_20_ pv120_3_ pv120_10_ \
pv156_8_ pv189_2_ pv28_7_ pv56_6_ pv88_10_ pv120_4_ pv168_0_ pv28_4_ pv56_9_ \
pv120_1_ pv168_5_ pv28_5_ pv56_8_ pv120_2_ pv156_9_ pv156_14_ pv168_6_ pv28_2_ \
pv156_13_ pv28_3_ pv120_0_ pv156_12_ pv168_4_ pv28_0_ pv186_1_ pv28_1_ \
pv144_4_ pv186_2_ pv144_5_ pv156_0_ pv132_5_ pv144_6_ pv56_1_ pv120_9_ \
pv120_30_ pv132_4_ pv156_2_ pv56_0_ pv88_30_ pv132_3_ pv144_8_ pv156_1_ \
pv28_19_ pv56_3_ pv88_31_ pv120_7_ pv132_2_ pv144_9_ pv156_4_ pv56_2_ pv120_8_ \
pv120_20_ pv132_1_ pv186_0_ pv28_17_ pv120_21_ pv126_3_ pv144_10_ pv168_12_ \
pv183_2_ pv28_18_ pv28_27_ pv120_22_ pv126_4_ pv28_15_ pv28_26_ pv88_0_ \
pv120_23_ pv126_1_ pv144_12_ pv168_14_ pv28_16_ pv28_25_ pv88_1_ pv120_24_ \
pv120_31_ pv126_2_ pv168_13_ pv28_13_ pv28_24_ pv56_16_ pv56_27_ pv120_25_ \
pv144_14_ pv180_14_ pv192_2_ pv28_14_ pv28_23_ pv56_17_ pv56_26_ pv120_19_ \
pv120_26_ pv126_0_ pv144_0_ pv144_13_ pv180_8_ pv180_13_ pv192_1_ pv28_11_ \
pv28_22_ pv56_18_ pv120_27_ pv144_1_ pv168_10_ pv180_9_ pv183_0_ pv28_12_ \
pv28_21_ pv56_19_ pv120_28_ pv144_2_ pv183_1_
.outputs pv198_3_ pv198_0_ pv198_2_ pv198_1_ pv194_0_ pv194_1_
.names pv192_0_ pv192_1_ [149] [514] [515] [516] pv198_3_
-----1 1
1---1- 1
111--- 1
11-1-- 1
.names pv183_0_ [110] [118] [520] [523] pv198_0_
----1 1
11--- 1
1-1-- 1
1--1- 1
.names pv189_0_ [86] [95] [527] [530] pv198_2_
----1 1
11--- 1
1-1-- 1
1--1- 1
.names pv186_1_ pv186_0_ [19] [534] [535] [537] pv198_1_
-----1 1
-1--1- 1
111--- 1
11-1-- 1
.names pv28_0_ pv56_0_ pv194_0_
11 1
.names pv28_1_ pv56_1_ pv194_1_
11 1
.names pv56_25_ pv56_24_ pv156_6_ pv156_5_ pv28_25_ pv28_24_ [15]
-1-1-1 1
1-111- 1
.names pv88_2_ pv88_3_ pv120_3_ pv120_2_ pv156_12_ pv186_2_ [25] [19]
1--1-1- 1
----111 1
-11-11- 1
.names pv88_4_ pv88_5_ pv120_5_ pv120_4_ pv156_14_ pv156_13_ [25]
1--1-1 1
-11-11 1
.names pv156_10_ pv120_1_ pv156_9_ pv120_0_ pv88_0_ pv88_1_ [71]
--111- 1
111--1 1
.names pv28_20_ pv56_21_ pv56_20_ pv156_2_ pv156_1_ pv28_21_ [75]
1-1-1- 1
-1-111 1
.names pv88_8_ pv88_9_ pv168_1_ pv168_2_ pv120_9_ pv120_8_ [82]
1-1--1 1
-1111- 1
.names pv88_19_ pv120_18_ pv88_18_ pv168_12_ pv120_19_ [90] [529] [86]
-11---1 1
---1-11 1
1--11-1 1
.names pv88_21_ pv88_20_ pv120_20_ pv120_21_ pv168_14_ pv168_13_ [90]
-11--1 1
1--111 1
.names pv120_15_ pv168_8_ pv88_15_ pv120_14_ pv88_14_ pv189_1_ [103] [95]
---111- 1
-1---11 1
111--1- 1
.names pv120_12_ pv88_13_ pv120_13_ pv88_12_ pv168_5_ pv168_6_ [97]
1--11- 1
-11-11 1
.names pv120_16_ pv168_9_ pv88_17_ pv120_17_ pv88_16_ pv168_10_ [103]
11--1- 1
-111-1 1
.names pv28_10_ pv56_10_ pv56_11_ pv144_8_ pv28_11_ pv183_1_ [114] [110]
11---1- 1
---1-11 1
--1111- 1
.names pv56_12_ pv56_13_ pv144_9_ pv144_10_ pv28_13_ pv28_12_ [114]
1-1--1 1
-1111- 1
.names pv56_14_ pv56_15_ pv28_15_ pv144_12_ pv28_14_ [127] [518] [118]
1---1-1 1
---1-11 1
-111--1 1
.names pv28_8_ pv28_9_ pv56_9_ pv56_8_ pv144_5_ pv144_6_ [121]
1--11- 1
-11-11 1
.names pv28_17_ pv28_16_ pv56_16_ pv144_14_ pv56_17_ pv144_13_ [127]
-11--1 1
1--111 1
.names pv56_5_ pv56_4_ pv28_4_ pv28_5_ pv144_1_ pv144_2_ [131]
-11-1- 1
1--111 1
.names pv88_25_ pv88_24_ pv180_1_ pv180_2_ pv120_24_ pv120_25_ [138]
-11-1- 1
1-11-1 1
.names pv120_29_ pv88_29_ pv88_28_ pv180_5_ pv180_6_ pv120_28_ [145]
--11-1 1
11-11- 1
.names pv180_12_ pv132_3_ pv132_2_ pv126_3_ pv126_2_ pv192_2_ [154] [149]
--1-11- 1
1----11 1
11-1-1- 1
.names pv126_5_ pv132_5_ pv132_4_ pv126_4_ pv180_14_ pv180_13_ [154]
--11-1 1
11--11 1
.names pv180_10_ pv132_0_ pv132_1_ pv126_1_ pv126_0_ pv180_9_ [158]
-1--11 1
1-11-1 1
.names pv120_30_ pv88_30_ pv88_31_ pv120_31_ pv180_8_ [158] [514]
11---- 1
----11 1
--111- 1
.names pv180_4_ pv88_27_ pv88_26_ pv120_26_ pv120_27_ [145] [515]
--11-- 1
1----1 1
11--1- 1
.names pv180_0_ pv88_23_ pv88_22_ pv120_22_ pv120_23_ [138] [516]
--11-- 1
1----1 1
11--1- 1
.names pv183_1_ pv183_2_ [518]
11 1
.names pv28_6_ pv56_7_ pv28_7_ pv56_6_ pv144_4_ [121] [520]
1--1-- 1
----11 1
-11-1- 1
.names pv28_2_ pv28_3_ pv56_3_ pv56_2_ pv144_0_ [131] [523]
1--1-- 1
----11 1
-11-1- 1
.names pv120_11_ pv88_11_ pv120_10_ pv88_10_ pv168_4_ [97] [527]
--11-- 1
----11 1
11--1- 1
.names pv189_2_ pv189_1_ [529]
11 1
.names pv88_6_ pv88_7_ pv120_6_ pv168_0_ pv120_7_ [82] [530]
1-1--- 1
---1-1 1
-1-11- 1
.names pv156_8_ pv28_27_ pv28_26_ pv56_27_ pv56_26_ [71] [534]
--1-1- 1
1----1 1
11-1-- 1
.names pv56_23_ pv56_22_ pv156_4_ pv28_23_ pv28_22_ [15] [535]
-1--1- 1
--1--1 1
1-11-- 1
.names pv156_0_ pv28_19_ pv28_18_ pv56_18_ pv56_19_ [75] [537]
--11-- 1
1----1 1
11--1- 1
.end