| .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 [28] [29] [30] sqrt_1_ |
| 000 1 |
| .names [24] [25] [194] [195] sqrt_0_ |
| 1--- 1 |
| -1-- 1 |
| --00 1 |
| .names v_6_ v_7_ v_4_ v_5_ n_n128 |
| 10-- 1 |
| 0100 1 |
| 0000 1 |
| .names [28] [29] [30] n_n130 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names v_6_ v_7_ v_4_ v_5_ n_n121 |
| 101- 1 |
| 110- 1 |
| 0101 1 |
| 0001 1 |
| .names v_6_ v_7_ v_4_ v_5_ n_n85 |
| 110- 1 |
| 100- 1 |
| 0101 1 |
| 0001 1 |
| 0100 1 |
| 0000 1 |
| .names v_2_ v_3_ [4] |
| 1- 1 |
| -1 1 |
| .names [21] [22] [23] n_n120 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names sqrt_3_ [21] [22] [23] n_n147 |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| 1000 1 |
| .names v_6_ v_7_ v_4_ v_5_ n_n126 |
| 111- 1 |
| 11-1 1 |
| 0100 1 |
| .names v_2_ v_3_ n_n130 n_n112 |
| 11- 1 |
| -11 1 |
| 000 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_ n_n84 |
| 10-1 1 |
| 1-11 1 |
| -111 1 |
| 0001 1 |
| 0010 1 |
| 1100 1 |
| 0000 1 |
| .names [28] [29] [30] [184] [21] |
| 0001 1 |
| .names [28] [29] [30] [185] [22] |
| 0001 1 |
| .names n_n121 [28] [29] [30] [23] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names [28] [29] [30] [182] [24] |
| 0001 1 |
| .names v_4_ n_n128 [4] [183] [25] |
| 10-1 1 |
| -001 1 |
| 0101 1 |
| .names n_n85 [4] n_n126 n_n84 [28] |
| 1001 1 |
| .names v_6_ v_7_ v_4_ v_5_ [29] |
| 0111 1 |
| 0010 1 |
| .names v_6_ v_7_ v_4_ v_5_ [30] |
| 10-0 1 |
| 0101 1 |
| 0110 1 |
| .names v_4_ n_n128 [4] n_n84 [182] |
| 11-0 1 |
| 0110 1 |
| 0010 1 |
| .names v_6_ v_7_ v_4_ v_5_ [183] |
| 10-1 1 |
| 1-11 1 |
| -111 1 |
| 1100 1 |
| .names v_2_ v_3_ n_n85 [184] |
| 001 1 |
| .names v_2_ v_3_ n_n85 [185] |
| 1-0 1 |
| -10 1 |
| .names v_2_ v_0_ v_1_ [189] |
| 000 1 |
| .names v_2_ [28] [29] [30] [191] |
| 1000 1 |
| .names sqrt_3_ n_n120 n_n148 [189] [194] |
| 10-- 1 |
| 1101 1 |
| 0001 1 |
| .names n_n128 n_n147 n_n112 [191] [195] |
| 000- 1 |
| 0011 1 |
| 1001 1 |
| .end |