| .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 v_6_ v_7_ v_4_ v_5_ v_2_ v_3_ sqrt_1_ |
| 111--- 1 |
| 11-1-- 1 |
| 1011-- 1 |
| 0011-- 1 |
| 0100-- 1 |
| 10-11- 1 |
| 10-1-1 1 |
| 00011- 1 |
| 11001- 1 |
| 00001- 1 |
| 0001-1 1 |
| 1100-1 1 |
| 0000-1 1 |
| .names v_6_ v_7_ v_4_ v_5_ v_2_ v_3_ [189] sqrt_0_ |
| 1111--- 1 |
| 0111--- 1 |
| 00111-- 1 |
| 11011-- 1 |
| 01001-- 1 |
| 0011-1- 1 |
| 1101-1- 1 |
| 1010-1- 1 |
| 0100-1- 1 |
| 0011--0 1 |
| 1010--0 1 |
| 00-0-10 1 |
| 101111- 1 |
| 000011- 1 |
| 100100- 1 |
| 000100- 1 |
| 110000- 1 |
| 010000- 1 |
| 00000-0 1 |
| 1011-10 1 |
| 0101-10 1 |
| 00-1000 1 |
| 1101000 1 |
| .names v_2_ v_0_ v_1_ [189] |
| 000 1 |
| .end |
