.model top
.inputs a b c d e f g h i j k l m n o p a0 q b0 r c0 s d0 t e0 u f0 v g0 w h0 \
x i0 y j0 z k0 l0 m0 n0 o0
.outputs p0 q0 r0 s0 t0 u0 v0 w0 x0 y0 z0 a1 c1 b1 e1 d1 g1 f1 i1 h1 j1
.names p q b1 p0
-0- 1
0-0 1
.names e [29] q0
0- 1
-1 1
.names x0 [69] [70] r0
0-- 1
-1- 1
--1 1
.names v [67] [68] s0
0-- 1
-1- 1
--1 1
.names v [67] [68] t0
1-- 1
-1- 1
--1 1
.names b0 c0 l0 u0
--1 1
11- 1
.names b0 c0 l0 v0
0-0 1
-00 1
.names d [39] w0
11 1
.names n0 o0 x0
11 1
.names l [36] y0
11 1
.names e [43] [55] z0
--1 1
01- 1
.names [24] [22] [253] c1
0-- 1
-00 1
.names [21] [76] [236] b1
11- 1
1-1 1
.names m [36] e1
11 1
.names [24] [22] [253] d1
11- 1
1-1 1
.names b w [255] g1
111 1
.names b w x f1
110 1
.names [44] [247] h1
0- 1
-0 1
.names [47] [257] [259] j1
111 1
.names b0 [80] [237] [29]
0-1 1
-11 1
.names [41] [40] [60] [39]
--1 1
11- 1
.names a0 b0 i0 [36]
111 1
.names [29] [58] [242] [43]
-1- 1
0-1 1
.names [28] [35] [53] [44]
1-- 1
-1- 1
--1 1
.names [44] [247] na1
11 1
.names b0 [82] [21]
0- 1
-1 1
.names b0 j0 [47]
0- 1
-0 1
.names i c0 j0 [46]
0-- 1
-1- 1
--0 1
.names b0 [82] [249] [24]
0-- 1
-1- 1
--1 1
.names c0 j0 [28]
1- 1
-0 1
.names o [42] [239] [41]
0-- 1
-11 1
.names a z m0 [40]
--0 1
10- 1
.names p r [42]
1- 1
-0 1
.names na1 a1
1 1
.names na1 i1
1 1
.names b0 [32] [250] [22]
0-1 1
-11 1
.names c0 j0 k0 [32]
10- 1
1-0 1
.names i b0 [35]
00 1
.names e b0 [53]
11 1
.names g b0 l0 [55]
111 1
.names b0 [80] [243] [58]
101 1
.names o z [60]
01 1
.names b0 c0 j0 [67]
10- 1
1-0 1
.names b0 l0 [68]
00 1
.names e [28] [72] [69]
11- 1
1-1 1
.names c i d0 [70]
00- 1
0-0 1
.names i b0 [72]
00 1
.names k b0 [80] [76]
00- 1
0-1 1
.names c0 j0 k0 [80]
1-0 1
-00 1
.names c0 j0 l0 [82]
0-0 1
-00 1
.names e n0 o0 [236]
1-- 1
-0- 1
--0 1
.names g0 e0 [237]
00 1
.names h0 f0 [239]
00 1
.names f n0 o0 [242]
111 1
.names h n0 o0 [243]
10- 1
1-0 1
.names d0 i [244]
0- 1
-0 1
.names e0 j [246]
00 1
.names x0 [244] [246] [247]
0-1 1
-11 1
.names s t u [249]
1-- 1
-1- 1
--0 1
.names g0 e0 [250]
00 1
.names n e [251]
1- 1
-1 1
.names n0 o0 [251] [253]
0-- 1
-0- 1
--1 1
.names y x [255]
01 1
.names e0 j [257]
00 1
.names x0 [46] [244] [259]
01- 1
-11 1
.end