| .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 n_n178 [163] [164] o_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ o_3_ o_19_ |
| --1 1 |
| 00- 1 |
| .names n_n61 [496] o_2_ |
| 1- 1 |
| -1 1 |
| .names [499] [500] [501] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [133] [506] o_25_ |
| 1- 1 |
| -1 1 |
| .names o_9_ n_n120 [40] o_12_ |
| --1 1 |
| 10- 1 |
| .names n_n61 [510] [511] o_26_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names o_16_ [517] [518] o_11_ |
| --1 1 |
| 11- 1 |
| .names i_3_ i_4_ n_n13 o_27_ |
| 001 1 |
| .names n_n129 [104] [105] o_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [135] [524] o_13_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [530] o_21_ |
| 1- 1 |
| -1 1 |
| .names i_3_ n_n10 [118] o_16_ |
| --1 1 |
| 01- 1 |
| .names [499] [500] o_22_ |
| 1- 1 |
| -1 1 |
| .names n_n111 [34] [531] o_15_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [87] [536] o_23_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n104 [538] o_18_ |
| 1- 1 |
| -1 1 |
| .names n_n178 [28] [516] o_24_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [87] [542] o_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [544] [545] o_20_ |
| 1- 1 |
| -1 1 |
| .names n_n61 [492] [546] o_10_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [128] [507] o_9_ |
| 1- 1 |
| -1 1 |
| .names n_n121 [63] [550] o_7_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [135] [552] o_8_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [35] [54] [553] o_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [51] [556] o_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n61 [492] [494] o_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [87] [559] o_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ n_n178 |
| 10 1 |
| .names i_3_ i_0_ [28] |
| 00 1 |
| .names i_2_ i_0_ n_n175 |
| 01 1 |
| .names n_n120 n_n121 [160] n_n61 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n158 [147] [41] |
| 1- 1 |
| -1 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_4_ i_1_ [35] n_n120 |
| 111 1 |
| .names i_3_ n_n10 [40] |
| 01 1 |
| .names i_4_ i_1_ [35] n_n160 |
| 011 1 |
| .names i_3_ i_4_ n_n10 n_n158 |
| 001 1 |
| .names i_3_ i_4_ n_n10 [37] |
| 101 1 |
| .names n_n160 [110] [513] n_n104 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_4_ i_2_ [44] |
| 110 1 |
| .names i_4_ [36] n_n123 |
| 11 1 |
| .names i_3_ i_4_ [36] n_n129 |
| 111 1 |
| .names [29] [519] n_n146 |
| 01 1 |
| .names i_3_ i_4_ [32] |
| 11 1 |
| .names i_4_ n_n178 [28] n_n159 |
| 011 1 |
| .names i_1_ i_2_ i_0_ [36] |
| 101 1 |
| .names i_3_ i_4_ [487] n_n125 |
| 111 1 |
| .names o_27_ n_n120 n_n121 n_n111 |
| 1-- 1 |
| -1- 1 |
| --1 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_2_ [30] [145] [34] |
| --1 1 |
| 11- 1 |
| .names i_3_ i_2_ i_0_ [35] |
| 010 1 |
| .names i_1_ i_2_ [28] [38] |
| 101 1 |
| .names i_3_ i_1_ i_2_ [29] |
| 1-- 1 |
| -10 1 |
| .names i_3_ i_4_ i_0_ [30] |
| 100 1 |
| .names i_3_ i_4_ n_n10 n_n121 |
| 011 1 |
| .names i_4_ i_2_ n_n173 |
| 10 1 |
| .names i_2_ [30] n_n152 |
| 11 1 |
| .names [32] [36] [558] [46] |
| 0-1 1 |
| -01 1 |
| .names i_1_ i_2_ [44] [49] |
| 101 1 |
| .names i_4_ n_n175 [29] [50] |
| 11- 1 |
| -11 1 |
| .names i_2_ o_1_ [51] |
| 11 1 |
| .names i_3_ i_1_ i_2_ [54] |
| 1-0 1 |
| -10 1 |
| .names i_4_ i_1_ i_2_ [59] |
| 010 1 |
| .names i_2_ i_0_ n_n12 [63] |
| 011 1 |
| .names n_n178 [128] [507] [64] |
| 01- 1 |
| 0-1 1 |
| .names n_n158 [147] [543] [69] |
| 001 1 |
| .names [29] [539] [73] |
| 11 1 |
| .names i_2_ [30] [74] |
| 01 1 |
| .names [33] [29] [78] |
| 10 1 |
| .names i_3_ i_4_ n_n13 [79] |
| 101 1 |
| .names i_3_ i_4_ [533] [82] |
| 101 1 |
| .names i_4_ n_n10 [83] |
| 01 1 |
| .names i_4_ n_n13 [87] |
| 11 1 |
| .names i_3_ [36] [100] |
| 11 1 |
| .names n_n123 n_n146 [520] [104] |
| 001 1 |
| .names n_n175 [40] [118] [105] |
| 01- 1 |
| 0-1 1 |
| .names i_1_ [30] [110] |
| 11 1 |
| .names i_3_ i_4_ i_2_ [114] |
| 0-0 1 |
| -10 1 |
| .names n_n10 [128] [507] [118] |
| 01- 1 |
| 0-1 1 |
| .names i_3_ i_1_ i_2_ [120] |
| 110 1 |
| .names i_3_ i_1_ i_0_ [128] |
| 010 1 |
| .names [43] n_n111 [135] [133] |
| 11- 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 [33] [497] [140] |
| 01 1 |
| .names i_3_ n_n13 [141] |
| 11 1 |
| .names i_2_ i_0_ [43] [142] |
| 010 1 |
| .names i_4_ [35] [143] |
| 11 1 |
| .names i_0_ [44] [145] |
| 01 1 |
| .names i_3_ i_4_ i_2_ [147] |
| 100 1 |
| .names i_1_ i_2_ [30] [160] |
| 111 1 |
| .names i_4_ i_1_ i_0_ [163] |
| 010 1 |
| .names i_3_ i_1_ i_0_ [164] |
| 010 1 |
| .names i_1_ i_4_ [484] |
| 11 1 |
| .names i_1_ i_2_ i_0_ [487] |
| 100 1 |
| .names i_4_ i_2_ i_0_ [488] |
| 101 1 |
| .names [32] n_n13 [488] [491] |
| 11- 1 |
| 0-1 1 |
| .names [37] n_n125 [491] [492] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_2_ [28] [43] [494] |
| --0 1 |
| 11- 1 |
| 00- 1 |
| .names i_3_ n_n175 n_n13 [495] |
| -1- 1 |
| 0-1 1 |
| .names n_n158 [147] [495] [496] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_2_ i_0_ [497] |
| 000 1 |
| .names n_n152 [143] [145] [499] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [140] [141] [142] [500] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names o_1_ n_n175 n_n12 [501] |
| 1-- 1 |
| -10 1 |
| .names i_3_ i_4_ n_n178 [502] |
| 0-0 1 |
| -10 1 |
| .names [43] [33] [503] |
| 11 1 |
| .names n_n178 [43] [134] [505] |
| --1 1 |
| 10- 1 |
| .names [502] [503] [505] [506] |
| --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_n160 n_n10 [510] |
| -1- 1 |
| 1-1 1 |
| .names [33] n_n158 [120] [511] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n178 [35] [484] [513] |
| 1-- 1 |
| -11 1 |
| .names i_3_ i_0_ n_n178 [515] |
| --1 1 |
| 00- 1 |
| .names [114] [30] [516] |
| 1- 1 |
| -1 1 |
| .names i_4_ [515] [516] [517] |
| 01- 1 |
| 0-1 1 |
| .names n_n104 [44] [518] |
| 1- 1 |
| -1 1 |
| .names i_4_ i_2_ i_0_ [519] |
| 001 1 |
| .names [32] [128] [507] [520] |
| 01- 1 |
| 0-1 1 |
| .names n_n158 n_n159 [100] [524] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_4_ [525] |
| 11 1 |
| .names [35] [38] [508] [526] |
| -1- 1 |
| 1-1 1 |
| .names n_n12 n_n159 n_n10 [527] |
| -1- 1 |
| 1-1 1 |
| .names n_n125 n_n13 [525] [528] |
| 1-- 1 |
| -11 1 |
| .names [526] [527] [528] [530] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ n_n13 [38] [531] |
| --1 1 |
| 11- 1 |
| .names i_1_ i_2_ i_0_ [533] |
| 001 1 |
| .names n_n178 n_n129 [30] [534] |
| -1- 1 |
| 1-1 1 |
| .names [82] [83] [534] [536] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [40] [78] [79] [538] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_4_ i_2_ i_0_ [539] |
| 101 1 |
| .names [38] [29] [519] [540] |
| 1-- 1 |
| -01 1 |
| .names [73] [74] [540] [542] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ [28] [543] |
| 00- 1 |
| -00 1 |
| .names [69] [499] [500] [544] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names o_24_ n_n175 [41] [545] |
| 0-1 1 |
| -01 1 |
| .names n_n12 n_n159 n_n13 [546] |
| -1- 1 |
| 1-1 1 |
| .names n_n12 [128] [507] [547] |
| 01- 1 |
| 0-1 1 |
| .names i_3_ i_4_ [36] [548] |
| --0 1 |
| 01- 1 |
| .names [64] [547] [548] [550] |
| 1-- 1 |
| -11 1 |
| .names [29] n_n173 [59] [551] |
| --1 1 |
| 01- 1 |
| .names n_n158 [147] [551] [552] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_4_ i_2_ i_0_ [553] |
| -01 1 |
| 0-0 1 |
| .names n_n152 [49] [50] [556] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_2_ i_0_ [558] |
| 101 1 |
| .names n_n12 n_n10 [46] [559] |
| --1 1 |
| 11- 1 |
| .end |
