| .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 |