.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 i_3_ i_1_ i_0_ [483] o_1_
---1 1
010- 1
.names i_1_ i_2_ n_n96 [494] o_19_
--1- 1
---1 1
00-- 1
.names i_1_ n_n152 [486] [496] o_2_
--1- 1
---1 1
11-- 1
.names [141] [498] [499] [501] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names [133] [506] o_25_
1- 1
-1 1
.names [40] [126] o_12_
1- 1
-1 1
.names [160] [486] [510] [511] o_26_
1--- 1
-1-- 1
--1- 1
---1 1
.names o_16_ [517] [518] o_11_
--1 1
11- 1
.names i_4_ [45] o_27_
01 1
.names i_2_ i_0_ o_16_ [522] o_14_
---1 1
1-1- 1
-01- 1
.names n_n121 [135] [504] [524] o_13_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_4_ [40] [504] [530] o_21_
--1- 1
---1 1
11-- 1
.names i_3_ n_n10 [128] [507] o_16_
01-- 1
-01- 1
-0-1 1
.names [141] [498] [499] o_22_
1-- 1
-1- 1
--1 1
.names i_4_ [40] [504] [532] o_15_
--1- 1
---1 1
11-- 1
.names [31] [534] [535] o_23_
1-- 1
-1- 1
--1 1
.names [79] [513] [514] [537] o_18_
1--- 1
-1-- 1
--1- 1
---1 1
.names [515] [516] o_24_
1- 1
-1 1
.names [31] [540] [541] o_17_
1-- 1
-1- 1
--1 1
.names o_22_ [69] [545] o_20_
1-- 1
-1- 1
--1 1
.names n_n96 [546] o_10_
1- 1
-1 1
.names i_3_ i_1_ i_0_ [507] o_9_
---1 1
010- 1
.names [64] [547] [548] [549] o_7_
1--- 1
---1 1
-11- 1
.names n_n121 [135] [504] [552] o_8_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_3_ i_1_ i_2_ [554] o_5_
---1 1
1-0- 1
-10- 1
.names i_4_ [40] [504] [557] o_6_
--1- 1
---1 1
11-- 1
.names n_n96 [494] o_3_
1- 1
-1 1
.names n_n12 n_n10 [31] [46] o_4_
--1- 1
---1 1
11-- 1
.names i_1_ i_2_ n_n178
10 1
.names i_2_ i_0_ n_n175
01 1
.names i_3_ i_4_ i_2_ [40] [41]
-0-1 1
100- 1
.names i_3_ i_1_ i_2_ i_0_ [45]
0000 1
.names i_3_ i_4_ n_n12
10 1
.names i_4_ i_2_ i_0_ [33]
10- 1
-01 1
.names i_3_ i_4_ i_2_ [43]
1-- 1
-0- 1
--1 1
.names i_3_ i_1_ i_2_ i_0_ [40]
0010 1
.names i_3_ i_4_ i_2_ [44]
110 1
.names i_4_ i_1_ i_2_ i_0_ n_n123
1101 1
.names i_3_ i_4_ [32]
11 1
.names i_1_ i_2_ i_0_ [36]
101 1
.names i_1_ i_2_ i_0_ n_n13
000 1
.names i_1_ i_2_ i_0_ n_n10
010 1
.names i_3_ i_4_ i_2_ i_0_ [34]
1010 1
1100 1
.names i_3_ i_2_ i_0_ [35]
010 1
.names i_3_ i_1_ i_2_ i_0_ [38]
0100 1
.names i_4_ [40] [87] [504] [31]
--1- 1
---1 1
11-- 1
.names i_3_ i_1_ i_2_ [29]
1-- 1
-10 1
.names i_3_ i_4_ i_0_ [30]
100 1
.names [160] [486] [490] [491] n_n96
1--- 1
-1-- 1
--1- 1
---1 1
.names i_4_ [40] n_n121
11 1
.names i_3_ i_4_ i_2_ i_0_ n_n152
1010 1
.names i_3_ i_4_ [36] [558] [46]
0--1 1
-0-1 1
--01 1
.names i_3_ i_4_ i_1_ i_2_ [49]
1110 1
.names i_4_ i_2_ i_0_ [29] [50]
101- 1
-011 1
.names i_2_ [164] [483] [51]
11- 1
1-1 1
.names i_3_ i_4_ i_2_ i_0_ [63]
1001 1
.names i_1_ i_2_ [128] [507] [64]
0-1- 1
-11- 1
0--1 1
-1-1 1
.names i_4_ [40] [147] [543] [69]
1-01 1
-001 1
.names i_3_ i_4_ i_2_ i_0_ [74]
1000 1
.names i_3_ i_4_ n_n13 [79]
101 1
.names i_4_ i_1_ i_2_ i_0_ [83]
0010 1
.names i_4_ i_1_ i_2_ i_0_ [87]
1000 1
.names i_3_ i_1_ i_2_ i_0_ [100]
1101 1
.names i_3_ i_4_ i_1_ i_0_ [110]
1010 1
.names i_3_ i_1_ i_2_ [120]
110 1
.names [35] [128] [484] [507] [126]
01-- 1
-10- 1
0--1 1
--01 1
.names i_3_ i_1_ i_0_ [128]
010 1
.names i_3_ i_4_ i_1_ i_2_ [132]
0110 1
.names [43] n_n121 [135] [504] [133]
11-- 1
1-1- 1
1--1 1
.names i_4_ i_2_ i_0_ [134]
010 1
.names i_4_ i_2_ i_0_ [135]
101 1
.names i_3_ i_4_ i_2_ i_0_ [137]
0-01 1
-101 1
.names i_3_ i_1_ i_2_ i_0_ [141]
1000 1
.names i_3_ i_4_ i_2_ [147]
100 1
.names i_1_ n_n152 [160]
11 1
.names i_3_ i_1_ i_0_ [164]
010 1
.names i_4_ i_1_ i_2_ i_0_ [483]
-10- 1
01-0 1
.names i_1_ i_4_ [484]
11 1
.names i_4_ i_1_ [40] [35] [486]
1-1- 1
11-1 1
.names i_1_ i_2_ i_0_ [487]
100 1
.names i_4_ i_2_ i_0_ [488]
101 1
.names i_3_ i_4_ n_n10 [487] [490]
101- 1
11-1 1
.names i_3_ i_4_ n_n13 [488] [491]
0--1 1
-0-1 1
111- 1
.names i_3_ i_4_ i_2_ i_0_ [494]
1-0- 1
--01 1
010- 1
0-10 1
.names i_3_ i_1_ i_2_ i_0_ [495]
--01 1
0000 1
.names i_4_ [40] [147] [495] [496]
--1- 1
---1 1
01-- 1
.names i_3_ i_4_ i_2_ i_0_ [498]
0101 1
0000 1
.names i_3_ i_4_ i_2_ i_0_ [499]
0110 1
1010 1
1100 1
.names [137] [164] [483] [501]
1-- 1
-1- 1
--1 1
.names i_3_ i_4_ i_1_ i_2_ [502]
0-0- 1
-10- 1
0--1 1
-1-1 1
.names i_3_ i_4_ i_2_ i_0_ [503]
110- 1
1-01 1
-001 1
.names i_4_ i_1_ [45] [35] [504]
0-1- 1
11-1 1
.names [132] [134] [502] [503] [506]
1--- 1
-1-- 1
--11 1
.names i_4_ i_2_ i_0_ [507]
-0- 1
0-0 1
.names i_1_ i_4_ [508]
10 1
.names n_n12 n_n10 [35] [508] [510]
11-- 1
--11 1
.names i_4_ [33] [40] [120] [511]
-1-- 1
---1 1
0-1- 1
.names i_4_ i_1_ i_2_ [35] [513]
-10- 1
11-1 1
.names i_4_ i_1_ [35] [110] [514]
---1 1
011- 1
.names i_3_ i_1_ i_2_ i_0_ [515]
-10- 1
0--0 1
.names i_3_ i_4_ i_2_ i_0_ [516]
0-0- 1
-10- 1
10-0 1
.names i_4_ [515] [516] [517]
01- 1
0-1 1
.names [44] [513] [514] [518]
1-- 1
-1- 1
--1 1
.names i_4_ i_2_ i_0_ [519]
001 1
.names i_3_ i_4_ [128] [507] [520]
0-1- 1
-01- 1
0--1 1
-0-1 1
.names n_n123 [29] [519] [521]
01- 1
0-0 1
.names [32] [36] [520] [521] [522]
11-- 1
--11 1
.names i_4_ [40] [38] [100] [524]
---1 1
01-- 1
0-1- 1
.names i_4_ i_1_ [35] [38] [526]
---1 1
011- 1
.names i_3_ i_4_ n_n10 [38] [527]
-0-1 1
101- 1
.names i_3_ i_4_ n_n13 [487] [528]
111- 1
11-1 1
.names [526] [527] [528] [530]
1-- 1
-1- 1
--1 1
.names i_3_ i_1_ i_2_ i_0_ [531]
0100 1
1000 1
.names [531] [34] [532]
1- 1
-1 1
.names i_1_ i_2_ i_0_ [533]
001 1
.names n_n178 n_n175 [32] [30] [534]
1--1 1
111- 1
.names i_3_ i_4_ [83] [533] [535]
--1- 1
10-1 1
.names [33] [40] [29] [537]
-1- 1
1-0 1
.names i_4_ i_2_ i_0_ [539]
101 1
.names [38] [29] [519] [540]
1-- 1
-01 1
.names [29] [74] [539] [541]
-1- 1
1-1 1
.names i_3_ i_1_ i_2_ i_0_ [543]
1-0- 1
-00- 1
--01 1
.names i_2_ i_0_ o_24_ [41] [545]
1--1 1
-0-1 1
--01 1
.names i_3_ i_4_ n_n13 [38] [546]
-0-1 1
101- 1
.names i_3_ i_4_ [128] [507] [547]
0-1- 1
-11- 1
0--1 1
-1-1 1
.names i_3_ i_4_ [36] [548]
--0 1
01- 1
.names i_4_ [40] [63] [549]
--1 1
11- 1
.names i_3_ i_4_ i_1_ i_2_ [551]
-010 1
0100 1
.names i_4_ [40] [147] [551] [552]
--1- 1
---1 1
01-- 1
.names i_3_ i_4_ i_2_ i_0_ [554]
--01 1
-0-0 1
0-10 1
.names n_n152 [49] [50] [51] [557]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_3_ i_2_ i_0_ [558]
101 1
.end