| .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 pi [16] [123] [735] [742] [754] pk |
| -----1 1 |
| 1-1--- 1 |
| 1---1- 1 |
| 10-1-- 1 |
| .names [28] [831] [832] [836] [843] [844] pl |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| 0000-- 1 |
| .names pb pd pm |
| 11 1 |
| 00 1 |
| .names pb pd pn |
| 11 1 |
| .names [28] [23] [831] [832] [836] [864] po |
| -----1 1 |
| 0-1--- 1 |
| 0--1-- 1 |
| 0---1- 1 |
| -1000- 1 |
| .names pa pc nf1 |
| 11 1 |
| .names pe pf nh1 |
| 11 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 [105] [107] [108] [771] [772] 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 nu1 [39] [795] [796] [821] ns0 |
| 1---1 1 |
| -100- 1 |
| .names pe pf pg nr0 |
| 100 1 |
| .names pa [696] [697] [771] [772] [775] ne1 |
| 11-1-- 1 |
| 1-11-- 1 |
| 11--1- 1 |
| 1-1-1- 1 |
| 11---1 1 |
| 1-1--1 1 |
| 0--000 1 |
| -00000 1 |
| .names pe pf pg ph pj [7] |
| 00-11 1 |
| -0111 1 |
| 01111 1 |
| .names [20] [145] [146] [688] [689] [697] [15] |
| 11---- 1 |
| 1-1--- 1 |
| 1----1 1 |
| 1--11- 1 |
| .names [39] [26] [134] [135] [719] [720] [16] |
| --1--- 1 |
| -1-1-- 1 |
| 11--00 1 |
| .names pe pf pg ph pj [23] |
| 00101 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 pe pf pg ph pj [56] |
| 11101 1 |
| .names nu1 [39] [795] [796] [821] [8] |
| 0-1-- 1 |
| 0--1- 1 |
| --1-0 1 |
| ---10 1 |
| -100- 1 |
| 1-001 1 |
| .names nu1 [39] [715] [719] [720] [37] |
| 00--- 1 |
| -00-- 1 |
| 0--1- 1 |
| --01- 1 |
| 0---1 1 |
| --0-1 1 |
| ---00 1 |
| .names pe pf pg ph pj [26] |
| 01011 1 |
| .names pg ph pj [847] [14] |
| 0111 1 |
| .names pe pf pg ph pj [60] |
| 11001 1 |
| .names pb pg ph pj [62] |
| 1110 1 |
| .names pa [719] [720] [795] [796] [810] [69] |
| 0--001 1 |
| -00001 1 |
| .names pa pb pc ne1 [719] [720] [71] |
| 11011- 1 |
| 1101-1 1 |
| .names nu1 [39] [715] [719] [720] [817] [72] |
| 00---1 1 |
| -00--1 1 |
| 0--1-1 1 |
| --01-1 1 |
| 0---11 1 |
| --0-11 1 |
| .names pb [795] [796] [818] [73] |
| 01-1 1 |
| 0-11 1 |
| 1001 1 |
| .names nw0 [39] [90] [795] [796] [822] [76] |
| 0-1--1 1 |
| 100--1 1 |
| 1-01-1 1 |
| 1-0-11 1 |
| 01-001 1 |
| .names pg ph pj [788] [81] |
| 1111 1 |
| .names [56] [719] [720] [795] [796] [83] |
| 10000 1 |
| .names pb pd pg nu1 [90] |
| 1101 1 |
| .names pb pe pf ph pj [100] |
| 10111 1 |
| .names pb pe pf pg ph pj [105] |
| 0000-0 1 |
| 00-000 1 |
| .names pb pd pe pf pg ph [106] |
| 110010 1 |
| .names pa pe pf pg ph pj [107] |
| 100111 1 |
| .names pd pe pf pg ph pj [108] |
| 01110- 1 |
| 0010-1 1 |
| 001-11 1 |
| 010110 1 |
| .names nu1 [39] [715] [719] [720] [725] [123] |
| 00---1 1 |
| -00--1 1 |
| 0--1-1 1 |
| --01-1 1 |
| 0---11 1 |
| --0-11 1 |
| .names pa pe pf pg ph pj [134] |
| 100101 1 |
| .names pa pc pg nu1 [135] |
| 1101 1 |
| .names pa pe pf ph pj [141] |
| 10111 1 |
| .names pa pe pf pg ph pj [145] |
| 0000-0 1 |
| 00-000 1 |
| .names pa pc pe pf pg ph [146] |
| 110010 1 |
| .names pc pe pf pg ph pj [147] |
| 01110- 1 |
| 0010-1 1 |
| 001-11 1 |
| 010110 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 [145] [146] [689] [696] |
| --1-- 1 |
| ---1- 1 |
| 01--1 1 |
| 10--1 1 |
| .names pg ph pj [147] [690] [691] [697] |
| ---1-- 1 |
| 1-1--1 1 |
| 011-1- 1 |
| 000--1 1 |
| .names pa pc pf pg ph pj [699] |
| 11101- 1 |
| 1110-1 1 |
| 1111-0 1 |
| 111-10 1 |
| .names pa pc pe pf pj [703] |
| 10100 1 |
| .names pa pc ph pj [704] |
| 0110 1 |
| .names pe pf pg [705] |
| 01- 1 |
| 100 1 |
| .names pe pf pg pj [706] |
| 00-0 1 |
| -010 1 |
| .names pa pc pe pf pg ph [709] |
| 000110 1 |
| 001010 1 |
| .names pa pc pj [710] |
| 1-0 1 |
| -10 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 nf1 [39] [141] [696] [697] [717] [719] |
| --1--- 1 |
| 11---- 1 |
| ---001 1 |
| .names pa nu1 [696] [697] [716] [720] |
| -11-- 1 |
| -1-1- 1 |
| 1-1-1 1 |
| 1--11 1 |
| .names pa pe pf pg ph pj [724] |
| 010--1 1 |
| -010-1 1 |
| -100-1 1 |
| -10-01 1 |
| -1-001 1 |
| --1001 1 |
| 001-11 1 |
| 01-111 1 |
| 0-1111 1 |
| .names pe pf [696] [697] [724] [725] |
| --1-1 1 |
| ---11 1 |
| 11--1 1 |
| .names pe pf pg ph pj [728] |
| --001 1 |
| 11-01 1 |
| 00-01 1 |
| .names pe pf [696] [697] [728] [729] |
| --1-1 1 |
| ---11 1 |
| 11--1 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 pe pf [696] [697] [734] [735] |
| 0-001 1 |
| -0001 1 |
| .names pa pc pe pf pg [736] |
| 01100 1 |
| .names pa pc pg ph pj [736] [739] |
| --0-11 1 |
| 100-1- 1 |
| 11001- 1 |
| .names nh1 [19] [696] [697] [732] [739] [741] |
| -----1 1 |
| -100-- 1 |
| 0-001- 1 |
| .names [719] [720] [729] [741] [742] |
| ---1 1 |
| 001- 1 |
| .names pj pi [744] |
| 10 1 |
| .names pa pe pf pg ph pj [747] |
| -00-10 1 |
| 1--110 1 |
| -11001 1 |
| .names pg pj [704] [705] [709] [747] [748] |
| -----1 1 |
| --11-- 1 |
| 10--1- 1 |
| .names [21] [696] [697] [703] [710] [748] [750] |
| -----1 1 |
| 0--1-- 1 |
| 01--1- 1 |
| 0-1-1- 1 |
| .names pa nz1 [21] [696] [697] [699] [751] |
| --100- 1 |
| 00---1 1 |
| -0-001 1 |
| .names pa [696] [697] [706] [750] [751] [753] |
| ----1- 1 |
| -----1 1 |
| 01-1-- 1 |
| 0-11-- 1 |
| .names [16] [123] [735] [742] [744] [753] [754] |
| -----1 1 |
| 10-01- 1 |
| -0001- 1 |
| .names pb pd pe pf [756] |
| 0101 1 |
| 1001 1 |
| 0110 1 |
| 1010 1 |
| .names pb pe pf pg ph pj [757] |
| 0-1-10 1 |
| 010010 1 |
| .names pb pd pe pf pg ph [760] |
| 110110 1 |
| 000110 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 pg ph pj [762] [765] [766] [771] |
| ----11 1 |
| 0111-- 1 |
| .names pb pd [106] [763] [764] [767] [772] |
| --1--- 1 |
| ---11- 1 |
| -1---1 1 |
| 10---1 1 |
| .names [105] [107] [108] [775] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pe pf pg pj [777] |
| 1010 1 |
| 0000 1 |
| .names pb pd pj [780] |
| 010 1 |
| 100 1 |
| .names pd pe pf pg [784] |
| 000- 1 |
| 0-01 1 |
| .names pa pb pe pf [788] |
| 0011 1 |
| .names pf pg ph pj [789] |
| 1101 1 |
| .names pe pf [696] [697] [789] [790] |
| 0-001 1 |
| -0001 1 |
| .names pb pe pf pg ph pj [792] |
| 111101 1 |
| .names pe pf pg ph pj [793] |
| 00101 1 |
| .names pb pd [39] [100] [794] |
| ---1 1 |
| 111- 1 |
| .names [771] [772] [775] [792] [794] [795] |
| ----1 1 |
| 1--1- 1 |
| -1-1- 1 |
| --11- 1 |
| .names nu1 [771] [772] [775] [793] [796] |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| -0001 1 |
| .names pg ph pj ne1 [788] [790] [798] |
| ---1-1 1 |
| 111-1- 1 |
| .names pb pd pe pf [800] |
| 110- 1 |
| 000- 1 |
| 11-0 1 |
| 00-0 1 |
| .names pa pc pg ph pj [800] [803] |
| 110111 1 |
| 111011 1 |
| .names pe pf pg ph pj [806] |
| --001 1 |
| 11-01 1 |
| 00-01 1 |
| .names pa [719] [720] [806] [807] |
| 0--1 1 |
| -001 1 |
| .names pe pf pg ph pj [808] |
| ---01 1 |
| 11--1 1 |
| -10-1 1 |
| 100-1 1 |
| .names [696] [697] [771] [772] [775] [808] [810] |
| 1-1--1 1 |
| -11--1 1 |
| 1--1-1 1 |
| -1-1-1 1 |
| 1---11 1 |
| -1--11 1 |
| .names pe pf pg ph pj [816] |
| 0101- 1 |
| 010-1 1 |
| 011-0 1 |
| 01-10 1 |
| .names [105] [107] [108] [771] [772] [816] [817] |
| 1----1 1 |
| -1---1 1 |
| --1--1 1 |
| ---1-1 1 |
| ----11 1 |
| .names pa pe pf pg ph pj [818] |
| 111111 1 |
| .names pe pf pg ph pj [819] |
| 11011 1 |
| .names pb pd pg [821] |
| 110 1 |
| .names [20] [145] [146] [688] [689] [697] [822] |
| 1000-0 1 |
| 100-00 1 |
| .names pg ph pj pm nf1 nr0 [825] |
| 0010-1 1 |
| 011001 1 |
| .names pb ne1 [7] [819] [825] [828] |
| ----1 1 |
| -1-1- 1 |
| 111-- 1 |
| 001-- 1 |
| .names pb [795] [796] [807] [828] [831] |
| ----1 1 |
| 01-1- 1 |
| 0-11- 1 |
| 1001- 1 |
| .names ne1 [69] [72] [81] [83] [790] [832] |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| 1----1 1 |
| .names [8] [37] [71] [73] [76] [803] [836] |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| 00---- 1 |
| -1---1 1 |
| .names pb pd pe pf ph pj [837] |
| 110-10 1 |
| 11-110 1 |
| 10-010 1 |
| .names [62] [756] [757] [837] [840] |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names pg pj [60] [760] [784] [841] |
| --1-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names [771] [772] [775] [777] [840] [841] [843] |
| ----1- 1 |
| -----1 1 |
| 1--1-- 1 |
| -1-1-- 1 |
| --11-- 1 |
| .names [21] [771] [772] [775] [780] [844] |
| 01--1 1 |
| 0-1-1 1 |
| 0--11 1 |
| 1000- 1 |
| .names pb pd pe pf [847] |
| 110- 1 |
| 11-0 1 |
| .names pe pf pg pj [696] [697] [850] |
| 110100 1 |
| .names pa pc ph pj [851] |
| 1111 1 |
| .names pe pf pg [851] [852] |
| 1001 1 |
| .names pa [719] [720] [795] [796] [853] |
| 11-1- 1 |
| 1-11- 1 |
| 11--1 1 |
| 1-1-1 1 |
| .names pb pe pf pg ph pj [854] |
| 100-11 1 |
| 1-0111 1 |
| 101111 1 |
| .names ne1 [7] [771] [772] [775] [854] [857] |
| 0----1 1 |
| 111--- 1 |
| 11-1-- 1 |
| 11--1- 1 |
| .names ne1 [15] [14] [719] [720] [850] [858] |
| --1--- 1 |
| 1----1 1 |
| -1-00- 1 |
| .names [16] [83] [798] [853] [857] [858] [861] |
| -1---- 1 |
| --1--- 1 |
| ----1- 1 |
| -----1 1 |
| 1--1-- 1 |
| .names ns0 [831] [832] [836] [852] [861] [864] |
| -----1 1 |
| 1000-- 1 |
| -0001- 1 |
| .end |
