| .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 r2 [197] nm16 [110] [446] [1505] t4 |
| -10--- 1 |
| 11-1-- 1 |
| 0-1-1- 1 |
| --101- 1 |
| 0-1--1 1 |
| --10-1 1 |
| .names r2 u2 l0 [134] [110] [1507] u5 |
| ---1-- 1 |
| --1--1 1 |
| 011--- 1 |
| -11-0- 1 |
| .names z2 a3 h0 k0 l2 nj16 t5 |
| ----1- 1 |
| 1--1-- 1 |
| -1-1-- 1 |
| --11-- 1 |
| ---1-0 1 |
| .names r2 [202] nm16 [110] [1510] u4 |
| --0-1 1 |
| 011-- 1 |
| -110- 1 |
| 1--11 1 |
| .names o p q k2 l2 [157] t6 |
| -----1 1 |
| 10001- 1 |
| .names r2 [205] [110] [414] v4 |
| -1-1 1 |
| 111- 1 |
| .names j0 n3 [143] [410] [1525] w5 |
| 111-1 1 |
| -1111 1 |
| .names t0 g0 np17 u6 |
| 110 1 |
| .names p q l2 no16 [208] [1532] v5 |
| ---0-1 1 |
| 10101- 1 |
| .names r2 d2 [209] nm16 [110] w4 |
| --10- 1 |
| 01-1- 1 |
| 1-1-1 1 |
| -1-10 1 |
| .names r2 [211] nm16 [110] [1535] p4 |
| -11-1 1 |
| 11-11 1 |
| .names [214] [143] [383] [386] [1545] [1549] q5 |
| 10---- 1 |
| 1-1--- 1 |
| 1--1-- 1 |
| 1---1- 1 |
| 1----1 1 |
| .names r1 b3 [134] [1493] [1551] r6 |
| 0---1 1 |
| -1--1 1 |
| --0-1 1 |
| ---01 1 |
| .names f2 g2 h2 l2 p5 |
| 1--1 1 |
| -1-1 1 |
| --00 1 |
| .names a t1 t2 a1 f2 h2 q4 |
| --11-- 1 |
| 001-00 1 |
| .names s1 r1 [476] [477] [1555] r7 |
| 101-- 1 |
| 10-1- 1 |
| 10--1 1 |
| .names c3 d3 o0 s6 |
| 1-1 1 |
| -10 1 |
| .names [120] [361] [364] [368] [1558] [1562] p6 |
| -1---- 1 |
| 1-11-- 1 |
| 1-1-1- 1 |
| 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 t3 a2 o3 n3 [157] s5 |
| ----1 1 |
| 110-- 1 |
| -101- 1 |
| .names a4 [229] [330] [332] [476] [477] p7 |
| 1-1--- 1 |
| 1--1-- 1 |
| 11--00 1 |
| .names z2 b3 a3 o0 [268] q6 |
| 11-0- 1 |
| -110- 1 |
| -1-00 1 |
| .names [120] nd16 [282] [383] [1545] [1580] r5 |
| -0-001 1 |
| 0-1001 1 |
| .names a [231] s4 |
| 01 1 |
| .names r2 e2 [232] nm16 [110] x4 |
| --10- 1 |
| 01-1- 1 |
| 1-1-1 1 |
| -1-10 1 |
| .names t0 g0 l3 [143] y5 |
| ---0 1 |
| 111- 1 |
| .names t0 g0 l2 np17 [319] x5 |
| ----1 1 |
| 1101- 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 p3 u0 r k3 x7 |
| 1-1-- 1 |
| -0-1- 1 |
| ---11 1 |
| .names y1 x1 x2 m2 [476] [1583] z5 |
| ----1- 1 |
| -----1 1 |
| 0-1--- 1 |
| -01--- 1 |
| --10-- 1 |
| .names n p q e1 d1 l2 e5 |
| 0----1 1 |
| -1---1 1 |
| --0--1 1 |
| ---001 1 |
| .names p2 r0 q2 m2 f6 |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names q3 k1 nk17 g7 |
| -01 1 |
| 1-0 1 |
| .names w2 y1 x1 x2 m2 h8 |
| 0--0- 1 |
| 00-1- 1 |
| 0-01- 1 |
| 0--10 1 |
| .names n p q l2 [304] d5 |
| ----1 1 |
| 0--1- 1 |
| -1-1- 1 |
| --01- 1 |
| .names p2 q2 m1 m2 f7 |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names p0 v3 [141] [302] g6 |
| 0-1- 1 |
| 0--1 1 |
| -100 1 |
| .names p2 d6 |
| 0 1 |
| .names z3 y3 e4 s i1 l3 e7 |
| 11111- 1 |
| 111-11 1 |
| .names e0 x y j1 f4 |
| 10-- 1 |
| 1-1- 1 |
| -101 1 |
| .names n p q e1 l2 g5 |
| 0---1 1 |
| -1--1 1 |
| --0-1 1 |
| ---01 1 |
| .names s1 [134] [240] [1493] [1594] [1596] d7 |
| --1--1 1 |
| 0-1-1- 1 |
| -01-1- 1 |
| --101- 1 |
| .names p2 q2 e6 |
| 01 1 |
| 10 1 |
| .names n p q c1 e1 l2 f5 |
| 0----1 1 |
| -1---1 1 |
| --0--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 [134] [244] [247] [1493] c7 |
| 0-11- 1 |
| -011- 1 |
| --110 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 s1 r1 d e f b1 m5 |
| --0--1 1 |
| ---0-1 1 |
| ----01 1 |
| 100--- 1 |
| 10-0-- 1 |
| 10--0- 1 |
| .names t0 h0 i3 h3 [120] [394] n6 |
| --011- 1 |
| 10--0- 1 |
| --110- 1 |
| --1-01 1 |
| --01-0 1 |
| .names n1 [167] [476] [477] [1490] o7 |
| -1--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names c4 nv16 [483] [484] [1485] [1488] a8 |
| 1----- 1 |
| -1---1 1 |
| -11-1- 1 |
| -1-11- 1 |
| .names n c1 e1 d1 l5 |
| 1111 1 |
| .names n1 nh16 [476] [477] [1490] n7 |
| 01--- 1 |
| -1000 1 |
| .names z2 i3 h3 [161] [368] [1558] o6 |
| ---1-- 1 |
| 1---00 1 |
| 111-1- 1 |
| 100-1- 1 |
| 111--1 1 |
| 100--1 1 |
| .names u3 h [483] [1485] [1488] [1602] b8 |
| ---001 1 |
| 0-0-01 1 |
| -10-01 1 |
| .names p2 k2 i3 h3 m0 m2 l6 |
| 10---- 1 |
| -0--0- 1 |
| -00--1 1 |
| -0-1-1 1 |
| .names n1 nh16 [132] [476] [477] [1490] m7 |
| 001--- 1 |
| -01000 1 |
| .names w1 y1 x1 m2 [141] [253] n4 |
| ----1- 1 |
| 0111-- 1 |
| -101-1 1 |
| .names f2 g2 h2 l2 o5 |
| 1-10 1 |
| -010 1 |
| .names w2 y1 x1 a4 m2 c8 |
| ---0- 1 |
| 10--- 1 |
| 1-0-- 1 |
| 1---0 1 |
| .names r2 u2 nm16 [110] [1606] l7 |
| ----1 1 |
| 011-- 1 |
| -110- 1 |
| .names z2 a3 h3 [268] [282] [1607] m6 |
| -----1 1 |
| 00101- 1 |
| .names a f2 g2 h2 l2 n5 |
| 1---- 1 |
| -0110 1 |
| .names w1 y1 x1 m2 o4 |
| 1111 1 |
| .names y1 x1 x2 m2 [476] d8 |
| ----1 1 |
| 0-1-- 1 |
| -01-- 1 |
| --10- 1 |
| .names v2 y1 x1 x2 m2 [476] h4 |
| 1----- 1 |
| -----1 1 |
| -0-1-- 1 |
| --01-- 1 |
| ---10- 1 |
| .names n p q d1 l2 i5 |
| 0---1 1 |
| -1--1 1 |
| --0-1 1 |
| ---01 1 |
| .names r1 [134] no16 [1493] [1610] j6 |
| --1-- 1 |
| 0---1 1 |
| -0--1 1 |
| ---01 1 |
| .names y1 x1 i1 m2 k7 |
| --1- 1 |
| 10-1 1 |
| .names n p q c1 d1 l2 h5 |
| 0----1 1 |
| -1---1 1 |
| --0--1 1 |
| ---001 1 |
| .names y1 x1 x2 m2 [452] [476] i4 |
| ----1- 1 |
| -----1 1 |
| 0-1--- 1 |
| -01--- 1 |
| --10-- 1 |
| .names y1 x1 x2 m1 m2 [476] j7 |
| --00-0 1 |
| 11-010 1 |
| .names k2 m0 k6 |
| 00 1 |
| .names p0 q0 w3 [141] [302] h6 |
| 01-1- 1 |
| 10-1- 1 |
| 01--1 1 |
| 10--1 1 |
| --100 1 |
| .names y3 e4 i1 i7 |
| 111 1 |
| .names c2 [456] [476] [477] j4 |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names r3 k1 l1 nk17 h7 |
| 1--0 1 |
| -011 1 |
| -101 1 |
| .names j0 l3 [143] [410] [1525] i6 |
| 111-1 1 |
| -1111 1 |
| .names n p q c1 l2 j5 |
| 0---1 1 |
| -1--1 1 |
| --0-1 1 |
| ---01 1 |
| .names a n2 o2 [267] [197] |
| 01-- 1 |
| -1-0 1 |
| 1011 1 |
| .names z1 f2 g2 h2 l2 [134] |
| 1---- 1 |
| -0011 1 |
| -1001 1 |
| .names y0 z0 nx14 |
| 00 1 |
| .names v2 [452] [476] [477] [1494] [1512] [202] |
| --1--1 1 |
| ---1-1 1 |
| ----11 1 |
| 0100-- 1 |
| 1000-- 1 |
| .names o p q l2 [124] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names u1 w0 x0 y0 z0 j2 [157] |
| -011-1 1 |
| 00--11 1 |
| -00-11 1 |
| -0-111 1 |
| 01--01 1 |
| -11-01 1 |
| --1101 1 |
| -1-001 1 |
| 0000-1 1 |
| 0-0001 1 |
| .names a n2 o2 [267] [205] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names j0 k0 l0 m0 [143] [410] np16 |
| 11111- 1 |
| -11111 1 |
| .names u1 w0 x0 y0 z0 np17 |
| 11111 1 |
| 10101 1 |
| 11010 1 |
| 10000 1 |
| .names t0 g0 h0 l3 no16 |
| 1010 1 |
| .names a b [267] [209] |
| 01- 1 |
| -10 1 |
| 101 1 |
| .names z1 f2 g2 h2 l2 [211] |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| -0-0- 1 |
| 1---0 1 |
| -00-1 1 |
| --001 1 |
| .names t3 a2 j0 o3 n3 [214] |
| --1-- 1 |
| 11--- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names z2 a3 [268] ne16 |
| 001 1 |
| .names o p q h2 o0 [221] |
| ----1 1 |
| 0001- 1 |
| .names t3 a2 o3 n3 nj16 |
| 11-- 1 |
| -11- 1 |
| -1-1 1 |
| .names c2 f0 nh17 [456] [476] [477] [231] |
| -1---- 1 |
| --11-- 1 |
| 1-1-1- 1 |
| 1-1--1 1 |
| .names a b c [267] [232] |
| 0-1- 1 |
| -01- 1 |
| --10 1 |
| 1101 1 |
| .names u1 w0 x0 y0 z0 j2 [143] |
| -----0 1 |
| -011-- 1 |
| 00--1- 1 |
| -00-1- 1 |
| -0-11- 1 |
| 01--0- 1 |
| -11-0- 1 |
| --110- 1 |
| -1-00- 1 |
| 0000-- 1 |
| 0-000- 1 |
| .names w0 x0 nv15 |
| 00 1 |
| .names p2 q2 y1 x1 q m2 nk17 |
| 0-10-1 1 |
| -010-1 1 |
| 11--10 1 |
| .names y3 i1 o1 [240] |
| -1- 1 |
| 0-1 1 |
| .names p2 q2 q l2 [244] |
| 0--- 1 |
| -0-- 1 |
| --0- 1 |
| ---0 1 |
| .names v1 b2 [275] [476] [477] [1496] nh16 |
| 0-1--1 1 |
| -01--1 1 |
| --11-1 1 |
| --1-11 1 |
| .names s1 r1 b2 n1 [476] [477] ns16 |
| 0--1-- 1 |
| -1-1-- 1 |
| --01-- 1 |
| ---11- 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 r0 q2 y1 x1 m2 [141] |
| 01-011 1 |
| -10011 1 |
| .names n c1 e1 d1 [253] |
| 0--- 1 |
| -111 1 |
| .names x2 nv16 [483] [484] [1485] [1488] [260] |
| 0----- 1 |
| -1--00 1 |
| -100-0 1 |
| .names w2 [260] [462] [463] [464] [1500] nm16 |
| 11---- 1 |
| --1--1 1 |
| ---1-1 1 |
| ----11 1 |
| .names c2 nh17 [285] [456] [476] [477] [110] |
| -01--- 1 |
| --11-- 1 |
| 1-1-1- 1 |
| 1-1--1 1 |
| .names z2 a3 [268] [120] |
| 1-- 1 |
| -1- 1 |
| 001 1 |
| .names s1 r1 d e f n [267] |
| 0----- 1 |
| -1---- 1 |
| -----0 1 |
| --111- 1 |
| .names c3 b3 d3 l2 o0 [268] |
| 000-- 1 |
| 0--11 1 |
| --111 1 |
| .names z1 f2 g2 h2 l2 [1493] nh17 |
| 1----1 1 |
| -00111 1 |
| -10011 1 |
| .names f3 e3 i3 h3 m3 [275] |
| 1---- 1 |
| -1--- 1 |
| --011 1 |
| --101 1 |
| .names i3 h3 nd16 |
| 01 1 |
| 10 1 |
| .names r1 i3 h3 m3 [134] [1493] [282] |
| -11--- 1 |
| 0--1-- 1 |
| ---10- 1 |
| ---1-0 1 |
| .names w0 x0 y0 z0 nz16 |
| 1--1 1 |
| 0010 1 |
| 0100 1 |
| .names a f0 [285] |
| 0- 1 |
| -0 1 |
| .names v2 y3 n1 [476] [477] [1490] [139] |
| 0--00- 1 |
| -1000- 1 |
| -1-000 1 |
| .names s l3 np16 [139] [348] [349] [288] |
| 1---1- 1 |
| -1--1- 1 |
| 1----1 1 |
| -1---1 1 |
| 1-11-- 1 |
| -111-- 1 |
| .names s0 v i0 [199] |
| 11- 1 |
| 0-1 1 |
| .names p2 o i3 h3 [208] |
| 1--- 1 |
| -00- 1 |
| -0-1 1 |
| .names a f2 g2 h2 [226] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| -0-0 1 |
| .names r2 nh16 ns16 [110] [1573] [1574] [229] |
| 01---- 1 |
| 0-1--- 1 |
| -1-0-- 1 |
| --10-- 1 |
| 0----1 1 |
| ---0-1 1 |
| -10-1- 1 |
| .names y3 m1 o1 [247] |
| -1- 1 |
| 0-1 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 s l3 [146] |
| 10 1 |
| .names s0 u h0 [120] [368] [1558] [161] |
| 10-11- 1 |
| 0-011- 1 |
| 10-1-1 1 |
| 0-01-1 1 |
| .names [132] [275] [476] [477] [1494] [1496] [167] |
| 00---- 1 |
| 0----0 1 |
| 0-000- 1 |
| .names p2 q2 p m2 [302] |
| 1110 1 |
| .names c1 e1 d1 l2 [304] |
| 0001 1 |
| .names o p q k2 l2 [319] |
| 0--1- 1 |
| -1-1- 1 |
| --11- 1 |
| ---10 1 |
| .names v2 n1 [333] [476] [477] [1490] [330] |
| 0-100- 1 |
| 01-001 1 |
| .names s1 s0 b2 nh16 [288] [338] [332] |
| ---0-1 1 |
| -0-01- 1 |
| 0-101- 1 |
| .names [275] [476] [477] [1494] [1496] [1498] [333] |
| 11--11 1 |
| 1-1-11 1 |
| 1--111 1 |
| .names u2 np16 [139] [348] [349] [338] |
| 0--1- 1 |
| 0---1 1 |
| 011-- 1 |
| .names n1 i7 [476] [477] [1490] [348] |
| 0100- 1 |
| -1000 1 |
| .names v2 e4 i1 [476] [477] [349] |
| 01100 1 |
| .names l2 [221] [226] [358] [1571] [353] |
| 01--- 1 |
| -1-1- 1 |
| -11-1 1 |
| .names g2 g1 f1 h1 h2 l2 [356] |
| 0---0- 1 |
| ----00 1 |
| -0000- 1 |
| .names o p q g2 o0 [357] |
| ---01 1 |
| 0000- 1 |
| .names q1 s1 r1 f2 g2 h2 [358] |
| 000101 1 |
| 000000 1 |
| .names ne16 [114] [368] [1544] [1558] [1559] [361] |
| 0--0-1 1 |
| 101--1 1 |
| -011-1 1 |
| 10--11 1 |
| -0-111 1 |
| 0-0-01 1 |
| .names s0 u v [364] |
| 101 1 |
| .names r1 i3 h3 m3 [134] [1493] [368] |
| 0011-- 1 |
| 0101-- 1 |
| -0110- 1 |
| -1010- 1 |
| -011-0 1 |
| -101-0 1 |
| .names r2 l3 [110] [389] [1539] [1540] [383] |
| ---1-1 1 |
| -0--11 1 |
| 101--1 1 |
| .names j2 [124] np17 nz16 [385] |
| 11-1 1 |
| 1-10 1 |
| .names z2 a3 i3 h3 [268] [282] [386] |
| 1-01-- 1 |
| -101-- 1 |
| 1-10-- 1 |
| -110-- 1 |
| --01-0 1 |
| --10-0 1 |
| 00011- 1 |
| 00101- 1 |
| .names g0 l2 np17 [389] |
| 101 1 |
| .names r1 m3 [134] [1493] [394] |
| 01-- 1 |
| -10- 1 |
| -1-0 1 |
| .names t0 t3 a2 h0 o3 n3 [410] |
| 011--- 1 |
| -111-- 1 |
| 0-1-1- 1 |
| --111- 1 |
| 0-1--1 1 |
| --11-1 1 |
| -11--0 1 |
| --1-10 1 |
| .names [110] [459] [462] [463] [464] [1500] [414] |
| 11---- 1 |
| 1-1--1 1 |
| 1--1-1 1 |
| 1---11 1 |
| .names v1 y2 b2 [275] [476] [477] [446] |
| 01-1-- 1 |
| -101-- 1 |
| -1-11- 1 |
| -1-1-1 1 |
| .names s0 u2 t u g0 h0 [452] |
| 1101-- 1 |
| 01--01 1 |
| .names s0 u2 u h0 [456] |
| 111- 1 |
| 01-1 1 |
| -111 1 |
| .names w2 [260] [459] |
| 11 1 |
| .names s1 s0 u2 b2 s l3 [462] |
| 111--- 1 |
| -110-- 1 |
| --1-00 1 |
| .names v2 y3 n1 [476] [477] [1490] [463] |
| 10---- 1 |
| 1-11-- 1 |
| 1-1-1- 1 |
| 1-1--1 1 |
| .names [275] [476] [477] [1494] [1496] [1498] [464] |
| 11--10 1 |
| 1-1-10 1 |
| 1--110 1 |
| .names w2 u3 h x2 [1485] [1488] [476] |
| 1--0-- 1 |
| 10---0 1 |
| 1-1--0 1 |
| 1---00 1 |
| .names y1 x1 x2 m2 [477] |
| 0-1- 1 |
| -01- 1 |
| --10 1 |
| .names w2 x2 k m d0 [483] |
| 010-1 1 |
| 01-00 1 |
| .names u3 h [484] |
| 10 1 |
| .names s0 u2 u h0 [1485] |
| 110- 1 |
| 01-0 1 |
| .names u3 g i j l d0 [1488] |
| -0---- 1 |
| 1-0--- 1 |
| ---0-1 1 |
| ----00 1 |
| .names s1 r1 b2 [1490] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names p1 s1 r1 f2 h2 o2 [1493] |
| 0011-1 1 |
| 0101-1 1 |
| 001-11 1 |
| 010-11 1 |
| .names b2 v1 [1494] |
| 0- 1 |
| -0 1 |
| .names r1 g3 [134] [1493] [1496] |
| 01-- 1 |
| -10- 1 |
| -1-0 1 |
| .names r1 y2 [134] [1493] [1498] |
| -0-- 1 |
| 1-11 1 |
| .names y1 x1 z3 x2 m2 [476] [1500] |
| --00-0 1 |
| 110-10 1 |
| .names v2 [199] [452] [476] [477] [1505] |
| 0-100 1 |
| 1-000 1 |
| -1000 1 |
| .names s0 t3 a2 o3 n3 [1507] |
| 0---- 1 |
| --0-- 1 |
| -0-00 1 |
| .names a n2 o2 [267] [1510] |
| 0-1- 1 |
| -11- 1 |
| --10 1 |
| .names y2 f3 e3 i3 h3 m3 [1512] |
| 111--- 1 |
| 11-011 1 |
| 1-1101 1 |
| .names k0 l0 m0 [1525] |
| 111 1 |
| .names w1 y1 x1 m0 m2 [1532] |
| ---1- 1 |
| 001-1 1 |
| .names a t1 t2 [1535] |
| 01- 1 |
| 0-0 1 |
| .names u2 z2 a3 h0 [1539] |
| 0--- 1 |
| -000 1 |
| .names t0 t3 a2 o3 n3 [1540] |
| 111-- 1 |
| 1-11- 1 |
| 1-1-1 1 |
| .names a3 z2 [1544] |
| 1- 1 |
| -1 1 |
| .names z3 [114] [385] [476] [477] [1545] |
| --1-- 1 |
| 11--- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names t0 h0 k0 l0 m0 n3 [1549] |
| --0--- 1 |
| ---0-- 1 |
| ----0- 1 |
| 10---1 1 |
| .names z2 c3 a3 o0 [268] [1551] |
| 11-0- 1 |
| -110- 1 |
| -1-00 1 |
| .names d4 nv16 [483] [484] [1485] [1488] [1555] |
| 1----- 1 |
| -1---1 1 |
| -11-1- 1 |
| -1-11- 1 |
| .names h0 t0 [1556] |
| 01 1 |
| .names z2 a3 i3 h3 [268] [1556] [1558] |
| --11-- 1 |
| 00--01 1 |
| .names r1 z2 a3 [134] [1493] [1559] |
| 0-1-- 1 |
| -11-- 1 |
| --10- 1 |
| --1-0 1 |
| .names s0 h0 i0 i3 h3 [1562] |
| ---01 1 |
| ---10 1 |
| 001-- 1 |
| .names q1 a s1 r1 [1567] |
| 0100 1 |
| .names g2 g1 f1 h1 [1571] |
| 1000 1 |
| .names y3 [275] [476] [477] [1494] [1498] [1573] |
| 10---- 1 |
| 1----1 1 |
| 1-000- 1 |
| .names e4 i1 j0 [143] [410] [1525] [1574] |
| 11---- 1 |
| --11-1 1 |
| ---111 1 |
| .names j0 no16 [143] [410] [1525] [1580] |
| 101-1 1 |
| -0111 1 |
| .names t0 h0 k2 i2 n3 [1583] |
| --1-- 1 |
| ---1- 1 |
| 10--1 1 |
| .names m1 p2 [1594] |
| 10 1 |
| .names p2 q2 q l2 [1596] |
| --0- 1 |
| ---0 1 |
| 01-- 1 |
| 10-- 1 |
| .names w2 y1 x1 x2 m2 [1602] |
| 01111 1 |
| .names [275] [146] [476] [477] [1494] [1496] [1606] |
| -1---- 1 |
| 1-1--1 1 |
| 1--1-1 1 |
| 1---11 1 |
| .names t0 z2 a3 h0 no16 [268] [1607] |
| ----1- 1 |
| 1000-0 1 |
| .names p2 r0 q2 l2 [1610] |
| 01-- 1 |
| -10- 1 |
| -1-0 1 |
| .end |
