| .model top |
| .inputs pa pb pc pd pe pf pg ph pi pj |
| .outputs pp pk pl pm pn po |
| .names pa pb pc pd pp |
| 1111 1 |
| 0101 1 |
| 1010 1 |
| 0000 1 |
| .names [117] [120] [751] [752] pk |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [28] [835] [836] [845] pl |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| 000- 1 |
| .names pb pd pm |
| 11 1 |
| 00 1 |
| .names pb pd pn |
| 11 1 |
| .names [28] [23] [835] [836] [864] po |
| ----1 1 |
| 0-1-- 1 |
| 0--1- 1 |
| -100- 1 |
| .names pa pc nf1 |
| 11 1 |
| .names pe pf nh1 |
| 11 1 |
| .names pg ph pj ny1 |
| 1-1 1 |
| 000 1 |
| .names pe pf pg ph pj nz1 |
| 1110- 1 |
| 010-1 1 |
| 01-11 1 |
| 10110 1 |
| .names pe pf pg ph pj [21] |
| 001-0 1 |
| 10000 1 |
| .names pe pf [25] |
| 11 1 |
| 00 1 |
| .names pa [145] [147] [694] [695] [30] |
| 0---- 1 |
| -0000 1 |
| .names pg pj [40] |
| 10 1 |
| .names pe pf pg [51] |
| 00- 1 |
| -01 1 |
| .names [104] [108] [770] [771] [773] nw0 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pi [16] [123] [735] [742] [28] |
| 1---- 1 |
| -10-0 1 |
| --000 1 |
| .names nk0 nu1 [39] [821] ns0 |
| 0-1- 1 |
| -1-1 1 |
| .names pe pf pg nr0 |
| 100 1 |
| .names [30] [138] [140] [716] [718] nk1 |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 0--1- 1 |
| .names nw0 nu1 [792] [793] [794] nk0 |
| ----1 1 |
| 11--- 1 |
| 1-1-- 1 |
| 0--1- 1 |
| .names pe pf pg ph pj [7] |
| 00-11 1 |
| -0111 1 |
| 01111 1 |
| .names [20] [145] [147] [694] [695] [15] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names nk1 [39] [26] [134] [135] [16] |
| ---1- 1 |
| --1-1 1 |
| 011-- 1 |
| .names pe pf pg ph pj [23] |
| 00101 1 |
| .names nk1 nk0 [56] [798] [32] |
| ---1 1 |
| 001- 1 |
| .names pg ph pj [33] |
| 001 1 |
| .names pg ph pj [17] |
| 101 1 |
| .names pe pf pg ph pj [18] |
| 000-- 1 |
| 0-1-1 1 |
| 0-000 1 |
| .names pg ph pj [52] |
| 011 1 |
| .names pa pg ph pj [54] |
| 1111 1 |
| .names pe pf ph pj nu1 |
| 0111 1 |
| .names pe pf pg ph pj [39] |
| 10101 1 |
| .names pe pf pg ph pj [19] |
| 11011 1 |
| 01101 1 |
| .names pe pf pg ph pj [20] |
| 10101 1 |
| .names nh1 [145] [147] [694] [695] [24] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names pe pf pg ph pj [56] |
| 11101 1 |
| .names pe pf pg ph pj [26] |
| 01011 1 |
| .names pg ph pj [847] [14] |
| 0111 1 |
| .names pe pf pg [755] [756] [49] |
| -1-11 1 |
| 1-011 1 |
| .names pb pd pf ph pj [58] |
| 10010 1 |
| .names pe pf pg ph pj [60] |
| 11001 1 |
| .names pb pg ph pj [62] |
| 1110 1 |
| .names nk1 nu1 [39] [715] [803] [67] |
| 0---1 1 |
| 10--1 1 |
| -00-1 1 |
| 1--01 1 |
| --001 1 |
| .names pa pb nk1 nk0 [806] [68] |
| 00-11 1 |
| -0011 1 |
| 01-01 1 |
| -1001 1 |
| .names pa nw0 nk1 nk0 [809] [69] |
| 01-01 1 |
| -1001 1 |
| .names pa [30] nw0 nk1 [814] [71] |
| 10111 1 |
| 11011 1 |
| .names nk1 nu1 [39] [715] [817] [72] |
| 10--1 1 |
| -00-1 1 |
| 1--01 1 |
| --001 1 |
| .names pb nk0 [7] [54] [73] |
| 0101 1 |
| 1001 1 |
| .names nw0 nk0 [39] [90] [822] [76] |
| 0--11 1 |
| 001-1 1 |
| 11-01 1 |
| 1-001 1 |
| .names nk1 nk0 [39] [90] [135] [79] |
| 11-11 1 |
| 10001 1 |
| .names pg ph pj [788] [81] |
| 1111 1 |
| .names pb pd pg nu1 [90] |
| 1101 1 |
| .names pb pe pf ph pj [100] |
| 10111 1 |
| .names pb pd [767] [104] |
| -11 1 |
| 101 1 |
| .names pd nz1 [108] |
| 01 1 |
| .names [145] [147] [694] [695] [711] [114] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names pa pg ph pj [116] |
| 1110 1 |
| .names [16] [123] [735] [742] [744] [117] |
| 10-01 1 |
| -0001 1 |
| .names [21] [145] [147] [694] [695] [119] |
| 10000 1 |
| .names pi [16] [123] [735] [742] [120] |
| 1-1-- 1 |
| 1---1 1 |
| 10-1- 1 |
| .names nk1 nu1 [39] [715] [725] [123] |
| 10--1 1 |
| -00-1 1 |
| 1--01 1 |
| --001 1 |
| .names pa pc pg ph pj [129] |
| 11001 1 |
| .names [19] [145] [147] [694] [695] [130] |
| 10000 1 |
| .names pa [23] [134] |
| 11 1 |
| .names pa pc pg nu1 [135] |
| 1101 1 |
| .names [145] [147] [694] [695] [717] [138] |
| 00001 1 |
| .names nu1 [145] [147] [694] [695] [140] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names pa pe pf ph pj [141] |
| 10111 1 |
| .names pa pj [18] [145] |
| 001 1 |
| .names pc nz1 [147] |
| 01 1 |
| .names pa pc [688] |
| 01 1 |
| 10 1 |
| .names pe pf pg ph pj [689] |
| 01101 1 |
| .names pa pc pe pf [690] |
| 1111 1 |
| 1100 1 |
| .names pa pc pe pf [691] |
| 1-10 1 |
| -110 1 |
| .names pa pc pe pf [693] |
| 1100 1 |
| .names pg ph [688] [689] [693] [694] |
| --11- 1 |
| 10--1 1 |
| .names pg ph pj [690] [691] [695] |
| 1-1-1 1 |
| 0111- 1 |
| 000-1 1 |
| .names pa pc pf [698] |
| 111 1 |
| .names pa pc pe pf pj [703] |
| 10100 1 |
| .names pa pc ph pj [704] |
| 0110 1 |
| .names pe pf pg pj [706] |
| 00-0 1 |
| -010 1 |
| .names [145] [147] [694] [695] [706] [707] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names pa pc pg ph [708] |
| 0010 1 |
| .names pa pc pj [21] [711] |
| 1-00 1 |
| -100 1 |
| .names pa pc pg [715] |
| 110 1 |
| .names pe pf pg ph pj [716] |
| 11101 1 |
| .names pe pf pg ph pj [717] |
| 00101 1 |
| .names pa pc [39] [141] [718] |
| ---1 1 |
| 111- 1 |
| .names pe pf pj [721] |
| 1-1 1 |
| -11 1 |
| .names pe pf pg ph pj [723] |
| -0--- 1 |
| 0-0-- 1 |
| 0--1- 1 |
| --00- 1 |
| --1-0 1 |
| --0-0 1 |
| ---10 1 |
| --111 1 |
| .names [54] [24] [721] [723] [725] |
| 0111 1 |
| .names pe pf pg ph pj [728] |
| --001 1 |
| 11-01 1 |
| 00-01 1 |
| .names pa pg ph pj [732] |
| 0101 1 |
| .names pa pe pf pg pj [734] |
| 10--1 1 |
| 1-1-1 1 |
| 1--11 1 |
| .names [24] [734] [735] |
| 01 1 |
| .names pa pc pe pf pg [736] |
| 01100 1 |
| .names pa pc [737] |
| 10 1 |
| .names pg pj [129] [736] [737] [739] |
| --1-- 1 |
| 01-1- 1 |
| 01--1 1 |
| .names [24] [130] [732] [739] [741] |
| -1-- 1 |
| ---1 1 |
| 0-1- 1 |
| .names nk1 [24] [728] [741] [742] |
| ---1 1 |
| 011- 1 |
| .names pj pi [744] |
| 10 1 |
| .names pe pf pg ph pj [745] |
| 00-10 1 |
| 11001 1 |
| .names [25] [40] [51] [704] [708] [746] |
| 0-01- 1 |
| 01--1 1 |
| .names [21] [116] [703] [745] [746] [749] |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 0-1-- 1 |
| .names ny1 nz1 [30] [119] [698] [751] |
| ---1- 1 |
| 001-1 1 |
| .names [30] [114] [707] [749] [752] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names pb ph pj [755] |
| 010 1 |
| .names pb pd pe pf [756] |
| 0101 1 |
| 1001 1 |
| 0110 1 |
| 1010 1 |
| .names pf pg ph [758] |
| 110 1 |
| .names pb pd pe pf [759] |
| 1101 1 |
| 0001 1 |
| 1110 1 |
| 0010 1 |
| .names pb pd pe pf pj [762] |
| 1111- 1 |
| 1100- 1 |
| 110-0 1 |
| 11-10 1 |
| .names pa pb pc pd [763] |
| 0111 1 |
| 0010 1 |
| .names pe pf pg ph pj [764] |
| 01101 1 |
| .names pa pb pc pd [765] |
| -001 1 |
| -100 1 |
| 1011 1 |
| 1110 1 |
| .names pe pf pg ph pj [766] |
| 01101 1 |
| .names pe pf pg ph pj [767] |
| 101-1 1 |
| 10000 1 |
| .names pj pb [768] |
| 00 1 |
| .names pb pd pe pf [769] |
| 1100 1 |
| .names pg ph [763] [764] [769] [770] |
| --11- 1 |
| 10--1 1 |
| .names [52] [762] [765] [766] [771] |
| 11-- 1 |
| --11 1 |
| .names pe pf [18] [54] [768] [773] |
| --1-1 1 |
| 00-1- 1 |
| .names pe pf pg pj [776] |
| 00-0 1 |
| -010 1 |
| .names pb pd pj [780] |
| 010 1 |
| 100 1 |
| .names pd pe pf pg [784] |
| 000- 1 |
| 0-01 1 |
| .names pb pd pe pf [786] |
| 110- 1 |
| 11-1 1 |
| .names pa pb pe pf [788] |
| 0011 1 |
| .names pf pg ph pj [789] |
| 1101 1 |
| .names pb pe pf [17] [792] |
| 1111 1 |
| .names pe pf pg ph pj [793] |
| 00101 1 |
| .names pb pd [39] [100] [794] |
| ---1 1 |
| 111- 1 |
| .names [30] nw0 [24] [81] [789] [798] |
| ---1- 1 |
| 010-1 1 |
| 100-1 1 |
| .names pa pc pj [799] |
| 111 1 |
| .names pb pd pe pf [800] |
| 110- 1 |
| 000- 1 |
| 11-0 1 |
| 00-0 1 |
| .names [33] [54] [799] [800] [803] |
| 0011 1 |
| .names pe pf pg ph pj [806] |
| --001 1 |
| 11-01 1 |
| 00-01 1 |
| .names pe pf pg ph pj [808] |
| ---01 1 |
| 11--1 1 |
| -10-1 1 |
| 100-1 1 |
| .names [145] [147] [694] [695] [808] [809] |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---11 1 |
| .names pa pb pc [814] |
| 01- 1 |
| -10 1 |
| .names pe pf pg ph pj [816] |
| 0101- 1 |
| 010-1 1 |
| 011-0 1 |
| 01-10 1 |
| .names nw0 [816] [817] |
| 11 1 |
| .names pe pf pg ph pj [819] |
| 11011 1 |
| .names pb pd pg [821] |
| 110 1 |
| .names [20] [145] [147] [694] [695] [822] |
| 10000 1 |
| .names pm nf1 nr0 [33] [52] [825] |
| 0-11- 1 |
| 001-1 1 |
| .names [30] nw0 [819] [825] [826] |
| ---1 1 |
| 011- 1 |
| 101- 1 |
| .names pb [30] nw0 [7] [826] [828] |
| ----1 1 |
| 0111- 1 |
| 1011- 1 |
| 1101- 1 |
| 0001- 1 |
| .names [32] [68] [69] [72] [828] [835] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [67] [71] [73] [76] [79] [836] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names ph pj [58] [786] [837] |
| --1- 1 |
| 10-1 1 |
| .names [40] [60] [758] [759] [784] [841] |
| -1--- 1 |
| 1---1 1 |
| 1-11- 1 |
| .names [49] [62] [837] [841] [842] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [21] nw0 [776] [780] [842] [845] |
| ----1 1 |
| 10--- 1 |
| 011-- 1 |
| 01-1- 1 |
| .names pb pd pe pf [847] |
| 110- 1 |
| 11-0 1 |
| .names pe pf pg pj [849] |
| 1101 1 |
| .names [145] [147] [694] [695] [849] [850] |
| 00001 1 |
| .names pa pc ph pj [851] |
| 1111 1 |
| .names pe pf pg [851] [852] |
| 1001 1 |
| .names pa nk1 nk0 [853] |
| 111 1 |
| .names [30] nw0 [14] [850] [856] |
| --1- 1 |
| 01-1 1 |
| 10-1 1 |
| .names pb [30] nw0 [7] [857] |
| -011 1 |
| 1111 1 |
| 1001 1 |
| .names nk1 [15] [856] [858] |
| --1 1 |
| 01- 1 |
| .names nk1 nk0 [56] [798] [857] [859] |
| ---1- 1 |
| ----1 1 |
| 001-- 1 |
| .names [16] [853] [858] [859] [861] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names ns0 [835] [836] [852] [861] [864] |
| ----1 1 |
| 100-- 1 |
| -001- 1 |
| .end |
