From dbcf04eb62eeb71c8f1681d05c694b237992910b Mon Sep 17 00:00:00 2001
From: "Dr. Christian Giessen" <christian.gießen@example.com>
Date: Wed, 22 Apr 2026 19:57:35 +0000
Subject: [PATCH] Fix Types 3, 4, 29, 32; add relative addressing; truncation
 guards

Type 3: Fix D-bit read/write direction (was always write).
  DM-only (no PM), use reg1[] for Ireg/Mreg variant.
Type 4: Add D-bit for read vs write direction (was always read).
  Properly distinguish DM(I+=M)=Dreg vs Dreg=DM(I+=M).
Type 29: G selects DAG register group, not memory bus.
  Always DM (was incorrectly PM when G=1).
Type 32: MS selects bus (DM/PM), G selects DAG group only.
  (was: MS||G for bus, causing false PM on G=1 MS=0).
Type 10/10a/11: Relative offsets resolved to absolute byte addresses
  using PC + (offset * 3). op->jump set for r2 xref analysis.
Type 36: op->jump set for LJUMP/LCALL.
2-word instructions: Truncation guard when buffer < 6 bytes.
  Emits 'trunc ...' instead of decoding with zeroed second word.
Zero warnings, full regression pass on isa_test/fir/iir.
---
 r2plugin/asm_adsp219x.c  | 124 +++++++++++++++++++++++++++++----------
 r2plugin/asm_adsp219x.so | Bin 28512 -> 28512 bytes
 2 files changed, 93 insertions(+), 31 deletions(-)

diff --git a/r2plugin/asm_adsp219x.c b/r2plugin/asm_adsp219x.c
index 746e2a6..23ef21f 100644
--- a/r2plugin/asm_adsp219x.c
+++ b/r2plugin/asm_adsp219x.c
@@ -98,23 +98,47 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
       return true;
     }
 
-  /* Type 3: Direct Memory (10xxxx) */
+  /* Type 3: Direct Memory (10xxxx)
+     bit21: 1=Ireg/Mreg, 0=Dreg.  D=bit20: 0=read, 1=write.
+     Addr16=bits19-4.  Reg=bits3-0. DM only (no PM). */
   if (b23_22 == 2)
     {
-      ut32 d = (ins >> 20) & 1, addr = (ins >> 4) & 0xFFFF, reg = ins & 0xF;
-      if ((ins >> 21) & 1) /* Ireg/Mreg */
-        op->mnemonic = r_str_newf ("%s(0x%04X) = %s%d", d?"DM":"DM", addr, (reg<8?"I":"M"), reg&7);
-      else /* Dreg */
-        op->mnemonic = r_str_newf ("%s(0x%04X) = %s", d?"DM":"DM", addr, reg0[reg]);
+      ut32 d = (ins >> 20) & 1;
+      ut32 addr = (ins >> 4) & 0xFFFF;
+      ut32 reg = ins & 0xF;
+      const char *rname = ((ins >> 21) & 1)
+        ? reg1[reg] : reg0[reg];
+      if (d)
+        op->mnemonic = r_str_newf ("DM(0x%04X) = %s",
+                                   addr, rname);
+      else
+        op->mnemonic = r_str_newf ("%s = DM(0x%04X)",
+                                   rname, addr);
       return true;
     }
 
-  /* Type 4: Compute | DM/PM Postmodify (011xxx) */
+  /* Type 4: Compute | DM/PM Postmodify (011xxx)
+     G=bit20 (0=DM/DAG1, 1=PM/DAG2), D=bit19 (0=read, 1=write),
+     Z=bit18, AMF=bits17-13, YOP=bits12-11, XOP=bits10-8,
+     DREG=bits7-4, I=bits3-2, M=bits1-0. */
   if ((ins >> 21) == 0x3)
     {
-      ut32 g = (ins >> 20) & 1, amf = (ins >> 13) & 0x1F;
-      const char *f = (amf < 16) ? amf_mac[amf] : amf_alu[amf-16];
-      op->mnemonic = r_str_newf ("%s, %s = %cM(I%d += M%d)", f, reg0[(ins>>4)&0xF], g?'P':'D', ((ins>>2)&3)|(g?4:0), (ins&3)|(g?4:0));
+      ut32 g = (ins >> 20) & 1;
+      ut32 d = (ins >> 19) & 1;
+      ut32 amf = (ins >> 13) & 0x1F;
+      const char *f = (amf < 16) ? amf_mac[amf] : amf_alu[amf - 16];
+      ut32 dreg = (ins >> 4) & 0xF;
+      ut32 ireg = ((ins >> 2) & 3) | (g ? 4 : 0);
+      ut32 mreg = (ins & 3) | (g ? 4 : 0);
+      char mem = g ? 'P' : 'D';
+      if (d)
+        op->mnemonic = r_str_newf ("%s, %cM(I%d += M%d) = %s",
+                                   f, mem, ireg, mreg,
+                                   reg0[dreg]);
+      else
+        op->mnemonic = r_str_newf ("%s, %s = %cM(I%d += M%d)",
+                                   f, reg0[dreg], mem,
+                                   ireg, mreg);
       return true;
     }
 
@@ -208,11 +232,18 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
       /* Type 36: Long Jump/Call (2-word, bits 23-16 = 00000101) */
       if ((ins >> 16) == 0x05)
         {
+          if (op->size < 6)
+            {
+              op->mnemonic = r_str_newf ("trunc L%s 0x%06X",
+                ((ins >> 12) & 1) ? "CALL" : "JUMP", ins);
+              return true;
+            }
           ut32 s_bit = (ins >> 12) & 1;
           ut32 cond = ins & 0xF;
           ut32 addr_hi = (ins >> 4) & 0xFF;
           ut32 addr_lo = ins2 & 0xFFFFFF;
           ut32 addr = (addr_hi << 16) | (addr_lo & 0xFFFF);
+          /* 24-bit absolute address for long jump/call */
           op->size = 6;
           if (cond == 15)
             op->mnemonic = r_str_newf ("%s 0x%06X",
@@ -223,12 +254,19 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
               s_bit ? "LCALL" : "LJUMP", addr);
           op->type = s_bit ? R_ANAL_OP_TYPE_CALL
                           : R_ANAL_OP_TYPE_JMP;
+          op->jump = addr;
           return true;
         }
 
       /* Type 22: DM/PM = Data16 (2-word, bits 23-13 = 00000011110) */
       if ((ins >> 13) == 0x1E && !((ins >> 12) & 1))
         {
+          if (op->size < 6)
+            {
+              op->mnemonic = r_str_newf ("trunc DM_IMM16 0x%06X",
+                                         ins);
+              return true;
+            }
           ut32 g = (ins >> 12) & 1;
           ut32 ireg = (ins >> 2) & 0x3;
           ut32 mreg = ins & 0x3;
@@ -245,6 +283,12 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
       /* Type 22a: PM = Data24 (2-word, bits 23-13 = 00000011111) */
       if ((ins >> 13) == 0x1F)
         {
+          if (op->size < 6)
+            {
+              op->mnemonic = r_str_newf ("trunc PM_IMM24 0x%06X",
+                                         ins);
+              return true;
+            }
           ut32 g = (ins >> 12) & 1;
           ut32 ireg = (ins >> 2) & 0x3;
           ut32 mreg = ins & 0x3;
@@ -258,36 +302,45 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
             ireg + base, mreg + base, data);
           return true;
         }
-      /* Type 10a: bits 23-18 = 000111 (unconditional 16-bit) */
+      /* Type 10a: bits 23-18 = 000111 (unconditional 16-bit rel) */
       if ((ins >> 18) == 0x07)
         {
           /* addr = bits 17-4 (14 bits) | bits 1-0 (2 MSBs) */
-          ut32 addr = ((ins >> 4) & 0x3FFF) | ((ins & 0x3) << 14);
+          ut32 rel = ((ins >> 4) & 0x3FFF) | ((ins & 0x3) << 14);
           ut32 b_bit = (ins >> 3) & 1;
           ut32 s_bit = (ins >> 2) & 1;
-          op->mnemonic = r_str_newf ("%s 0x%04X%s",
+          /* Sign-extend 16-bit relative offset */
+          int32_t srel = (int32_t)(int16_t) rel;
+          ut64 target = op->addr + (srel * 3);
+          op->mnemonic = r_str_newf ("%s 0x%06" PFMT64x "%s",
                                      s_bit ? "CALL" : "JUMP",
-                                     addr,
+                                     target,
                                      b_bit ? " (DB)" : "");
           op->type = s_bit ? R_ANAL_OP_TYPE_CALL
                           : R_ANAL_OP_TYPE_JMP;
+          op->jump = target;
           return true;
         }
-      /* Type 10: bits 23-19 = 00011, bit18 = 0 (conditional 13-bit) */
+      /* Type 10: bits 23-19 = 00011, bit18 = 0 (conditional 13-bit rel) */
       if ((ins >> 19) == 0x03 && !((ins >> 18) & 1))
         {
           ut32 b_bit = (ins >> 17) & 1;
-          ut32 addr = (ins >> 4) & 0x1FFF;
+          ut32 rel = (ins >> 4) & 0x1FFF;
           ut32 cond = ins & 0xF;
+          /* Sign-extend 13-bit relative offset */
+          int32_t srel = (rel & 0x1000)
+            ? (int32_t)(rel | 0xFFFFE000) : (int32_t) rel;
+          ut64 target = op->addr + (srel * 3);
           if (cond == 15)
-            op->mnemonic = r_str_newf ("JUMP 0x%04X%s",
-                                       addr,
+            op->mnemonic = r_str_newf ("JUMP 0x%06" PFMT64x "%s",
+                                       target,
                                        b_bit ? " (DB)" : "");
           else
-            op->mnemonic = r_str_newf ("IF %s JUMP 0x%04X%s",
-                                       cond_str[cond], addr,
+            op->mnemonic = r_str_newf ("IF %s JUMP 0x%06" PFMT64x "%s",
+                                       cond_str[cond], target,
                                        b_bit ? " (DB)" : "");
           op->type = R_ANAL_OP_TYPE_CJMP;
+          op->jump = target;
           return true;
         }
       /* Type 17: Reg = Reg (bits 23-16 = 00001101) */
@@ -370,13 +423,17 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
           return true;
         }
 
-      /* Type 11: DO UNTIL (bits 23-16 = 00010110) */
+      /* Type 11: DO UNTIL (bits 23-16 = 00010110, 12-bit rel) */
       if ((ins >> 16) == 0x16)
         {
-          ut32 addr = (ins >> 4) & 0xFFF;
+          ut32 rel = (ins >> 4) & 0xFFF;
           ut32 term = ins & 0xF;
-          op->mnemonic = r_str_newf ("DO 0x%03X UNTIL %s",
-                                     addr, cond_str[term]);
+          int32_t srel = (rel & 0x800)
+            ? (int32_t)(rel | 0xFFFFF000) : (int32_t) rel;
+          ut64 target = op->addr + (srel * 3);
+          op->mnemonic = r_str_newf (
+            "DO 0x%06" PFMT64x " UNTIL %s",
+            target, cond_str[term]);
           return true;
         }
 
@@ -533,7 +590,11 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
           return true;
         }
 
-      /* Type 29: Dreg <-> DM imm modify (bits 23-18 = 000010) */
+      /* Type 29: Dreg <-> DM imm modify (bits 23-18 = 000010)
+         Always DM. G=bit13 selects DAG group (I0-3 vs I4-7),
+         not the memory bus.  U=bit16 (post/pre), D=bit12 (r/w),
+         DRU=bits15-14, DRL=bits1-0, DREG=(DRU<<2)|DRL,
+         MOD=bits11-4 (signed), I=bits3-2. */
       if ((ins >> 18) == 0x02)
         {
           ut32 u = (ins >> 16) & 1;
@@ -546,15 +607,14 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
           ut32 dreg = (dru << 2) | drl;
           int8_t smod = (int8_t) mod;
           int base = g ? 4 : 0;
-          const char *mem = g ? "PM" : "DM";
           const char *op_str = u ? "+=" : "+";
           if (d)
-            op->mnemonic = r_str_newf ("%s(I%d %s %d) = %s",
-              mem, ireg + base, op_str, smod,
+            op->mnemonic = r_str_newf ("DM(I%d %s %d) = %s",
+              ireg + base, op_str, smod,
               reg0[dreg]);
           else
-            op->mnemonic = r_str_newf ("%s = %s(I%d %s %d)",
-              reg0[dreg], mem, ireg + base, op_str,
+            op->mnemonic = r_str_newf ("%s = DM(I%d %s %d)",
+              reg0[dreg], ireg + base, op_str,
               smod);
           return true;
         }
@@ -571,7 +631,9 @@ decode (RArchSession *as, RAnalOp *op, RAnalOpMask mask)
           ut32 ireg = (ins >> 2) & 0x3;
           ut32 mreg = ins & 0x3;
           int base = g ? 4 : 0;
-          const char *mem = (ms || g) ? "PM" : "DM";
+          /* MS selects bus (0=DM 16-bit, 1=PM 24-bit).
+             G selects DAG group only. */
+          const char *mem = ms ? "PM" : "DM";
           const char *mod = u_bit ? "+=" : "+";
           const char *rname = get_reg (rgp, reg);
           if (d)
diff --git a/r2plugin/asm_adsp219x.so b/r2plugin/asm_adsp219x.so
index 4744074cfab47d8f8cb612ef0bfde434a27975ab..198f093324eb1b144d7cb9989c3e5b817895098b 100755
GIT binary patch
literal 28512
zcmeHwe|(hHmG_<efPhJ!AfU8W8C>EfMY0Jbh^^6?{D2vqNn#Q-vAUCx1QH8LOa=|@
zwi`N=mZx!)Zrd&G+Fh#F;;wG#_LcIw@7fF&47Rm_cCEFq+eigw5Fu)H0~O}|o_p^}
zCRf<cyPx-;_p>_}<~jF%?>Xn5d+vSibDzmG=lRQO-<mXsLvTtLH;d_#5H4Ne>|_qY
zR*N|}UM;SYycyF~AIeQER1i~<r^?huCS{#;Kyu3C6g@Uym6;~X$@W~D-=L>vE1YSv
z+$>a$-KpwLx+_cJyESFGG{7V`evhg*>6msFQx+#1>9d*?T!b!FuwY8Ol<JNJ+bRFx
z8d>}hEmg2!%5t|uj_mxuO?ntay>8F+2bYU=hnVW_%Dyc?W9j&;tyw2N_bo?p=tm7t
z{p|V7=64!bf3^9mkJw}jb)Qs_9NFi@f7m=o*c^P?zO&@Jul?dw1lfxwveS8ynvK9N
zzX(q4I4^>)19ma~>o39IatVGKmTU1bQ!jvd;!5FaQ8mSy;qwxoFPu#Z*r#z32yEQk
z(;es!w)O=B0TJ*v`UCA9eH|OS`hy*PjsD6_J>4CRt?M^+sJe^S1lk5#0~@-!TQ_xm
zrbF~WU0<NP<ADtVnf5KcqQAShud6$_LG-n@xAt`edN*y^*wqcj*1on*T?(|e_xG+S
zxp6>j>RR6y*b?m8RMg)?g*MQlRbs8rTTvNUQM96{4Awg^rVjZpP3Ndfgggq$^J>dS
zyD+?I;wh>`;`zkqhjWR-U(x3y<Ks?+j~n<3m%?KPenq9iCk%Xv=ASh1k7$0O$AjCw
zO5<4uzF6aV27ax^7a91Kx?LV`*1t^i7a07d8ZS0*pT=DVzFy-k2G06-8u+00^Bx1=
zrSWkC@74Na1|HP-gn<ueeA2*2s@1rNW<}W#f1&xa417@Ic?KTV_#y*m{Z0e_lIAZk
z@Gon;*uc~Ec&#?@hcv&-!2e3)9s~btjn^6Yw=~{l;Ow^+1OHpi-)Z2FYP{FL+5Q0o
zXZr^YobBIk;B5a6184hp8aUg(%fO$|cJ4Otzt{L4184j9893WNV&H85sDZQnV+PLl
zzhdBQ|G0twqqZ|<;LmD&!oXkD_@sfqtZ{MI%=v#@<5>p&j>hv0JgrK}FEa34jXMqe
z8jTkic!9=?4SbcxR~xuX<1PcQ(YVLJ@6>pmfwyYB$-wW`c#DDmFO7E^_@Ksn4Lq#z
z0R#WC#s>}jA&qZ0@Na8;hk<`h<2w!f5smLM@Ld|;ZQze<e2;<e*7!aH-=pyn1K+Fh
zQ3HQY<6{PXK;y3%_|G*yZs1S5)qIN?_{*Aq!oYv2@ks+8*SPr9%=tf|@hk)XK;wA^
zo~5rNiwt~$#+?TKmex~X;Ab^nY~Yz%&uRmor*W5oU#)SEffs7L&cMqw-ellzjkg%M
zU*nwy-k|Yb18>&&fPn`zK4{>b8sBc<-5TFv;P+{Kr-27GzRSQL(D-fx|D4A67<fqI
z`wV=$#zzc1qVds7;A5A-Uor4jt!Lc8zoPM&fqzZo69)bbjZYf*w=^#9o;m-&t??`a
z-=*<91Ak28iwyh;jXMqeNsSj6_){7$Ht_Fje6@l9lg3>JzE9&G1Aj*2bq3Dk)pQBG
z#lU~8^>iBeevS7U_yLU%82G5h2MzqE8sBc<FKK*-fgjfRP6Pjy#&;R`uQk5gz+ct)
z9s_?(<NFMJT;n4K{(Fs&8hBjeV+MXk<F6R_dm0}%aNfVg44n6G69&%v)ky>A{i@L4
zn|x^hZ{Sn=e*@?Hkwpg1_ajaN=Y3#-fluxK4V?F%s|}p*BU}c~`%jO7^M10<z<D3r
zWZ=9nZ87k3dR#gU{Jh3{4P5B&i3SWjUE_lWK1<`<4SbHqcNln{#&;Tcw#IiE_>~&p
zZQ%1YzQ@3?(fB?C|ER`C47^a|qXwR@@i7CxUgNJA_)3jCTV}4$T&^?le7!&46HxrK
zKpZM7kNcAF^dx*F3C~QzN0V^<m8Gopv?wOhP2Z1Ar52SVUj3D#1hSIw48<akc}Y0g
zno21Tq&$%FK*|Ft52QSh@<7T1DG!hbJfTxrp5e@=Z$WlwB$$>M^Mrnq_574`5@j!<
zDv|#)9IeGJ<fz<9_3`lpQvQA_({?pJCd<!KnYO6$5m{c3@`fEGK*<v+KMTMU$$W>%
zjg!HJX#P6Nqxm_Bacl7)@jb68_zy|`GHS<Dc)?>&c%r9o@kA%nJ&uE(!xw@Jpy0im
zm4d9q_y%h+zUyQ8cdcvA4VDi<R%}_e&J!v>0#4zvj|H<m!{yfik2S;0SUU~}Gw(s!
zaSvo?$j2W*CEL^XekhR^EC?migY!cPN3aN8`Nk)qayVn+`3*Zzn)3-=B7dR0)hNf4
z%lqhNA#}lUzg034x{zUgZ6uO0M1Ff-^&|B8-Zbl>C*WWAo$fo_>)eg&8a(#9o^7YL
zQ$L39F9;pYv-Zxi_SQJ8z1?XqRQ8g_7b^4UPQeP_4$0_vUi9^>Iiqt9L}PhYxD}9n
z+CCXQy&!t>3j6KQ>*=9$=~j3f@X)z5D@->S_L=CJh3KReew0e5qo?PSd0`*4hc0AV
z;dI<>gw8pv@LWR9g0T>cp-EJI4>vkce=;X@?iwrns$^Vjg@29v89N@0UmiL;+X^4R
zHv*vx5W59%XfnqN@0d%OxmNff5Vsw3M`QEcp~*Sc&=*PJX*+J8aYMoBjA(q0FOs<g
zeheL*9X*p4I&OttpY29Ryu+mvp%dxbj?o{YLz9<VL;nJ;?tPdMV(2X^{34Z}r4k0l
zxe5gH-)&F&hOZj+L~>pNatEed;%f43#^Eaau+M(gV;?LTiCum^k?`2*?k0D$XWLK6
z`}^Q9@u_><cf0R#|G7JWY2y+lBOuUEjd{q?v1lwSG?}*Lr!H&ndr&=kl>k%hCm$pd
z7$lg3$(a7;)7IiJvWh<^G`{%X572#{75)jZNZkai{U@?^xOB{pq3`)OqI=N{csX{t
zr|nSmWLjuE-9MZ?8afIe+%y93*)jWYG?w8;1^#>Nb7*|cwGbQ0s3WUpQ3dia<^~u;
zUAxQuskl?lb!m5o^`i+p78<w67$=NLphKR>!h+S(JNw~fxY-Ji5^V2>{`Wp6J9pxb
zQeXU67pBjf$in+n2lmH5fhO#e=u+SYm~+gEo<vJW(6<;=<SPF>u2p<Rs&Jv%@(ZYm
zJpvql!{i~q#rtG6{7pSd^4riUW$Jl6vEUiLX+NA1hezbd!zs~tn(_<gO?v3UtYCKN
z5Ii-S@oXI_j+7mMWz@Yang$20@H0^7wWA*U0t|UW_0pkDJdKHglU0r1&><^)2X44S
zXK`vgjC0UF4T<kyKEcnwIG0GouS4%Q6fr*;hI1{J6OCUMI$>etVUZ1cY1)j>CL1sf
zhVGHwDWeB4e8US~#vnYlQW|>GM+vzK&d;0&#79#gVOik}I%_Av_gVDBZ@=QR52GhE
zM)yI&W51&&bvY~|KYkp2kn<K5k@A}*3r+f~b^TnfhsG!6IA-jRe*lpEu1vlRbIOjg
z@p=vq(Rl!$-iK$Fp#0tyAj759hu_KUg8lZWXE^%>*WmfTx5D4ZfZ=DNZ)KoIx1c3*
z$}tQ5!a15j6XZ7^k-iL_RhIW+?qa=G=g33kl;NAk;@Lbes(H|EL!aFCDBNK0N5`tP
zc!?BuiAW#Lv4u6#g$v+=g(0#nQuez=%D?uDu;&*g(!*o%Z$iCVpV3FGG*<YZGhsFs
zx9rf_aw~j=T+=WEw#&>cE4&;T@{1Lk%(aG2kmqm)l>HFuLq{#w;4x=#Hp-8nj6Qx^
z&9J|lRDFC9GfiKAl$}o~ACjHFg-xDe>BC4)kt}3K<9oROetXns|Hfw@DH(y@&q967
ztF^9zR%JfAcJ4~q-AND_W>v!*<qv}!uKI}Pp9TI%?;k=J=01>z+H0?YL|f^PJdO*A
z<8*<@4PD5#!heJ#LX)`6?549|@-i#DP-Yy~&;-s}G&l%<4LycaBXkxQo12iqDnHj6
z`YCL7+b8Wa_+arrndY`nMbBV$j^R=wSF)q&?$8_QSl`{-#)XSK=YT$FwT8Y&jf`8q
z$kn$~7Y?d+g0lgX%dX|z0#c1V2Hc!ejC`yF{j&BRi5^YExv(aZac!03h`MlC;cN^S
z&Uc^vZ|G^InsM{~U5&;COr5Fookp>|0FJ^UW*@f4w!NOPgvb#SiNxUXEUPMtA)3Uj
z!W_mZos5*aFc59;d(!)}Vk7S>g-=7Fjj6q`mZoo{Z2O<lRK;YW#T!e4RYPa)aJF0(
z=3rI86hBA;W!Ds=;aE07a((|x>gsSQow;pVc^xZ%2Xn?{J@<1gERcKyZNTy`KmZNM
z34{ir33)01Ct5y_<k88TcZ%c;K1tF~K$=WD3RAKV)3rVuvzX56&?FY0f5Vml-4U`o
z<!7%TqtF9hbVlD({eA`m;EOD8UXFn&dB3_O;g58<-mDExrf<2idMJTe`T2#UC}#_Z
zf4EwBtg6xHFnxr#?FCQdCM*#Pe@n^>sl)4`)$Mq}8#<8X4joMM-+0Oj57H_atFqtz
zB`#y>p-IP<N0s7yrTD5#E8aS#c#cy1=6B(*TOok9X6YWhizz{~6*m47PeWo3M8|Wt
z9Zg^xIcIEVRb;6Pop=&8{<b%K>1|oA_YY*@<Qfef%kbGpt#GYc89xUOD8E}NfASBB
z#Iv-C!@_Jg<oWE!cA^mfl57k53UQK8T{Yte;6z+RP7)HE2Ma>u4*O*+!eiTxCl=FG
z#5R5Kc%D^tknGWhgwA7_2GIJ@A!wW}+t0}ZfmviAzzSMRBIUoLI$WC3>pU0+n{fGs
z;2_&|1`|bI<h}$>aGiWtjqa}rm%b_c!F=)!?8AuV>_P!2E~XDoHW!pz)o;sL(<_~k
z^JUbd-TR<z=m<vmUMgGFFCzPWO!pZx>GP^BScFwa#M^1kM#@$y4LQo5yTJ1-REzji
zSYT)>XKtkF%lnRah#X5-={=A`2MTouuAmN_!OC_fi#C`i(qjqKU>|yhwxDO`;zFYF
z6C@ESzm3|Jd&T4LC?EV1^8^zPmj|@(u}{QaLq&Wk8kBy2_;PaiarEr#$U(zq)z>jt
z@fdMFL`x#}d7&3F+;VGzZRJn}&BuLeqmp^|G6-T1i(SE}JqAse;fYrF?c^o5eb!^Y
z4Xu7?#T7uAcAGNo&jayQ&_f>1%#w{SoJYi}hLZAg$ijxjWWyt{0nlfmBz6q}9pq)Y
z9+u|=1KZ@=s<+25KQN|F>Pp#T^MsI>w0}khyj6<#XPWnaf)|taxC7fCtnb*7S#J9e
zaCYo6tR$h=9iijcwq}IRVV=^%!M;f5eNZ%Xh?exsJCKcJ7sK|o$W;%$K`mvjk}Z|l
zSg6q8aq153GvxKYQMD_#?8KibZ@lcvy!f9<OCWwbJSUgwQZfh{c1kbcbhgm-`Py(n
zCjs_=xayNJ$R0vAvH-@EJ&T++rtC@NJ@#37*=>cQ*b!V3;#;x#!)lGI(jL^?2jv9`
zrN2Wdwu_pGlz#wjuRUVz-H&^Z=y;mnj#flU^C}|QPHfiih}lqt)9|k5co6e0lJN}O
zgNruZAVp8Zd+-}}02y;=Hk_wE9nY|yJEV5O(HPw*I1Z}oT(H(F_lQf-x-@hp8Ct0H
z$FHE-j+F%_{R2EpV>6d-G}OQxO?T{f(7Jo>j2itDm>aag!loo=3?9Q?S?YWTvax>!
zQ~Y}JG}g+6e_AL<s1r46n~QOxP1*Ogsz;#8j$=q}hWYlH(CgN=6SU33#b#7q7h(P&
zuKIgNf`1V`nq|Md?YO{#Ip^R|B3P%U<_YMA#(T8JTcMG+9`}+Nxc?0uOD`FTo<^T&
zupftj^wbf@>DYBzY(5!+4wdglt;c=|8ZXmTH0kNgPRG(>A5@M0m1;D0T6yGO!4f)m
zl@<O11}HR{Wev@xr3SZVr`+~iba{`S!hOgw3>a=+-$=(UaL^i>jcZoPTewzP;lt34
zdq*q$ZDib`4*=1P0CK>tmbvr5eh2mL(0O3rL5`LP8x&UGMYHN&SQGyNb%b31)SpsK
zP9})l2$a8xp^{q)Y$34&pdCC$BZ{6b(cQ>JH)tCjDX)P(uRU5aB5#XhLNmOD34_}|
z`z5gKl2a*m>@DR2n)F`#4Ih@iqk!UtumjCMkwbRMt=Kn_^|Zb9oC_wGjDXiuh_(2p
z>tX9x=)4<-*qc9wOy9Ij$E9WJN#;(H8HUWw(=sJe=74Mmx);+7Ej&oO2z2#22sjSJ
zpO#BqPS&*4AG682DXG_Tlcgq3NvQ{v)RCF2PtIUHpjcNc*6+<^4bEWwmSW8z)*r9&
z;p-k}rTc}drCF7pYVj|Z$&t-zBMtUVOEFD?&!D3XD9f4h87wgI!??X5KKgEN#<zI@
zQz_+vlm}8CNO>UTfs_YQ9!Pm0<$;t3{@Z%MUoYJCqSEd2iCfqC>x8qQs-jTTH+u1D
z5Z60JL%pc;iz>fZRxXx_N?*OVrcpFhHxlty`Kq181Nlv;F90nrZ7Ot@JM;TRen03m
zD7<Tc(toNg$nU=%q)^n<)>O|#rYngfNte<tf_+=M+nhdB5wNOB16BTj*Y7V`H509q
z=!#NCS!&Y&EL0XzpH+1dnBT8@AkA#^7kKmAoy*Fd{`~go-l;B-fioEd8kw%+W*X{c
zS5PCWYPmh<x|&9>kFe=#XGOC!za2`dybV;7-(Owhri{O~s@hpoTPGUajj93~$p<T&
zrkzWc7Aj`%n&xD?MV0rC+er?T6q9#Fet#X^UDj1nuC`8R2=djUB?WSp;08<yg;K7e
z(Or3)v<U-EKBBHCxkyfcX&jQwHN%r~Mrbywpt+P(l#bJr0Wditsc*#Zt(9|c<&3#E
z4T}2ewUS}Q42C2WmXXu9bbp#>N<)>Xs28<9;cgIqzgSgNQnXS`{Y>6n)lj#belYL!
zx6+UGoptJ0^;LaE&dSa{{D8l!wcEM2tE0caqg(ja*7=sNEGk~!)4ge{@HZFZQ-UEc
z5pLw&$h+5w1}~5m!e5VC)cBEapnMa3zyaz8^)-0BYZ{#e9&ce%{(5I^{dCz^o19m5
z?j*VC{LDI%<2qlhs;jB3_p8=8myDBy!kNFisZO!$OjDtdIpVD9=<B+_!&$MZr|r|u
z>Ve*#?vC!DXkJz#nwB-==j%8^TcfjCG%ZJYIq>Dpq8YS#c@upkMjTC|$?2}CB2M&N
zk|s&r6%DBL*Dq`Oc(b#hzNV@Wh2_ZwRnyQw6*|9eI=?OnUng-TtoU_430M3ICw@0h
ziALd<#|C-y)ycD@PE=On1jf248Y)B`t(SFcOXP6{=5O6v;k^}y`sxPZEfwA};aw%X
zHwb^J@RteyD&fCD_)3MZO!!s_AM$mTQmtEfi-osDc%fva@MErE>R=YF6ux5N!*p38
zd@F_5?{2tFc<bvLeZpH=gCh?0qWX4GQ!Umu3SYJGHHx*>();c^6seS?;m*q1nkt#~
ztBT5M(OAE(8mA1MljZ7MT~<yft_14j$*Tams5;+BBu>1ZNF4Y*zAnXw^2wh9jg240
zcWEC>|70;_=x;e+`wjj!2>L6~An4<-CK3;V{sD9s=z`xS690oJK9n4vsTYocJjchf
zXJ_reH=|2|;dv3^g1ie<<mRo(U39B;*#lXF;+Bto^5ZL)UP~~^SK-qHK6<Ex6TZe2
zcjJ?X_Q(!Og!SU%1BRywWO^LOFg{JdZp63e!k3%(a9Ty~qKDEea-ETkirj(+Gu^qx
zU!3L6T^*WzYwn06eT^e`)KQx|=4b(}0J1iB^_tvbcWwbhAX<@|SCN}l{rth7{rsh0
zcu*gj{l!@iW=1j|N`E*l?QbFEgRoBvr|+Ai)vX70Qv=UX1C`+MYDAivI;1?1@<7T1
zDG#JPkn%vv11S%rJdpB0$^$76q&$%Fz<&`BIG3o7j5`%w;ZpR9N=29GGRMK>xR)H~
z@><PzrRL+fk{qX!<5DVZLaf*PTsA4oGhRyHks#rT`TsBt>VB9^yDov7d|c-EF&r<3
z<Fs)6NRCIz@n<;RB-e8s7>*y4?oygLt_#P5;kYv#*M-~R_&6L7=RYgY@pw4?&VN?^
zANBY=tLclHa(qILN67I9Io@C{eJO@C6;Du?IbNVkm+|eOOdS7@<Na}bKaS@&sQJR0
za(uprbeZGtalE~$_<FkjaZNd19>>Sycz7KD?ttdw_;wu6j^o#Hyt;AC$MNVm{#;hI
z>JP`4<9Ko$KaS(YaeTO|H9yCH<9Kfz-;LwB;hSHXI9?maXY15B$6w=kYaCyV<Eed4
z^Krbi?YhkIwM@$K%{ZPJ$1me}WgMUE+gcCDALDpq9AAv%iE;ceju*!9!8jfm$Nw_z
z;CNmfzl-B_jp}we9v8>o;&@veUyI{uar~^;v>eCB;&@mb|BB;XaeOQD{4vi*^ZYm0
z3qG&S^PkrRKL7cA=XHVC0gmT%Ufa#_nm9fa$7AC7OB`>B<12AIC61rO@sc<`630X0
z_(vS?h~pbM)U*>{*ObeT>T<TG!l^QN^i`(+y;4#9^hqX;-;5uo$;984^Y`E!$C<u!
zr^NN|T}bp$xdl%(Q_56C45X_Jezqmkc3n?Dh^4eo5kb$pQsV1{789|6!nK(2sN&S$
z1MsUdneh82nRes1HIx|d%ur>v(}hR3DdBftGI4u&3Rl|i(foM4R+ib1c)nSdi*@~3
zUH+lg^ZyGOzvtqXta2)Rjiz^Ks!;s>riF7Cr}Q_G<iv5ZlCk9c+RDmL;2DFC_4Fsw
zl2XJJFJ4}9W1-F_bI#0@zca+!^jPzZMDsUIWQ$(s3|QciYKiYM@Ff}_H}D&PJ21<7
zTaZDb_9)Ti(t*hFJijG~!@c-WyS(3G{C;E{hy>5)3*&VDUCjQ+fs>wMG7O3T*7Owe
z4l!SFe7-@dMEU_fgtvT37R8_<Vz0(Io+ab-!z0O0f6PJ}lt&>(K&f5cXYqM_NaMWE
zl7G_zHii%B!CzZtaw#HS1(kMcd{E=R*Lcfa3Sj(AjdR>t#^2R=i=qFI%-@6zl2ab>
z-T@4d?3bR`gBs7)_%1`w0*woev!1Io&hh45S`Xlhj@MGjpC@8#HDeOF*!Zphe;R&-
z$LlGxua<hQ{LuMTE%60Y@0(!$8sPZF%hdZI7;n{jc-}I;S>jhrt&@z0fTz(a=VU}t
z8@K_<ithry*n16r2wZRFXDFgr0P|>`=<(X8Ykvp)V){>CLeJSt@XyDBf3bG21Agrc
zOLU>FFW4X4vSC9}o0xvRLLj&~&_*v<=*N2)+Is>UH}$M<-4tjK_Vo1!TDJ^{ww}$s
zn>vCW?M1~G=b)D^bm1)ueXUyqc#ffOtJu)jy166JzGd^~tq@5n1;81c!P?rtdFrJL
zuxn#SFo4%P2z-j^u#yfd=ujf)Jq=ym8+u@TTTgq380hH@^mle`2#Wp<fo`<eFIqQm
z2()h6BI)MVHpxPCD_DuP^>nw>iy>qMF;WH5&Fi~@{j!5=>fQe8Ky^(Oy@`T)MxE~O
z33Rr0w{OA=D5{!k+<tE*P`v9SQ0)mQ0Z&yuAiS%BMc4XjE8M<7?V2@sLM+heuJBbu
zA@%=1e8I)cms9XND_qI%ow&psD~z{jB)tGbzEA@${P62E)T=ROXb;SIkH(BDQPjV6
zbFg(iXs}PwPR@1r1Urg0c5f+Kzolza`|_@KAxoXD{hgwyeQP%)6@~L<&HWvH{aroX
zGYSFJ^>u7&B>|o5-4ql>(rZP?7H#Z7G1xJHqa2%}zMl5hV5=zV=+yJ9vmHvfq(s$(
zQxcpfDQXJ}q+P9>yV_t&Pmr1cB9*T1?-xaw|C{OYod4%U`$gJw@jlIbAI?&vg$$!y
zgff0_+QafKI>WR;^Ygxt_j9afH8Qk^WO?3aGM&(j)Gn5sseS7rjk`ceH_P+Bl_{@p
znqBJPJW<-0(w>p!d7sFXpI>47nUCo@$kQH_%e)U|>O?&y(|&~t(XQ)Qp7*^>dEd+J
zv;VmN-CDjvE98ANQ|ccjlE*LRKjgmwVB}Zc=L;tal$`R2H|ESt=J@xcI$7T7RQya`
zsyKDz{U}p<|4y=ei&L>O<^Hk)E;Id-A<z3vrd{({Qc-S~(TE|>`v9hVzrp-w|G%o`
zdHjS+b87nFlw%dnc55#2H^@-`S^mK_s)lJPGiqwK|0M8a`4KJ8^m?jHN@n{%L>=wL
zd4BP}n5oInWu`xdtd%6s`*5br2Ns#Q%=D)~$wY3S_jydGC#I5jDl&C^1vzr@l)T<=
z^8M79?mzpD+vR!i1;{41&+&tqI#HjTSf1(Ys7#jU`(CES$->C99MhAAyt73KFs)O?
zsiSi$r!o^Dq>KCC+oEu$+>Sz(t(+(N9zJBhX(!7sCZ?oByp)nD&s|lcjyqZut<#RD
s>r6gAY!9zrbbhhzN<tmS+ZA;i%DG+UorlcD<d<wz92b~TQ&ax`0N)x}2mk;8

literal 28512
zcmeHwe_Wi^x#t-e3`F2XO*Cq%qo2ejMkpi@6BWw<lg!uwMj#QiIuL#YS^``cG;zBv
z>A-H@i?q33+v{$-ZEBm{T-)25ZhK?ayHzG?g5GLL{Me1&ZY8NnW@02!8zt$L+3$1C
zdB|`=?q~1rKl{0#d6SvvobP#_=RD^*&wJkU4l~dDb&r2-io+rJNEP>ri!~uib%U#&
zIS5-VGVuO6u~_mtFE(9LI=fIoOht~WQy*zmbkQ3Qmwcb0f4xA}nI_7~{z^5!K_})Z
zoN1!m6=)iNK((86XS%|7YszvdfJtuRVbyNZaqTRoEKWAkYc(mDgDz39U`o7n1dfMV
zsQlDgS-pf7DOfONx%(kUcK)9pdKyHH?$7iG*9-K3nCjumvC$Nz;<c`7y=XZ9m9KWb
z`s~-1J^$HTD<A(!`|H7-yT}$AKB*u%vd@M8uz7&647{3uc+0N;^_$ZpD9(A1ovt}r
zHUYbO4xIXN&4I56HW&XLm*H=`3_nfFt$3M74}h!0b)vLUwG?QEuSxtG;i^}_K8=fD
zaMR}Qu3%rNsW%i1ilDEqGT74E+q$WvFVxywS6SZK-PKyxw6U{QwawiUY~IooZ0qQ1
z>g;&DRrEq#Z?LQNu{ME1OMj2(>+0$4=nA!o-lmqO-qv7GXaA;-E-*IrHn;0qu&Jf5
zXGP(fEuynyV{foO)X|yW*G-jX(EL?mo!?hh9$b;XBEJ~cJ20mX`7cG6Xh?)S1IlsL
ze?teRH%0uE8gXzu@%iDpMd3&E`N;T$OW_j+o?EK$sDa;9uJE%4ex2r@GVoh8ztHo+
z{VvgXx`F>2jprEn?HXTX;90s~o^RH_QuF5;{P$?Qz`*M?UTWZ9)_9|Vv;L<Id_eno
zkAd&h_=JIP(fXqX{#A{iHShtAPZ{`_N6m|9P?Y^JsQJ?ke7nYT4Eza=FEVh}?=tXj
zY5rUTe^TQG2A-<tYqf!YNAs5&_<z#4*TBE8@qmFpqw#tJXTLQX_<zy-?FRm=#(NB$
z?cZYHZ2y3Pv;Er*obBIX;B5cX2F~{HH1MBkJ9iuSf7AFL184j9893WNYT#`Dn1QqX
z;|9+5A2D#Yf5O1`YCEF_zF*^K4g9dirwsh}8W#`Fj{ixGryKYMjprEn{0b$%$iT1F
zxXZwA(|E3d7ihe|!0*-gY6JIbywt!qXxwYyL5&9tyhG#l2HvajMgxCY<Lw5%UE@6l
z{)EQ282FPKA29ImXnebY@6z}V1OJ}JpEmFxYka4H@7DNk1OKVU_Zavdjqfw?eHtG%
z@E0^bX5a@jK5pQzYy60TzoqdB1K;IV@fJ1k-)sJ}2L6v4pEB^M#>GRk<9|xy=?3o9
z*NYqj&(ZiI17EChmw}(t`g0B3q4^68JWJ!N4g7kImm2s|je8BeP~!muFVT3tf%`Px
zXyEHL-frLzX}rh4n>4<~z&B}pz`%PnzTLnd)%Xqr->UJa4g9Mb-)Z1q*Z6J&AJX_9
z10UA-J_FyO@lgZ+w#LUUgO6VZKVsk=TF-=m|3{5S4g7l=KWpGW(D;;rKcjK+rP=Yn
zOXKMVzFXrt2L2O`FEa3-Y20PtKi7D!f&WtD1qS|{##bBo^BONT@KKF>4g6Oc4;VPl
zSN&!1Mgu>n^|TxKYZ~t{@YglI#lXikK49Q)YJ9ta|5oEW4E$}4KW*T@)A&vUe^=wX
z4g8qK_Zawbjqfw?sK!SP{C$m&8Tf}9A2;w%HGagvKhyYxf%E<?YT&$oJ8R&)U!5{=
z-meP%xydE_e*>S{{~I{pk1R59z8`TJIPU{<4SZ(*Z{WQDTy5ZdA5m)Hy#MqXIPWI|
z2G0A~dIRTuX`_Ls=+AxH4LnWbJqDhx@ht{^rN##gJX_=24g4yN?=bL18h_fr7ifH^
zf#0n0-3ET6#`hTbZ5rQa;J0dg)W8chK4#!~8Xq_CB8?w0@VhncYMi}3b3I_-d3t}o
zC#d+Z0CA|IeBYOVrzYT|33yrpK9+#%k1S=Yw^1>XZu)#|=4ezU;?*B1N+3M}cPbY7
zo|Ax+t;r+lfuskL9!Pp1>4BsNk{(EUAn5_}fH!<P-8-E2H(x+;Xf%`(ANPh|PJd~}
zIq~Ax&=g<#YrI=Gm!d@Vc507J#BnU$Pj%X^#>Qp+d8*SEH8v{i8&PlDK>~DmM@r5E
z@Q$Q?L}blWXd$}4jmqdgBR*l>JV1OeX$t;VC4VvX<6SoGwa<DZlV9*grc%9*1KvZ^
zp#@NI?p~!JJwDN9-HguwS^i_|rV9flLy#5y%h!9uC5OQ&y!P=>rgymHCg9Nqm>F%s
z+kv!)QFlBH*;(?j$I!_3G=CC~r-X9D@zl^Y;kYA|kD>h4-B3B~Jo{4H4%9O4(lzoI
z>RXL^EU~_iZWhARjz_J+(eSj>dTMmUIYfSYNsYt(K;fu+gL}QZZhfuS{@A<i^mYgg
zKiU(XPO-lEBlz7r{KeeDxV6_&VeNH0ti2s6;pw!mEwc9hS*o>ntJB)+ON*RLkDSQK
zn6^L7_)Yj&&cX5?>h)lG4&6;ygZ0qjw)T!kCUPRj(lf?0UWr6=tidM0cFaB%i7kkn
zy4HRpd?Gb`A=Mh(3Osxv#TuL<IXmi(L>IclQ)u}CrrnN3V%LPvJFUS&bP_(FW)0F9
z!xtRZ;HPL0PlNF`DomlN1@}bg;Z#=m!cErTU*QfWeBowm@R#_wz@CguULBsEXANfJ
zMkst9VjHM1m1Pb7VLlb+TZ5;8C=;%N2^rSVH%Z|n%s%6WC6mrbEW<yN_Q@LXADb6B
zlM+5*g^$j2hmWTEhKtUIPo{1=PJgowPhD*d-Ek$9$q(L#KClMYQ0;m8I2m(z4uAQk
zQ^jph`G*&ec}KE-v`UB#h|bqPM^oTDRAC?T+wXYo1BIi}lm8Ttd+k(ry}Mx_d?dWv
zUZz=l=wbJl+z-1SaR+H~2Z0DdJ$cE|(MU8sJeAV_Mya*;9Q1x?u@F%8J*dJ&VY~?1
z)c5xgUsibH=1*Ut`#@{(*Jv0CoP~)`!XWSPJ>zy115Tp>A8^72(W|}9pG0CQ;fd7B
z;morbxYwTc4KEnQ#Mx1Fbl0syM50bN80i0~GeCV@q02DgdOey4-4Dg`<e31c(4;x7
z=MIw{F4z&mjFx`#N;(W#bF-Wi_~=(R!laSnzawH*z-uM1p@^R5LGAuONhihLnU2TX
z^4TBWk%c}rko~b0=*&I^jd$LO(Hyr_kKW-TGW++?1TA0HTAqRyb-tCn0nbH4z~MK<
z5&13FFPq8k+5Q{)F?^3c-=g^)F4|AAWXEI-Agog;PNZYbUlGc3hhK%4#+>^CP#XEb
z39;|PFgt=X_qYX<j?y@X7o3Woyr6~_|7>R682ZE-%)^a1PIYT=4CkFa35jh89t`3+
z@W)nRv~4@=D8(-3I1;-ueA2>9!vuT33Xh3-h*p~Rp<-!v@l7z>KfK_#Fy${-(m;yu
zxPg$x`{6YQ5dU!ISU7H3gTJE~n*!fgU~;8>#BU!$)Pk*~0TN#OBNe%M+H#MyJi%Ye
zgewshc7%=5F*p=Z#{31olLUQ#zJk0^L^j1`alw9j%sZTUuyo+FXRX2iNrs$}?n?_|
zrfHDJE!c?@%SjXa;q}rdKRT~``1goDtj8+Ge@25GE*g*3@qA*O*OL~SfMP#H(GzLu
zQ(7L@TKc6HjAx`5=gPu1>6!%}q4-_0aisXuMapmXYtVSIP<n1W7NOXb*At8t%Y-$!
z1anABTxR%ui8WX(7bMK+-^#)j)}S8+@{bjs%C?5CgFHoWaRlna$E?zU<F3#=)SpEi
zR{mQR#LrEsvHk`@tFJT4&KHy~$<B{q6M~C;Ig+(jRx%^8-Ry@-d(3aY?Y9pXjzaG+
z)JL1N)~(QrusRhvo@qVzX(XCSK@=x*a3P@2hQbq$jC0`&h?4bAGAnDHIvWlRjaq{p
z5?Z(o8toWVzm0G~$U33?dAf?=?6PZfVhiXz94WaKY-m04sT$BU!fC|&$ME_2kL95C
zQ(7yVGr#3^oR1%M+o#=;)7kFuKV@2jK{_?2aMAe~XKZ-tN?c_m;;@Fc!K3j00K7l+
z9h^9H;TyaG1uXdUt)YJh54i19_8B^J-*-n&r9{qPnU1={e@K<f+Obru^6qUDqEzaE
zerxDX>Se;J7|HxLh9LYSORu^P<2yiNN1d3xjPc!$&^+LuTq`{?1>(U51#_1bLpl0K
zjIhFf&6DvD6&Z)sH3Vmn$3B9q7!3B=5x;!`Lyjwly!DB4$Oni=8BcOudlzA7Phui)
zp#twaumMv%zU@TZl5YHgmU<3Sv{o<7r}!T!-t>97!m3ppYlKxrr}A*7TqZKGyy7~5
zv4Hb4aAL*@vM->E2V@sTbdf64${%FqhY)O~)(fxWLIlZ|APIp62%rNQc?fH0LRreE
zX!#pR9x<MEC|`#DDUu$7G+1%Xg;|H_Vv&hq(y|bqLYzIIg6ds)?v)%OAJYhU75cB|
zl($|)kYNs1=fU}fpLh!6l_Q-?O5d->W}|<NX9xk8R<n@I%<_R$4m+37W#$Ehitsfb
z^p4y^YxK`a`!X7FDb%_h2YuM!y2A%jD%YI02LFWXmL09IKYTMvSG*}l|1(PQd3?JO
ziqC>vMsf9w;*)=rir?Rbwflk{)u&bDsI#r`a3nf^+fkfuaECMFkbS}0I}LYykP=2*
z9#73U@7O;QN+VC-iy^?spFkH~v0g%e$soB4=laaWFE$OAAlfmvS?gdLE{Tze>}|*5
z*tlBHjb`lE*WkO!diWxI92>E_)cX9Q98t-KAn2zY{m2tIb{E!0tPhjaN%Sg&BGv<h
zAg<!!&oEbKAU!mS{!U&4S79kidjka+{7cz~XAH=-ay`QGEw?|>kL3_>`Gx2}>^uU+
zK83Yps9PEGd1c7A={))$;C&vji2XvYAPcWXqg-fu&<s1jJHzlKtz&ZN#T#Hj<P^-s
z1ZR0r2_JJH+;AS2(zrbz$|(Eqvb(I$D|4@h;-SL`2#e~L2MhheM+#6(jJ&)V)6>YN
zdnv|8iodQjJO=`cGG;6i(jpo^g*$IhVh>{KB4=`D0s-?Kb=uRoY+!LZk#6lB#WfxC
z@5ZgnNJ$>F%5QbJGe&9tKhpD$V8x;~iPenutS3{W+t4qzwr6NpduG1Z-mmcvvU#NB
zm8&rp>Hl`EVt`Jgk>Uf?Fj8`ximxxCQO$c97H7md_U9O?*FG67MN{l=F=U$Vg;Q6N
zSlUq{mS-FqUWFnWKd~*wvKu~#{ZPc|ex5c&*vJmON#}vw9zk&b?GVJ48T*ql8{!N9
zY&lk~`^nvI`@Glw5E_39jksnhvw!}f9Qh-`*g@!_sY+{+HZ0tH(S`<P!w`65wXgw7
z-UbvMB;aGYZeU_d1{K>QN@eU(C`53$Xhg*s&?Ya!*GcUq&nVs%n)g2NBFtiRO3>*Q
zv)tkL9Ju+3M6bje7CwqdbK+_ldIbCIH?b)gdX=seY5Pzd$t-}?0qFG%y+?hd-6#7f
zK8Ga?X5ELb<le~M4@Zukl>?Ty2*jTzZwBr1oY(<1rTtnvBp)R03!uIDBb2oE;?pR5
z?ep@Q|3~x`-3*oQ|HO`!jW~B<QgC&_rBLqvGcf{eX`KkYjI#sBuxFty;qzFC$tM;R
zIpDagU*ikW>T>3>UKqt>MXbSZf)N)qv`$)b7*6Feq3n+>qQJxk17<!BBjC2^e1tmP
zFTzvDQXTspwEP}ABZnJ{A%5i5%(YBvYk&;h{Lp2qi2Sl!Gma7?_8e(<!YKPp_^7q*
zB<;d*Ng1O(mJ@~!VBOn`ZOUrcX#W;x*R~S^+meg}6xitiy|kk%8Al(`T%|R)K{M|u
z`e?o<?NeBd3r8c9u$->NBM=Cma9S@Mc1%XE(_)_|gHDm5BY7vXX$i`*4`AuhJA=I6
z0E@mu%p)cFP~fvit-ZLcor+APRN9fUk)oWkk<3Mb!qE-UmnNk*9&Cucjlh#D{W$zV
z8(G}oC?jZA3P-WJ!|l;0l|bxSuzRoxKcp^~h`f4qiypU0?&z1nCw*LqGpKkC+G4lj
zM4^?t<Zbev{RTWyp|yPp+Q?O@<i7*TSuZI?w`i6%U<qGXYz=+`u@at2w}!UTijM8p
zX}A3WrUBbH+$kN$Y~#lIy;N*+2dtraxUd#}fD5WMcnG?2YikYuXB4pC1N5*e0sEXR
zeFp4ZsCS1y1NK9dXg#q(Vf8Q#|3@ESSXXoC9KVfPvhD?u+m({V;E@r89Wp|LZdBk$
z+?qungdkl|dl9WZd(30MZ67Ke_1njwxt}zz(G2&4!NzR8frdk9fb31WX_b_H&yPj&
zMzZ72;SzNJRwmggH-%#;dYeCZp%f+;j{5BPyvuNdch4PI_x4j%ynGrb=8KT|;YFFJ
zE-w=%nH?lE44KUrWg4Z-E3zNx4$#yuJ3w0<m>YzE<CWOo$aOL6&WlpF&z8!bCACaR
zJ*K1_vsvHCO6*|zec8ck#rj)(LgH<nv1QjR);ASv7O}p#){jrGT;=YA6-&~~y&mx^
zNYea0NgC{XmLN<*e~0=vP?wSNIBtexhj0@rKcAfSi6kVGN74gH4<tR1^gz-BNe?7F
zkn}*(14$43UwNRiM!0K)E4QL-nW(Ar;Z-Z{aEaO)5vUXum122`ST4%_HNL7kQR}HA
z;;Zm`Tm@T}){CWmxu69_^~+o(uBClTTTDdw)&i&h)SkPv?+%b<qN=*eGaI?sNF1_F
zNUHP;|9$H#1HxbK_WQ-s=E_{((iYe95?AHY7V26v1?Iw6)!((Eh;%8YrG45aQfOir
zLLae8J1^-ap-oyin_)&yTdzi5TO-E;jiRDjcDJ(LwZ5v(=O^f5tE;TRCEZuytEHBu
zeV!^e6)LMMJg%zhfT(rXsRljXmGu{$OYT^vn0;#-5}hL|d>ig3IZ#qe-W5yx0(3hT
zD5p|&Ko<z|SEDBda*^O#1cgGWR9ojR|Dv=Bvqlp^9+UGRb;|)K;E?2+o~}#Tr~%P-
z37-xIbV80u7#s2Xs%7-8)X|52(Dg-7)OglOh843I5>S$W=Kij)$eCG{;86+|)N3n5
zS&gXn3wN!ktQ4#A3-K42nV-wMD{2FI^uu{qWfT2q-xW~5uCM6Lca^vI;)nblO<k^a
z9j$$RtzE*uF5u5wnO~6C-PO5OR5ldgRfrHM6mFE=D7)8+S|5-VqOu09XsJZGmdf??
z0tcuY)L-lMt*vwAdVR|h%6GV`YcAIP)rn=*=1!2iSf1TRa@^*xR&7<)HI=G2E+yh5
zp>XE+)CUy1F4Qj*vP7H}t-T$Owz|qXyPLn_@@(np?rQA{iH7BcqJDY9@^X5IwmMgX
zsLw+^4|raKXaH@<tEZR5h@)QAyWCY3#EFqhQZK2ytQL)xHOuR7Z*b+-R8=fPB`>j}
zT54;lL6_HGEU!<%*GpUpD}G&0z!ks3iQkP=q)t@I_geYx56H77Aj->eLSrQrwPhku
zkC+dvE0pgm5YK^i!gn9uYCN^VS0sGJ0^f!3-6<-IL}jt4TqP>+6#gRNFBbk)!jE#G
zT&i^oUxDxy3LliL6qSe-gbt!;rSKOBKf+~&@UIlUN_XuSg|8-1=NG>6D!k*ZMtJTQ
zRUWafPWU~-Unkair1#w$6e*Xa_JQ*1stQ@GR1M`GQCEW>E2<@>M4h|KOXx(VleR>y
z#R{Mc)0+3<@vD!;<G=qyJpO&WsGRt6Yb*!UabxP;1(2aX!94Lc{saj6YtRtr_uh%e
zp8!1#x)U_>ALH>~g5r-m@^Cy}BOF_D95-gpOW%Qy7MB3U_d&#J$d?jFcFx-DMfX`(
zK9)WpzHr0cx364sE5RgRfmZ;0^raC#@KLDv5?<-(kL;j>upYcBfZ?y<^4Nj*LA(OM
z1pcBU%Cd95l~R$t=$ol!*{%_1S$6IdY3}TTe}9ELdv$o;ec7Xq)UA%}F-LXwxT6uY
z42XYz_G<9BvvVO+mc0l%%Cgh%yE5e|F!;gf*Nmw}^R?(kP&X+%nu1a}czha>W+mT}
z9!Pp1>4BsNk{(EUAnAdm2a+C0dLZe6qz957NP6I3p$A;Is6kD*6y>~`H<hdUb)|}O
z9!$=A$$2h0uVt3z<Ghlbr;_thDlI~AK1!~el;s&O!dD0Bz}Mpc*<(PD!(`fd8QkRK
zI_Hn!d@-D-Wz3^EI3FeFpW%Fy+|GGmIDbrPsgmQoE}RdB^UiQy7w(7i<8VHlf2lm@
z<Kg@}|5AC*XUO>r59>JK{DhObenC^tH^}(~Z=(;zaB%)W&KJn}0XZKa=l|n;f1Ka%
zWi8M7`#4`8=jY>me7iIs=iB?Su5&)Unf!Sgmp{>hU7Qc^fW|rB9p|^>e0H3_j`P)V
ze!3|w=hX4Q`Q|vk9Oskc{BfKwj`PDU)pDHwjq|;6emBnN#`)VgUmNFV<9uwKe~t64
zaeg(<r#7Vf;e2VFAC2>CnUwRJaXvH7U&i^$I6v7gt#`MkoNtWti*Y_N&L774!Z<$|
z=L6&XU#1<L&x`YSalS6j&-JG6m-BCNzAetL#rd>2f7Wr$AJvreVR8N|&UeN6t<3Ys
zJRi;T-&`;Fyf)8&UKjZM=kuM{1zra@pA+YA;(Se<pNaD^asDOFx5W9CIG+;dPvU$@
zoF9qvA#wgA&UeK5jU4jq72?~Pa{U=y&(u`7Q~}@Nl*i5@Me#E_d2s$_{9sKU{24ia
z{>^!u>9ck^xc%I8yqoHc_&P8hX^My~sj7fqdC6nDZl@o*(m}sTpo6|BN(Wyrw3vtn
z6|TjES5;^J4nV(brUO4;lE-fR`hgC{+nuV;c9!Dn+H~NzTk_!k@by(`zgP3)d#SR{
ze#94pWxYVRpV#$YXg&YGkco%qwq%t{;cGSBps7Of+ulYl%}wcVA&Cd)$x6f$%j?R^
z@4~kYS~t?4MhlCOQ@kLraLqDZOyrzhCVxA{hw<4c{{90X1@Aqs*)8~nv&45A_$?Zr
zFz`EpI}l|(jVR!t{^+2~q63-ZIld)`w=d&G{qlZ`@kdc`AQL>FFO1XqH<$fC22Oek
z$S@rIH>RJW?7$zAI6vP2HRAX=UW7M3B&%XT5wTa}oX?W+zt?yp{SgbtfP5EX6qNeq
zeHNd`uWEc|pGAMm!ZD5)^^3o<%A-^f@eZi8Q{w{~|AWRGA5;M2?`xd%&NBY7#v2X&
ze`5Z66mYoYJDxj$36g%$aXp~%OpWg}^eoW0&^YT^tZ~jaU#j&0o^!sINd6r0yLFl|
zfy_0(E5M&3vIMWE%uc^oabR^a&o7U}7tB0wg88d}<EJh&&x2sRN$cUbWqh;5ubo*Z
z84m+bp;gYsh@v)d1CkB9fY0?@gI@sGTlrav#w7ox&pUV*_+0uYFQe!DW%#ebf<ITk
zlu_c=S(fNZb8o0G)Zf;Y-z+XZULhFT9BifsEcD?y3@zQkO`Y8vn>vFnq3+(kU{n7V
z(cHbcr?WNG+LB)|HwQg*p#x7*=xy2>#P=6^w~Dsjrp>Lvmj2C~w?ZVL76fN#7Hd=A
z=9z~sz^+ZLp&%abAn+=nx0Up^g5C-RJ*T0gtF0TxH+Q$RiY?te!M^s6wvgy+3wEK$
zKGC$fE!foAFX`r{X30WyD_Ds(cXzeWgCS%CF;WB3%^N#HeR6<nYuuHdpr@*Wo<u<-
zqe1s|2iu#vS~~Fnii(CRccrf!D4z8Z^mv0xz*|uR2+yiu(RKdnGPgfiy>>0WD;BJC
zm-#(VNaO!!A8;}I;S~JLiqgdAPF&`R6~<FE5*~mdAE*HrUivr<^=OP)+Jm#6qcN*V
z<o9je9BSGK8tPTFol9Naq1OCOUH$nR`#U;Y@;X|CthG1wwTt|gtzD2*6wa3|kGA&q
zb#!;lssz#2+uGSg0=m@G84~%@YxyYVZ|X)h)Vc-la&Gc_yIYz<O(MUwUB_8_3zTq8
ziK>885?m%J>I({_T}_)inqf<Kh`IqHm2T|o6Zwe$&GfaL|L24Di?rwBeVX|^oFzsN
zPNSZWI(}`|&GL=9z%*C$r)tXkIaae81=>ThJnu7^p4E)hFP5B{eJk((N`aAXmgjvd
z(|u@5JV;04LHknLGqODI6Pfb&R@i>#W4a#lv<Kxn??aiobZ4gh8Wt@mP#eqhzLzQQ
zd%1u1ACJFF%a>_|ypLu|<D-M*@q_J4{I>-d`GoiR!i5SQF8MyQKUXznE0>A(;gu-w
zauEt~mn5Q8k(qbik20m_?<C4Mx)du@9xp54I@AAP$n!pvX#r25R>1wTz7a#7_W?}#
zeuMdGt`d*GM1}0<`I{MVsp5KS#<8l-cB`5Y-$fx&{;9QEPE&oG$LumzW-2KBHC~DG
zV_J^sB5F)H%>I9YHrk7GeDS`RsmafErY}O)N|5J$I8){Wi#)i_^dEqdiQGT$^O#-?
zOeOD9Waj+{O61}hdA;A{`ze0z7tb5_%W?1x$R_sB`Gc9d(4Kg(Jkz6SOqA#QUZw?!
z!YH#G(^H1Lt5FFs4XEnOyKAPT3THt`7muI!nM}DK79(2|k8`LHX4=W}HzzV{UV>N;
z(V5t%27T;kRE2<cJY8p&;>Gsx`bFm#+pZ+k`$UVPZbLcu%e+^iFqix-n-s@1Giqwe
F|8E;noyh<I