.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_ [5] sqrt_2_
11- 1
011 1
001 1
.names [30] [181] sqrt_1_
00 1
.names n_n118 [194] [195] sqrt_0_
1-- 1
-00 1
.names v_6_ v_7_ [5] n_n128
10- 1
010 1
000 1
.names [30] [181] n_n130
1- 1
-1 1
.names [24] [25] n_n118
1- 1
-1 1
.names v_4_ n_n128 n_n121
11 1
00 1
.names v_2_ v_3_ [4]
1- 1
-1 1
.names [21] [22] [23] n_n120
1-- 1
-1- 1
--1 1
.names v_4_ v_5_ [5]
1- 1
-1 1
.names v_6_ v_7_ [5] n_n126
111 1
010 1
.names v_4_ v_5_ n_n128 n_n116
11- 1
-11 1
000 1
.names v_2_ v_3_ n_n130 n_n112
11- 1
-11 1
000 1
.names n_n128 n_n112 n_n148
11 1
00 1
.names v_4_ n_n128 [4] n_n41
11- 1
011 1
001 1
.names v_6_ v_7_ n_n116 n_n84
1-1 1
-11 1
000 1
.names v_6_ v_7_ n_n120 [13]
1-0 1
-10 1
.names [30] [181] [184] [21]
001 1
.names [30] [181] [185] [22]
001 1
.names n_n121 [30] [181] [23]
11- 1
1-1 1
.names [30] [181] [182] [24]
001 1
.names sqrt_3_ n_n116 n_n41 [25]
110 1
.names sqrt_3_ n_n126 n_n116 [30]
100 1
.names v_2_ v_3_ n_n126 [176]
000 1
.names v_4_ n_n128 [176] [177]
011 1
001 1
.names v_4_ n_n128 n_n126 [179]
100 1
.names n_n84 [177] [179] [181]
11- 1
1-1 1
.names sqrt_3_ n_n116 n_n41 [182]
011 1
101 1
.names v_4_ n_n128 [4] [184]
010 1
000 1
.names v_4_ n_n128 [4] [185]
111 1
101 1
.names v_2_ v_0_ v_1_ [189]
000 1
.names sqrt_3_ n_n120 [189] [190]
111 1
001 1
.names v_2_ [30] [181] [191]
100 1
.names sqrt_3_ n_n120 [191] [192]
111 1
001 1
.names sqrt_3_ n_n128 n_n120 [193]
101 1
000 1
.names n_n148 [13] [190] [194]
-1- 1
0-1 1
.names n_n148 [192] [193] [195]
01- 1
1-1 1
.end