From cfe19b56e29a5543f7a93b3de3a883d9fd3580bf Mon Sep 17 00:00:00 2001
From: DE CAMPOU Louis <louis.de-campou@etu.univ-amu.fr>
Date: Sun, 2 Apr 2023 19:27:39 +0000
Subject: [PATCH] =?UTF-8?q?ajout=20rapport=20wormhole=20+=20modification?=
 =?UTF-8?q?=20pr=C3=A9sentation=20wormhole?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../centralisation/wormhole.tex               |  13 +-
 docs/rapportFinal/centralisation/index.tex    |   5 +-
 docs/rapportFinal/centralisation/sources.bib  |  50 ++++++-
 .../centralisation/uml_design_v2.png          | Bin 0 -> 28081 bytes
 docs/rapportFinal/centralisation/wormhole.tex | 126 ++++++++++++++++++
 5 files changed, 183 insertions(+), 11 deletions(-)
 create mode 100644 docs/rapportFinal/centralisation/uml_design_v2.png
 create mode 100644 docs/rapportFinal/centralisation/wormhole.tex

diff --git a/docs/presentation_17_03_23/centralisation/wormhole.tex b/docs/presentation_17_03_23/centralisation/wormhole.tex
index 9af2897..bef38ed 100644
--- a/docs/presentation_17_03_23/centralisation/wormhole.tex
+++ b/docs/presentation_17_03_23/centralisation/wormhole.tex
@@ -1,6 +1,6 @@
 % Auteur : Louis de Campou
 \begin{frame}{Wormhole}
-Protocole de passage de messages qui connecte 13 chaînes dont Ethereum et Solana.
+Protocole de passage de messages qui connecte 22 blockchains dont Ethereum et Solana.
 \newline
 
 \begin{itemize}
@@ -14,12 +14,13 @@ Protocole de passage de messages qui connecte 13 chaînes dont Ethereum et Solan
 
 Un gardien est une autorité de confiance qui a comme rôle d'observer et de signer un message.\newline
 
-    \begin{block}{Fonctionnement du réseau de gardiens}
+    \begin{block}{Caractéristiques du réseau de gardiens}
         \begin{itemize}
-            \item Un message est émis depuis une chaîne source
-            \item Chaque gardien observe individuellement ce message, vérifie sa validité puis le signe
-            \item Lorsque 2/3 des gardiens ont signé le message, le consensus est atteint
-            \item Le message signé est transmis à la chaîne cible pour traitement
+            \item Sans leader
+            \item 19 gardiens à parts égales
+            \item Preuve d'autorité (PoA)
+            \item Multisignature (m/n)
+            \item Le consensus est atteint lorsque 2/3 des gardiens ont signé le message
         \end{itemize}
     \end{block}
 \end{frame}
diff --git a/docs/rapportFinal/centralisation/index.tex b/docs/rapportFinal/centralisation/index.tex
index a83d40b..5d9225f 100644
--- a/docs/rapportFinal/centralisation/index.tex
+++ b/docs/rapportFinal/centralisation/index.tex
@@ -4,8 +4,11 @@
 \subsection{Les Blockchain Bridges}
 \input{centralisation/bridge.tex}
 
+\subsection{Wormhole}
+\input{centralisation/wormhole.tex}
+
 \subsection{Analyse d'attaques}
 \input{centralisation/attaques.tex}
 
 \subsection{Les limites du centralisé}
-\input{centralisation/limites.tex}
+\input{centralisation/limites.tex}
\ No newline at end of file
diff --git a/docs/rapportFinal/centralisation/sources.bib b/docs/rapportFinal/centralisation/sources.bib
index 82a9a48..84ad243 100644
--- a/docs/rapportFinal/centralisation/sources.bib
+++ b/docs/rapportFinal/centralisation/sources.bib
@@ -50,28 +50,28 @@
 
 @misc{NomadDocsExternal,
   author       = {Nomad Docs},
-  url          = {https://docs.nomad.xyz/the-nomad-protocol/verification-mechanisms/external-verification}},
+  url          = {https://docs.nomad.xyz/the-nomad-protocol/verification-mechanisms/external-verification},
   title        = {External Verification},
   year         = {2022}
 }
 
 @misc{EthereumBridges,
   author       = {Ethereum},
-  url          = {https://ethereum.org/en/developers/docs/bridges/#trade-offs}},
+  url          = {https://ethereum.org/en/developers/docs/bridges/#trade-offs},
   title        = {BRIDGES},
   year         = {2022}
 }
 
 @misc{EthereumMechanism,
   author       = {Ethereum},
-  url          = {{https://ethereum.org/en/developers/docs/bridges/#how-do-bridges-work}},
+  url          = {https://ethereum.org/en/developers/docs/bridges/#how-do-bridges-work},
   title        = {BRIDGES},
   year         = {2022}
 }
 
 @misc{EthereumRisks,
   author       = {Ethereum},
-  url          = {{https://ethereum.org/en/developers/docs/bridges/#risk-with-bridges}},
+  url          = {https://ethereum.org/en/developers/docs/bridges/#risk-with-bridges},
   title        = {BRIDGES},
   year         = {2022}
 }
@@ -185,4 +185,46 @@
   year = {2022},
   month = {08},
   url = {https://rekt.news/nomad-rekt/},
+}
+
+@misc{wormholeNetwork,
+  title={Wormhole : Network},
+  howpublished = {\url{https://wormhole.com/network/}},
+  author={Wormhole Foundation},
+}
+
+@misc{wormholeCoreContract,
+  title={Wormhole : Core contract},
+  howpublished = {\url{https://book.wormhole.com/wormhole/3_coreLayerContracts.html}},
+  author={Wormhole Foundation},
+}
+
+@misc{wormholeVAA,
+  title={Wormhole : VAA},
+  howpublished = {\url{https://book.wormhole.com/wormhole/4_vaa.html}},
+  author={Wormhole Foundation},
+}
+
+@misc{wormholeGuardian,
+  title={Wormhole : Guardian network},
+  howpublished = {\url{https://book.wormhole.com/wormhole/5_guardianNetwork.html}},
+  author={Wormhole Foundation},
+}
+
+@misc{wormholeRelayer,
+  title={Wormhole : Relayer},
+  howpublished = {\url{https://book.wormhole.com/wormhole/6_relayers.html}},
+  author={Wormhole Foundation},
+}
+
+@misc{wormholeArch,
+  title={Wormhole : Architecture},
+  howpublished = {\url{https://github.com/wormhole-foundation/example-token-bridge-relayer/blob/main/docs/design.png}},
+  author={Wormhole Foundation},
+}
+
+@misc{wormholeChainswap,
+  title={Wormhole : Multisignature},
+  howpublished = {\url{https://docs.chainswap.com/mechanism/chainswap-solana-initiative}},
+  author={Wormhole Foundation},
 }
\ No newline at end of file
diff --git a/docs/rapportFinal/centralisation/uml_design_v2.png b/docs/rapportFinal/centralisation/uml_design_v2.png
new file mode 100644
index 0000000000000000000000000000000000000000..d2c2e727beab0889f942005641ecf661eb05f570
GIT binary patch
literal 28081
zcmeFZXH*nx*9F+9h!PD11qCHH(SS$>2};hP$<T;^fCv&KqX;O7B3Y136PwUP$w4wI
z&>&Gj6cCUgIm4XhzTum1tyyd4&-|D*_m5t?tGeo`^PIEK-uu)mb=7+mr1Yc+1cE|A
zURD!<I39yQ5Q&^RM);Sx>$&g;m$Mwo*}~zmyPf3&XT&|rN0v_J&X)JDpxv)nJ3Bvq
zBErxA*v|Zsvx~hQpM`_H>(>q@I7O9>Hp=<m|BfJn^E~|!rK$3E_}ZD8UA@;%&t-I{
zEQlPlqA??Ry0XUh$He2Gp2MolThDi|EQzwGW6=EKJKmqS#CIFq6>9Ui@5FlAbdWx~
zd*!lhwmtG*+q@|KQ`S7i6U%{7Vpki6>D6v*_LMq!{W+ho%rrD<P*&DtaroxRSoow$
z&l7G18yh3)NdX#?JvJp<zs0VDCAqV|NwVGVJ^xDFHRW{H$RR%A+xzr$`-d;ykMBs3
z7JrN$O+WkHa!**G_{D1><!1sHNF_*|8?Ad6xfdv7PCbj4!rCQgD!cLieI%WIsV_nK
z8l4_$>q?cCevXp=92M_{YV!A^MX%RuYo8tS&;InANocyeYv)dpP3%g_*`AvrVY1<$
zqBKNVjX${N(ge9nr8WLOR}dxO6L0t9<)lE}&zVPiHewa=3q74ZX0~IY`!-j~UD7Ia
z3v4e1H?00SX|$;p>6*A!yKcuAOy?f?w?8h~P+Ewh=>Dl$Evm){;fF;TcYif^^3BTr
z{jyVnJK#xF`E_sMs@zY}2EMbVg<<wnLve-}m5LYk8@EheQb@XV-r{+7zJQlM`TUdY
zEsD!y<i{}#$662wTTcbqJK9f8=11L)w7(rnK2~SF^PTAI`BJs4?ARHS%_g>+yB{A^
z&@f5zd2=Z#&00)#89B;nL^iQ~A=e^udm<y3@|{N8=&{TR8o6c-fius>cRRNqOT^sV
zG&%X;WbFHaRVt>Nzds1Oz4z>LA2pwT7)1t=f-rlCZ6ZV<!tVwZl9uonWhzY`!k@8>
z=_taV*Tm&<gg?zZ!q9}^s$Xl%94sj*abKPO5_ij%9TlFH#ks7G(0TXnosW;tPoEPt
zJwI;x9(aY`Wm$B*b~aXa?ODnNse3EP{_$~1BvRoxExVYQ*RPh)pFIdtLHl89dU~!!
z*=uL$pC3DRtSNz#{aD0HiEGryXXGWC@ukU6b)Q+rihGtl74Um5{ABuN6%~2#M&ZZa
z23fOnJ?8__2;(cw(nPDjyXfAYRQIE{wUftXkVU*qB%I+Gl9sf-J6kjzWg!!M%NQ=@
z1zZZ9JWd@Es5*MJnVvxtJKM;b%0b?YsFVs0ICjl>juP2F7=~7%V?Qfy&Uvz%Sd)j^
zFGb5u9@i2`ZCiQm)y!#`>wbJ;=oAEbLM5D4Fdfw!pdhPuA(+Vd88sQP*-YPMO)Tze
za~z*Cvqz&kc`{i#inCrjP*p_Mwl7N~TNBgPCXZ7cYJ0~*$7_(j|M6)UIyA3IbG|)-
zBM*x`*!jbcS-ENTwYwqu-Mgy-W|1b349GoQ;cg?c;W{y7a8sOP-TKI+goMi~zxT2S
zze;IpYGU*9-a>HbW{J2he#p(Weei(YGcGn(UKo|udgvGo3uDRAOgeQ8^8mXSdVA~#
zn_7|tX7xE~aZwQ~g;G*O7bRRS*O)rFnN1k_@b~7pZ|2ZcODF?c&PHATqOQxIeqLPT
znYBwILnXYTGOMRGeKXaPqA4g82UG8b(%&*~JYlmfx>SAs!UaxV<hc+P92ZHZ`TKjp
z_Jf5Jug-Iz+96nGvhl*2!Q?)!sA*QTlm}%qf;Kf4DJUpdW?JWS%eJ4#v{uZx$Ze+E
zyf;Gyou-M#DBBr?Y5acBFRX<_H*YMA+`D%#B$QQCORK=BVr6UD0@s+X$>Uk+x?teu
z=4NPU$VEj-`RMycoWH-!w;Y|_%_ZN>MdL9ZF|iLh^YiltWp?h1--Y{Sq@<)0L|n4E
zzkQ3!8;RyM+~TM$efTXkoI@><oJr!t8=1K$gN5c@iQ>H`Yaw*}9}*H+n3+-Kuj}f3
zWB82I+2m4{f}7u`zC~xEHWm-pdezqFzNPtxz9FT(9`Lc9YCw8K$u!Gbnd@>r_Ip>?
zQYU}ieWm&D6*oik?NTa8gYxH@BS|gQIKv|&`$}!~JUw?Ge2L>VsYZFf5*8LdDJiP#
zan792xN@z)cRysqJ%E(v(&fv$8w(5<FCqnR(2ED55o8)4s6Cg)#Od!=xh?tps3#KX
zI^6p8w&Ka}e1lR&J3S*RCJE}0;Gc@MVPR+JtKeaOQEJK{zUcDkK?0Mc&j;OKGd*bz
zb^B%U@$rM4Njr?!DyT)RyRXb`Z?FE=F0yESV>^)Fb6h025}tgOo5PshOm~Wnjm^c2
z7bPSl>_^HlD=%K0;2N*<l@!ll{F*4vy%25nj_CNwZfAK4>%a_&*4G!)YOIHi*Vf>%
z&9i+@6!)~|i;1RINI}wC1t+d4<CuK5%so6rh^wZ*#P9CxtT<t)bMc9iVdCsjlxDiB
z{Em)}DSxu!Z#&fP%;gH4Dh!zBx>Q*d62|*kM=0fGdHH7jv*XBgP2s%PJLf_jU1Qf+
zQ`^agR8>`%YBtC6jjQ-fs-JHComl?WTDSUD6kXLw?WwYMDVT^y)=`ruG+kgaLDJU*
z+a|-YaC_WKhK1U=t`;_*QZ$eGRO4rkQ1rax)2B~6qj_g_7;ZmGZ#Nq*v7w+BNX`@>
zQvM+HZd1+wvWwDG$;;E{*~L88Uh18`-<yb^vmwo&*x%jUU7MAOxcKD^R@bItUdIsP
zZuQG;dwY9vadEW-k>=gW7hk9-C@`4<kxI50PpRR={`c(hutSE2hSukYo-_y3cvV4^
z-+RmWCC6iZPOjI_IU=fGKOj*i(=NEiWBp-+?xD-yA9oBEzVAJF_39N?jEk$Ir6rK@
zd&QGXukDpPckVzoh^|$Sle4Bm85*{>wia{6IYAh?Gt^qgt<TQ(W~#03Zb{yIb19{9
ze%{U|Wsy_`C!`hZm?1y=9*y)W%w!O>OHTOI8KsF;^gNK-h}9PH+s>US8HI>go9(p;
z`WwJ?`RI92|2-f4T!{Di<|SI%j9OWX50^6}UO6ue>xdSwJdw4bxaDM<+GGFf*uUeJ
zfsXE;%vFjrMSAbk?uMqmdzbNyjE;}Tq<Sk#&t!YKmFboUxfCNK<C>pHrl6_sz6<P4
z-2xMp)s7UIpy&SnL%FrPi=wdM>95SJc#o9XKYH}2wzhU#iMIXg7scGxkzTyRc<pGm
zRwm_T5mpY4Vy>vEBE3?Z-oO^ixTNapY7y7@ww(0z_@wagpTB<fV)bvP=vI=XFG%jr
z-{j!nDEs>C*|SLfZP(BX*PoxXj>BXHKM=CAvNFLGedU4-XsLx=+kGA{XrJn>1J8m>
zCr3y~NPVF*hCix^*mk_)iPgiQd}C1`(PK8dgM%m!qgzZahB&lboJW8}=(3F#VFxH)
z|4NM%*Rq2R;OVh8qv65wv|{6(uC?bZS?ODa^+(wsTz~B@)u{;wy0RDOh&Wr)rD$e(
zOE)()$>07xh_jee5@;DR$4AIZOCQT)G<G~a^#M=+aI#-EhV5bR6V8)`XPOmoan;;P
zl`{p}+2=wtEm~fuTz?+L!N%4zHN7&`>8?btICG+Z<{F~sWqpqIHOw9JSv+Rjdyg(a
z(!g3)_5{Cv=|dWd@k3jUu#NB7B9FMe4Gz^0);+0mkQcW}Fms)j1;Z6jI6NyKe4%Gx
zU|2|bf2+7l<`)YFZ(QYiy3~v6@3~>)NGdyfd(0m(*LhT#v9?^i%qM{Y`rD5#<!YK*
z(RffM;1L~3D?<t1i6uV!9<Hsa$4Mv)TNJPQiL>?jbVMSl$1xNr&tXmOywfOa87C(v
z>m;)Ay|hpa>IyG1Tv`iz(n_(Xi?EVBhjuOiD(1QSet%6!Tj}f5)>Y+Z5kFQs(wTv}
z>p{rH)gRPTAAZY;D$$+oo_g`gq)L7EMXD2byA>`nsV~O*b@8Wkj<aPPNN3Wi*B$f^
zOZsJ7|Ff9Nu$bn|0s_wXbOiyt22VUd686K%%ucPb*ZbH19PIA~P)fz{n?BGXp<<*K
zF=u9B$y@Qi0%c2%E9I)8b-Q)f7cL0Rs>;gR%`s1WyN)*`hP|%rc_hV?y(zrY92YzL
zH0-OAKd?N?bjx^yT9T)y7x)%x8v5Uth1gT7)C}v){lQ9irD%yao7DLvBrcBCh~8e(
zl^7cv!{RhgC4b56k-T~Hrl{!1`1ttHkbc>Sg!c~lWs%6SqVLspn4)%+sO#%X!Yd;V
zbyI2zZyCkcDv%j`NL~M%n3q<;k%>sx?&LeOv$NDiNc&!5#;D$9b=Y|}y%{xL+u>y~
zD-ltXr}`chB%m$dDqxPI3{<VeL!$6cWH-8_j9=KL;7`k`iMq@Q+;0o}-Ib(u|95<L
zNs|%Fhs*5Zud*^xQMdZ6^IpAC>dW{IAmeIq5*l+bez@!FtdI~Lo#Es`cD(z|WziQz
zFZGZVQrJ~-&y6N(*-jdR8_n_Y_g-JPL)YQEw;c4B3p15Nj@6XDS>(Df+!4iH%r9><
zuyU^K_WiV+4fRe5=LsFff3MQ?G@B&sXA%+;e*S_VKg{}3$P?Yz@eCD)VI@~r*Tlrc
zqH)f)FT1!-jwG+2Gc)p|f_8(~u3V9-q7e4numgy&MNwzX|1C>HX38)y0Drw%aY7ln
zru+_nv$@EVvYV1na<{t<%N@qYlJ6WRJ@0ItXH<b#bUN{{d_Waf)S8Yb!g`-kw0%ND
zX*?v?Mmx>*LA}B~B|0_5drX{^md{B3;&l#=dp55s?g|l#zQ*C*Xa6hm0u^v|`x^`i
ztIm|gb&h1d4^wdAjI#Ic^|mXs2yrKgy5-{$>1(Z5DxYF<QE@geoY;nY(>vyDSaT=-
z{NYYW{1%h@>pM0<OGa9HP&FcNifx{Om|GY7L&wy6oyPFQ?x+4P$-~dNEpM5+a{31J
z1Kg<+@Q3fL0jUa9(P8=H(CMfT$bdworbh<qs)PY{{m(!#Q*QRn`62VU2zfw5m2OLX
z)J2xr*p$1rD$b^<_0<4RWRR-Cqkv5Oh>ml<=pmkJ4xy8gkr^Ew-R=^el^$<zw}HK?
zU3$O$+(GGPUtb@TKA)|LAc&js5*sc5lN6CBuc(YAOBJ(B-JA&79``*IkLvw<77B+_
z=1IJ1BI*511<bc!3qudpFJU#(T9SMZ+H<s{;Z{F)3?-EDnbuYVe#uaYhak~0;EqSn
zF4rCIJ3ta2?s8sN`!hc?(?)k4-Sl#})HWz6sCT;CBu6JVTIayjMyFq&I8b$Q?prR@
zehXjEC>?9SdYZ3q%8??=24{@ZCYWz8(HcX2+6yc_sWFrN&UPoF?fp$F>+~tN;Z%gU
zdE*P|0d<ygb`d@eKSI9&nRt15nL3gF)<fA$KI8EITs?=inV!9S9RelW0DKI?{ucOz
z^BR_Qf0QYh>&rf$faf}{ZeTDRiPZZ3{d-3YznZa1oWLtR;*%#e4~k1mOUuh02zku+
z*}On@kw@dh*9^B+MZ~#z^;#?5N8Rl2?~harqF``comR2Q(+u|h`=f!*)awqng_YGn
zji=j$sv)eGFvUCV^~I_sc!GUghg632Q!cvCQncovFLD0R>nuOOh)$sVccn@nM5oEb
zcso8n88q=JXmyw70_pl;3xk8#&TM8;=G}aKW#&kAo5+lT;lV-m)P;cpQ*CYPTuptM
zg<Cx{)v`!JgT<*D9B{*SWwIR*C5=+ZF`3LCZzT_&u7A@rHZqdf`r$7VM5&MqC?q)(
za5X0p^?jr_KD(#bN^PRAt(i6T_CH<PEqmXC?cc#P+-M7nt|UpdflcQWN&8^|oQ4MU
zUU%<A=TjIN8#CN`*asN!C|Vn?5IQ}(i}&tqln$7rY5D)eW@i2_s5|KJWeWUH>t;L5
z*^HmOGw}^zRL1$>!hnM{oy&o$`qcM_T2<2>f3;9s(ea?JS$0r6Za%wnwK>|G`aVD;
z`51TShaW2{_7@y{S65d(xBg!JAFX5kbNV(X7ndlB3}Mk5H#EQdn+b(`Q)Rp;nvXH{
zLDnXyQ$u(Cuhz4p(F%t-mINo>;^~(s^slMuTG;ue+bQ$V#OATq(d9ZlpIJ%sx#>@B
z*fQaXYw<sdE@d2k_pVO9QH5doqt>@fbPVkp@6$u)@EE1Toq;-tC#@7|;(Pa6YrS{p
zw#&^}<Vaauaz)7#j)^a6ToKpe(!~zKM>8|lxOcJ-AI?Q_>oH3D@aRT9vq+nS+qB#n
zPeXhvA|<STH#g+Ht$T8EF0=UN(NSYN*3A2w*tJ7f4jc{#$b0YLTM!i!94=Pp>#{s^
zBmZ=63Yl@`EiUo|O^-2tU9G>$!hm+504+>UvkP`)`qW46;51gk(49QuOLVyng+>?t
z^*bxqD&1Efcz8gMGiJ8<y#gMWh_N}8Pu19K6Fq77hWW{%)$7N;&&#uiR*!`8Qd`SQ
zXf*LZ+IFwn50^li6xUr66cekq?2Oi~g6DTwW0E#IT$;P_qb-P)zOQzBn!)FAj!h~0
zuOM~=c3<`ObbJZagv3nM1hkGWvBHRwo{THQEqAxcL_vE4NJ?4nLqf<73ykhp@hV&p
zsgOSOXCBq!k<^lwk;!AV3f>@Mu~!RWy!k*Gn309~d5?{G<emdv+P$|A2sqII@Kgbw
zGl`v@1X*Uswbs}6&HP+LA(oOrD3FJtBf`T^QZatd(qJ*!9d#S8sH*DCas*5U%~nN4
z1tf}xb&t1KrbJ!mlXD+)+2PaMlkfNoxcgdgnbz(#_><^+(kEt#8*l!>=LH3kh`$U8
ziSX%<4+}H1w^xy2<UjkG{#Hj%kK?C63OYU`RP|Hb#vz;hb&tb?eQ0~vR#xT)aV)u{
zr%$KkKyP5$&SKAROfh8NH@Uy`5*FC7#-sFa9ZQF+VK}fP`B_LoHn!&0)}Rcv6kU&c
z`4QiZAuEW0`8INL^7PLSqnLCEMZ4Gzg}R_aOiU~+D!R%Q)!Q_A1&EP#g%h8gQV0<)
zT|jM{6vWtF>SSlflbf17{PimzGxPJ?CZ!K`pr^+0_Z{4AfQBQBd&8xkQQU*jok#T+
zO2-V-k5*!?z8!Fa2cOIp*V7y<M%^%56o2xTiL}z>_#3lPh?xj+<KhRQp`jGJ{?xhW
z4qDQS=;_-9$7;RfPflT!VuE?8D+v$MCDSw5(u!1NBvR3BVVJE?k?MlabLbmJhKCj3
ze#Tj}7Fqb`%p_wfqV+-<ZokpVK6-@x&e>|r7oy1m2%FFYGuYPFrj@BmeBwm+OBuaf
zY%u9|$ro)b>YXB7$S2b_&H1q!&zhQ=+2>W77)2~aD2w(1>;s)_&4B4&(C1Zr{K#YU
zQN8sMziI8~fiNv5K7C%}#nte_!fRX=zK6B!bt6#Ga9kUacToo@*N>6;f%AflVo%jk
zoE#(e3XMQ>K`dUbxqkgR5Hpk%6!zagUOzPLD<#~FH52Q6Te^k+<q|r6lfHaSNfl*E
zpuRMdWUukikrLu>O%b=p@(rNC-Zwo{C>YP!eG$WudX?|YA4dM<Pe0qx&|nS}z}d5B
zt-gNHFSEPI#6FV~*Z2n#@yy&1JT_rr{mn<)^iFfWm3YgKlcS2QH-;QltP4s)E$u%>
z{&RiUwKk(FSNo}ss3A9<QriG(ZU&vw^HNWrek@U(6}T=8+?|p)><J@ILKe8D9E`bH
z2i<J0ZeD7u+v4|>+>s=oo$PwDm1Vlck#aQ=g|67^G9t>anIsSL%EzE&4}@KnLA`o2
z8cgF}={$>vVwV!e8?x`HyVa`$fj?vsHQ}_mIJ&k4oWowg@Iq9X#*~^~(P%U)uzB1j
z!4wew+lH<Z(b0tt)ZL|*3V?bj7+n5zFt)SWCArEaVv35|u|YclL#US$aVpT#g~0on
z$5JbCI(oRf<5~f!cthaYkOzl^guHr{G8=t37*Y2Z8ZK%t8?=P)!5&02<m6BHn4LD}
zhn%K5h6V@a>twT(%BykI#*alsL{<zd0pF>`UVC;Zwh^Hw;ppTv{Lzs`hgZKycGv1e
z(I+-yHxFf*F{o_;C-<^D1o6qrBhv9#_FhYsjfB4dva&K0<(kPW!Z>rv4oHiEd}B;$
z5i*+baCiI=U@yc5ChhqfWs$(`<(vP7K+7^DYIz2w*p<Vq9H+S0OTcUD%&<N;*S}04
zSugN3FAn1T6=yzMsU1Il+@`GTKQQF4oYY2Ra`F{Ax)=xs4^PkDrwu{prs09?jEo<&
zB;BZV<_@`wG5-`;QCX>ZBO|34*gg#n4eT613FzDRqWP-TLUqgW6XAP*KT(w&M3&`|
zj^X7h=@my}qoW0(;@-Y}n_kVPCxTt&Cx6dk8LRnBU&10X8dp}9p{>|@^-%rZuHU<8
zv8R83gz(p9X`}@vBpAbE4iL5X2CN|POY>XRQmxWzuFk=@;jNC$SM7Iz4h~RdrYG;r
zIV!ZV$g&e3tE$xE1yy*6Sw6vLGS;+fj}>!w0=lDFvo{F1-;PFBH2&z@JQ;(31`7C5
zh4o**zBweNQ6vXCISL)T4>6*LMV)0}@I2Vt2FyD$G7>+<#spi9YgD0$+zbe1IelfE
zuC6Yyos;7V&yOA#CLRsE5V9JuQ}xEMEw#DI8sCXILWs?(GCx2Nwr2-AI6#x|Xfd&9
z-V^_CvDOHg%taulDUkin=Kq6ihl~m9@qdeG|0}7MDAoYWDJd!GNcH^AmjqG0@3Usi
zz@s0B`+75}#gibZprG*c74h^VP!xbEI}1F1Ap}czx4I+8^JkEU`5`a<pAW*aFLhmf
z0*yXJw7F^`Ko^1l0U`A>|Ab6(1ILvsekYk7-}=9*XVnyg4H_&f(F`g_EH@n;9qtrD
z`3yngK+%H0vFb++I!H7zlD1y#3Vg@U@=h@EH7bJSVWtm)$LHh!|5yK?u0V9S8V(Re
zNl{TpM~BFhX=RLJ)QuZAnrJaW1@R~%_35ie3;ix*5dNc*-0L11df$jiOZx?Tw90$e
zRl)ERXQu*=r+~pvgrGqc@`yDvN_c&QTuDaD1C;JnaqpE$g{M!qGLw7^l3jW%A3Pvs
zYf%aw?&RY7mB-)*;tSzPP9Xa~eX^MT{GOQmFvPN|?qEl0CsMBF$B!Q%YlsR7X+yU2
zJv?w*8k?f%&o}<FxcJD{R*4s=!~KmB2iUr|ZTsz(e>Trg;U6IdfKRW!8%p2T1+fWS
zcFS(cHI<OU;$qvOqA6hA56TVPOJdkYbn+W>&JDSwt@!!*iMY&lI~f}rLs#1s(^fbY
z7!YvF2LHljBu9tapghm8T$5w%oSItK$B#n&nl|3|cVl?94OY|B)1h&BSWtmK*HHb>
zotPs9g@xbW=!T5nJSWD5bZvce8M1mB3FNpx{dtB<V>Ryncl=M<2*eSXm(u~f!KT3D
zAdyHD6O&=2YrP-Q{?2;ZMr3_f(shfLzdnJKm*b+NL0_5x`m@Y_WG`xmf5EcdH7d6-
zr-JlPbXb@a)yC4e8bwxau~pZBoBQ^l6YyGlGd(N@w@E{w!0pbYz1`{sezh>V=nu<C
zot=69N}Q*sC)FjPFlhjKi4zXN^XD4o|8oO^g3&j+0a)r!Kv$lln`Zz~p=aVgHPsoz
zh18w<(cllIsk-4?uAcrjFbA`<kUoccAqiY<&dA6x_=mziS>?Lm<m^1T&&tkTv;x8-
z@Qxd?=c6%wQGNwE_{!1$$$s<w?eJ=>lmn`ycck25HPcQfs{dY@?~wGf!s+VYfUC-;
z6_rjD2OVVqxv64QqOOi6&(tVrlG+6(3Csol{>P(iGsj|MFL=ZyCVou>{HZ+?Z8?*(
zos|of?tzt6E>Fz)VNMsqvMK&)83u^*-k{8OfbYhQmAcN(%-TnL**iPdn+4janK&j<
zS8O-ib9b3wVg#bIv5sy8m=5UT#DWt<-QF;!XJizuz~73THijm4*8dER7ExXjs_zJR
zk-6s1;Se1jj%M4w5}~CQTx1_vscE2tarwoczM++&oULEX&Trl~5Gtu-z@%E{Ym<VH
z)2fJ?EFS#(_wnVJQ`4jbWtWFc4F`|V`SIf)o1Dp?OPpslX<u{Z>f{-?07d}NS?%&i
z7nT>b4N*4RusB+k?TtpKmY3h=raQ+t`@LcnxSYY;LU7e-qgc?Bpj)>L$+&;<?AdpQ
zD9uP(MTq_=e9kl%b_7uJOu+m1?}vtl4h{~!e*IeQd)Iq3UCnafX#JyZE%jyh0#Zwq
z^i`$1u&1J7z#J?7&sN9pHYW-{30(OQ5plj*f2Z84D-qgSOC5NE4&BMmYHGx%s-Z(&
zsTZ*NdZ~Y`vy)p$2ql_$qo^(;MzGgfAjxaxRazR0%Qx7jum!(2hNqUOSMm(yJJIOg
z(lZ|gzTZZPTQC3fBO&#92kJ>K>|49TqJWAHTh)|kW+B7X05UoVw%?PJoV;g0Galu>
z=<vh3s`?B41*UJy@s0mP^qsZq#(<@(A5Ta>8sn`L6BDc5TT#Lhqt5+vAAn^40FyFr
z%Loz8B;h4gXG(-(|MzEzX`+9gi6)PqyVOxYJf|izV<brI^+iyKVoCl#_tnqFH6A)U
z+VVJQUPLS@;r6aQ0ftS~Y4VgWmkLf>wR8`Oh&}Vq2ULt=*3iFD6^S)#o{rL5IE*{y
zH+!^DtG6F~js*-|bfr_1M?B*k7hU`@zgPc!<TlkoLs|f85VgrH(Z15#S)!;A6{33C
zqslHf1FY1-a4Ca;wbVq^0j5=(S@0O57c_eWf_CEX#HYo@MZWEs>rpR55%tbThhVIG
zGbq$>YbfkVL<Bq__A4A506Ij0KaB-yUHRG#Ny$2$TwQUmEp;yjgz`9H-?rk`_{C{+
ziR#nAm@p(aaf_FimzDKC@LnObyp>+tMJE-Tp!o!|LxyTXC9vy|vO^rm{n|S|f41w(
zI*UQ=#4v_@LzroT$$$qqgds@K8OrZ(IE+<;E#T!<GQ|$iG@%O<22BU_l4`GQO|K+`
zau}%7aDTI=xMK)q3QeBKs}P^bB?7>W!DT|Sysmi%>AttMOkjJw--~++8f(9FV34wD
zYj3XrI|rcg+dzMVb))iULcEo#`OL~klNyh;0#r(Xi@dnjVF|SXE$_Q%?tD^2B!oGq
zH|%eyMDbwD0Fnu6QG9eXdkZHg11OiD8XK*5Og}!JfLzdY`&@l2NUH@iGc(X9bi@>|
z?!o^-HmZKQjMgBb@Q6aC2k&HJx^t~x+4YoAmavydl<58pJ|?Ab2XJphM8uPcMq*#z
zL$F9V441q*7cS%?r62X-!(OkNWRFfO$N)>@b^NuZ?2Dh@-;CnY>1b;^!%aRp*&YE<
zTVG!vP2467$vIUn1cdfdvxes{U%mu(IylGznQ|*-J*70&CGA%FI<?+q#A|XStzyHM
z_}ei&`qC5Y1e#9t$vNszkaUh6KaTtg?t&g_UlP~Jws#<Gj|>e#2akc(1D%@I@B)!0
zmJd?Q?74xiE`CS~Y;1C3D;*aMWDL{{3=OOdo;X?{>V@FJPJRbb9r|D}IsoR?mzI7m
zM0J63itG06a=<wny6Rj#Jxg_ms{9p>zXDMy*bDsEj{`3i2N3`w5x5bQ*^)4snR>ap
zp}L|hEG(j;@r{=4-;XmPb(=wmoHcl!AL6sWu19~p=@<5MnoGv5%=OH?dMak3*Az(F
z*Nd={AS;Xj!%Xf{j{W%YBS@?LK!HmKkP@mpbiLsb5$+2RsGNCxMjykXU0`nwog1ZL
z35Rlw*F2&KQGp<JYegr3Rs#{)ER*sYWD}m6iea}FOJs!i_;n;Q8%T?djSV2g46C1B
zS4zU(0Z|>ef1t;}jnRG>r+jZ0_8!3*16mWnemK|bsBs9<h4OLQoe8DSUreo0C=|4Q
zS^B^OWOWg6lc&Lp%uJ5U8(0jU88#C1(=ws|0IdSe3zse_+b;h2Atk=HG=2zm3~S_S
z@gyq78Wp(>Sn1yJW?*!h(mGD`=ysQN(_Za7b^$C;7nJVaZ2|oW_T<CCDoYJLXwbaC
zNWjd@47Xnh515wMpgX;@?tLND_c-tK=g)5|l_)vuy{0Cc1oCbE{4GTdy#f;&sy9W?
z@UamQS_LLGoIGO{Pl95Uw6OoU6|$#lJU55S?73BN&d8|f=)0{IZ{Jes;07o!TuX+g
zxP*jr8_03{&#~9BAMjVFn%CCWA|t8!`S~%_qR`v|O{9@TO*>1vkoH#Mr<$nqOuaz|
zAM@3#&rDQf&aB1ea3*upoD;cTU|ba)zxn&@Tnd0&!tF;zTcd!OO%!tc2^1;mrMnq#
z%U+h{-k11AQYa;lGc$vo4E`;EXSeaAMVu7Qi{JHk6gZ}+ARK`?#bxRew?|v23Eco<
z^&|zoc9wcWb8`SYqwZJDd9crnd9A8|`39gYFkrYGP}&r`v{69e#qBzbR<e1YCadM*
zFF&)kh}AEC0IDve{WJszBOiuWLc#|&5+IJu@@%+sXX8k21)Q^uEY;S)B}gGyR%CR3
z2uk?!Z!ih1UAcAZ+wgE)d1faE_<%g>cPgGPGjoHF!g9Yb^L4kCv$KGBjrXpgZ%*y0
z;VuA{RHUS-TK+mn8d6HACstN5@pa+D47nw;GVVKTvv4s0^;j829=s@fQ}(V*`}<Qw
zHz5>0!x}y4N>tJBe(Kh#C@-IU`j(iO5ocxqgink(B~U~|o3IJ>R@$PicOjAG>g1Mz
zB_o(Vi1Kpki;fO`a{JzlFCYmct)9BOyUY*1)8RF(^@3E{mpCk7gTD_lD?UaZxcyGv
zF8~jaswxR0>*eD<-2T1ppmEpv>_h5sVnYhDvj;M!XJ!@)!m$w<D4!6v1MvZZr9l0b
zDWo}|?&Swuq$MFPEEk5fY&eF!N!6lg@7Qy4^$;h52MX}qjAD3=dUn{Gc3{VPJF|mD
zfKS8VTXJ|be4QnHHb>o}|CUn@-yPN*HgTjw_yGjDV+uO9NugN-BnQPGkMs!)>*;ln
z6QqTw47jY6tQy|=-rzE1{^-5C!Cg>Y1V|Fcd{`>#ws>D{0IP3dVX+E3`gxuJv?j&n
z<yJ{&Y%>R?O&@7+(roYU0&?_*QURsu%-c--c^Vpma$%&9T>a$to2bcO3a+u)>4OmT
z-0dV;9~P6EA8sPWbPP_!ynA<t!vfMs6zLF239v6#<>xGZQ?Fx7Z~=U{!PK<0*~$TV
zy=u!d_DFkv`_hjrh~$ruXJf;|!+rLaTfqzxJvmxL9)(_D6L2q=$~*}q_zwyp;9Car
z6_W5}y}w{@0(k`loNkVGHo7_3F5|a-I#PFI>M`)1@7>>A5@u#JVfzWpA-D}Q%l#R9
zX<oj4s|I)ZgzRL8YJv#G#T%30o^p0BwH<gvEE?4`1WYXC)gsf^xZPJpf`INBubCls
zJ8Zx^^3+omqc)K}&ph)qjpQG!?ELP>{5)3s>Hdz(Trl6&8Amjl`SPb~tD#UGgVe+~
zOp>+MJ<Q9og@}@GmWM%a5gFib3=YgF2Lz&$Br!VZ)*0Sht8s>wmOWCbP9r%%zf=j$
zDgZt70iD_yjpO6T$=L}H)(F<Zu^%Dbs<>hPt|dl+$WYh$!8=P=h!ra(&Qb|kR6<Wo
z!sMk6JZ)ucHUI!f#txJFLHF@e3c_!XaqbQsGzO5({_SjU*HHLSA_s{3wDCyyM9&f8
zM)cpE{eAdBF{x2&NUo{1RZ9pS?~SSyqTLlgyQ`p*z5!rg^Zf|7$8Pde;S`nnND|t>
zIokNnOxSwFhU%p#F(Md*N9XXw#9A<g1k-~X=VXPUF3#m^+R7ikh4d_AX3jMR;^FJg
zaA~^kzAO)>Za(<@BSb2gH_>x*G2q1u<phx^r>M0zM3y88$N2d8(An>AjJ0T@6R(*!
z`jb#Ku_Uj_t0_->xOH;ab@+IrB{_l`h@PzW&!5w;Cp6}oFGXYCLMj8{{}<EY);(~;
z1hhfj@$m3aTq?mNP?su|c<-+dz}`LF{+(p$JBqn1g9M${^dPsOR^&e<FN-J{SIq};
zV*Qe;nc(MdD#6PXl^9H7sUhaI^?0bra_9S8$Qu&ZU(dlxM@99Pziv;{&it<81B+RE
z-nBOdz>AIh>_RS4Sy)&A^B6?^Vb49L%Ru_uSzW=OFTTIHsqE>u;s4PVk^B-i?p<i1
zwY4LYlEwiBg*uk=h(pLd0`(V!85%C_EW>i(a4j&0f1bH&_VM)q1Mn|$wId@xKOagg
zdW!4104HZ#b2A1u0QgGgyNcv-fi!e<<p7$%GqwaAFke>FCv6(yvz0C25_p$rT8W9d
zZQbqXJ!J-NyFHG*2iYeC1-ZEiO7Blm<1@z0_=hF-BZ91~lk-Ex)L7X3qK-eCpqYND
z5+b+zI|}23#{1N_;t(FvV8MlbbjxkgsDq-V%8*t{V;|PH_`#P{+Z<r|HdIt-Aji_f
zCNegw25O$*2tiR`=D^DcsqWnPkLL%=Z+)HT2bV!1l&;tim)g>zmHOr|afy*}tjJQS
za%~itbmAc(LHe-zy<flPLw^ZqKCFgRXGwiSq8lK34%o(w$$?&pr!>&z4B0roK;cM2
zB&Bhsx$&?9uo(n@rb@i-F}KcRoQ%P@1eQUAuo$a$->b8jx^eR+G#TRn*aImTH2oew
zc_Q<I*B=l{-@VwTrY1PrX8e4dmI7|B{PD)$zsV%dlijxexXv;u7zB+zKE8VGTG&sl
zT`*kEu0%Jq2IXaCi6SmsyaD+cS-$-yv<oErz8oZG6Jcmx11F~&yT^Wlg+Xclkv_r$
zoEVI|dFJZs>YAGPPeD|0^f>2Rr9|jTSQ?{MfG?#P|N4B8LMGj<_s_Rnx;lQwno%HM
z6nAOAifQ3LS^@oaI_fqf5EXX8QTRo|6+{|k??E3+Y?A$YBk-d?BAF9@SX)=OAF3z(
zo)6e*9q$ugI}6$L>7TrEuq%N0uJ032q~=9OhF2vRA3%|UhWq{<Ew<*I@y7S#MsmAf
zJ?861zNzBoE<YS6iF<AbfFM^p`-XLQvZ>Fu+^*8uBdfQ}O$0TuCRR>KS=p$>x(9lU
za_EHiLrDCJki5M15J<2!$WEP-mzS@%!m+<_ir;djbp{q0);S<BkaS8ckMxKu!|p{t
zDu3KRnThg=7YmgR{#GMn6Yc~10*FA#?a2r*g#qXd;g_a`empS@J#qL!$PrDrMXRp<
zeFt;(mB@pB8(}mWJ^eMI(`TCP(x)vGtODnnCvFnFrfHiRA5(bLg4g<c{UbQkikw6k
zQ5A0pKj@og23F2_<Tl{x5{5rxDFV$-b$cshG#TmX@?@C5H7LaXRfsEf%0Y-3z!X3!
zcmdFM?B-<{d@=Fk$CU&|&H%%yv+UtTuk4R$LHs=$t-LJhV`RtLiq^7&=M25iY+L$=
zo%x}g%k{jcHaR&vXGGppS}arW%|Oj|KD)A6cjyg$At>}~0?f?lwy>*U5TTYr?tR1R
zuYRJE6oY&PoE*J?b-k+BWrvB+d;igiY93EChO;SwZL}1w{^}8fw6?jK`9dYe5b~(2
zi;GUh5>Jg{*GN4PLX)QrFlvLE<bIRSx(n#`j%&O+c8$pw0}fkH+y_ict-p0is|BZ$
zJgFE%3T(Y`rL&`(8~7D^5?_a=%zKqj!mgc{%*1qZkrw?l&*@O#3?cpmB=XKg5L1(z
z0a-%Z;dYmAoPZ75%4)NNyFgugeR)~fYwKF>XptpZl)5`~NYVVJU)8*fA5DDjKC{_O
zX9|sl{|*qORrrK5=lQTqROJUB2-F$+Drj{g8^0aKpB$$8XnOSA@2Gfr?d@%^T78bi
zS#>c+QPC)#i@(OM9NV2DL!v8v9$KPa0!&lE!CoR102@9>7Z*&+o)vA8+mlFM?Mj{d
z;GlqPG?c*ZxjqLS4VQ5=H=FV^=ngY7@wvnp)pY(y;~D^%waYCG)l7I;cv!GVuqx<!
z-2QS{QyW>hOWW(|I6ruOIhlua|8R-#noy-6-`e5g4bKu1Ysr^YClSG?U<M!t3MmcE
zE#TKlX)y<f-9>FK0BV7kY-wrHRDeAJlrQwW?Y)z3<KDj)7gcfd5D(y%ee&eV>iYUO
z&hK9|%GA@ma@)?b+=T}4ML>Wt<R8fXLqiqaQ>5wU0!X9{JWz1=|19N7kT>P5@>o09
z@pJF|m5%4S+nf8y62sY10e$y&*r4ePaT4AldB35=u`#|hqb({bnqgMl8qSqVvCkCu
zqe2s{0nsY=7giS-0nN5kl$5IS@@HD7&ox9CfdxUI@=s4%Yq~<j7SlRRGk{qiI<GAy
z;EBOH;o@<{^Y*<VX`(uv`+$$Z4-a<WFS)RL^=6!i?R19r`DYvc6x4nFDWtI^yLBce
zVyr!UqXkf?{`P>W@51bCc2Az+x@ZXljmjL*iI`t=txUcI#QAja*-(l_?AW7ap~4F#
z3ne5?3C9p}aHY+TFgQS3L`X1XWZY|Xt%1!E-=Wok>;}-)+Sb-{7SEQ5hR)ml?)||~
zMkHhV*wK1E&TRuu28H~dcF(e+`uZo`sNp2Y-ylh$9p&Xu<!Ua;#-T0s-gfxzF5Dib
z4bCgM3IGNC&wV&UpW9!;ouO<ByU#p(8um<I)MJfPREU?t{?@@SeS{21Q-CHsU7^?j
zh?|tGz9yJBiO1tjyw|@$>q?L<sz2aa$>KaW=3gOSf|9s6on`z~X+rlM_Q@>o(5FwI
zT=erJ|Gu01o#d;^(0EXvGj`fH1x)KJ(!v1)G~Bv&gM|(MmGbEg!CY)i`~~V8fLw6?
z|I{FkzRJb*5HjO1$IFUTUd#d}kJjx3f|?H6CMl>2(6?u(CDocW9Gm?e*>WY+Xr9g(
z0QS^W<RsW22tyno;464p-hurx8K77mtgNV*qn^@8@F1Gr@Y&m9=G9A!q9-VRwO-o*
zY<n!$Rkz5Zbl-|&bUa|+a=xLuc;iLX%wQhM+&Z%Gw!@fmYdfgxHXI>AXHkh;TU+4A
zkF3Y(%~><pDA{;68zT@Nzz)jbC-?h<rN2QJG?eLgk|WdzC`L1;juofq$=bt%UHEq`
z?SE<Z-NKGPWmU!whtj+WQ5R(>_vXU&RB#ebOiWNS`}_Obe#^0p+DuZ*;n7P@phy0r
z{BtGzrOUxG5{#pertR$P;DBaD=lST{f*-*G^cAo#Jh&3;<z%AHjkQ@VP((#in*3W{
zclY-Q;-iBZs1Q5wgwy1emBB*u0a{bwmnb|BH85>#D!3QXV;~nmlMTZnuqg<`A`xzG
z3=37l9kdT49cbRi#q9u8(qb+tF7|}34vd+KI-5)5diwcNp63S-Q{88}uWo2(pPwZx
zW(x0rq<LFZAIAbyTpgr}?VrtL%bY}QbQdpfg8}LN_~nn*A=Xvaf0`&xB4l6@f2H2>
z0zUG|^k;B!WeL^C2LO#UkY}jJ!)p)hsq^Wp(b17W>p?0Z1P#zzkxR`M$E3ajBjpR}
z5+*(x#9By)Nr!2NnTPotwTSAaphsi9|KP!+@!ABmin@9?VCv@OvGhH-831N4Lqo-(
zJpF7A0SK&go&RB#&;HJHVlv1NAd<27UmSvhYyG=hE(FL=Bcl&b&md;}ZkRrODr9^q
zy5Uerov!3-$#ls<2~Ar80w%b~*yez&0Uimmm503iOQfnsTs8Hd*;xgG?{Au54?Ja<
z;d9^K(o(1Rfy%6Jm*FvB{O$~JK!*a1Vasij`YYg=6aa`y&)wMA_`=jY`c6q;Nn%ME
z;g^24Ap9JG_nn2#(6rEuXetq!<fwOtBecQ6`3m4JmU8$Bp$38gXKgDY@C@izXU<3k
zy@#upm2CputNA!CvOBJOr`w>XvWFh;5u8hjxC_^fd9^=Y20$2HXF_LnnlmC%!khl`
zWtAm*<DefF9Gus|2`TA3(+vw{HEjr3819mgr{?Q|)c?iX@+b7a=nv{wG}1tDB4GrM
zy<7PVJ-rBU$Y78gt#;S?Ad^h~6tWL=ufTNf@9lvC_;zXU&TOjf514>aFET2BblLc1
zmmvFGQnYkuDjVLZS%=6^6NqukPPlYrn`)ATIE-5DyXmS|a#rIRmcihp@pOMG#*{!8
z)>^^%AO?hwjx4}cJG;BZhlLvCy6Vgzr_x@$2peY}6q{VVg5aey2!vENbOSd+;jUrj
zAw5<*&xXeque_gGpuEq<${M-o#)a?gg)uN`Q7_PVp)Kh6`jvK^hA_&AK+-Dvvo9T%
zB|x6sd%m~7A4Gl;UuZ6~z;#}32nRhaxOc(-9EH+jwpPRE`>ag9+G2#Oi(~^btPwg^
zJX{8hz#T%fk4`{>%@YNjB_y&@NN_J-p2E??m&4EvvX+*XV9JHPx&}n?^|~Z-Fca6U
z_Z#xL&-Lel&YKI=meqp?!3*$xo(q~hv5C+I!2N=7N|=j6C+HJa+_s>mMU$r&j4SLa
zaVJik_#sIL-#3FFXtEnB!hl8q0GgWnbLTxK@5#A2E{Y;$@DqZ8F&_T?B|m((@ETnB
z4LGqNL@U&SmgeSHE)O`w#J-P?CZPX7f|T6)aeQ^R{{*ZLAlwE4qdK1&XmO!l-?G%l
zeZ3^^zS8vNOQ@!utLuj6QVrd?bIfIg6NAme>=<0`<irH-(WnTn5eqzBC`d05;lRbu
z5@MDxI7$n=c}FFLQmJ*%&!$)B(E$~PMfXoD;aIO+sc&t~G!utkmXiq%DEb4+F3guL
z04A##3y~WA)%tey`}aYMVH)t-5Jb@ib~s-&%sF;sL3>64CO2p-A;9VW@U#HQu=NYV
zN6=x+D6MC&03JmB^Q+C$`jOGm8*hF0EI{7?F_Zca4;TbKu4NY#6eJ}jmB4M+qv31s
zpFr0DE#}qysp-*dsT~0}HjF|9dwY93UK)P1^997R65tQ0caZ0sN!xCM>O$ztc|f!+
z6oYLO_`Sxn90pt<hn(ZSVhWT1^o(DVB>8pWc+>@uMY!RD|MnX?fa~!Uje0k<XTYFw
zMuP$6=;QOS7ry5i-uCtN#T_fTZ)vIVUGnMQWE2e7nkhgwTmw79#^R_afH^cVCs=bm
zfiY`>fpLTq>@>_0IGna%;_!)+QxmB=!B_^JL!y|wCKkR?cmb}k1DNVQSR#Vq0gKRq
zNM^i_eu09~bF=Gkeu4di-6gO-C@LtN<xai^>*~;t9U{mygyHl~FvMU8^Fb={f}tTH
z=eebBLqoL-hKOduB^-SWpeIc!h7Wed8Ez@7?Cfkf7`mxvN4G!(Kj91ma?8bC66cjt
zULLF_9YRRI#K6(CurU=IU<(<PKg#Q|ZX)GOh3f>tT=i&q5peN%AnZ4%;~jvimd5&_
zXTc5sr~=lW79g+UFd%EIFL7+q(vGm}2;?Oi2~kx6QFV^y^5uo8sr9|>C%9w5+#o!_
zt|5?&-0-`f=|K&<q-bzi)D>ix0u<5C?0DTF?3SZtEhdx&j%(K*!^kHZIYSWZplLWd
zvp(U>P5@7Dk3Ibb>@S*lMkTEWjAFk$A@IyJ;9g%qV`BkBL1^R!dH5o%&Cx=w2Ea+L
z^71agtnEhtnkb@^MbJ#aMZF@d#56>=;xS7eQ&Ur1Nit+9?Hp|+3yTc)S{M{G1ATo+
zEU#!DOu$B3s@=^;<uH_45hjCijn)sqewlWc!lP<=`#J(a%>cLd0(LwUgg8lYr%8F3
z69sVvC`^1c3?0VbRvM-canBqCDPh3GlNWR%`v(}Y5>F^*jC6DyWqesLwCofWgG)=-
z2^tQ>fL|(<`m{9aZ<Q{#2azkf(8WN4jd=I2L302!LbflV&DB~wDG4ycO<}|84I2)C
zHspQ6c<HU?2Lv;Yv$#cdGZDgX>gY`MbH9JLCc$z?OMeDhf=%V%t$-368=K3*@VBwC
zTF?Yw#`eK%#H~|QR1Pq_3+6o_1iBJLTTON++s_Bvf|ozbpmgqE&YO;ZIdsVO|FTU_
z^9%6sU||dQVF4}n{f38>EzaB6+Z*8<mR<7l9~X|gg`VC3FtfSTCrL<p<G}l)P6f(U
zo#!SWcg*OZ(G(lkHcawBYT%Z|OCD^c0Y_dPYL|qMY0IC4rU|;Yuc8&M3-s%t1F5W2
z0y*@LTZnt~H>h_hqm2^0`7l1BNyRk<50@Ok@F-BIk6}RbAoAzSe~UqizDsOhG=Wuv
z1|dBfe$95IEKi^rlB)n{#4IeIz)qbrXiGwVp}W9TGW4!YPbM@gP@v7HA}Nu<Aopda
zr-Pz^#0)}tmxQ6yo%9m0s?@xd*m)_r(4BJJ7FqQYxI~X_5FehbK5~;IGR_X02hMJV
zNjy0;mC<8!@k@v0ZC#sJTwdPZFcOqr^^T9`0GjGDhw;SncMDoO=Z2!vH>gF_J_t34
zY(u8-gyBT%ATYnDIxXz_o)$JNBZ+c?n>-0BA~y#|CP;RGq{C=iT3g><5-tLG7Wn|S
zxA#P2fRVz-3Rq(CWI?PW3Kc8R%>G~3jz?Hr+(Uc&FC$CCrJX%J?-&bxU|zSa1Ez$c
zG<lY8iipG|5{%lCI;JNuge*rwOf2rR7fTRxIQv0%otiF4-)Q0D)o2D*5eDg-%CdmQ
zp`@f-^OF`Hzl4zpK(#MNv99@e!-&e-4^V@E;sgL+5#aI^$eu%2?J#FYMRCrk;|RoK
zsBuQ8PoIXYcur}Rje}$J&%j%6$B3YKg7+s3yg$R2L|v8R(C&k1wQMo4GEE6)C`NHX
z$MhLM#}1%jPTQ_TMbVx`t*1F9rydr=J_nzG)_uEy{L6>UHJawY_~+;qsPbE#jX0Nb
zB)<^47O=^EE`OQNlvNG`P?}e5llwBAIok5?KN=H1lQlV1Yz4L#H&<7m<(~m>E<cRu
z=UPwJ=G!2oL#Vc|L-1<w@S8MWWo2an<u#?)2=+=hEGv^*U{Fx8S!Se=7Q7dLl_}Y&
z(w8=OH1n^v%~>OmIYHOqyun3NL}d+RW!ED%R~R4fFUGgfR?6B-?yvPi7yg3Rpu&l5
zN^;{11x5nnY2wPJe-q?A5JlG(M%)@-oW`biQwBKQHOTGr*A#|ufR?$1;HCq)Ls99`
zShX;qc5t$NuV(7m-P$S?y&(Td1=yKD@{21#0l>r;bVoQIOt=tXQd-Hp?n2sM`m<*n
zhCz9B2fNxlcP2=U?;hN+;V1%4%aRUMND7ZI&`A;!7M7Nl{-cvTgl)7Ybp3h{IBoxt
z6SS|!qqDi)+%_Sd6=xQCuf$|wVL_?tKvM$_{4vmLx|-HO)$b$KxkvmJ2^a5AxOkX0
z+3;3egq_3W_4f`CX3%j!?Hnt2Fb(#uApS%l$4QzzZ?y|pw4|);>yi3FA39AiXgkB(
zSsq(M`H+%A*ru(m`u<DW0Ve?Rl3u>i`%$3B-KEN|-Ci=G04{#b2_#*`7ynXrfU?mg
z7@vnv6U@dS>!rT@klUTP#-_;qKHjYt!Ih~qCH@DWBABB4KlYw2+&E0)qir;>rgdY@
z&2l`qw07*U0Cwu?>QE1bBJ&7Fm-i?FEa0Rd1bBcCzivOlRToNj?%X+8jU&fWz{Tr*
zEpLF0hZzra_QZ?8K+Q(MG2gS~2!uK-;V_7in1fbh5fP{@kOl_zC<CdOzWO#gM3a}|
zpu2%<&P6@E0xmCVa~Oo=Bj6x{J>*(G=plrOdiv12ScJ^#%1ZF7S7(&~=6t4x1ZfN^
zCuBa>=;wDVVJt1rkWLSbIA+3tO=tG@_Mqahz(-IeY5?XQ72|DbC`+QicR__~*1VPl
z2xT9@1@+M>fq;m70XX~v%=GgRe_CE&H!iV$cLaKBp-QuUPLe!~cc?w9)bJPp*(T6G
zM~LL84mUzkf(GY9csR4J-_`GcPoNL%{QQ~v2s;qY97cFo0k{mH$V)>eOFX;-<=+on
z<bV!<TLcmh26BzDh?-DF@g3*{{<%#8>i9sAp)cN$<sse|^WG`ZNV`jTF~fgA$p<VJ
z3+<%cShYSDA-)GNi{<X?Ge>uH8IH~ZYbXdqPz3-<8W9$o0AC154t&`u>3JwzDk%I%
z1{Z2$0$D?2W(C$)VrZShqaz}20-po#c+kcAr9ufC13SzSHX$Qmyes13HPFx;H5SR7
zAY2%hSi`gt8<>X>^~VS;th}mf#)&e|%}2On&Sl`6flPmdU813dQ~Uzu6wc`btO9%-
z78Nx$H3j^m&C%gE;BXsoziLCn3ZccND`gISiO}O8QaEY?5QmSE1m73&5aCrQ$08vB
z;H4iEKmr}D49`ip^;&37ZaIv3f!~S%gF(E3g+97`0t~ingg}NXUIxcK*%WNChA-;G
zz)*om*Fr)tZ-YLPg8k_7CmNg=;4uzMNccj=Z(K=DP0eaUTmg`sUf3!9XeG_zo8&##
z0ub9P%gZSw*hx4wuo>`H1!4w+{K&{iXv)ljAgbZAhr*+xz{8tPz}%9)iBSS@g+Qni
z8|vqSs{~$yVfdd$fp%dKmj>7d78%nj4t$Am)dn2abT^uVojpS?gccmSXh`LLQxHZs
z=0K!@ox}iN1jf=hQ}r?x71hD5<DHRFQR`ntmw-}v1-&hT_B6Cb`LAD-o0^UT&i`0h
zS!OpxnCPZ4M1|MaOL-N;^YbILS#R)$ki=lL62?xQ=lYPi;TuLU!v&QIx}BpR#t=H}
z-*C6E#$=?VI{<-z9yYA=@s1G#HEL~RqpW_U6>P4XbKm|DqM8u4gf2FchA?78PJT(i
zS{;U@QFd%=gYYU9NqZQ_BOa4*g()@gF8Qdc0_=rn(EuyVQ~Bh#s-4|DY%XbOY3Rt|
z#S`0bU$B7H(2ql#T%J{hA<V}t`5t<L9qQ=FAvls%_U_%C?d>lDVW8m$%RPX)V1w2e
z6145dLJS&iiL)sy!K^HR-I>ty<4WCzpn!g?YGA(T%2*;*bd!t##$bcOjNUCX1#km^
z8rLL4)WHS)mq%xl+gb9f|9Tw}BMF(md-s(RD;Ny8R!Ml*&^=}p!ehJ{zMTW?UGNgq
z1<Hdu@p>_9&c@FWgm;6A2X4TNe!#Ps7ANUj`?0m5(Tq`m8hSt*Ay3}(n%L7YXTp_^
zA{;^JZ60qJfCcpYb81_#LHfCOtHbT3Pt2Dp%j4KjAp5hx{<)f*0%4}`X~_0H41k={
z#A<-wbovf(zX9Qa|NS{gg`fQc;TqT|tO_ipgKu4x$K8dNBbI~$W*HReznXO3|4Z!&
zSrlN3<^B6FX-+zUXP%oo7mMY=HNyU;k77$l9Z!^Ke6LDk1r&c4>x~;lQlcyj!cLRm
zlPh7Oqxv5|I~#!pbccs#R8+JIUU)%>d*}<%WGvTy2-v|mRA|QwO(;H03B>SR&T^A}
zBKSOZfQ~&?3Yg^JX9)ibX=4Bc@GcT~{frSdtlRPx*9e=T3kZk+&Od)v-VnHc{atv;
z-M5E24F6h%;?KpKgclLLTmD}!B9eA!R>i^oftr;TV|D-jeJiWpd0+|5aqrGvX*Qsa
zifH_yDAByKrNio635?>>m)qm%w(_|AYkO-cmz4&R;7vBwb0D2X$|C6$<G9cD?}7N%
zw?I%Yc&Vu?Wuq1}b70@}y*Pb7oo%UlRn^Qaxg=el=Lw_0Ny6g|NUYKAXv(;o%=oK`
zCj3l1?fpLCaF?%ydB2wNe~;2~QT&0Iu+Vaoj(B-fi#8J)Al+H$prnQ4*@wKM|JTcZ
z2Duz|?o%{=`UIs&x!3?YplyK-NZD|}05C%UZef58II@e}bx;Uk$MddziiwS{>n<!T
zgbbx#479LD5<%VAC^_|?se-daL_{ugeJL$~e#O4D(f(gGK(ziI!BZshg1GFnSxl)v
zNflnIklmQO$i-<AY}q;n5|!-rkT;|rA?~pe;@YTP;0P<Ls$f78e}~yKHv5twP>#@Y
zp1X{vCIUvGi&RIId#E?aDJ4FhL40b|hw%2BkuuA-mN9(TZOD|^m9J}rf%kK>*Ym)F
zUK-733_JMA*aDmwd=$QfHj8bV%PvMy2eL?U@e^6u7bO^AN&k8M5*ojnTm}@x{vXrB
z)HH%=@y(kzuqvUiUsE$&B!LW7BHcB{y$z{mMm9CX!Gu{*=Wfb99(?G|km0<`&AChM
zB9cCPLU}EqINC6$+%d9?RP*l2a;TLEPC(nBfm{KWmM)+fOih2CY=YM}HW-B-Un#AI
zrddT#H=G)*cir$3G|0nDOiU6H6#w$?=?c7Z{jYy7!0$i)y?!cF^rHjmf6Y+LMNAt9
zQ!{z5o%J0CWwBq=^(=HBYb(%`_FCkm`sHiO6FfQRZ~m{QtvM|b9pX(ZpUo7+)koEX
zE{NCYQhz3a+yE6f{a1t&7qJi!3c75bS%n*fj*SiSsnP5;En&N?y<cx7Ge{s=@2qt4
z>!)<sV4Qc9!8G*glYc3}_R<S{yYB-v!t<$EQ;w0yFi`veuX`~w_CDO-gra2jRwp_(
zx6qhN$GNaa8kweKxHwcC6kZOSLfM0nx~ZiF&*%ew$r<_|z(M~r1ilCF17j)UR$lI>
zg`8xNV#Uwl$xI9#cz}d)a_=eWC&C4mp&&{@3#}02PY8PzmCNED&fxNzT}imn4fJVx
z4YV|y>jS2l(GbAr*_D&28$0qy(E-Ev2SQb)D`zq(vkm9G+QZqZ6-Dli)%n&z-Vr$6
z)AZ?Klx|?nL)b+QwcG6WMKJIW<>P76higPZfq{6fxUTe4yg1Bj|53h4GNJ^oQzIOj
zcs&2-f)pF%7S{h76KSkRE7xHvz=>`3;+L5<zv03bb8~Zu0cZ}}I?_^8LF$<yvX3b(
zz2%_BQUJpT;%58ZobVosN0BPH>MqCz-0f?3)xOc)L4sBL|ETM_!?9lf|0yGpoH8Rt
z$n2C*5y@W3e5|swofbJ(G>o!RdB}*Y(t~)6?8=IatW#u^o$*Lygv#&rbjI)dyRPr=
zy85H5T=?9d`+nc=_iH_WM>9DRw1cmKLhr1I{#%q-H*BCsPNJA!k&0P<teV2se5(zY
zFo;<;_xZrDsWrXURlY=G^DalRP-fmYo(E<JD&lql|1N;9oK3`|_~eEFi^oaFa<YM~
zj*aIYn$>ohtVs~h?CGzxHve}BUU=KyQQt(2ZOkqz(a8+^E;|8LPtFdH(Z+3Jm}O%*
zre4dBD}_9<Dv}bnR!tSY@A<n-Q+5U|USLA9(=2AzKd>|Hh29*3lgTpg%S+Gix-7%P
z!_J4eCGBV<=cQYXCQ`|m&*PVu{x-3{^7u~^dqF@Dll8OHS1IMVbi&kaxusoh0{#gY
zBbq{|r{UsfA<iu_DfS%p67(rK+71pq*|_lw1J?t%pH=;v-Nbqxm=(mc%;%MJJ=^}W
zpL_0TeJcz74E@n(mi2vCwHLI=J7<t9v`W@9|LV`d%BsQw%D|jwX;~xLZY8K8+0X~B
zbA_ygyuW7ojCYz79|1AuDENuZs8&Fo*SROF6}<x@^(cdb?Z|ZcA>fv&>^qIQ@Z|nS
zVpGu%T{9yI=5~@3ckM2O6o|2}W|&RRX>E&Eh*dBSvM0*0Zj~a|Is(c?U3(ZXAxUQ~
z=Cs>M?Ec27M=bZBE_i($ziid4IAUy3PT6zDhyq=}1Of3%ea|i*<y8cHX){*FsMA7t
z{~M8XDs#?ULfB6*?sj2>prBy;1x?P2c52U*_2eddNjZ0@f_xX><SHt3O;uffm^~9Y
zX>3c7rs=5fM=|pmp$d85i+t=LxIoXAm)2~Q@Jr8#GG~+XVI6I4usMS@IvCg7<oMs&
zzfFGGkM44T^6qY+KB>70*>(ST=_8j?EX}0W<fR|ziwzXJ#pyRMZ`q&9e|>4YWvfoN
z55Ok(im)mgB9~zO`1s`|BdWUdmA}`=*SzAd8tzJOw0Qi`%py=cS60+?u~zWp<DaWs
z8W9m8YV@#O=DH#O+Ne8}3lw@4pyoCT;=jA6>PT$AY?#CLTHhSY8{iLygN(bbtSL0i
zE6gDyG``ceHegisx=OBpktHROM*Go~)ydjt=X}Roc1$ko5@Ua>V0g!-Bd?&~QnEbL
zXZm%KNZC$!s*@=uEF4NtfCXz|Z>P{zRI(QPU4j(v^mb8`(T=f<5x4AT+S=3>ZPEvT
zd_^}Ph9@)5L1}IdhZyExV!Cx~?Rl)GA{NNM)+fFQ3d@C<vcmP2MVG!ZMY+vt#?k$z
zXW1*Ap6xIvwDtXy{G@d<jyM$f_Kcp(>B0SRu|}rQM|m!u_@V)ZX_91W@pC=d{D2+4
zyYz5IY-y{pA%)Ek7h=Kz=WLHJ$M_(ra>1x@wt6K8Gm=Wk7M~yAd|X{!aRuj$I$m%Y
zrgS}OgJR{~{+G^6V_#Txb!h0f*jUR#NXUGy?eT)BJkgSN#)FEcXc;{OT2NS6XgGup
z{BbtM%a7v&Z$qPe-WO5;u93ZQhK{Hd|GZ`XPKWaJH|%|=dMDdIi=lx;v5n0>-_st_
zUObHQ`f0qc(1~Ty3q2jt==j)z?G7?ri8bfeajjG^WU}$>+({W4QZkrC=T&*Y)D|6J
zrXewL`AsmU)TO|xkK;=d9V#iOUM4iiXNgMGPhISsD<)VAftAzmT#)sfM6M%Eq_1>O
zhuTtsL$fzca*LVHj8XVy*ZMCzBK0NdGBY#h0vHwiiW4U<mV>mv_Cx{^O)Nu%De>CF
z+J32>7vD$ZSXMj*T1Mef>n*Mf$~1c?`K0Hlz82X?V&(<Qv9AvROi5>Tyr1qX*`Mo!
zMUL2eE<tJLOTbQup_JX+rjwF(zAKB?%`Q4dRlc@v@H`^(Gc@W-vBBz!;-gN$Y+l>&
zj-)HPPT9x(p+d7{YWc3Fzf!9H)vKFUpT@@2jAUlbshWH<dE7KdR4$nxzHBH_p|Qas
z4tY5DKIk1^(%%+E$gDjf@JEk+sXs1YbDF5%;-7sTX2P<5U$|Yxl1=GEB3z7JioB0<
z9`U=GvERRI*@MCRb6-HmsncKyi2DmTn^4eoZ9j;#k7cmFHE|)vPzQ{zkCcIub16i@
zOJM3%CMgbqjbG6MthgaTrj5HRnAdWs<IIcf46oVux~;(TL`~Q-s?Ji*9j-|^>3rJp
z*2)wDNwgnnEfPB}M6o5f%s+dhDiBW5<ll#%WQMEsujGV1)KY-nm*WlQTZh0!yV!^#
z^3SJs__?P{xCgJa3!O%@0^nZQgezfTeHwi?o8@tioc-Ki?rn+(I^sF|-csbuboz)^
zLozAvuS&O?RD}bGoF{pqT*$Gz^3^ySw4L(y&NgUKORbKcT;D%JjrE3Sm`0QLipdq@
zqM9(gb#fkcw!pN5ARu!JDG}KDnN^#Mx^?d^r(T1?3$upHO~gQU{NO%19sP1!dDJ>k
z26JLl)5H;tf{RF2=vBj6bNzp!6__7g@`6P*T;%;$W4k}ublkl8XJ68xzXRu7GvLt@
zk<0^W*c&jV<mW^1@`ly#AXVxAu1Tg>wdb^K+%X%N_FJ-Y+d=BXgBWVBtDY?axrJCM
z+JNqjyn1r#4*$MFA>=$tJ9e-q!lt>_7vK3V@h=%jm#8hKc7!{1ZgwHAhi=)<#ieP`
z2HD@S+4qazPGyXS?hbgM79(!@T6<-yK*6-SeQaLd{^yxDiu7z3@%+N~_YzIi8)WbN
zZ<y4}{prQa5k*w5i?#n8UGA0{q4H#oPep`EUXkW3(ItpPk&cNn!v(YBdTNn*XQ2J#
zP%3XmB?6ymH?kkCcRe5Cy3ZJ)yQ%GF8X7eq!0W>fUU^*rUv(t!QIjPJsarnL=|S3e
zx8660;UmU*ZE>2DoxPsqsW{0+B;3J(yZ*eY@K#uw@5mAQ3*K|=N=mdbhjmj`hi!I6
zs%johi<z|uGPH=+OiLXXZ`k^yNc9CLZLNF=<JaU}23mqG_6dxP!3pYnQ!~=sCM4Nc
zF1Nj}{XOZjZOp(`hm<z!!sYj6QiXmgYyOU2UM6QVH1f`xm!40B|Ex47`h>uT<5d<C
zb2)tV<)x*3I%v*v9y~a1EZ$*vNk?GQy$y5z96DS(k1*9ltH(s{lr>~?h}m?B&Rl~3
zaDm!>$7sv~*nW5JY)@(%s{8HOF{}O??Ga}`953h@r>}T8js60pFi;(g!aqjXeI!gu
zXj-oDh0E+Z(0Kp;{cR4|J}}c_zH=~8_t7_vuHSx9z-a*^HlK5AOAB;q+sb<br!;T0
z&+uq+^liD?xTj1`POi7FuL3<}MTM}SV1M}~okQVohJKOaYqX1GjPOVj=@p+_SfF&I
zZ=!#Jp}($HS+VG=h(Nf|sQRIBp#*mK?ZOF)@KZtt#~K(A^y$~<BSE(zONCFtA06Xd
zBVRIaftm7Id^^^1{7{!(H?lgDWw?x3!jgr1c&J2dG*6X9PVWc#?X4T|pdm@i^{$&w
z6f0JreHUHN&7vD%{r6Xic8L3X8iOT41d{)7-R27dmz=d?eKT`%5Ok!4=?<)S8ls+@
zot*`q@9Q*j?KUbg<O~1ZM0$P)T@6EVe*Od~T}*TJk+l7#7e+9IQ1afZNe|s~7sGEC
z^inbX%0Zp$KUYo2*IYBd;VUNx$5w7>2H}EX^{MCvyWqgWtq_2LJN+t^5{NK5_-uZ(
zeEg`=l)=}_EUGzaq8D9%XgBwIrI~FIIDGk^N=ftntX(rS#hV+>7%6eMZIS-rLyj@e
zIL@Kd7#TCc{%Qg&&|CqD6n5C`se61y#nF>`6`qsZIXO)&EpyB5TwO_VadBm3KBy;f
zpEYl!pwejk82|nY%#Ku6Z=c(&7vOG;wramam=QQF&IUIGNs8%~Qwsyo)!{aOL?yAG
zt1U+_)(tn#weJg%#9o?W%RcDCZR<C5HcLVMJiY^v7_>0y@i0)Yudx;nG|`y5OQlu^
zvXkz*ljW5$@SdREMv~JHo*_@drU^pX!ouPilq_kAy*I+b><Ik){J>W$wNqu~nYR}7
zaOhn(*ek?h=y-c0b%z_Kncn;I#Hvaz;G1{SpYy#y&*1ap8-;img0T?_MIN~Q8}_cw
zPIOY?MrLeFQ*Yexo*2hCrQs)BSy{<Zu;ZDz&?%95>fE_=5>Rt6<}Jp?#g(|eVf;e3
zf7=`+z`eb_jt&mrF~B0(fVBR6Q{)d2lt_bfg1;5f!}%nf9pn4Jozk}d{pi8-&q?6W
zp4-;a8?&>q*=Tom=E`H|{n~bh3}S<YiAm)(>l?;Rr2Oxo1l*mR8usjwmEG~$)i95Q
zs3Xlt0HP{X(IA2?>#~c29#t!G=t$q&BwDB$gw35upKfZf+t@@q{|amC@UWdpa14;8
z__(+R9-vad2$V|Grg-T9l&hOko>ua!gq%p0k0%Q3y^u_be!Fj+$*P$uUnWJH*RyLs
z7(C)sAMrvbUoGGd+G#I%TPV~3ZXE8O64@N>1-i)C0eyz3IV7RgL_9_0^#vy8fu`$o
zW)f?U+F=2^DK6N4;)jEAT73b7+LK`7rw`Aqjm39n$sZ6G6KiR04c;bsdDZjKUV~s8
zrE8-ESY~Vpy|rC~eBnaeE!Shr1(mUDb+311XR+KA(1=QcYE@El+fbO1f=RG)^06Hp
z92_E#b8<$-4~8pvf3^YF_1YviH`knpmcOaQ{aq)Z<I(!5DOV^IVV2dVEP?3rXOZpw
z$ZZnt;b2t&56Ios=VZqLt8&kq1ajQH<gW$2W$L9ouD2u=6|IX5qI%DcDG75VCM8j(
zrkbpwksmw{im1*CbN%kS5>dAgJ8%EfB1ct$*mL58W|5hyu7N=Z##d}!*rZ>r&z-*X
zVE%<MZ<55G1AEQ$sUBm}e}6)63w0%+hT!o5KR?d8MP=mK6qwf(w?ErcLp36@3ZHCg
zZU))Z0;{=q#83>|JR%^XjP!JLn!~~vCkN&gMxEE+Yc!p%tzbV%>ncoV;HTT*{HsUn
z7Xu56u<z@DTY8$?+uITPg?TQqs&4HHYjQ$D!n#RT_K4oCJIo_wGh0=}Gd%{4MX@5h
zvAA7NA`spb!NBNcOMLiQ`beYQP5Li<4jebBMXSqZLCp9XqpiKGYr^f@SI3%~w3E1D
z@a@*i)n~DuL%UydrVMeKwh{F&Um`f-08}hgnpV}WWSCJ1{T1WZtsLwHzmxZCseM@U
z_Vq1r*yo{p_Ux0JhTUJoNHa3L>9Mny|MU`Pkt3U-z+bt2B^a$B2)$itU*KLSAmK<4
z+UI8fq2x`3$gQkQHt3*?Ofdvn_Y(TRr~%7Iv{&Te+R#tK!`DcNo_KgGp{W`Z1xRjp
zd;9AF`T_6+m_#j83n%JAb91;QKZgYc@bLL(LCS7I0FISx2?X{f+VO5cgdi#;`|$q=
zSHU{~TAJZfkt6wj!%ptiS@h;6Lp;B4X|pAR64oqty_=OEG+=PWL(__#m9_TezO_3G
zVEcv$H;ha&6{rQvOj&zZM#~;L>TQ*wn&-+9bOEFSnHt^VHPOCd!)cT|W8<KrhCtC*
zrf@{a*Kuwx$jCSYkQ<ked_*<Kcx&$=I^^pPwfY;Dk3|L#y1#k*Hdc{k43Gh`%D<Il
zB8-DvSlImfwK{<5Y~$H#)1%$T`^gb2!@y0_=)Yyg+Sf&d*jMx4_*8A$mn%QfWcT6n
z@&LL~JF3zrzXZ4$D59t3<=jGC{6IyXWOpB33J*e#efk;DUjRQzM&%>OO2HStPK?|k
zh1yAPwT6n=mLzMWBg+NI8pv?u*;L|$FeDVjP4x82S{*;oeD^T3Ztk`t%URPU+L*@p
z6asrfZvgd0xQt1K<y)@Vmot4OyXC!MA4JfF;`>1RXlF7->l9Zg*9x4GFBAE42ySFE
zc#&Me<3oji0DS!o-eYIsML!?AaeqT;{ezkQvO=xzhf^(TepZ!?QKcpcT+-+!v=>N@
zN@fh&zaFAEz_nEH5Q&CFA`$Ami4ggxR7vd62GkdT)eMJrg+^SZ*;HOuHW#-=bbv(1
z&kOTbrVi&l$#Gr=4O?6OZ0rY)oi`L&f|nobPnsO*zCy>uVY6=Aw^vV*MXi)4A!?gN
zA*_-}dp)7vvw$+RB1S@`d?LZYDzdbj3B5SnCuUr7p458|y7cSUzaw>gdTQ|#+#RgB
z&5dnsB}GL!+2=yqqKHlo4&-DR;)l`;=};KK=VUXcx$kQZ`Ij#Cr%t!-cb+Au5mXb^
zPu4tILK*?tLbuN$60lrNljP`uZ#@?UZab5=P<V3KMpCSA8t`V-+@aE@^RI-_;C^L8
znz@=@Z&*ZxYJw{JF%v<xyQ}-P*c1M$%2+=-2ae4@dlpIG#mLZ54S)a2(wKIh@&dCH
z5BE0t6<)h`4a%LUJD4VvoInKw7jPSoB5@u|Ekm=|o{rs=w!;;SOH0Dsnlsplt^6a|
z*|EsMO0Tq3m|!gQhp*7U;C5D(mI_C9dD!_b9LK20$gyeH-X~dlOY<wqk$h=N;lxlN
zpmMUZH+7hI7nr5Rk5+U1LcRBOcTvYME3#d1W~R{kW?_Ds-hE5Z%>qw#S5m5mmaXoR
z7^)2hwSHK)6^wT-y@ePa9R}EBGX0(^@KMq-GWfNpu^~U-`F>#IQ{nRQg!}iIFOT9E
zg(-eOb>)<$$?Mw}_r)s2n{^eNxhs3_D22}xN7KGI;c4Hz#1dSMV1x3PK<`nl!{XT-
zJ|rz%)IPi1C4W}W(T?yFAISC^0V*u~ENNvSF4H&?z_%wpe*8EzbUP+y;q#D+Esrj^
z#+nttb+uLnDL$!!V5EpQ7Pfxe=N+Gz7(NEF98yMxeO~BXWMpIr1j5Ammk~SsFTJ^V
zz^;yga-h)Zp0kzJF7d#T$io<Fs3xeQ<>h75;#c$Y7g@)I&RAg*Yc#Fidu)wTC|8|q
zYHVD&(5VC8y^}?rSA}nZ*+P2|$MnbujgO3!l*gq@!8P0yMhrzN|M4s;9d1d-BOc^J
zet8cy8Mc>CqocGQm(HKRa`|L}^d!#G@YS?<XdRDt2Yo10nb)rgOx@pEAvcx<pvP^X
zTqYuZV7wly8UCWTcNP9M)*nmO#XCh}6iNBT#cHNVK<!T?ujd=;wu#uNs;QArZA3iQ
zsYfv#xX&Q5Kx)^6FiT;MPt;gu=FIRLH?neb2^E&S7Vc0YzyyNNAi(V1u@2{0UCQp%
zqm6c(o358%qYeXMRsy5=*oFhj$fE@`<m2bpCw{eYX|hWg9e}**s4~H;IIcu+upK2Y
zG#A<d?nkU(MMAZpeFLG$eQdzE+b)u}!0g)mgD2F=5|Y+^1W_hlP?PW#oUpxGQL%>2
zFfu$0hfoy`1dLj#@!q8qth!H0kNY3MnZa0u@Y+m3_{hcr@yy7=qIcp%op~KLzG~zv
zyG2HG38la1E9z1YdgSHis{Meo){%qhb}ueO^kgF=BPe?qRVb5_xER{d*!h31-h_BE
zO<mmqluP&`QYHgvCY=iix?>?V*z!=f-AhcYfQ|y|htK4wBtyLe%WchC;NXj^xX$O~
z^l$`C|IcEL1hvUPSb?$#j}S!1yojuZTspWmy}Z0UD{F$9YN(?F9R$@Ji93NRR`MHb
zE3+vFn27jE^KwrYU*A<!Is5@F?+{$cc_DE#_Act!5&y5B0d9W|!8?Xsa&>jpYqHY;
z;wzvfKQKR0^Fh!D<p%~wZ#B=c;tv-RVVPp2UZ5hrk*q_f;YPvZaNm&VXCtkC7;JCC
z1fs32&B(}DP*{jC+wr!P-H`QP9BqW~w6&|N3wS<KQGi{8aL2LvH5j^Kut=K{*6>LO
zXm?Nb-@mGlLuFy%i%<yAgM$ywJAd|0q92S#xCh|iBQOX-Q8C0!jl_YxYyI07y$hUe
z|K+#qIBoQ(QUrM8mfLt8C0SFl)Z94QPvBE=^PmEUh}6~B>&73XOX$n9eh&GQjY@kz
z!f9eaid}|J$N6r2{Hxz4I5;`&7cpUI^yeL`9?wS@bsMfJ<yPpGO2FmZyLS)lD>QFd
zJi8R6yCNFX_6aObqF!8~^y&M=#f_@s38B&TQ|$kD%Ni8-$c?GJ1BHkNk!g1ZNf;9D
zjSljEeA=1B-c$<Pd!s72iHZkn&_dT-Kydmy<_fc|3=GFtAUC$7#UlC>STdwe(Nr><
z!Dn)cs>z$6DwrqWt!Lu7=;2X&@DO-AXK6Ep@IYdgzY63AT|)Y!imRE&vC*FG377Hx
z=Z#Xa#km855m#`L+zeG#z^3cy=xF_@vkt(a`j6(Orojq|m?+iK)31x&AM7PQj8C;0
z-G|ru4xbsbGVvKZaN--z#&GT-;YPc~26TR}eja?~7;|jus=K)F@7@*IbyGF`VOrWo
zMv+~N8(rPpVD;krO(=oE`7PD?ld>n33Gi_lGFIk}p5)pA1m&8mBeve?gZ%vSqPEh5
zr)4E24Qyj>Z9AaP)^x6FuKK2;PTIC_datOn|GC4qG5WjQ1zn|>aEgDW#UER5TmaO+
kDE%6;>A(GB!}^A!n|k&HYWN?7yyX`ywUeq(lx?p44?aFRwg3PC

literal 0
HcmV?d00001

diff --git a/docs/rapportFinal/centralisation/wormhole.tex b/docs/rapportFinal/centralisation/wormhole.tex
new file mode 100644
index 0000000..2a313f9
--- /dev/null
+++ b/docs/rapportFinal/centralisation/wormhole.tex
@@ -0,0 +1,126 @@
+En 2017, une cryptomonnaie adossée à la \textit{blockchain} Solana a émergée avec des caractéristiques
+similaires à Ethereum : \textit{blockchain} publique, \textit{smart contracts}.\\
+Solana est devenue de facto une \textit{blockchain} concurrente à Ethereum et est aujourd'hui 
+la onzième \textit{blockchain} en terme de capitalisation selon l'aggrégateur de marché Coinmarketcap.\\
+Un besoin d'échanger des actifs entre les \textit{blockchains} Ethereum et Solana est apparu, 
+d'où l'introduction en 2020 de la première version de Wormhole.
+Initialement, Wormhole v1 a été concu comme un \textit{bridge} entre Ethereum et Solana.
+Depuis, Wormhole s'est développé au-delà de Solana avec le lancement d'une deuxième version en 2021 
+en tant que protocole générique de passage de messages.\\
+À l'écriture de ce rapport, 22 \cite{wormholeNetwork} \textit{blockchains} sont compatibles avec Wormhole 
+dont : BNBChain, Ethereum, Moonbeam, Polygon, Solana...\\
+Le protocole émet un message à partir d'une \textit{blockchain} source qui est validé par un réseau de 
+gardiens.\\ 
+Le message est ensuite envoyé à la \textit{blockchain} cible pour être traité.
+
+\subsubsection{VAA (\textit{Verified action approval})}
+
+Lorsqu'un \textit{smart contract} envoie un message \textit{crosschain} comme un verrouillage
+de jetons sur une \textit{blockchain} source et une demande de frappe de jetons sur une 
+\textit{blockchain} cible, celui-ci interargit avec un \textit{core contract} \cite{wormholeCoreContract}.
+Un \textit{core contract} est déployé sur toutes les \textit{blockchains} compatibles avec le protocole 
+Wormhole. Tout \textit{core contract} est observé par le réseau de gardiens.
+Un message Wormhole est émis grâce à la fonction \textit{publishMessage()} prenant en entrée le \textit{payload}.
+La sortie de cette fonction est un \textit{sequence number}, un numéro d'index unique pour le message.
+Combiné à l'adresse du contrat de l'émetteur et à l'identifiant de la chaîne de l'émetteur, le message 
+correspondant peut être récupéré auprès d'un nœud du réseau de gardiens.\\
+Un message Wormhole est vérifié grâce à la fonction \textit{parseAndVerifyVAA()} prenant en entrée le message.
+Selon la validité de l'entrée, la fonction retourne en sortie le \textit{payload} ou une exception.
+\newpage
+
+VAA \cite{wormholeVAA} est la primitive de messagerie de base de Wormhole. Un VAA contient une en-tête 
+ainsi qu'un \textit{body}. L'en-tête contient l'index des gardiens ayant signés le message et la collection des signatures.
+L'en-tête permet au \textit{core contract} de vérifier l'authenticité du VAA.
+Quant au \textit{body}, il contient des informations comme le numéro d'identification de la chaîne 
+Wormhole du contrat émetteur, l'adresse du contrat émetteur, le \textit{sequence number} 
+et le \textit{payload}.\\ 5 \textit{payloads} peuvent être utilisés dont \textit{Transfer} et 
+\textit{AssetMeta}, attestant les méta-données du jeton.\\
+Le \textit{payload AssetMeta} est obligatoire avant un premier transfert.
+En effet, le \textit{payload Transfer} n'informe pas la chaîne B des meta-données du jeton verrouillé.
+En l'absence de connaissance de ces informations, il n'est pas possible pour la \textit{blockchain} B 
+de frapper la quantité correcte de jetons.\\
+Si l'on souhaite ensuite transférer des jetons depuis une \textit{blockchain} A vers une 
+\textit{blockchain} B, il faut verrouiller les jetons sur A et les frapper sur B.
+D'où l'utilisation du \textit{payload Transfer} contenant des informations comme la 
+quantité de jetons transférés, l'adresse de la chaîne d'origine et de destination, 
+le numéro d'identification de la chaîne d'origine et de destination..
+Une preuve doit être fournie que les jetons sur A sont verrouillés avant que la frappe puisse 
+avoir lieu sur B. La signature des gardiens sur le VAA correspondant est la preuve apportée à 
+la \textit{blockchain} B que le verrouillage a bien été effectué et que la frappe de jetons sur 
+B est légitime.
+
+\subsubsection{Gardiens}
+
+Un gardien \cite{wormholeGuardian} est une autorité de confiance qui a comme de rôle valider 
+(par une signature) le \textit{payload} contenu dans un VAA.
+Comme évoqué précédemment, le réseau de gardiens observe tous les messages \textit{crosschain} via la 
+surveillance des \textit{core contracts}.
+Le réseau de gardiens est composé de 19 gardiens à parts égales sans chef (\textit{leaderless}).
+Il est conçu pour servir d'oracle à Wormhole et est l'élement le plus critique de l'écosystème.
+Si une majorité de deux tiers ou plus des gardiens signent le même VAA, alors le consensus est atteint : 
+le VAA est automatiquement considéré valide par  tous les contrats Wormhole sur toutes les 
+\textit{blockchains} et le \textit{payload} est actionné. 
+Chaque gardien utilise un algorithme de signature à courbe elliptique : ECSDA pour 
+\textit{Elliptic Curve Signature Digital Algorithm}.
+Plus précisément, chaque gardien se réfère à «secp256k1» comme paramètres de la courbe elliptique, 
+aussi utilisé par les \textit{blockchains} Bitcoin et Ethereum.\\
+Le modèle de consensus utilisé est une \textit{Proof of Authority} (PoA) avec un système de 
+\textit{multisignature} M/N \cite{wormholeChainswap}, c'est à dire que M clefs parmi N sont nécessaires 
+pour signer un VAA. Ce modèle permet un traitement rapide des transactions et une dispense de participation monétaire, par rapport à la preuve de travail (PoW) et la preuve 
+de participation (PoS). Cependant, il présente également des désavantages : le système est par 
+\textit{design} centralisé et dépend d'un petit groupe de nœuds pouvant créer un point de 
+défaillance unique par l'utilisation commune d'une fonction vulnérable. Il est questionnable de restaurer des tiers de confiance dans le cadre d'un système 
+devenu populaire grâce à l'absence de tels autorités. Wormhole justifie la décentralisation de leur 
+système \cite{wormholeGuardian} par la présence de plusieurs parties (et non d'un seul) dans le contrôle du réseau.
+Selon notre analyse, la décentralisation résulte de l'absence d'un ou plusieurs tier(s) de confiance lorsque deux parties 
+souhaitent réaliser une transaction.
+\newpage
+
+\subsubsection{Relais}
+
+Un relai \cite{wormholeRelayer} est un processus qui délivre un ou plusieurs VAA(s) à une destination.
+Les relais ne sont ni de confiance, ni privilégiés, ils écoutent directement le réseau de gardiens 
+via l'intermédiaire d'un processus espion. Ces relais ne peuvent pas compromettre l'intégrité d'un VAA 
+car une altération serait détectée lors du processus de vérification des signatures. Cependant, il n'est 
+pas assuré qu'un relai transmette un VAA à destination, d'où une perte de disponibilité. Il est conseillé
+d'héberger soi-même ces relais pour supporter son application.
+
+\begin{figure}[h!]
+    \centering
+    \includegraphics[scale=0.5]{centralisation/uml_design_v2.png}
+    \label{fig:wormholeDesign}
+    \caption{Architecture Wormhole \cite{wormholeArch}}
+  \end{figure}
+
+% @startuml
+% rectangle r1 as "Source Token Bridge 
+% Relayer Contract"
+% rectangle r2 as "Source Token 
+% Bridge"
+% rectangle r3 as "Source Core 
+% Contract"
+% storage "Guardians" as r4
+% hexagon r5 as "Off-chain 
+% Message Relayer" 
+% rectangle r6 as "Target Token Bridge 
+% Relayer Contract"
+% rectangle r7 as "Target Token 
+% Bridge"
+% rectangle r8 as "Target  Core 
+% Contract"
+
+% r1 -> r2 : Transfer()
+% r2 -> r3 : publishMessage()
+% r3 -do-> r4 : Guardien reads message
+% r4 -left-> r5 : Signed message
+
+% r5 -do-> r6 : Signed message
+% r6 -> r5 : Relayer fee
+
+% r6 -> r7 : Signed message
+% r7 -> r6 : Wrapped token
+
+% r7 -> r8 : parseAndVerifyVAA()
+% @enduml
+
+