.model top
.inputs pp pq pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pa1 pa0 pb0 pc1 pr pb1 pc0 ps pd0 pt pd1 pe0 pu pf0 pv pg0 pw ph0 px \
pi0 py pj0 pz pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 py0 pz0
.names pp pq pl pm pn po pa1
111000 1
.names pg pc0 [93] [117] [900] pa0
-1--- 1
1--1- 1
--1-1 1
.names pk pl po [93] pb0
0011 1
.names pp pq pl pm pn po pc1
110111 1
001000 1
.names pp pf pm nw [100] [932] pr
---1-- 1
-----1 1
0-0-1- 1
110-1- 1
100-1- 1
.names pq ph pj pn [101] pb1
01111 1
.names pp pq pl pm pn po pc0
010010 1
.names pq pn [113] [938] [940] ps
---1- 1
----1 1
011-- 1
.names [51] [113] [938] [951] [952] [974] pd0
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names pp pq pl pm pn po pd1
011110 1
.names [77] [987] [988] [994] [1013] pe0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po pu
111011 1
011101 1
010110 1
011010 1
010010 1
100100 1
.names [42] [1045] pf0
1- 1
-1 1
.names [75] nj6 [62] [1046] [1047] [1049] pv
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pg [44] [48] [42] [122] [1052] pg0
-1---- 1
--1--- 1
---1-- 1
-----1 1
0---1- 1
.names [43] [62] [1069] [1071] [1075] ph0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [961] [962] [1083] [1084] [1089] pi0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [75] [62] [1046] [1047] [1049] py
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pq pn [113] [938] [1090] pj0
---1- 1
----1 1
011-- 1
.names pp pq pl pm pn po pz
100001 1
000001 1
.names [51] [113] [938] [1090] [1092] [1094] pk0
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names pa0 [87] [65] [915] [1096] [1099] pl0
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [48] [65] [47] [1091] [1101] pm0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pc1 [93] [61] [47] [928] pn0
1---- 1
--1-- 1
---1- 1
-1--1 1
.names [51] [113] [938] [1090] [1092] [1110] po0
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names [47] [1111] [1113] pp0
1-- 1
-1- 1
--1 1
.names [62] [1046] [1047] [1049] [1118] pq0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [48] [65] [1035] [1036] [1037] [1120] pr0
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [47] [1111] [1113] [1123] ps0
1--- 1
-1-- 1
--1- 1
---1 1
.names pg [62] [66] [117] [1125] pt0
-1--- 1
--1-- 1
----1 1
1--1- 1
.names [65] [47] [46] [915] [925] [1128] pu0
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [62] [1046] [1047] [1130] [1133] pv0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [98] nq5 [84] [911] [1134] [1135] pw0
-1---- 1
--1--- 1
----1- 1
-----1 1
1--1-- 1
.names [98] nq5 [84] [911] [1134] [1137] px0
-1---- 1
--1--- 1
----1- 1
-----1 1
1--1-- 1
.names [98] nq5 [84] [911] [1134] [1141] py0
-1---- 1
--1--- 1
----1- 1
-----1 1
1--1-- 1
.names pp pq pl pm pn po pz0
011000 1
.names pp pq pm pn [93]
1100 1
.names pp pl pm po [41]
1011 1
.names [48] [65] [47] [46] [915] [925] nw
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pp pl pm po [107]
0000 1
.names pp pq pl pm pn po nd5
000000 1
.names pp pq pl pm pn po nh6
101000 1
.names pq pn [113] [938] [951] [952] [44]
---1-- 1
----1- 1
-----1 1
011--- 1
.names pq pn [51]
01 1
.names pg pl po [93] nr6 [75]
----1 1
1111- 1
.names pp pq pl pm pn po [79]
-00011 1
010101 1
011110 1
.names pe [54] [103] [99] [121] [904] [48]
-----1 1
11-1-- 1
1-1-1- 1
.names pp pq pl pm pn po nr6
111011 1
.names pp pq pl pm pn no5
10110 1
.names pq pl pm pn po nv4
01100 1
.names pg [122] [977] [987] [988] [994] [43]
--1--- 1
---1-- 1
----1- 1
-----1 1
01---- 1
.names pa1 ne5 [101] [183] [934] [999] [71]
1----- 1
-1---- 1
---1-- 1
--1-1- 1
--1--1 1
.names pp pq pl pm pn po [81]
110101 1
111100 1
000100 1
.names pp pq pl pm pn po [80]
111011 1
011101 1
011010 1
.names [71] [62] [987] [988] [1027] [1028] [42]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pp pq pl pm pn po nj6
000010 1
.names pp pl pm pn po ni4
11101 1
.names pp pq pg pl pn po ne5
110011 1
.names pd [41] [98] [116] [984] [1003] [62]
-1-11- 1
1-1--1 1
.names pq ph pj pn [101] [1065] [87]
-----1 1
01111- 1
.names pp pl pm po [101]
0011 1
.names pp pq pl pm pn po nu6
011010 1
.names pp pq pl pm pn po nu5
111110 1
.names pp pq pl pm pn po nz5
000100 1
.names pg [122] [977] [77]
--1 1
01- 1
.names pp pq pl pm pn po nc6
000001 1
.names pa0 [87] [65] [915] [1096] [61]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pg [122] [910] [65]
--1 1
01- 1
.names pp pq pl pm pn po nx5
110101 1
.names [98] nq5 [84] [46] [911] [1107] [66]
-1---- 1
--1--- 1
---1-- 1
-----1 1
1---1- 1
.names pg pl po [93] nw5 [918] [47]
----1- 1
0111-- 1
-001-1 1
.names pp pq pl pm pn po [82]
011101 1
011001 1
.names pp pq pl pm pn po nk6
011101 1
.names pp pm [54]
00 1
.names pq pl pn po [100]
0010 1
.names pl po [52]
00 1
.names pp pq pm pn [98]
1101 1
.names pp pq pl pm pn po nq5
111100 1
.names pp pq pl pm pn po nn4
101001 1
.names pp pq pl pm pn po [103]
110000 1
.names pp pq pl pm pn po nw5
010011 1
.names pp pq pl pm pn po ns5
001110 1
.names pq pa pl pn po [99]
01101 1
.names pp pe pm [103] [99] [121] [84]
-1-1-1 1
010-1- 1
.names pq pi pn [41] nn4 [924] [46]
----1- 1
0011-1 1
.names pp ph pi pl pm po [113]
1--101 1
00-011 1
-00011 1
.names pb pc pe pf [112]
1-0- 1
-00- 1
--00 1
.names pc pi pk [116]
1-- 1
-1- 1
--1 1
.names pp pq pl pm pn po [117]
110011 1
000101 1
.names pb pc pf [118]
1-- 1
-0- 1
--0 1
.names pp pq pl pm pn po [122]
100101 1
110110 1
.names pb pf [121]
1- 1
-0 1
.names nw pt
1 1
.names nw pw
1 1
.names nw px
1 1
.names pp pc pl pm pn po [96]
000000 1
.names pp pq pl pm pn po [137]
010101 1
.names pp pq pl pm pn po [150]
111010 1
.names pp pq pl pm pn po [159]
001010 1
.names pp pq pl pm pn [181]
01101 1
.names pp pq pg pl pm pn [183]
111011 1
.names pp pq pm pn po [200]
10110 1
.names pp pa pl pn po [221]
00101 1
.names pp pq pl pm pn po [222]
011100 1
.names pp pq pl pm pn po [239]
100000 1
.names pk pl po [900]
001 1
.names pp pq pl pm pn po [904]
010001 1
100001 1
000001 1
.names pp pq pl pm pn po [910]
000011 1
001101 1
.names pi pl po [911]
100 1
.names pp pq pl pm pn po [912]
011001 1
111110 1
.names [81] [98] ns5 [911] [912] [915]
1---- 1
--1-- 1
----1 1
-1-1- 1
.names pq pc pn [916]
110 1
.names pg pl po [917]
011 1
.names pf pb [918]
10 1
.names pq pi pn [920]
001 1
.names pb pc pe pf ph pj [924]
1-1-11 1
-01-11 1
--1011 1
.names pq pc pn [107] nh6 [239] [925]
----1- 1
-----1 1
1101-- 1
.names pg pl po [928]
111 1
.names pp pf pm [929]
100 1
.names pg pl po [93] [117] [932]
1---1 1
1111- 1
.names pq ph pn [934]
011 1
.names pp pe pf pm [936]
0000 1
.names [41] [99] [112] [920] [936] [938]
-1--1 1
1-11- 1
.names pe pf pl po [93] nd5 [940]
-----1 1
--101- 1
00-01- 1
.names pk pl po [941]
101 1
.names pp pq pl pm pn po [948]
001111 1
111100 1
.names pe pf po [93] no5 [948] [951]
----1- 1
-----1 1
0001-- 1
.names pb pf [82] [103] [221] [222] [952]
--1--- 1
----1- 1
-----1 1
01-1-- 1
.names pb pc pf ph [956]
0111 1
.names pp pq pl pm pn po [959]
-01100 1
110100 1
.names pp pq pl pm pn po [960]
001110 1
001010 1
.names pq pi pn [41] [956] [959] [961]
-----1 1
00111- 1
.names [41] nn4 [920] [924] [960] [962]
-1--- 1
----1 1
1-11- 1
.names pp pq pl pm pn po [965]
111000 1
011000 1
.names pp pq pl pm pn po [966]
001101 1
001000 1
.names pg pl po [93] nr6 [965] [969]
----1- 1
-----1 1
1111-- 1
.names pg pl po [93] nh6 [966] [970]
----1- 1
-----1 1
0111-- 1
.names pk pl po [93] [79] [200] [971]
----1- 1
-----1 1
1011-- 1
.names [961] [962] [969] [970] [971] [974]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po [977]
00-011 1
100100 1
.names pq pi pn [978]
011 1
.names pe ph pj pn [982]
1101 1
.names pq pg pn [984]
010 1
.names pc pi pk [986]
000 1
.names pp pf pm [41] [100] [978] [987]
---1-1 1
100-1- 1
.names [41] [118] [982] [984] [986] [988]
111-- 1
1--11 1
.names pp pq pl pm pn po [991]
011101 1
101010 1
.names pp pq pl pm pn po [992]
0101-0 1
001110 1
.names pd1 [93] [941] [991] [992] [994]
1---- 1
---1- 1
----1 1
-11-- 1
.names pq pg pn [999]
000 1
.names pi pl po [1003]
000 1
.names pp pq pl pm pn po [1006]
10110- 1
000110 1
.names pg pl po [93] nr6 [1006] [1008]
----1- 1
-----1 1
0111-- 1
.names pd pg [98] [117] [181] [1003] [1009]
----1- 1
-1-1-- 1
0-1--1 1
.names [41] nv4 [81] [920] [956] [1010]
-1--- 1
--1-- 1
1--11 1
.names [71] [1008] [1009] [1010] [1013]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pl pm pn po [1026]
100110 1
111010 1
.names pp pq pl pm pn po [1027]
001101 1
111110 1
110100 1
001000 1
.names pi pl po [98] nn4 [1026] [1028]
----1- 1
-----1 1
1001-- 1
.names pp pq pl pm pn po [1034]
010110 1
000010 1
.names pp pf pm nx5 [100] [1035]
---1- 1
110-1 1
.names pk pl po pc0 [93] nw5 [1036]
---1-- 1
-----1 1
001-1- 1
.names pg pl po [93] [1034] [1037]
----1 1
1111- 1
0111- 1
.names pq pi pn [41] [159] [956] [1040]
----1- 1
0011-1 1
.names pb pe pf pm [103] [99] [1041]
101-1- 1
-010-1 1
.names pp pq pl pm pn po [1042]
00-011 1
-00011 1
010101 1
011110 1
000110 1
.names [1035] [1036] [1037] [1040] [1041] [1042] [1045]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pp pq pl pm pn po [1046]
010110 1
100100 1
.names pd pi pl po nu6 [98] [1047]
----1- 1
0000-1 1
.names pg pc0 [93] nk6 [117] [900] [1049]
-1---- 1
---1-- 1
1---1- 1
--1--1 1
.names pp pq pl pm pn po [1051]
1-1101 1
101010 1
.names pd [98] [181] [1003] [1051] [1052]
--1-- 1
----1 1
01-1- 1
.names pp pq pl pm pn po [1056]
001101 1
101000 1
.names pp pq pl pm pn po [1058]
-00011 1
010011 1
.names pp pq pl pm pn po [1059]
011100 1
100000 1
.names pb pe pf [103] [1056] [1061]
----1 1
1011- 1
.names pp pf pm ni4 [100] [1058] [1062]
---1-- 1
-----1 1
110-1- 1
.names pe pf pm [99] [150] [1059] [1063]
----1- 1
-----1 1
0101-- 1
.names pp pq pl pm pn po [1065]
101001 1
011000 1
.names pq pc pn [107] [137] [1069]
----1 1
1101- 1
.names pc pi pc1 ne5 [1070]
--1- 1
00-1 1
.names pp pq pl pm pn po [1071]
011001 1
010001 1
100001 1
010010 1
.names [87] [1061] [1062] [1063] [1070] [1075]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po [1078]
000110 1
000000 1
.names pp pq pl pm pn po [1079]
011010 1
000010 1
.names pb pf [103] [1078] [1083]
---1 1
011- 1
.names pq pi pn [41] nu5 [1079] [1084]
----1- 1
-----1 1
0111-- 1
.names pd pz nz5 [98] [96] [1003] [1085]
-1---- 1
--1--- 1
----1- 1
0--1-1 1
.names [77] [1061] [1062] [1063] [1085] [1089]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po [1090]
001111 1
000000 1
.names pg pl po pc1 [93] [1091]
---1- 1
111-1 1
.names pg pj [101] [117] [934] [1092]
1--1- 1
-11-1 1
.names pd1 [65] [47] [915] [1091] [1094]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po [1095]
011110 1
111000 1
.names pp pf pm [100] [1095] [1096]
----1 1
0-01- 1
1101- 1
1001- 1
.names pq pc pn pz [107] [239] [1099]
---1-- 1
-----1 1
110-1- 1
.names pp pq pl pm pn po [1100]
011001 1
000100 1
.names pq pc pn [107] [239] [1100] [1101]
----1- 1
-----1 1
1101-- 1
.names pi pl po [98] nq5 [1104]
----1 1
1001- 1
.names [93] [107] nj6 nc6 [900] [916] [1107]
--1--- 1
---1-- 1
1---1- 1
-1---1 1
.names pp pq pl pm pn po [1109]
110101 1
011000 1
.names [84] [46] [1104] [1107] [1109] [1110]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pg pl po [93] [98] [117] [1111]
1----1 1
-11-1- 1
1111-- 1
.names [62] [65] [915] [1046] [1047] [1113]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po [1114]
100001 1
000001 1
101000 1
.names pb pf [41] [103] [920] [924] [1115]
01-1-- 1
--1-11 1
.names pp pf pm [100] [1114] [1116]
----1 1
0-01- 1
1101- 1
1001- 1
.names pg [122] [910] [915] [1115] [1116] [1118]
--1--- 1
---1-- 1
----1- 1
-----1 1
01---- 1
.names pd [80] [100] [98] [929] [1003] [1120]
-1---- 1
--1-1- 1
0--1-1 1
.names pq pi pn [41] nh6 [924] [1123]
----1- 1
0011-1 1
.names pp pq pl pm pn po [1125]
011101 1
011001 1
100100 1
000100 1
.names pg pl po [93] [98] [117] [1128]
1----1 1
-11-1- 1
1111-- 1
.names pp pq pl pm pn po [1129]
111110 1
001110 1
.names [93] [52] nw5 [917] [918] [1129] [1130]
--1--- 1
-----1 1
1--1-- 1
11--1- 1
.names pp pq pl pm pn po [1131]
011101 1
011001 1
100001 1
000001 1
.names pg [117] [122] [1131] [1133]
---1 1
11-- 1
0-1- 1
.names pp pq pl pm pn po [1134]
000011 1
001101 1
.names pp pq pl pm pn po [1135]
011101 1
010001 1
.names pp pq pl pm pn po [1136]
111011 1
010001 1
.names [62] [1046] [1047] [1136] [1137]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pl pm pn po [1138]
000001 1
010010 1
.names pp pf pm [100] [1138] [1140]
----1 1
1101- 1
1001- 1
.names [62] [1046] [1047] [1130] [1140] [1141]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.end