| .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 [41] [42] sqrt_2_ |
| 00 1 |
| .names [30] [181] sqrt_1_ |
| 00 1 |
| .names n_n118 [11] sqrt_0_ |
| 1- 1 |
| -0 1 |
| .names [41] [42] n_n128 |
| 1- 1 |
| -1 1 |
| .names [30] [181] n_n130 |
| 1- 1 |
| -1 1 |
| .names [24] [25] n_n118 |
| 1- 1 |
| -1 1 |
| .names [194] [195] [11] |
| 1- 1 |
| -1 1 |
| .names v_4_ n_n128 n_n121 |
| 11 1 |
| 00 1 |
| .names v_4_ n_n128 n_n85 |
| 01 1 |
| 00 1 |
| .names v_2_ v_3_ [4] |
| 1- 1 |
| -1 1 |
| .names [23] [186] n_n120 |
| 1- 1 |
| -1 1 |
| .names sqrt_3_ n_n120 n_n147 |
| 01 1 |
| 10 1 |
| .names v_6_ v_7_ n_n124 |
| 01 1 |
| .names v_4_ v_5_ [5] |
| 1- 1 |
| -1 1 |
| .names [39] [40] n_n126 |
| 1- 1 |
| -1 1 |
| .names v_4_ n_n128 [12] |
| 1- 1 |
| -1 1 |
| .names [33] [34] n_n116 |
| 1- 1 |
| -1 1 |
| .names [17] [187] n_n112 |
| 1- 1 |
| -1 1 |
| .names n_n128 n_n112 n_n148 |
| 11 1 |
| 00 1 |
| .names [26] [27] n_n41 |
| 1- 1 |
| -1 1 |
| .names sqrt_3_ n_n116 n_n84 |
| 11 1 |
| 00 1 |
| .names n_n148 [190] [6] |
| 01 1 |
| .names n_n148 [192] [8] |
| 01 1 |
| .names n_n148 [193] [10] |
| 11 1 |
| .names sqrt_3_ n_n120 [13] |
| 10 1 |
| .names n_n130 [4] [16] |
| 00 1 |
| .names v_3_ n_n130 [17] |
| 11 1 |
| .names v_2_ v_3_ [18] |
| 11 1 |
| .names n_n130 [184] [21] |
| 01 1 |
| .names n_n130 [185] [22] |
| 01 1 |
| .names n_n130 n_n121 [23] |
| 11 1 |
| .names n_n130 [182] [24] |
| 01 1 |
| .names n_n41 [183] [25] |
| 01 1 |
| .names n_n85 [4] [26] |
| 11 1 |
| .names v_4_ n_n128 [27] |
| 11 1 |
| .names n_n84 [177] [28] |
| 11 1 |
| .names n_n84 [179] [29] |
| 11 1 |
| .names n_n84 [180] [30] |
| 01 1 |
| .names v_5_ [12] [33] |
| 11 1 |
| .names n_n128 [5] [34] |
| 00 1 |
| .names n_n128 [175] [39] |
| 01 1 |
| .names n_n128 n_n124 [40] |
| 11 1 |
| .names v_6_ [5] [41] |
| 00 1 |
| .names v_6_ v_7_ [42] |
| 10 1 |
| .names v_6_ [5] [175] |
| 11 1 |
| .names n_n126 [4] [176] |
| 00 1 |
| .names n_n85 [176] [177] |
| 11 1 |
| .names n_n126 n_n128 [178] |
| 00 1 |
| .names n_n85 [178] [179] |
| 01 1 |
| .names n_n126 sqrt_3_ [180] |
| 01 1 |
| .names [29] [28] [181] |
| 1- 1 |
| -1 1 |
| .names n_n41 n_n84 [182] |
| 10 1 |
| .names sqrt_3_ n_n116 [183] |
| 11 1 |
| .names n_n85 [4] [184] |
| 10 1 |
| .names n_n85 [4] [185] |
| 01 1 |
| .names [22] [21] [186] |
| 1- 1 |
| -1 1 |
| .names [16] [18] [187] |
| 1- 1 |
| -1 1 |
| .names v_0_ v_2_ [188] |
| 00 1 |
| .names [188] v_1_ [189] |
| 10 1 |
| .names n_n147 [189] [190] |
| 01 1 |
| .names n_n130 v_2_ [191] |
| 01 1 |
| .names n_n147 [191] [192] |
| 01 1 |
| .names n_n147 n_n128 [193] |
| 00 1 |
| .names [6] [13] [194] |
| 1- 1 |
| -1 1 |
| .names [10] [8] [195] |
| 1- 1 |
| -1 1 |
| .end |
