| .model top | |
| .inputs _7 _6 _5 _4 _3 _2 _1 | |
| .outputs _25 _26 _24 _27 | |
| .names _5 [8] _25 | |
| 11 1 | |
| 00 1 | |
| .names _6 [9] _26 | |
| 11 1 | |
| 00 1 | |
| .names [16] [17] _24 | |
| 1- 1 | |
| -1 1 | |
| .names _7 [11] _27 | |
| 11 1 | |
| 00 1 | |
| .names _2 [7] [8] | |
| 01 1 | |
| 10 1 | |
| .names _3 [5] [9] | |
| 01 1 | |
| 10 1 | |
| .names [26] [27] [7] | |
| 1- 1 | |
| -1 1 | |
| .names _2 [7] [10] | |
| 1- 1 | |
| -0 1 | |
| .names _4 _1 [11] | |
| 11 1 | |
| 00 1 | |
| .names _4 _1 [12] | |
| 0- 1 | |
| -0 1 | |
| .names [28] [29] [5] | |
| 1- 1 | |
| -1 1 | |
| .names _3 [5] [13] | |
| 0- 1 | |
| -1 1 | |
| .names _5 [10] [16] | |
| 11 1 | |
| .names _2 [7] [17] | |
| 10 1 | |
| .names _6 [13] [26] | |
| 01 1 | |
| .names _3 [5] [27] | |
| 01 1 | |
| .names _7 [12] [28] | |
| 01 1 | |
| .names _4 _1 [29] | |
| 00 1 | |
| .end |