.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 tbk_in_3_ tbk_in_4_ n_n131 n_n132 [368] [372] tbk_out_0_
01111- 1
1011-1 1
.names [71] [373] [374] [375] [376] tbk_out_1_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n131 n_n132 [314] tbk_out_2_
111--- 1
0--111 1
--0111 1
.names n_n129 [21] [49] [382] [390] n_n28
--1-- 1
----1 1
11--- 1
1--1- 1
.names n_n130 [21] [382] [387] n_n29
---1 1
11-- 1
1-1- 1
.names tbk_in_0_ n_n129 n_n29 n_n130 [391] [400] n_n30
-----1 1
1010-- 1
10-01- 1
.names n_n132 [31] [43] [400] [405] [409] n_n31
-1---- 1
-----1 1
1-1--- 1
1--1-- 1
--1-1- 1
---11- 1
.names [61] [71] [373] [374] [375] [376] [21]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n129 n_n130 n_n131 n_n132 [27]
0000 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [29]
0000 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [35]
0011 1
.names tbk_in_2_ tbk_in_5_ [17]
00 1
.names tbk_in_3_ tbk_in_4_ [15]
00 1
.names n_n129 n_n130 n_n131 [22]
000 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n131 n_n132 [23]
001101 1
.names tbk_in_1_ n_n129 n_n29 n_n130 [391] [31]
1010- 1
10-01 1
.names tbk_in_0_ n_n129 n_n29 n_n130 [391] [43]
1010- 1
10-01 1
.names [27] [77] [313] [314] [316] [46]
100-1 1
10-01 1
.names [35] [77] [313] [314] [318] [47]
100-1 1
10-01 1
.names [27] [77] [313] [314] [320] [48]
100-1 1
10-01 1
.names n_n130 [21] [382] [387] [388] [49]
---11 1
11--1 1
1-1-1 1
.names n_n130 [367] [368] [371] [372] [56]
111-- 1
1--11 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ n_n132 [61]
000001 1
001000 1
.names tbk_in_3_ tbk_in_4_ n_n131 n_n132 [372] [71]
10111 1
.names tbk_in_1_ tbk_in_2_ tbk_in_0_ [77]
111 1
.names tbk_in_1_ tbk_in_0_ n_n131 n_n132 [313]
0-11 1
-011 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ n_n129 n_n130 [314]
000001 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [316]
0010 1
.names n_n129 n_n131 n_n132 [318]
10- 1
1-0 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [320]
1011 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [323]
10000- 1
10-000 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ [324]
0100 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [325]
0111 1
.names tbk_in_1_ tbk_in_5_ tbk_in_0_ n_n130 [330]
0010 1
.names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [331]
11-11 1
1-111 1
01-10 1
0-110 1
.names tbk_in_5_ tbk_in_0_ n_n130 n_n131 [336]
0000 1
.names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [337]
11--1 1
1-1-1 1
1--11 1
01--0 1
0-1-0 1
0--10 1
.names tbk_in_2_ tbk_in_5_ n_n131 [340]
001 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [341]
0101 1
.names tbk_in_1_ n_n129 n_n130 n_n132 [342]
1111 1
0110 1
.names tbk_in_2_ tbk_in_5_ n_n129 n_n130 [345]
001- 1
00-1 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ [346]
1001 1
.names tbk_in_1_ n_n129 n_n131 n_n132 [347]
1011 1
0010 1
.names tbk_in_0_ n_n129 n_n130 n_n131 [352]
0110 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ n_n132 [353]
011001 1
010000 1
.names tbk_in_2_ tbk_in_5_ n_n131 [355]
000 1
.names tbk_in_3_ tbk_in_4_ tbk_in_0_ n_n129 [356]
1000 1
.names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [357]
11--1 1
1-1-1 1
1--11 1
01--0 1
0-1-0 1
0--10 1
.names tbk_in_0_ n_n129 n_n130 n_n131 [361]
0001 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ n_n132 [362]
001011 1
000010 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [363]
000011 1
.names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [364]
00001 1
10000 1
.names tbk_in_3_ tbk_in_4_ n_n131 n_n132 [367]
0111 1
.names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n129 n_n130 [368]
10111 1
.names tbk_in_3_ tbk_in_4_ n_n131 n_n132 [371]
1011 1
.names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n129 n_n130 [372]
10110 1
.names [17] [15] [330] [331] [336] [337] [373]
0111-- 1
01--11 1
.names [340] [341] [342] [345] [346] [347] [374]
111--- 1
---111 1
.names [352] [353] [355] [356] [357] [375]
11--- 1
--111 1
.names [361] [362] [363] [364] [376]
11-- 1
--11 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n131 [382]
000001 1
000010 1
.names n_n129 n_n130 n_n131 n_n132 [35] [323] [383]
-10-1- 1
-1-01- 1
0000-1 1
.names n_n129 n_n130 n_n131 n_n132 [324] [325] [384]
00001- 1
0000-1 1
.names [56] [77] [313] [314] [383] [384] [387]
1----- 1
-1---- 1
----1- 1
-----1 1
--11-- 1
.names tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_0_ [313] [314] [388]
10--0- 1
1-0-0- 1
1--00- 1
10---0 1
1-0--0 1
1--0-0 1
.names [46] [47] [48] [390]
1-- 1
-1- 1
--1 1
.names n_n129 [21] [46] [47] [48] [382] [391]
--1--- 1
---1-- 1
----1- 1
11---- 1
1----1 1
.names tbk_in_0_ n_n129 n_n130 n_n131 [393]
1001 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [394]
00010 1
.names n_n129 n_n130 n_n131 [395]
001 1
.names [27] [29] [35] [393] [394] [395] [397]
-1-1-- 1
1---1- 1
--1--1 1
.names tbk_out_2_ n_n29 n_n131 [21] [391] [397] [400]
1----- 1
-----1 1
-11--- 1
--11-- 1
--1-1- 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n132 [402]
000001 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ [403]
000011 1
.names n_n131 tbk_in_1_ [405]
01 1
.names n_n129 n_n130 n_n131 [23] [402] [406]
---1- 1
000-1 1
.names [22] [77] [313] [314] [403] [407]
-1--- 1
--11- 1
1---1 1
.names n_n29 n_n132 [391] [406] [407] [409]
---1- 1
----1 1
11--- 1
-11-- 1
.end