| .model top |
| .inputs i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_19_ o_2_ o_0_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ o_13_ o_21_ \ |
| o_16_ o_22_ o_15_ o_23_ o_18_ o_24_ o_17_ o_20_ o_10_ o_9_ o_7_ o_8_ o_5_ o_6_ \ |
| o_3_ o_4_ |
| .names i_3_ i_1_ i_0_ [483] o_1_ |
| ---1 1 |
| 010- 1 |
| .names i_1_ i_2_ n_n96 [494] o_19_ |
| --1- 1 |
| ---1 1 |
| 00-- 1 |
| .names i_1_ n_n152 [486] [496] o_2_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [141] [498] [499] [501] o_0_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [133] [506] o_25_ |
| 1- 1 |
| -1 1 |
| .names [40] [126] o_12_ |
| 1- 1 |
| -1 1 |
| .names [160] [486] [510] [511] o_26_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names o_16_ [517] [518] o_11_ |
| --1 1 |
| 11- 1 |
| .names i_4_ [45] o_27_ |
| 01 1 |
| .names i_2_ i_0_ o_16_ [522] o_14_ |
| ---1 1 |
| 1-1- 1 |
| -01- 1 |
| .names n_n121 [135] [504] [524] o_13_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_4_ [40] [504] [530] o_21_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names i_3_ n_n10 [128] [507] o_16_ |
| 01-- 1 |
| -01- 1 |
| -0-1 1 |
| .names [141] [498] [499] o_22_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_4_ [40] [504] [532] o_15_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [31] [534] [535] o_23_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [79] [513] [514] [537] o_18_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [515] [516] o_24_ |
| 1- 1 |
| -1 1 |
| .names [31] [540] [541] o_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names o_22_ [69] [545] o_20_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n96 [546] o_10_ |
| 1- 1 |
| -1 1 |
| .names i_3_ i_1_ i_0_ [507] o_9_ |
| ---1 1 |
| 010- 1 |
| .names [64] [547] [548] [549] o_7_ |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names n_n121 [135] [504] [552] o_8_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_3_ i_1_ i_2_ [554] o_5_ |
| ---1 1 |
| 1-0- 1 |
| -10- 1 |
| .names i_4_ [40] [504] [557] o_6_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n96 [494] o_3_ |
| 1- 1 |
| -1 1 |
| .names n_n12 n_n10 [31] [46] o_4_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names i_1_ i_2_ n_n178 |
| 10 1 |
| .names i_2_ i_0_ n_n175 |
| 01 1 |
| .names i_3_ i_4_ i_2_ [40] [41] |
| -0-1 1 |
| 100- 1 |
| .names i_3_ i_1_ i_2_ i_0_ [45] |
| 0000 1 |
| .names i_3_ i_4_ n_n12 |
| 10 1 |
| .names i_4_ i_2_ i_0_ [33] |
| 10- 1 |
| -01 1 |
| .names i_3_ i_4_ i_2_ [43] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [40] |
| 0010 1 |
| .names i_3_ i_4_ i_2_ [44] |
| 110 1 |
| .names i_4_ i_1_ i_2_ i_0_ n_n123 |
| 1101 1 |
| .names i_3_ i_4_ [32] |
| 11 1 |
| .names i_1_ i_2_ i_0_ [36] |
| 101 1 |
| .names i_1_ i_2_ i_0_ n_n13 |
| 000 1 |
| .names i_1_ i_2_ i_0_ n_n10 |
| 010 1 |
| .names i_3_ i_4_ i_2_ i_0_ [34] |
| 1010 1 |
| 1100 1 |
| .names i_3_ i_2_ i_0_ [35] |
| 010 1 |
| .names i_3_ i_1_ i_2_ i_0_ [38] |
| 0100 1 |
| .names i_4_ [40] [87] [504] [31] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names i_3_ i_1_ i_2_ [29] |
| 1-- 1 |
| -10 1 |
| .names i_3_ i_4_ i_0_ [30] |
| 100 1 |
| .names [160] [486] [490] [491] n_n96 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_4_ [40] n_n121 |
| 11 1 |
| .names i_3_ i_4_ i_2_ i_0_ n_n152 |
| 1010 1 |
| .names i_3_ i_4_ [36] [558] [46] |
| 0--1 1 |
| -0-1 1 |
| --01 1 |
| .names i_3_ i_4_ i_1_ i_2_ [49] |
| 1110 1 |
| .names i_4_ i_2_ i_0_ [29] [50] |
| 101- 1 |
| -011 1 |
| .names i_2_ [164] [483] [51] |
| 11- 1 |
| 1-1 1 |
| .names i_3_ i_4_ i_2_ i_0_ [63] |
| 1001 1 |
| .names i_1_ i_2_ [128] [507] [64] |
| 0-1- 1 |
| -11- 1 |
| 0--1 1 |
| -1-1 1 |
| .names i_4_ [40] [147] [543] [69] |
| 1-01 1 |
| -001 1 |
| .names i_3_ i_4_ i_2_ i_0_ [74] |
| 1000 1 |
| .names i_3_ i_4_ n_n13 [79] |
| 101 1 |
| .names i_4_ i_1_ i_2_ i_0_ [83] |
| 0010 1 |
| .names i_4_ i_1_ i_2_ i_0_ [87] |
| 1000 1 |
| .names i_3_ i_1_ i_2_ i_0_ [100] |
| 1101 1 |
| .names i_3_ i_4_ i_1_ i_0_ [110] |
| 1010 1 |
| .names i_3_ i_1_ i_2_ [120] |
| 110 1 |
| .names [35] [128] [484] [507] [126] |
| 01-- 1 |
| -10- 1 |
| 0--1 1 |
| --01 1 |
| .names i_3_ i_1_ i_0_ [128] |
| 010 1 |
| .names i_3_ i_4_ i_1_ i_2_ [132] |
| 0110 1 |
| .names [43] n_n121 [135] [504] [133] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names i_4_ i_2_ i_0_ [134] |
| 010 1 |
| .names i_4_ i_2_ i_0_ [135] |
| 101 1 |
| .names i_3_ i_4_ i_2_ i_0_ [137] |
| 0-01 1 |
| -101 1 |
| .names i_3_ i_1_ i_2_ i_0_ [141] |
| 1000 1 |
| .names i_3_ i_4_ i_2_ [147] |
| 100 1 |
| .names i_1_ n_n152 [160] |
| 11 1 |
| .names i_3_ i_1_ i_0_ [164] |
| 010 1 |
| .names i_4_ i_1_ i_2_ i_0_ [483] |
| -10- 1 |
| 01-0 1 |
| .names i_1_ i_4_ [484] |
| 11 1 |
| .names i_4_ i_1_ [40] [35] [486] |
| 1-1- 1 |
| 11-1 1 |
| .names i_1_ i_2_ i_0_ [487] |
| 100 1 |
| .names i_4_ i_2_ i_0_ [488] |
| 101 1 |
| .names i_3_ i_4_ n_n10 [487] [490] |
| 101- 1 |
| 11-1 1 |
| .names i_3_ i_4_ n_n13 [488] [491] |
| 0--1 1 |
| -0-1 1 |
| 111- 1 |
| .names i_3_ i_4_ i_2_ i_0_ [494] |
| 1-0- 1 |
| --01 1 |
| 010- 1 |
| 0-10 1 |
| .names i_3_ i_1_ i_2_ i_0_ [495] |
| --01 1 |
| 0000 1 |
| .names i_4_ [40] [147] [495] [496] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names i_3_ i_4_ i_2_ i_0_ [498] |
| 0101 1 |
| 0000 1 |
| .names i_3_ i_4_ i_2_ i_0_ [499] |
| 0110 1 |
| 1010 1 |
| 1100 1 |
| .names [137] [164] [483] [501] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_4_ i_1_ i_2_ [502] |
| 0-0- 1 |
| -10- 1 |
| 0--1 1 |
| -1-1 1 |
| .names i_3_ i_4_ i_2_ i_0_ [503] |
| 110- 1 |
| 1-01 1 |
| -001 1 |
| .names i_4_ i_1_ [45] [35] [504] |
| 0-1- 1 |
| 11-1 1 |
| .names [132] [134] [502] [503] [506] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names i_4_ i_2_ i_0_ [507] |
| -0- 1 |
| 0-0 1 |
| .names i_1_ i_4_ [508] |
| 10 1 |
| .names n_n12 n_n10 [35] [508] [510] |
| 11-- 1 |
| --11 1 |
| .names i_4_ [33] [40] [120] [511] |
| -1-- 1 |
| ---1 1 |
| 0-1- 1 |
| .names i_4_ i_1_ i_2_ [35] [513] |
| -10- 1 |
| 11-1 1 |
| .names i_4_ i_1_ [35] [110] [514] |
| ---1 1 |
| 011- 1 |
| .names i_3_ i_1_ i_2_ i_0_ [515] |
| -10- 1 |
| 0--0 1 |
| .names i_3_ i_4_ i_2_ i_0_ [516] |
| 0-0- 1 |
| -10- 1 |
| 10-0 1 |
| .names i_4_ [515] [516] [517] |
| 01- 1 |
| 0-1 1 |
| .names [44] [513] [514] [518] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_4_ i_2_ i_0_ [519] |
| 001 1 |
| .names i_3_ i_4_ [128] [507] [520] |
| 0-1- 1 |
| -01- 1 |
| 0--1 1 |
| -0-1 1 |
| .names n_n123 [29] [519] [521] |
| 01- 1 |
| 0-0 1 |
| .names [32] [36] [520] [521] [522] |
| 11-- 1 |
| --11 1 |
| .names i_4_ [40] [38] [100] [524] |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names i_4_ i_1_ [35] [38] [526] |
| ---1 1 |
| 011- 1 |
| .names i_3_ i_4_ n_n10 [38] [527] |
| -0-1 1 |
| 101- 1 |
| .names i_3_ i_4_ n_n13 [487] [528] |
| 111- 1 |
| 11-1 1 |
| .names [526] [527] [528] [530] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [531] |
| 0100 1 |
| 1000 1 |
| .names [531] [34] [532] |
| 1- 1 |
| -1 1 |
| .names i_1_ i_2_ i_0_ [533] |
| 001 1 |
| .names n_n178 n_n175 [32] [30] [534] |
| 1--1 1 |
| 111- 1 |
| .names i_3_ i_4_ [83] [533] [535] |
| --1- 1 |
| 10-1 1 |
| .names [33] [40] [29] [537] |
| -1- 1 |
| 1-0 1 |
| .names i_4_ i_2_ i_0_ [539] |
| 101 1 |
| .names [38] [29] [519] [540] |
| 1-- 1 |
| -01 1 |
| .names [29] [74] [539] [541] |
| -1- 1 |
| 1-1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [543] |
| 1-0- 1 |
| -00- 1 |
| --01 1 |
| .names i_2_ i_0_ o_24_ [41] [545] |
| 1--1 1 |
| -0-1 1 |
| --01 1 |
| .names i_3_ i_4_ n_n13 [38] [546] |
| -0-1 1 |
| 101- 1 |
| .names i_3_ i_4_ [128] [507] [547] |
| 0-1- 1 |
| -11- 1 |
| 0--1 1 |
| -1-1 1 |
| .names i_3_ i_4_ [36] [548] |
| --0 1 |
| 01- 1 |
| .names i_4_ [40] [63] [549] |
| --1 1 |
| 11- 1 |
| .names i_3_ i_4_ i_1_ i_2_ [551] |
| -010 1 |
| 0100 1 |
| .names i_4_ [40] [147] [551] [552] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names i_3_ i_4_ i_2_ i_0_ [554] |
| --01 1 |
| -0-0 1 |
| 0-10 1 |
| .names n_n152 [49] [50] [51] [557] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_3_ i_2_ i_0_ [558] |
| 101 1 |
| .end |