.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 j k s [27] a1
1101 1
.names m s [27] [23] [182] c1
-11-- 1
1--11 1
.names j k s [27] b1
1001 1
.names a b c j k e1
11111 1
.names j l m [23] d1
0001 1
.names a c [28] g1
111 1
.names j l [23] f1
011 1
.names v w [24] [44] i1
---1 1
001- 1
.names d e t [204] [205] h1
01111 1
.names v w [24] [42] k1
---1 1
101- 1
.names j k s [27] z
0101 1
.names v w [24] [40] j1
---1 1
111- 1
.names a b c r t m1
00010 1
.names j y m1 [34] [35] l1
101-- 1
10-1- 1
10--1 1
.names a b c k t o1
1-0-- 1
11-0- 1
-00-1 1
.names j k s [27] n1
0001 1
.names a b c r t [27]
00000 1
.names a b c k [23]
1111 1
.names b j k l m [28]
0---- 1
-0110 1
.names a b s t u [24]
01100 1
.names a b c k [34]
110- 1
11-0 1
.names a b c t x [35]
001-1 1
00-11 1
.names p q q1 [195] [196] [40]
11111 1
.names p q q1 [195] [196] [42]
10111 1
.names p q q1 [195] [196] [44]
00111 1
.names l j [182]
10 1
.names l m w [195]
010 1
.names n o u v [196]
0010 1
.names f g h i [204]
0000 1
.names a b c r s [205]
00110 1
.end