| .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 [63] [902] pa0 |
| 1- 1 |
| -1 1 |
| .names pp pq pk pl pm pn po pb0 |
| 1100001 1 |
| .names pp pq pl pm pn po pc1 |
| 110111 1 |
| 001000 1 |
| .names [88] [48] [65] [915] [927] [932] pr |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names pj nl5 pb1 |
| 11 1 |
| .names pp pq pl pm pn po pc0 |
| 010010 1 |
| .names pa1 nj7 nd5 [49] ps |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [49] [68] [953] [971] [972] pd0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pp pq pl pm pn po pd1 |
| 011110 1 |
| .names [994] [995] [1009] [1010] [1011] 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 [64] [67] [1029] [1030] [1042] [1043] pf0 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [63] [75] nj6 [40] nk6 [902] pv |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [49] [48] [67] [953] [1029] [1030] [1053] pg0 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| .names [994] [995] [1063] [1064] [1073] [1074] ph0 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [68] [1063] [1064] [1086] [1087] pi0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [63] [75] [40] nk6 [902] py |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [51] [99] [59] [113] [112] [936] [1090] pj0 |
| ------1 1 |
| 1--1--- 1 |
| --1-1-- 1 |
| -1---1- 1 |
| .names pp pq pl pm pn po pz |
| 100001 1 |
| 000001 1 |
| .names pj pj0 [63] nl5 [1094] pk0 |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 1--1- 1 |
| .names [65] [915] [1096] [1097] [1099] pl0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pb pf [103] [919] [1091] [1101] [1103] pm0 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 011---- 1 |
| .names [70] [65] [915] [1096] [1097] pn0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pj pj0 [63] nl5 [45] [1108] [1109] po0 |
| -1----- 1 |
| --1---- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1--1--- 1 |
| .names [65] [40] [103] [915] [918] [919] [1111] pp0 |
| 1------ 1 |
| -1----- 1 |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| --1-1-- 1 |
| .names [63] [40] nk6 [902] [1118] pq0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [48] [1035] [1036] [1037] [1121] pr0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names nh6 [65] [40] [59] [915] [924] [1112] ps0 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ----1-- 1 |
| ------1 1 |
| ---1-1- 1 |
| .names pe [103] [121] [247] [1104] [1108] [1127] pt0 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1--1--- 1 |
| 111---- 1 |
| .names [65] [915] [927] [1128] pu0 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names pb pf [40] [103] [919] [1129] [1133] pv0 |
| --1---- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 01-1--- 1 |
| .names pe [103] [121] [247] [1104] [1134] [1135] pw0 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1--1--- 1 |
| 111---- 1 |
| .names pe [103] [121] [247] [1104] [1134] [1137] px0 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1--1--- 1 |
| 111---- 1 |
| .names [40] [72] [103] [918] [919] [1129] [1140] py0 |
| 1------ 1 |
| -1----- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| --11--- 1 |
| .names pp pq pl pm pn po pz0 |
| 011000 1 |
| .names pp pq pg pl pm pn po [63] |
| 1110011 1 |
| 0010101 1 |
| .names [48] [65] [915] [927] nw |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names pp pq pf pl pm pn po [88] |
| 00-0010 1 |
| 1010010 1 |
| 1000010 1 |
| .names pp pq ph pl pm pn po nl5 |
| 0010111 1 |
| .names pp pq pe pf pm pn po nj7 |
| 1100000 1 |
| .names pp pq pl pm pn po nd5 |
| 000000 1 |
| .names pq pn [99] [59] [113] [112] [936] [49] |
| ---1-1- 1 |
| --1---1 1 |
| 01--1-- 1 |
| .names pp pq pl pm pn po nh6 |
| 101000 1 |
| .names pq pn [51] |
| 01 1 |
| .names nn4 [59] [924] [956] [959] [960] [68] |
| 1----- 1 |
| ----1- 1 |
| -----1 1 |
| -11--- 1 |
| -1-1-- 1 |
| .names pp pq pg pl pm pn po [75] |
| 11-1011 1 |
| 1111001 1 |
| .names pb pe pf [103] [247] [904] [48] |
| -----1 1 |
| -1--1- 1 |
| 11-1-- 1 |
| -101-- 1 |
| .names pp pq pl pm pn no5 |
| 10110 1 |
| .names pq pl pm pn po nv4 |
| 01100 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 [1035] [1036] [1037] [64] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pp pq pl pm pn po nj6 |
| 000010 1 |
| .names pp pq pg pl pm pn po [85] |
| 1000101 1 |
| 1100110 1 |
| .names pp pq pg pl pn po ne5 |
| 110011 1 |
| .names pp pq pl pm pn po nu6 |
| 011010 1 |
| .names pp pq pi pl pm pn po nr4 |
| 1010111 1 |
| .names pp pq pg pl pm pn po [77] |
| 00--011 1 |
| 10-0100 1 |
| 1000101 1 |
| 1100110 1 |
| .names pb pf [103] [919] [1091] [70] |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names pp pq pg pl pm pn po [65] |
| 00-0011 1 |
| 00-1101 1 |
| 1000101 1 |
| 1100110 1 |
| .names pd nu6 [106] [97] [116] [1046] [40] |
| -1---- 1 |
| -----1 1 |
| 1-1--- 1 |
| 0-1--- 1 |
| ---11- 1 |
| .names pp pq pf pl pm pn po nn6 |
| 1000010 1 |
| .names pp pq pl pm pn po [82] |
| 011101 1 |
| 011001 1 |
| .names pp pq pl pm pn po nk6 |
| 011101 1 |
| .names pb pe pf [103] [247] [1104] [1134] [72] |
| -----1- 1 |
| ------1 1 |
| -1--1-- 1 |
| 11-1--- 1 |
| -101--- 1 |
| .names pp pq pi pl pm pn po [106] |
| 1100010 1 |
| .names pp pq pl pm pn po nn4 |
| 101001 1 |
| .names pp pq pl pm pn po [103] |
| 110000 1 |
| .names pq pa pl pn po [99] |
| 01101 1 |
| .names pp pq pi pl pm pn po [59] |
| 1000111 1 |
| .names nr4 nn6 [97] [982] [983] [986] [67] |
| 1----- 1 |
| -1---- 1 |
| ---11- 1 |
| --1--1 1 |
| .names pb pe pf [103] [247] [1104] [45] |
| -----1 1 |
| -1--1- 1 |
| 11-1-- 1 |
| -101-- 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 pp pq pg pl pm pn po [97] |
| 1010101 1 |
| .names pc pi pk [116] |
| 1-- 1 |
| -1- 1 |
| --1 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 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 po [184] |
| 0000101 1 |
| .names pp pq pa pl pm pn po [247] |
| 0011001 1 |
| .names pp pq pk pl pm pn po [902] |
| 01-0010 1 |
| 1100001 1 |
| .names pp pq pl pm pn po [904] |
| 010001 1 |
| 100001 1 |
| 000001 1 |
| .names pp pq pi pl pm pn po [915] |
| 11-0101 1 |
| 01-1001 1 |
| 11-1110 1 |
| 00-1110 1 |
| 11-1100 1 |
| 00-0100 1 |
| 1110010 1 |
| .names pf pb [918] |
| 10 1 |
| .names pp pq pg pl pm pn po [919] |
| 01-0011 1 |
| 1101001 1 |
| .names pb pc pe pf ph pj [924] |
| 1-1-11 1 |
| -01-11 1 |
| --1011 1 |
| .names pp pq pc pl pm pn po [925] |
| 10-1000 1 |
| 10-0000 1 |
| 0110000 1 |
| .names nn4 [103] [59] [918] [919] [924] [925] [927] |
| 1------ 1 |
| ----1-- 1 |
| ------1 1 |
| -1-1--- 1 |
| --1--1- 1 |
| .names pp pq pg pl pm pn po [932] |
| 1110011 1 |
| 0010101 1 |
| 1111001 1 |
| .names pp pe pf pm [936] |
| 0000 1 |
| .names pp pq pl pm pn po [948] |
| 001111 1 |
| 111100 1 |
| .names pp pq pa pl pm pn po [949] |
| 0-01-01 1 |
| 01-1100 1 |
| .names nj7 no5 [82] [103] [918] [948] [949] [953] |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| -----1- 1 |
| ------1 1 |
| ---11-- 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 pp pq pk pl pm pn po [971] |
| -0-0011 1 |
| 10--110 1 |
| 01-0101 1 |
| 01-1110 1 |
| 1110001 1 |
| .names pp pq pg pl pm pn po [972] |
| 11-1011 1 |
| 00-1101 1 |
| 11-1000 1 |
| 01-1000 1 |
| 10-1000 1 |
| 00-1000 1 |
| 1111001 1 |
| 1101001 1 |
| .names pe ph pj pn [982] |
| 1101 1 |
| .names pp pb pc pf pl pm po [983] |
| 11--011 1 |
| 1-0-011 1 |
| 1--0011 1 |
| .names pc pi pk [986] |
| 000 1 |
| .names pp pq pk pl pm pn po [994] |
| 01-01-0 1 |
| 01-1101 1 |
| 01-1110 1 |
| 00-1110 1 |
| 10-1010 1 |
| 1110001 1 |
| .names nr4 [77] nn6 [97] [982] [983] [986] [995] |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ----11- 1 |
| ---1--1 1 |
| .names pp pq ph pl pm pn po [1000] |
| 11-1000 1 |
| 0010111 1 |
| .names pp pq pg pl pm pn po [1001] |
| 111011- 1 |
| 1100-11 1 |
| .names pp pq pg pl pm pn po [1008] |
| 10-110- 1 |
| 11-1011 1 |
| 00-0110 1 |
| 1101001 1 |
| .names pd [63] [106] [181] [1009] |
| -1-- 1 |
| ---1 1 |
| 0-1- 1 |
| .names pb pc pf ph nv4 [81] [59] [1010] |
| ----1-- 1 |
| -----1- 1 |
| 0111--1 1 |
| .names [184] [1000] [1001] [1008] [1011] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names pe pf pm [1019] |
| 010 1 |
| .names pb pe pf [1021] |
| 101 1 |
| .names pp pq pl pm pn po [1027] |
| 001101 1 |
| 111110 1 |
| 110100 1 |
| 001000 1 |
| .names pp pq pi pl pm pn po [1028] |
| 10-1001 1 |
| 10-0110 1 |
| 11-1010 1 |
| 1110010 1 |
| .names pc pd pi pk [106] [97] [1027] [1029] |
| ------1 1 |
| -1--1-- 1 |
| 1----1- 1 |
| --1--1- 1 |
| ---1-1- 1 |
| .names [184] [1000] [1001] [1028] [1030] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names pp pq pf pl pm pn po [1035] |
| 11-0101 1 |
| 1010010 1 |
| .names pp pq pk pl pm pn po [1036] |
| 01-0011 1 |
| 01-0010 1 |
| 1100001 1 |
| .names pp pq pg pl pm pn po [1037] |
| 01-0110 1 |
| 00-0010 1 |
| 1111001 1 |
| 1101001 1 |
| .names pp pq pl pm pn po [1042] |
| 00-011 1 |
| -00011 1 |
| 010101 1 |
| 011110 1 |
| 000110 1 |
| .names [103] [99] [59] [159] [956] [1019] [1021] [1043] |
| ---1--- 1 |
| --1-1-- 1 |
| -1---1- 1 |
| 1-----1 1 |
| .names pp pq pl pm pn po [1046] |
| 010110 1 |
| 100100 1 |
| .names pp pq pl pm pn po [1051] |
| 1-1101 1 |
| 101010 1 |
| .names pd [85] [106] [181] [1051] [1053] |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 0-1-- 1 |
| .names pp pq pl pm pn po [1056] |
| 001101 1 |
| 101000 1 |
| .names pp pq pl pm pn po [1059] |
| 011100 1 |
| 100000 1 |
| .names pp pq pf pl pm pn po [1062] |
| -0-0011 1 |
| 1--1101 1 |
| 01-0011 1 |
| 1010010 1 |
| .names pe pf pm [99] [150] [1059] [1063] |
| ----1- 1 |
| -----1 1 |
| 0101-- 1 |
| .names pb pe pf [103] [1056] [1062] [1064] |
| ----1- 1 |
| -----1 1 |
| 1011-- 1 |
| .names pp pq pl pm pn po [1065] |
| 101001 1 |
| 011000 1 |
| .names pp pq pc pl pm pn po [1069] |
| 01-0101 1 |
| 0110000 1 |
| .names pp pq pl pm pn po [1071] |
| 011001 1 |
| 010001 1 |
| 100001 1 |
| 010010 1 |
| .names pc pi pj pc1 nl5 ne5 [1065] [1073] |
| ---1--- 1 |
| ------1 1 |
| --1-1-- 1 |
| 00---1- 1 |
| .names pd [106] [97] [116] [1069] [1071] [1074] |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| --11-- 1 |
| .names pp pq pl pm pn po [1078] |
| 000110 1 |
| 000000 1 |
| .names pp pq pc pl pm pn po [1081] |
| 00-0100 1 |
| 0-00000 1 |
| .names pp pq pi pl pm pn po [1084] |
| 11-1110 1 |
| 01-1010 1 |
| 00-0010 1 |
| 1010111 1 |
| .names pb pf [103] [1078] [1084] [1086] |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names pd pz [77] [106] [1081] [1087] |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 0--1- 1 |
| .names pp pq pl pm pn po [1090] |
| 001111 1 |
| 000000 1 |
| .names pp pq pg pl pm pn po [1091] |
| 11-0111 1 |
| 00-1000 1 |
| 1111001 1 |
| .names pd1 [65] [103] [915] [918] [919] [1091] [1094] |
| 1------ 1 |
| -1----- 1 |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| --1-1-- 1 |
| .names pp pq pf pl pm pn po [1096] |
| 01-1110 1 |
| 00-0010 1 |
| 11-1000 1 |
| 1010010 1 |
| 1000010 1 |
| .names pj [63] nl5 [902] [1065] [1097] |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| .names pp pq pc pl pm pn po [1099] |
| 10-0001 1 |
| 00-0001 1 |
| 10-0000 1 |
| 0110000 1 |
| .names pp pq pc pl pm pn po [1101] |
| 01-1001 1 |
| 00-0100 1 |
| 10-0000 1 |
| 0110000 1 |
| .names pb pe pf [65] [103] [247] [904] [1103] |
| ---1--- 1 |
| ------1 1 |
| -1---1- 1 |
| 11--1-- 1 |
| -10-1-- 1 |
| .names pp pq pi pl pm pn po [1104] |
| 11-1100 1 |
| 1110010 1 |
| .names pp pq pk pl pm pn po [1105] |
| 00-0010 1 |
| 1100001 1 |
| .names pp pq pc pl pm pn po [1106] |
| 00-0001 1 |
| 0110000 1 |
| .names nn4 [59] [924] [1105] [1106] [1108] |
| 1---- 1 |
| ---1- 1 |
| ----1 1 |
| -11-- 1 |
| .names pp pq pl pm pn po [1109] |
| 110101 1 |
| 011000 1 |
| .names pp pq pg pl pm pn po [1111] |
| 11-1011 1 |
| 1110011 1 |
| 0010101 1 |
| 1111001 1 |
| .names pb pf [103] [919] [1111] [1112] |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names pp pq pf pl pm pn po [1116] |
| 10-0001 1 |
| 00-0001 1 |
| 00-0010 1 |
| 10-1000 1 |
| 1010010 1 |
| 1000010 1 |
| .names [65] [103] [59] [915] [918] [924] [1116] [1118] |
| 1------ 1 |
| ---1--- 1 |
| ------1 1 |
| -1--1-- 1 |
| --1--1- 1 |
| .names pd [80] [65] nn6 [106] [1121] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 0---1 1 |
| .names pp pq pl pm pn po [1125] |
| 011101 1 |
| 011001 1 |
| 100100 1 |
| 000100 1 |
| .names pd [63] [106] [97] [116] [1125] [1127] |
| -1---- 1 |
| -----1 1 |
| 1-1--- 1 |
| ---11- 1 |
| .names pp pq pg pl pm pn po [1128] |
| 11-1011 1 |
| 1110011 1 |
| 0010101 1 |
| 1111001 1 |
| .names pp pq pl pm pn po [1129] |
| 111110 1 |
| 001110 1 |
| .names pp pq pg pl pm pn po [1133] |
| 01-1101 1 |
| 01-1001 1 |
| 10-0001 1 |
| 00-0001 1 |
| 1110011 1 |
| 0010101 1 |
| 1000101 1 |
| 1100110 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 pd nu6 [106] [97] [116] [1046] [1136] [1137] |
| -1----- 1 |
| -----1- 1 |
| ------1 1 |
| 1-1---- 1 |
| 0-1---- 1 |
| ---11-- 1 |
| .names pp pq pf pl pm pn po [1140] |
| 00-0001 1 |
| 01-0010 1 |
| 1010010 1 |
| 1000010 1 |
| .end |
