| .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_5_ [188] sqrt_2_ |
| --1 1 |
| 01- 1 |
| .names [19] [17] [193] sqrt_1_ |
| --1 1 |
| 11- 1 |
| .names n_n19 [8] [206] sqrt_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names v_6_ v_4_ [12] |
| 01 1 |
| .names v_6_ v_4_ v_5_ n_n17 |
| 000 1 |
| .names v_6_ v_7_ v_5_ [15] |
| 111 1 |
| .names n_n17 [55] [56] [19] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names v_6_ v_7_ v_5_ [18] |
| 11- 1 |
| -01 1 |
| .names v_2_ v_3_ [17] |
| 1- 1 |
| -1 1 |
| .names [40] [41] [196] n_n20 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [34] [36] [201] n_n19 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names v_1_ [5] [31] [22] |
| --1 1 |
| 11- 1 |
| .names [7] [48] [194] [5] |
| -1- 1 |
| 0-1 1 |
| .names v_2_ v_3_ [7] |
| 1- 1 |
| -1 1 |
| .names v_7_ v_5_ [27] |
| 01 1 |
| 10 1 |
| .names v_5_ [12] [45] [14] |
| 11- 1 |
| 1-1 1 |
| .names v_7_ v_4_ v_3_ [16] |
| 011 1 |
| .names v_3_ [15] [29] [4] |
| 11- 1 |
| 1-1 1 |
| .names v_2_ [14] [16] [6] |
| 11- 1 |
| 1-1 1 |
| .names v_6_ [22] [8] |
| 11 1 |
| .names v_6_ v_4_ v_5_ [29] |
| 011 1 |
| .names v_7_ v_4_ [203] [31] |
| 011 1 |
| .names v_2_ v_3_ n_n17 [34] |
| 111 1 |
| .names v_7_ v_4_ v_5_ [35] |
| 111 1 |
| .names v_0_ [14] [16] [36] |
| 11- 1 |
| 1-1 1 |
| .names v_7_ n_n17 [43] [40] |
| 11- 1 |
| -11 1 |
| .names v_1_ [14] [16] [41] |
| 11- 1 |
| 1-1 1 |
| .names v_2_ [15] [42] |
| 11 1 |
| .names v_2_ v_0_ v_1_ [43] |
| 01- 1 |
| 0-1 1 |
| .names v_7_ v_3_ [45] |
| 11 1 |
| .names v_7_ v_4_ v_5_ [48] |
| 010 1 |
| .names v_7_ v_4_ v_5_ [55] |
| 100 1 |
| .names v_7_ v_5_ [56] |
| 01 1 |
| .names v_6_ v_7_ v_4_ [188] |
| 11- 1 |
| 0-1 1 |
| .names v_4_ [15] [18] [192] |
| -1- 1 |
| 1-1 1 |
| .names v_7_ n_n17 [192] [193] |
| --1 1 |
| 11- 1 |
| .names v_5_ v_4_ [194] |
| 10 1 |
| .names v_0_ v_6_ [195] |
| 11 1 |
| .names [5] [42] [195] [196] |
| -1- 1 |
| 1-1 1 |
| .names v_4_ v_2_ v_3_ [198] |
| 000 1 |
| .names [27] [35] [198] [201] |
| -1- 1 |
| 1-1 1 |
| .names v_5_ v_2_ v_3_ [203] |
| 01- 1 |
| 0-1 1 |
| .names n_n20 [4] [6] [206] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |