| .model top |
| .inputs c_6 c_5 c_4 c_19 c_3 c_29 c_2 c_1 c_0 ck c_13 c_24 c_14 c_23 c_11 c_22 \ |
| c_12 c_21 c_17 c_28 c_31 c_18 c_27 c_32 c_15 c_26 c_16 c_25 clear c_30 c_20 \ |
| c_10 x c_9 c_8 c_7 |
| .outputs w z |
| .latch n_n76 ny_4 re ck 2 |
| .latch n_n152 ny_9 re ck 2 |
| .latch ni765 ny_22 re ck 2 |
| .latch n_n61 ny_16 re ck 2 |
| .latch n_n50 ny_23 re ck 2 |
| .latch n_n60 ny_15 re ck 2 |
| .latch n_n46 ny_28 re ck 2 |
| .latch n_n127 ny_29 re ck 2 |
| .latch ni461 ny_14 re ck 2 |
| .latch n_n137 ny_21 re ck 2 |
| .latch n_n71 ny_8 re ck 2 |
| .latch n_n40 ny_31 re ck 2 |
| .latch n_n162 ny_1 re ck 2 |
| .latch ni1069 ny_30 re ck 2 |
| .latch ni5 ny_2 re ck 2 |
| .latch n_n65 ny_11 re ck 2 |
| .latch n_n51 ny_24 re ck 2 |
| .latch n_n75 ny_3 re ck 2 |
| .latch ni309 ny_10 re ck 2 |
| .latch n_n142 ny_17 re ck 2 |
| .latch n_n66 ny_12 re ck 2 |
| .latch n_n157 ny_5 re ck 2 |
| .latch ni157 ny_6 re ck 2 |
| .latch n_n70 ny_7 re ck 2 |
| .latch n_n147 ny_13 re ck 2 |
| .latch ni917 ny_26 re ck 2 |
| .latch n_n56 ny_20 re ck 2 |
| .latch n_n45 ny_27 re ck 2 |
| .latch n_n55 ny_19 re ck 2 |
| .latch n_n41 ny_32 re ck 2 |
| .latch ni613 ny_18 re ck 2 |
| .latch n_n132 ny_25 re ck 2 |
| .names ny_32 [96] w |
| 11 1 |
| .names [862] [863] z |
| 1- 1 |
| -1 1 |
| .names [220] [221] n_n76 |
| 1- 1 |
| -1 1 |
| .names ny_9 n_n63 n_n152 |
| 00 1 |
| .names [218] [219] ni765 |
| 1- 1 |
| -1 1 |
| .names [212] [213] n_n61 |
| 1- 1 |
| -1 1 |
| .names [208] [209] n_n50 |
| 1- 1 |
| -1 1 |
| .names [206] [207] n_n60 |
| 1- 1 |
| -1 1 |
| .names [200] [201] n_n46 |
| 1- 1 |
| -1 1 |
| .names ny_29 n_n38 n_n127 |
| 00 1 |
| .names [198] [199] ni461 |
| 1- 1 |
| -1 1 |
| .names ny_21 n_n48 n_n137 |
| 00 1 |
| .names [192] [193] n_n71 |
| 1- 1 |
| -1 1 |
| .names [188] [189] n_n40 |
| 1- 1 |
| -1 1 |
| .names ny_1 [88] n_n162 |
| 01 1 |
| .names [186] [187] ni1069 |
| 1- 1 |
| -1 1 |
| .names [184] [185] ni5 |
| 1- 1 |
| -1 1 |
| .names [180] [181] n_n65 |
| 1- 1 |
| -1 1 |
| .names [176] [177] n_n51 |
| 1- 1 |
| -1 1 |
| .names [174] [175] n_n75 |
| 1- 1 |
| -1 1 |
| .names [172] [173] ni309 |
| 1- 1 |
| -1 1 |
| .names ny_17 n_n53 n_n142 |
| 00 1 |
| .names [168] [169] n_n66 |
| 1- 1 |
| -1 1 |
| .names ny_5 n_n68 n_n157 |
| 00 1 |
| .names [166] [167] ni157 |
| 1- 1 |
| -1 1 |
| .names [164] [165] n_n70 |
| 1- 1 |
| -1 1 |
| .names ny_13 n_n58 n_n147 |
| 00 1 |
| .names [162] [163] ni917 |
| 1- 1 |
| -1 1 |
| .names [156] [157] n_n56 |
| 1- 1 |
| -1 1 |
| .names [154] [155] n_n45 |
| 1- 1 |
| -1 1 |
| .names [152] [153] n_n55 |
| 1- 1 |
| -1 1 |
| .names [148] [149] n_n41 |
| 1- 1 |
| -1 1 |
| .names [146] [147] ni613 |
| 1- 1 |
| -1 1 |
| .names ny_25 n_n43 n_n132 |
| 00 1 |
| .names ny_30 [780] [96] |
| 11 1 |
| .names ny_5 [92] n_n118 |
| 01 1 |
| .names [143] [805] n_n4 |
| 1- 1 |
| -1 1 |
| .names n_n3 [831] n_n80 |
| 01 1 |
| .names [123] [844] n_n0 |
| 1- 1 |
| -1 1 |
| .names ny_2 [783] [86] |
| 01 1 |
| .names n_n103 [796] [89] |
| 11 1 |
| .names n_n92 [800] [90] |
| 11 1 |
| .names n_n118 [786] [91] |
| 11 1 |
| .names [91] [788] [95] |
| 11 1 |
| .names [95] [789] [99] |
| 11 1 |
| .names [119] [120] [102] |
| 1- 1 |
| -1 1 |
| .names [740] [741] n_n48 |
| 1- 1 |
| -1 1 |
| .names clear x [88] |
| 01 1 |
| .names ny_13 n_n58 [100] |
| 10 1 |
| .names [86] [784] [92] |
| 11 1 |
| .names [759] [760] n_n68 |
| 1- 1 |
| -1 1 |
| .names [737] [738] n_n63 |
| 1- 1 |
| -1 1 |
| .names [744] [745] n_n58 |
| 1- 1 |
| -1 1 |
| .names [773] [774] n_n53 |
| 1- 1 |
| -1 1 |
| .names [99] [790] [87] |
| 11 1 |
| .names [87] [791] n_n103 |
| 11 1 |
| .names n_n63 [767] [93] |
| 01 1 |
| .names [74] [170] [103] |
| 1- 1 |
| -1 1 |
| .names [75] [214] [104] |
| 1- 1 |
| -1 1 |
| .names n_n142 [160] [76] |
| 1- 1 |
| -1 1 |
| .names n_n53 [777] [97] |
| 01 1 |
| .names n_n137 [210] [77] |
| 1- 1 |
| -1 1 |
| .names n_n48 [748] [94] |
| 01 1 |
| .names [90] [802] [72] |
| 11 1 |
| .names [144] [145] [105] |
| 1- 1 |
| -1 1 |
| .names [756] [757] n_n38 |
| 1- 1 |
| -1 1 |
| .names n_n152 [182] [74] |
| 1- 1 |
| -1 1 |
| .names n_n147 [216] [75] |
| 1- 1 |
| -1 1 |
| .names [76] [158] [106] |
| 1- 1 |
| -1 1 |
| .names [77] [178] [107] |
| 1- 1 |
| -1 1 |
| .names ny_25 n_n43 [101] |
| 10 1 |
| .names [89] [797] [71] |
| 11 1 |
| .names [71] [799] n_n92 |
| 11 1 |
| .names n_n162 [224] [73] |
| 1- 1 |
| -1 1 |
| .names n_n157 [196] [78] |
| 1- 1 |
| -1 1 |
| .names n_n68 [761] [98] |
| 01 1 |
| .names [138] [139] [108] |
| 1- 1 |
| -1 1 |
| .names [133] [819] n_n3 |
| 1- 1 |
| -1 1 |
| .names [130] [825] n_n1 |
| 1- 1 |
| -1 1 |
| .names n_n92 [826] [68] |
| 0- 1 |
| -1 1 |
| .names [87] [828] [110] |
| 0- 1 |
| -1 1 |
| .names c_0 x [109] |
| 0- 1 |
| -0 1 |
| .names [73] [222] [111] |
| 1- 1 |
| -1 1 |
| .names [78] [194] [112] |
| 1- 1 |
| -1 1 |
| .names [751] [752] n_n43 |
| 1- 1 |
| -1 1 |
| .names [127] [128] [113] |
| 1- 1 |
| -1 1 |
| .names [79] [150] [114] |
| 1- 1 |
| -1 1 |
| .names n_n127 [190] [79] |
| 1- 1 |
| -1 1 |
| .names n_n132 [204] [80] |
| 1- 1 |
| -1 1 |
| .names [80] [202] [115] |
| 1- 1 |
| -1 1 |
| .names [99] [846] [69] |
| 11 1 |
| .names [90] [848] [70] |
| 11 1 |
| .names [89] [850] [81] |
| 11 1 |
| .names [91] [852] [82] |
| 11 1 |
| .names [95] [853] [83] |
| 11 1 |
| .names [86] [854] [84] |
| 11 1 |
| .names n_n118 [855] [85] |
| 11 1 |
| .names ny_10 [851] [119] |
| 01 1 |
| .names c_10 ny_10 [120] |
| 11 1 |
| .names [95] [833] [121] |
| 11 1 |
| .names [86] [835] [122] |
| 11 1 |
| .names [72] [837] [123] |
| 11 1 |
| .names [91] [838] [124] |
| 11 1 |
| .names [71] [839] [125] |
| 11 1 |
| .names ny_1 [840] [126] |
| 11 1 |
| .names ny_30 [836] [127] |
| 01 1 |
| .names c_30 ny_30 [128] |
| 11 1 |
| .names [92] [820] [129] |
| 11 1 |
| .names [89] [821] [130] |
| 11 1 |
| .names [87] [822] [131] |
| 11 1 |
| .names n_n103 [823] [132] |
| 11 1 |
| .names [72] [809] [133] |
| 11 1 |
| .names n_n92 [811] [134] |
| 11 1 |
| .names [812] [813] [135] |
| 11 1 |
| .names [71] [815] [136] |
| 11 1 |
| .names [99] [816] [137] |
| 11 1 |
| .names ny_24 [814] [138] |
| 11 1 |
| .names c_23 ny_23 [139] |
| 11 1 |
| .names n_n103 [793] [140] |
| 11 1 |
| .names n_n118 [795] [141] |
| 11 1 |
| .names [90] [801] [142] |
| 11 1 |
| .names [72] [803] [143] |
| 11 1 |
| .names ny_7 [794] [144] |
| 01 1 |
| .names c_7 ny_7 [145] |
| 11 1 |
| .names n_n53 [782] [146] |
| 01 1 |
| .names n_n142 ny_18 [147] |
| 11 1 |
| .names n_n38 [781] [148] |
| 01 1 |
| .names ny_32 [114] [149] |
| 11 1 |
| .names ny_31 n_n38 [150] |
| 00 1 |
| .names ny_19 [97] [152] |
| 01 1 |
| .names ny_19 [76] [153] |
| 11 1 |
| .names [101] [779] [154] |
| 11 1 |
| .names ny_27 [80] [155] |
| 11 1 |
| .names [97] [778] [156] |
| 11 1 |
| .names ny_20 [106] [157] |
| 11 1 |
| .names ny_19 n_n53 [158] |
| 00 1 |
| .names ny_18 n_n53 [160] |
| 00 1 |
| .names ny_26 [101] [162] |
| 01 1 |
| .names ny_26 n_n132 [163] |
| 11 1 |
| .names ny_7 [98] [164] |
| 01 1 |
| .names ny_7 [78] [165] |
| 11 1 |
| .names n_n68 [776] [166] |
| 01 1 |
| .names n_n157 ny_6 [167] |
| 11 1 |
| .names [93] [775] [168] |
| 11 1 |
| .names ny_12 [103] [169] |
| 11 1 |
| .names ny_11 n_n63 [170] |
| 00 1 |
| .names n_n63 [771] [172] |
| 01 1 |
| .names n_n152 ny_10 [173] |
| 11 1 |
| .names [769] [770] [174] |
| 11 1 |
| .names ny_3 [73] [175] |
| 11 1 |
| .names [94] [768] [176] |
| 11 1 |
| .names ny_24 [107] [177] |
| 11 1 |
| .names ny_23 n_n48 [178] |
| 00 1 |
| .names ny_11 [93] [180] |
| 01 1 |
| .names ny_11 [74] [181] |
| 11 1 |
| .names ny_10 n_n63 [182] |
| 00 1 |
| .names [88] [766] [184] |
| 11 1 |
| .names n_n162 ny_2 [185] |
| 11 1 |
| .names n_n38 [765] [186] |
| 01 1 |
| .names n_n127 ny_30 [187] |
| 11 1 |
| .names n_n38 [764] [188] |
| 01 1 |
| .names ny_31 [79] [189] |
| 11 1 |
| .names ny_30 n_n38 [190] |
| 00 1 |
| .names [98] [762] [192] |
| 11 1 |
| .names ny_8 [112] [193] |
| 11 1 |
| .names ny_7 n_n68 [194] |
| 00 1 |
| .names ny_6 n_n68 [196] |
| 00 1 |
| .names ny_14 [100] [198] |
| 01 1 |
| .names ny_14 n_n147 [199] |
| 11 1 |
| .names [101] [754] [200] |
| 11 1 |
| .names ny_28 [115] [201] |
| 11 1 |
| .names ny_27 n_n43 [202] |
| 00 1 |
| .names ny_26 n_n43 [204] |
| 00 1 |
| .names [100] [749] [206] |
| 11 1 |
| .names ny_15 [75] [207] |
| 11 1 |
| .names ny_23 [94] [208] |
| 01 1 |
| .names ny_23 [77] [209] |
| 11 1 |
| .names ny_22 n_n48 [210] |
| 00 1 |
| .names [100] [747] [212] |
| 11 1 |
| .names ny_16 [104] [213] |
| 11 1 |
| .names ny_15 n_n58 [214] |
| 00 1 |
| .names ny_14 n_n58 [216] |
| 00 1 |
| .names n_n48 [742] [218] |
| 01 1 |
| .names ny_22 n_n137 [219] |
| 11 1 |
| .names [734] [735] [220] |
| 11 1 |
| .names ny_4 [111] [221] |
| 11 1 |
| .names ny_3 [88] [222] |
| 01 1 |
| .names ny_2 [88] [224] |
| 01 1 |
| .names ny_1 ny_4 [733] |
| 10 1 |
| .names ny_3 ny_2 [734] |
| 11 1 |
| .names [733] [88] [735] |
| 11 1 |
| .names ny_8 clear [736] |
| 0- 1 |
| -1 1 |
| .names ny_6 ny_5 [737] |
| 0- 1 |
| -0 1 |
| .names [736] ny_7 [738] |
| 1- 1 |
| -0 1 |
| .names ny_17 clear [739] |
| 0- 1 |
| -1 1 |
| .names ny_19 ny_20 [740] |
| 0- 1 |
| -0 1 |
| .names [739] ny_18 [741] |
| 1- 1 |
| -0 1 |
| .names ny_21 ny_22 [742] |
| 10 1 |
| .names ny_9 clear [743] |
| 0- 1 |
| -1 1 |
| .names ny_10 ny_11 [744] |
| 0- 1 |
| -0 1 |
| .names [743] ny_12 [745] |
| 1- 1 |
| -0 1 |
| .names ny_15 ny_16 [746] |
| 10 1 |
| .names [746] ny_14 [747] |
| 11 1 |
| .names ny_21 ny_22 [748] |
| 11 1 |
| .names ny_14 ny_15 [749] |
| 10 1 |
| .names ny_22 clear [750] |
| 0- 1 |
| -1 1 |
| .names ny_21 ny_23 [751] |
| 0- 1 |
| -0 1 |
| .names [750] ny_24 [752] |
| 1- 1 |
| -0 1 |
| .names ny_26 ny_28 [753] |
| 10 1 |
| .names [753] ny_27 [754] |
| 11 1 |
| .names ny_28 clear [755] |
| 0- 1 |
| -1 1 |
| .names ny_27 ny_26 [756] |
| 0- 1 |
| -0 1 |
| .names [755] ny_25 [757] |
| 1- 1 |
| -0 1 |
| .names ny_4 clear [758] |
| 0- 1 |
| -1 1 |
| .names ny_2 ny_1 [759] |
| 0- 1 |
| -0 1 |
| .names [758] ny_3 [760] |
| 1- 1 |
| -0 1 |
| .names ny_6 ny_5 [761] |
| 11 1 |
| .names ny_7 ny_8 [762] |
| 10 1 |
| .names ny_31 ny_29 [763] |
| 01 1 |
| .names [763] ny_30 [764] |
| 11 1 |
| .names ny_30 ny_29 [765] |
| 01 1 |
| .names ny_2 ny_1 [766] |
| 01 1 |
| .names ny_10 ny_9 [767] |
| 11 1 |
| .names ny_24 ny_23 [768] |
| 01 1 |
| .names ny_2 ny_1 [769] |
| 11 1 |
| .names [88] ny_3 [770] |
| 10 1 |
| .names ny_10 ny_9 [771] |
| 01 1 |
| .names ny_16 clear [772] |
| 0- 1 |
| -1 1 |
| .names ny_14 ny_15 [773] |
| 0- 1 |
| -0 1 |
| .names [772] ny_13 [774] |
| 1- 1 |
| -0 1 |
| .names ny_12 ny_11 [775] |
| 01 1 |
| .names ny_6 ny_5 [776] |
| 01 1 |
| .names ny_18 ny_17 [777] |
| 11 1 |
| .names ny_19 ny_20 [778] |
| 10 1 |
| .names ny_27 ny_26 [779] |
| 01 1 |
| .names ny_31 ny_29 [780] |
| 11 1 |
| .names [96] ny_32 [781] |
| 10 1 |
| .names ny_18 ny_17 [782] |
| 01 1 |
| .names ny_1 x [783] |
| 01 1 |
| .names ny_3 ny_4 [784] |
| 00 1 |
| .names ny_6 ny_8 [785] |
| 00 1 |
| .names [785] ny_7 [786] |
| 10 1 |
| .names ny_11 ny_9 [787] |
| 00 1 |
| .names [787] ny_10 [788] |
| 10 1 |
| .names ny_13 ny_12 [789] |
| 00 1 |
| .names ny_14 ny_15 [790] |
| 00 1 |
| .names ny_17 ny_16 [791] |
| 00 1 |
| .names ny_19 c_19 [792] |
| 11 1 |
| .names [792] ny_18 [793] |
| 10 1 |
| .names ny_8 c_8 [794] |
| 11 1 |
| .names [105] ny_6 [795] |
| 10 1 |
| .names ny_18 ny_19 [796] |
| 00 1 |
| .names ny_20 ny_21 [797] |
| 00 1 |
| .names ny_23 ny_22 [798] |
| 00 1 |
| .names [798] ny_24 [799] |
| 10 1 |
| .names ny_25 ny_26 [800] |
| 00 1 |
| .names ny_27 c_27 [801] |
| 11 1 |
| .names ny_27 ny_28 [802] |
| 00 1 |
| .names ny_29 c_29 [803] |
| 11 1 |
| .names [140] [141] [804] |
| 1- 1 |
| -1 1 |
| .names [142] [804] [805] |
| 1- 1 |
| -1 1 |
| .names ny_29 c_32 [806] |
| 01 1 |
| .names ny_30 ny_31 [807] |
| 00 1 |
| .names [806] ny_32 [808] |
| 11 1 |
| .names [808] [807] [809] |
| 11 1 |
| .names ny_26 c_26 [810] |
| 11 1 |
| .names [810] ny_25 [811] |
| 10 1 |
| .names x c_2 [812] |
| 11 1 |
| .names ny_2 ny_1 [813] |
| 10 1 |
| .names ny_23 c_24 [814] |
| 01 1 |
| .names [108] ny_22 [815] |
| 10 1 |
| .names ny_14 c_14 [816] |
| 11 1 |
| .names [137] [135] [817] |
| 1- 1 |
| -1 1 |
| .names [136] [817] [818] |
| 1- 1 |
| -1 1 |
| .names [818] [134] [819] |
| 1- 1 |
| -1 1 |
| .names ny_5 c_5 [820] |
| 11 1 |
| .names ny_20 c_20 [821] |
| 11 1 |
| .names ny_16 c_16 [822] |
| 11 1 |
| .names ny_18 c_18 [823] |
| 11 1 |
| .names [131] [129] [824] |
| 1- 1 |
| -1 1 |
| .names [824] [132] [825] |
| 1- 1 |
| -1 1 |
| .names ny_25 c_25 [826] |
| 0- 1 |
| -0 1 |
| .names ny_16 c_17 [827] |
| 1- 1 |
| -0 1 |
| .names [827] ny_17 [828] |
| 1- 1 |
| -0 1 |
| .names [110] [109] [829] |
| 11 1 |
| .names n_n1 [829] [830] |
| 01 1 |
| .names [830] [68] [831] |
| 11 1 |
| .names ny_12 c_13 [832] |
| 01 1 |
| .names [832] ny_13 [833] |
| 11 1 |
| .names ny_4 c_4 [834] |
| 11 1 |
| .names [834] ny_3 [835] |
| 10 1 |
| .names ny_31 c_31 [836] |
| 11 1 |
| .names [113] ny_29 [837] |
| 10 1 |
| .names ny_9 c_9 [838] |
| 11 1 |
| .names ny_22 c_22 [839] |
| 11 1 |
| .names x c_1 [840] |
| 11 1 |
| .names [122] [126] [841] |
| 1- 1 |
| -1 1 |
| .names [124] [841] [842] |
| 1- 1 |
| -1 1 |
| .names [842] [121] [843] |
| 1- 1 |
| -1 1 |
| .names [125] [843] [844] |
| 1- 1 |
| -1 1 |
| .names ny_15 c_15 [845] |
| 11 1 |
| .names [845] ny_14 [846] |
| 10 1 |
| .names ny_28 c_28 [847] |
| 11 1 |
| .names [847] ny_27 [848] |
| 10 1 |
| .names ny_21 c_21 [849] |
| 11 1 |
| .names [849] ny_20 [850] |
| 10 1 |
| .names ny_11 c_11 [851] |
| 11 1 |
| .names [102] ny_9 [852] |
| 10 1 |
| .names ny_12 c_12 [853] |
| 11 1 |
| .names ny_3 c_3 [854] |
| 11 1 |
| .names ny_6 c_6 [855] |
| 11 1 |
| .names [85] [84] [856] |
| 1- 1 |
| -1 1 |
| .names [856] [82] [857] |
| 1- 1 |
| -1 1 |
| .names [857] [83] [858] |
| 1- 1 |
| -1 1 |
| .names [858] [69] [859] |
| 1- 1 |
| -1 1 |
| .names [81] [859] [860] |
| 1- 1 |
| -1 1 |
| .names [70] [860] [861] |
| 1- 1 |
| -1 1 |
| .names n_n4 [861] [862] |
| 1- 1 |
| -1 1 |
| .names n_n80 n_n0 [863] |
| 0- 1 |
| -1 1 |
| .end |
