.model top
.inputs p0 q1 r2 s3 a p1 q0 r3 s2 b p2 q3 r0 s1 c p3 q2 r1 s0 d t0 u1 v2 w3 e \
t1 u0 v3 w2 f t2 u3 v0 w1 g t3 u2 v1 w0 h x0 y1 z2 i x1 y0 z3 j x2 y3 z0 k x3 \
y2 z1 l m n o a1 b2 c3 d4 p a0 b3 c2 e4 q a3 b0 c1 r a2 b1 c0 s d0 e1 f2 g3 t \
a4 d1 e0 f3 g2 u b4 d2 e3 f0 g1 v c4 d3 e2 f1 g0 w h0 i1 j2 k3 x h1 i0 j3 k2 y \
h2 i3 j0 k1 z h3 i2 j1 k0 l0 m1 n2 o3 l1 m0 n3 o2 l2 m3 n0 o1 l3 m2 n1 o0
.outputs t4 u5 v6 w7 t5 u4 v7 w6 t6 u7 v4 w5 t7 u6 v5 w4 p4 q5 r6 s7 p5 q4 r7 \
s6 p6 q7 r4 s5 p7 q6 r5 s4 x4 y5 z6 x5 y4 z7 x6 y7 z4 x7 y6 z5 e5 f6 g7 h8 d5 \
f7 g6 d6 e7 f4 g5 d7 e6 f5 g4 a5 b6 c7 b7 c6 a7 c5 a6 b5 l4 m5 n6 o7 a8 l5 m4 \
n7 o6 b8 l6 m7 n4 o5 c8 l7 m6 n5 o4 d8 h4 i5 j6 k7 e8 h5 i4 j7 k6 f8 h6 i7 j4 \
k5 g8 h7 i6 j5 k4
.names [198] [197] nm16 nq16 t4
-10- 1
-1-1 1
1-10 1
.names z1 [436] [472] u5
1-- 1
-1- 1
--1 1
.names k0 l2 nj16 [1509] t5
-1-- 1
1-0- 1
1--1 1
.names [202] nm16 nq16 [1510] u4
-0-1 1
--11 1
110- 1
.names k2 [124] [157] t6
--1 1
00- 1
.names r2 [205] nm16 [110] v4
11-1 1
-111 1
.names n3 [143] [1526] w5
111 1
.names t0 u1 g0 [272] u6
101- 1
1-10 1
.names no16 [207] v5
01 1
.names d2 [209] nm16 nq16 w4
-10- 1
-1-1 1
1-10 1
.names nm16 nq16 [1536] p4
1-1 1
-11 1
.names j0 [215] nj16 q5
11- 1
-11 1
.names c3 [196] [216] r6
111 1
.names f2 g2 h2 l2 p5
1--1 1
-1-1 1
--00 1
.names t2 a1 [376] q4
11- 1
1-1 1
.names [148] [476] [477] [1555] r7
01-- 1
0-1- 1
0--1 1
.names c3 d3 o0 [196] s6
1-1- 1
-1-1 1
.names [362] [366] [367] [1559] p6
1--- 1
-1-1 1
--11 1
.names s1 [476] [477] [1555] q7
01-- 1
0-1- 1
0--1 1
.names [353] [356] [357] [1567] r4
1--- 1
-1-1 1
--11 1
.names [157] [350] s5
1- 1
-1 1
.names a4 nh16 [181] [1579] p7
1--1 1
101- 1
.names b3 [196] q6
11 1
.names [278] [1540] [1546] [1580] r5
0-01 1
-001 1
.names a f0 j4 nh17 s4
01-- 1
0-11 1
.names e2 [232] nm16 nq16 x4
-10- 1
-1-1 1
1-10 1
.names t0 g0 l3 [143] y5
---0 1
111- 1
.names k2 [124] [318] x5
--1 1
11- 1
.names a v0 x3 y4
1-- 1
-10 1
.names k m d0 z7
-11 1
1-0 1
.names p3 j3 y7
11 1
.names v0 b4 z4
11 1
.names s2 u0 [312] x7
--1 1
11- 1
.names [173] [476] [477] [1582] z5
0--- 1
-1-- 1
--1- 1
---1 1
.names e1 d1 l2 n_n371 e5
---1 1
001- 1
.names p2 r0 q2 m2 f6
1--1 1
-1-1 1
--11 1
.names [306] [307] g7
1- 1
-1 1
.names w2 x2 nv16 h8
00- 1
010 1
.names n_n371 [304] d5
1- 1
-1 1
.names p2 q2 m1 m2 f7
1--1 1
-1-1 1
--11 1
.names [300] [301] g6
1- 1
-1 1
.names p2 d6
0 1
.names y3 e4 i1 [1593] e7
1111 1
.names e0 x y j1 f4
10-- 1
1-1- 1
-101 1
.names e1 l2 n_n371 g5
--1 1
01- 1
.names y3 i1 o1 [241] d7
-1-1 1
0-11 1
.names p2 q2 e6
01 1
10 1
.names c1 e1 l2 n_n371 f5
---1 1
001- 1
.names p0 y1 k1 g4
10- 1
-11 1
.names r0 q2 m1 m2 b6
1--1 1
-1-1 1
--11 1
.names s1 [244] nh17 [247] c7
01-1 1
-101 1
.names w1 y1 x1 m2 c6
1011 1
.names c1 e1 d1 c5
01- 1
-10 1
101 1
.names e0 x y n0 a6
-1-1 1
--01 1
101- 1
.names c1 d1 b5
01 1
10 1
.names o3 l4
0 1
.names d e f [250] m5
0--1 1
-0-1 1
--01 1
.names i3 [120] [282] [1599] n6
---1 1
101- 1
.names ns16 [132] nf16 [1497] o7
1--- 1
-00- 1
-0-0 1
.names c4 nv16 [478] [1488] a8
1--- 1
-11- 1
-1-1 1
.names n c1 e1 d1 l5
1111 1
.names ns16 nf16 [1497] n7
011 1
.names z2 [161] [163] [164] o6
-1-- 1
1-1- 1
1--1 1
.names [478] [1486] [1487] [1602] b8
0001 1
.names k2 m0 [252] l6
00- 1
0-1 1
.names ns16 [132] nf16 [1497] m7
010- 1
01-0 1
.names [185] [253] [1604] n4
--1 1
11- 1
.names f2 g2 h2 l2 o5
1-10 1
-010 1
.names a4 [149] c8
0- 1
-1 1
.names u2 nm16 nq16 [1606] l7
---1 1
110- 1
.names h3 [120] [282] [1607] m6
---1 1
101- 1
.names a [136] n5
1- 1
-1 1
.names w1 y1 x1 m2 o4
1111 1
.names [476] [477] d8
1- 1
-1 1
.names v2 [476] [477] h4
1-- 1
-1- 1
--1 1
.names d1 l2 n_n371 i5
--1 1
01- 1
.names r1 no16 nh17 [1610] j6
-1-- 1
0--1 1
--01 1
.names y1 x1 i1 m2 k7
--1- 1
10-1 1
.names c1 d1 l2 n_n371 h5
---1 1
001- 1
.names [452] [476] [477] i4
1-- 1
-1- 1
--1 1
.names m1 [476] [477] j7
000 1
.names k2 m0 k6
00 1
.names [113] [115] h6
1- 1
-1 1
.names y3 e4 i1 i7
111 1
.names c2 [456] [476] [477] j4
-1-- 1
1-1- 1
1--1 1
.names [107] [108] h7
1- 1
-1 1
.names l3 [143] [1526] i6
111 1
.names c1 l2 n_n371 j5
--1 1
01- 1
.names y2 nf16 [138] [445] [198]
--1- 1
---1 1
11-- 1
.names n2 o2 ny15 [197]
1-0 1
011 1
.names y0 z0 nx14
00 1
.names a n2 [131] [1502] [162]
0--- 1
-1-- 1
--10 1
.names [138] [428] [202]
1- 1
-1 1
.names o p q l2 [124]
0--- 1
-1-- 1
--1- 1
---0 1
.names u1 j2 [272] nz16 [157]
01-0 1
-100 1
.names o2 [162] [205]
1- 1
-1 1
.names [143] [1526] np16
11 1
.names t0 g0 h0 l3 no16
1010 1
.names m0 [208] [406] [1530] [207]
1--- 1
--1- 1
-1-1 1
.names a b [131] [1502] [209]
01-- 1
100- 1
10-1 1
-110 1
.names [278] [1540] [1546] [1550] [215]
--1- 1
---1 1
11-- 1
.names z2 a3 [396] [397] ne16
001- 1
00-1 1
.names o0 [396] [397] [1543] [196]
0--0 1
000- 1
.names r1 b3 nh17 [216]
0-- 1
-1- 1
--0 1
.names s1 r1 [148]
0- 1
-1 1
.names i3 h3 [363] [364] [218]
--1- 1
---1 1
01-- 1
10-- 1
.names t3 a2 o3 n3 nj16
11-- 1
-11- 1
-1-1 1
.names c [233] [232]
11 1
00 1
.names u1 j2 [272] nz16 [143]
-0-- 1
0--0 1
--00 1
.names w0 x0 nv15
00 1
.names t0 h0 n3 [173]
0-- 1
-1- 1
--0 1
.names n p q l2 n_n371
0--1 1
-1-1 1
--01 1
.names s1 nh17 [1594] [1596] [241]
---1 1
0-1- 1
-01- 1
.names p2 q2 q l2 [244]
0--- 1
-0-- 1
--0- 1
---0 1
.names y1 x1 m2 [186]
011 1
.names d e f [131]
0-- 1
-0- 1
--0 1
.names s1 r1 b1 [250]
--1 1
10- 1
.names i3 h3 [195]
01 1
.names nf16 [1497] nh16
11 1
.names n1 [476] [477] [1490] ns16
11-- 1
1-1- 1
1--1 1
.names t3 o3 n3 [132]
1-- 1
-1- 1
--1 1
.names y1 x1 m2 nv16
111 1
.names s0 u h0 [114]
10- 1
0-0 1
.names p2 i3 h3 m2 [252]
1--- 1
-0-1 1
--11 1
.names y1 x1 m2 [185]
101 1
.names n c1 e1 d1 [253]
0--- 1
-111 1
.names p0 q0 [258]
01 1
10 1
.names e4 i1 [192]
11 1
.names k1 l1 [259]
01 1
10 1
.names x2 nv16 [478] [1488] [260]
0--- 1
-100 1
.names [459] [464] [1499] [1500] nm16
1--- 1
-1-1 1
--11 1
.names a f0 j4 nh17 [110]
0-1- 1
-01- 1
0--0 1
-0-0 1
.names r2 j4 nh17 [285] nq16
11-1 1
1-01 1
.names z2 a3 [396] [397] [120]
1--- 1
-1-- 1
001- 1
00-1 1
.names p2 q2 [119]
0- 1
-0 1
.names a [131] [1502] ny15
10- 1
1-1 1
.names s1 r1 [270]
01 1
10 1
.names z1 [270] [472] [1492] nh17
11-1 1
-111 1
.names w0 x0 y0 z0 [272]
1111 1
0101 1
1010 1
0000 1
.names f3 e3 [467] [275]
1-- 1
-1- 1
--1 1
.names [275] [476] [477] [1494] nf16
11-- 1
1-1- 1
1--1 1
.names i3 h3 nd16
01 1
10 1
.names l3 nq16 [389] [1539] [278]
--1- 1
01-- 1
0--1 1
.names u1 [124] [272] nz16 [277]
-1-1 1
1-10 1
.names r1 m3 nh17 [395] [282]
---1 1
01-- 1
-10- 1
.names w0 x0 y0 z0 nz16
1--1 1
0010 1
0100 1
.names f2 g2 h2 nf17
001 1
100 1
.names a f0 [285]
0- 1
-0 1
.names ns16 [349] [1577] [135]
-1- 1
0-1 1
.names v2 [452] [476] [477] [138]
0100 1
1000 1
.names s1 s0 b2 [287]
-0- 1
0-1 1
.names [287] [338] [343] [1578] [181]
-1-- 1
1-1- 1
1--1 1
.names g1 f1 h1 [194]
000 1
.names s0 v i0 [199]
11- 1
0-1 1
.names e3 i3 h3 m3 [204]
1--- 1
-011 1
.names p2 o i3 h3 [208]
1--- 1
-00- 1
-0-1 1
.names f2 g2 h2 l2 [212]
0--- 1
-0-- 1
--0- 1
---0 1
.names o p q o0 [224]
---1 1
000- 1
.names a f2 g2 h2 [226]
1--- 1
--1- 1
-1-1 1
-0-0 1
.names n7 nq16 [230] [1573] [229]
-01- 1
1--1 1
.names ns16 nf16 [1497] [1498] [228]
1--- 1
-111 1
.names ns16 nf16 [1497] [1574] [230]
1--- 1
---1 1
-11- 1
.names a b [131] [1502] [233]
0--- 1
-0-- 1
--10 1
.names y3 m1 o1 [247]
-1- 1
0-1 1
.names k m d0 [281]
0-1 1
-00 1
.names nx14 v6
1 1
.names c0 w7
1 1
.names b0 v7
1 1
.names y0 w6
1 1
.names a0 u7
1 1
.names z t7
1 1
.names w s7
1 1
.names nx14 z6
1 1
.names nv15 x6
1 1
.names w0 y6
1 1
.names m2 a5
1 1
.names z0 b7
1 1
.names y0 a7
1 1
.names t3 m4
1 1
.names nv15 e8
1 1
.names w0 f8
1 1
.names l2 k5
1 1
.names x0 g8
1 1
.names s3 k4
1 1
.names [185] [259] [119] [1587] [107]
111- 1
-101 1
.names r3 [185] [119] [1587] [108]
101- 1
10-0 1
1-00 1
.names [186] [258] [302] [1591] [113]
-11- 1
11-1 1
.names w3 [186] [302] [1591] [115]
100- 1
1-00 1
.names f2 g2 h2 l2 [136]
0110 1
.names w2 y1 x1 m2 [149]
10-- 1
1-0- 1
1--0 1
.names w1 y1 x1 m2 [153]
0111 1
.names [114] [120] [368] [1558] [161]
111- 1
11-1 1
.names [120] nd16 [368] [1558] [163]
101- 1
10-1 1
.names ne16 [368] [1544] [1558] [164]
0-0- 1
00-0 1
.names v3 [186] [302] [1591] [300]
100- 1
1-00 1
.names p0 [186] [302] [1591] [301]
0-1- 1
01-1 1
.names p2 q2 p m2 [302]
1110 1
.names c1 e1 d1 l2 [304]
0001 1
.names q3 [185] [119] [1587] [306]
101- 1
10-0 1
1-00 1
.names k1 [185] [119] [1587] [307]
011- 1
0-01 1
.names p3 r k3 [312]
01- 1
-11 1
.names u1 [272] [1581] [318]
111 1
.names v2 [228] [476] [477] [330]
0100 1
.names u2 [135] [344] [338]
01- 1
0-1 1
.names h4 i6 ns16 [1576] [341]
01-- 1
-101 1
.names l3 ns16 [349] [1577] [342]
1-1- 1
10-1 1
.names s [135] [344] [343]
11- 1
1-1 1
.names h4 np16 ns16 [1576] [344]
01-- 1
-101 1
.names v2 [192] [476] [477] [349]
0100 1
.names t3 a2 o3 n3 [350]
110- 1
-101 1
.names o0 [354] [359] [1572] [353]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names o p q h2 [354]
0001 1
.names g2 h2 l2 [194] [356]
00-- 1
-00- 1
-0-1 1
.names g2 [224] [357]
01 1
.names [226] [1571] [359]
11 1
.names [218] [120] [368] [1558] [362]
111- 1
11-1 1
.names s0 h0 i0 [363]
001 1
.names s0 u v [364]
101 1
.names [114] [120] [368] [1558] [366]
011- 1
01-1 1
.names ne16 [368] [1544] [1558] [367]
0-0- 1
00-0 1
.names r1 nh17 [1557] [368]
0-1 1
-01 1
.names a t1 f2 h2 [376]
0000 1
.names z3 [114] [476] [477] [384]
11-- 1
-11- 1
-1-1 1
.names i3 h3 [120] [282] [386]
011- 1
101- 1
01-0 1
10-0 1
.names u1 g0 l2 [272] [389]
1101 1
.names i3 h3 [395]
11 1
.names c3 d3 l2 o0 [396]
0-11 1
-111 1
.names c3 b3 d3 [397]
000 1
.names w1 y1 x1 m2 [406]
0011 1
.names [476] [477] [1494] [1512] [428]
1--1 1
-1-1 1
--11 1
.names e3 i3 h3 m3 [430]
1101 1
.names u2 l0 nq16 [1507] [436]
-1-1 1
110- 1
.names [199] [452] [476] [477] [445]
1000 1
.names u2 [454] [455] [452]
11- 1
1-1 1
.names s0 g0 h0 [454]
001 1
.names s0 t u [455]
101 1
.names s0 u2 u h0 [456]
111- 1
01-1 1
-111 1
.names w2 [260] [459]
11 1
.names u2 s l3 [465] [462]
1--1 1
100- 1
.names nf16 [1497] [1498] [464]
110 1
.names s1 s0 b2 [465]
11- 1
-10 1
.names i3 h3 m3 [467]
011 1
101 1
.names f2 g2 h2 l2 [472]
0011 1
1001 1
.names w2 x2 [478] [1488] [476]
10-- 1
1-00 1
.names y1 x1 x2 m2 [477]
0-1- 1
-01- 1
--10 1
.names [281] [484] [1484] [1485] [478]
-1-1 1
1-11 1
.names u3 h [484]
10 1
.names x2 w2 [1484]
10 1
.names s0 u2 u h0 [1485]
110- 1
01-0 1
.names g l d0 [1486]
0-- 1
-00 1
.names u3 i j d0 [1487]
10-- 1
--01 1
.names g l d0 [1487] [1488]
0--- 1
---1 1
-00- 1
.names s1 r1 b2 [1490]
0-- 1
-1- 1
--0 1
.names p1 f2 h2 o2 [1492]
01-1 1
0-11 1
.names b2 v1 [1494]
0- 1
-0 1
.names r1 g3 nh17 [1496]
01- 1
-10 1
.names [476] [477] [1494] [1496] [1497]
1--1 1
-1-1 1
--11 1
.names r1 y2 nh17 [1498]
-0- 1
1-1 1
.names v2 y3 ns16 [462] [1499]
---1 1
10-- 1
1-1- 1
.names z3 [476] [477] [1500]
000 1
.names s1 r1 n [1502]
0-- 1
-1- 1
--0 1
.names nj16 s0 [1507]
0- 1
-0 1
.names z2 a3 h0 [1509]
1-- 1
-1- 1
--1 1
.names [162] o2 [1510]
11 1
.names y2 f3 [204] [430] [1512]
1--1 1
111- 1
.names k0 l0 m0 [1525]
111 1
.names j0 nj16 [173] [1525] [1526]
1--1 1
-111 1
.names p q l2 [1530]
101 1
.names f2 g2 h2 l2 [1534]
0-0- 1
00-1 1
-001 1
.names a t1 t2 [1535]
01- 1
0-0 1
.names z1 [212] [1534] [1535] [1536]
--11 1
11-1 1
.names u2 z2 a3 h0 [1539]
0--- 1
-000 1
.names nj16 t0 [1540]
11 1
.names a3 z2 [1543]
00 1
.names a3 z2 [1544]
1- 1
-1 1
.names j2 [277] [384] [386] [1546]
--1- 1
---1 1
11-- 1
.names k0 l0 m0 [1548]
0-- 1
-0- 1
--0 1
.names [143] [173] [1548] [1550]
0-- 1
-0- 1
--1 1
.names d4 nv16 [478] [1488] [1555]
1--- 1
-11- 1
-1-1 1
.names h0 t0 [1556]
01 1
.names i3 h3 m3 [1557]
011 1
101 1
.names i3 h3 [120] [1556] [1558]
11-- 1
--01 1
.names r1 z2 a3 nh17 [1559]
0-1- 1
-11- 1
--10 1
.names q1 a s1 r1 [1567]
0100 1
.names q1 s1 r1 g2 [1570]
0000 1
.names g2 g1 f1 h1 [1571]
1000 1
.names l2 nf17 [1570] [1572]
0-- 1
-01 1
.names y3 nf16 [1498] [1573]
10- 1
1-1 1
.names e4 i1 [143] [1526] [1574]
11-- 1
--11 1
.names y3 [476] [477] [1576]
100 1
.names i7 [476] [477] [1577]
100 1
.names [342] [341] [1578]
1- 1
-1 1
.names [229] [330] [476] [477] [1579]
-1-- 1
1-00 1
.names no16 [143] [1526] [1580]
011 1
.names t0 g0 l2 [1581]
110 1
.names i2 k2 [1582]
1- 1
-1 1
.names m2 q [1587]
01 1
.names p2 r0 q2 [1591]
01- 1
-10 1
.names z3 s l3 [1593]
11- 1
1-1 1
.names m1 p2 [1594]
10 1
.names p2 q2 q l2 [1596]
--0- 1
---0 1
01-- 1
10-- 1
.names [195] [120] [282] [1556] [1599]
11-- 1
1-0- 1
-0-1 1
.names w2 x2 nv16 [1602]
011 1
.names [186] [153] [1591] [1604]
-1- 1
1-1 1
.names s l3 nf16 [1497] [1606]
10-- 1
--11 1
.names t0 h0 no16 [120] [1607]
--1- 1
10-0 1
.names p2 r0 q2 l2 [1610]
01-- 1
-10- 1
-1-0 1
.end