.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 [1] [458] [459] [460] pv202_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names pv201_2_ pv201_3_ [378] [379] [380] [381] nv217
111--- 1
11-1-- 1
11--1- 1
11---1 1
.names [424] [425] [426] [427] n_n5
1--- 1
-1-- 1
--1- 1
---1 1
.names pv190_0_ pv190_1_ pv188_31_ pv188_30_ [10]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv129_0_ pv201_0_ pv201_1_ [413] [414] [1]
10--- 1
-011- 1
-01-1 1
.names pv191_31_ pv201_7_ pv193_1_ pv193_0_ pv201_6_ [2]
--1-1 1
---11 1
11--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 pv201_4_ [10] [29] [451] [5]
11-- 1
1-1- 1
1--1 1
.names pv201_3_ [424] [425] [426] [427] [6]
11--- 1
1-1-- 1
1--1- 1
1---1 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_ [293]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_9_ pv30_8_ pv30_7_ pv62_0_ [294]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_6_ pv62_1_ pv30_5_ pv30_4_ [295]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_3_ pv30_2_ pv30_30_ pv30_31_ [296]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_16_ pv30_27_ pv30_17_ pv30_26_ [297]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_14_ pv30_25_ pv30_15_ pv30_24_ [298]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_12_ pv30_23_ pv30_13_ pv30_22_ [299]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv30_10_ pv30_21_ pv30_11_ pv30_20_ [300]
1--- 1
-1-- 1
--1- 1
---1 1
.names [293] [294] [295] [296] [305]
1--- 1
-1-- 1
--1- 1
---1 1
.names [297] [298] [299] [300] [306]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_20_ pv126_31_ pv126_9_ pv126_7_ [324]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_10_ pv126_8_ pv126_5_ pv126_6_ [325]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv128_0_ pv126_14_ pv126_27_ pv126_13_ [326]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_28_ pv126_12_ pv126_25_ pv126_11_ [327]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_26_ pv126_18_ pv126_23_ pv126_17_ [328]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_24_ pv126_16_ pv126_21_ pv126_30_ [329]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_15_ pv126_22_ pv126_19_ pv126_29_ [330]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_3_ pv127_0_ pv126_4_ pv126_2_ [331]
1--- 1
-1-- 1
--1- 1
---1 1
.names [324] [325] [326] [327] [336]
1--- 1
-1-- 1
--1- 1
---1 1
.names [328] [329] [330] [331] [337]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_30_ pv94_31_ pv94_10_ pv94_21_ [355]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_11_ pv94_20_ pv94_7_ pv94_6_ [356]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_9_ pv94_8_ pv94_3_ pv94_2_ [357]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_5_ pv94_4_ pv94_14_ pv94_25_ [358]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_15_ pv94_24_ pv94_12_ pv94_23_ [359]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv126_1_ pv94_13_ pv94_22_ pv94_18_ [360]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_29_ pv94_19_ pv94_28_ pv126_0_ [361]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv94_16_ pv94_27_ pv94_17_ pv94_26_ [362]
1--- 1
-1-- 1
--1- 1
---1 1
.names [355] [356] [357] [358] [367]
1--- 1
-1-- 1
--1- 1
---1 1
.names [359] [360] [361] [362] [368]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv201_1_ pv201_0_ [369]
11 1
.names pv144_18_ pv144_19_ pv144_27_ pv144_28_ [378]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv144_29_ pv176_0_ pv176_1_ pv144_23_ [379]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv144_24_ pv144_25_ pv144_26_ pv144_20_ [380]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv144_31_ pv144_21_ pv144_30_ pv144_22_ [381]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_2_ pv64_0_ pv62_3_ pv63_0_ [401]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_6_ pv62_7_ pv62_4_ pv62_5_ [402]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_15_ pv62_26_ pv62_16_ pv62_25_ [403]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_8_ pv62_17_ pv62_28_ pv62_9_ [404]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_18_ pv62_27_ pv62_19_ pv62_29_ [405]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_30_ pv62_20_ pv62_10_ pv62_11_ [406]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_22_ pv62_12_ pv62_21_ pv62_13_ [407]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv62_24_ pv62_31_ pv62_14_ pv62_23_ [408]
1--- 1
-1-- 1
--1- 1
---1 1
.names [401] [402] [403] [404] [413]
1--- 1
-1-- 1
--1- 1
---1 1
.names [405] [406] [407] [408] [414]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_31_ pv176_30_ pv176_22_ pv176_23_ [424]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv178_1_ pv176_20_ pv178_0_ pv176_21_ [425]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_28_ pv176_29_ pv176_26_ pv176_27_ [426]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_19_ pv176_24_ pv176_18_ pv176_25_ [427]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_8_ pv176_7_ pv176_6_ pv176_5_ [438]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_13_ pv176_12_ pv176_11_ pv176_9_ [439]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_10_ pv176_17_ pv176_16_ pv176_15_ [440]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv176_14_ pv176_4_ pv176_3_ pv176_2_ [441]
1--- 1
-1-- 1
--1- 1
---1 1
.names [438] [439] [440] [441] [444]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv188_26_ pv188_27_ pv188_28_ pv188_29_ [451]
1--- 1
-1-- 1
--1- 1
---1 1
.names pv130_0_ pv201_0_ pv201_7_ pv193_1_ [453]
11-- 1
--11 1
.names pv201_0_ pv201_1_ [305] [306] [336] [337] [458]
011--- 1
01-1-- 1
11--1- 1
11---1 1
.names pv201_2_ n_n5 [367] [368] [369] [444] [459]
11---- 1
--1-1- 1
---11- 1
1----1 1
.names nv217 [2] [4] [5] [6] [453] [460]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.end