.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 pi0 py pj0 pz \
pk0 pl0 pm0 pn0 po0 pp0 pa pq0 pb pr0 pc ps0 pd pt0 pe pu0 pf pv0 pg pw0 ph \
px0 pi py0 pj pz0 pk pl pm pn po
.outputs pa1 pb2 pc2 pc1 pa2 pb1 pe1 pf2 pd1 pg2 pd2 pg1 pe2 pf1 pi1 ph1 ph2 \
pk1 pi2 pj1 pm1 pl1 po1 pn1 pq1 pp1 ps1 pr1 pu1 pt1 pw1 pv1 py1 px1 pz1
.names pa0 [88] [197] pa1
--1 1
11- 1
.names [80] [90] [89] pb2
111 1
.names pb0 pv pm pc1
11- 1
1-0 1
.names pf0 pr0 pa2
1- 1
-1 1
.names [87] [92] [631] pb1
--1 1
11- 1
.names po0 pu0 [185] pe1
--1 1
11- 1
.names [49] [95] [639] pf2
111 1
.names [177] [178] pd1
1- 1
-1 1
.names pa0 [181] [648] pg2
--1 1
10- 1
.names [102] [653] [654] pd2
0-- 1
-0- 1
--0 1
.names pd0 [98] [661] pg1
--1 1
11- 1
.names [102] [653] [654] pe2
111 1
.names [103] [153] [662] pf1
-1- 1
1-1 1
.names [40] [81] [664] ph1
111 1
.names [110] [666] [674] ph2
0-0 1
-00 1
.names [133] [135] [686] pk1
1-- 1
-1- 1
--1 1
.names [110] [666] [674] pi2
--1 1
11- 1
.names [80] [131] [688] pm1
-1- 1
1-1 1
.names [69] [70] [692] pl1
1-- 1
-1- 1
--1 1
.names [64] [696] [697] po1
1-1 1
-11 1
.names [54] [55] [56] pn1
1-- 1
-1- 1
--1 1
.names pt pi0 ph ps1
111 1
.names [120] [716] [719] pr1
--1 1
11- 1
.names pa0 pk0 [720] pw1
1-1 1
-11 1
.names [48] [43] [721] pv1
11- 1
1-1 1
.names pj [35] [722] py1
1-1 1
-11 1
.names pj [35] [722] px1
--0 1
00- 1
.names pc0 pd0 pz1
1- 1
-1 1
.names [198] [621] [622] [88]
1-- 1
-1- 1
--1 1
.names [81] [48] [624] [80]
111 1
.names pe0 pp0 [90]
1- 1
-1 1
.names pp pg [89]
0- 1
-0 1
.names pg0 pc pj [85]
111 1
.names pa pm [627] [87]
001 1
.names [44] [74] [83] [92]
-1- 1
1-1 1
.names pa0 [181] [49]
0- 1
-1 1
.names ph [636] [637] [95]
0-- 1
-11 1
.names pd0 pd [68]
0- 1
-1 1
.names pa ph pm [82]
000 1
.names [68] [173] [643] [40]
0-- 1
-1- 1
--1 1
.names [101] [160] [656] [100]
-1- 1
1-1 1
.names pv [99] [660] [98]
1-- 1
-11 1
.names [161] [650] [651] [102]
1-- 1
-1- 1
--1 1
.names pq po [103]
0- 1
-0 1
.names pu pw pe [81]
000 1
.names pa pm [48]
00 1
.names [74] [150] [110]
1- 1
-1 1
.names pu pe [37]
1- 1
-1 1
.names pp pq po [38]
0-- 1
-0- 1
--0 1
.names pp0 pq0 [50]
1- 1
-1 1
.names pa0 pf0 pk [111]
-1- 1
1-1 1
.names pg0 pj [86]
10 1
.names pv pj [44]
1- 1
-1 1
.names pk0 [83] [120]
1- 1
-1 1
.names pr ps [125]
0- 1
-0 1
.names pv pk0 pj [74]
110 1
.names pa0 pk pl [83]
101 1
.names pe0 po [96]
0- 1
-1 1
.names pu pe pg [99]
--1 1
00- 1
.names pc pd [101]
0- 1
-0 1
.names pd0 pe0 pd [116]
-1- 1
1-1 1
.names pr pg0 pk0 [123]
-1- 1
0-1 1
.names ph0 pc2
1 1
.names pm0 pi1
1 1
.names pn0 pj1
1 1
.names pz pq1
1 1
.names py pp1
1 1
.names py0 pu1
1 1
.names px0 pt1
1 1
.names pf0 pg0 pr0 [35]
000 1
.names pg0 pf pj [42]
100 1
.names pn [74] [43]
11 1
.names pj0 pa [53]
10 1
.names pv pa [699] [54]
101 1
.names [82] [701] [55]
11 1
.names [709] [710] [711] [56]
1-1 1
-11 1
.names pq pq0 [705] [58]
011 1
.names pp pe0 po [59]
011 1
.names ph0 pj [60]
10 1
.names po0 pw0 [62]
11 1
.names [38] [50] [694] [64]
111 1
.names pi0 ph [65]
10 1
.names [37] [75] [691] [69]
11- 1
1-1 1
.names pp0 pq0 [38] [70]
1-0 1
-10 1
.names pw ph0 [71]
11 1
.names [78] [127] [690] [75]
1-1 1
-11 1
.names pd0 pe0 ph [76]
1-1 1
-11 1
.names pp po [116] [78]
011 1
.names pg [116] [128] [127]
01- 1
0-1 1
.names pp pd0 po [128]
111 1
.names ph0 pj [131]
11 1
.names pl0 pp0 [675] [132]
1-1 1
-11 1
.names pv [138] [139] [133]
01- 1
0-1 1
.names [48] [678] [679] [134]
01- 1
0-1 1
.names pa [682] [683] [135]
11- 1
1-1 1
.names pg0 pm [136]
11 1
.names pm pz1 [676] [138]
11- 1
1-1 1
.names pd0 pw pd [139]
111 1
.names pi0 pi [141]
11 1
.names pa0 pv pj [150]
11- 1
1-1 1
.names [82] [663] [153]
11 1
.names po0 pv0 [156]
11 1
.names pv pg pi [160]
1-0 1
-10 1
.names pv [38] [161]
00 1
.names pv pp0 [162]
10 1
.names pe0 po [173]
10 1
.names [68] [82] [641] [177]
011 1
.names pc0 pv pm [178]
11- 1
1-0 1
.names pz0 [183] [634] [181]
1-1 1
-11 1
.names pr pj pm [183]
100 1
.names po [187] [188] [185]
01- 1
0-1 1
.names [81] [189] [632] [187]
1-1 1
-11 1
.names pe0 [82] [188]
11 1
.names pu pe pg [189]
1-1 1
-11 1
.names po0 pt0 [193]
11 1
.names pf0 pb pr0 [197]
10- 1
-01 1
.names pr pv pj [198]
000 1
.names pl pb [621]
0- 1
-0 1
.names pn pm [622]
1- 1
-1 1
.names po pv [624]
10 1
.names pn pb [627]
01 1
.names pw [85] [193] [631]
--1 1
01- 1
.names pd0 pd pm [632]
110 1
.names pl pb [634]
11 1
.names pt pi0 [68] [636]
0-1 1
-01 1
.names pp0 ps0 [96] [637]
001 1
.names pm0 px0 pa2 [639]
000 1
.names pp pv po [641]
00- 1
-00 1
.names ps0 pp0 [643]
1- 1
-1 1
.names px0 pm0 [645]
1- 1
-1 1
.names pa2 ps1 [645] [647]
1-- 1
-1- 1
--1 1
.names ph [40] [647] [648]
--1 1
11- 1
.names pv pg [50] [650]
--0 1
00- 1
.names pa pi [162] [651]
1-- 1
-0- 1
--1 1
.names pi0 ph0 [653]
00 1
.names pz py [654]
00 1
.names pv pg pm [656]
000 1
.names pp0 pa ph [658]
100 1
.names [38] [125] [658] [659]
111 1
.names pp pm po [660]
101 1
.names [100] [156] [659] [661]
-1- 1
1-1 1
.names pq0 pg pi [662]
10- 1
1-0 1
.names pp pe0 po [663]
111 1
.names ph pa [664]
10 1
.names pl [48] [627] [666]
111 1
.names pc0 pb0 [667]
1- 1
-1 1
.names pd0 pz pd [669]
-1- 1
1-1 1
.names pd0 ph [141] [670]
--1 1
10- 1
.names ph0 py [667] [671]
1-- 1
-1- 1
--1 1
.names [669] [85] [672]
1- 1
-1 1
.names [670] [671] [672] [674]
1-- 1
-1- 1
--1 1
.names ps pr [675]
11 1
.names pp0 pb0 [676]
1- 1
-1 1
.names pq0 pk0 [678]
1- 1
-1 1
.names pe0 ph0 ps0 [679]
1-- 1
-1- 1
--1 1
.names pd0 pa0 [680]
1- 1
-1 1
.names pt pi0 [86] [682]
--1 1
11- 1
.names pj0 pp0 [680] [683]
1-- 1
-1- 1
--1 1
.names pb pr0 [136] [684]
--1 1
11- 1
.names [132] [134] [684] [686]
1-- 1
-1- 1
--1 1
.names pp pd0 pd [688]
011 1
.names pa pv [690]
00 1
.names [76] ph0 [691]
1- 1
-1 1
.names pb [111] [71] [692]
--1 1
11- 1
.names pg pv [694]
10 1
.names pv pp0 [65] [696]
--1 1
11- 1
.names pi pa [697]
10 1
.names pg0 pf pj [699]
110 1
.names pg0 pc pj [701]
101 1
.names pc pp0 [702]
11 1
.names pv pd pg [703]
010 1
.names pp pg po [705]
101 1
.names ps0 ph [60] [707]
--1 1
10- 1
.names [702] [703] [707] [709]
--1 1
11- 1
.names [58] [59] [62] [710]
1-- 1
-1- 1
--1 1
.names pa pm [81] [711]
001 1
.names ps pr [713]
01 1
.names pa pb pm [714]
010 1
.names [44] [713] [714] [716]
011 1
.names ph pi0 [717]
01 1
.names pt pa pi [718]
0-0 1
-00 1
.names [53] [717] [718] [719]
1-- 1
-11 1
.names ps pr [720]
11 1
.names [44] [123] [42] [721]
--1 1
01- 1
.names pz ph0 [722]
00 1
.end