| .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 |