.model top
.inputs tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ clock
.outputs tbk_out_0_ tbk_out_1_ tbk_out_2_
.latch    n_n28 n_n129 re clock 2
.latch    n_n29 n_n130 re clock 2
.latch    n_n30 n_n131 re clock 2
.latch    n_n31 n_n132 re clock 2
.names [74] [75] tbk_out_0_
1- 1
-1 1
.names [378] [379] tbk_out_1_
1- 1
-1 1
.names [76] [77] tbk_out_2_
1- 1
-1 1
.names [49] [391] n_n28
1- 1
-1 1
.names [55] [387] n_n29
1- 1
-1 1
.names [43] [400] n_n30
1- 1
-1 1
.names [32] [411] n_n31
1- 1
-1 1
.names n_n129 n_n130 [19]
00 1
.names tbk_out_1_ [61] [21]
1- 1
-1 1
.names [19] [30] [24]
11 1
.names n_n132 [22] [27]
01 1
.names [17] [15] [29]
11 1
.names n_n28 n_n29 [30]
1- 1
-1 1
.names [14] [15] [35]
01 1
.names [15] [359] [41]
11 1
.names tbk_in_1_ tbk_in_0_ [14]
0- 1
-0 1
.names tbk_in_2_ tbk_in_5_ [17]
00 1
.names n_n131 n_n132 [18]
0- 1
-0 1
.names [21] [382] [25]
1- 1
-1 1
.names tbk_in_3_ tbk_in_4_ [34]
10 1
.names tbk_in_3_ tbk_in_4_ [38]
01 1
.names tbk_in_3_ tbk_in_4_ [15]
00 1
.names tbk_in_1_ n_n132 [13]
01 1
10 1
.names n_n131 [19] [22]
01 1
.names tbk_in_1_ tbk_in_0_ [39]
01 1
.names [22] [402] [16]
11 1
.names [22] [403] [20]
11 1
.names [35] [404] [23]
11 1
.names n_n30 [405] [26]
11 1
.names n_n132 [30] [28]
11 1
.names tbk_in_1_ [24] [31]
11 1
.names n_n30 n_n132 [32]
11 1
.names [29] [393] [36]
11 1
.names [27] [394] [37]
11 1
.names [35] [395] [40]
11 1
.names n_n131 [30] [42]
11 1
.names tbk_in_0_ [24] [43]
11 1
.names n_n131 [21] [44]
11 1
.names tbk_out_2_ [317] [46]
01 1
.names tbk_out_2_ [319] [47]
01 1
.names tbk_out_2_ [321] [48]
01 1
.names n_n29 [388] [49]
11 1
.names n_n129 [25] [50]
11 1
.names [27] [323] [51]
11 1
.names [27] [324] [52]
11 1
.names [27] [325] [53]
11 1
.names [35] [326] [54]
11 1
.names n_n130 [25] [55]
11 1
.names tbk_out_0_ n_n130 [56]
11 1
.names [29] [380] [58]
11 1
.names [29] [381] [59]
11 1
.names [29] [13] [61]
11 1
.names [331] [332] [63]
11 1
.names [337] [338] [64]
11 1
.names [342] [343] [65]
11 1
.names [347] [348] [66]
11 1
.names [352] [353] [67]
11 1
.names [357] [358] [68]
11 1
.names [361] [362] [69]
11 1
.names [363] [364] [70]
11 1
.names tbk_out_0_ [34] [71]
11 1
.names [367] [368] [74]
11 1
.names [371] [372] [75]
11 1
.names [313] [314] [76]
11 1
.names tbk_in_2_ [14] [77]
10 1
.names n_n130 n_n129 [312]
10 1
.names [18] [14] [313]
01 1
.names [29] [312] [314]
11 1
.names tbk_in_5_ tbk_in_2_ [315]
01 1
.names [315] [15] [316]
11 1
.names [27] [316] [317]
11 1
.names [18] n_n129 [318]
11 1
.names [318] [35] [319]
11 1
.names [34] [14] [320]
10 1
.names [27] [320] [321]
11 1
.names [17] [14] [322]
11 1
.names [322] [34] [323]
11 1
.names [38] [17] [324]
11 1
.names [38] [14] [325]
10 1
.names [18] n_n130 [326]
11 1
.names n_n130 tbk_in_5_ [327]
00 1
.names [19] n_n131 [328]
01 1
.names [15] [17] [329]
10 1
.names [327] [39] [330]
11 1
.names [328] [13] [331]
10 1
.names [330] [329] [332]
11 1
.names tbk_in_0_ tbk_in_5_ [333]
00 1
.names n_n131 n_n130 [334]
00 1
.names [15] [17] [335]
10 1
.names [334] [333] [336]
11 1
.names [22] [13] [337]
00 1
.names [336] [335] [338]
11 1
.names n_n130 n_n129 [339]
11 1
.names [17] n_n131 [340]
11 1
.names [39] [38] [341]
11 1
.names [13] [339] [342]
01 1
.names [341] [340] [343]
11 1
.names n_n131 n_n129 [344]
10 1
.names [17] [19] [345]
10 1
.names [39] [34] [346]
11 1
.names [13] [344] [347]
01 1
.names [346] [345] [348]
11 1
.names n_n129 tbk_in_0_ [349]
10 1
.names n_n131 n_n130 [350]
01 1
.names [38] [17] [351]
11 1
.names [350] [349] [352]
11 1
.names [351] [13] [353]
10 1
.names n_n129 tbk_in_0_ [354]
00 1
.names [17] n_n131 [355]
10 1
.names [354] [34] [356]
11 1
.names [22] [13] [357]
00 1
.names [356] [355] [358]
11 1
.names tbk_in_5_ tbk_in_2_ [359]
10 1
.names n_n131 tbk_in_0_ [360]
10 1
.names [360] [19] [361]
11 1
.names [13] [41] [362]
01 1
.names [41] [39] [363]
11 1
.names [22] [13] [364]
11 1
.names n_n129 tbk_in_2_ [365]
10 1
.names [14] n_n130 [366]
01 1
.names [38] [18] [367]
10 1
.names [366] [365] [368]
11 1
.names n_n129 tbk_in_2_ [369]
10 1
.names [14] n_n130 [370]
00 1
.names [34] [18] [371]
10 1
.names [370] [369] [372]
11 1
.names [64] [63] [373]
1- 1
-1 1
.names [66] [65] [374]
1- 1
-1 1
.names [68] [67] [375]
1- 1
-1 1
.names [70] [69] [376]
1- 1
-1 1
.names [374] [373] [377]
1- 1
-1 1
.names [376] [375] [378]
1- 1
-1 1
.names [377] [71] [379]
1- 1
-1 1
.names n_n131 tbk_in_0_ [380]
01 1
.names n_n131 tbk_in_0_ [381]
10 1
.names [59] [58] [382]
1- 1
-1 1
.names [51] [54] [383]
1- 1
-1 1
.names [53] [52] [384]
1- 1
-1 1
.names [383] tbk_out_2_ [385]
1- 1
-1 1
.names [56] [384] [386]
1- 1
-1 1
.names [386] [385] [387]
1- 1
-1 1
.names tbk_out_2_ tbk_in_4_ [388]
01 1
.names [47] [46] [389]
1- 1
-1 1
.names [389] [48] [390]
1- 1
-1 1
.names [50] [390] [391]
1- 1
-1 1
.names n_n131 tbk_in_0_ [392]
11 1
.names [392] [19] [393]
11 1
.names [41] tbk_in_0_ [394]
10 1
.names [19] n_n131 [395]
11 1
.names [40] [36] [396]
1- 1
-1 1
.names [396] [37] [397]
1- 1
-1 1
.names [397] tbk_out_2_ [398]
1- 1
-1 1
.names [44] [398] [399]
1- 1
-1 1
.names [42] [399] [400]
1- 1
-1 1
.names n_n132 tbk_in_0_ [401]
10 1
.names [29] [401] [402]
11 1
.names [41] [39] [403]
11 1
.names n_n132 n_n131 [404]
10 1
.names n_n131 tbk_in_1_ [405]
01 1
.names [16] [23] [406]
1- 1
-1 1
.names tbk_out_2_ [20] [407]
1- 1
-1 1
.names [407] [406] [408]
1- 1
-1 1
.names [28] [408] [409]
1- 1
-1 1
.names [409] [31] [410]
1- 1
-1 1
.names [26] [410] [411]
1- 1
-1 1
.end