| .model top |
| .inputs a b c d e f g h i j k l m n o p q r s t u v w x y |
| .outputs q1 p1 a1 c1 b1 e1 d1 g1 f1 i1 h1 k1 z j1 m1 l1 o1 n1 |
| .names a b c q1 |
| 001 1 |
| .names a b p1 |
| 01 1 |
| .names a b c j k r s t a1 |
| 00011000 1 |
| .names a b c r s t [48] c1 |
| ------1 1 |
| 000010- 1 |
| .names a b c j k r s t b1 |
| 00010000 1 |
| .names a b c j k e1 |
| 11111 1 |
| .names a b c j k l m d1 |
| 1110100 1 |
| .names a b c j k l m g1 |
| 101---- 1 |
| 1-10110 1 |
| .names a b c j k l f1 |
| 111011 1 |
| .names n o p q u v [43] [197] i1 |
| ------1- 1 |
| 000010-1 1 |
| .names a b c r s [206] h1 |
| 001101 1 |
| .names n o p q u v [41] [197] k1 |
| ------1- 1 |
| 001010-1 1 |
| .names a b c j k r s t z |
| 00001000 1 |
| .names n o p q u v [39] [197] j1 |
| ------1- 1 |
| 001110-1 1 |
| .names a b c r t m1 |
| 00010 1 |
| .names j y [29] l1 |
| 101 1 |
| .names a b c k t o1 |
| 1-0-- 1 |
| 11-0- 1 |
| -00-1 1 |
| .names a b c j k r s t n1 |
| 00000000 1 |
| .names a b c k r t x [29] |
| 110---- 1 |
| 11-0--- 1 |
| 001---1 1 |
| 00---11 1 |
| 000-10- 1 |
| .names a b s t u v w [39] |
| 0110011 1 |
| .names a b s t u v w [41] |
| 0110010 1 |
| .names a b s t u v w [43] |
| 0110000 1 |
| .names a b c j k l m [48] |
| 1110111 1 |
| .names a b c l m w [197] |
| 001010 1 |
| .names d e f g h i t [206] |
| 0100001 1 |
| .end |
