| .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_2_ v_3_ [19] [193] sqrt_1_ |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names n_n20 n_n19 [8] [204] sqrt_0_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names v_6_ v_4_ v_5_ n_n17 |
| 000 1 |
| .names v_6_ v_7_ v_4_ v_5_ [19] |
| -0-1 1 |
| 0-00 1 |
| -100 1 |
| .names n_n17 [23] [41] [196] n_n20 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n17 [36] [199] [201] n_n19 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names v_6_ v_7_ v_4_ v_5_ [20] |
| 11-1 1 |
| 0-11 1 |
| .names v_7_ v_2_ v_0_ v_1_ [23] |
| 1--- 1 |
| -01- 1 |
| -0-1 1 |
| .names v_7_ v_4_ [11] |
| 01 1 |
| .names v_6_ v_7_ v_4_ v_3_ [28] |
| 0-1- 1 |
| -1-1 1 |
| .names v_7_ v_4_ v_3_ [16] |
| 011 1 |
| .names v_5_ v_2_ [28] [16] [6] |
| -1-1 1 |
| 111- 1 |
| .names v_6_ [11] [32] [203] [8] |
| 1-1- 1 |
| 11-1 1 |
| .names v_1_ [47] [48] [32] |
| 11- 1 |
| 1-1 1 |
| .names v_5_ v_0_ [28] [16] [36] |
| -1-1 1 |
| 111- 1 |
| .names v_5_ v_1_ [28] [16] [41] |
| -1-1 1 |
| 111- 1 |
| .names v_6_ v_7_ v_5_ v_2_ [42] |
| 1111 1 |
| .names v_4_ v_5_ v_2_ v_3_ [47] |
| 0100 1 |
| .names v_7_ v_4_ v_5_ [48] |
| 010 1 |
| .names v_6_ v_7_ v_4_ v_5_ [193] |
| 111- 1 |
| 11-1 1 |
| -011 1 |
| 0100 1 |
| .names v_0_ v_6_ [195] |
| 11 1 |
| .names [42] [47] [48] [195] [196] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names v_4_ v_2_ v_3_ [198] |
| 000 1 |
| .names v_3_ v_2_ [199] |
| 11 1 |
| .names v_7_ v_4_ v_5_ [198] [201] |
| 111- 1 |
| 0-11 1 |
| 1-01 1 |
| .names v_5_ v_2_ v_3_ [203] |
| 01- 1 |
| 0-1 1 |
| .names v_3_ [20] [6] [204] |
| --1 1 |
| 11- 1 |
| .end |