.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 n_n130 [25] [387] [388] [390] n_n28
-----1 1
1-1--- 1
---11- 1
-11-1- 1
.names n_n130 [27] [25] [56] [324] [325] [385] n_n29
---1--- 1
------1 1
1-1---- 1
-1--1-- 1
-1---1- 1
.names [42] [43] [44] [77] [313] [314] [397] n_n30
1------ 1
-1----- 1
--1---- 1
---1--- 1
------1 1
----11- 1
.names tbk_out_2_ n_n132 [42] [43] [44] [397] [411] n_n31
------1 1
11----- 1
-11---- 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 [61] [71] [373] [374] [375] [376] [382] [25]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 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 n_n129 n_n130 n_n132 [25] [387] [390] [28]
--1-1- 1
--1--1 1
1-11-- 1
-111-- 1
.names tbk_in_1_ n_n129 n_n130 [56] [384] [385] [390] [31]
1001--- 1
100-1-- 1
100--1- 1
100---1 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n129 n_n130 n_n131 [40]
0011001 1
.names n_n129 n_n130 n_n131 [25] [387] [390] [42]
--1-1- 1
--1--1 1
1-11-- 1
-111-- 1
.names tbk_in_0_ n_n129 n_n130 [56] [384] [385] [390] [43]
1001--- 1
100-1-- 1
100--1- 1
100---1 1
.names n_n131 [61] [71] [373] [374] [375] [376] [44]
11----- 1
1-1---- 1
1--1--- 1
1---1-- 1
1----1- 1
1-----1 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n130 n_n131 n_n132 [54]
001110- 1
00111-0 1
.names tbk_in_3_ tbk_in_4_ n_n130 n_n131 n_n132 [368] [372] [56]
011111- 1
10111-1 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 tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_0_ n_n129 n_n131 n_n132 [319]
001110- 1
00111-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_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n130 \
[332]
0001010 1
.names tbk_in_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n130 n_n131 [338]
0010000 1
.names tbk_in_1_ n_n129 n_n130 n_n132 [342]
1111 1
0110 1
.names tbk_in_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n131 \
[343]
0100011 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_3_ tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_5_ n_n132 [353]
011001 1
010000 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_3_ tbk_in_4_ tbk_in_2_ tbk_in_5_ tbk_in_0_ n_n129 n_n131 [358]
1000000 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_1_ tbk_in_2_ tbk_in_0_ n_n129 n_n130 [368]
10111 1
.names tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n129 n_n130 [372]
10110 1
.names tbk_in_1_ n_n129 n_n130 n_n131 n_n132 [332] [338] [373]
11--1-1 1
1-1-1-1 1
1--11-1 1
01--0-1 1
0-1-0-1 1
0--10-1 1
11-111- 1
1-1111- 1
01-101- 1
0-1101- 1
.names [342] [343] [345] [346] [347] [374]
11--- 1
--111 1
.names tbk_in_0_ n_n129 n_n130 n_n131 [353] [357] [358] [375]
-----11 1
01101-- 1
.names tbk_in_0_ n_n129 n_n130 n_n131 [362] [363] [364] [376]
-----11 1
00011-- 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 [324] [325] [384]
00001- 1
0000-1 1
.names [27] [54] [77] [313] [314] [323] [385]
-1---- 1
--1--- 1
---11- 1
1----1 1
.names [27] [56] [324] [325] [385] [387]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names tbk_in_4_ tbk_in_1_ tbk_in_2_ tbk_in_0_ n_n131 n_n132 [314] [388]
10--0-- 1
1-0-0-- 1
1--00-- 1
10---0- 1
1-0--0- 1
1--0-0- 1
10----0 1
1-0---0 1
1--0--0 1
1101--- 1
.names [27] [77] [313] [314] [316] [319] [320] [390]
-00--1- 1
-0-0-1- 1
100-1-- 1
10-01-- 1
100---1 1
10-0--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 [27] [29] [40] [393] [394] [397]
--1-- 1
-1-1- 1
1---1 1
.names tbk_in_1_ tbk_in_2_ tbk_in_0_ [44] [313] [314] [397] [399]
---1--- 1
------1 1
----11- 1
111---- 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 [22] [23] [77] [313] [314] [402] [403] [408]
-1----- 1
--1---- 1
---11-- 1
1----1- 1
1-----1 1
.names [28] [31] [42] [43] [399] [405] [408] [411]
1------ 1
-1----- 1
------1 1
--1--1- 1
---1-1- 1
----11- 1
.end