| .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 pp pq pg pk pl pm pn po pa0 |
| 01--0010 1 |
| 111-0011 1 |
| 001-0101 1 |
| 11-00001 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 pe [69] [246] [247] [904] [933] pr |
| -1---- 1 |
| ----1- 1 |
| -----1 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| .names pp pq ph pj pl pm pn po pb1 |
| 00110111 1 |
| .names pp pq pl pm pn po pc0 |
| 010010 1 |
| .names [99] [59] [112] [232] [936] [940] ps |
| ---1-- 1 |
| -----1 1 |
| -11--- 1 |
| 1---1- 1 |
| .names [44] nn4 [59] [924] [956] [959] [960] [973] pd0 |
| 1------- 1 |
| -1------ 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| --11---- 1 |
| --1-1--- 1 |
| .names pp pq pl pm pn po pd1 |
| 011110 1 |
| .names [77] [97] [982] [983] [986] [987] [994] [1013] pe0 |
| 1------- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| --11---- 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 [71] [1028] [1031] [1037] [1038] [1044] pf0 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [75] nj6 [97] [116] [180] [1046] [1047] [1049] pv |
| 1------- 1 |
| -1------ 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| --11---- 1 |
| .names [44] [71] [1028] [1031] [1054] pg0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pc1 [43] [60] [87] [136] [1074] ph0 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [60] [77] [1081] [1082] [1088] pi0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [75] [97] [116] [180] [1046] [1047] [1049] py |
| 1------ 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| -11---- 1 |
| .names [99] [59] [112] [232] [936] [1090] pj0 |
| ---1-- 1 |
| -----1 1 |
| -11--- 1 |
| 1---1- 1 |
| .names pp pq pl pm pn po pz |
| 100001 1 |
| 000001 1 |
| .names pd1 ng6 [39] [86] [919] [1091] pk0 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names pa0 [87] [39] [1096] [1099] pl0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names ng6 [919] [1091] [1101] [1103] pm0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pa0 [87] ng6 [39] [919] [1091] [1096] pn0 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| .names pp pq pl pm pn po [86] [66] po0 |
| ------1- 1 |
| -------1 1 |
| 110101-- 1 |
| 011000-- 1 |
| .names ng6 [919] [1111] [1113] pp0 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names ng6 [83] [39] [59] [924] [1116] pq0 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| -----1 1 |
| ---11- 1 |
| .names [80] nm4 [65] nn6 [1122] pr0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names nh6 ng6 [59] [919] [924] [1111] [1113] ps0 |
| 1------ 1 |
| -1----- 1 |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| --1-1-- 1 |
| .names pc pi pk [63] [66] [97] [180] [1125] pt0 |
| ---1---- 1 |
| ----1--- 1 |
| ------1- 1 |
| -------1 1 |
| 1----1-- 1 |
| -1---1-- 1 |
| --1--1-- 1 |
| .names ng6 [39] nn4 [59] [919] [924] [925] [1128] pu0 |
| 1------- 1 |
| -1------ 1 |
| --1----- 1 |
| ----1--- 1 |
| ------1- 1 |
| -------1 1 |
| ---1-1-- 1 |
| .names pp pq pg pl pm pn po [76] pv0 |
| -------1 1 |
| 01-1101- 1 |
| 01-1001- 1 |
| 10-0001- 1 |
| 00-0001- 1 |
| 1110011- 1 |
| 0010101- 1 |
| 1000101- 1 |
| 1100110- 1 |
| .names pe [246] [247] [1104] [1134] [1135] pw0 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| .names pe [246] [247] [1104] [1134] [1137] px0 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| .names pe [76] [246] [247] [1104] [1134] [1140] py0 |
| -1----- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1-1---- 1 |
| 1--1--- 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 pe [69] [246] [247] [904] nw |
| -1--- 1 |
| ----1 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names pp pq pl pm pn po nh6 |
| 101000 1 |
| .names [99] [59] [112] [232] [936] [949] [950] [951] [44] |
| ---1---- 1 |
| -----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 ng6 [39] nn4 [59] [919] [924] [925] [69] |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ----1-- 1 |
| ------1 1 |
| ---1-1- 1 |
| .names pq pl pm pn po nv4 |
| 01100 1 |
| .names [77] [97] [982] [983] [986] [987] [994] [43] |
| 1------ 1 |
| -----1- 1 |
| ------1 1 |
| --11--- 1 |
| -1--1-- 1 |
| .names pp pq pg ph pl pm pn po [71] |
| 111-011- 1 |
| 110-0-11 1 |
| 11--1000 1 |
| 00-10111 1 |
| 000-0101 1 |
| .names pp pq pd pi pl pm pn po [73] |
| 01--101- 1 |
| 11000010 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 pq pa pe pf pl pm pn po np6 |
| 01011001 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 np6 [103] [150] [1021] [1056] [1059] [1062] [60] |
| 1------ 1 |
| --1---- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| -1-1--- 1 |
| .names pp pq ph pj pl pm pn po [87] |
| 10--1001 1 |
| 01--1000 1 |
| 00110111 1 |
| .names pp pq pd pi pl pm pn po nm4 |
| 11000010 1 |
| .names pp pq pb pf pl pm pn po ng6 |
| 11010000 1 |
| .names pp pq pg pl pm pn po [77] |
| 00--011 1 |
| 10-0100 1 |
| 1000101 1 |
| 1100110 1 |
| .names pc pi pk [97] [180] [1046] [1047] [1049] [83] |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 1--1---- 1 |
| -1-1---- 1 |
| --11---- 1 |
| .names pp pq pg pi pl pm pn po [39] |
| 00--0011 1 |
| 00--1101 1 |
| 11--0101 1 |
| 01--1001 1 |
| 11--1110 1 |
| 00--1110 1 |
| 11--1100 1 |
| 00--0100 1 |
| 100-0101 1 |
| 110-0110 1 |
| 11-10010 1 |
| .names pb1 [63] [99] [59] [112] [232] [936] [1090] [86] |
| 1------- 1 |
| -1------ 1 |
| -----1-- 1 |
| -------1 1 |
| ---11--- 1 |
| --1---1- 1 |
| .names pp pq pg pl pm pn po [65] |
| 00-0011 1 |
| 00-1101 1 |
| 1000101 1 |
| 1100110 1 |
| .names pe nn4 [59] [246] [247] [924] [1104] [1107] [66] |
| -1------ 1 |
| ------1- 1 |
| -------1 1 |
| 1--1---- 1 |
| 1---1--- 1 |
| --1--1-- 1 |
| .names pp pq pf pl pm pn po nn6 |
| 1000010 1 |
| .names ng6 [97] [116] [180] [919] [1046] [1047] [1129] [76] |
| 1------- 1 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| -11----- 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 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 nw pt |
| 1 1 |
| .names nw pw |
| 1 1 |
| .names nw px |
| 1 1 |
| .names pp pq pc pg pi pl pn po [136] |
| 11000011 1 |
| .names pp pq pl pm pn po [150] |
| 111010 1 |
| .names pp pq pl pm pn po [159] |
| 001010 1 |
| .names pp pq pd pi pl pm pn po [180] |
| 11100010 1 |
| .names pp pq ph pi pl pm pn po [232] |
| 10--1011 1 |
| 000-0111 1 |
| -0000111 1 |
| .names pp pq pb pf pl pm pn po [246] |
| 111-0000 1 |
| 11-00000 1 |
| .names pp pq pa pl pm pn po [247] |
| 0011001 1 |
| .names pp pq pl pm pn po [904] |
| 010001 1 |
| 100001 1 |
| 000001 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 pp pq pf pg pl pm pn po [933] |
| 00--0010 1 |
| 11-10011 1 |
| 00-10101 1 |
| 11-11001 1 |
| 101-0010 1 |
| 100-0010 1 |
| .names pp pe pf pm [936] |
| 0000 1 |
| .names pp pq pe pf pl pm pn po [940] |
| 11--1000 1 |
| 00--0000 1 |
| 1100-000 1 |
| .names pp pq pa pl pm pn po [949] |
| 0-01-01 1 |
| 01-1100 1 |
| .names pp pq pb pf pl pm pn po [950] |
| 01--1101 1 |
| 01--1001 1 |
| 11010000 1 |
| .names pp pq pe pf pl pm pn po [951] |
| 10--110- 1 |
| 00--1111 1 |
| 11--1100 1 |
| 1100-000 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 pg pk pl pm pn po [973] |
| -0--0011 1 |
| 10---110 1 |
| 11--1011 1 |
| 00--1101 1 |
| 01--0101 1 |
| 01--1110 1 |
| 11--1000 1 |
| 01--1000 1 |
| 10--1000 1 |
| 00--1000 1 |
| 111-1001 1 |
| 110-1001 1 |
| 11-10001 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 pf pi pl pm pn po [987] |
| 10-10111 1 |
| 100-0010 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 pp pq pg ph pl pm pn po [1011] |
| 10--110- 1 |
| 111-011- 1 |
| 110-0-11 1 |
| 11--1011 1 |
| 00--0110 1 |
| 11--1000 1 |
| 00-10111 1 |
| 000-0101 1 |
| 110-1001 1 |
| .names [63] nv4 [73] [81] [59] [956] [1011] [1013] |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ------1 1 |
| ----11- 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 [97] [116] [180] [982] [983] [986] [987] [1027] [1031] |
| --1----- 1 |
| ------1- 1 |
| -------1 1 |
| 11------ 1 |
| ---11--- 1 |
| 1----1-- 1 |
| .names pp pq pg pl pm pn po [1037] |
| 01-0110 1 |
| 00-0010 1 |
| 1111001 1 |
| 1101001 1 |
| .names pp pq pf pk pl pm pn po [1038] |
| 01--0011 1 |
| 11--0101 1 |
| 01--0010 1 |
| 11-00001 1 |
| 101-0010 1 |
| .names pp pq pl pm pn po [1042] |
| 00-011 1 |
| -00011 1 |
| 010101 1 |
| 011110 1 |
| 000110 1 |
| .names np6 [103] [59] [159] [956] [1021] [1042] [1044] |
| 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 pp pq pd pi pl pm pn po [1047] |
| 01--1010 1 |
| 11000010 1 |
| .names pp pq pg pk pl pm pn po [1049] |
| 01--1101 1 |
| 01--0010 1 |
| 111-0011 1 |
| 001-0101 1 |
| 11-00001 1 |
| .names pp pq pd pi pl pm pn po [1052] |
| 01--101- 1 |
| 1---1101 1 |
| 10--1010 1 |
| 11000010 1 |
| .names pe [85] [246] [247] [904] [1052] [1054] |
| -1---- 1 |
| ----1- 1 |
| -----1 1 |
| 1-1--- 1 |
| 1--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 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 pk [97] [180] [1069] [1071] [1074] |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1--1--- 1 |
| -1-1--- 1 |
| --11--- 1 |
| .names pp pq pc pl pm pn po [1081] |
| 00-0100 1 |
| 0-00000 1 |
| .names pp pq pd pi pl pm pn po [1082] |
| 10--0001 1 |
| 00--0001 1 |
| 11000010 1 |
| .names pp pq pb pf pl pm pn po [1083] |
| 00--0110 1 |
| 00--0000 1 |
| 11010000 1 |
| .names pp pq pi pl pm pn po [1084] |
| 11-1110 1 |
| 01-1010 1 |
| 00-0010 1 |
| 1010111 1 |
| .names nn4 [59] [924] [956] [959] [960] [1083] [1084] [1088] |
| 1------- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| -11----- 1 |
| -1-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 pp pq pf pl pm pn po [1096] |
| 01-1110 1 |
| 00-0010 1 |
| 11-1000 1 |
| 1010010 1 |
| 1000010 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 pe [65] [246] [247] [904] [1103] |
| -1--- 1 |
| ----1 1 |
| 1-1-- 1 |
| 1--1- 1 |
| .names pp pq pi pl pm pn po [1104] |
| 11-1100 1 |
| 1110010 1 |
| .names pp pq pc pk pl pm pn po [1107] |
| 00--0001 1 |
| 00--0010 1 |
| 11-00001 1 |
| 011-0000 1 |
| .names pp pq pg pl pm pn po [1111] |
| 11-1011 1 |
| 1110011 1 |
| 0010101 1 |
| 1111001 1 |
| .names pc pi pk [39] [97] [180] [1046] [1047] [1113] |
| ---1---- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 1---1--- 1 |
| -1--1--- 1 |
| --1-1--- 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 pe [246] [247] [904] [1037] [1038] [1122] |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| .names pp pq pl pm pn po [1125] |
| 011101 1 |
| 011001 1 |
| 100100 1 |
| 000100 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 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 pc pi pk [97] [180] [1046] [1047] [1136] [1137] |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 1--1---- 1 |
| -1-1---- 1 |
| --11---- 1 |
| .names pp pq pf pl pm pn po [1140] |
| 00-0001 1 |
| 01-0010 1 |
| 1010010 1 |
| 1000010 1 |
| .end |
