| .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 s [178] [179] [180] a1 |
| 0111 1 |
| .names s [48] [178] [179] c1 |
| -1-- 1 |
| 1-11 1 |
| .names s [178] [179] [183] b1 |
| 0111 1 |
| .names j [23] e1 |
| 11 1 |
| .names j l m [23] d1 |
| 0001 1 |
| .names a b c [45] g1 |
| 101- 1 |
| 1-11 1 |
| .names j l [23] f1 |
| 011 1 |
| .names [44] [189] [190] [191] i1 |
| 1--- 1 |
| -111 1 |
| .names q1 [202] [203] [204] h1 |
| 1111 1 |
| .names [42] [189] [190] [207] k1 |
| 1--- 1 |
| -111 1 |
| .names s [178] [179] [209] z |
| 0111 1 |
| .names [40] [189] [190] [210] j1 |
| 1--- 1 |
| -111 1 |
| .names c r [213] m1 |
| 011 1 |
| .names j y [35] [214] l1 |
| 101- 1 |
| 10-1 1 |
| .names a b k [19] o1 |
| ---1 1 |
| 110- 1 |
| .names s [178] [179] [216] n1 |
| 0111 1 |
| .names a b c k [23] |
| 1111 1 |
| .names a b c t [31] |
| 001- 1 |
| 00-1 1 |
| .names a b c t [19] |
| 1-0- 1 |
| -001 1 |
| .names a b c k [34] |
| 110- 1 |
| 11-0 1 |
| .names x [31] [35] |
| 11 1 |
| .names q1 [195] [196] [211] [40] |
| 1111 1 |
| .names q1 [195] [196] [208] [42] |
| 1111 1 |
| .names q1 [195] [196] [198] [44] |
| 1111 1 |
| .names j k l m [45] |
| 0110 1 |
| .names j l m [23] [48] |
| 0111 1 |
| .names r c [178] |
| 00 1 |
| .names a b t [179] |
| 000 1 |
| .names k j [180] |
| 11 1 |
| .names k j [183] |
| 01 1 |
| .names t s [189] |
| 01 1 |
| .names a b u [190] |
| 010 1 |
| .names w v [191] |
| 00 1 |
| .names l m w [195] |
| 010 1 |
| .names n o u v [196] |
| 0010 1 |
| .names q p [198] |
| 00 1 |
| .names s r [202] |
| 01 1 |
| .names d e t [203] |
| 011 1 |
| .names f g h i [204] |
| 0000 1 |
| .names w v [207] |
| 01 1 |
| .names q p [208] |
| 01 1 |
| .names k j [209] |
| 10 1 |
| .names w v [210] |
| 11 1 |
| .names q p [211] |
| 11 1 |
| .names a b t [213] |
| 000 1 |
| .names c r [34] [213] [214] |
| --1- 1 |
| 01-1 1 |
| .names k j [216] |
| 00 1 |
| .end |
