From 238f29c90a4f6e2f382f0c52304c00f5887ed51e Mon Sep 17 00:00:00 2001
From: Moxie Marlinspike <moxie@thoughtcrime.org>
Date: Mon, 28 Jul 2014 09:28:49 -0700
Subject: [PATCH] Updated to latest of Trevor's ref10-extract

---
 libaxolotl/jni/ed25519/additions/curve_sigs.c |   5 ++---
 libaxolotl/jni/ed25519/additions/curve_sigs.h |   2 +-
 .../jni/ed25519/additions/sign_modified.c     |  12 +++++-----
 libaxolotl/jni/ed25519/main/main.c            |  21 +++++++++---------
 libaxolotl/libs/armeabi-v7a/libcurve25519.so  | Bin 90172 -> 90172 bytes
 libaxolotl/libs/armeabi/libcurve25519.so      | Bin 90168 -> 90168 bytes
 libaxolotl/libs/x86/libcurve25519.so          | Bin 114752 -> 114752 bytes
 7 files changed, 19 insertions(+), 21 deletions(-)

diff --git a/libaxolotl/jni/ed25519/additions/curve_sigs.c b/libaxolotl/jni/ed25519/additions/curve_sigs.c
index b92b136cd3..31dd7d1502 100644
--- a/libaxolotl/jni/ed25519/additions/curve_sigs.c
+++ b/libaxolotl/jni/ed25519/additions/curve_sigs.c
@@ -38,8 +38,7 @@ void curve25519_sign(unsigned char* signature_out,
 {
   ge_p3 ed_pubkey_point; /* Ed25519 pubkey point */
   unsigned char ed_pubkey[32]; /* Ed25519 encoded pubkey */
-  unsigned char sigbuf[msg_len + 64]; /* working buffer */
-  unsigned long long sigbuf_out_len = 0;
+  unsigned char sigbuf[msg_len + 128]; /* working buffer */
   unsigned char sign_bit = 0;
 
   /* Convert the Curve25519 privkey to an Ed25519 public key */
@@ -48,7 +47,7 @@ void curve25519_sign(unsigned char* signature_out,
   sign_bit = ed_pubkey[31] & 0x80;
 
   /* Perform an Ed25519 signature with explicit private key */
-  crypto_sign_modified(sigbuf, &sigbuf_out_len, msg, msg_len, curve25519_privkey,
+  crypto_sign_modified(sigbuf, msg, msg_len, curve25519_privkey,
                        ed_pubkey, random);
   memmove(signature_out, sigbuf, 64);
 
diff --git a/libaxolotl/jni/ed25519/additions/curve_sigs.h b/libaxolotl/jni/ed25519/additions/curve_sigs.h
index 97d8a165f8..360df11072 100644
--- a/libaxolotl/jni/ed25519/additions/curve_sigs.h
+++ b/libaxolotl/jni/ed25519/additions/curve_sigs.h
@@ -36,7 +36,7 @@ int curve25519_verify(const unsigned char* signature, /* 64 bytes */
    signature = (R || S)
  */
 int crypto_sign_modified(
-  unsigned char *sm,unsigned long long *smlen,
+  unsigned char *sm,
   const unsigned char *m,unsigned long long mlen,
   const unsigned char *sk, /* Curve/Ed25519 private key */
   const unsigned char *pk, /* Ed25519 public key */
diff --git a/libaxolotl/jni/ed25519/additions/sign_modified.c b/libaxolotl/jni/ed25519/additions/sign_modified.c
index 5bc5cc7d5e..175731a16c 100644
--- a/libaxolotl/jni/ed25519/additions/sign_modified.c
+++ b/libaxolotl/jni/ed25519/additions/sign_modified.c
@@ -10,7 +10,7 @@
    instead of deriving both from a master key.
 */
 int crypto_sign_modified(
-  unsigned char *sm,unsigned long long *smlen,
+  unsigned char *sm,
   const unsigned char *m,unsigned long long mlen,
   const unsigned char *sk, const unsigned char* pk,
   const unsigned char* random
@@ -21,7 +21,6 @@ int crypto_sign_modified(
   ge_p3 R;
   int count=0;
 
-  *smlen = mlen + 64;
   memmove(sm + 64,m,mlen);
   memmove(sm + 32,sk,32); /* NEW: Use privkey directly for nonce derivation */
 
@@ -30,12 +29,11 @@ int crypto_sign_modified(
   for (count = 1; count < 32; count++)
     sm[count] = 0xFF;
 
-  crypto_hash_sha512(nonce,sm,mlen + 64);
-  memmove(sm + 32,pk,32);
+  /* NEW: add suffix of random data */
+  memmove(sm + mlen + 64, random, 64);
 
-  /* NEW: XOR random into nonce */
-  for (count=0; count < 64; count++)
-    nonce[count] ^= random[count];
+  crypto_hash_sha512(nonce,sm,mlen + 128);
+  memmove(sm + 32,pk,32);
 
   sc_reduce(nonce);
   ge_scalarmult_base(&R,nonce);
diff --git a/libaxolotl/jni/ed25519/main/main.c b/libaxolotl/jni/ed25519/main/main.c
index ab451bf4e6..cd0cf2d6d9 100644
--- a/libaxolotl/jni/ed25519/main/main.c
+++ b/libaxolotl/jni/ed25519/main/main.c
@@ -3,17 +3,18 @@
 #include "crypto_hash_sha512.h"
 #include "curve_sigs.h"
 
+#define MSG_LEN 200
+
 int main(int argc, char* argv[])
 {
   unsigned char privkey[32];
   unsigned char pubkey[32];
   unsigned char signature[64];
-  unsigned char msg[100];
-  unsigned long long msg_len = 100;
+  unsigned char msg[MSG_LEN];
   unsigned char random[64];
 
   /* Initialize pubkey, privkey, msg */
-  memset(msg, 0, 100);
+  memset(msg, 0, MSG_LEN);
   memset(privkey, 0, 32);
   memset(pubkey, 0, 32);
   privkey[0] &= 248;
@@ -55,16 +56,16 @@ int main(int argc, char* argv[])
   /* Signature test */
   curve25519_keygen(pubkey, privkey);
 
-  curve25519_sign(signature, privkey, msg, msg_len, random);
+  curve25519_sign(signature, privkey, msg, MSG_LEN, random);
 
-  if (curve25519_verify(signature, pubkey, msg, msg_len) == 0)
+  if (curve25519_verify(signature, pubkey, msg, MSG_LEN) == 0)
     printf("Signature good #1\n");
   else
     printf("Signature bad #1\n");
 
   signature[0] ^= 1;
 
-  if (curve25519_verify(signature, pubkey, msg, msg_len) == 0)
+  if (curve25519_verify(signature, pubkey, msg, MSG_LEN) == 0)
     printf("Signature bad #2\n");
   else
     printf("Signature good #2\n");
@@ -84,9 +85,9 @@ int main(int argc, char* argv[])
 
     curve25519_keygen(pubkey, privkey);
 
-    curve25519_sign(signature, privkey, msg, msg_len, random);
+    curve25519_sign(signature, privkey, msg, MSG_LEN, random);
 
-    if (curve25519_verify(signature, pubkey, msg, msg_len) != 0) {
+    if (curve25519_verify(signature, pubkey, msg, MSG_LEN) != 0) {
       printf("failure #1 %d\n", count);
       return -1;
     }
@@ -94,8 +95,8 @@ int main(int argc, char* argv[])
     if (b[63] & 1)
       signature[count % 64] ^= 1;
     else
-      msg[count % 100] ^= 1;
-    if (curve25519_verify(signature, pubkey, msg, msg_len) == 0) {
+      msg[count % MSG_LEN] ^= 1;
+    if (curve25519_verify(signature, pubkey, msg, MSG_LEN) == 0) {
       printf("failure #2 %d\n", count);
       return -1;
     }
diff --git a/libaxolotl/libs/armeabi-v7a/libcurve25519.so b/libaxolotl/libs/armeabi-v7a/libcurve25519.so
index bd318cbf6a3b0160d66d8a5036f84ee0d1b83a04..37484699776f8518a295de03a67f277ee3bd22e0 100755
GIT binary patch
delta 2600
zcmZ9O3s6+&701uV?qy+F;v;AfqAa`E(ICwRWvYV1s^n8(6V@~nlWG~A(&?s3+-W*R
z$>VMx8EFR-=?$SWPA1Vj79U~B^@RmpUqi9cm>H1KLEB8|L>7y8J5BcL?y&t|_EL6a
zX6M}BIsfy0=bZa}?DhnOo}jR|PO#o4vbMauBi(VGX!6tYbwkQXzw{IK9NRA)Wx1?Z
z>Sr}<SeloTCvK=BQi*6bnP_ba(U;4JJUZ8b**c<EbbbrGX9dxEme6;A2Uim1m=b&$
zyaW23di);v+x0|i^!&#RMBPh??&`e6K+?&SS>lQkqUVi?H8w$W95v+VnnrMCHBr{o
zp5P6wL@qrZ1po96qR`w#{s{O(1pn+va2nSA80*c{^)tcuRwE`P;tnH;bi9iQn#m!&
zs3io5u1*yI{^k_X<2ru`eieGB&KJO=;AeFn0k49-K<89!wD1H`v(AgaJ5Ejy#Vv?L
zTal2h3w{m3DhP^o-VeS4_Uar2&pS?J(I@gf_{Qfb2-DWyVo@qlTle$^&w(r7B}&uv
zzW}c|INflA2uD2}FX$Wm4jct9&{+ZtNeKtR7n0(~z+Z!>UfEaRc^^&lIJgAtwIm9h
z0PjM>75e((BAlO$b3}j99hKlNbUZckZQwW(rsB<7JZYq#fft`f$9jhY;4mhzTwgB=
zz5&kGIVX*1+h2)3z~nHoR4Rp|SE>~9whr`TP>|U$$h~-Y_e%i&w80(*{~?Jlf<H>)
zJK$qUY)B_6yEdJ_0PL0eg}hmwOVizRcn75W!jsG^El$l7@1g>iA+h5L#P%nxcop27
z#3SG%Ni3LgnUi=v*qu~C33&OHM2A{O6<{YAFK4pDEoNMX5jdtM-w1(r6SnJux53-N
zR-KQ6o54n%&w%$P#jk?{;GiD=H`t2;vvg(|M0F^zK<AtcT!v)FQxG&I3D!Ks8^A}B
z;`I;lZt%6F`1=pB4E}FYyzlvk95=wm!RhOM7hC~eqE~Fdq4t8O&YB(U2jeVEj&vnB
zAkRy)&t|X7t8&^HdsQCHoikS~j(K=Ke}a>;{l1Nx{fjwMd=Ikx<_=QMM;G{C=2?eG
z*&1{31szN|^uQhP_7WA1DmC4K0@prn?0mhVz+(y@F$>%jwvgTP2yfgnq^f~F^$SOO
z_-%t-F&U1I88Vp?i@G%p%M8y<V~R7{=xO8X--Bd#@>#r!TNIzAPc;Vj+;Lh+X;+=L
zMSL}%h`cb?s+K#35E)Xxu)0D9i{0~<S{`g)!>&z4oMWc&fONKa-H)yJP2poi%1zZ2
zE+bPoi-A*^qH6vWQ@C!@N6HZ5&3LZU3dtblhfy%%!|;_cQZ7f=qs(E(l-bftOLOOk
zLfYPIxK@P_cG6aEP(%YNa7;vorIw|Si9^vLwIF|~CsEP)km<Yk8hUx}9pxQ5`_G=l
zxUK}2*HGALzA{R7BNr>mJ-5^sTa00ADz%q--29fhxr;5lrEd9cwKNg=BxJQYcqO_&
z5Q^I->~^o6vl4^Kp0pM{_=@&9Z48yH=GN?q$X+pYYm}JJM)uj+h5of;%#hDhl@|30
z{t|a!316ttZ&coi8T^HKheFiK4X~~UT9$J%tMva_zfnt}-G%pE+EK*|4>M&>thB?;
z%{&7qV@9md@60D9Q>{kPWKA@jQ5AY7km&Zdd~Vs{Ijl*luL_&KA8!aKz0XQNuij8}
zW;~x;Z8iQ_<n%b2W>(uqJRgI%m@ne7NN{{zht(#8trUy+rEjXsXS9!hf);TIvhxvd
zlAdxE&i~bTjS_b>wBJ<8q3s=uyfVI1+j=*hb<4Y4KdMZ>I$DBF>8wlcZtb$LUrO5!
z<g(53?gJ%^^~k*k%O6SikC_8AAqmOC=edSCb3>(p%<rfk%l!UK8SaZrR4bPp7le$a
zdz$jI5~36G)2I7PY(UODzZ)k*ZoTj*WBF3Y#f>aOVwYZHQTdHaGg4Tiw5RW9tWFB|
zeacqK`~J3(rC5F-|EK>wBReJk@#<Pr`nT8OV`<K!(SJ#UgRhC6wQ(^JION+8do-=f
zM-_3g6ZTEmK&R1H{506q<+})r?-lBS)%0er*-qcwYRw+@z3)os4?L6L%bM+6;`@^u
z*1yo_hkZOA7t1y!)>#I7sC<Ui=fy+kvNoS_b6iY=K!w#dQeZpFE%LqV-6qL>+ba8S
zTiC3on~7g@Blvn4#%Dmj^p8z%vWm9+T9%i73jcAm&(5}Uwd~Qh&9%%TO#b$3tFL8t
OK}&8r*;>m!W&Z=%sNRzR

delta 2628
zcmZ9O4Nz3q701urx1W3jP>2XomJg>`pl(D=G*Y&RR}d65A8G`~w9I5_YKxt;5Hap1
zO~%Ap#Xb>aOeRLBSx~~#r!g@SVbmcoqL6^LiN++g9f62%TMZA`f&Q0$JM6eKZ_fLj
z^S}3=bMAfn-nn+&xprMmna=tRk@Z0N?@UG4h^DUt-&Ja~-Qx3X13M`;vsl(6cCkX{
z5$9^+?AzB6DMU1j475^1bZ-ffP31Ch{A!}#s{AInc^OeI^XVJG50(?f7<}9f-Vc41
z8oviN<Pl}7<L3xOUFk#~l~V;0&uAj-n=^=>(fa1t0?hz&h*32=z~%Wwk^VKo+iQsm
z)Ob7i)mMpz9`%jC4emhjuNEI0G4CbJ7q05V!C^>fmd+QqXvt0ktwhjFH(`@^fQ#sg
zKLN1t3DILJ9|eohTUEXQHvOGwoyxbtB_9(dsjSCBt3D#yt8y}U|CyPl6zS|luVFy6
zDtH-!5(pNnd<1+KT%mG1c-d*95Va#eg2#}672WpkVw#@l3=;NteFM1sAdykkzX;xZ
zY^LB!I~;$3<2iMK*TJ#JiRP;;f)@k~I0pU~*dIRyX3+b$tPi{_fJea3f-6FN2~L6!
zqu?BMetR;`Pf7<-z3RvV_n~5c%U=S=p(1~LuQwjh(htFTXHl_QVLvzm{G>YH1b7VN
zqg9SE68-s8qW91_bWBfA!EsZ})5X1TzYC3mECG$I!Of|w0Q|g-Jpn!*z!$+61NaWO
zKY#@jQE~6g`1#-(u}c>h@z$l8>N&jk#WCF?RwFLd$Js-=akvHFiXS0%E?~wh;FAG-
z8+<u{bwMaHV8wahiU7_4Z|d<?=&dLRycLYinXYha5FQ3CPQJhMJ0LKFf1?Waf%k&V
zDmQ~qg0(7t26hF+uYr5P?P~lkxCRMFs?36k-avv$D#rxlVF+|Q4uLa3ko^#^2VV||
zZ+nP$gXMtuyAQDhj_jLBp!1oB9RCC-4a_|5KY+`?scOao4s{LKf7TMgpM!B0rdzrk
z+$+sBCeC6<q|BH)#;T=(*r-SC*&Z8@=Rf5n?;K0uLC%Go$u;AV&Y(t;znGZsEa#C;
zByaav`20pDpB*o9RkRVM4a$XWuH<zMT;H-QXQ?fe8{DT%TApshp2T+!YM8+tNeg+W
z(r*cJuM-kwgRo<3^RN(lU7^-cceIhoI!`V)Jm-#NOwOOEQ@*rN{0<vCV8v8MCddw<
zN1^wsw`yv8l#rSpCEP`Fy<$x;^I!1E(SqTFN|w3WHhblDrQiI9l4VJ^HDt5i$<Zf=
z4elFa%i`5fCyya1^!<Cq;9fyU2uYpNFqy`^*5EFi_K|!G@x8b&W1;TwV3L<kfDyj|
z-wNh!0}^%LK%OyTUV7}j?}x4{+V*T-i&b@QE4{!4*)F^ZnjGyHUrV23zcq1PNs9Mp
zbau$_;80~7Z@VM!r}Mq%eC@mHn!^iat8vSbLYYiA728ogFMdaJaA|>1yE7-rmS{W1
z*NU4?d^t#o(Zd?!riQ#>!PGHGZ};FLx7DO~n~lqOE@wZP9Njl$PO$Rz=**s>DSN_X
zVtPe7XHN(UTV!4|-j~*V6Vp7-DJhxj<%5cqYYs1m_~jv?KBYuc^0YPOS+>NQI@*`a
zwelX1Zu%V1goW#{>#N6oqcfd)`HxDbQ!BsXvGUBu4Lk*>CCZc8n9GBBFz&-V$v921
zB!?<%8@^V^LT2BtEFUU#dFyYNjxIS7#cbl*HEzRyMk-x$+t0*R`Rmg@9Es=VghHoh
zv}r`^HZya=M%*8VcQH@qo>AAx>PB;d&TS^oXuWtLKPzm{$luU>YeI5#JmOViL_x~D
zUyc;YQ<lnxuduXtVb5skNR@Zt-E`g}Z7z5s&-B?~1{S6BsnX%v))4l*nE!q(E0A7%
zKZCK8(mThp9x>Gq2f4x_>6ZT88Y@KUhn{kUKA>%w=1=dgAo?%fazB@%PV02RRrkEg
zeHlcDqy=X?4eYXXw_`VBz0w~p%w}w^`1Zw(Oc1}jSk3+?m0Swbu-}W@I)BBA#lFrD
z*kb9G&o?s74-2F(x(;cXODeyz(qOvPJ2h;yrVZW{PY+bvb5~B;U9Kj_PS|E+tK(bP
z7TD4p_*=A&S*yT?R>yHzym#mbtXDrYZCe~auJQ5-$F2gO{`Iv!Zt~ieRL8H2V4Vvb
zZ^1q`g=>p%o=DiHtT3~q2sbTD>m2uCjS$=^_6fd)ZOM8>x_a#sgXH`sghe>N@_p%P
zyYX$+h1ZF6>DHEAtgJ4+l*O6;fqx_KRaMtf%4XLUm$DGu^mk$1wo;a;^A2{NsV!w6
Gu>S+qRN`I$

diff --git a/libaxolotl/libs/armeabi/libcurve25519.so b/libaxolotl/libs/armeabi/libcurve25519.so
index dfd6de8d159f2ba4e4e84790206bafc72b025786..c56c5e1a5e03d4b9ab5804b62cdf00ae44c38737 100755
GIT binary patch
delta 4856
zcmZ9Q2~<;88prPo2_^x=uqDI?*-#S|2@xCuT0)_?c0{Y9j&<NzYa&cbdpMTXC2`uB
zc6w?ja9u)h>2&NgVAYhMbz=@L9b2nCQk^bp7p-j*1oG^08kB9m_udUeIfwJ!?_2)&
z`@VZ$wqqTlV;v&rGa~&Bg!J{c=OsB;5#s*qZ@whBaUQRv7E{~tL2A6LCl8@Mgirz+
zgHBNhmEmuwh16AS5UA|imLenu8|y0*AQa3;=tUCy0<d8*Laz{R06zT~LeG-;qpaV8
zkVnere+B$ch<}av2Y@FnK?p)P{fsDteljBj6?1HkLioHuX0I$jr~-U!4OY1R7iv(F
znAd@KEE}!yDDXG+2rVG~OTe1V2ze9v{JX%N<p>!k@SH4!nn5p##HRsw&O>PV7~Vfi
zi0tUegD^T0uoeQI{s5sv;R1jcwT%{Z2sj4fEyRBrcq?$Ypu506A3|E<PZS~a-iHXi
zNjMic&^ns`w8#z}LxO??Y=wa15MU(S3|tKU8p4-=8@&j{k|{?;BeWK(&4FpN6U+yu
zj*KqwN8nE9=mcwlH}69zgXq0x2g5(WP)!Vf2cGrLXvgmWKMj60@q2;eBK)U;CjqAr
z|98OU5!?^_CtxOqFE9p1-vbR<NW48449EYC&`x4l25f+U@ENEBu7WKH`x}9?U_#-M
zo&>Ikj#rY2+yq_$49A|Eh**qJ5pa0IlYs9YMd%ZVgNdb}Ibg_y1;QhF4!8{4M5@Y*
z=V5RlqlLl#3vOJO0N{@u^l9KXBKR7xCxVB7k412*1bY5_G(QKp76(Ks*{ZV$l@Qfc
zVEqKAMrTpAcy6@Hej6%S4u_gu@gn%%iBP-^?2O<Cz}^TR4-e)*1WyNE5>df?;F+KC
z9kTi>flGk*lUg=N;o<OufhGng1PCvV9+myTHNa}(KMU*x781S+ygkC-4crFYLHtp0
zBx<3+B*JoFD-;;s2xAO99Fd0E5b#z+!170U9k4gT|LP;W2l#4)zwHtJ6u2+K|Lu}T
z3_)P=mC?g1h(%})@Kn-4DsU}u`0Sa1KLCcaz-?g}aGTF8o}WO?@cl*kH;Q@=$J6_C
zWdYG{bwy=Gt5t8kB0nvcGIIhZD{@lx9>NyfNox$#0wx=44M$B3AUD;NpqO8T8Yrx{
znXISfS0G!7$ET&5#|BzC4ZV%mjD9HEGZOv4FK|ZHx7xz0zv36tlcrVPtTfresXzEz
zxrM{!eC=<wvPm8yeHkB4n<P8sH?3!_VWBqsOPa>K-_I8vj@|8#EE-x~&zI*U+2J+b
zz(wgQS)IT2A<Y^nPGeXN*2wWJdq~r>zLgAO9zL0_q4M#!>2ldLu1)BPtTz$#ld)1I
zos!~5P1NoVMP(6e!<x!9ruE@k#iZ|W4#Epn$w?CCUXWD9^)F$%gSbMQjJK&I2{(eK
zDsD8~&PkZ7tSbqhQb}d!f~}m3pO1t&g}+j1=6(QLTrWgxf3VfY32=2vnB75vJBr(6
zK|>VwRPnt@7$>MjJI9bCB4J=&>MU6eS)SiH31h`u)hgNYps9LvXCzD+{!p#Se=KO?
zS0*dX2uALVzN*#69w!MiIouMdP|LTZ)<_c)!YvV(ly#+~hHHG#%dTpw=J!;>{E8`^
zLcwj0gt^t*`cP5VaJDW9AJ)XlF7&omMULbQzNC@Mj`otlRIvv}!W;rIIgZtesl7N^
zt1-OQ`%w8dQ#D_{qn8{@l2?a2wQ`AxG-t(jZK`=yFTV+T60_tXEl-tcJ+CzfD&q!8
zMh4HNRwXlr+ay!aLuD$NBHSObj)VR*bBB6(1rJg9t%qzsS-H0-vI|djcoS~*v{rN5
zP1LU8CS8{7OpmFWdqp5>C-8NhM%L0};^#*+-^Fnm@`Rlb8+owa?%_`6ybP&q3y4Ry
zwE?fq&={TpE4K|qeAT0+k)f2~!x<V1Mv)<ZDyJvnSz1@Q4)&fDF%cT)O0DL%FZ~fU
zQx!krgm5h+Pl^jB=yZMEq!zF`e#dS<(@h3R^!#}11ViE%-TXj2V0|Npjk|!`Cupc+
zzV9bQMNu>GkNQal?VTJO?M$mju5pdA+XeJ(c?>PvE@4vc#JXioLOPC)aVZ)l%ve0#
zpi3C&igPDKSnqXVt3kW=R@XSUkVdXJx*ok6ALmXjcA$hN3G-#wSa*iv$)dz2smn}D
zn9sXVs;#JPz1FF#XN9EOV_mYw+wvq>umfTfIcc^O33IGV%H<|C@dbEs(4dp;9f@Ky
zCCpB&o2-%jwJYA898uO5ymayunH3b0I4d7pf$JyBWlKh4`E?fH<CCY%odH(%NF_J%
zvD3PQZh3^_#4as8g=XJg#0?URTmpAW6I-QnWQ{mi0&oJ(oKo<_y+F7g-r60QNN3SA
z6bp-3Res%D0ak+@Fu&rpKs48{nDqMvJ~%~{duBvwtSb@pPmCzB*}S?JGR2${uk69p
z)bW%Xr%hGmzB#fApa18Pd^U$)xh@dymDhv!m8q)i3b3+gRNlmAE(fJ(I-X8}y-b2i
z%0^b@v*zH_Q>Q;UZA6QYnmE!GuaX{MPry8MHa@Y~f^u<6V~$hcilGH?I>wFU#=DYX
z1u-tlOcgxv<5ii;C%XONCVA&=KPz-L-h$?#Jg2--=t?X$V*wolLSOn*;5Z7%ag64U
zqZp3k1$;6y4c?k(I%m~KyTpxrbek`bnJlC{zTs?Lw7qS}T54*Z*@Bpg`=%DDXJ#|S
z^bI6=q|J!2^e45Xdu*kM3HGNqt7(eS50-hywZljHBf16cUg6<QB^lO&%2z6M)*ITf
z^p!;gwm!|LE8d=dU3?vxD{Q5oDz}x^Rp!yc7TTCi&!QhxoXVw`SBA{Ao~E-Y=FIHD
zJ9fJk7oV&^JE<K7Rsnw5igfw5J}Y8y-+ik^TW1>zE%$G<9k&)vSJp|3l{GhX*H-AP
z?#HRiL!nZCd#TyWwBv!i$L-4ddGt9WVlMaP(PlcIUSQ0~K4+qs7YBGgXQ~AYVlHw1
z-NstD_dei#yG`B31;DHN-_*=Sn-y$@-B4luK!MF{Gt%thcAdNUjy<vX&Px{UV2BA$
z=dBteEww0Xj^lRo82jzu189K4s6nv9Oq=LBs{&M>9dhgbfWl=DhAsr#OBX`f9i?sX
zeS|rZyP(s{evaEzQr?td717IFBCN9toqF10MDB%n`MxOUVCZPjK&!I_^<rAB6*dlr
z4h4sFQ);M*!@2`YsTt~N{hi1TuR9j4#i&;dhV}-Li)wUek&b<i4Rn@A#GLCl(V|9y
zYcS*tW_g6L>0>-uu;mSddU_08uMe;}mXVx7$Z6>>gvj~#1+Kzop*!mU#q1d>Y?i{&
zi*ixSuAwZCMFU^*`WCu%)_A05H)b%jGPnr(JK_5&|1%{u4}Z9HSo&h%C9dTpH$Jhf
zB<ryNbfaD583^UGciC#~3b@Y+IQ9a;<OV{PfSR7$tk$ZH10g-mEH50V3^-f{w!u8L
zVjvV9z?;gaDj7eewmkl_yMQ|r1EF63MsA(hM&Ft8E%}m`JGmTx;+xyBIX11LM?*WZ
z)%0+v{l1z;ni{R(hv#)}CDMdKi}8<p4^#Ir-lw5%<0JbDsdK*n?R!5?GSCy_HNti+
z@x6EO7lG`x?wI*|N|^T8(C~0Ke8kVed%SWH^ASR=zT@7z!kBvjDLg21;0K7``;HuW
zN=mKsNjhGq1Y)DF;dBB;wc+>9l*5OY!804Fw|y_4O%zbEc-zNosNeA2kKd;*`WpXJ
zP6?9qzF*J3E2L)oc3dnTBiYb7d`E1_4AkPAS2o%`PYm0=-WJCX?Dc@qQBulYqa7XG
zRqUvq&2ukYDfkxhGs_S^Z4PS}J2ot0`GDi+#Vn6?D3-9??3fAH1BJ-3X$7!nf@3#a
z>EU5}?HXRE8m^wgc(r3c+#JZ;<uE=oY!^d-dMzKIfa`(6alZbm2PL@ThTiA-E|!wL
z^)>%9)eZPwdlmjK`ab@?d<!MqmA0BviB7>+rBl0#R#Q3=_gmI38++@79Op;%tEu;?
F{{ys(8S?-D

delta 4839
zcmZ9Q3s6&68i3CUAtnLD@GyWE@>Bt#LV%W_)}WU9pjCVnwd%sCZ31kUcHJ$$nmD!7
z>gX(RsD?n*>A2f~wbDc_R&haXi>-EbbX%*|>MqkJ2;_FBBT{+nfA2jPqRcS&e*gRb
z&woiSt?i+$?V;5hLYLe|Xi1IjPl`3y5#oPq?!76Ic9PY2DRz^ic#;a65qgLaibCVi
z8H`XB`2jD+gCs?wv7cChkQ`*3ZixgT^$djGpti3A7cE6-3*}m1|Fa0aLhVm-dJ95s
zrQrWP@Hb$;lj;Y77cWN$O!)Z55QGMx7M8L(1d*>KD*G<TSpqt)1}j{L@(@a(Htzzr
zy);(iNnl)yP$AV{241iop_XXD|5xCFVuUg#3mhwjnju~cwNC^dScuTdae{u96xq>V
zjv|yz4K{+oJ0BzTiC6&e=Hp`peFB^X_7<wY0^9^F7W6CdEiXcPs*esu=<=rs?WUXq
ztOC90zc$nk9fKf_8tedrdmiY3auaYl=qo8-2JUD<D4b3?M265_s5V<7bd(32a$+pO
zAAkp{$0oQ5`0oc1GSYZE?I5@af(k158}P<MV;vs?eh2hgs&4_#3DS1}F9x1S^>={n
zLHr2#ePA|BC@>609}5$;P<wk02=1LlXde~41Y86ii#t#SOu#|Z*8>;Bgv61a20jHH
zuci~Z2fPC~m&TLJ5wZb`6P^kj{~1D^U<W%l5zPm|3P>Q1<Tc<bVhh!j{`M6N4#MbR
zHU9xO?Uw=Ihg;PS;Fci134A4phk@?~al8T{>$hY6*}#p&AF5I9Jde;k8g&gwSrRXs
zjvL7WnZ_R83Cjvg&1Jj<y3U}8UBInD{5$ZCAfBXzo`N!F0dEW9MZg=r5jy1JuLiCF
zK1^%*s}dfL36~IJsGu4Q(tyQPISlLs)>8d>;8tKM<?Fy_g7iJWw}IQKJ_J^x5ekl>
ztOl-z0>y*K2!n?sSnxa;91k*B`2@cTd?QHz_7nU8@L-Vs_!E2)So^QB0)AZngdhN%
zacyjQCE@U70;kaq;(;51#oaRlUk8R=;E!+#@NKVIz9<T>^S+a?3*#yh$s9Cn@P{^P
zOG-;T)@187b%$EXuJN0!s2bO}DK95i8C}X8zsbf)MXNkNa^Z%kxJCJ>7L#O~$=ad5
z2HsDRNr~}!dcTK{k!%xUCOl^C9<?6tmsE$;cx+-+nV-CtsMY=E^YF>U5_)_dD`)7Y
z;kwAN#Hp$)K2sSd6`ecDFNr#Ht4}CYv~BSP7Yc2b2_+q--eQhMlAoke?eTdYi@B4$
zo}^281Ej$tDSIrYyUatIUq?<S>F|r>$0W6Cj*qL&WE1n{LHt;fpixds^`Qpb*dAA!
z52IgSy53YK*2>VnMV}b5SQ8tqWaVO2w133M+M`iMu>n&#KN<e86s#{mO7t=0j7F)t
z5%BOTVLS@<3i)26ThJb$t?;1~Y-_+{;{)(xQLrrmi7SLZS4nLMahD6NDcHjhO;$aQ
zZiRw{acQTkcGC31IV;$0WQSIxstA}W#tufoZXlm(b$LqzCSiy))51XT!6cV^Y}^JZ
z*k{F-XoXJ;EopVis3~GgRF%Z3CMJkAjt}r7uMmz@!O8?rhfb+_(C2xqq&|{qh#|*x
z5vn_Vo^t+dY0U4)Wu02}bsrr|Ikzne_8h?mH3`?tv4_O!bt#AX9xL8vst}5=>!UkK
z{q~TndbPqtTiZtL`gn6?pKt`p)W-T)EO)u7Oo+7xD&xmU2L=zKUZa}VN1LSe&V<S|
zsx+}bDm6lXx&=`*f}2KA(#&p}S@L-13h@XY^m;1z!=};tNP}Uz>bqW31^*|2M*EiB
zGU!xidriXpXv~u&!l;gF23xL9G4qGL{9Z0JDpj=*Jh-jhWTR1+QUy}}7-;ay-rxbd
zD?D^48^|%E4#Oyn>SgnLgC3+;OJ6lrh>hj-3Wu6pAsnCSiD;&BVZ>9!T4?b}WX5EJ
zAzZ8lq>g8}<Cj7_z8xBGknEV868&?JFc3FL-^=Fg?vS?0I(*6d)8vp4ypa4id1}hj
z_p@zGbz%*2PN)yBlQ3QCFh*6UU{mjhyHpKQCV~lb#?>oWJ;_QjL`}FK;fe~9%I_0v
zihkpR?g=g_gPaje4SG8=!WBQ)fub4|Y<Kr~moe^z{OAUy)66K?|8%2xTmJDfeYK&6
z3#6<IcdF{U)G?6oI@m_@p}A5N?4@oc?;Fz~6mWqAQVc53s1@g_V4H~{Ri|=wN4jEz
z%Bm$RQm3i5L4+7yD%fr!HK}Tqb<|eKQ$kLqPFt`Lq})oyHVC$Jx}`34P{h1$Ju{8r
zK2PMe3WA&x*Te>{%BMziL^z{>r;zk%GoF)=<`AT)dkQn1c{*-!J{MKU`@qk|;07#Y
z?DNa`e&w{^pUKf_nw;<aVrS!>(GdSzzZi-07NTDOPdOh+h<t|Nv`P3Al9;B+IWU?<
z@ZUG;&-n<M_xQzLg?R9xlBUVr1X6C})eVAY1w@iDk<3Im%NVF+!)R8)YYpj0%X(qX
zXe_}hZ?r2RipkGyz(RCBGJ38B<&cT>+0_zf7$br0Fpm00I%6RNL-Nz(CFA{MO?tv}
zXf&OmeCXo>osYDjg($aLT`zS;&ovVX69$30eG_3FC3GES{5r~E9q*9S>51^UJhOUM
zjm#;p7pyzI{`6QWKI0w9G|23o!`1>*)68bXZW=H(E8R1jFdIG;<5o5ycKM^2<|MbR
z0I?y1NljV?vonX5v`lD&Z>A@b3p-k5$F|KgT9X)aslmFL*-|o+*`-%luN7r6FJ|46
zn@esXTfxPIy#-aJvgTao_Yz|Ue1SHYZL^rqOCOb9$ieKcmxs+vGGold?A4+BcDtU;
zJzatfXdfmsY$5MUh}kNwF*9+QTdWVQh^>1#V72J0Y{UIad|Pd&th2Kcs+4mRD!U9f
zR~f9XIrz$O|4d(7!HgERt-XNwa_6it4&*WyG7x+7VJ>54@|eO5W99`DX15Ire8IE{
zB#8Z<*EeQtg8R>Z7j%uLo{U1^S03%wEkN7jxKewd)COWV$H)I1$YQtx?79p_X-TL&
zW!+-4WDND+B%hjN?UlnW!^=o4YpB0H&{nXRFYC}rZhqHVRyW2nGA6X{<;F;6rE^ui
ztZq%?xVr2@Zl(rn5wXCm9C54ib4xataDVJF8B69fjI>71taPO?+GmFP8w0saXuVcH
z)b9)o8?q|#WL!65`11;!qqV0$y2^cX$Ye6zq3oqcxs0qnl^N>a89>Hy4Vgz1)~;W>
z%(8w3&bFjIxSGsJ*>wX7cM2SF^-u<*fF<~0Q1H(O|BoN#yQS<4Fv|R<P}elDIyju)
zq=e;@Ix$;6oXqGL#6~>CjYTe`<xV03Um5D3A6UkBT<2}e`z8VF$*vV6%60xXd0|gI
zseNhQ^i)6eqAzj}_D|vNGPU|uaIf_{4gfJGX0SiauVofAY4zHS!TuN$T0DD#%<pif
zFc!TfR~t9j|34pDUYwS2+lRH5Ih$QG_&pfxzv<h`=jn2KUBz$ZDfZpZ5ytP;)ou^R
zh2-FYN%&cE`oJ-Kmy{pW;VWeC!P&UQd->o;5ei>#SW5=%P?~r9(O)F#l|5mLKA6Y0
zh4+t)^uTxc@O*@N;C;3SULC{XMf_v<Ed=g_*U8=9nwDRsVR!vXcvQ6TKZhyay(g9_
z@mlY_f4++)cc**HI-)RcCfm;y<2v&1b6fFFZ_)W^36_wJU#!PH<l+|};d9>CzbwX*
zo~hoizxq&$XL<j4Y3?{h#nqAfa!b0ujGVf*)$Vw1#NN`<>}ch#N2Cs>fV;{ZPW~!)
z%zIwoFX4*e#p5i;U@x1`$>ok0i#R^wIJ=bN@eXzw$4!oy<s<eZvyo%@Dq#0y$0oQk
zBO~_0^+KF^aCOg))H=4o&5^wQ4rarMT@D7}8wCR?T#w9-@?N`sRN-~s3CF7AH-!I6
zN#Qki5MHK#^M3JD@mn};f8si<3GIS6qptn=>#!k||JT)i8+Y3ZKCPeCtivDS{{vOS
B0ek=e

diff --git a/libaxolotl/libs/x86/libcurve25519.so b/libaxolotl/libs/x86/libcurve25519.so
index e72eaad4a4f05e3baa4668a4a4442ae66fbaf317..4b7ea39c73332af766218e176dd2b566cbc4dda9 100755
GIT binary patch
delta 3185
zcmZ8j4Nz3q6~1R#cvL|bSSSicFi%BT5Cx5ype}+@t9Gn_secJ7I>w6QR5a;~1}GSL
zv(Vx^(wk;7{uI*KhNRjhu76FaP&BDlVvJ%nDM@JtEGmw~A`)-Ev-^zGGQ)i5JOAh0
z%eyp}Y0YKY;YOku^IeLgLh~b<T$;X7h>Ijdq|k(B6QV3vh|ffTCxI_n^O!FHcP|v;
z4Iuj$13MQBadmir{{lRHtq`{?yBC<SUWhg;-!-<+5#owfug@mTmuwNGg>#W7IFMs(
z5PZ<X53HD3;Eqi~tOfdO0z0puXUkp*?*5|?p?bi62)wLV2rqK5|2c36<gu3jCGh6u
zLhR83_WmGIDukWHO3NYME<~Y?#JxuifV-neJZtgwY!4!_*W!DaBmOOm9|A9nAn_xM
ze++&gj6{+(bT4@AND})jyEAwlCPF}=rI>+D2sl(&yb!$1LE^5(E5U1rkqEK2d;&Zn
zghUY%^Tc<+JDv31)?-3&ie^vH*u(=jh4|XaG6&k)TSAc4)?&ZcB>ULX!@ZBawnKa1
zHsY<QSHb(hms-4@?R}4VGq|`T#PWzhFYVy&ND{S{{~-9*L=v;Ds&P1lbj<dwWuK{u
zwW1c=&aoVxheLZf375soz_-Sb@L0qD7F>Yi#Qnpc2R|H5-(8<xwvQsQE;L{d2ex}B
z1;6K@-QJGqFOpu^F-Ztxrygo-*6l{7-hCA7gB%K-y=JFA!^qORe>%?Z!@Q9B(l9Hg
z1U^lA6>4zkwGl#iD)p`C)qusY>)o+t^z5`HH4S>lL#2$>{l@lzZuN;$<t_U$w#Pf9
zl=2ifjMp42%nkD_jx}}-88w3Gu24^mu{#W+QPAZnaF(CuOH=VxpSf>#OhQExs=XEp
zYfXusV&tQhf>y(+8-87PzIkc(#2F4xAk}WpZ!FSd;pf~i@^UT)%nb}Y3adN=?&c}D
zZ46j!&UDA6gnL%^d$tdF&`|H{mhKbnD78b>oSFzvQDFS*xn+6XJy4dn7~WUh3yH3o
zA7_uHlje==1*JWIQ>wPMrfGuTnO);9u<J>jCiYQ>eR%5hYV69>q?hr^^7VLVY6D^t
z#JYg!@|gZLRq9pjeM*0w^|^X%&6Wg@t!A0qsMJ@n1uCdRaRilwKWZe@c^{awyX!p4
z<?Bg2XaYLobr~+b`yBLbArFrsT-20I5N-AlRpX|LfrRb-{(QIv70vEP`=P#?Q~Gs|
z$Jy3$PSix+_~0^D^7eSMS$ak3MXnLn-BgFh@^#n$7tTj8Z@PaA3g_xseBF=~;m+=M
z-9L;Icgo-V;l#jjTnNoPDubIBkG?BV365NB9*Xfr+`mQ4;;Ko0*L?qF4&!mp@MSO2
z!|)r*Hctswgn&Olj}Gl_o&sG>HgD&Q5B?r{to6p`&eXKwZG3j`cvmgFF-jZV$mE2%
zczv^$_YTW<P3MN~+Lhn4{F1kJ!~3Mg{f@~=@1l*T$u{C`)3GU9d**G{UGus&{gSB1
zJoS?=ZCZo5fAdj#!CY3HMEks@#d|hsE1qVzK{LGL2t99p*fCn$GlMk~y`3G^5nBHQ
zCUxev8w=^4_rn`DqPynle-~&A#<QWve4=+9<(NP3b!+={*32?L>h00qdy?fJn#XVU
zYA46BywYsEb)B+I<MwpzU?OX>&9>X~v^>9znfg|0cM@2?*WA%JPpkLKIc95Lp0>a*
z_jsSUqawAOaCZ8q)a{f*@B22|={#vE!&&)PUsed^+o@Xa9Y#*=WC$x)`WlB(giWir
zGt2R{hS4O_wgoYZ^7V%^%ds&-&XHtjUSg6bn?};FwJ1OF%6tbc&|2`NC~sLO8ys|B
zYf%paB!bpzEBs_ohDXv8Eyz#mWl<!uZF|UWQL;ahUetp81ePdd^M1>gJYQ23EhTNm
z5VJvFcr-cC&;w>@D257R>jxk5x1iv;Wgp<#5qaI0p(t<J;oBQSL&LOBZ!_EGt4kyo
zIpFX=KfdO1l%%ENvn@pSh|t}(IpM*JU$s{RZ{8DR`*c{i{Y+a+_6Yl5vWE*7T&nP7
zFOt#8G&#8U`$}DrM_e@8UKSMOlNVexN|q&4C{;-#nc||WM=8bsI`B^deqHG9tUR7f
zPg14)Jei&fcH!XOkcm@hw9H7ML>x>(3Oz-cvIbzQo+eKu!_=8Vp~3T~D|L%qqkiS0
zc(TheE}BS<axQ~i7Q1LRvcBuWp(n^Y42$HnR3y73iy0c_TdDAL%JZp|LTBauR0PDz
zr_%sc@@HxE%$T7+DfKlsi#=4>Y+WPlEg}{)m)|M*NgDo7Ymhh7D31zd_GB7MwQ>zZ
zyDVoA@*sm-{&_NT7D`H|406e7>6rJBT+YxXcQI_02h-8ge0en;eU`{EQvhzcW(pdd
zFAatz@(9B*d6gku(p01_l!;TpX2=E1UY0L19Fqns6XcPpNWEEp#>zM4H>_-xV=`!B
z^yaS~9|S&U;vAk#bOcjyA50$qTIK5*l*HX<ptYCf{S3NLnv3_Y?;E9@Ba}+Gr&Rw)
zrHX(~ykKR(B48abH$tgnKpj`257>&6Pydfn4fqIb1ZJixbpYs0gAHh(qSOHJ5-?#v
zsr;!*%?CO&m8t^vPgCmLfGSl*`1&~RBk?P60A~IMg@LX0N*w|=G$0A<k0N+bsV*Oq
z0qc(8YYD78u2dti<b+aZnV(cD{sCfuS-{LwO05D`0(SztfNuhG@nBwmPznL>q+<vM
zU?wmZPwbC@{lJ|-`$eUifF+kP5wNlYiNA&JDz*dc`nyuqz>;gw0iD;87+3@xV*DJ#
z;rVR^<^uIEpaV7mtFu_~52X$ROMvab)=m@x)_sZ9DHH%=YbqZHxr%ugCSdL>pHB6A
MsM9z81B$c#7YL@qVE_OC

delta 3211
zcmYk84Nz3q702&^g||VJ1sA`-0nAeoR|G+$Qw$(z{J@q*h&o!MqSV-sG97Kk8B(CG
z%FeQe^kJ_}nG6Y-s$im7>iRVqDh9RDiYZATF;*kVYzQijCh?Qo|5;wO&dBfn&pG$p
zbIyCbOKXMJTA>|mCYoRzpcpDO&eGKKtPMhZLPA6dO=v+v)Z_~BsTkCW(5u%x(F>sS
z7YXqu$nhm$|6(D!hYaeS&{=DRxMBLeV9I(S+Rc1lvVV>cUFLcHLBe=7D6+hCt`Jv3
z26My(BL+1rH1|9U9lueCwP4^(u>W(^Z2Fzh`5y>j)d&51p=(Nn@FEAtpM#FaI?jym
zgzi`_#13uHe<xU!3!8<+3Ns+qB1CBri68%00CfIv67x*Gp8dfj-Z1qJ*4V$t)O(?8
zB1!zx)c=G&7)~P5Y`PD+K7zzsrr#b?gpRObwP~1%N!Spu)zqt@YiuNLo7xFoA4Ve7
zoboZ~lu#1ukeEBZ1>J9_$5S5>il=CN7aW&x@VXG+npx(+T7N?bGRs;Vh?-=HD{t+4
z615rDgEuh%bJuog(J#dFrfy*W|LIm}+btoMM-JA~0i7R3qQ;EB4_%Q!BGWuI22UXi
zz0EWIvo*0+)MMH?X22>0Tp3EjVd@I#iV-B-X7let+o18p1I?d@ZjGkLuTLNQN0TVB
z4*G|JSG<!#-m}pzZ&&o?#22?u62eucTU{^f7FW9NZ^!tsw!&udl<6~F8M^<E;{q|P
zSF>IlZtmHHm=?VXhx69&hY8_!>ZPdF1&_<3`xA}m%;fT=FD&st^@&oIZTrxyr%~@2
zP|EFnsPMDU=AIkw+GXSQ;!*C`tS*n>^@!8kMuA8zT!lUELi^T}t6bZ{VcPn2|LJY9
zrf*WGXP1t(YnPRO=Hghp?ypKjB>{_PlRh=dRe(ARPr)-7=3j1{&74?ncMl%5jSqL_
z>9L3#RUGkIt{#p=R<z^^)WBK&c1-*<tXW(TcZWGF>p-DyZX@FGu91LsX{H;+(yWu4
zt)BIFR;+sQS8e|Ni1Peicuq{@W(r;3@Ho0Vlm+wH;(aA+5z)uSvFtc%GQP-OP~QD7
zrD|$CEfWIK96RI!kFE)?0Y+ELqdOiLU9Db=QM;S<3Z8g@p6IUCtFhdAGRs}9?`EHd
zwj3^}zLJGgcQUH=8pesi*o(Y#6nF1#(d!6b1DDM;--6&OM0plx1zwIkU3Z1+fkB)+
zj{@@aL{DKn&m$gXB11ef1V-Ngcl%s1a0I(WaZP(}h)|v^+IlyB^KCay!d9NM74hNx
z&UsGgmpBE+*;<RT%26=lp5!+3<{@utYjI7)VS8wbT??el+I$PoH-q<n^9pjL>-^UG
z&+1t7BXa2e0}04!9*b8s7F9hy9pNazzYxdr>-!E;xC=7%c<zqhl{{3*Y0C6)e>;9n
zVAo*?cVQBn27UhbV8<9NS!NH(#^s#xmb>Sa@>+9eYuba4_}Tr{o42TUv=-LPV!tta
zeXEw!#OrH@rFgS;dOxp!?X4*OJ847qv1syUY&c0l1MmK6W3)E;Z*2P58@us!qHd%4
zH&=sxYA{}Z`7r&$m{*cWJH5Xx*|AYuIE%x2jYpp!qMsY@ca70roynGw-j1&7NUdiA
z3#U=kyNJH^zTX=}bj|qS`$BEjcy@Ff!}^LS&G=nkmbMeWQk8AV#?ij-w6~t-^|Qvl
z>wQ|&I9@L@>TX;jhq2}64DF2swxk+|Z$78x1lDM&e}#56p6!)JasP9g5m=`gE&WTh
zS%G!8ci1fzrKJt!pnprdg>q<*Z<&S8lNK|CjmLeCP%5xcnXC*WyVexS#znrmFp3P)
z3=69?UrRVmBCRNxRj{vTD66y}R>&DaF0FxB<jBSd`imAE5DhZdMhi4AJ~EYUOJuE$
z?rB~%FeoBvt+p^AdgY@?%GYiWu*Z-EQOH&l5W%u1ieA!gKQcYTk*y&ha(s=$>3Px?
zK4e#~?~$EsDChwz6f}YgM;Z4A_*+o8^o0*`U5O?Bb{Hz#ihY$M=wX=Fc9T_+&zV3D
z^0khmL~Y6h{zb|jX5AJvXJ|;y){yO%9l^mPDXcBKJ^OTaxW)2O_7Dd`s&KQfl+j5v
zHRK__MP2fcgT`1Yf`gC93l17BE0V}cyQM3MVxsFtE5(0d@V|Kccc7Rqc{GWhrds(`
z5<L@=f#>w5Oh~0MGHo&?P@OECOwUlR^Z-G1)8(-wxUNhlYsj)0O5Nbl;eU2eEZOB)
z2Ti0CaxTLzOB|GmtOp!;#wqd^W2Kxv1<8733FCy^GX;^lJU@jdQ<uCq1sf9OtYl!f
z+>%T`qi}gKnT9_#3Z>@q4aPEtTIBU)T0*5Vdn(0Iy<Ee%A}bj-`8Fe8{$ncAluAmW
zG|G_EQ_$iOxtwuFzQ(AKZ>OM&WwJX3r8(u;R3KljNkvV|q>Hgy9%7u4-Ha?r(~!DU
zCQO5xFBh<?k}omNNEaJZ<e_OuT_!(eW3&8$jh%9A8cmEY`})c3@u3puaG9baxI)A=
zd|CsOl)KX?k*iNbX;t!G8eJ$az~$HfgHrl1rQ&~7%7SZa9jJp9;3lvZEQnO<2$+ty
zpdakS!%q20sTTa2Zvb<rC{+*Y$x599?Ws!L1$)5wyU00BsrjIuu2dChnW5CVyQ*Am
z!uQ2?4~hSP05JC*91M0gD76=CX~dfChmrKYQg?hP25dZn8x5>Is#G)RJf_qc*2k5K
zeSm|(3^4bEQY*n)unfEd)`11M5idO`#{w6j?I9dsI#__4bs1>6hz+0}e`B<O&d<;h
zSlflfkI-c|x&rTfp;R^K{1S1XehG=eP2fZ3SFquJ?F4hd^vl=>o&u{g*zg~v4uVdw
q1MIwlgTThC7@fiaAf~3);Tf-F-GdHT`zmKp!w%~AjsK8hg8mC&b>9sD