| .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 [164] [483] o_1_ |
| 1- 1 |
| -1 1 |
| .names o_3_ [149] o_19_ |
| 1- 1 |
| -1 1 |
| .names n_n61 [496] o_2_ |
| 1- 1 |
| -1 1 |
| .names o_22_ [501] o_0_ |
| 1- 1 |
| -1 1 |
| .names [133] [506] o_25_ |
| 1- 1 |
| -1 1 |
| .names [40] [126] o_12_ |
| 1- 1 |
| -1 1 |
| .names n_n61 [512] o_26_ |
| 1- 1 |
| -1 1 |
| .names [107] [518] o_11_ |
| 1- 1 |
| -1 1 |
| .names i_4_ [45] o_27_ |
| 01 1 |
| .names [105] [522] o_14_ |
| 1- 1 |
| -1 1 |
| .names [42] [524] o_13_ |
| 1- 1 |
| -1 1 |
| .names n_n111 [530] o_21_ |
| 1- 1 |
| -1 1 |
| .names [40] [118] o_16_ |
| 1- 1 |
| -1 1 |
| .names [499] [500] o_22_ |
| 1- 1 |
| -1 1 |
| .names n_n111 [532] o_15_ |
| 1- 1 |
| -1 1 |
| .names [31] [536] o_23_ |
| 1- 1 |
| -1 1 |
| .names n_n104 [538] o_18_ |
| 1- 1 |
| -1 1 |
| .names [515] [516] o_24_ |
| 1- 1 |
| -1 1 |
| .names [31] [542] o_17_ |
| 1- 1 |
| -1 1 |
| .names [544] [545] o_20_ |
| 1- 1 |
| -1 1 |
| .names n_n96 [546] o_10_ |
| 1- 1 |
| -1 1 |
| .names [128] [507] o_9_ |
| 1- 1 |
| -1 1 |
| .names [549] [550] o_7_ |
| 1- 1 |
| -1 1 |
| .names [42] [552] o_8_ |
| 1- 1 |
| -1 1 |
| .names [54] [554] o_5_ |
| 1- 1 |
| -1 1 |
| .names n_n111 [557] o_6_ |
| 1- 1 |
| -1 1 |
| .names n_n96 [494] o_3_ |
| 1- 1 |
| -1 1 |
| .names [31] [559] o_4_ |
| 1- 1 |
| -1 1 |
| .names i_1_ i_2_ n_n178 |
| 10 1 |
| .names i_3_ i_0_ [28] |
| 00 1 |
| .names i_4_ i_0_ [39] |
| 00 1 |
| .names i_2_ i_0_ n_n175 |
| 01 1 |
| .names [160] [486] n_n61 |
| 1- 1 |
| -1 1 |
| .names n_n158 [147] [41] |
| 1- 1 |
| -1 1 |
| .names i_3_ n_n13 [45] |
| 01 1 |
| .names i_3_ i_4_ n_n12 |
| 10 1 |
| .names n_n175 n_n173 [33] |
| 1- 1 |
| -1 1 |
| .names n_n111 [135] [42] |
| 1- 1 |
| -1 1 |
| .names i_3_ n_n173 [43] |
| 1- 1 |
| -0 1 |
| .names [35] [484] n_n120 |
| 11 1 |
| .names i_3_ n_n10 [40] |
| 01 1 |
| .names [35] [508] n_n160 |
| 11 1 |
| .names i_4_ [40] n_n158 |
| 01 1 |
| .names n_n12 n_n10 [37] |
| 11 1 |
| .names [513] [514] n_n104 |
| 1- 1 |
| -1 1 |
| .names i_3_ n_n173 [44] |
| 11 1 |
| .names i_4_ [36] n_n123 |
| 11 1 |
| .names [32] [36] n_n129 |
| 11 1 |
| .names [29] [519] n_n146 |
| 01 1 |
| .names i_3_ i_4_ [32] |
| 11 1 |
| .names i_4_ [38] n_n159 |
| 01 1 |
| .names n_n178 n_n175 [36] |
| 11 1 |
| .names [32] [487] n_n125 |
| 11 1 |
| .names n_n121 [504] n_n111 |
| 1- 1 |
| -1 1 |
| .names i_0_ [489] n_n13 |
| 01 1 |
| .names i_0_ [485] n_n10 |
| 01 1 |
| .names n_n152 [145] [34] |
| 1- 1 |
| -1 1 |
| .names i_2_ [28] [35] |
| 11 1 |
| .names n_n178 [28] [38] |
| 11 1 |
| .names n_n178 [30] n_n168 |
| 11 1 |
| .names n_n111 [87] [31] |
| 1- 1 |
| -1 1 |
| .names i_3_ n_n178 [29] |
| 1- 1 |
| -1 1 |
| .names i_0_ n_n12 [30] |
| 01 1 |
| .names n_n61 [492] n_n96 |
| 1- 1 |
| -1 1 |
| .names i_4_ [40] n_n121 |
| 11 1 |
| .names i_4_ [36] n_n127 |
| 01 1 |
| .names i_4_ i_2_ n_n173 |
| 10 1 |
| .names i_2_ [30] n_n152 |
| 11 1 |
| .names n_n129 [558] [46] |
| 01 1 |
| .names n_n178 [44] [49] |
| 11 1 |
| .names n_n175 n_n146 [50] |
| 10 1 |
| .names i_2_ o_1_ [51] |
| 11 1 |
| .names i_2_ [29] [54] |
| 01 1 |
| .names [29] n_n173 [58] |
| 01 1 |
| .names i_4_ n_n178 [59] |
| 01 1 |
| .names [547] [548] [62] |
| 11 1 |
| .names n_n175 n_n12 [63] |
| 11 1 |
| .names o_9_ n_n178 [64] |
| 10 1 |
| .names n_n12 n_n13 [66] |
| 11 1 |
| .names [41] [543] [69] |
| 01 1 |
| .names n_n175 [41] [70] |
| 01 1 |
| .names o_24_ [41] [71] |
| 01 1 |
| .names [29] [539] [73] |
| 11 1 |
| .names i_2_ [30] [74] |
| 01 1 |
| .names [33] [29] [78] |
| 10 1 |
| .names n_n12 n_n13 [79] |
| 11 1 |
| .names n_n12 [533] [82] |
| 11 1 |
| .names i_4_ n_n10 [83] |
| 01 1 |
| .names i_4_ n_n13 [87] |
| 11 1 |
| .names i_3_ n_n13 [89] |
| 11 1 |
| .names n_n13 [525] [93] |
| 11 1 |
| .names i_3_ [36] [100] |
| 11 1 |
| .names [520] [521] [104] |
| 11 1 |
| .names o_16_ n_n175 [105] |
| 10 1 |
| .names o_16_ [517] [107] |
| 11 1 |
| .names i_1_ [30] [110] |
| 11 1 |
| .names i_2_ n_n12 [114] |
| 00 1 |
| .names o_9_ n_n10 [118] |
| 10 1 |
| .names i_3_ n_n178 [120] |
| 11 1 |
| .names o_9_ n_n120 [126] |
| 10 1 |
| .names i_1_ [28] [128] |
| 11 1 |
| .names [502] [503] [131] |
| 11 1 |
| .names n_n178 [43] [132] |
| 10 1 |
| .names [42] [43] [133] |
| 11 1 |
| .names i_2_ [39] [134] |
| 11 1 |
| .names n_n175 n_n173 [135] |
| 11 1 |
| .names n_n175 n_n12 [137] |
| 10 1 |
| .names [33] [497] [140] |
| 01 1 |
| .names i_3_ n_n13 [141] |
| 11 1 |
| .names n_n175 [43] [142] |
| 10 1 |
| .names i_4_ [35] [143] |
| 11 1 |
| .names i_0_ [44] [145] |
| 01 1 |
| .names i_2_ n_n12 [147] |
| 01 1 |
| .names i_1_ i_2_ [149] |
| 00 1 |
| .names i_2_ [28] [151] |
| 00 1 |
| .names [32] [488] [155] |
| 01 1 |
| .names [32] n_n13 [156] |
| 11 1 |
| .names i_1_ n_n152 [160] |
| 11 1 |
| .names i_1_ [39] [163] |
| 11 1 |
| .names i_1_ [28] [164] |
| 11 1 |
| .names [163] n_n178 [483] |
| 1- 1 |
| -1 1 |
| .names i_1_ i_4_ [484] |
| 11 1 |
| .names i_2_ i_1_ [485] |
| 10 1 |
| .names n_n121 n_n120 [486] |
| 1- 1 |
| -1 1 |
| .names n_n178 i_0_ [487] |
| 10 1 |
| .names n_n175 i_4_ [488] |
| 11 1 |
| .names i_2_ i_1_ [489] |
| 00 1 |
| .names n_n125 [37] [490] |
| 1- 1 |
| -1 1 |
| .names [156] [155] [491] |
| 1- 1 |
| -1 1 |
| .names [491] [490] [492] |
| 1- 1 |
| -1 1 |
| .names [35] [43] [493] |
| 1- 1 |
| -0 1 |
| .names [493] [151] [494] |
| 1- 1 |
| -1 1 |
| .names [45] n_n175 [495] |
| 1- 1 |
| -1 1 |
| .names [41] [495] [496] |
| 1- 1 |
| -1 1 |
| .names [28] i_2_ [497] |
| 10 1 |
| .names [142] [140] [498] |
| 1- 1 |
| -1 1 |
| .names [34] [143] [499] |
| 1- 1 |
| -1 1 |
| .names [498] [141] [500] |
| 1- 1 |
| -1 1 |
| .names o_1_ [137] [501] |
| 1- 1 |
| -1 1 |
| .names n_n12 n_n178 [502] |
| 00 1 |
| .names [43] [33] [503] |
| 11 1 |
| .names o_27_ n_n120 [504] |
| 1- 1 |
| -1 1 |
| .names [132] [134] [505] |
| 1- 1 |
| -1 1 |
| .names [505] [131] [506] |
| 1- 1 |
| -1 1 |
| .names [39] i_2_ [507] |
| 1- 1 |
| -0 1 |
| .names i_1_ i_4_ [508] |
| 10 1 |
| .names [120] [33] [509] |
| 1- 1 |
| -1 1 |
| .names [37] n_n160 [510] |
| 1- 1 |
| -1 1 |
| .names n_n158 [509] [511] |
| 1- 1 |
| -1 1 |
| .names [511] [510] [512] |
| 1- 1 |
| -1 1 |
| .names n_n120 n_n178 [513] |
| 1- 1 |
| -1 1 |
| .names [110] n_n160 [514] |
| 1- 1 |
| -1 1 |
| .names [28] n_n178 [515] |
| 1- 1 |
| -1 1 |
| .names [114] [30] [516] |
| 1- 1 |
| -1 1 |
| .names o_24_ i_4_ [517] |
| 10 1 |
| .names n_n104 [44] [518] |
| 1- 1 |
| -1 1 |
| .names n_n175 i_4_ [519] |
| 10 1 |
| .names o_9_ [32] [520] |
| 10 1 |
| .names n_n146 n_n123 [521] |
| 00 1 |
| .names [104] n_n129 [522] |
| 1- 1 |
| -1 1 |
| .names [100] n_n159 [523] |
| 1- 1 |
| -1 1 |
| .names [523] n_n158 [524] |
| 1- 1 |
| -1 1 |
| .names i_3_ i_4_ [525] |
| 11 1 |
| .names n_n160 [38] [526] |
| 1- 1 |
| -1 1 |
| .names n_n159 [37] [527] |
| 1- 1 |
| -1 1 |
| .names [93] n_n125 [528] |
| 1- 1 |
| -1 1 |
| .names [527] [526] [529] |
| 1- 1 |
| -1 1 |
| .names [529] [528] [530] |
| 1- 1 |
| -1 1 |
| .names [89] [38] [531] |
| 1- 1 |
| -1 1 |
| .names [531] [34] [532] |
| 1- 1 |
| -1 1 |
| .names n_n175 n_n178 [533] |
| 10 1 |
| .names n_n168 n_n129 [534] |
| 1- 1 |
| -1 1 |
| .names [83] [82] [535] |
| 1- 1 |
| -1 1 |
| .names [535] [534] [536] |
| 1- 1 |
| -1 1 |
| .names [78] [40] [537] |
| 1- 1 |
| -1 1 |
| .names [537] [79] [538] |
| 1- 1 |
| -1 1 |
| .names n_n175 i_4_ [539] |
| 11 1 |
| .names n_n146 [38] [540] |
| 1- 1 |
| -1 1 |
| .names [74] [73] [541] |
| 1- 1 |
| -1 1 |
| .names [541] [540] [542] |
| 1- 1 |
| -1 1 |
| .names [38] i_2_ [543] |
| 00 1 |
| .names [69] o_22_ [544] |
| 1- 1 |
| -1 1 |
| .names [71] [70] [545] |
| 1- 1 |
| -1 1 |
| .names [66] n_n159 [546] |
| 1- 1 |
| -1 1 |
| .names o_9_ n_n12 [547] |
| 10 1 |
| .names n_n127 n_n129 [548] |
| 00 1 |
| .names n_n121 [63] [549] |
| 1- 1 |
| -1 1 |
| .names [62] [64] [550] |
| 1- 1 |
| -1 1 |
| .names [58] [59] [551] |
| 1- 1 |
| -1 1 |
| .names [41] [551] [552] |
| 1- 1 |
| -1 1 |
| .names n_n175 [39] [553] |
| 1- 1 |
| -1 1 |
| .names [553] [35] [554] |
| 1- 1 |
| -1 1 |
| .names [49] n_n152 [555] |
| 1- 1 |
| -1 1 |
| .names [555] [50] [556] |
| 1- 1 |
| -1 1 |
| .names [556] [51] [557] |
| 1- 1 |
| -1 1 |
| .names n_n175 i_3_ [558] |
| 11 1 |
| .names [46] [37] [559] |
| 1- 1 |
| -1 1 |
| .end |
