From 2f4912c8fd72788fe61965d94db844a22ebbeca3 Mon Sep 17 00:00:00 2001
From: Kris Kwiatkowski <kris@amongbytes.com>
Date: Wed, 22 Aug 2018 13:57:32 +0100
Subject: [PATCH] Init

---
 msr/include/P751_api.h | 107 ++++++++++++++
 msr/lib/libsidh751.a   | Bin 0 -> 126588 bytes
 src/runner.go          | 329 +++++++++++++++++++++++++++++++++++++++++
 3 files changed, 436 insertions(+)
 create mode 100644 msr/include/P751_api.h
 create mode 100644 msr/lib/libsidh751.a
 create mode 100644 src/runner.go

diff --git a/msr/include/P751_api.h b/msr/include/P751_api.h
new file mode 100644
index 0000000..fb7b456
--- /dev/null
+++ b/msr/include/P751_api.h
@@ -0,0 +1,107 @@
+/********************************************************************************************
+* SIDH: an efficient supersingular isogeny cryptography library
+*
+* Abstract: API header file for P751
+*********************************************************************************************/  
+
+#ifndef __P751_API_H__
+#define __P751_API_H__
+    
+
+/*********************** Key encapsulation mechanism API ***********************/
+
+#define CRYPTO_SECRETKEYBYTES     644    // MSG_BYTES + SECRETKEY_B_BYTES + CRYPTO_PUBLICKEYBYTES bytes
+#define CRYPTO_PUBLICKEYBYTES     564
+#define CRYPTO_BYTES               24
+#define CRYPTO_CIPHERTEXTBYTES    596    // CRYPTO_PUBLICKEYBYTES + MSG_BYTES bytes
+
+// Algorithm name
+#define CRYPTO_ALGNAME "SIKEp751"  
+
+// SIKE's key generation
+// It produces a private key sk and computes the public key pk.
+// Outputs: secret key sk (CRYPTO_SECRETKEYBYTES = 644 bytes)
+//          public key pk (CRYPTO_PUBLICKEYBYTES = 564 bytes) 
+int crypto_kem_keypair_SIKEp751(unsigned char *pk, unsigned char *sk);
+
+// SIKE's encapsulation
+// Input:   public key pk         (CRYPTO_PUBLICKEYBYTES = 564 bytes)
+// Outputs: shared secret ss      (CRYPTO_BYTES = 24 bytes)
+//          ciphertext message ct (CRYPTO_CIPHERTEXTBYTES = 596 bytes) 
+int crypto_kem_enc_SIKEp751(unsigned char *ct, unsigned char *ss, const unsigned char *pk);
+
+// SIKE's decapsulation
+// Input:   secret key sk         (CRYPTO_SECRETKEYBYTES = 644 bytes)
+//          ciphertext message ct (CRYPTO_CIPHERTEXTBYTES = 596 bytes) 
+// Outputs: shared secret ss      (CRYPTO_BYTES = 24 bytes)
+int crypto_kem_dec_SIKEp751(unsigned char *ss, const unsigned char *ct, const unsigned char *sk);
+
+
+// Encoding of keys for KEM-based isogeny system "SIKEp751" (wire format):
+// ----------------------------------------------------------------------
+// Elements over GF(p751) are encoded in 94 octets in little endian format (i.e., the least significant octet is located in the lowest memory address). 
+// Elements (a+b*i) over GF(p751^2), where a and b are defined over GF(p751), are encoded as {a, b}, with a in the lowest memory portion.
+//
+// Private keys sk consist of the concatenation of a 32-byte random value, a value in the range [0, 2^378-1] and the public key pk. In the SIKE API, 
+// private keys are encoded in 644 octets in little endian format. 
+// Public keys pk consist of 3 elements in GF(p751^2). In the SIKE API, pk is encoded in 564 octets. 
+// Ciphertexts ct consist of the concatenation of a public key value and a 32-byte value. In the SIKE API, ct is encoded in 564 + 32 = 596 octets.  
+// Shared keys ss consist of a value of 24 octets.
+
+
+/*********************** Ephemeral key exchange API ***********************/
+
+#define SIDH_SECRETKEYBYTES      48
+#define SIDH_PUBLICKEYBYTES     564
+#define SIDH_BYTES              188 
+
+// SECURITY NOTE: SIDH supports ephemeral Diffie-Hellman key exchange. It is NOT secure to use it with static keys.
+// See "On the Security of Supersingular Isogeny Cryptosystems", S.D. Galbraith, C. Petit, B. Shani and Y.B. Ti, in ASIACRYPT 2016, 2016.
+// Extended version available at: http://eprint.iacr.org/2016/859     
+
+// Generation of Alice's secret key 
+// Outputs random value in [0, 2^372 - 1] to be used as Alice's private key
+void random_mod_order_A_SIDHp751(unsigned char* random_digits);
+
+// Generation of Bob's secret key 
+// Outputs random value in [0, 2^Floor(Log(2,3^239)) - 1] to be used as Bob's private key
+void random_mod_order_B_SIDHp751(unsigned char* random_digits);
+
+// Alice's ephemeral public key generation
+// Input:  a private key PrivateKeyA in the range [0, 2^372 - 1], stored in 47 bytes. 
+// Output: the public key PublicKeyA consisting of 3 GF(p751^2) elements encoded in 564 bytes.
+int EphemeralKeyGeneration_A_SIDHp751(const unsigned char* PrivateKeyA, unsigned char* PublicKeyA);
+
+// Bob's ephemeral key-pair generation
+// It produces a private key PrivateKeyB and computes the public key PublicKeyB.
+// The private key is an integer in the range [0, 2^Floor(Log(2,3^239)) - 1], stored in 48 bytes.  
+// The public key consists of 3 GF(p751^2) elements encoded in 564 bytes.
+int EphemeralKeyGeneration_B_SIDHp751(const unsigned char* PrivateKeyB, unsigned char* PublicKeyB);
+
+// Alice's ephemeral shared secret computation
+// It produces a shared secret key SharedSecretA using her secret key PrivateKeyA and Bob's public key PublicKeyB
+// Inputs: Alice's PrivateKeyA is an integer in the range [0, 2^372 - 1], stored in 47 bytes. 
+//         Bob's PublicKeyB consists of 3 GF(p751^2) elements encoded in 564 bytes.
+// Output: a shared secret SharedSecretA that consists of one element in GF(p751^2) encoded in 188 bytes.
+int EphemeralSecretAgreement_A_SIDHp751(const unsigned char* PrivateKeyA, const unsigned char* PublicKeyB, unsigned char* SharedSecretA);
+
+// Bob's ephemeral shared secret computation
+// It produces a shared secret key SharedSecretB using his secret key PrivateKeyB and Alice's public key PublicKeyA
+// Inputs: Bob's PrivateKeyB is an integer in the range [0, 2^Floor(Log(2,3^239)) - 1], stored in 48 bytes.  
+//         Alice's PublicKeyA consists of 3 GF(p751^2) elements encoded in 564 bytes.
+// Output: a shared secret SharedSecretB that consists of one element in GF(p751^2) encoded in 188 bytes. 
+int EphemeralSecretAgreement_B_SIDHp751(const unsigned char* PrivateKeyB, const unsigned char* PublicKeyA, unsigned char* SharedSecretB);
+
+
+// Encoding of keys for KEX-based isogeny system "SIDHp751" (wire format):
+// ----------------------------------------------------------------------
+// Elements over GF(p751) are encoded in 94 octets in little endian format (i.e., the least significant octet is located in the lowest memory address). 
+// Elements (a+b*i) over GF(p751^2), where a and b are defined over GF(p751), are encoded as {a, b}, with a in the lowest memory portion.
+//
+// Private keys PrivateKeyA and PrivateKeyB can have values in the range [0, 2^372-1] and [0, 2^378-1], resp. In the SIDH API, private keys are encoded 
+// in 48 octets in little endian format. 
+// Public keys PublicKeyA and PublicKeyB consist of 3 elements in GF(p751^2). In the SIDH API, they are encoded in 564 octets. 
+// Shared keys SharedSecretA and SharedSecretB consist of one element in GF(p751^2). In the SIDH API, they are encoded in 188 octets.
+
+
+#endif
\ No newline at end of file
diff --git a/msr/lib/libsidh751.a b/msr/lib/libsidh751.a
new file mode 100644
index 0000000000000000000000000000000000000000..c770bee4b69ca125abe5ec48347e256c3b789ecc
GIT binary patch
literal 126588
zcmeFa3w%_?6+gat2mxs}5o|-jy6UQlrI-LJRMg#&z+Je3$jhKe7DB?qki<L?6fqjW
zT$i<JL8VsPDB9Ahh>D7engH_976WJnADF6@fQTqns8;!Z&pdX|-sGaT7XQEBulMuW
zotf{PIdkUBndhB*?`eZ4R~Ajbxa+x|*ejC-rJw(MJXz=WKVOmrySiMi2`*Qs75~ru
z;^GIm9DivpSDe#t;5=8HFa6v8^2*Dqr<KntuAEyqx}U40qNu!L?gi&%!FO$OWjXn(
z%L`|L$W>BVK1=$Drtq5b%BfW#n^jW^Dn(LJb#)~R^^0=rr`eTM^eZc#CbQ@_dFoW<
ztE!ozd{bx4?pLV%Mdg*1#YNRK%F8qv<3FpS5UC(SKQ2Rsq?}PU8=k_V>62%aY2g$m
zOH<L02T@4k6Dg+-AP>msqO7LRD5)+jE~$<LDzhTq(k$1UoNQD46}zStR~HT_oKaOi
z%~d>ma;f&u8JiCZ{7H)bj6(S#QDOhWYbMVXEc`B3Ipt-=u9<}(5PA4>a$J>@%chDN
znOcadD6TB@7mf+!7^3{`;<BT0xfRokQQwnGM-<N;R$K-j>6fSW7fvfKb7hPFs%pd+
z`b%dN6}uc#GTxFpyL?KNc1&?mWpTBCT4gbEEd#3#B(c*ljzyJoD^NLC70<$NZpGvo
zl}JA#SCo>)6_*uth)*qMc(&9N46Hv_ZDmE}j9JAT87&c%L#oy#%CG#C^_+e#aw@2u
zL~J->!V&vsrW|X@uqW88t8!|QwoS>UaB|fwu#}ucK$$k-peB<huQW>*k}2l&)3H;h
zl*T~PAg0W%F0OKoC@w0ReAUpb^D{FG$5c<QF3vBmoK;g@?5dhR`Kscqegg|9PpK-e
zoDvOJU0qXLd~NZR((<CKsv@wfD3YLR#;l6cVx6uX9-H1CEgAMZ?|hwJu%&QpIt{CQ
z1wjY-GCVfD%r_eC%7+5`mPbb^r}63h0RzOabpC+;YJduMy&=~e8Xp&jVM<<cu8UpK
zkVajulp|5UPk4Q<AGo@?jPS6OfORBbZ7~LItonfw9-3kd+T^||C*I{M@w>}i?u<_4
z8Y%9KktyWM_qa30d&pOi>CTvxNxq=Zol)W=-}HQUMp=F!Y*c_%&=}M_JJkq}tO$gC
z6mZ}C55>14=+2lOq!e>1+!^yL$X8nn!Q2^($f0n3g9zVB4uu;UMfi4dD7<Wy2>+HG
zBRo7M5Uy<^FES;6i}0^=-;|ah=^H85opCy)T|u$#jG3ZHt6D{%(nB$84vN6FqF}Y8
zOm{}Mk7DXmL|}Nn5x#c1u_-$ULRVIkvFWBY<ilmu?KzV1dH9wl_ygffQ=0cC95Nn&
zEFPpZ2CWlvWx^kTE^bOuay3w_-<^>v3PsTfOc0Va`ebOb5N$=i49yU-tqRJ})k3&6
z6*4pz%D*&-EE^C;mQ_6h;f7lH17Uv!!tR^4K{(2(mQdv64~oJOJwkyB3N<v!&@XEh
z@v>DC_;rH<8k;0=Pon}>v`FBOs{pKbpSl1JBnWjjtWHK~Sdw84O@f;OHwA7Q+%&iz
zxE{FaaMR&t!p(#`5bi*@KDa)(23!MfKHPk`1#k=YF8T84QTM4iC|yVtCt&%5@YX{V
zc&Ecl#e%m2-euA|2VN>(z`C&(5+bxhhU#UAN{TotDB{-0&@vgKLL;tGhBnI(CWk~x
z<wqP9AEBKxM3w<%06_z=h6dqIhYQJk6>uSzZw_3NsTQP$C9EGI5(Xh96A6Qml8J;t
zNXgVFL*yVG34=H#6A6Qml8J;th@8DI{fjh5DVhWt58r0t%T9u~MS4@<-6_3k@U}{?
z2i`X6O^5fO^k%|)M0y9p>w*FdE87QelJpwzrbur-ylK)~u=gP$inJHt9^e5h4!(5Z
z^OHQ8(o6CTlwOj@C%q((A-yC|zVwnj1=36M1f`ecnJ&E~Plfc7JaeSCVDB?b9{)JQ
z`uwRhQLMxMvEz(zS#XSD9Wrj*PkNbZgc8q87qJVxq`s^sG<fuQDMmQE%oy~d&%I=$
zF=)MeNwY6$t9!vu(ES<V5om}n0x|}@;9k;{)a+i+3HTv*dAvI#0nYGA?u-#Zct)ew
z9g_mj<z?=SD=Ofb;&EpbdEl8j-<|P5Epmjv5*=|>COl8y3c#K5OoPO;eeR4QKH#_f
zR^XvVa-PV}uOE`{e&VK;2-Vk-Z2-Hpe#oW39v0Xm5*uAVWHd0MsIPleVq@xui~&Xz
z^>vR)Y;66IvA~F;zHYU|#?=oQ2aG7{>mHZb`1&E^fe}T0-4hbKtbWL4z=)#0?n#Li
z)DI~DMiljRYa}+Ie#iu1L{VS&l*BHtA96V`qNuNXT4Gn!54i#uQPkHxBe99~LnZ<v
ziu$^>61%c~$d$l|qQ34~{O4wU7_i<mtUaQ(O{>kc-Z8@GA;yI&eX1K=!+M*{9`0__
z+9SN6Q}la4g(QmbBb8LqAJFthNZQF%qrWtqngPa*8_1NdxY9q-f93kDCefd{pXe4}
z-z~xYgc(1n-b@G@bxm<b-H}N(@9!OR^ypE+)_tna<-hEy6Oq_IJ~!(#|G0qlCE2L;
z=@{7O5!iE#eYOF>a21~CO$u0hjPOKn&<x+_rS@i8UqN<Zx@!d>O@33N7m<<jo7PA6
z@<Sy?-TI)?#X-TGv_L|EDQPZEc=s4KW`XeaG8xmRR&a^CJjWZv|AXEpq=v`zR*>q*
z6cJkLt%b*(I%^UFRVnzp%S$%zPR*t0`@D@JP*aA$bsl$WUWz;Q`uPY9!SIrs4@SbO
zQWsKt0X)KI<rcV~T;LVPks7AvVuZ%zyHm$`4C^*(D4{V0?$j$Yt=oj%J~?KhJGIzX
zV&zUOv2G*7BI!uM(TY6@6-#v>E7m{BU$|aXo2#U6WPFqpuBt9H5yKR$@?tdC&hFGs
za7IDuk<|JxLlMSPqc6;Kr%s}VKF#M&EuofO4jIex*Ox^2{a44^^$o_R&L}Kez!4*S
zLz1y+SiT5i-eY7O2^+zzCOPN9m{&_NFv%m*mdGe&b8_xG4eMPrK*M@nw53g=Eh&pT
zplzdl3+ftaK~ljb4N?7y{K*(qr#(<q5$m+m0jNe{giF0a!+PJa_KB7-&l|Ki1JjBT
zYPS(-5vpf^6%fa$6_9Y0=@nP%+Q)1qD&NBG?gjH89t|1c?4!n@myPhK6hDRqW6)L%
z5&opj)kErz#Ld3gYT4EnHjYBpy5=~e`EQA$pMVJ@!dwzNp@V?^Y_2(AwbZqKHE3OR
zh7szq$*_8CL{<1)*1D{w4^Aj)Fs#i+s2lKZ8;!6LhY4ZL{`Gc!QHwRKSE&=Bo++ji
z*$e<Od?yu!`A3X>nAXPsc9yD{v6arBP#|dWTemqQd|41{9GX*CVU05$fngMI-_#^I
zUK4bu&JKe04HfRx`80UnT#FcYs+i&-_zT%(iS-SFcQlGvvAjX>chuLpQ^o4$c(w1n
zXJc#;c7+)>ngUjEp<!aa3Rlcm;fndH5fX*LY_b+&B2-U~oUbB8B|}I!p_`Y<kZ?jb
zH_DK3LN~9FA>o8>rZOX)a6&h)ks)$)e-i0`J~zVGOot(E8diX4v>)_F);6Q={Ufvp
zGcx{J*Bq2xkzT18)?v0(%lJet(<0rKoPVO5_@YfRye@dfUh=_8qwUo{HekIXM_5G|
z2#-at5w5`xDKLnuM3UdPrPr*Dy8TH~j=Bv=QSO2_@87;w-pka~z(3XuPYV)z(|Vs$
zp`|6o+Zs0wS6NLaW(X-}_(5+AN^e@93pvbi4u)XsZKO7>b*7c$Rq|Qr1cC08R3YG|
zg?YeTUYfES;kCk5LxAkpH;R7UwB#(tup(VM5-P&CsROoNSA@t>O*}}=dJ=}NmgJ3g
zwKU*Tk?aF5*Vn==)${!016E7ccK<m4*fHS=N3*tk&@DQCTFqvt+sjr<Zq{}))Msm5
zYg}&Dd#1HLV68W;&1S|<v*$aQYnd5s26WJ7pulZr&rb|%toNYNyzi2LmAKgm`_Z$$
zRP*Q+Rtrt){F7k5(jKz5TP?i5^`m|Q)?aDr_9@xQzs6Con~t4<m|mB*Fldx2^<rT`
zEpsCVDH0%wDyu^1J};abgrZPkq<vX;8%-<GD{IE0IjEYQzD~8<0OisAFCQvXm6zzH
z@}L6uDa|9BO(IT(-@%+tk9nBpnbEpKZLtvMR6n4$69~_SOc>D<y@%ZM6TKzw(xwvk
z8=Ku3rkAE|f=B}%JCJDyd>lZs6DSYjg<U617=@(N424Z8yR|;!7DI}RwHVTMJBx|T
z&oIAEqjFeB{o_$~G0Vmjn<{AzrWJ-Y&znZdq?ITcyL3yv9_Wy&p%#hr!o|Uu+MJG*
zVxg$C8fggH&Z7<Cbz(|PP$Zg6(=r4tC!iVuQ+YHEZ#+mAWr~@NoThY4D=O+hUikhd
zWTK4bn<k+}#5YSKB+`qg2>U>IVGtFOXSI^8MEhGP972mafMG-Kyl{}J*R;N{&k;q>
zBvlDE<{+=PrdcGopEyHlV4%7erb;adV&6BFu0=s0Q7h)UN+R8UzY}?g@4q8YuuDXq
z??evb_jPih@0B{$HiNLxJSszXCkOm%JCR+6S9@!<=>)=$H%a!gRia->!>op;TKTl5
z33~8XfsKn?f_&Ji7)NkET5_?+ol!$E0DE{5k<abnsI~`T1xHNl6Vo~*hKr9x>yX)z
zg&Y=Mf8GALn$4yK%EQWzJ`v;x0^w(CQ4`Trpa4@@7?D<&=)ab~3o80P^Y<ivzxlh+
zGTWCwNgL6BUH?tUseS%r%*Utx8&TBnGyjgu52HLz<?lFuI(2cJ^p6=td;K3j`)lp6
z{T;vjsf+$T%m01%zu$NN*VJMEcl`PvUx)U8{PM5Gw6VSY9l!S9grc_3|G1U^`e6Ia
zX@51Q^Ar0qxmn-oyvK(wrhV4!_1^GZ=Zm#w`+VCK`TyGa7Oh0um;X5S_usF*KO5{Y
z|Kn2r5LW6!^<s)2HFYuP*Aq?A@MypMJGOgQhvjbH&wSVIt+B)Q);{0Je#duNZlUey
z?t@%gwQuYHjsC5+!+BNvyuWLGdyqx@_I;f6jrDBD{rd6CpLP`5m%qK<|10)}@^`$R
zIDX~tcs_Uh%HMJQAD8~sqWzTbc|P@Q$MebKSN|Q)r;lI#cf6iFe&uiNa6W(h^8dc~
zQ)p+megAj-%HMJScl_+HWBnh${-@({|M=;@<N5vZ%b#w;w70+GSN|RNKgTcs?{R%0
z$G;BeKgZAhJMMpvU;eHR*SE*d{yXmfj$i(sZ@BLGZ_R%@+)sV}BE6-Adz#{=9Pawp
z0uwh86TRXb>9eFHIv<9!9QqUn-6q9de%$bn_9^17+aA+;w+-|zf8B?1H81HD@&+>9
zTni2MiX=!a=wvFD<fFKn20CYuhP(NB`S>fQGnljJJU|Vd0k|Ib{<`6)Ksjyzrh43|
z({T>60`44~e#DK!R0HS#7kKF=dhDHix*>1BlkXpgbG_nB?3Z-Uo=)Q7E@Nl>M$zrY
z%jhm-VJ02?4dXa$%w2kUG7$08eE2KRN9o)d&=wtCaA%D5;x6SxFGQW{#eK?BZ@wrU
z&I8jKSlpt1UEOSaANo+b*rP}ycfIxLVQ5|4l4J*7zB#Qvj{zNnk5qTNV~EL-V~FCE
zv7l1thxz%2yzn(atuoS=JYd6)OVSZnI*4+YI3+AkOyaINjXQJ#1ScJ$#g+GsnOIK6
z{Y>Ah#XWdk1mVRI7kTgp6$E>bXM%AQ7=C#K7<B@_Jp2ofI{1rPLf}DhTKH?LOC1UL
z4=MmceB+AM1&Yy%yiwh;c0|k3ci?gMMpp1KXf?B#V=q)~v5kdl*4|if(#=0k=tDFb
zI*o+$V(Qc`nZr&r`It7c89?l5&=^yXDWyCpA2Ia+H4{M{b5!1T!izG93Qkr`GDyMo
zfm$CwpEq8fhnLM>o~IH|YtU)57|~_(76;aa83)9{U(@=GTB4AR8ixJUx~^*+T8~yG
zKLRhBKaL{qQ%B&5oieeH?97A;gz3bxlTf=hoPyF*F?6+cRDPUqn@T6jj$}2_`L=Q4
z893iYXP-YvlIJ?DkMly^Hk+Z|FX4n6j<)%&7fkCl)7omr?KV^QU`R0I4w$LftQ+v6
z5xzQ(PI?deOU<T8rZ_5>LzRvrZE)+p^0^n?0HMM|pZ8lkn%g?%g!AJL?`&@El$)_5
zT-~WDci|h==jK}5{D-$?hZDQzX6*9EZHt_@qvLjoFZ;vY;_KSta9Hi-9Gqd^hm+7b
z89Q?Zy*|6AI!A6bBOdyD8Fk{SJ94z<z{1bm3%)`Cx%%rqh;uK<g%tj=;q0&cPx*k4
zGs8VzID+%6{)~?et9eY0^@b5nd?5)@X4v}{xkk9pTX0-?gWfU2xkvo&yEg;|HM#F@
z@+WO@FQCU%>OPNmFL;1F`x2~b@4rgiWfQ&s3d9}RwlBvrMR+WQKM!ZeWo^mY-f##H
z&n2eNf47rxPP@dtv5Ee+;O`Jl@$PuB#QjmTK>awionqAOOBuBJnk{inIo9hL>v9I|
ztUk?Z$+5PW;lxdJ9z2w|DG*9AcC=X^8#~@HvRVR`>k8}RD~%mz`zNk1Y0&3lp#{|E
z-d}u$^5U3cc<i}2pr3f|aOi+a7|7Te$k>kdJv`K-$q1z(2cxbn$=I=v_`Yjoy>3|f
zN#>xIn%y5X5_C2lIY#~Zt%H7OzItZeSMk*|a;$Z*hi&_e=64c}xX-~4BP0EcBszay
z;;w2zL90H#gi49Q`XHSze>2Bw!jW|Upr-0mtaWvGjwRgfH7b}9N;R5WFEPL`tHrS5
za;>J};lZ1XZRg@Cm=9hN`R9a(9!2`xg-z~T7gIezjA;-fP}D?Xv?dsbaYWASjM7$j
zK8UUelF_&ZnG)mh*R2z;f~tcg-Zmkgz)=Tytfmbo=hxNz8Ei?^cfQJK@egXL_87}V
z2H|d<F<U_np)8}h?Ghv0<9sQvvF+^j{>#kp^Gy)UKVF>S#2LZpG0ruxNCRe)MjecY
z2F+Gb;!M65{ey{~E~Z0T0qU$K(f0Ggi^Y(d7sik$PB?AFlLsbPr9@BOA}jPp7<EMw
zGenU%`)Fcjg%g~gt8;wRveg+*(Hlpe;L$^gfrM#dmWS!X%aRwQi;l#|A*LV4!7mKh
zYH-IyPn<;EtrB9gh?7@xJj8w=%?m(|XXv8wk!Po97Dt7S_V09pmz1VE8~w;k^nM^t
zzoN1>((^LnN#)8CdSFV{cl0@ki)z87<^x#G{Atu1Zl$_;)ju}Z+AuEbL+TFoc|Ozn
zm`-YnL(D?Nx)<X7gZ9_#(ITjJkkusH0}cmwHmz>-xJ8m7v)PYqZuqrsFF4QZN7wVP
zunBRXHxI|+<oxK<JQ`QVh(nt%;e>Y@of^jJ?q3qI$lVApQ7VgQIJ|@kgEU&LplKCI
zv=-=jw2#d2RYA#wDvVBLE1jb<kyurHs2Vw{C{eRcge*f+5R5}{z;jy$odT9sYSe8&
zF(_7R%wM>7(YB*URsSLMA)AC&gw%o&{v8z?vkKWvNG{P#P#7GjZKXJCpHmAl#9?RB
zfI)o{78AO#D7w~Ez)qAR^#hAX3!!z55q^Y(h{8096)-7X!qga|rI-4POiZQm=nRd}
zSZblHVyGr`tZ2xQI9@5dwqy&^wS|HixN`}npNm7^XxmyU)+lK;g%V-VhAuV=0+f&2
zOiUa8<_)ib`nQ`&MP$~x8u6GE%?9gnctmt>X1Lm$X`s?pL1_lYNe`an$qUa9QkQoS
ziOJ5>QT&+NoP*?e*nkeP3yA~a1)`mZbG{#m(yFuTqEAutT3J%+_RMfm5cx=Tgc7}?
z#ApQ%dMj|(GpYyFooopPGRVXRg{Ts#E1iKzPDg-^aK3Crva)niA=6j7B58RGCV9~(
z7-2M#Y=j(9+E~qp^B^;71_jtkx>L0&`rz<l??H%1P1$-;boL-p#j7S0fFVk|FvCl|
ztFYBTrjahRv)zP>Wg9SHqG*!bL}LsXkAKSIL|97`LlS|QFyb^ZoRB#u1;Ukhoxohy
zwM0rPdwwmHpoR(~Jr{2^ST0Mg9gw+_R?sk1aY!R9U8GAQmL64IH?AWyR5CB{lJ&$6
z9Au8sK1fcE8~)E2FLc9_3+X&GCwj>IB_sR`Dzg!OKsYz<Pop|V`$F|@HPKo6M8iT`
zh-p|!prS=tH~Hj;5gr1YgF#A@&+!gaRe+ryRU4shVn$-^q31zrMe9+97Y@nsNG5-g
z&PljLBR9R7bX>kkcavh2*VQSf2r?81kAnTsqbcYY0@Nv3FOqDclwu%(LE<qJ>cmz5
zEZP#9iK=W!Op}yMG)X}xMH3dI7v2z$8kI`W8+`#zg`>Q3T0+glBW(VCMIo|8qs7dm
zx0iY;9~z#B6O5u`E!q+qo?ym?SCO|Yp6H#?5Wq|F7M8914bei-UX)_M%_9e0z2ia2
zX|;$(tVBcO6Be%~STr7y@>T2ruTJr`x#^5_-WWw>M$rZuGdjs`14cn*34|x<7B8MC
zifFQwI&$a-%9Y&(Tu6ul8+Gec63pw!24kBi*{;2LmSB9rb2Z^7$-dS6`LpP5-5gkA
zjAc&;K)X*9QJt{VR-_UG!F4iYGrW+j)exO5Y;Yqcv^2gzp_m*Cg^B7#t!t%-@fDE)
znrW-41iD8`spwIAP?H=%=%EJW$&8JLn?~dbivSUHr|Jo_nLv0Pj6PD0qEfYm#`eKN
zp;97H>CA*;qqalFzdLFO*Z>vU(XSDpsWa)zu41u@iq4<?mj$fDa;<{-FrH%)4+1(o
zZ)S$4((`8eK|m~$SBs~{l<A?~(P?YBl}1U-=xh@sE<Iir)BVUH56zL4M@*wwtHYcC
zJ9w+TtB@ET$pxOp-k?O5ib39;S``F3hc*Q75*?R2H39znybY2Jl>?7E^*W-ctwr6r
zQ%7JsxsJSm<ST|!$6$9k)F7dTM!4?OE3nzTguI}VFB(cM^0`y5%6F&!W))zXLw&P{
z$zq=$h5lbtYem`X8`fXME*Q<Is7jF^1~TD_r{iK8KmiD-0j%{NgwcWYWJP+4a?e!m
z&&Z|vqUQkJ84KjoeyAL@ofK?Ip|f;nEEcBg&cI{>+}s&=iSFE;ai6zEgfR<;D{4D{
zw>bsG-rPE|Yel`au1KmkG?J)QMCZ6PMGMbD!=esO8@A|SqLnRrI2~tT64Zc9MG8y;
zw?>CC3{oN`Chb@2zKJ?8om8|+7^EH(&}p-d6XFK2xh<MF#u`2Gi|MUnIS7fhb*mX9
zl>-@SlzPfYC`40GAT)JVy}$x5Rak64NOf#)q`ZAb8YfLJsev9ctiQrGmO(2qwong%
z9@f3j+k`q++D8|Jj!52|F)(6L_h`K@##*fz(XXJ2)Q}=H5N*a(QLNXJ{Ti!UU0hLA
z>hnaL7+fQ&5dDI#hS*+$SD3a6txe~+7%8YgI$zN@M=apmFx1@@RcNI2Xw#(C*a{=X
zx2rI{e?a4xUKkm2)t`qBlZGK#bq7#&D^TS$Q}fY6DW9fIDTt>*$-vwqrc#%IRBZx@
zAt?|Zi9rNS=S4B~F=@J=<Mk+|<31dEQ8{x6gl`~9(<-I$4)8pz$;8BmI&kEt(x8Q?
znh)2J;h-X+O|jgHH0f|16(A4eC|*_st}kLlqy@=9HK1Z5p(dA6)y>oMO3WiLqd{e=
zHiLFcOA@3(8D3UWpm9P}ZGsVt)1!hMHDR$ry6Dsh6G58&Qn3^xxt7ut(5SF@>NzAq
zXeupts3Sn@7LZt^6Ca_Tbcw}uP_&#zCbY<ltfvKA)}LSxuN@0fQQEK~JrV1oD2b2F
z9%vAu8jm$NG8enS#oC*E&yQ*S1$#;BVPHovd&OWNI(@ie5RmHx*jg(p8K4*;Xhipj
zT_@EgyrahuF-3YRQ__lo2h9wTVl0X=(Kcj;O*h=~^oUy}YsHu>lB#emxQH=L4>VKh
zKIufdPdb(!)i%9BdS1IiRUvGFbw`+P(rQpv3%Wot`<8QSz%<mro@o}KQb&@?*mh`W
zBI*+JkX8sqZ6^(j5%F%l{`8`|>u@V~wNw#8RUUT+hE`CDI0!A5I~1yd^s?cKI22>G
zXy$}wqP5VTe-+BLT08?zq3bFrE?>p{rWR~zj12<N^+9CI8$`r?-U=BZYL6lwXcQ3-
zdTV8bs9uVAY?Vr}3K5iJgK*_cR1f32Vre-~lPOWBx<aW4Kc~M+lz*uj?iY*Uo@5r2
zEW}>xA?~!DB50wHwPKb<p=*62XB`K9td)~3q@ZaVO*#%jE)w|KAjLKTrBEgGQd2>`
zr)xz)o+XFEk4jZMPL7CggvXunEIA@x7W{GPpqqs$(sYG(b*S95ilg%63m20`;V$r2
zz{OkG=&dh9QUZAE+D!v+CW%UMJ?JkK9w_2EVHY(XyiLs`FckPY@vg-hA26T5P|)l0
zjqsQXTGZmc!R%B_^ebqQO)r1Bc?ix?5M50WDS{#eii`Otu*YjfaULUw!q3X$ir2M?
z_(mB|j)<4#e1;soGc5N4MC+n8{%d#(Toa<{UfySTePc1+9h7mU2Y=%-@t5brUv56y
zp}LQjgLiYF6H3XkK87uv*n9-{N6NeV>o(%X$VYN^joTif#Emrj+0kZNfAd?L{B?Wc
za<V=*ini0;77S!bc$otR3-pQlg$_uKn|g|aJEJ?eE+M&Sk}0goT^^#aprLA`mp()i
z$$AtCkZ=rChx;FbsC-0FBq7_0NkRZ#j)&NCv1Lw4BvHB8vJk0i?HLi^&JYPGBh>j~
zuOup8EbZL=(FokflCsgu_XHo&0+3OQDv=5=7KR6k5Jl)zB89X_k$^IS325T-5m<{r
zQ7!fo5r7<NrLrVbG-yo(*&0MiJ_=DpOhy!e5=p!q3mIf2iIJ*S<nhr6PfQX*krBZ1
zC9SGNk`hULDkF-BNktLJNGFhV<)K<Zhw`+FyvmnIfK@I<Afd#|m-tlC6n%)oLLrSJ
zXO@rvB$Nc@V=}2|lBj${rbyBt@?=Q}K+zCezT_Yz6WWl1g(xgi<=ZnN02xVw@+A!_
zp`<HU3qus~pglVRkWeR(@#Ud>U8Gear}8BdU~*Cf5=y*$jF040#3OuC8}_^!MP6eN
zTfW4lbVwM&AqtCBL3_~%Kt__FTr6lQFG*J(YScP$*%K0ggp#0qNl@h|>B>VC7CAQA
z6B2-glAs*#&_i~T2-dYq2>j8Ad~I5&Ecl^Y8B@L_1&nEamnKxA%15A}s<7uq0CJNA
z<x5tns*`l(AqtCxDfWZ}AfZkm<I6)8I;R$y0Qc%6AoW)ZycFTi5QH?uQBclRXzdr-
zuF0`J_uu$cHMqGK)_;B!H}V&FY2p-_>A4r4OeMuD0)evGp6aIqAq+0okRaUYaHqqq
zfLj4~4%|6`(85}j&9KBy214~RL=Hk^k%%J)p=B~e4nmDGL=HkLWQZJuNF7K=4nk{W
zh@8Fi{;A#<n+t*jh=JaJ2;R(^i+Mf9)KD%K9YgR=)?5!<58QOPcpGbOCS1IVH5Y4#
zA$SjKt`Dvct^pTsV9m{ki`TE_7QijoyBsGr+K?aKx>ZY#TwncfzKez+)WW99|C{fs
z?JK!$g@!6N!~Qql{oj1|fAd{68?P0E)&J(Z7_t91-^KJruF>+PRUE|lO0!9tCD3e(
zV4ChwSWKGae3ngH3BaUDCy?>~o9~iN{x{#neD}Kl&3FI9`L24u?Q`d%4dUIlNpR>!
z!WZzTkRNWEay`mTCs#}kYm552ufU05b{<~y%LL88!SCDz8$Y}clUT`{9=JPo<Nku4
zv}B-D4A^U~#qO6lLqgf%z(;{NFoIr#Hf?>d4oq6<{u4->fYRM_8lva~h6_8*G5gF0
z7^}}Ito6E}iI^>BdeDv}QCrT$O&qgVVdBceKAb+#VVwCi!WSW}tL@8WSejvTxEAb;
z@KTWt4vQP%)uJf0UyQvzK}-8yShHXQzikszp`-j6vA_)qc*UMA+*2fk`vgQF=A&?b
zKqy?4kor$(0=tj2Z<#M#YzYe&_q2tJeH-E8rmb)v^fsaN;<l`Cag12FOT7n$yV&c3
z__P>J5ia=S^(KP9aKT@=;4fV87cTe<7yL!Pj@!P%1%Kg!zi`1{3>e@Kw~Y!xH=F2u
z1J3V=FrClAZI(R&Yp01jxTJ0D+hY$APZ+crd!&+m(8H!2ulFf1AkAiy=3RJb3!sO%
z!bO2(<Us5JBn_J9^|}|)M>F*O4{;!jZoEL9*qet&;lZ}N^xyy?JUIA18Ynj0B)Zf~
zkLBYmcW0n?dGjTDpEn4P86H48pg1!~B;f^}nvg&COwR`h8vuyF{1k-NdK+YDs0X11
z-bNW3Ns?guLWais5L)VOlA%f1+CYXaGE@>o2!~b>qSB}1kpb{7tH9qAwKCV|8l=0Z
zQM$LTlJ4zI(*13VbbsFp7u+879t1adpbFY|7OH>;?9*@$D+#Pu9+ad|jii8Dqz7t&
zhjMqJVInP5BhoGn`olS1YzRZzpg`yp2r_cHvO|fDNb#K7Z-LqnPfwBHvrQgw3HKp}
zw`Rf%_jYRWaDSUG-QNeLyOMTUAY<=^AI|rvbJf;fdGAl(HuTqRh|3xD_nP-nj@~)A
zi<gps0$m96sTv9+NJH`@v`Ek1efR_rXmGp`H$3rzd@4K6=m#tlSo1rbQNuq%*Yu+%
zh)?}gdT8F_py;n)vjfF#?5}jD;FGqnsk(?<GU?15Ybtye&P<pPVPH5P$BprZ{yw7(
zdd}~UwI~PKm0^8g#I+gL3m+t_eGB8p^%RNjPPPx+VIA~V&0Z=9ID?-NDy3s>^XLqp
zzI!>3I+$nxJ0m&(bD{emv&EAo^F8Drno0j7ee^#byKJjPBcRZvApMtM&l%?lQEe1j
zS&QOR7m=xeCmH}y%yW$*28~w5h_|m(OtQF@LMXknRouFgfdUV8E)_Bm%%mQzRtBc~
z#7!Xt#O)yA;;S9PMK>Z`+-?#sx*6f#CybbwkPRcRihTUd3D%W*z4Qo&uL6JdwInV+
zOhsag!b;j@jS_EMC2$m2;_0HS@YBSW>|B&ZxabarixLPI-5<%ZF!aUIqb9nRs7;86
z0}hD_G*MkXvH9{*><f}Vqa?VEe>f0c*#sFB^*oFlbg<xPKpt~fR)D)FxYxZ$648bs
zZfNQo#`55lyd@rcADj%P0EFP!cH*7XnLb7zDxv%5|N1qA#v%CdV{>3`Z66|t+d`qW
zUK%~I**N&jbWqmN=`b3o*+!#~0q5`R<N5U7vYm+Wya5`bp*sa#FpYg;Jg3%7BR5rr
zxI24*hI|@30yte1q`|!b14YbWUI4C<!8|1?cJOYn4d%p357ub9f*TL#v%%c3_Uger
z^Otg*A$ByFQ#NWa7v(_D;Ij|r`E8#!@WGt!ho6aZQGcigbGqk@kmF!32XS<jVz9nT
z4dP4HAdb5+YA|n9gLw<YqV^*PaU75rVaz?m;JsK4;^?o{V4g1qY48^=_zM^Og$w?|
z#egJSob{mLlK2Z3{DlktVh{&^;etQhHY%z(tPwdxLpL5xZ-tz};QSa;qx3jN08aq#
zo<{(^2-4D|Ed?!y5<nWkD2E=6#{FnSgKo9FV}f}3gs$ilWE5s}<U!PZ-bN%P--GIb
zUEDv`>7}fgEb3GwG&Svm!i7}Ag_v+L()@vV!5u}T>K(N*@H;Y8gde6pLY5dEd<qWK
zr~u|Jn7D{}DOSN^?t)VVAGO`ER~l44CN8;IO_-i|4}e8v?vmm(cgcaN^~NaW9fW(O
z?z+y<5_0T~p2DNX2TVa}yuwXep(mk7(y|AnG<r!blXhu#;Ug4d83MSuEm3r1@R;E~
zKLRRyV;H>{=1|reN+`Q!cu*st1$@1n$u!DPt_N|ldq!NIoXIrFxN$zj$*vl4SIU`8
ztBflSB2ISO2FBp@@OYZZh`ZZx#a(T<3mc&;xM5N|+}oO@dv}X;?{AgvtO{_Goj(*L
z&wZw#-vMVSEp_Qu_2MADS0m)jq_FAjZG=%Tg7rfO;fDI$h-lf{!vjTu4j$RxLx9I!
z=(qsLjvv6YDH4F5Kng${ABG#wL<HR1eA2y}x;%vM4@&o;3b>fO^lHEja{IhxBjzoi
z*1Vrk>P@0bzYxP%Rd-A#QY;`eE3vlj{SuRwJlrjkQxKeY;Zu+lOhLxLdN4<zNixko
z>h{H%;T1HapkrW|f0&qYH2=M`8TTQLOat4`JJifU%{yYJ9Bg7?n{xQR<&?t%gP^Gb
zpK@d>Y-KGfh1#l50qv(8WXhC0cFGYXR8Ki7WI#?iYGpu9Imo0zCZ`;Y2vGO3O1KN;
zkdC20MTD2CsRlYj5x!4MHE7B~h6X0zXv#r$2-<d24zfq!V#?uzU+kp`cd43cpwkxN
z`-GuUzAYrj!d=lRhq3|Nlp|kFIjsGntD+E1Hv%_qXo7M(n0256{~NQ8+r-csnRP6Z
zL7H-4oM^iSL7H_e_0lkpSw{~!>o76vpy>pgb-<$eOdabA`%GPSVWM9Njm1nIJ?P$7
z@I^+U0GhAR{zqj0K|I@EkFl8&7&KMM#4t<qkyRM4XudDzG1Q(-d3c{@U?4jv5P5Vf
zW~MR+%px-tqT(|TVj2nKfa6<X8X=xpD=Oo&wyh$#P_)zVGo&7Iu5x|b<A^|4Ar2AJ
zF<H^5X#lOjxFts+`E4|D-tn-iY&zbFd&(jtPF)A^%_%yCt>Wp1vz|YS6?mTYHyX&O
z?|`WwA6kBIc}<RD6_`(82<xMl-vep+eGsD^z;qNKX8G;I=tRr!KJG=QqRd#NEg%vX
zSmP_Lm?WbgT_B`~XR$s*vs8@yhFpK&r4MVME>KFf{>E$@0VI-RwpxG7ft;<sX;Cgm
zd33w@@GxcKf~*MP<HOXur^paKKuldcy?6(4_y{re@0l`GmXFYbVmAVD_}nn%O5?j2
z!R7jUKFt&s)uL!{#izL7if?ei6(8S%`}-ytzfuidPqZQoZfm_kaDxY`kRGT49t+b8
zSURo0pQE7(6i|(%fLf#nYJmqNi(D`ikU%ve?b3X`{)UbOLMvKy7?Jh&ttm1E)P{Ju
z{=VG<Os>CwOXf~u`=q-vU%F2OrTbh3T*&DChU;&yShlM5cOS9-PC@b{G`V!W{)ScH
z1h8Cx>sFoK(fT_R>+gKgE;0D|+O5B7@T2uN20tv%Y5k3f8jf(%`rG%NtiQpTj)Wo)
zv4S2d*3=_CG!Bgy$Rr>6OY&*#s)eyqs4PhTvn!}?Z&28CwWtwVS2ikOQ3C*?yR}io
z+$9X3fZJE8n4i$hoLT?|j3DO97zt!xx`!sttujF0MZq~#8JOcEL0qV4$~;B5ONGJH
zlDq;$#M3A62ZebPr=SS06?Tcde6*%EXieRR*3|j5re0P{Lb=NuNo-MAq(OK^qr_K{
z(4xQ+A1KNy_@ZROMOlQ4Vh9%{5H9*vau+^<0gft?>KU6XnCAq-SL*I7+IR7XIH<>?
zK?QkZy>UZO9G}*&53nVnr&;7FV$rik(oqkEtrYanx9IgSb?dR~VH!2q$RslCczjug
zAty4v_|*8~;^PZ7G&B5A6J!?S%j2~ISS$9tV}_S{@QMsC#3M4CV4>T@!w`S|&1`r%
z&{i&ka@hT>Er_68f76J9&YY6dg4bFv3ZveugY(q*^qoYg3ZP)@!Q(WxSglJOjll;+
z)A)in8wAC(255sS5}Q=~P_}5D7Pc~W(+EZ_L@%Z2sbL@O0b}nMUhD{q15p>eDMujM
zW$$Pm<wD<vLC6E`#SB7d{&F3agmn})f_tHSImo>?czfi&A)YBfU8{AJY_8}@WgAuF
zkZhkoWph;HkZgsb*QFMSbrcObvIVknD3>~B*%aZC%@93no*a>=F(Nb$!k~lq$k3H?
zM4|?OID90QMkJpM&5|Qhz6{j_5ht4}jY#SEY#dT7tc4ojhN)S?y{%EYcT;mj`2Hs8
zKGY)J$6KX)eFeD51`iK(flT0mF5m%sJt94O5cG(EUL=KV%s^yoCJ|gPUjVXMTRAi$
z`DpPa+c%hD@r6ngM9>cSWQY3HlF&3Vk<cFL-mQkB`>BNhe@G2Qj|XM=SsIEk44tOd
z#isR7VXu+x2s)Y^Sx<?|7Yi!tzU6`nc4IZ~{YU#<U_A<{UEn_Lc7Y?K5O(}zqj*~w
zJh8?ol;6P;Y*j79jV!?q$tBpQV%PA46Wyo!aG+1^`|78G<-V_4f2nQUTruS2d1z!9
zCx)CWedI3|Lrw$CkwUYA^j{-}96iE3TMM02H@r#_iIaXr7j6_WI18m>ZX<J{m@CEj
zKt_(fU5+_wn2}@7K^Y^*92cq*WOB?&L4f*yk8qdDJ{@BYHF+9y$c$+S3knwx3J7<t
zuskq{jyYl<x8pIV0ckoKbI3M<i!o=F;ESRO7h8?O#nXwx#V(U@(b<x_@Xu<@!GS~7
z+Xceq!Mt#(`amGn7Wy-6>tS<tQV@NW?B?i6xyboV(XU1xEs5PBlh&fgDB3oPrV~9P
z6fYk+LORujs_`gqfgX=&9Ecr{Xq0I`9?|E#@#;eB&~qNJr6PrkJd)|AAp{|-J<nxQ
z+@>Mv6oyMdatA8cr(A<vk+`;KR07+JHbS}BcDfE{Fc08~uYB<dRUFI2XH<>Q!ag*t
zWNf{$d4L#S>gK`0XH#huyPpJh`ktkbIQo$B3Rq3dP`C^LJ<R%`c#eiXWQolVyuhPa
zmhY*d5Eg~QN(LGE*NjEBS=+JS8|ox(k6WFiRX}Ur+Ns`2ZmF5DNv};p_2G669y-HF
zByk#(=-qB9{x!5@dm0>FLP`<+)Nq+01~znc*dRq)$2l1E22aE1@~^1|J)RvVHGlve
zk2nxaJsi*+ppa9_hpKdud~$D}R>oA==*qYUR>q`{tR{Pnw|ibY@;oSBW@m)2^~gs;
z@h(2}zcK3E41m;GN{<-M!!n!hv#%D98p_gRr`*~j$}Ed7Eeh(-ha^gIxgM-9^GVH{
zg#OV4Re3+cCp>jEppZ0Qq;y0;MVE>qGzhd^70KE_6^)ct^t7}k)SH}{ENrSNFv7VW
zQ3t31p>YTymEKOT@(zmJbD(lZHJb^|l4_V<sT0f-UEw&)xUs_v0jUoqK|i=f6dcvn
z@l^r%68t>)rQnx@A9@*@xVgwE=*RuXiu+H}exG@tiZXtm`MZ(-f1*1~*pFFfFoT#n
z)b*ML{QuRmV{PQ3Z_WNEdPggCIq8<S8PYda2DA$J#`N}fW^adJC9Zt@XX4ijzwgVA
zNRR)n4SpM)=sG(dd41RQbsBWk1Ha>?E3)fvqg%VZar<@Z8|^lEEFS+!J3~<%uYWG6
zyXlsz|MFpvYqMW@{=5sT2EP2-(w8%CI`Y?Z=5_mZ=?g`hPS5_u{1pXjKHYcb;~Tfo
z6f5?+X#4{^etAwO<I{Bs-D@iUUV8Wb;Kzr0cE9rHQ(j%yHg?>*_s?D1FFrHl#TVwx
zntIWKhi-{Y?Q$(UX>8gV#<(9RoO93H6-8Y;`+k1YyR8L3eCeNuc0WFH;FFK_-`A<)
z+}mD!$y~H_|B>I0w<mW!6lf<>JDMnvQdd$s@q+grIeT1-chn`%-*L^1z9T0-_~?^&
zZyrCR^Y%fj?=$yqI;p1gSBF#H`TJV$6+d&i3VaXUoijA^jB|2t|NZ2+xHoS7^4-cF
zOV6LwY0tekdA>UFAD7-ds$s>S`vq?N*Pfr8T3B^z+O3JrwRxlNeWCLce;GWm^znwf
z3ahSr<&>OrHqV^d=fkS;BQpA>o^`^OPUoHKu6xMua-I0Vv?D)x?TMFXPrPsM?6(Ss
zC!9K>=Zpi73_N&f@-??Svgb2%^XQqzj}QK<Wb7X<zvQ!bUi#~Mk6+NX_U5T;_MX0R
z#izrrdHREy2j2VJ^X5q>|M8N0ez@qC`&;LpoV@IfF*BY!^!!%^F4y{ro#%~A_|<)x
z_YGg=dic6&o0m?kxwG5KpNCd`uy^XJ4X2cp-ZZl1!v*J`-s|AxCrbbHoAbWv`;hDM
zbWdTYI})G0eD9k}FSzxZ$G+I~!-p^bWNXHQkDYbOgPA{Go<8`C1Kv(OKg0z5fep7`
z_u-ZmAD0<(E`2>?X~sX+z1r=QvjQK@yn1y(dfyADe{k`Gga7=+y>A5*gFpXW;R*Xg
z3)UB0d(Zu^zPhsSKhEDddgx=zADi>x)qT%B<*lx1mo;7ehm$@%Z|C;=Yd1At{`m5d
zshF_3@1EU%+7Ehfn{ZZH()tAl`)_;cx_hs@=$$iti(Xx^<<>)2OuewzoHx&!dLZG8
zE$_B@M`Z5nbN9J(`%S&9ZT8AX+BVNCvYt8XiRb&>P<>r^^=%UlK9$`%?fR~stMe}C
z^zda1PItL(d$#fy*Ux`<c>RE1UpylJXK!6R_@$qGzNg2P`9)Vgxiw|>NvT)mJZO%%
z;>?G;9d17VjC+22WZiW=?w$Vm+`!s5UVr(vw$!xJ^ZvSF$5Ze1zU_wJk1u#M=frU4
z<Wt99T42r}_3JNjNH_FQ{sUW+{<ZFr%ibI3zWVx8%KmcEZNCavwf!k=z%2(p_`}oX
z|41ktP=D{1AD;EqydQ?QZO(0a<g>{aB*yREQ=9d-nx21p{|7TRez~LjZ$~||e7SFE
z{LfcD`_jyjuUtOzp;N|xFk-CBmHOUICvW%v`TefGw_kX2|GLf_R`%;Ldc?bJ*Z*+g
zs&jraJAd$qF28^Ai#`cgzjgQ9h3Aegy}tgQ_1B-)v-_f-pO;YZ=%_clJn;LX>%x7`
zufK2pdu!i*b5NI8()--G<!p1q+2cB|8tigSF@AaWS${8ob>GvE-~MLsp;LePK<DRM
zF8EvA)Sf>a{i}=fd>1V5@|X7(ju~9_@Ov|+WzWv(|JB{g-q_f1$E47owkP&3YkjI}
z--iotY#R9c(n0sl`ON>P#=RM*|K`l6e$^Vf@vJ4#&tpBmeA}P1=EPf@jo<un_v!^F
z49t4Sc>iZJT35dP#N@MIdp~@_`pS(pgHC_5{N9(=w|?39;_}n~*l%*b`|m6N<D@HZ
znDpYt6-WDjHGkeo8_qaq{`f}%!#=;z|M2Qhum9=bDNo&2T#RK)uT4L>p?S`Sk4zX?
z^Y&l8M}9YY#iN6g?&*K~A9feMvp3;iQ-1XJ*xFkvHcXppChY%YfN$=f%MN}~@x=pA
zCN-B8-TvI`I|_pht6qL7@Q2(xZ%n;ojpyReRz2Eq@~vMyI{fy+nd7iNxb>Ese>Zme
zmW#_a&Aa5DM<)Dn*3HkAUB77Wg4*gcU&_t@>G<gzAG+?JT{8aGboHrYulx#kdH<7(
zMv~YI?{oeZSK(Wietd9A*Prd$^x?9P&K_|7PaprV<+X=i&b&LNVdd1Pl4icp^)G8`
z&b{QcGkXs_Q1_>o-j2=d>qDy!teA5ou<-W%@6P`7;qE{F&26vGZu{V`)0T})GA?^`
zV&dad7M8sE^c}xzI4QaJVgIXtFL$}Vh43JK_*?UL4I47#=brRoBgbWU2KLSBo8{@3
znKdx;y#6$K$3=4ry5g=K?TVX|64$F+=cEP<%%thwBF5!Pqlo}6GzT$PB>!DB>|`gW
zgyZv)(-tTAlRb+PbCc8SP8gnC8=o*DzH4$iFn@9yXtI-&{5T2ZGV!axkFLjP@JHM)
z;)f-t-I|b_><Lr)#V7caGZ%HrNgi0&d06tQ#DoQLU6Tg_^CzcgCwsDE_>qiF_|f&S
zbcEcmD1U}>)8V!$e>J)O<djA6W^!6x!pP)<aq*XSO-=*kCoze(2g!!(m-HuS14KJK
zxg|cnhS5^~K1I8bXmL^cu?m|-Ks2vm9pzQ4XoX&)w8QPRl-Glb_9^9x@+&`vI&sm)
z$}0-%P6&9`p^lQ^CD{(DIP#PJ7sux$r!7jzN%qtwju&b`Z7JH`YHIOyv|i8~ikAGc
z%-~y>Ff7>v-35elT_jtDqO;3pAa1dWOC%YEZJ@rDZDf;e<dSU+Bik6B+>{u<!@)EL
zAo)(kOVrEI<dj><&cX?>p~Z=?rMeU13zIz%QJQC9{h$A`RoG_=Ey!@)-hm9lK66M0
zzqHTRP6?&Quurmg+C!nMi5AMDOv9;62HCqPldyNiZ`F?yetD`xp^$taeybF}-b%i3
zd~T%u<xshXCAY@Mf7!12ku3XF+8>Z^qOt^H+n$ysG2!)Nl#OH=OcQookJ2Cbh2v4S
z#bis15=Tf`YUAS<w3EdL@;NH)Cn~L~AM^u@6H$&u)DP5k8cv1T)KxTpbSJF&Q(v@J
z@wke3w6EhuCk!PXFmURMB58-M--ybl^#4-nUngD0|B@O53a}_)6g7tUmy*+lB&Xyi
zCk;V@F$672SR5aZUIJm!&kR=m;&qfiE^3eY3Tq?)7wLVf!b&1Gg*I_3*<v`+AiL%^
zbub~}ykqE{<X)}#-ANf#lWoHW!qkT<-3_5~7k5-_R}PZ=L#6K;kw>&MAx|J8&!w`R
z<;QPI9yqLB2TbJ}tVZ+aJK!U1Ta;@g@j*YEkZ|)c%0>JZYkm>?jOr=MZ>Vg0O(!P&
z0;7!6*g$%EQ}O$E^hEOXri}tzUq$4J>M1IZC|^NxOH#txW5`4NN)^A!vHBA2PuM}s
z*mpug=GW+Jt>RY|;RicVb`>2<MSDg=>XZ=p8h+iV<Hz;GNO^7iM12ON{u@t7c<*cY
zO;r5;5RoscKOvv!&xL$>$t?*9bH9e)gNh%$AyW2VQGU_-$S3*ol3PzmIQMJn<6ny3
zUK|X!^NZ?F%teMLuR{HH>CoN`J-0Dw(+Agg!H>quyA;16#B>~u<FmxrOmS-*;>gZk
zQE@MmeTaTu%&|oK7JA}iPDB5MKX&f0T#-4Om-K_{Vba&v@oOBEFe>TT{HhhdLTaDK
z=7(|qrwQkGIyS!zir+833BQ)Cgpy<MONU53s6uhwPk)eaF*<!cM~c5QI!Pj3`xLD|
z*2cwrc6ekytJ`4bgcP!I^v@m5XY;|YLGhaw%TLsuut_5_{}`U!&@G|YG1?4??{pFS
zMAyehJBm*bcWv6oB#7PTj&L=QvM4f@c*aMsA!y!5xJQjaVjThOCkk&;eVSMw0LxJL
zs!{OZ5^W3aCHN7a#>)wf;^a>dJD22(y%NMOb1X)o1hI?X5v~Rh7KJ6RD;4}(m7GBp
zR|J>FfBQ8TKu37318zCsG=_D==TE>-f*$DT5M6p5v>JZGGgaFlJ<|0YeuUG*GIWXc
z5ZsOU5#FkBvGxJhqVQT}mkSZ5>ka&fKBb!oy2M%s-n|O1Rd|Jrb{$suL51rzOgs#c
z_^e8ngawNJ2MSMdOF*m_;QbNsj`ZMB^qGpD+A&?{IMDZ3^g$c_MGo{s6@7!E_e%Dz
z(GK)iD*7gy{ACJnRk&E|fY<d7d_s!;penT1|F0BYi#<ZR#CiqpJq~<UJK&#SO+fZc
z&mPki6#p*Q2F2f_6ff2<h})^~)_#&utV7^^U*RrVeBlyn47i^vJmq`=%e4Y|F@{sU
zw<uh!0{~MxfnOl$uab_dhr)fd@W3VJ>~K$0xaa2rcImk|oyj0RjS6p+(XI<Lp9>`*
z=H&1WRyghX(M9czu55+pUnIj~&J1s!!h;t}T+D&touF`!PvHpDHA&&E*)pv8PgQuW
z806Jl6C~vtA1dj^oDtsZ6n=1+#KqhX-h~RU2uNJa;ouDcr~0k6^;dT)`i2pbUd++p
zZB)1~PvT;(1uwmGm-N|CEO8~SYXk6(+9N#{NA#^W`uz&eERlS~90lHFWrrTs|Fptx
z=<1<x9}OtDH2!0SH^HUrJ@BRLEQBdvSD6fpISagoqL(P<Pb%GLMZapcj1hAZcxNj-
z<$8&Wxdps;D!j2y;`d9(^@PIn7f3+N2jJZbyd(X*t@)@1EyjD$A9kSs3OLnclNypT
zRlZ#@^b)RzHjVdIxKGu)#`|h|)emcYpr*IsISSYPc~Ip$LgB57UgNI(3(m{xTjZKi
zHlw<5%H*mURj!hXeuYzui^``K3vY3m@S6UdoZQj<^T+lrDle<5uBa@p=$q;42+eZk
zm6ugdE1y+dIk#|hKUd)}b5yq9EF3j-=$PEGg=78MW^SQtRz=~gno?Kg)S|*!Aa@lO
zR#i_fx~i~f`c;J`lV_A7@1pX`%HpEx8Rcb=QG_ezO5e4`mF48CE|-Z*D$8d{Ur~9*
z+`?<hE2mO9kO8O^Nk!Gwl`PbcC?&UknjK1BRy<9D5l_F#Q>RKO;^|jaGetrXPrs=%
zX7?+UAoC)Z*fR9vQa}fiXW`_kS)>uLBb{@(fli%LD)X7sj}am-6)vfmQ8pVv=x*|i
zGF@DS3FU$(4?=B}3#nabP6wnsLXhb*N~%kXOR6J*%B+aDG|M$7C)*T%#ja_^)rA8J
zXH=C>a~02?T&n$Z#^!?pf0Cj<qfmZGRM@}pn#pqo3qQA-^0H#r%t8=|JYadQ%E@I@
zMIBEqMCBG&7Wxav1agcD(zuM9GPk<8sy$tHlrFbodNGW0a_NZTxx<Rf;3M1Oocx8;
zipyNt;=igI@rC}<8AZh|hm?%Bq|Pp%5~UqeTvS<H?Vnazj9kmWssl;vG>l_W<=hHX
z)K$f^@S9sPc}6ADkH{4zW^rhq46m9#`Ksc6=bc|zHDgvqX|anDqDe;yXBE#XnpNS-
zmb!$&_UG!atf-tZtC%CBC4%xv^}B>#l%GVJ)6Ydtg}P1QI!*Os)XmdW5f8kHD@)<%
zjzmAJ@xctIDU!w~I`Emy=u;TI-m@Y8oX;9Ye-fk5QsY!Rc^J<57!0SWmX`AdhI4st
zVL0dWD~5AE<!W6(@^CrnA$hv&`dqGXyZkE|&hu?yIOji5trzTkhA^D-8NqNa|15@c
z{-zpt?EEidIOji?;hfL&4Ci`&k>Q-reui^CC+qn<bV_SkU5^(t+{5rPhM&&xyBY3f
z_zMi@`Z<$?#zlHK8$X@zMGWWsM=+ez&u2J!H6M%NTn~R@IH!Mt;hese;aqQ<hzOTm
z{=YlmNt9U8^L)Jy_yrDlF2m0OKV9B24F4&^uTVI(mp%-ywc*M<T)(v8y^)5ldu=%J
zqU$jmu9hLL=WVzt$z59&PI}{dev9F}e%lz%=}#hK!bN<DMC;*ZhI2jtis78kGYseS
z8yU{&_b{B(f5LE1|KlDcrIeG?pUH4epT}@cU%+rqKbPU0egVTd{U(NU`t1zo^a*tM
zumkyj$Z$@78N)gMDGcZIOBl}Sf6s7E|2D%p{XT|s`d&ZmSpKsZ&gsW7ob#W`a8AF2
z;hcUq!#RDIA9XCxj~UMC$1t4ppTuxZZ!w(H-^p-Jzk}hNemBE8eHYrq$3^Xq)Bl*^
zoPG?$IsGJtb9#&6oc>ORbNU?&=k&W7&gr}0Wl40klb_+7ehkAo|49tz^cKT8{hbWw
z^g9^N>31`n(|7r?gZvEV^kW##`A=dvr?(i+>F;DXr{BSFPQRPsoW4sh2l*M!>Blgf
z^Pj|UPH!=s)8EN(PQQcUoPIaMIeiy3Ahxp~hI9Hc4CnkOF`Uy|4CnNBGMv-zU^u7W
z&2UcN<rD|~Gn~_pVL0bMiQ$~yVmPP2li{3x2g5o2ZiaLEE;LES)lUBm=k#M3&iPMb
zIH$K5&gt)DIH%via8AFQ;heq;ou}zYeui`UF%0MYCo!DUFJd^Szk}hN{w0QU`oA)q
z)5m#8`u6%i$s=G<FPwe|!#V$v4CnN78P4f%VK}E>&u~t^mEoNJpA6^pT~Bj~i|mTi
z4`Dc`AIWe|KbPU0{uYLF`t=Ow^jjIu>Ho=aPT!RlOSsy}&u~sZlHr{HT!wS{TNuvi
z*E5{cZ)G^A|B~UHKIM##<-d^OoPH?7IsdB}&gpMrIH!M%;hg?ChI9J84CnNpGn~`+
z_eRUb=`UtDr!QtWr=QJmPX7SIIsFq1=k$MLIH&)F;hg@AGdq^QFT*+g1cr0|Ga1h5
zmouExuVgr<-^FlFzmMUZ{*1F6<YzdipTKa=e<s5@{c?tL`jrgl^t%|&>Gv_5)1N_$
zVO)v$ar(Xt=kya8&go||oYOC7IHzC9a8AFA;hcUS!#VvK=|cSW@-v*%PhdFbKa=5{
zemTQA{Yr*&`dtj?^!pgj>CaFH5ZdXV;hcT~!#V$%4CnOA8P4ffGMv-zVmPPY$8b)6
z25l1IY9~L#IsF8NbN(|K&gqvkoYSvlIH%vma8AFE;hg>q+RW-meui`U2@L1_XEL1A
zFK0NXU&(Mzzl-6Vejmd*{TXVbteyTD&gmyGob#W_a8AFR;hcUY!#VvfhI9IT4CnM`
z{LDfB4CnL{7|!|6WH_f^&Tvk@lHr_w7sEOIK8ADpGx|En&u~sZf#ID0Oons%<qYTa
zD;dt|cQKsP?_)TpKjT~n`5DgXCor7zpUH4ezntNmekH>>{Vs-c`h5)N^k-x`$j@+2
zKY`(#|4fE+`sEDg^eY+8>31=l)9+(Ar#~ahL4JmF`Uwo@{AV(p(=TT@r(el%PQQ!c
zoPHm}IsMQ2bu9md4CnMk4CnmI7|!Y6WcW$QO7Fv){bj!KaHwf&yj<b-{_t9cbN;_!
zIG5-54CnNl7|!XpGn~^OVK|q6(f}#HUCtQ{=X`EqIM4SshI9Jm4EHeoe4%i=-g=+c
zu{>upobxvr&gB`ya86&%a87>%!#VxU45zIQUB4?B&iOpXaL(ryhI9J28P4guoFCN#
zudlNdPI^mb@?6g7IsamYbN)9w@LA00IiF<==X{=HIG1z41yT7qpGz3d`HWzAcUG=C
zhI2l*GMw|do#C9%a}4Kl{_4W0oU~-u_4}j){sO~2jK0kQKcsM~FIxI&{$DxZse?g;
zi|A>ptLaa5z<;K2YQJ3m3mx#`4txq2y@%yH(*d93z~^2@&-MI+i@+2Ym5WS9mn)=j
zyZm=M;14t0!}v5i;4KQb>wmWc{eB1hpALLFUko8|k^CO~bh%D;z&#4L%hT6^{vro_
zwFCZ=1HOyl+)fTU;GHi)VQ`V0+zx-@fcJ602Rq=y6>itt<qr6ChI9F6JK#4e+^*-v
z4)~pnj|XMe^|;yrU&nAR&#Mmjy9&4K^J53Rmk&bVBK`1obhD38iSvB#@d;SabNoSt
zQ@*_aS<mP_h|}eL%K>jwxSdbDABl0<>+xg<{0xS3IkOyazryYLj&h*C(gDB90l&!s
zzgOXuFSq|k9q^YO@V6cC4;4;&<9hhg0e5GUmfP3+PaW_<3Xew`F8?q_??Ifd_sbmc
zDU1)dpDKoP{x>o{r!)S)aKP_md^rC{7|!{>!T9iYanTTDhASSwpW~;?^|r$8dj8A-
zkINx0k`I@sm%@pU2S3d}*8$IW;4{gAzQF<itpomq1KzA~(gT<OWk!EGlmBlH_{R+A
z<^4e}65~q5&x4=VLoWyXTnGFj2RzRKzrq2Z;egL`z!y8<cPX6o#_jD-4)o7B;9DH<
z*BtP_JK#qg@J>S^ATGO{rzo82h1c&-9q@}8?m-$|kNFPxwG8L&ZVSUXpZyN_=M3j^
z_8tZyaM|TQN8$GJ4tBstGd>>h)8#61z^`UFm*++Ye6hkwp0gPLI~?%)8P4tMF$erD
zg_9n*p3gS`;Iiu>#{oAPPFq%550^8X%Twck*E!(7bifM(LQGMQT>je?PV)PhJioQ!
z-DGlCvkmX9@GUl6ZRfhS*>JTCaqY6<rsCrrE<N^s>|zJpRJdLLmpkAU4t(Z2;ENsj
z{GQRD4v}>|iucSSY;P}{7`=zlzv_U$>wtgZfOi=Irnu~S`;h~Fy243syuF;maBiOi
z8J>YOy1YXff3AlD2mB_6b31&I@#pgFbihAid^}8^FCFj`m4VsorKbaawgY~i13tt7
zztjPrsBpXfXEL1Yc@E>l%e%+{U+RG0>wrI`aJxLuFr3S?#evUj4*1_4@Iwyx7YZkN
zxE*%M1AvQgE>C}jQ~h$gx`W{!#A&--<A85u`00#(zXN_);dZ^HjznTyc6%G_fafrr
z?~jdiz$Y=>gM4(kDjo1zh1>NOVmNPizh*es^B)+0uAgTd@GTB}-gLk}a^RCNinQ5Y
zpQ#M@AYSX?Ob5Kb13uINAFFV?-U=Dc^)}N1zn0-#pZ6);Zns+*y^odauQt3J;^_Lo
zhU;<pgnSuK^84`XBZICV*>F8BpKildGjz>YILYb3PwRQH1AeCi{znIVEyKNx|0V}~
zy954~1Ag75V2VrYLF;F!4cGd7$cF3k?zZ7tpC8z8t<OU?T<de_gs42(@M`{J8P4tG
zw#y~G-A<lUxGtCGv(bj@a=l^0wH`jT;ksO%uZYU&gIAa9Bpa^FRi<#eoy>E<Z*jnX
z?SMbXaBe40I^gRZ@V_|VS51s9uh!238?N<vw++|&-)h6PKHsq6gJpKEcWt=V=lN5k
z@^CxJVK}#wg~gJd^v}n^Eey{=oR+g^NtB-BpDUc~ik3c_{;X+|o^V=fX#66E`xtK6
zaILp|8{Qjf=$d51wcbi>xYk>l4cB_>KV9-8J$Ufbat?98e>zjrQ@H|+{x*j5`y*Yi
ziqa2c^hFFG#PFLP@TCs;Jr1~cR>%2X$Z($TXa{_T1AYy|=@x|6+d_tOdt2gw-{XLP
zp>Vr>ZYqnGi`&&9h7V)%bS;n4`xt(*4cGQ|iVfHH_EQ_K?XABJ*Y<Xy4cGRjU(jl|
zx8w>bryc)<;Xh&WA9cW=uatbqK1VS6ys9YvbB2c*PO|HIe1qY1>rCUHJK&wGqx?C2
z4+s2?nkYTb_fHJxd^S7aZ#&>0GMwAz7Yyh2*=2TA9*+OW0e?W@cKcj-O_UGa8q#`O
z%y1vW?@+kC-tTw7pLD=qaKIm!8<mImS0`T^#d&{q3&VMT^)ADCzcG7Wln<xBQQ=fB
zFMbg{IN*0O{B%bDM+ba0!#V#A4)}J3Q@ijp{wH3K04|b~kApiEPV~GU-)6WEak^al
z7#|PA<L4uQi}-u+)AXl0;O8=&>tVP9KDZW4agm(7z299+sKj}DPq{IQ4~AFEa|OdM
zV)#clbxhx>PU7}*^>DyXcfd0p@QWGF^<X;SQxr~m;Pv|(M$hZ_NrvaJ^8UjCPgoGu
z18uEoz1^X3(gWwy%y3$2X!>mmCpm{Qd@sXktkCpH3lYGTh#%)O*#QqToR@cx!YSW8
z{51crix9wN=Ref}uU5ES{soMFH27)$PcfX!pK!Ctwq3hB)g8ru!uX73xQF2j7=Aj#
zS25hn@Ru3ho#7t%>7sJcPhaYoTLkx<AY;_97Qvf3OMHV$sQKvk2JW=s`n`esZMc4K
zU|O7v(0ufJ19NP+es5rb4cG4tTwufXd!|;|aQ)sudM_PaI$!<Xz@0WcMd|S$Hat_|
z9;HOhN52QqwBZekzS@TC_xd&1aQ$AtH*L6ne;>WijLTn}D#KH4xPI^6Y8$TKyLZrr
z>-X;YsG;DZ?CGc9yEo5<>-X+8+3^b~H7;dGnvZ_(p3jEs_wJ3g;rhLM(`~r#LdkxO
z4cG78J7UB2d-r^uWI8R6e(zp`4fpsYU8@b(@7?pLcA)v__wH5L@u8BBZa11<zjrSs
zDOMi+-o2m=*YDR`Wy5{c$<ftCI-0+J&uP95*Y7!PwBh=Fd~0pEe(&B+8?N8Gm)<ot
zU;VzkIW}Cs7jLr-*YCwkJ294zelK2*4cG6*TWZ4_7s~XmzEyK)RZpG*x4Kfg)3vX%
zxO8&g>f$-ouD(+zS5J2Jol;fh>RVYZ14ZSt=yh1GzGdar#eMOii=T-Xzkz^~6;CfL
zsho_LPkl$12YjeYQRWrl>QlbXYTVEfDcYmlUT~?&`BYdtn;%lXT<Ma!DIaAv;@b%n
zbC$wY^Cw7L!)*C#Ty=jsDE3W>=f9gi3u%cb*(<+-D*whGa8%AIIYM)DN}tI=^4}%_
z(htA1{MyY%r1o>VUMfAu$Zw~;OksBUJt}>xvQN!N>tBay?$BZVeIhAZRewtLM`?BX
zG#M@AvF9zK?vVr)DglX+jGsL{HD`O>QOb%x(!a|!TIDZ8?aNQYO-Jch9F{32>x9a+
z>#wAuaL)My`j(&Tkyoa2$&r5ffBt|0BIdmF`YDoN*Bf%pq49B1j&ZJw+tm+c+dvaT
zb@_zrb9Hl_DBdmXYAEUJK6QaW_tHNL8zEtQM(BdvtnFFb@loK-M#e$2=XN9G<E%Ff
ztHrR~Mrc$LzTVp0c1gejO#okm4~Zei$k=T3eBI30Y=%aqP#SAkl8U0V+XPFadG95X
zBu%iTBp^&V2BC)&rX7PYofCSFL72%2(~m(okP~JegV4tb2Ofja;DkO$LejWWjS(S&
zUh~`Qv4C^TSHvK@LaCY<S;Gp})3?L@ml@V4rmQYh2R{5eb_^<;s^?(9`naw&&N#d?
za9UGdTyr4xbu(^bZr0J<toID7pAkBbY$fXrGgO#loVL-hK30$!x64d@*Nod{Si_Ud
z)Gt7gA_)T4E@XoA;4hPF+AW|>F;jPdHtn0xrb$}Q*V2Lxtceb+(;?(BWRSG!k`~{E
z{(9O>NsG^Ze?9F$N$ZQHjVM57?t^lmqJRYjokIFW<3fE4RU4<Rhwxc%1md=!F7o1b
z<)yx3TEh*=Hy_nyTHCVTkQ@;GTsNc#jifiu5N+}bq{xTe;IrG!{)vY5ntzhN(2Uz6
ztE<4?{{5E;qZmh@)JCP%?awqrosH1XNHkME2tdu>v^JVnlc_q3i~}Y<;@xwHY~LAe
zWRF&h>>`YeX2j6<v6mrX3WTMyS`)pEMEypf`2+L@TNEd==MFPtm)Y}OqF({}v?%?m
zucKcBdQX(TsbhL{XlBMvd^Fwc`A*grNn`yPNntBvy)8!bzDo=%#|xq@kS2icFElDM
zkkNvg$m{vH+^jdy01&^^goLem){9E=JnPK>lIB^Y1f6zEUdFC~^?F`URGaB-gKU&|
ztoL9f5m6(9f$h`~u>JzvmzVKYz}lVH6CaW<^&SCnZq|o+)<1~N0B@jqKhs^F^{!Um
z2lyhnC|f|3%%GAbiSNr#^rlb=k)CuuDjz9~jBQHc=vhVQk3vFfsv{4IMRlYL7RcBF
zsR{x;Uq{JIX|O0=Zq{d_Y<bqJf#we(ldMAMu#FTQD)lZidwxP{tp}Z9!5qeV8;s^J
zE-_Af%dmD*ejfzl4h2%*44k&fh&up=ru9#h$gnUD@!n&vnR<wtP-voe1v(ux1;ZMZ
zgicDdvbUs)<96xZhPowuk$e<J7t^~2eG?LZIABRiBQDa1X-X);MD0f@(Y`)IOJI~F
z0C-}2F<}Q$$_P)<8&bCE5jnmf5kcREtVNS0$wMbov*N6kxEN?m?~!A&9!MnA+Zv~>
z6UC8LV4xS4Y$HNoj4{3FKM#Qt`ayBf0;xn%N}*C{(?Z{K+B(zPA~}+v+d)TtuTUcf
z7t>o$tYqh6#5Eg27X?P$hD`Q3^b)7}h3IdN@j<;Fq!C=l`j(#P*FZz-0zC)T7|juL
z@T2QZnkMDbH(wH-jl)-8h&G5HT_@87QhYaMl=|L}`leaJ?zm(RzQ>m<zPTsvYc3Tj
zaPO1mg(3|;dZxY+WcwD((B$a}=OlLYMI|I9d0X+LOUp~;{f9uJm<o32P?7$d-yES#
z6WXoJq$tkc{?Mh7bo5VickvE+1!)S}k0U+UuM7Yk;dI}E_~<yzhxY3=#(B}cD$#os
zC~N@!arkvaKM}Z)Q!OZjT>zWrKws*B)2$hiuUb0@TLDH(I>PmuM9Y7x1D{_j`dYPU
z(e(E^(BswQVlhz!k9rq+$M1I6(c*38B^8mEq)U%N)eF|u%cDywB5zF>Z@8wHq0>9a
z@!E0wi{KGOZ;n?lNvAibM_wWi54{JSFkENQA1+cit<Cfv@&p2LX<Vr>@@*B3(-eoU
zyQLGM*Zsyu8{S)mKeFLo73O=eBu^iO`_&Rl=Q}{*Gi^BCU!iM>4bPFVYmE&j`=smd
zHhipvT}hN7E^^3TwSF$L;aWfWHeBmxo(<Rfp>I&oMGo=T`gz5MYyIejuBO-e>7y3F
z8rS+Mu;E%iciV8SpA|M->*qrouJuFTSfESitMzk<4Oc-|z75y<xzmPg{k&+ywSGRg
z;a(|*i|^TzKDB-<)o`_(T0i&LaIK%e+VC93-=j9kG#{;>kv3fG=V=?R%e&8p>+<&K
zEHl#lb$Ktg;kvw)He8qY7dBj%>(@41>*0MHuFK2!gh`*eyu($0sO8k<Rn183C()Rr
z?LplV5IE@|f+x!Il0!5azgqDpoOGk{8yWsXhI`<ri{zo7zI6FCPGz9WkWPf&qry{d
zxMsG@hI^FU@7ZuYt{k!9di?nId&2+!+6!K&^skE7ZVY$Y3vN<|zgg+63mA~CXm)xp
z@hpX_?nY<hdO;IL5b4qOreU&wBK>#M>%HJi%}}{I|F7H2rThMNnTSQ}H<W*rO3!VW
zr%$pmx3e7%Vp6e>60xgZHNX`LBmGm8*XgzXiM>5<O43FNaHXqAr@dezv+JJH>3gFO
zQGi{x;)p(=qx6|-|5VRQGz)urIsKy9joi=uy1m?i_z;NL)b)Jxz1&*5Nv<xRaDC9F
z>d;-^{(I^EvHo$`_`3`{JJ<tAGDDZ8&^DYIn&vS><>_YV8f^O9fCc6#pPA6f>^?Hd
z>^?rl>^>>Y>|WwAyO*V#-DhW--RBQ9x{t)_a+qOsABs(eY;0T&%ZDF(l-XD+4l95k
z`%c*f#-=9v$b2B92|oJfNT6qPpy#?k&-H<x8;mvLD<nq?-wO16!C0feE+6Q*(O9ED
zF(2r;2?6z;d822uX~kn-3)@hmQ%vjfG}D^mF|C>Drd63~TGwKGZn)13WgBLQ_P$0J
z7;E&m=>t8Rj5YcL^^n3?qrXxQc}x^RY?oO`vZ;wwZPe{_8Jjke^jNV6l=P=H1)hos
zeOhzi>4?x+j6V|*8vA!^wa|gnHUyrHNO9T=f#)Jpfba7WDX{;M&`)f)W@B~V1nngm
zp=@lGk{8<;*;vVw7yA_19_dAu3`doWMwMJX(Cj|NXLg@ynB6P$&F<G0pgd3u;w;2j
zh_eu9A<nwCz+Z^Xz$^U|*MA#}_-QAz7c8O|ETR`Iq8BWp7c8O|ETR`IqSr`d@wJsB
zjHVYenqJIkdPR)p`>KIZyb*WMu;QWP<6Q~Zw>Pq|vpNiIaMVDwO&D?^40#$1xxBzk
z=xlaJlkJWs+Z|1|JDP0w@^rLiE6%h6Nv3rv8pH%Nh{<RWGt!0m*6j}(*pv(n1<R3O
zIUX!0fn^C;mVsr*P2BRsW&*I8OHrW{U^A0pGc&N!^SX<6^3cY|dJD`@PwWE+4rA*m
z(HpS-nwNFdv^FE0m$fAjw=s~q%?wS3R3Lc|VbiMiCIJl8z2?e8DXkWe2I88{(2UGL
z>T7|z7VLlfQv!$o4iEqW0|^wV(dbQYiXsDlL>eObra)>-pl%x_O%q8qAowHSNH}yg
zS`b(sejlJ|&GV+Iq<ORr>(3YLnuLJciJebSYQPN5%>?KP9NrU%(;xsyflM@jvY>5J
zCMX1onB(;*hA1&23S^N3soPa?k%=s>2EY&Uq5K+17dbKjf+9x^KrWBW5poGFrK_}3
zOUM8b|6hCO9v^3Q-ubcR7?Dto9Fwi6vKy(LwDKl(G?-*f+dm{*n0LYqsMrD8&{(pu
zC3BNNCLbpysT|uxld%X5gs=%4+=OoUH0hS~Ly41SyOQtWD&s4di(?4L7Fe>4FWl_?
z{+@H*nRmuA!D+HxS`B#SJ<mDkd7kr}+jBYR)tZ8oV1eop0QjI70@ArZ!*Qt=&^I9v
z0DQqHtK^&ny=5YIaswaLLjh0{id2mNARuWJBnvJHQR10iBpxy}A_|SCs+v^*Kuz+}
zXlN*ECmF@<q-t>sDB<}Ea!rXVg4`r6%XngI*Q8jIYd5B9*D9wz7`H~hu(nRW(Akig
zv@J7fV`kFB0@&zheq5Dcf-FujL#|CQMQ%<oN3PVgVDjXcJUJ#$j>(f_^5hm>L0~Oa
z+n*A(wMKcpQ9}@(8j)0^X4He!B;%&pb8$s#(s~IDx@pn95|X(O1-Xf|N<FP5U=F+z
zq|MDLH{cT{<Es*&U?#S)l~7oNHJxqLL=@jwq?SFQ*+`{IlTRq?bZ#o^G_a!KDa;yt
zEDlUY8=^MMW>s0`!g#q5fW}LH+zEYT+@WVM8--3|k9DSKGR|U}6^$X)E*fPQQle;3
zi37FGk0;hkCZh1G6b-J44zyWyMQwGBFK#I4AXtzF;Y5>l0Y)vDkTkp`(3_ZwqNy>9
zh>B*Snou-C#Y99R4xOY?kQu0o#;_VGsUokUNhnlB;_;msO2gqkNnWrc(G<-=-;-gR
zTurqnKL<rjvZ8@ZjmQ`PUfe*}i{h5i>{n?odeOCUnN2Za=CZWTs;99wk{esxD4uQr
zjbb-|r@KPxWoow<b!bCThqASS@j`&boeD<v7o2w%aUPV&`9c7abAfA6Mf!@-+W<45
zQ-9IECBCFBiL;swT}1fQj&u*>gq32@q!lRyO*O4BfCEQD-ImTS?M5FeYVs9DO{VNg
z%>^T5!=6LTEP5v90uTV)N+^Z?rCI9mbT->#G$UOMiQ+DXiHKYrHp!$QIj|LvVK3Ws
z_OEX<^o6}-7T6+ka!o2;2Vhq6@PeQO*x*P4lGmh2Kx9!l(l9EkVTG1LPXmOOt}3(?
zq`-YMU5nHJ_?10N!(0LJ1=ah31+1Y#_ODm-n9fZ|q(3q)ZSlEkbh6x>1iCVc89_@F
zX0)^1RSC3aR5U`PsLqS((z(Sf>(w`~YuwDzUi~=+IvYVy-N+!DlL&(9KV>Mey#&>t
zYYr%UMNoYMrqy|gAa_GcYRU*d?WuE!X5P@5BGj6@VM*$oLqYC`-QxG0S9!9IJm)Y^
zCi8QS@MQ8j=O|CBC>NXqnjfl#fl&O=+NE5mRR7SLRwkv8f0Lyc@^7+~L;g*cg2=zg
zQWE($dC?V87Soe&Xh~=JH~Dkz>Fnp)gUOAZL6(1$|8z;flnEyPxLf41?q{+w8D!m0
zZmAdzq!VV{W6nC*L&STKTe_-H#vXG^tpTo<J?4A|86Im>ZmAmM@wmrzEu$Di9}1Mo
z=l=bSBW;mo7uE$?)~`teTBcUtx8zuA#houdZ@Gn4sytdRI-$$Z>a$Egl+|$4UH#cd
zj!yoaZ+-o#;*lCb9hsSIX_Zmj8o7Qbr^~PwvKON+KLPFmHgx#=?BLM$w!1DaH{AIN
z86g>+xDk@z4NJ4mRYgfgW_G#^<0N}ogK6kANh{y#;PQXGa>75&TVW*glQhCfL>@4h
zZ+vu0M>vVB1-7?FIz)3mTq(;gWc;xZL<PI>>7RV#p4;AEQ6ks^gAu_-MHLZhltDNN
zWgYGKqSfT$x`L>Jqdzaypm&%U7dIF6&IgY+Zu><C^RsAmTwUP1sCNo{M|vm9ccf>c
zeEU_*45YkZjk!V>f2O{`cM&&qF%$VRR78xhu!{?P7xiU<@1nje@Ez&PDBqEOEbwg%
zhTR*LcVsWXf}I}aJHk!6>_QfviACd~z;;m&7uYW9;R4&y9?p;BqTVgAT{6}R>qBI$
zp_w#9*^Y3-Fkzi!zD6f;f$yRoF7RE{!y(^AJscIcHnMPQj?BNJu~y(aGS<?$&jwMx
zBit}dIvFOFrx+$hJsk2~(!(L&Cc#3-7gn%H??&ZaG}a1yN5)z@_r>NY-w|#YCQDd1
zszx0rC0!iyUDCw`z9U^6m3O3jqkI<)wgTVL!Irxi$7Q$y6>*a;`)W5C43(Nw43(l@
zF0fwI%LUdWy&Ppd(!){Ki^f~XdeL}GmwiL(21BCm6hoq@Hw*j~^=5&;NN+~@i}YlH
zzoK!KF8i{Sh?6$m!kjAVo&qC9-BVyB+C8JM1$50_u4{_7;sV7YsTL>}Nj0QcD%Dj^
zs>NGw0d<i;Le!-Kkx~@hEQ8e{0xPLajz&mP3U@5JQ{zw@L0(HL2_9f-VfbEBSK>`1
z08m4apsvIvjQ_d@A3bVsv6~YtXt$T3H{z?DjIVMszRJm;QG9{8!o_SwGf<#DiK269
z0}gG)9Pq?^@`|<QGA)W`fTkv0?5oB%U2_s6pF|125JoOR^}Za3&0G}jOM-OuEcEh=
zQOPeu8~+T7_{As~Gib*rVc=32`11w`2h_!}1H-w?Td3Pk-A?K@Q}+t$wotd7x-5<}
znyE_zE^VQ1J9Rs$yCj`+6FKMROYR<1d2?<ERnJ<IuD-QflCQqg=2P{zEx-C!H^gQv
zNoT)e`Pr|z`SwlA&wj=7b6;Miy1B1fkLSK&U7EYcy0ZEf%d5WC@~ZE&yy|Z&Pd?*x
z_DhzZ{fgyhzh?Q_Zz?|@Eij>vC&p4vjHNQ2BMy@z4wEAelOqn3`~39uN6tuB<F2m8
zU0sd4x*B(NH4&z2B23jpn9wRp`sk#1f{Of-ctVn+tTP(mgYLML?)Y=MV;<dcbvt|@
z=Fcx7@RY8;umN7^*~{sjx%5t33%s<$ODDW63D9oRADKlNdb;{D%6x`03n_CwWj;%p
zFS;^WNU7(ukjg?T3#lxmvXIJto*w;DH$qD1zG6L+`<i+ro%^Qik?*Xs)Ze)t`A63y
zKao^ZQ#Pfmzuc|t>aSYW>Tg)p>U*qe_4ig;-alB?>K|Fv>i?sv>5tsfZF#r4dUv{d
z-*)x>=PJwlU#{MRuHL^`y{uz3>sZY?R<n-PtYbCnSj{?Cv&L$E4FK^k`;?6uomR}&
z2X;#kl#LS2burh{$ZL$-EIPw9E;hXcN0o<vvV_EkJ^b;KfN#BrU+(XzhUos-!@nSe
zkxz<e(S6@J5g?C>6$`%PcZ%ULou2DV&b|Kg`9pd|r|>LMd~_~6F~_+&cdE~o;Q-!E
z^T=CrZkWDm-nB)bw>$4qdi}42%hOKkY=U|vj6{bB8vMi3@Gy~2m-b*SaKTEtBi3J1
z&sVpy;j@1KfPdxu`&H|UcF7O{5{qr}^lLoBI+~?_qNPtb98PuiV9+jd#A4UF;`win
zE}zyBiBjH`ImgHQb+#n>DXo8F>-AT4_;Uw3Q}D~q9wg7NcNfY|<Lp7bKR+Wr8jP8S
z*l%%@tnso`_PDzb!eN3rjoDW}6=V<34tlNa%TAnFoZ+g%idVk4kfY#DEN}ClNzH#b
zJ?_xZ`z-CRl4SP<*=GlZciFKMi}y87S=Tsj{RJyt_~OT0fuW7@4|OX$$Uet0{5~t1
z-RMr&sme=3cNxA<C;JFw6U_e1+L$8qAG>P7XFqn6lMpAjXU_binmX>aPN|tbH90j|
zb8dZddi}?zCGD)2@Ry!9*ZH+@7=B9yIQM<)_=_s4ddp^1)U2G)R8e=!dzvchmrWf1
z`HH%k6*V&|swgspW9D!BQ6K*1&u?qA7JqbpW?W>nMY<K}8O4Qtsw_X^3)yaoJQ=@A
zjCO8ZXX)&GwMSvH<hh1_l^z!T(RuID;D3Ayc+5|N`LSy|=3f(=nx0wjLGwPhctKZe
z^uy3ME@-_f*3r4(`h3f^4rnfh=l;SaTyV|v5I%!veM-w`9N5l6=@Ly?e!hp7mR}Mn
zA3X=%eTwom5x8*WKfmIgZ(R{*BE+WtKRWJL1H&5or`jvRaS^twbPQCJp)uPK7Vy92
zegVDDr`<R|d9D6^@<qRNy?xr(i_QmuO4Fx0=eOI}FZ~g%=qEhqcWxBO^KPHkn2CPE
z`r&T_nR=G468*g56OvE#6V?lVrL%<3(Q>8d`@+1^vY+wwi^d+Xu>KWcMgLp63`#c|
zt^e-#9TM)T>Oa*D>xXdhQ%W09ti?0h?ti5d>R)O7Q|;B8Jkkd0L_ekNKh<8n$@AYH
zt;}<2{e_D<yUwjYH-G8-m+jT(o%iuiOt*uA@BEzLU4K_#qQM>;xMT5Ky7Sv>D>jGz
z>|!U^Iy-~hZ{twMg1$L{sWi7m$9e7wa+jCuVHFRRdbp2=Dm~oK119^N#A+Vu^w7sc
zy&f=_FXzPFoWv#`u!?nyGIu$4`JBW~9*9!SN$lnUYwRDoVJn^c(QW+b5YcVQ8zc|Y
z>E=XTkTbI;lO4=(xtOdGvaqPW*JtJDB#s5nP!6(Z6ZrbZT^?M{^D6&b$@6{wxr*o2
z{<)@b=Usuc`+{jVbImXLTrllV5(>J}ifd_i_BF-Z?pMsNCYYwCBoF9!(A{E8zNP!4
z$%oR@u0;TR?G85gr#M{2<4%1YODEUsw^Er^ne6s-a&Kxg$2@LEa$IuUyg`KVBka@f
zh`!3x$-`-#&sxki$>dAH=CzsZ>p}93RPv!<^Tr^#F_nBa)&J1hspODduzdIfspM;^
z<kr+tZd>+~*c2r9r~21b5KtDEx25_wO-|SD4Ei4{%jCX5SmtOtc`TECE_HN=gnm~#
zOX_h_>Do=1>|2@aOX=i*&#ceX{(^i-q%M<uCS5y{I=Vg0DUs=!+U=?2j#L)z4yO7y
zo}EcPtPtn@ndBbDGk1bXM^Z43iB}qj+=%V}U?#gKlYKLFbZe@AO<6k2m08G&S}MCP
zQ@b&fd?b?`)<K%)Om-c`D3Z#)8i?*z*viyCk~+%8a&FvalIzk0MK@(?_o{maQ^^C8
z*(z1OB9)}=S0YP}#vt9kRPyyy@-an9x$xRI5#r~hl3eHQrw1}wdKHnbB`&r(=-=@E
zOzq|j$f$}uHfOTL;+`NYReLZ~`(!4`{mPM4vOjfnKt;+kCX-B(Yw{duYtqnYN~}&L
z38*ek^yxTIWhyx!)^<Y%UK9|9nN;>LtW>L1O{)LV52pGzycf1Lx<*p{eeoc9Jm`Pu
zoM76OjPw4-$}<x6V9@{YZ$mkgeNtm(AehEoPLmXz_m9^oyDwAwYO3}?(EsT8jO6=B
zD%qDwzADzZzss%uBXprLpGYvTGPN+?AAmABm`OgFuH{N9g4vKdx`j4y;Wx-0*A?yl
z$IcX}_Gz_fcaS}r&hAWQAI@Z73~D!#6VQdUxpqg8Brv{HrMSsI7$k=S24<G4>u+h)
z-<9I3X)R&rD|K$^+QbMH)Kkqt^3inijetWC$v4upd6T|sGRYy0VP>=)ak>go(Bhrx
z<mO=7SxAxV!jEN=%qO~8Ih8?@Lx+d;80d?^WBt$&OjD3NxmUk~>EvVS<cpc?%R%-~
z8hLD97i`{;N<PBm#cII>Ni)kgZ%8MfNii3*&!)0(kfirA$>&qa;Y@O0I{OB5kjeJ5
zAUQ&xob9F_nD^1C6)9#Hvrdz!|Dm!>_P8d{ZJIK<zhZtrm&$T3l4-~_WkizB?vV7d
z$1}B$0S;J&05gyucVHV>M>T?IIOWzb9#w*#W@yqUyet5LWmt!@&q<h!crDS%jdp4v
zEv65t!s?)ZZ5ado>>#;`E8UdV3;-F_nVUiOSim}w-Iz{3o~d1vN$yuAhA`9eDazP!
zGAlGdA!Czn=k_*Br}}n;yW6ZGOcmBGrixe@46<v}Swz$~F`Z-pKd#xaJC%G`_sN+R
zY0eHN!OWHKwW;KYTlf3do@2vrFY};0wYgtYF#BxKzw!MkwRk(%>NB+)wBmq-mF7??
z36U#x0iP3ca}v!al{eDKJsNFvUjIWMgi+nSuYE}DF~Vy(Wy;DV39(486+46J?8B)f
zufsSi!FsC}m9tP(D~qOWVJK%9K&-E{xqst(5m{WriM2h=ii7a_H!({e3u@nBdIkMI
zJ2O2^2Ro85E1@uj&e2{lU1$DSVVR&peT>C1on<hqD>k$CXtk+*!d9R?3}3CLRSa_)
z@!P57nn3F>a^ebqD*1A{_6Soqo!p<!{vxP_=z4I9rR;WNbbCsJya@zu%MWTfy1+tu
zBvbn`8%D5<O_$|qYpV89t(z<mFS|Vh)aMVzSL{A^;>4l&7uh8ws1|k4ZSnuqlvov?
z6f^jJO5Goy)KF>3)k^k}tg&Q+lAB1@TXI0j+tgFH0c$YWPQiAQY_=r16cKC?Sc}0%
zlsrbVGc1x;kqL?Tr0#C^a|czsts;y5sy@KvO0lrqN};F%vMPjF(HbE41L3-QXXLuN
z-i%Vv59Hf8()g)Vb{lWO$UZt-18V8ZHE4<po8lej;J7NtP55w~5M`Gqs>tDN$kNxp
z2OxgS?Po;_rhC8F4Rr4?N@;i}{!nAQ<G<)@>cR`+9S`eki;}Y{5Aisw2Eg!%g^lrD
zyB5Z8*jBErg*E#AVuPS-$=|hB>5H57{n?g<@wS~5-D*W=RjSY%q&JuA>5$4?MwuH1
z$|*Rg<g9v<PgwR^+SJzPfgs*Q9V_XI@3x#~M>pPf%#sZuvVJ8m?o{r>;6C7!MmpZM
z892?eyc@QNTHDX`wKLyr5#RNgzBYn#JN(_SqnzBfepe*kc3e0Psl+27I!uABhUfsG
zjz^U_#Fv^H-?dN0wo`<b88%w>h>AQ<=59bHfM3Aqny_NW7P9t|+BHDFu(a(HK1xzg
znOlKF5^AsT)%FA>UUhjM@fKKZ8K&e*lyt4!#1rj^w{2BPsJA_*2l@myp!FJGB1Uho
zA@fa&JAywa1*5}#!nrX%<*Eez*6|Bfenq86cxs1E>maH29pdVRh4DqZ<5NDGAkjLa
zuiZ`YDXa)8e~|Q|0eubXt54Y@@hSHvG*2jYZ$g6;5_^Q$@a+NL0I8Oj$iE}8ihTX{
zxpF&H?gVH$)U+0>@i;Y(fkWbN-K4L9_>`X}2CN30!k>UJd2OPGS{-{;Un8OYakW$R
zMX}>GLjYO!2v;P&2vIIN7N4>*G2$4|V1WpAk5X`DVz<C>@_3<w3K)_G!5#wvO@1Iz
ziAe^R8cPnrbA~{cnh+e#7q$Y1pjj{m@S>d|Y-OTG<pHM?E%7OLC+bO3_Kt*B6*b~X
z^~~eK_?(K-=dSiKN?~fLSFD{%|1{AcY#t;b4)<BHPF1~`K5U9#J)r!D1i&N_;26le
z4pi#<s0OB$7%~CejNkwttjd==s?}uZbyvMX&!P_ZY8y5Ak~F&x)*04%mGH#Gt3&%I
z8eFch5kELxSvwAa=r1+ShBosx{5oG9hOv+0^9GvYlgI`4h>djPf!TERZo%L@-u0>)
zIIqw^CKpu5rFE9k6dzi5DBdwYY?U=F<mv>akEtAT>!O{)TC)(o=;gd*UDG#Hbdwmh
z#%l~gm9Mbr@vBFSEX!iok$Q55)~K`zf<@qJtym@s$Lw2<Dg==Pl3|Q@9jH?oClk2n
z*ajzzy{<zhtIZVa$Pb>OA(7~ZWXH1<eIU{82hStm7>56O8gMjXx8PzEJO~WxCL0K?
z7u^w+`a!~maD3=t;d>5lVFv`^FxaiiCLI&^unDw5%{>CjuESL@`V{}3RP}B8`kA8y
zSqQx<M0I=}(AemB$uZ_;BLa$dXbqrGMc){tN#K4J8Av+fq%l79GWlCn^<KX&Fk}$H
zVMoqnqnV`SE7n)>;XQQx>}J;-5x1t^W&-It3`0YEA<o)?m{ti2mHk$gf=5iMeFB@9
z;2u^G4u$9xC*E*L5F!)r@IK10e@M*CICx>WYAhN=?bFNxjF3&hh*h!!LM<o2g6s-n
z(?HVf?WB-((lZXD>m(Q(+Cp1D-NJ;KEsTs-8V1%k<CEq$uqZGDHBhcbvARYQ*(tW@
zysKG6Ce5rD`!Lyc)R;R0mX?qm<ijY@;HSH-7e(MT{?P_jm`=Wpr6(O)CKSj_*pI{0
zUy?s`2v(f@D8$MEsUh`o2fMM5+bkM7Kt=IH@p#AGZaIt(A2llVl2?3E7ubwb%~*-E
z1A`BcX04NF6>!H`Gf$3O1DTY!NpKWQnrWJhV!y?gIx7(^G@ZPDayHU}KjwEWBHS3C
zRMr@O@Rp^F34ZVV62C$J?((32Pi1iCfI!^>xyNOeyQj)0m%C(*Pp)vuy5P(;LV1fN
zch~#mmtAr?g@fd>Zc-|gb-#Ch#pOon_6X$Y<}5c)ccn{)bbDPgq<gC+^K`%JlAf-R
zitb;#-#fqNa-(!Lmpt9uEjLg14wnq+e%&QQx_4SKPxl)x>FElo=>B*2d*?S@Zj`Qh
z?Oc21^`{3yIp6J)A>IGsk|Eu1J5-^Z?{P^_S4c(oZ`|*l-*LH7x~l|obiZr4d#X}P
zH<+)`pqIS~E1vdcZ}IF2&%!MewszJDo;^v!hef^g72z1<Uo5rsEoTF$GcxDD7++TT
zDwmymZ|No-oWC}{EJj-9F>jOWeNgq{ABx2vY#tYXuycH{tPg%)tb}xVaOOck$J`J0
z?2E`q5O{nM9`y)|FT&z>s>9(P<f2Cy+yjFLgXE-OS$}!z{0%qVv-eZFzTA69qM0@J
z#~*+y=1O+Qq2T+O6|XFwegR%4ymHt)%ib!#@yw>|-u}I1hl0ON_B9^qn-E{|X$%^k
z#>ZEjuP5FS8DH^xJZV30){C~SBQtt_@KF)aO1<1jF%Op~S_IN6ZFyQ7It4)uc7_aj
zKX4%JkgFVmwmz>yhX^RX3(&T5Rn*df4(kx3o7w{^bo{~PiK7nsfQPoRbU2e?msZi`
ziEdYTd-<|W-Hr(}p28d~2(UX#VbCfV8RJ%FNuEb<EugW(_5DKX7;Dp7k2>hc$P#JW
zP8ND6`O-3+s^4Y?j4i#|AiXtU_K=FVNsUCfup>!e9e9Ig7aNQ#T(FT$k+8ClVqvf{
z%J?v2%LGPuNI7gXYv~O#Fqz`JUZ<G2+r`!_0ma*fm4&|ACS$;CAK59PVPv*X$i3yF
z;kf>28=(^T9EB|*g#nO5$uW;%<V-77#R7!FT486e+qI4dF8~ygHtKZ<gi+#!)&3&V
zXn9tR*kslbO)|SjLXs{e<Ko`LDh4)nU!rdNaY1GDbZjKq@}i!0pj(@rWQI`3o4^+B
z1m?^kRba3<V+G}P%5t}fQE|N~<(0y_Ux=jXwrtRs%+q%3UumM!U9hx-C$zQ(<5PZM
z#*?)F8cKJVn9YPjWEeh<O{z${k|i<Vnt@7zMF8(Y-+n~alkLmLX(EcsB7|-YY{fi!
zz-x+&u)MBKG&nNwqYi9;EM&ApHcqQEM4H7edVm>N*hee97HMM+W~lcpt^TRAyWm1f
zv#*dx(ju5yI5LH5+$3-oklAU@#;J60>p!M}w}(c+z8L+3R%<G>D*b?&Qz6Jy4dh5e
z%`Eb2G9+=JQ^grB=p3fvNuM=a#2DpDt^<Q!LxC!0L!fHpOIJZ?$jm<ORq5HLBzB#O
zs0ST^qY=x<j4Z4n3VSl0`NC#F95HSGs9}?NbdgvZRu5pigAwy?5-@Te;cFgEbLJ4N
zqcf{1rcFtcqCq2t1|6j2fUnYZP^}0pqp*djTFx|-Iwf7u@JlRJ=s?aWs#jNpt!5yh
zzJ=}nnaZoxjsaR73b-D0=#HUL#QNfGfj3kcb=t{7dfx-)Sa6g>3&%_fSyIyCq`FGI
zh6vKoGSG#{&<dw3J?MBtbC!sPcJal&VdKh_OXD@(@r+59R-#ukp-|GLJ%Scd9}o&H
zqpZp!Hj!lfnBv|PA6}=7yS*y_gM`{oq9meZLmjqIy#cWS7(&*Xu0xUoQ(8^NShC@>
zTWlY+9(uKkN|g7Okg4g`J~a)i2Xgn?^cM@$Rqt>mrR6gk+Naz*{LBq0(`@;fVA3rE
z!?qYZ`xS6FO~tHOg4?HPz%?zx53Ax^yjY`UmCz;kOAO%k_L8cGHj^_9WE+K|gzHBo
zUfCIHi0g`B)s^8Sk(icml4mJ*Wh4cYrnijDgbD2mQ|(QB5~k_>6cd-qK?2>@PY#n<
z2{AdD;P=z035_$EGOqPnkMVF>SJ2>k;3E!i*AZK3Vb4lpw8e*Hp;_;0pd&{SMRHx8
z@dxinY}UL$7|hPDn)rh&6HgdGrUnB;;F<M7|IbY`1CI=o$AdFzfw&pkVrCkBYeptE
z4dt(C7McN}LG*0eTFn5rP)#{oi~s^a;PkEuRz}>g`i#X2YH*FLvF18`ovl_!)U|Mc
zuz?asswj#^Xjr#7tkz34z$I_G4TR0XnVZ$p?Rgy3XVlCak?JTsl%2Q9m)c>aY|LAI
zE`Xv{`j)2?Awy45EJ)riQ3{jrKbhyCV*}!yCaI|%(?L)Uf_~4b{?-ghnPwY2Xcr)?
zG_~AA^zzO~>z;8*bY5%9vzC<JYsu$a65ZECu}8_|?LF`&zJBg<(XZ)6S7Nt7?(uoc
z&C`9sB}1v|U5(TW>Aq;mJl&UEGNijt$>i;~dAfUDT^l)`*q}g;?vTq3+xxOhhIC(X
z$&l`TOXlegyJSfBfRf4EWe2If2VGrn|CmHZ1afo_SuTc5LDu>sKTg&r&BK<I31rD5
zE{Uuka(3-1=ma?z`?xBY=7J$NrGlmF6ekHoD{JEqo;|VW>@)UmK6K(l{6}X`T$nxk
z49uMIW<)IiXP`q*=O$*)Sgo@`W@9YBTfi-5PWiK+zj8cArg;38?{cO{bKU|sVLV1J
zs4b4iu#Z--ETfk46~<#&VZK-cVE6>4qQ(;Q6+^`IRRud1-lgx)t`^wz**7c%vPs|9
zvuZ`-GCeB9E-6))ry-TOj51P?rP(Sy>ps$`<%TW{x7<gz1xQfqojTp-!ZMq}awArE
zwaT%6xIl_*hBg<V8B{rTskXf;ckv)a;Nj!|O+HS6@vsTS{4EM%ahXuyP&$N<$Hd#-
z0;k1ZcH#NKh;S-A3}7RfJ>f_kR?{p9Go%WN#Gt%7%VReW#-#-~Fcn-}hGl!#esPRD
zSWN+e;x$ezW_hsViv)bp6aqFUhh%5~t8*BVK~W#3io|#7kc{yHO1xS`WL$ILcsKMr
z<ZVSFD8(;9wS{06AsXN>hzF@<t+d5k4k|T_GFz}Jq}t9&nAZ1%a^*3#fQ&30EC4X>
zh}bU#s1^-U<ve-aF;&dE$(sc(0;A%#ufw4<1dGJT3UbB<5Nre(q{|dmaE8Kwc$7}R
zTk`@#p+-dx<_pV<?+{6sZGRjdoZ4&#j|G!D*sCxZq_67>b0bu<EYKnf$Hb1S+aU1>
zf4iyK`MR>M2-=G}!}a9w%z&yWJadP$N<e4`tgz8F1T8|qXmJ4+A-y9Xo|%)V55qGc
z`z2ACPVuSGz#;{XoNgf8@^#Wm1ZW0`4=R|dD765@atQmnl$O?^$VQln>li)HM`juX
zmT=_n1S})6C>SGmJMuNUErz?UfT>=kEgm61a)|X5ff?m*E|?!y&0;Ig`hbkO5QPhl
z`g|+kYebx*iCBZIY4BopiZzvnd22;3aRqNeHcpUXrUQ~v>(F@Cu~yt0nuO7~jE!0<
zDjYPl1{GnpHO&Gus7XlGctB;S6C)-MR2Wn{NxM#(O1&#WT3V$kDBkb@uQgVh-%iJ#
z*%lyD%mzgsqUJ79vk1dDU;ZYv7b~uLZeqbD)xeeqwL`Sp#iNFa)tdH-;{!~LDtRQ#
zH_f;=RnEtQc8fGqPoo2>BYdH8$2>wCC1|LWah+rU#911Q(Rz#a3q$G^6vh2QDG{jM
z7IQH*e4FqSrx9~1tXP3mYm2{hya)hqnD#EGT1$Yg_GZL?ktXS|i8-9gq{7I`fK`*0
zE43ey$={^`J!ES(t16sX>&(jcrcx!v3DFqGWIo``dXg_gi*PouA0$=@HPYFwj(t`3
z-_Q&2Grw8&yydjp$PeS9QZweMXvfna$5OTy4k4bdLsbI982Mz?(9Gurk&*FpJ;-oD
z98Sj$#b-TvccR-UfQND{yjD(VFi7J=Pm7-x9;EO;rXojK3fRLe%!W{8m^fP<ZxWSg
zI1|C_5Lw_(tEM(JBW4G)P;nk_R|tcqjG{ZU8z3g94GOc1^$a}+4}aN-g#jN}reIPe
zNOWcKShPjly`!)UrV0Gh20|xLI#o;tyrafs;J~ED;XNwTP8(zvlQGK<frGfym-=8B
zlM$~+r;~@WpO49)C4@1VS+C)^zwGtmXv}5DoU8saeBWVw;B+1I>Rav&;h>l1W*Q|9
zdZ!dBcw!Fv6Nif(^uwg{4tmr0Zu?F8=hNqp;Ge%N>Yvw9^V9Ore+pgJ`RAwU$^7&G
znWwx%o=L~jz<S)QC5RO3W9V4Vd*)HNp4ZG=9y;S6h&bw<@`TyE$`&!E?``(brlk(e
zH-awjk4JTLYNx`1l$KfI3`^${cD{UAF(3Vw@?{To8=h`qrl!0&iUWkM`I8SPjaa5}
zV&#h*^r)f(Ucq##sC*csx$66@C8m<LSuhut!ec+^k!qp&syWZ()mxNj1f|0(IIAsJ
zl*!xx-%h=kz)cUwAJ3e9Lv67Y<PgYlnc7jNEs~Hl?Yx#9Z)0}0nW`-B*Dfi(yKsto
z<=4>2&gdW*!ZD)wE*1k3go!~%&?(CCHaYT*psW?SU3W1Lcj@So&M>(iK!=XEkwqH~
zC0}&quJxpLDF87{Nm(%Hzhn*a)h^{7ogGEd^vh=?2-Z#WY6A+J->&VQmXW(&+7k~>
zJ?;~$G78M$+mw)k)giI9A4K&sl~>VwoW2y1bN)(GcUsm615Gr|*dJS>CTF2gI6*1(
z!`$v@;?kO>=E??#HHAFdpHe=4Zto5=iJ&*4S>lCPM(A+s&=6>ULM8iL{e#dLpnAu1
zQZPpxkS)@wz=lI=eT!9msNjs3Z>m*VsV%#(35s1(d>ddYuL~pIR>r9XA~+(=6U;ch
zSE^{G4NlYmnA!ub{9%U{>>H28^l<6Z<_ndIpVz#!ErOmSNzxQr_J{|pr$Ufpjysa1
zp>5@8KGHOGz-hmVP?+|6N8ULv`^EG$yldL3Z1~yn9<**jjuuqIo7r+GZ3WG3?Nwl@
z&Ec`6W<C33Ne!;F5dhOc!)K~ssQtF6bm)jT)O?v<jf0h}9r`NLerb^U4^>y%ozsDl
z1Hm%$IAh(I$_YrGM{)03Wx8NUOgipP6?CL(NZONa^M{#8?)XL5h_$_-+?yyBEHJ%N
zI*2zM!j?%}fC$|wr>*sm(bP!@tECm%^f1~XEta!CroMGt%hYfxh7>|$&H3WZ0WPmK
zs#mv-S1DK$r>R+5s!SE*xRO6y#Q>Ak^tIl5*Wu&`&N*$4a~1%pU|!oZUDotQua((C
zurhRYn=;F|Fb%;eS3ifS{IjN{Swp43cHuyWFX?lpv?+#zOPiEwZp0c2np?fNL(TP;
z0jmzf%DBAW+K6sqs~B{^EY(nTO{)_nG&*v28aaATL(6M;4LnFkQxPzDP0dYoslLNc
z3k<!k169@l#K*jn1q9rN;!oY=P~XC&MH|E8MPgT?r4r_T$2LT6hj_%hJ3M4!N2|0E
z!e&{cIgijqkvXG&xXoJVhpf|NZOlo=YN-}Nr~bkrbl{6!tf2l5kWEXh(T*Xr9I!A<
zPGoxp+r~(IXltnXdY3svkG>dY=@2Ce#d^;xu9AiIqeT)zUE1|8{poB4jIBIB8k<7W
zb(l_Y{IEMyF5a;p%3Ym2plev8uO3ubUk-WGo8>$=cRf}Db>`)r^W`9T86^@g`==X%
zGlgAt>hOMd9;)Li_8JQvf@Xf+JCBwPF^Nt-bsLCssh_#2;G{SCUKP6J=k4~H&KvLS
zjThxPHS8Koj1BbhW?#<x<iTz|aHLMIWHE;`wO>v1E_wOs+5f`oE$+|>dNMBh?0{<P
z=m~|)uPy|*e!2Q(M~tXONm<>)8{|WO=bqUe=({I-X8VDj<eB}BfT3qLa$Y|B#E(Bj
zSM6Ol0ICl)#DWz^;>-Vl8<&l9xXQ(Q0k+u@dj6IqquRM)_s%bm_+R547bq6<g&HkA
z*H!9!K|L*{4?A8W<1ZTcx~ZixzTt%)z8>uXt_}DRmHbq*zB8TdY8svhe-ZPnRof%>
za>o`b?4?4hR=AFSQctM5iYPKEx9B2`yM4+&K;mVfU8p$mR?t})ratotBeY8jQ&&N6
z)g0>DUP*2Gr|XIG_=c^*%?zPre8Vr4*yj*|)`*IhL+Uex&itZ64nJFbJ=yx(%3*h~
zM^d9_TV*&eT2E=Qh%(eDw<BD;JaH{n1V@vnHYw-sgl5;)%J_zt^W0T}c()-2U#qO`
zMPRXpq8osCP>6AOkQX8r&aGPVb`9lgZxC;|iH)k!@7h*%L43mo!!2#oSTuDGJ}-zb
zlCIaP^Bf4<awS4(17sWHB3A`kbHduHyR{0%$6Q?<$McP#*p7N}RF!Auoi&98Qf_D}
zie9uSM){pEPn&gem8PlTt_Qld)d1=m(6<><?wWv!o`4{p)Jn<fNVEalSu?t})|_So
zw9r@sjFfKxOvtYVeHt+0hm4mrGKcc3lKzNeo1|2F`aum4TQIV%P6)Q^+ckg@(Y4*S
zL~BJIt!P4>Q+uPW7^qV#>Q1v2RC28_dZn$Xdnc`c5#I_mT<QUh49C!R)33IQ{jO~+
zn{AqabXeB_iLR~nu)AK1iJJu*f$gxe1Il^R1W4)Djiuv(nW7j#IHF~F6pd=RyBQeB
zRCd}TMH0FkFK|fKI)@PG6H-^T<h1IDQrBkjwM9JaS_=yY#N1OozPcT=X?>Qu$C<;6
zj;rPf4LZaF)!_iUk$-@Xfe=qj>$8HYVCx17>c|Y3cPTA$S|Qr<2k_*pvBN@Gf;!Zs
zLqldFwLh(vunx4Kc&WcQva502!dz=NzauIHhppT(ERHJ0+jmlU5DIo#rK1lBWm|}<
zXen$#3uw3az6>&*H0M}Qy#0~*q-tT6CIj#7w4r6EaG0-l4;KlT>PGWLc6Tmu&1`VF
zAZIsc%b(dyRklFvoOsI`4%y%`o7ocNR&=v71=%${woUT4Z_9gbU+O?4Dtm7KQa(}D
zbNjM<qNe9|JN27gL$SJ^+wIJ+5`zRy_tp0-lN+h$c02o<TOmJ@5wQm&q65Ex9Fec&
z6A-aOzLo=#mH8Zq*a6=t5gjA#x!n%>=2l1tG$Qt3M0C10PsEP+8eWLliQbTio#(X#
zM7|!@30tBAygj$usovZQJDe+V*@F?$QQkZeJI@;uvE#cT5j(sa60xJZN`ypoTDRwR
zJHne=vC3iWS!NGL<Zm3viR(N01TFb)K7qLI%_r)DrEBja)iawb`2|9=kN3<xky`fh
zxcG9%-S8lVVnMI#|MS<!m-QaiVOTdXbR_o+N@uwSyEo|lmQeC%Ap#x6<@hYuDtnrb
z1^xTW8+tll(<RIP{gphv?jEan<O;K(H9WrQ9_x67DWLlpEc@$wnoj^Z9-P1PrhARG
z6$|9=^M5gS?QQ&F_9is`sbM_2@pAs`G&hESd=AX`cQ)8H<?X>wl4q^0*Z;G*=gHrH
zF5_aN{={U_eZ>0!;6Uu<Hc+~kQ-hrI<yO7vXz47sv$<r-HTyM#XK#dy@Wk>R<z{p^
z_3WbF3HR#8bMJ)ZncnllcQ8@egvm_fk5KTfb92mMojByjT~^x!90iDVqLXhImtiF<
zQQTOpyt0OpM&0lbkXPM+gzCR3a8lV&;LxC?+1@X)c&(0D3@R1t8G4-8wO9kW)y<k^
zsvH`GR$2O@92^vPdRE8FZXHlnEG1Mes<=ghg^@+1V?bk(9E--I5aySPyq2exor4|w
zstjp<^@u8d<klD?u%2I0jO9=Zq(mKzNgB`Rml<Qouo{1wMxk2hRvv260pc2YtVSMg
zDMBivsf&_EvBpS!i9?bb(;DB20!$x|X^nY(YfNi21#wJk{I}H_O=Xno`0LdgdzSUs
ziu$iq;d++Yl`IzMKG12!_NtsVnqQj^*R#wnU_oV5o{H&mzg8u#XPI5Mg33UiiYarV
zvdV$jA>WY}msi|Sm!u!pjjF<(|7?6kPMX<|LzO4sok{)s%5aA9p6Z}?!q@osC46FK
z!IbqkeMB3f6rcQI#Q2JP&Oq!-*GWGL4<t6uUAyqM5<LcGqX}<a?*s0H2FVhI20H|^
z$ZIq%tn{`T&9F3@@Mu9nqj8t%K_r*dmb^y87TobFkbQzUbq0k+8VL3hdI1Uk7>mD*
zg2qv<J$o~|x4D!)jO=4p5j3v^yp2NP(@-lQn1^D4n!p3<Q=8LkDAeN%^;vDN<7~%8
zv`rRg2lv62TZC7LG_DLue8YZtw6NAT6}Sr|uwka13TkMO#&gx`uRJ-03zqH9k>g{l
zM}xsiV`%sRTT6+?v`Q6RB+FCYl||+s+N<`%I(cd~3YqL)U0O27Tbtc3;Mxt|uK0$-
zj(JOg7`GoC0lroR92Y?WWfR1D-$Sb|3MfcRUWgdm)SPC!)E%y}IrnAW%5h@kaaLi4
zKW3=S2_z2T6-tllNikQLRj=tuw7h?dR@gbouFdA&vICUHx!hasvVX^kLL;bW4z6u-
zaGg$5q^ej`cqnR$TJVmTr!7Yd%v(?jDN5+b0nZ$g?80}Y5hsz!y`{r%>Zv0BH`iG9
zY4T4c$3G7t|DZN!>t?yP!U5w2jmTm6u<HgBxfl`uZp_pv8wXc`e@3kHb2<Ly*m9BQ
zqeblF3Zr%U+A;k!+dw7P1|CjogPdFMqz$^T=i88XZh2plJX&f`n~h$)T++y3Rz|^q
zXBH`J0)tDh*VO3RTo37WHg*Svyl<4DEQe+|o)KK1l7&HiNY(aAqPqEsHyW(Yy|vlg
zTk9Q0XcPT*?yT0nLLq!!eiCe%PRZkPa=qRIOupfc1EhBK@YHJaZY{G@G0;V!gNsl;
zrF1^3Ro)?s{5uzyCi!!&V!Xp##rD3K&|wvClXqJo#WrF_E!d~LqC@xioU;qJl}<>s
zTM(0JYThbW*G9F)a1}Mh!PVq^W2|0uFc1(ITwZ-7eEoKL#aY3l9xrot;l^U(?9qt>
zi=vX?09X5qx^UQ_6%_z@czuYRTa>bJph~Gkv#q)2=~4j}bi7@}`*ltrJn*V=EtXzs
zM|iYWuOcn0UM792_pFWF^zHg@4M)~bxM|UfSK`b6h1WjCADq}T4$%1c@_!(ieI@>*
zrm4plW}BuQ-}`L<yvSKDF}J(Kz!&s>4kyV=$AauQZV>0@Oyp_KxMRVT*McdJjq{g?
z_s(}!@o;d^|CQ{xT+`Gy!TILiPm*E&1ciwnN%rLfMZJGj9&G%wtXh4zDs4ojytcGo
zTan#O{{HH5m53_aHIV~e8_UMA^DoTKoM7nE**!s)H<>;6;|Ubk&cFA+J_!4H|H@c=
zN=}fdo5Cv-1jWYUQ_R1y_!KTYE$r;TWAP~@5rzrbeO#1nEIu_BpVCG>7N5fNJQkmF
zj*S0E@u?GvOJ%a_c|#_lDbDvi{NpMqYo`oHrF%I-wJ<v;@rg_?FHzn|1W8&O@4O{E
zW!hXi`x44#;yka!?Mr1}F%2%&{|ZhYUZnie;JhE`aQ<K+3}(TsZTTS9H_A~8u}%In
zte~Dw_!>bhe!iq2Rzd$0CKW(IAB$u8oqjBiHFo-mb642pzx3!9^UEAxyO}>@r=P}7
zKSj^<jh%kNAtTq?X`OzOAIXkDjm5Eiyun4w{vE`z(&ryKtvJ>+1yV}lSl=5xj+OUk
zmFP39&tvf{b6<?bv;Ga^Sr#^W*T%EX(o5dnz2Pi>+I%dYrF#<Z_IQ?y4Mzf6xMhFE
zfEEY68P@-9;#p09A4~N%t>DW=v_5VTtu{rp9w53DiD>;T$)bqX9m@YuxBLLwa^HD8
z>(f+pf77%io;8CE^DBh+p_=|Fav$m&Y~pWoA8Osi(e6WWRHg?8$F4<<U5ip6f9zV+
z+c;@h6vwVb>FN;+yp9+U#MGF{pB&-FPyVdN*tMv4$F(T$82Hu_?u#(Ib>ia~4u;~Z
zQTGASbu3+tx{F&+tLbMuAfl^LJpeXQHF`B_5Ey@%bA>iP-FleG1sCo`&E|fK&SO^g
z%;tKFo~n9gbGt=PH9fOWaawcciJsZV-Gv)>ZRg|*Hy?eCW1Nu-Hy>157jE`(;YRyg
zejk3XyLYpO%NURK1d)3;{4uof-i;ppy&FCHdpCOY_ilLH>+anI{@%^n@ZQa5qW5m{
z=UINq{Tuy7K`!(B<iLpg_`jjL^ktoYEV_83Q<b`S!<`$wLg*;xP==Fz#5e5j4GAQ9
z27gvemv8>y?|JXg(&JxN^KThu_s_>I^k+QvC+v1lNRJ!L^d>f{qEiIkjbRJgT+R^V
zfL8SK&1{|G@;7g^V)5r*xv|sc4ycw~ys_bUs#`ZULZfF{G+M*+EN;{mooXSw4qn1z
zv0S>D%}FhHDQFje+K|y+xNJk=dhU~vzm55Eoa1SuU9X`fW4E!#Zewdem)>I@yNx}j
zcD(y;WB&%#j@0>2$5(tr3P6584Yx}E#_G@+(hJ!6f^lnu{^!e5QwaMXx@oE`bZxGY
z%N<ucr?~du$mI^ZNy~m2-6;PZ`omEXI5W*2w(Ai|%Wa%?y`p0vH4bGkf1~4)-U-9`
zTOGEKMQ?GiGurJ9e)qE}j@{Zg?OPk~ZZEf9@%C<ZbC2EHu-h0oxZnL=?$TQuzq*rK
zuPAx<d$}8z9WReBn~r_B?D+{dwO^o@YP~9_^@9@|dwAdL2JUIRK)NYA693VhiM*IU
zJ12I0?`9P#_G_nlm)JdxR5nIoyQq<(?6K68V>5ftnwXxl!Tr6ry<ewpZepVq<2uKi
z!uaOizXEFeX?XwR*Kl8h&HU}|YrOZ{C*9W=^Ph8TY3$mDyd-0<6?3me8+)x7yPusv
z#C7CfREKY8?6qR@ry-HC*NXiH4cRgO`P=x<^%t9tH-0LWJ<R=pbas98e!wZb=A+#Y
zKub8){Q!aob~(Ub40!VE{$fDrq?hv@XFKm6&A;;hVARRZTO{x-I9J0!ruR=a@OOAQ
zM>pnYAM>*pHWR&Vf@|PoZ#}hW^4PimvA3S;^&fiQ@Yq{Ve;sc<{SB%o>GR(>+0Q;`
zA!+Yte~Le>gP)z0{Or%9vqPi$*>5_vpZ!0;x%0R2vj;_f_Dt`D{bPQ1UK#L?UND4#
za++^P`v1$%euP*rZ^6+mAGyy_5$ttHU3%dWujSztNxC6dcstUlern3{?j+6>oX*Rg
zsPwOVIT8!Ff1Qteo0I;gnR^?OzCHVT!;`%ayYPmj(PIVF;1x-y*$5fw_J%6a^Do;%
zj_wUlV{b>|nBH&j?MP#%$&25P)X1xl3V!yk3v_rq>Sx#cker`=@O1p_?uAGNKYRK;
zv4W#rhtCW5(Y?!ku;6lE9J<``{>OAQ-9BIHcE4Y7zuhtY7mIc0Tw3MqX{m>w>EPXZ
z`?x+jYNrqIZvFBn;_R3D?pHuy*>3k+=6}cgU-uL1ey@M<^}9oQ-M(DNN4dk>eIi!;
zU+lt}GykZj?!t>dHKk_y)a2A;&AIi->GdC<mW<iwZ1)oz_xVd><Cav8t3K<Da{ZCF
z0Qd)e-tY3~MPf55D!)2DRZ(?o*^G*s-U%}*>Q=s|v7-K#iH#N0mz~j6ao@PI@n=>{
z2h><mN0Av7RaBW#QO@6zp?bT=mDPK;$+&g=1r=4jWfxS`teilFTi!FXqJG)LPgV>}
zD62c?y@sSQf~4_%R1=>2J)YY?@JsQW`+-y7;cZs2V;;|0{`Wk7&+?t0RC_O~s9ZU|
zsiNwZvZjifWfLx}XfCTfv!bT4qN>rFHDm3DM<|x&Uz4vlBE%-A%qVjDQ_1P#ijlIi
znls-!nxJN?jdlFH!{b}Xv+%7PKP%72_)9|uVlnaD_bc*z%-5^YUqCdT=?~wx7v%f4
zNjzU7p8srgo-Y#5YIZQ5FFsLuUg=?fgIYV9JeQmik>@81^1Q>>tBO;vAkRxj8Fv>}
z43w2EKVwvR&I;xEg2(qx<XKs!R>Web!*es`17Gi=JkLykTQ$CWC!8ctcz*D0cs2%3
z@uhB?5Ib;UwCu9{>Q$Uu7W2#%gMm&cfy82x*|^wy^6)<Y^t=3yC#PO>gOAN)e*c7j
zg7>KaADfr%5&Q)_9%Mgdv5C=S{<$p1Vlm36Ear(u@-DOIQ{mBoEB<_%<ohG?u{90Y
zV*Y9TmVUI3j|SHtIuM=~1&jHF<Nf<Q3*PDBwuS&(<Kg!=^1#Q|2!0>tpUSVgR8USN
zyPw$e{0d$<+W|s6<LP+8o3C_mo3}hp_VCW@96aRb_dLAY!)-iM<c~bO{w7!6<`|DN
zL;TAfJmlxo9^U8SA)e2Bc;`x2-p0Ki7cT1TI=BAZsq<qOEto&Q^_p38FYUPL`m1Jk
zT;H|0_4>tKv1<%Gw{>1u$Bpx*&KJD%#*WUZ(@vRlUTkW5W_^e+`HA}axw99yE?&^Q
z;Ku82TD%}O_rmlgGaA!#FPSxK_62k1&S{*HzF=-_?pz4Yzh>_I_G{)YY+ZD1tgF5C
zngz*or+d<cbk_|xEm-jR1@o@$n14-I9vqvWuh6yVy3T7Cg!N8>7uPS%b_mb?_$R{p
zhF0m~dLh`;wF0BijlhfRJGzBz*Dv7=)Do!K^(LqC^*QFJNC^L_D;~SVPc^|cmcsH&
zP61!2eVC8RSMV<^|4+XwsMabsk3#r!9$t#S{P(Q5;fc~c;|~k)DE>?QJS)ZjRSz%4
zf1+V@JX2>B;8D8i2s}#n?28KJqwr@U@F<?U{roQFbI8NRXB5xJ{Jbya{~j%1d`ipT
z@7IG;_@M|q%Fo$<F*=?X7K{%6d%qBr@^h_US4!J;kB66*@6<xer<Bj{`*o<a{KFA=
zR6eiXJUX8L{e=QN+TNz+4qnRVw>-R*pXVa*D4zRs1^iKd23C#^uk0<rqj;u8;88qR
z-ccwYg@5?#1$Y$CkF*i-DQ#DcL7kk{w(xVUe-KRn!hQUK5_q_ezgYqg_dC7&R-X`0
zxZedO@NmCV1TtDa-0#+vz{CCS%@TOH-=%$H@^t+;Ybk+;``uk7@NmByEP*%s{yy8Q
zNFn}kze|_E!~HHcwd-@&EpDC1@8TQXZ+rN3<AQ5jr!HQwWN~cjRjrF#V^imKb;YLM
z*x?fHck2AE#mP^^*#EA(Zo&1GyuM@cf~lBke`vcF#f4-+``m>$wqEDwrjz8a_FY3Y
ziMCW@Y5=CsKl}0IQYY&^)nsU_HG~EH@4&t8VZ_VneI!LE)a0ssx!?D2U(7>eu{TQS
zh8cbsgvr=Pc@oZFwZ6<<;q=|llmFc9e*40-|E(!WpHEu#-(Ldn^Yu%0#V{TIUg+!B
zm((Bd^(EivCv1QC+e~Ko94$BG>qlXFE-kAeBv@(tM|}OeN(3ABpK$5Z!oSh_zwbWf
zV&8j$>VK&UVg0cGN29HJJ*)H`i>>yIX^qqRS6W{<OIQTLc>J#Y#BwDKE=k5@=8jgs
Q?(bav4)>G)F0KE60g}oL^Z)<=

literal 0
HcmV?d00001

diff --git a/src/runner.go b/src/runner.go
new file mode 100644
index 0000000..955a6ac
--- /dev/null
+++ b/src/runner.go
@@ -0,0 +1,329 @@
+package main
+
+/*
+#cgo CFLAGS: -I../msr/include
+#cgo LDFLAGS: -L../msr/lib -lsidh751
+#include <P751_api.h>
+*/
+import "C"
+import "fmt"
+import rand "crypto/rand"
+import sidh "github.com/henrydcase/nobs/dh/sidh"
+import sike "github.com/henrydcase/nobs/kem/sike"
+import "unsafe"
+
+const (
+    CSKsz = 644
+    GSKsz = 80      // 80 because MSR concatenates public key to the secret key
+    PKsz  = 564
+    CTsz  = 596
+    SSsz  =  24
+)
+
+// Helpers for byte convertion
+func convBytesGoToC(goBytes []byte, cBytes []C.uchar) {
+    for i,v:=range(goBytes) {
+        cBytes[i] = C.uchar(v)
+    }
+}
+
+func convBytesCToGo(cBytes []C.uchar, goBytes []byte) {
+    goBytes=C.GoBytes(unsafe.Pointer(&cBytes[0]), GSKsz)
+}
+
+// Helpers for key generation
+func keygenMsr() (*sidh.PublicKey, *sidh.PrivateKey) {
+    var prvKey = sidh.NewPrivateKey(sidh.FP_751, sidh.KeyVariant_SIKE)
+    var pubKey = sidh.NewPublicKey(sidh.FP_751, sidh.KeyVariant_SIKE)
+    var msrPK [PKsz]C.uchar
+    var msrSK [CSKsz]C.uchar
+
+    if C.crypto_kem_keypair_SIKEp751(&msrPK[0], &msrSK[0]) != 0 {
+        panic(0)
+    }
+
+    if prvKey.Import(C.GoBytes(unsafe.Pointer(&msrSK[0]), GSKsz)) != nil {
+        panic(0)
+    }
+
+    if pubKey.Import(C.GoBytes(unsafe.Pointer(&msrPK[0]), PKsz)) != nil {
+        panic(0)
+    }
+
+    return pubKey, prvKey
+}
+
+func keygenCf() (*sidh.PublicKey, *sidh.PrivateKey) {
+    var prvKey = sidh.NewPrivateKey(sidh.FP_751, sidh.KeyVariant_SIKE)
+
+    err := prvKey.Generate(rand.Reader)
+    if err!=nil {
+        fmt.Errorf("ERR: Generate private key for CF failed")
+    }
+    pubKey, _ := sidh.GeneratePublicKey(prvKey)
+    return pubKey,prvKey
+}
+
+// MSR keygen
+// MSR Encapsulate
+//  CF Decapsulate
+func test_msrK_msrE_cfD() {
+    var msrCipherText [CTsz]C.uchar
+    var ss2 [SSsz]C.uchar
+    var msrSK [CSKsz]C.uchar
+
+    pubKey, prvKey := keygenMsr()
+    ctext, ss1, err := sike.Encapsulate(rand.Reader, pubKey)
+    if err != nil {
+        panic(0)
+    }
+
+    for i,_:=range(ctext) {
+        msrCipherText[i] = C.uchar(ctext[i])
+    }
+
+    convBytesGoToC(prvKey.Export(), msrSK[:])
+    convBytesGoToC(pubKey.Export(), msrSK[80:])
+    if C.crypto_kem_dec_SIKEp751(&msrSK[0], &msrCipherText[0], &ss2[0]) != 0 {
+        panic(0)
+    }
+    for _,i:=range(ss2) {
+        if byte(ss2[i]) != ss1[i] {
+            fmt.Printf("LEN=%d %X\n", len(ss2), ss2)
+            // fmt.Printf("LEN=%d %X\n", len(ss1), ss1)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+//  CF keygen
+//  CF Encapsulate
+// MSR Decapsulate
+func test_cfK_cfE_msrD() {
+    // C variables
+    var cSS [SSsz]C.uchar
+    var cCT [CTsz]C.uchar
+    var cPK [PKsz]C.uchar
+    var cSK [CSKsz]C.uchar
+
+    pubKey, prvKey := keygenCf()
+    convBytesGoToC(pubKey.Export(), cPK[:])
+    gCT, gSS, err := sike.Encapsulate(rand.Reader, pubKey)
+    if err != nil {
+        panic("err: SIKE CF encapsulation")
+    }
+
+    convBytesGoToC(gCT[:], cCT[:])
+    convBytesGoToC(prvKey.Export(), cSK[:])
+    convBytesGoToC(pubKey.Export(), cSK[80:])
+    if C.crypto_kem_dec_SIKEp751(&cSS[0], &cCT[0], &cSK[0]) != 0 {
+        panic("Decapsulation failed")
+    }
+
+    for i,_:=range(gSS) {
+        if gSS[i] != byte(cSS[i]) {
+            fmt.Printf("LEN=%d %X\n", len(gSS), gSS)
+            fmt.Printf("LEN=%d %X\n", len(cSS), cSS)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+//  CF keygen
+// MSR Encapsulate
+//  CF Decapsulate
+func test_cfK_msrE_cfD() {
+    // C variables
+    var cSS [SSsz]C.uchar
+    var cCT [CTsz]C.uchar
+    var cPK [PKsz]C.uchar
+    // GO variables
+    var gCT [CTsz]byte
+    pubKey, prvKey := keygenCf()
+
+    convBytesGoToC(pubKey.Export(), cPK[:])
+    C.crypto_kem_enc_SIKEp751(&cCT[0], &cSS[0], &cPK[0])
+
+    convBytesCToGo(cCT[:], gCT[:])
+    gSS, err := sike.Decapsulate(prvKey, pubKey, gCT[:])
+    if err != nil {
+        panic("Decapsulation failed")
+    }
+
+    for i,_:=range(gSS) {
+        if gSS[i] != byte(cSS[i]) {
+            fmt.Printf("LEN=%d %X\n", len(gSS), gSS)
+            fmt.Printf("LEN=%d %X\n", len(cSS), cSS)
+            fmt.Printf("LEN=%d %X\n", len(gCT), gCT)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+func test_cfK_msrK_msrD() {
+    // C variables
+    var cSS [SSsz]C.uchar
+    var cSS2 [SSsz]C.uchar
+    var cCT [CTsz]C.uchar
+    var cPK [PKsz]C.uchar
+    var cSK [CSKsz]C.uchar
+    // GO variables
+    pubKey, prvKey := keygenCf()
+
+    convBytesGoToC(pubKey.Export(), cPK[:])
+    C.crypto_kem_enc_SIKEp751(&cCT[0], &cSS[0], &cPK[0])
+
+    convBytesGoToC(prvKey.Export(), cSK[:])
+    convBytesGoToC(pubKey.Export(), cSK[80:])
+    C.crypto_kem_dec_SIKEp751(&cSS2[0], &cCT[0], &cSK[0])
+
+    for i,_:=range(cSS) {
+        if cSS[i] != cSS2[i] {//gSS[i] != byte(cSS[i]) {
+            fmt.Printf("LEN=%d %X\n", len(cSS2), cSS2)
+            fmt.Printf("LEN=%d %X\n", len(cSS), cSS)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+// MSR keygen
+//  CF Encapsulate
+// MSR Decapsulate
+func test_msrK_cfE_msrD() {
+    var cCT [CTsz]C.uchar
+    var cSS [SSsz]C.uchar
+    var cSK [CSKsz]C.uchar
+
+    pubKey, prvKey := keygenMsr()
+    gCT, gSS, err := sike.Encapsulate(rand.Reader, pubKey)
+    if err != nil {
+        panic(0)
+    }
+    convBytesGoToC(gCT, cCT[:])
+    convBytesGoToC(prvKey.Export(), cSK[:])
+    convBytesGoToC(pubKey.Export(), cSK[80:])
+    if C.crypto_kem_dec_SIKEp751(&cSS[0], &cCT[0], &cSK[0]) != 0 {
+        panic(0)
+    }
+    for i:=0; i<SSsz; i++ {
+        if byte(cSS[i]) != gSS[i] {
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+// MSR keygen
+// MSR Encapsulate
+//  CF Decapsulate
+func test_msrK_msrK_cfD() {
+    // C variables
+    var cSS [SSsz]C.uchar
+    var cCT [CTsz]C.uchar
+    var cPK [PKsz]C.uchar
+    var cSK [CSKsz]C.uchar
+    var gCT [CTsz]byte
+
+    // GO variables
+    pubKey, prvKey := keygenMsr()
+    convBytesGoToC(prvKey.Export(), cSK[:])
+    convBytesGoToC(pubKey.Export(), cSK[80:])
+    convBytesGoToC(pubKey.Export(), cPK[:])
+    C.crypto_kem_enc_SIKEp751(&cCT[0], &cSS[0], &cPK[0])
+
+    convBytesCToGo(cCT[:], gCT[:])
+    gSS, err := sike.Decapsulate(prvKey, pubKey, gCT[:])
+    if err!=nil {
+        panic(0)
+    }
+    for i,_:=range(cSS) {
+        if byte(cSS[i]) != gSS[i] {
+            fmt.Printf("LEN=%d %X\n", len(gSS), gSS)
+            fmt.Printf("LEN=%d %X\n", len(cSS), cSS)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+// MSR keygen
+//  CF Encapsulate
+//  CF Decapsulate
+func test_msrK_cfE_cfD() {
+    pubKey, prvKey := keygenMsr()
+    gCT, gSS1, err := sike.Encapsulate(rand.Reader, pubKey)
+    if err != nil {
+        panic("err: SIKE CF encapsulation")
+    }
+
+    gSS2, err := sike.Decapsulate(prvKey, pubKey, gCT)
+    if err!=nil || len(gSS1) != len(gSS2) {
+        panic("Decapsulation failed")
+    }
+
+    for i,_:=range(gSS1) {
+        if gSS1[i] != gSS2[i] {
+            fmt.Printf("LEN=%d %X\n", len(gSS1), gSS1)
+            fmt.Printf("LEN=%d %X\n", len(gSS2), gSS2)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+// For CGO testing really
+// ----------------------
+func test_msrK_msrK_msrD() {
+    // C variables
+    var cSS [SSsz]C.uchar
+    var cSS2 [SSsz]C.uchar
+    var cCT [CTsz]C.uchar
+    var cPK [PKsz]C.uchar
+    var cSK [CSKsz]C.uchar
+
+    // GO variables
+    pubKey, prvKey := keygenMsr()
+    convBytesGoToC(prvKey.Export(), cSK[:])
+    convBytesGoToC(pubKey.Export(), cSK[80:])
+    convBytesGoToC(pubKey.Export(), cPK[:])
+    C.crypto_kem_enc_SIKEp751(&cCT[0], &cSS[0], &cPK[0])
+    C.crypto_kem_dec_SIKEp751(&cSS2[0], &cCT[0], &cSK[0])
+
+    for i,_:=range(cSS) {
+        if cSS[i] != cSS2[i] {
+            fmt.Printf("LEN=%d %X\n", len(cSS2), cSS2)
+            fmt.Printf("LEN=%d %X\n", len(cSS), cSS)
+            fmt.Println("ERR: shared secrets differ")
+            break
+        }
+    }
+}
+
+func debug() {
+//    fmt.Println("MSR+MSR+MSR")
+//    test_msrK_msrK_msrD()
+//    fmt.Println("CF+MSR+CF")
+//    test_cfK_msrE_cfD()
+//    fmt.Println("MSR+CF+MSR")
+//    test_msrK_cfE_msrD()
+//    fmt.Println("MSR+MSR+CF")
+//    test_msrK_msrK_cfD()
+//    fmt.Println("MSR+CF+CF")
+//    test_msrK_cfE_cfD()
+
+    fmt.Println("CF+CF+MSR")
+    test_cfK_cfE_msrD()
+    fmt.Println("CF+MSR+MSR")
+    test_cfK_msrK_msrD()
+}
+
+func main() {
+    for i:=0; i<1000; i++ {
+        debug()
+    }
+}
+