.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
0-1- 1
0--1 1
.names v_6_ v_7_ v_4_ v_5_ v_2_ v_3_ sqrt_1_
111--- 1
11-1-- 1
-011-- 1
-0-11- 1
-0-1-1 1
0100-- 1
0-001- 1
-1001- 1
0-00-1 1
-100-1 1
.names v_6_ n_n20 [22] [36] [202] [204] sqrt_0_
-1---- 1
---1-- 1
----1- 1
-----1 1
1-1--- 1
.names v_6_ v_4_ v_5_ n_n17
000 1
.names n_n17 [5] [23] [41] [42] [195] n_n20
---1-- 1
----1- 1
1-1--- 1
-1---1 1
.names v_7_ v_4_ v_5_ v_2_ v_3_ v_1_ [22]
0101-- 1
010-1- 1
010--1 1
-01001 1
.names v_7_ v_4_ v_5_ v_2_ v_3_ [5]
010-- 1
-0100 1
.names v_7_ v_2_ v_0_ v_1_ [23]
1--- 1
-01- 1
-0-1 1
.names v_6_ v_7_ v_4_ v_5_ v_3_ v_0_ [36]
0-11-1 1
-01-11 1
-1-111 1
.names v_6_ v_7_ v_4_ v_5_ v_3_ v_1_ [41]
0-11-1 1
-01-11 1
-1-111 1
.names v_6_ v_7_ v_5_ v_2_ [42]
1111 1
.names v_0_ v_6_ [195]
11 1
.names v_6_ v_7_ v_4_ v_5_ v_2_ v_3_ [202]
-111-- 1
0-0011 1
-00100 1
-10000 1
.names v_6_ v_7_ v_4_ v_5_ v_2_ v_3_ [204]
0-111- 1
11-1-1 1
0-11-1 1
-01-11 1
-1-111 1
.end