.model top
.inputs v_6_ v_7_ v_4_ v_5_ v_2_ v_3_ v_0_ v_1_
.outputs sqrt_3_ sqrt_2_ sqrt_1_ sqrt_0_
.names v_6_ v_7_ sqrt_3_
1- 1
-1 1
.names v_6_ v_7_ v_4_ v_5_ sqrt_2_
11-- 1
011- 1
001- 1
01-1 1
00-1 1
.names v_6_ v_7_ v_4_ v_5_ [4] sqrt_1_
111-- 1
11-1- 1
1011- 1
0011- 1
0100- 1
10-11 1
00011 1
11001 1
00001 1
.names n_n118 n_n148 [13] [190] [195] sqrt_0_
1---- 1
-10-0 1
--000 1
.names v_6_ v_7_ v_4_ v_5_ n_n128
10-- 1
0100 1
0000 1
.names v_6_ v_7_ v_4_ v_5_ [4] n_n130
10-0- 1
0111- 1
0101- 1
0110- 1
0010- 1
10010 1
00010 1
11000 1
00000 1
.names v_6_ v_7_ v_4_ v_5_ [4] n_n118
1111- 1
0111- 1
11011 1
01001 1
10010 1
11000 1
.names v_2_ v_3_ [4]
1- 1
-1 1
.names v_6_ v_7_ v_4_ v_5_ [4] n_n147
0111- 1
0110- 1
1000- 1
100-1 1
111-0 1
011-0 1
00111 1
11011 1
11001 1
01001 1
10110 1
10010 1
00010 1
.names v_2_ v_3_ n_n128 n_n130 n_n148
111- 1
100- 1
-111 1
-001 1
0010 1
0100 1
.names v_6_ v_7_ v_4_ v_5_ [4] [13]
0111- 1
0110- 1
1000- 1
100-1 1
111-0 1
011-0 1
11011 1
11001 1
01001 1
10110 1
10010 1
.names v_2_ v_0_ v_1_ n_n147 [190]
0000 1
.names v_2_ v_3_ n_n128 n_n130 n_n147 [195]
100-0 1
-0010 1
10100 1
11000 1
01000 1
.end