.model top
.inputs pp pa0 pq pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 px pi0 py pz pa pb \
pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0
.names ph0 pj0
0 1
.names ph0 pi0 pc pd pk0
-011 1
0-01 1
0-10 1
-000 1
.names pb [62] [66] [61] [566] pl0
11--1 1
0-111 1
0-001 1
.names pc0 [37] [11] [152] [568] pm0
0-1-1 1
01-01 1
.names pc0 pd0 [56] pn0
011 1
101 1
.names [146] [147] po0
1- 1
-1 1
.names pf0 [23] [137] [139] [140] pp0
-11-- 1
11-1- 1
11--1 1
.names pp [74] [128] [580] [582] pq0
--1-- 1
---1- 1
----1 1
11--- 1
.names pa0 pa [98] [99] pr0
011- 1
01-1 1
.names pi0 [86] [15] [16] [621] ps0
11--1 1
0-1-1 1
0--11 1
.names [37] [11] [152] [568] [56]
-1-1 1
1-01 1
.names pa0 pz pb [23]
011 1
.names pq pr pv pw nc3 [74]
11--1 1
-11-1 1
1--11 1
--111 1
.names ps pt px py nc3
11-- 1
-11- 1
1--1 1
--11 1
.names pc0 pd0 pe0 pf0 [55]
--00 1
00-0 1
.names pc0 pd0 pe0 pf0 np4
--00 1
1-11 1
-111 1
00-0 1
.names pr ps pt px py [37]
0---- 1
-0-0- 1
--0-0 1
.names pq pr ps pt [28]
00-- 1
0-0- 1
-00- 1
0--0 1
-0-0 1
--00 1
.names pq pr ps pt [54]
1111 1
.names [28] [54] [40] [608] [609] nc6
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pu pv [11]
0-0- 1
-0-0 1
.names pp pq pk pl [17]
011- 1
10-1 1
.names pp pq [24]
0- 1
-0 1
.names pc0 pd0 pe0 [25]
0-- 1
-0- 1
--0 1
.names pq pr pt pl pm [27]
-110- 1
1-1-0 1
.names pr ps pt [45]
0-- 1
-0- 1
--0 1
.names pr ps pt pn po [44]
0---- 1
-00-- 1
-0-1- 1
--0-1 1
.names pc pd pe ph [62]
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names pc pe pg ph [66]
10-1 1
-001 1
11-0 1
-100 1
0111 1
0010 1
.names pd pf [61]
1- 1
-0 1
.names ps pt pw px py [71]
--0-- 1
0--0- 1
-0--0 1
.names [43] [620] [86]
1- 1
-1 1
.names [17] [24] [45] [44] [88] [84]
1-0-- 1
-0-11 1
.names pr ps pt pm [88]
101- 1
110- 1
-111 1
.names [84] [605] [15]
11 1
.names pp pe0 nc6 [33] [614] [16]
---11 1
110-1 1
.names pq pr ps pt [607] [33]
11111 1
.names pc0 pd0 [40]
00 1
.names pp pq [27] [44] [615] [43]
11-0- 1
1-1-1 1
.names pp pq pr ps pt [47]
00--- 1
0-0-- 1
0--0- 1
0---0 1
.names pq pr ps pt pk [49]
11110 1
.names pc0 pd0 pe0 pf0 [51]
--01 1
00-1 1
.names np4 [17] [45] [115] [591] [98]
0--11 1
010-1 1
.names ph0 [598] [599] [600] [99]
11-- 1
1-1- 1
1--1 1
.names pq pr ps pt pk [101]
11110 1
.names pc0 pd0 pe0 pf0 [104]
1-11 1
-111 1
.names pr [24] [117] [119] [120] [115]
-01-- 1
10-1- 1
10--1 1
.names pr ps pt pm [117]
0111 1
.names pr ps pt pm pn [119]
101-1 1
-0111 1
.names ps pt po [120]
101 1
.names pc0 pd0 pe0 pf0 pg0 [128]
11110 1
.names pc0 pd0 pe0 pf0 pg0 [129]
0---1 1
-0--1 1
--0-1 1
---01 1
.names [37] [11] [25] [152] [574] [137]
-10-1 1
1-001 1
.names [37] [11] [152] [576] [139]
-1-1 1
1-01 1
.names [37] [11] [71] [578] [140]
-1-1 1
1-11 1
.names [37] [11] [152] [570] [571] [146]
-1-11 1
1-011 1
.names [37] [11] [152] [568] [573] [147]
-1-11 1
1-011 1
.names ps pt pw px py [152]
111-- 1
-111- 1
1-1-1 1
--111 1
.names pj pi [566]
01 1
.names pa0 pz pb pc pd [568]
0110- 1
011-0 1
.names pe0 pc pd [570]
10- 1
1-0 1
.names pa0 pc0 pd0 pz pb [571]
00-11 1
0-011 1
.names pc0 pd0 pe0 [573]
110 1
.names pf0 pc pd [574]
00- 1
0-0 1
.names pc0 pd0 pe0 pc [576]
0--0 1
-0-0 1
--00 1
.names pc0 pd0 pe0 pd [578]
0--0 1
-0-0 1
--00 1
.names pq pu pv [579]
11- 1
-11 1
.names pa0 pz pb pc pd [580]
1---- 1
-0--- 1
--0-- 1
---11 1
.names [37] [129] [152] [579] [582]
-1-- 1
0--1 1
--11 1
.names ph0 pg0 [591]
01 1
.names pp pq pr ps pt [597]
0-0-- 1
-00-- 1
0--0- 1
-0-0- 1
--00- 1
0---0 1
-0--0 1
--0-0 1
---00 1
.names pp ps [27] [104] [598]
---1 1
111- 1
.names pp pq pg0 [55] [101] [599]
--0-- 1
---1- 1
----1 1
00--- 1
.names pp pq [44] [597] [600]
---1 1
110- 1
.names pc0 pd0 pe0 pf0 pg0 [605]
--000 1
00-00 1
.names pp pc0 pd0 pe0 pk [607]
01-11 1
0-111 1
.names ps pt pn po [608]
0-0- 1
-0-0 1
.names pq pr pl pm [609]
0-0- 1
-0-0 1
.names pg0 pf0 [614]
11 1
.names ps pt po [615]
11- 1
1-0 1
.names pc0 pd0 pe0 pf0 pg0 [616]
---01 1
1-1-0 1
-11-0 1
.names [28] [47] [49] [51] [616] [620]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pa pa0 [621]
10 1
.end