From 0554f432b180ab5f3b084a3c2d1b30a5db8c1b9d Mon Sep 17 00:00:00 2001 From: norangebit Date: Wed, 22 Jul 2020 17:05:21 +0200 Subject: [PATCH] Add correction --- bib.bib | 9 +++++++++ documentazione.md | 50 +++++++++++++++++++++++++++------------------- fig/main.jpg | Bin 26382 -> 30486 bytes fig/upload.jpg | Bin 19713 -> 22636 bytes header.yaml | 2 +- 5 files changed, 39 insertions(+), 22 deletions(-) diff --git a/bib.bib b/bib.bib index 2e8ed2c..6f630bf 100644 --- a/bib.bib +++ b/bib.bib @@ -77,6 +77,15 @@ file = {/home/norangebit/Zotero/storage/4SV9VW2H/installation.html} } +@online{KeyvalueData, + title = {Save Key-Value Data}, + journaltitle = {Android Developers}, + url = {https://developer.android.com/training/data-storage/shared-preferences}, + urldate = {2020-07-22}, + file = {/home/norangebit/Zotero/storage/N7AEME4M/shared-preferences.html}, + langid = {english} +} + @online{NotificheDiEsposizione, title = {Notifiche di esposizione: un aiuto alla lotta al COVID-19 - Google}, shorttitle = {Notifiche di esposizione}, diff --git a/documentazione.md b/documentazione.md index d7acdc6..8000753 100644 --- a/documentazione.md +++ b/documentazione.md @@ -59,7 +59,7 @@ Inoltre si utilizza il rak per produrre una firma `sig` per il report e verrà i Poiché la rvk è contenuta all'interno del report, chiunque può verificare l'integrità del report e ricavare i vari tcn. -## Implementazione del protocollo per la JMV +## Implementazione del protocollo per la JVM Al fine di utilizzare il protocollo precedentemente descritto all'interno dell'applicazione Android, ne è stato sviluppato un'implementazione per la *Java Virtual Machine*. La gestione della coppia di chiavi derivate dalla curva ellittica *Ed25519* è stata affidata alla libreria ***ed25519-elisabeth*** [@CryptographycafeEd25519elisabeth2020]. @@ -103,7 +103,7 @@ fun nextTemporaryContactKey( } ``` -Sempre a partire dalla tck è possibile ricavare il numero di contatto temporaneo (tcn) e da esso l'UUID utilizzato all'interno dei beacon bluetooth. +Sempre a partire dalla tck è possibile ricavare il numero di contatto temporaneo (tcn) e da esso settare il campo UUID utilizzato per il broadcast del beacon bluetooth. Questa operazione può essere eseguita mediante la funzione `deriveTemporaryContactNumber()` la cui implementazione è stata riportata nel @lst:derive-tcn. ``` {.kotlin #lst:derive-tcn caption="Derivazione del numero di contatto temporaneo."} @@ -154,29 +154,29 @@ fun readReportDataFromByteArray(bytes: ByteArray): ReportData { # Applicazione L'applicazione permette di tracciare i contatti degli utenti attraverso l'impiego del Bluetooth Low Energy (BLE). -In particolare lo smartphone di ogni utente si comporta sia da trasmittente di beacon bluetooth che da ricevente. +In particolare lo smartphone di ogni utente esegue il broadcast e la scansione di beacon bluetooth. In questo modo quando due utenti entrano nel raggio di azione del bluetooth il contatto verrà memorizzato sui rispettivi dispositivi. L'applicazione prevede differenti modalità di funzionamento, ognuna delle quali garantisce un diverso livello di privacy. Nella modalità di funzionamento ***A*** ogni qual volta si verifica un contatto l'applicazione si occupa di notificare immediatamente l'evento al server in modo tale che esso possa essere aggiunto al database remoto. -Questa modalità è quella meno *privacy friendly* in quanto la comunicazione avviene in *real-time* e all'interno del messaggio scambiato viene riportato sia l'UUID dell'utente sia quello della persona incontrata. +Questa modalità è quella meno *privacy friendly* in quanto la comunicazione avviene in *real-time* e all'interno del messaggio scambiato viene riportato sia il *tcn* dell'utente sia quello della persona incontrata. La modalità ***B*** prevede lo scambio delle stesse informazioni previste per la modalità precedente, ma solo se richiesto dalle autorità sanitarie. In questo modo non solo si evita che i dati siano catturati dal server in *real-time*, ma si espongono le informazioni dell'utente solo quando queste sono strettamente necessarie. -Sia in questa modalità, che nella precedente si è scelto di non ruotare gli UUID identificativi degli utenti in modo da facilitare la generazione del grafo sul server. +Sia in questa modalità, che nella precedente si è scelto di non ruotare i *tcn* identificativi degli utenti in modo da facilitare la generazione del grafo sul server. Questa soluzione può mettere a repentaglio la privacy degli utenti ed essere sfruttata da *avversari* per ottenere informazioni sulle abitudini degli utilizzatori[^catena-negozi]. [^catena-negozi]: Per esempio una catena di negozi attraverso l'impiego di uno scanner bluetooth potrebbe ricostruire la *fedeltà* degli utenti, conoscere i settori del negozio preferiti ecc. L'ultima modalità, la ***C***, è quella che tutela maggiormente la privacy degli utilizzatori attraverso due accorgimenti: -- Rotazione degli UUID +- Rotazione dei *tcn* - Matching locale -La generazione degli UUID avviene attraverso una derivazione deterministica come visto nella @sec:tcn-protocol, in modo tale da avere lo stesso livello di privacy di una soluzione randomica, ma con una migliore scalabilità. +La generazione degli *tcn* avviene attraverso una derivazione deterministica come visto nella @sec:tcn-protocol, in modo tale da avere lo stesso livello di privacy di una soluzione randomica, ma con una migliore scalabilità. Mentre il matching locale permette di condividere il minor numero di informazioni possibili e solo quando questo è strettamente necessario. Infatti in questa modalità l'applicazione carica le informazioni sul server solo in seguito alla richiesta delle autorità sanitarie. -Inoltre a differenza delle prime due modalità è previsto l'upload unicamente degli UUID che il dispositivo ha assunto nel tempo, in questo modo il server non è in grado di conoscere o ricavare i contatti avuti dall'utente. +Inoltre a differenza delle prime due modalità è previsto l'upload unicamente dei *tcn* che il dispositivo ha assunto nel tempo, in questo modo il server non è in grado di conoscere o ricavare i contatti avuti dall'utente. ## API covid di Apple e Google @@ -194,7 +194,7 @@ Questa caratteristica, unita alle regole stringenti di utilizzo imposte della li [^regole-api-apple-google]: Le due società californiane consentono lo sviluppo di applicazioni che fanno uso della loro API solo ad enti governativi e impongo un numero massimo di applicazioni per nazione pari ad uno. Dalla documentazione ufficiale non è ben chiaro se questi vincoli riguardino solo la pubblicazione sugli store o anche lo sviluppo. -## Bluetooth +## Interazione via bluetooth L'interazione tra l'hardware bluetooth del dispositivo e l'applicazione è stata gestita attraverso l'impiego della libreria *Android Beacon Library* [@AndroidBeaconLibrary] che permette di gestire più facilmente le operazioni con beacon bluetooth. Inoltre per rendere l'applicazione più funzionale, e quindi garantirne il funzionamento anche in background o a schermo spento è stato utilizzato un *foreground service* [@ServicesOverview], che consente di mantenere in *primo piano* le operazioni di trasmissione e scansione anche quando l'applicazione non lo è. @@ -209,12 +209,14 @@ Poiché queste operazioni vanno ad interagire con le funzionalità del sistema o Si è scelto di collegare l'oggetto `BluetoothManager` all'*application* e non ad una `Activity` in quanto i servizi devono essere utilizzati anche quando non sono presenti *activity* in *foreground*. Per questo motivo è stata sviluppata anche una classe `BluetoothApplication` che va ad estendere le funzionalità di `Application` e fornisce a sua volta due metodi di start e stop che vanno a richiamare quelli esposti da `BluetoothManager` in modo tale da rendere possibile il controllo dei servizi legati al bluetooth anche da altre componenti dell'applicazione. +I beacon bluetooth gestiti dall'applicazione sono caratterizzati dal seguente formato `s:0-1=2a,i:2-17` dove il parametro `s` specifica i bit destinati al tipo di servizio e il suo valore, mentre il parametro `i` specifica i bit destinati all'UUID. + ### Trasmissione -Il dispositivo dell'utente deve eseguire il broadcast di un beacon bluetooth contenete l'UUID identificativo. +Il dispositivo dell'utente deve eseguire il **broadcast** di un beacon bluetooth contenete nel campo UUID il *tcn* identificativo. Questa operazione è stata svolta attraverso la classe `BeaconTransmitter` messa a disposizione dalla *Android Beacon Library*. -Inoltre per la modalità di funzionamento *C* è stato necessario prevedere un meccanismo di rotazione delle chiavi. -Questa rotazione viene settata attraverso la funzione `rotateTCN()` (@lst:rotate-tcn) che sfrutta un `Handler` per programmare la rotazione dell'UUID. +Inoltre per la modalità di funzionamento *C* è stato necessario prevedere un meccanismo di rotazione delle chiavi di contatto. +Questa rotazione viene settata attraverso la funzione `rotateTCN()` (@lst:rotate-tcn) che sfrutta un `Handler` per programmare la rotazione del *tcn*. ``` {.kotlin #lst:rotate-tcn caption="Codice necessario alla rotazione del tcn."} private fun rotateTCN() { @@ -290,12 +292,12 @@ $TxPower$ è la potenza di trasmissione nominale che si misurerebbe alla distanz Il valore di $TxPower$ deve essere precedentemente ricavato per ogni emettitore e deve essere inviato all'interno del beacon bluetooth. Lavorando con dispositivi eterogenei tra di loro non è stato possibile calcolare in modo esatto questo valore, ma si è scelto di utilizzare il valore $-59$ poiché si adattava mediamente a tutti i dispositivi utilizzati in fase di test. -## UI +## Interfaccia utente L'applicazione opera prevalentemente in background, ma comunque è dotata di una serie di elementi grafici che consentono all'utente di interagire con essa. Quando l'applicazione viene avviata per la prima volta l'utente ha la possibilità di scegliere la modalità di funzionamento che desidera utilizzare (si veda @fig:ui-welcome). Una volta compiuta questa scelta viene chiesto all'utente di concedere l'accesso alla posizione. -Sebbene l'applicazione non utilizzi il GPS o altri strumenti di posizionamento ciò si rende necessario al fine di abilitare la scansione bluetooth anche in background. +Sebbene l'applicazione non utilizzi il GPS o altri strumenti di posizionamento ciò si rende necessario al fine di abilitare la scansione dei beacon BLE anche in background. ![Schermata di benvenuto.](fig/welcome.jpg){#fig:ui-welcome width=130} @@ -304,13 +306,14 @@ La schermata principale dell'applicazione, riportata in @fig:ui-main, si compone - `TextView` che indica la modalità di funzionamento. - `Button` *start/stop* che consente di avviare o stoppare il servizio bluetooth. Questo pulsante viene abilitato unicamente se sono stati concessi i permessi di accesso alla posizione. -- `Button` *upload*, abilitato solo nelle modalità *B* e *C*, consente all'utente di raggiungere l'activity attraverso la quale è possibile caricare sul server le informazioni locali al dispositivo (@fig:ui-upload). +- `Button` *exposed* consente all'utente di raggiungere l'activity, @fig:ui-upload, attraverso la quale è possibile comunicare al server il proprio stato di contagiato. + Nel caso della modalità *B* e *C* vengono caricati sul server anche i dati di contatto presenti sul dispositivo. ![Schermata principale.](fig/main.jpg){#fig:ui-main width=130} ![Schermata per l'upload.](fig/upload.jpg){#fig:ui-upload width=130} -## Memorizzazione +## Memorizzazione ID In base alla modalità di funzionamento l'applicazione deve memorizzare diversi tipi di dati. La gestione della persistenza è stata realizzata attraverso la libreria ***Room*** [@RoomPersistenceLibrary], una componente di *Jetpack* [@AndroidJetpackAndroid] la suite di librerie supportate da *Google*. @@ -343,6 +346,8 @@ Anche in questo caso, per quanto riguarda il timestamp, restano valide le consid Questi dati persistenti sono stati acceduti mediante l'utilizzo di due *Data Access Object* (DAO). Le interfacce dei DAO utilizzate sono riportate nei listati -@lst:dao-contact e -@lst:dao-tcn. +Oltre alla memorizzazione sul database sono state impiegate anche le *shared preferences* [@KeyvalueData] per memorizzare la modalità di funzionamento scelta dall'utente, la *rak*, l'ultima *tck* e il *tcn* associato ad essa. + ``` {.kotlin #lst:dao-contact caption="Interfaccia ContactDataDao."} @Dao interface ContactDataDao { @@ -371,21 +376,24 @@ interface TCNDataDao { } ``` -## Rete +## Comunicazione report La comunicazione con il server avviene mediante un brocker MQTT fornito da un altro gruppo di studenti. Come implementazione del client MQTT si è scelto di utilizzare *Paho* [@EclipsePahoMQTT], un client realizzato da Eclipse. Questa libreria oltre a fornire un client MQTT per la JVM fornisce anche un *service* per Android che permette di sollevare lo sviluppatore da alcuni dettagli implementativi. -L'applicazione, all'interno dell'architettura, svolge il ruolo di *publisher* e si occupa della pubblicazione di due tipologie di messaggi: +L'applicazione, all'interno dell'architettura, svolge il ruolo di *publisher* e si occupa della pubblicazione di tre tipologie di messaggi: - ***Messaggi di contatto***: utilizzati sia nella modalità *A* che nella *B*, permettono di notificare al server un contatto tra due utenti. - Nel caso della modalità *A* viene svolto un invio in *real-time*, mentre nella configurazione *B* l'invio avviene solo dopo aver eseguito l'*upload*. + Nel caso della modalità *A* viene svolto un invio in *real-time*, mentre nella configurazione *B* è manuale e viene eseguito solo quando l'utente risulta essere contagiato. Il contenuto di questi messaggi coincide con la rappresentazione JSON dei dati di contatto illustrati nel @lst:contact-data. - ***Messaggi di report***: - utilizzati esclusivamente nella modalità *C*. + utilizzati esclusivamente nella modalità *C* e sono inviati manualmente dall'utente quando risulta essere contagiato. Questi messaggi trasportano come *payload* la rappresentazione esadecimale del report TCN firmato discusso nella @sec:report e vengono inviati solo quando l'*upload* è richiesto dall'utente. +- ***Messaggi di esposizione***: + contengono l'identificativo associato al dispositivo e permettono di notificare lo stato di contagiato al server. + Questi messaggi sono inviati unicamente dalla modalità *A* poiché nella modalità *B* e *C* il caricamento dei dati locali di contatto implica lo stato di contagiato. Anche in questo caso si è scelto di *wrappare* la libreria utilizzata all'interno di una classe sviluppata in proprio. Poiché l'unica funzionalità di nostro interesse è la *publish* è stato necessario scrivere un'unica funzione statica che si occupa di eseguire quest'operazione. @@ -434,7 +442,7 @@ fun publish( } ``` -Le funzionalità di rete sono state testate attraverso l'impiego di un brocker pubblico (`tcp://broker.hivemq.com:1883`) ed un'istanza locale di *ActiveMQ Artemis* inoltre è stato utilizzato il topic `untori` per la pubblicazione dei messaggi. +Le funzionalità di rete sono state testate attraverso l'impiego di un broker pubblico (`tcp://broker.hivemq.com:1883`) ed un'istanza locale di *ActiveMQ Artemis* inoltre è stato utilizzato il topic `exposed-test-topic` per la pubblicazione dei messaggi. Entrambi i parametri sono stati settati tramite delle costanti e quindi possono essere modificati facilmente. # Riferimenti diff --git a/fig/main.jpg b/fig/main.jpg index b24ab80556146b2b69e3e96c2152bd12387ccf9a..89cdfecaff8a503633610dbcd6ec16830ca03c2a 100644 GIT binary patch literal 30486 zcmeFZ2~^tGzCTKmCTWuLyw+lj8Q`njT5wu#x@bT77^pvV1p4O#t8=$+ooxp zIo28h2O4Z3Lc|yc#Ia3O5)~~$oDi+z1d6jbqK|XV9nO7g-T%9Ht-Id4Z{2RzV*h@7 z-rwKe-@W&Df4<-S!TsL>A6&oo`8B|S0|3AQ%@43I0bB(fdFSwv!|xn9a`?#6qetF7 z_QA1Z@4a_S=j5sPKhW1XeOg~fPtU;UoQc6%GebSSk1l>>W^Q45!SalW^(E``m(HEH zJpb214jest^w_({w2vLrK5w9BaQ?sS_J09ry?YpN@V7$;OaTYA4jj@tu-^tS)HL$o zp#y(y@4vVsN8dU8?xBN!jrIFL(}_ce4jexC-n*LMqel+|4jeqB>5bNhN45V1^w#}E zN6*yvR`fSN3g5l_1tRY;ecTN6Y3L7C`VKL1FRFk2vpqT%jLa{4xwLHO^Huz}Z$;;> z-2bjdQ}S6&jeo87AL{*k$wxJj4qBQ<9XxRGoxi%He@mi?)OzQ`KOF{s;;pTzPsj9f z-lvbNgh$LkUw{$lZ+{(MTHYT9ynjfOQR|Qv019~gHL-5-?_GMQ5L7qaBTm=@EwGLS!&Cf<|{LPoGi7+@4u}J~lqt z9Gm(`7JJ6{kHYj8@KtNiz~D?u8p7l5T0ICJv~~vaeW`~PMUf9 zd|=k2%aJIIx`C0Y9Pkt&LB`QQ$QP({w%eFLkB)w6^Ov(q{jde2s3Uv0!k=$X-WsH{ z3vERnI&KKV-p*3fuvwCBRPtMgq&~CcJ0IWts7eJ5EviiTQdE*d3OjzJep));$;e%C z4QH5QLgljWy%y)MCPX$vnighEyxX~kBgGe{Sx-qf8EErR#nc$6`EC;^2nG z0OapZ{r@sZ{v$uKu4hD?VE=f@Rr};LY&MrwKVeCC#j;XNA$1&OLq!lr`g)?lJe=h? z)1jNy9|_J_JT!@mvG1uQae=jSWMof%9td_u#}n!4i4?U5!tFNst-1baZbhr-JizaO zoY*eW_6+7CwSD5R+0y$(%UUPO;^I$-QaQQj^{+!P4r)BAJVmL=bKOZ(l zr<8u#`F3qyin^Q)bI?=y!qSSc0&OHhb@g*{`pA<^iyHhVEfMq!DnpUB;c{?LW|#_= z($e~yYHJ_R_oI5lWFIgYOLWfJ2V8D#vJxB50%-ey$I8`xK)L140(2kndbw-9h%hn8 zS{EEq#vx>`f*llgA8a4W7c;SPntvdT55kgkw7 zAVyXvI^LF?EWt_x=*10do#CvAGX2~Jmh7cV>d02j1h*22Y3y$oO6(~=h2jadAk}C= z1iY%qM@l-0gMr*U-I0miy^@P9FQ41nR}^J^L%7~r!s&2DElRs4*qU#k)o!=iw#6?_ zt|Hvr2OwNa_W@IgeZYm&CixcIeBR!8!rler_uHATDqRuvMajD}0@9MHzs*QhJ+}v6 z82iPmw|CnmV)yx6({wp2kzqz&-gew@kR0_Ds@5yu$2!KC(Kza&IO@alTK#7*ogFy| zdY)DJ?(&4oE&5ygI?U1-_4@*55Wkkl9$1JEVTCg@v85?=%*Q%1Fb?$uSeRfpa@p=QLP%Lf>{J$hh2VPeKi@WZcaf z+Q!)5uT)Ut{NA*8FsyqMe7a#lkj44#*eP)vmunNbP4Hq?ch)gV43K_Ot-O(a08A`R zDDe)V879Wg^pegm-YvA1?`TH~>sOX>i`fKqY;qf)0IR1m%rRG1woL9OnmY&FoAaaM z%xA}tvscK_LkccYthLnil$yjKmGzdIjV@OVESXA1h8&UkcE51d4)->geqj0$8(UADz89$PQCC!hFMRbrhAeAc{z z-4hzpJXqzWP{Juab$4Kqqh1(8$(oqbmIGa0DZ<6Vv#SHEQN~^!Qi|^mWOz7uM6wT1 zVeeFlW7h4KecF=5dtyX)H(Pxu75k{x0O!}!#cCk>2$LrVV9|>i83o^zOZZBUJK+s` z-yj<)-Vt;a6qOBERrEp-+P#KbZL6~n?-&&+Hozy-e{Ih3?9~lw9fxVHC96r`Sy5h8ccJ|HuRLf%MB=E>I}@9F2BOKxhMleY+>_X^Zo)?ZF4 z3~;I{CPvJhK}LOeaZ2QdvS&@t|8+Qj7i+v;O&UIe?{7Zs`eeN0R6~DNhC6cNtHdO@ z7Ra4Q)HYf3rR7b{`Ap&1;6R2g>KZss2$CUz4rq+oTc>jMbNR(Ay_mb=2y<~`KWmjf z1w?`tmorlM*|#f_c$Pmj=8jpekSzChzIU`(^%8eLxD5{d?mWq(h~Ml-klMawg;9H= z0=UaQ;3_W7o
Nu-DQMXl$P!^`SiU+Exp`1Tg*xh|M?9&J>~|6uQ*5-LKJ52I1& zDTni!^Fom4s*%qi7v{a**2W)H>;q2S&RVI^<D`+%A{OKHJy&!9RJ*DTZt zY0NS3Jsb#6qiDmB9(x8*C*r7?+}EdD_UGRwur z0n;{NloyCPqq`cDMKlz{As})0Dr#tak-UeX7XCu8?5Z+c5BusSKO;kyp4l+7cM>x2 zIwt&X@q7xQdsqnM(L#Psa!W(GHV&Hx-YHgD)IGy-glkRj52Kr$%%5eg!Lv~?tzNho z)CLz`zHc7%mxV0C)iilB$8-6iF0431R%$(91cHVEp`r6zc}c$}wr|%uZOes`inv)w zp93S<{t4mGk@fDti`N^;jJ7pcyj$WX|3{BPldGqyQ&(vQb*@EQ`YS+NDMNr?M1o-; zP#aPk8W1sT{<`_uS4j4qnhw0)UH8RVYzCP^>S6X<^u7}33~hvMk%u1?3$6?N{QSi2 z3dUL+GEgKlHlAHtE#&u)guGP5H>Yl>HQcB035@7X2-A;LCdcnQzu~XT39sDzC zzK?~lwT@qmBL1Vb{O{q`xjnTvP<6gU^GM1|$#9^TZ+U{jq$uGFPD6byI&23B2{xYH zxU@p}bYzfsWpEgi!IUT71j76V?ZRu2`cGMj%nnvEd!~!LidLm!;spf_s!`iqX7a@u zw1niW?&}TGnsWtpU*&(SH1qu}E(#-U>v+@IreGejx{%AR*M{i28}7~0EY&2_LDQkj z*u3zuAA6gU_VxjtU}OI<&Pt)*z=GGn02pR*ga1q4CE4%WqZvWkO96c-S735c3LoZ; z(gGeseig}zv8%Y>uyL{y*;9e;3*Ri6@AZYnqjUo+`8}5DtLwfCrADTYnowi=04<3U zDiMN7z-o!VF>$iLs;1ezFQ}^(q|?@`rKQ!~-P>SldfQ4OB`c_mu096{OmS&#?(~N3 zP)06mQDC^`0X28b$PH83xVHZMdpM!G`cxSDCckJn7}iydOV8l>4AC(fwqA-!QQwSd zx=yBtnh>t-c!jK5jfRSPRT;|GVx>N3ry|8_ zIDRCZ8HH~yG029$$=;f)4cv|nbb~M6Qr)NJBpfokp+tF>nfTJXM?|$bPGd+%kk(d} zTm}I`j3JBf6_>nWdlfzzV%Na3ejXN9-=SVaF$6~I)P|(YF#gNLjW)gs?^A3;9i|MH z<#^^MDjJBs(_TxQ9~cpWwyJiTg_Gms%VFRKwb{VRq7pnXYOYg(|K%pH;ej+~XgVjW z40UC@qZu1}dG-7f50=ZZmM|)>WXLG8J=UABps3x!t-JFABaum;BEPeywr+k%io zjX3rr*)iS>Bec{7@}P(lQGaC^*P54=a1T2WpJ`r{2$pl@*~HXUu!phnf~)IZlu1!a zHMRQlk`(Tuv9yfa8VRcD8S1+WYjv!N+{U+n{m=QO&d(XU&V;~SQ)dPi_5pNKHPips z*NZh>+~+HIXnDl;;c^y)2F{6yz8xM^;#Kr8G_bR;nnjHYD7M-~52;U6%hRXRmR4sV zfB7!-_c_PH@ak{4>jbW%)H1UQOV=#i%$I+{8Qx~1+PG20TXQ{xojqyhg3DNu>gh<4 z+0oc3Z+EAD`yl_|)K1Iv>{3eweUdMa9*3%R>93W?lsT=n_wYGq^j_3LA0VG%6ReS9 z_r_`?yWxzDZV%eqiqY1iYMar3l2j;{`{qf?*Bah+KwGnZb;F-Q?{L`h?RW)?TGnAs znYguiNY%jNl(QNbEJhNAGW`{&fi2^dv(qOWOA{ad4gg4%K?9sf&(0V4y)wedslfPl z7nttyl-P4sTlMlbTP16$y?CLDiKx}=E8CGWKSt&>ba6%|iP~K>TPPXz^0U zGkDTN=^WQq%26s5JiMklHYbV7NSO{Bv;8{moSZ~dx%R9YE4z@(e55W6v~w$8nR;U% z;Ddru5T3H*~vNdt z{ldI&3L~tJX&P_O%2bYUQJSOHv+J?0%;~Q@gT!_x8lTR%B~DF#**3yS#ZI8jiS5M8 zZ|)o4l*;aqGjIvlro|4B$TJ2l9!XM>5G&Sc*P9n@+aZj#j6x)Q4mkJe{prNE2hR)009E7Ol&xJC>Nat14`-`u4XozhmC`y?_7Iqxexd(pmoNay+Li&&-LAw z-t@)R=GDhvSBec`p!|?*V&6S8()TXqCN&1%ri8T}d4v0y0QdZli2wg~_yMc=nNWrE zjDPXP_p+|2=vJ@aa2y$8(A4-MWqAVfpeuifgmF6j`sF~aqRcs6ku~(Agas)jlTOu6 z#kz!&+TJWhHUXw4<3Pn4I2Wz0x-nhYsP@$IE#a|`@f zVy?7#>hmUddW+(@c5d6+yeq0kdG`1h9km4+2`zKgcruGxUmX)lrZG&39mT~${;L$x z+03?Hme~L8FelodAI(x_Gp{)J<-Jc*ZYh_z!&4K)&G?L2UMReD&UH^lqTu2$*qwGN_e*5pg zA+Z&XS5Uyk5r))mh*i!qXJJB1(XJoZ8xp;2U`|VtdlgaoIsG4>eFgxiUh&zsmpj0` zbk2HbqzE*n4SIQd_!Oq0uH#kP8*$8~1z~!&E_HwX1ACG}{@0~!-7VS_j zC&Wgj4ocoh5apA$7eO<%wL|a-dpt(^<}KI=vX`2dYeRe%4+KhX>Z%TbG{?-2_F7efR-(I^ z_L#=FThrcdV%Z8hLZ*U09F$FlP9_H3TL}eMih+6=C2fn6p%VHanya9UQ7vm#CkLgj zxs%v!;^9v4j-Cwy88^m*iUO8*M-#Wa`43HoeVYp+8yteSL~-4j=1oqlBA%8uP;CV4 z<^yGhn;ye2pyw)xcOwi+ze#?&@Sfi+*DHc&Z#ZKnjm?ev`OV!r{=iKdQyPeWQity+4SPN0 zu6bJ4Vp#JXUnQ&$fD;PZ;x@aNS5i`-pBHU?JRf-|Y8{)@P(_N(X(^Hj%AlCxUr_0 zI2d9^+b6cG40@r68>tL35VWA%lVZVcNwGR`PvTZWOx4Pjp-W2m1gt2n>tI43WqY39fjiT|sE3%=LoZ`umWPwMPcuq| zqh`q)p_wAmJEQ01PiIqel`gM^VDe)1W_n}HR05loL3>Mev82(jd`h@8-*qZt96eVQ zvz}0MH}^p=tmza=zL+TIU`wCw zRZ3mz&h7)^<{L}$rX!_hfwh#F9@oaiK9m?N76yTgU4e$nClZ^oH>+>eS>5LPw1u!N zn20&!VVE^`xcV$Dm2Q-W4`48tx74 z103w+PLG1~%0p-5TtyWH&1p=qOs6o2V@E^u^)1@V985v}`FiAMZVI#D<+;`H>k4W4T|JhxwVSvXMk-_%;&843u{eQ+ZBRGc)-=QtUdj4`{T)y(WNjR#~?vCr27d zk0%C1$T(u^Ftg)4BdqIH24%b1_s?>5rl@@9U^sV)(=ykx7_~egAB`2ws6ab^ro7yx zt-oJS>B=Dt zUNH0|;H*uDFD+(Def9!|dV$ABvUayGkXNT&(8P?LyRfXGYvO?&J5ju0m;S}D$(z)L z+wI#jX66hhQ`SuWJNaTelsf?naNbtZ@h-A_7FD>N!_IN%(N#NtF5d zM&z?h4hm@mjsxgpG>hQeSyNz}wSP_~nHF9*#mg zBUhWSN2c>8Vp2?_N|RjfR_FGw_PMpGn+HRVCtceXL$!?;haBu+Pbg6iK0Mtx zn7-*``Qb=Hh$FT;8gX$*4r2H6epiwZ$RO1wizii64ja&|Cw)u>&CRa1%p@i800$MUexN1J?j`YvcxAA9LF~pV1Sf4~#eBvtqnfhenY4nnF z{M)26jCE#mTboDWBlTKE;%dF3ZsKfnL4}y>fGK2qgWb?$jE3!$Y0`x)=28R}Do7{E061Uo9rtgqP%1c^=&x}QX*y5@6 zgD`w8691&r8dqX4H7ut~&(vXAEM|Iori?-fN-H>0!NmHVCE6*kYTMjtOpeIXFXxH6 zz4?6-H&4ra<7p?rsm#GhTWU zcj>*+>u3R(pW5AT>M}EQL-EoU!IV_G2#5xU3bp7{2AV7^*?ExR}WVIa< zD1?)=Z6dWNh$bN){JLZvnUJB*FVb(X^vo?5Iv5WtLv9WIwqcWc+P|5TTh5vE_8DPZ z$@(`tU+H2U5j)I)}VAQ44CnksM+{xO|5ki|2I zW(sb^tH=2h@x96rw%OHY{IiI{*@?<-R+i zM^99NDI+%+8@9K1t`e|?wE~mqp^j{7W7jg8Wg|o)W?W*mJ$sAy0Y9`TLp%lp5~9%I zgf#PK%4F#qR#Q;|x?WDZ!UL|Pj%pbL_u|jD>c6ZWZ+6S$;1jOBraR zQ$vuI-?-+#HooBEf|{`MT6^mOd_CR9e}ai(s5qSz;tFR7U6MxDB;J-|;YD5g z(NU6QPGJu0+53+4?BwKR^GRgVlKkTkJ_tZi+rr>4pI_*er@^12V-!y{(KHEt+a9WbJu zdq@!w)yR07zPzF?e_v%=jqOV!5_~j zr+(-~cKTAQHB>Z9Fs8ZXGftAb!q0{*Wj1VkAg?H<_nXV*({zd*kJ zpEltCXwM%M_=5s}P~Z;={2K*M*KdDs?7sa>HYJlb!(Dy6W2mfLm#y@_-2S&T|JA2s zt#u^`D6H}4YcxulfsOlUi-N~w=jJ-f<{ovuF#45%60QJaD+dT5y_RGS9E@}i2FeyE zl1PKU;aAnTj6K2P-jS2EK;_A|^WDo{Cm+K=awC1{vDUbQbKwcOl?KKmf*wUW&)vwr zg*x++HYQU!Tra9KoNLIfWJHcYE^t`%1{uvsvBa=YTr;}TKht?CD19ofW2Z%C6Lc`7QRfn%TXB&1is&hjlQHR~zg za7(>>;%nwoZO~k^O;GF4L1pk?=;i5TGQ)9AF@a?fD~~FbX$kX9UBG&C(2@<3AMzk@ zyA9dq2^W6E?XaPggd#-qmgM{mC4v0E2$C{d3eH`f&*1{;~1`UU2uvle1 zX0&(HH(pzV9flINJNnaxnl)h5Gs4gs>mviNIFkW=7llSB;B-CDg`gHfU-)xgUxw(m z#2cnFnJv{ZGjNw>L0m7Oq2qoM&NH?8=N_bj&?WA5FY z`+e+gq<3$EuE#Ssw{E`ZBktj#I*0G888|09BdI4W!Tdazke-o26D*UCmD6kxC$`d1 zd`aO#LO@gbou)Y<}Br2vxq6(FPlJ&^c_AIxJgh&K*#**qvp@~i>#!K=ej-T8^Zpmvg z8N5KXmSNYNp1SE-#7(^midsCGli7?8C4Wo^>n9%OD&;Engeo!+sWl@N$)I(Kq~T+$ zUee?q;#@nY;_8Jght>0xYW*;VB~>=LEa%^UT)b8AGeJK(@-9|RZVj@x4W8*`vGZM0 z^V(9gic&Oq#Yk&}`G^24!h|zId(12IwRe7fXJki&?2l*Fz#i)+BJGgG^jy}o%d|x& zHB>y~Y?9R8q5^Lfji#C$zQ}BqHSdcED%Qq07Zp$Wj_hxVY!m4|; z-nS;j*;z|<-QTdRg~a-F7M0n>3Vj()L$X*qv7(9|^OACeVK8HIkQF+nZOES|(}ro0 zE}gX}Y8kf!*{rGVWb=k*tSm$QJM*5+0xT^~VL&W-HtDaK3$<-1;!}oY=H|qe?eUh% zNYyvrc#d`ShnY5{5b9r3c{^6Q=N=A`wmZeGL#>*zsDH_-BEK~Xqk!;7d_&KAD`x2} zrDRs6kmV}cd4gtnN#cg1U)U+b&Tc!eBc&*$<_aNE2o3pe@Ab{(Ba!~O55J*=7$wYm z$8cORW`DU0IPjs;Ik3`gcmvDl-06JHx;V_DOoY#LU?8t)lJ~HsV*?hksto2GUo4A# zdfi>$lor?9$su;4p*Gxv;KycORq{672C~+s?0R|2cMdkglBBmTIeu z#&+ND>9Zp}yeqKvsr7KEvJRLduP!Lk_W_nNRo5vlZ7vS3ib`9$nC%j9Qxa;TZ|Yb} z_^>G6LuluAD5N^!aK(+V!M+%qXk-z>%N?=6N?)dI%lOJqob9V(W1><$?oD}vaAE|~ zDA)ywdH_^uu-tCfn&Hm4TM>;hn8aqh27PT)N?9iF1F%ltkuPIiTaJVPH&dSl3%Ez@tGLk@+lNCP3`YDLv0+mw-R37q+g9zop(P;W#Z#whPP_hPCa5e_p&Q%#D{h39PD^;5S+8!Y zHTquWu7;y}8eLHpLU%3D%*u2*Wlx9wLZH`VMA5+@?8HS#6qcScL8Y5Q<6>2hgNnlt zwGO$De^zi!+x64vbCoYkSr`n3Mn{M7neK)e)P zVs!~#bFu9}u^3ED5YIusD4Wk!I|i(N@tUp??_!m&Ggi~76Q8U~d_4ym?p+L0u-e%= zVxjho*k_e50)8MFR)!gi8zLpYEh5~tbVQ!P>FMbk#E7$XDTdjw5YGXijCwwu3nu2o ziN$be2$UD9Y)&{HB8t3yD~MjsB2$&CD;46!jIX_SR%3;{*n2OQpW`M%sysztSSkXQ z4TH?CEUVf3fMfGxFZsg`}p!Tn-W@9Iodn_8=`baHwopo`u5E>XYC@_5sm$m8yt+0Og;+sksr5 z-z10!_!jmiI4*H(BUT1iht6Na#WwBuW~N;DyD%Dg0NcI?n^90lsBhHHnIhxIlxUqbJ$?tJr;(lkkV^%@C& ze;?5O<6P}AOmhaS9g=DXpXYi0R8qDNs4z0oT%hg)rmqi*m+th{G&Nb}w`=fNT#&pw z`t_emGEusb$A9FPI3ibfEa82XVaX%P6R{3%18G0i#!Cf;rp^Ze_poDW3Q@Cz z%}Em7bF>Ou&aiPyp|WUBtwZS~Xhn4R;E!L1Zw@|6V^`sd;#L>aa}RjqL-$_PMyaAS z{dv&+gy7JO<=@$^O;`}(N^SXIv6e}{2Wy~vpr+Uv5o_Vy#&z?6IH1E+9@*b&NlH3H zqka#dRXED6WwD?ir~-- zytSG12}pWSV!yR4bhrvrTI5@vX-WDled2%uaA`edE*Vo;P(;{n)Kl<)y)>=Kr_R>B zzmx^`tye@r^*Y>B+O_cY3=FnZqwKI_ru>W$Dc(C#CJV>2_X;nxH0GH+hF1=_5c#7I zhjK}=9XhY*Fmoy=ML>-LUlWdu~(t_C$s)r@?uaHRlD6xIG zV&ktX&RzK8;hz5_KL<78iRN@LG2} zx8CA5k5gZ2Stp>wsXf1Q*@!bU8&s_9daFMU<_L6{X0fy`FB}rq-5$cCLJeU+DbhxA>-#8z+?u>^?C( z-qlsdtsAb@MyS93ap=srOmVs}I`*!RU_2R()b;p|-PH5u9<~+yJ2vS`U#|*Fw~{GJ zZ(#rrl*C@UisKiG8x*{vLXRADVoZbQKrjj#*n(UcR~~Ij+_w28cYXC`f-C9469l`*lmYN zrrB+}gR)l{mr=5}x6fZhNeV_a1q9Z%SD)Cu9w%IUeK6gitbL!Pn( zcx-sReYJeme29R&kXD7_VXdZ&nH*r|2 z3|?VL3{9wDII6o&A8Bxi2U8`Ek`6)Moj*=DsdGp@;kIj_`q#Ib~_9abR>G z;DHP>j9cDnY3iN7{xveh*g-Q9)a_$!o6Ai^&Hej=&7PIdJI8wZm~o?`T6N5`tTTBq zkgp*^%iR?We=`wEGl4>rlL4kh_rDsCFi@8GKP%3@+vp9~j$md`!^o6r7mY%r1_Sno z`-1|1P~Z;={6T^L1r)$?=5$0c;q*SSCt$a+*&pGK&?L~2G?SJ8DFLa& z{g$jrL{K?{vaue^UpUhDub;=Hz!RZ;`IPW!w`?2(dZJm|c zGc8@!o>op;J``uyGFZ6|+%uEt?lGWkCw_aogKq8PZ<6k!wlzoS4;-%EP-bfMrcEaP zy9>xzkMf(Y&s0VmSA8^cih3clJmcYS|JsHB`@_MH0AK&Rup7U8_|NZ$_!knZQGKe! z+nRQw`rfTS`0o-PF#nZOWVbr|2K{@QH@vU&U$XtXM1OmE_iIf~^k^UOB1)KGDg}EK z$I4E5_N@M1*jP&F$&kwizKi-e$Egu@UXTgV2E$z!nZnn9u9>{a>Kgv8(8xn zWIQBc7r;R5M#y&v$i3lV(ejIDlI8*u3^hlmaKd`Rz9ta}bPKnr+y6p6n_2ZfBqatzYkdlr@|Bd z=6#&?^`9QFvGoQJ+n4cyU8l)vZ;zzpdPZqjrz4H!A4O_}&*&9yWTxp{UHM@jfQn0N z)u>`ukm^44ery|n}@aeVE1xL1_QbryAnD}UOVa@F3ETA zo1Y32t$TVF`PHnCam0fxYku~s55Mroy^dDdf@rJ#iF$(8PX7&GP*F1E_2ip2uiM>c z2VyuLB;*^e3tw#Pz5bE<{#|8jy*=@oZ}pSGuGdVP#^|7wRgGp&ud(*pYa6w#&oAQW z9W@AKV$%)R4$8_4blXmZ#HWUM39HJ?kOKazYET<0c@m)w$?K*5<+o*^iWH@)$*GDd z7rjt=ekF5{^$FP0MT$Uco^G3)d>3e3@$u9rs@960<^jTW;WQf`O)u9-Ead5>t{C(3 z_3dw>?-1CZ4&VgMX2`a#My+lMH^!Xfnz$PI!gjc$Dri2d#=jcp#O5^6so|uX6mNC) zyudjkJdr@d4yiDBV|N|#h-W)Ud&(twwJjA0dL#M%$MuluwTR=qDoD% zbaOJTtTaWvd$6af75`+n^1lCwK|G3)n7&BY*bSjs;^HGwhdyh|u0UMwFn1B_xOa&) z<{u#5-RkR=XCqWeP59#9mFXhojDR+4MQw<&9?+TzB*txSZSk4Br%DfxzO|EW&uau> zm-{i-An`ih_%Wz>Im8nVff$FN05vTTCA8Q-WYlu^rWlucvc$aPi;93_b_(`_%%VAW z0lPNSMSIUTAmsD;m(!BBbA71~mxik<1PiO?rkobCV%n)`D+NEs3{MXGirgP});BVI z9V2PPUF@}kBf-5u=w}zRgXDEFi-@qZ!6KU=jlBu-YbJ#@{Fe(kRxbpVoOxG!R?T*F z^~xoU%>_0Rsp}r=2KUk6>PWoR!6VHjg-pfpkqSJU=kGepg~h``LXeL}lrj-cdlCAZ z-fO@Qe`kUJDNcA`sxTS2%n7Dqp3)u3B>NZHsZjr_v5iy*i&Bh5X4xFh+!U?3MR-Kt z8++9l6Txh%?Jf3(0A5Kptg6c=$G!15nNZuVdvm!>gX`ri?E~iR(^jE!>(V1fASblF zTn#<9#Gvl3jeq*JmWC}#nC4K!SWX&F62P+LGg!<_bUKArrTZ(dBn@f?J!M?ftWh8y z02+EI*TyZI(M9!QKNdFg0+WHU;6Lm*dG6W8#A=KM!#qrLSbQh;!|7|r&9J0L=-!tp z=B7y`lQbGz#==7H3Xi$~9fht@Ig7icC2n{rOrE zOH3?IY=n*89ncYrwSdMT?YZ*~+wTpBREVLfwSBWy>U|T zYOlsVid!!PG=36S`S}QC8wU@sa{0=;M1Pj6v$|qgYF@t&c%`ic7i-Tp*{TpfjY|9) zPTVvoaKgJPUYKS^A+(Y41Vt&$*d=j$>T=bSaX;bgTcu36bnN1W7ABNTy&}ulIdG=B zemMbkduyBX=QejKWG#@Z-7Vqi&9Erj%#G*^_p5q(qq)I@twm`l@g+r>IXh_7dXPa$ zXHaHxU3O7=LmEpBpG&AX<~Pic-c94jZbH0RQssl_hJoyMY41%W?wARyh6o7w&^A&4 z{hX!twQ6)=ws0=6S!lB!Q`e6S1UW&&J2Vyo)uFY*y$T>(OO!)N>ots z)bOzM1+D^w;uK?Rk106q2^I|Mbc9A(n6jS9RNZS9M$T2)xyo>3wabc4_xg$KEO6Wi z!_{$vFLe3#%+|HJD|M=zW`nGnkv`C6Yk|FGX+$PEX@*ppzH@V{sOb1DWn=|?!47xEYFr4~>vV`|kNW+MCyBlK#4J+(S`p9;hn_KK!XFz?N zwL^4x?e7t%Yrc{pWg^sfB1jcbroHyd1%NcpZW-m{v83kQg?Y?!i9n3-R;`JZXOp&YuYuf z0jxBoT%&fw6{~JPMpi$SAcCW+HH)VwoM1E)LTY8^x}+Xh{0Vo$_UiniM_1qK-J7)$ z@LG^|U_4w;_R_2;Z1&SMixih^wxlp7q}E=kxas1bv9XLqBKbmrx5-!BD?#b=yLU5f zMrup)b$VT;bNc{uVhcG#J!f`GuS3uJ+1(rV^P$5`MiyQ!XOP#@k3Rn|@yLIk!+-M* z*aANL=l4_Zw<@sPrHg;_zR?GK{Ez7Xf37#_L#$sW|K0oU>wg#d4=;z12_6h~K2je; z4U>v`O`4bIqZao8_qVtJyS)w#)P566`5zWiw9rq2Ihe8*1RBUIGdGQZ{kQ(Cw8D|R zhwPQmzqntn2&|1kXF8S5jgtlv)}gIi=hpq`l~*3}e~lz&AGG*;m{CF+Vn>7hy}1++ zQg-zJ|1qvrvyJ%r46ewyX(c~JZ(#P7qL>i3<#uTG!_p$}QwftETEDCRjb48|{r6KK zCE>^Ik|_wsSaa#yNQ_p{64}cT=)zcWGIR98?k6LzQxIknoc*xnU&G*}9qx>A`9@~z z2MMQ=;N_zT#rWdChH1<8lv{jO>O^Im(JM`qrucfozlHrnEl2Nd{89BE1pi~0{V}=z z7qFDm|NX4{|H~2&+)*}jhdL@_Jzuf!&G{&jQl$+Qh#Vszo@0tO4_}#18QRGT!$)w} zpH)~PMyOL~$YOT~OQykvbV@qy3iIu)1M@SQ4O`^c#*WGIt5`|l_P_{qt1qqVXJcMK z#Er75qO+MAdsNKea$j2lxK}%hfictQWgR9q)lGB5qW0kRTLX3@L7%FfYU58RG54yWXXm%5I?yya7~$F79z zL_}c;i0YiP$YDwHXjT0>E^6crFSI#3ATWi@u;|2?L(_h~)cDzNtMSCHnHZeWk$zJB z^UD)rMa9rUnYkFDr3(WtPKT=CPtOY%?_XIiLdVjl{HioCMeFDRyI7g1_o0i^p;JgH z_r*m~wd!!z*)L4fv+q80GHqOoHbQ8W$FqA$B+~H7ME%_6x*CD@O77cB_o6F=_w$kk zTYM_|4g;GpZR+Zno46eukYA%vjc$tVnocy+g=KzS9Py6HkqpkRdms{odbYVd-j;MQ zUq839&aT;nE9H6>p~qg-I#po2(cu|%GP^W9eQnxNCQrh7iP#c?%;)Wry(;TkPN+>I zYCgrlym47K+D8yvE#p7bnmp#|m&%KjLO&jj6PJ1G)u^u;WJ`R@UY=LXkV&6uijj7$ zR>6*Xi8qXKI36}i-f+#Rd#5gOsnKq^9kfQ++*mrc7BH+ar~!8Mz2tz)_&LR|S&U=b z1JPD|20D>y?vg}0wSBKoMachIzH>i7<@KPTe*IK|S02pQxhoFQy&N-ToU$xhSXy2` zjB~nP0*b~3mGL4~59_LcVfsg!iVeH)cep{iB5hZwIVN$5G}e2*HO$d~STOkgct0qv z*!8-~{;@~=HFqtb*mVTa+Y+8pnz-?8fuA$?4jREz)#W@E>Dgkb#B-gB#vmkOENF&8 zgP3)_)P@}m(j2dyk0%U{7~qP$yb3bT_$8h0Hx>I%o0iL7NmoMWDQ=A)NgGPdH{UKt z6gkFCkMY}CO%2Y&$^b@rCVHfIdRYt!`S?%Hq|cgviWnO9MdIgLAL7|yF)oaOadnLF zh2jWVR>)E6qoTaflhPchjnbZ7jXBSGS_*|!DwCkjN1E>kZ|B$|tFa3q!;!}g7l#{3Sp`wsI#vBe_4hV{1YZaeE{N6|DSm3Oz}3O5)I4!@`^lyG0o$W)^N4$Mj?`<$WqBD- zg?dllaJ97pH=^N?J=3sK$oC<)w?`j0uLmvW$Lbqo&*z+cM!-kknPrqOXQEBRdXf&m zZxbXSJs7edW?ri$Mc5`_@#tx<+g;ws({(dsd2MeinP&2Tm3QV}Y2ACj_cTq~#*_M3 zqe&BoUURC6V~n#R_OuRdBT_4bL`7Q%45Iir0M522O`{U!rpAb%kVpawh%t(YI5drl zi31@7CqN^PsHiy4x%=F8ethm#vaPuPGNOco>`2oXC?2JLtBUf*vXI$koil{eni7|l(xeMc5l+l$ZGRur-m zR&^DHELymIDKApyo%gos?-3E_{yUWqDq>eOn9Z2EEs~3Dj{0-RtE9)q*Ip}{Q@tV2 z6=QAwi@pYxS9RFh0!|Urx^R8lRWSt>zaf2m6SKfe{}jch@YLhHfi&p-fqx_Wr0+VndIZ^54<6x89Wy#} zqSBPRSO)j~h}Fg*8abVYACgzMb8Q&>s^?|AQnT=H)0b;O}IZ*D^;rJUWQ8}Ci8CSTU7#w>k zKsxown)@FHw_oJ z=733`Z|lC`9DlFZ+`Pr&dwWRv$T~sY;(5}w*~5P71MiV;zW8NPbPh8*W_#}&{ib3A zcf?W$!D{k#62PiE=3pPmR?!x&B*C2wVKVb0lyB_bzlzPyQ?*qhzT4r^fQy;$k8iN* zkjO}ghwfh1%!<}OMS_@|GB>rgpQ#eKYBi6M0;WoOQRr5;Fl40+W2$mPjDd+WqmZ7S znR@ady<=ri=^b?gfXj|~;jukMNdvyeyNJ51;UFABcJc!z0XXL1#3F(^f-GMhZ5a0R;pvx(G|0K-9LP=@rG|Bki?%e zFJ~;xJpN~|@gsR77i(`)>@XXLn;uRBw9cfp4y0=ccn9E3so}r>HRQB$YUXi* z@V=5`@!6p}hL~am>&i;ijfYiL#p4$C9@x9eVjOK|7A#xTH2@qjhW^-O5I^;&GV1=P zW5wn*LKb@4{^uJ)bA%-=lf36iyReYCJlJm?J~7seEAFnAK2i4b+9=Dh-Dgsc5PeLx z^@O>TIq3VRBVj$@U)!3B5m%^XG3qF$HU(>$Kqdu8diRAka+lkqe(VNj4{Z!`y{0<;laYW{u!r8M z!cYMX)FJK_^8RYDOR(#+oM^Mg4XsEE;loX=ru|=4+wiAO z@AhXvm*BtHgL~E+E^iIK*AtYNMRyZ6I*2fp@bti|mioWQbWa`Wp>yD%~3_TMmxf3I^)-NMx@ zRR#Xgz?|!W#iO^^Fd9BG#}8rzUdh+aDOHJD8*yw?0`*p;ys2-GtCo{~yWhsD#b55>Sr`U=XGU zlPW>vH<-#SUIep(dT+`Q3Qm&<;d(7i$QXmBsxrb?%F(Svto;>AJ-YRG_^X@5xBI}j z1Wh=xkf_h}XOdBaQbcLtN zLkxqUcMobgfBF3U>xi3(ISprP!dX}39K(B<>y255y)5F;Vj-s|XSQbQg{;i(gA@U- z6$c)9>dNiAKPtG#3B3o{7z&CmQ7d=)cl`YRL5XZ+y*v8x49K#1UAoyAR-`mgOhq07v_`F9fL?N{nQSPs}VF-5#r_4rU=r%d859RlwS1?{B z5YEt|m~)My*1G!1T(;ZRCFK_1n||k_EN6Y(8N_22Me074PSATDn%aEM{{ zHI?TH2_+r^DcmVyFAyGa_+Py;k&oaBo=9qO-gdi%2`K(%5|0glK?u>91tys_{K_g* z4SIWB|BoR7>*u2%HxtSm?XrC*`QpDW@vJ6{!zh+nj29&+P{^l4&6|ft_}M5?`R!6n zNGHLje=2gtqnbS%!+DeQ!$Xs(pS+r>Pm=BE=$WzS!qVHRJr2l`5~_QAiFL&)>0|oZ zHmi!J7azw!C2U?q3Mg!FbBL3Z z0^qe%g@q)~0w$d!mVY*p1%C8MJC?La9mJgq-kdL#*~Jat^9wJSV+-dBXc=k`gq{P} z=Mi$u$raq^9@hrC+FZ-IU|}1wTz^BjvQSV^Sg_aLA3VZGeiW+8jvmU3Yuj%b+0tS> zM@;jtg2X<~hF$%Eu*0_8lfN9_WN0B#{zF>SQoD{N)Vh1Zzw-U#+mO&Az!oeBQ)6i4z4jmV!wE?<)4?X@{M593HyS%HNFtpy^o`|v zJ4Ol~Eu69Gt!C@$Wzr~UWfpW-kjCFQ{CYZ8TYL=w^l!>gLLF;??y>)qIBXz0;NR%~ zZ*>jR7!H0mT<#ZQGNk%QPxVGQwPIeXoa|8&qr|sPz!pMrCWt zIR=no6h-;@PT4 zn`beg9H-Bdw;^9Fc?^qgRk=oGzO4)D>`+4s(I5oE(*1*vV}Al z=bRj zJ;_7w^|;I$HDHXyI-CQe&l_} zJxZ49xtwa5(BN!tXt)-0P)i@<+2Q!vyOL54Kt*yh56b!cfULI9uMAp@x~Y6fB|sUl zp@ye`p$CL!uTm!4<%C_v%v~$9ZqX^yRRe-)o zJ}jReZ4Z*Bs+IvLc6#>++Jj?+CfQ#l8W2#83R#0in(bZj%Gy*<*@@+<#u|B3g7O}u9u-=;`W>f! zhESQd+d;pY|0K!Iw4-;kPLevaBl)XeK*AQVy@kx$YHRWoEf2OogsjqF4nJ1OJM3@z zoL*>%d6)kYO&wot%|p+vcRUa@a<$$DPumBm+@AvQU$zGq9erY)E<@%^H~b{?n<)~h z9^<&;@$}8Z>LrMLwOIH>6ZU{q{CURcxm?}~SzW6kZv$}ocnZ*r% z*$B?J%GFIxZRFZSeP+q!IKlk7hJ%8jLk9mVf2)Ca^SnW3FkrGzk06%YDMWc~R3uCX zHiVoO-v%4@OFH7tXs;${M(-yf^An;&?hpYh(%?U!FZuc85}=!aig~dS|JL}cRzXSK z!!2}em?A7#@dlU3#lYb7ikh$$8(}Itns@2&tU6}v(A*0E>@Abh{1p40*c+^4K|`K` zd=sk#mib0dH_|uocBI8l4(R#y#wNR z6)}yYxZYnrBfCSYqM#8POZ@qxRM}ti&+(Y+-pB3L8Bg zPNUdRI^d?zD&K+&_~yDW+D<)I+om{oe;6;y*adBb;4d)~<|f3yUH!=D+v+M=0EsiB zcwSvue=9Z?`iePhoGwSm4AsIda|ZD-ex3eMJwFzELsT0}xM38(7mSGu9hHo>8LL=Ykgp^g7?w~D~{t@o;IXw)7%Z9gNz@#8u2&z zW&WU0JpKCb!v98#+`k+0j#Hi8-3Tpyh&G<+>qPaZiwQt2VwxF95~&R846?O#&s(@R zvr77F({Y#R6WVPI0s0&|NxAy;e4DrXsK>eF#Ozzx#j{(D4VQI5w8`~@ zufl_DjqG!=&WT(*>i; zNnTYKQWhwXW?K+tW=#37GfBMhA{Xbpoy!b_KJ#S@88bL}uN<|Yj^drPh z{p($aAzQv~vpX;Q;ORI3W!1r{@7brzM=K9SIV{>W15RDW?J!}-WuJuS}Y zGeb1bafZ{h8<6xdmmr^Hm<)Hehhx66PAWBpo2a96JhwB&3WHo*Ob9FCfin-|5mJb1 z;n^}ftZGOE7HR0$g1ZfiQC1ZoN0$`_NDT7}ZwlT#r%ZkoFOLE2fF|)b-Ph(t*m0Mb zfmSR~Oc@8IOsSz*G9J{3c6B0*B{BW-6Xg}EZ!{@;@v`vb? zD_FYNnNH6^@8HwW1F|c25j`(=L;YLTsG_!mcBvzFu%^4Q7JyQ;qvU6Y<`}$|LJI4R z&ynfT+i(413pyjd!DQqD&StY`L0iKJUgv?fsb}S;7gxzkQgj!2(#RAm)CJW__KF=h z7vcYA6XU+rlVo^WSxuQ@gC)Kv8QTxlc|J@l`-w!(yUN5H=yFnIA$KpUhwo&o|HIu= zbH5U^#^Wj>KgxZK6(W#-R3H5;IrrUY*O($7#;>S}8Si~njb^GU7HC{b)}iEFFM+pz1ORe zQ=@^TgJF&-5V}a6oB%cI#yMrys`unk6BfMBBi=3 zOR*!Bm;)u7jrEg3kj_T^`|Wu{K9$@IZ9uBkA#aLTuko5=33W?dJZQn&rn zFg!1H))Xy9qU3ZTT*R>KI_mS3xMuy8Yu&sfoq6fLo>TT0|M{9*-B5*8QT8ViY129T z=>^yHC){PvbaH~#R5y0Af#XjH#h%`_hbvc9&uWhm!Sbn?@@z? z4a+k>Uhl+rhr)>hd$?2A0I-z8N%L-}kW4056p}I=!Gl|~gt$^Rwr&bissBKSX}Dbo zU$7P4OXY#8E9eHFg2!_n1q2O*Iy?7E?)EJo?vEOG6PA@CSfJ@JOb*Jezl=QZ>^Gol z|7~u5?3BqG&fBXk7ET(M`6JB?O%G}dHV^;keyx?qucfJ)mjjKZ>@jA|2ATclNdr(E zGC60kVeFVf;Cw{I$ez#YCpQ@EbH*Is>)n5^_hu@)0cRhYy7e9LVUm4xoo}kfeUay+ z>0M5E)d)z}x}bMJkf;|^VjHu4e|QKC?jH&X0d;lhF6+k=(5i>%@Ic248Oz~2O_5}N z0QDZ#9UB+wyw*~LiYeI3-;-xV9X=Bu#re+ec4jU64~n)iqNs8>4idT_+rzuq%ST30 zAt}!L|9oB5iYL@BS8ac;$Q!sjX4Nf1B+2rMY#W^)hYyM$MpOIN!*z@wPU@R z|MB8(M9RukNxnI(ic8%}8pg^On?j=ILV=B!h+*^X|LuUZcIY`X9W zLk*4K#xjeJ=(D5V7`Q?u(hyuDZZ;&gzRd$#7UqT_@iuob_!MF`gQUJ=Tsgl?V#Y!14#U6*-=(+HugM6l&x7pZHI%mQ}oVYa8z zgb;|`XI$%^O{xD0$$Ts6C<4sBzKNldG4B4SK#iv$yw~%p-^G3L(9Y*7I^n#iDR&~~ xYQ1@p&T)DMF`=9p#=d!W0+(JZDnXRG14SNfj|Wf5F`kJFoQkTN(hkS zp$G{=G}HtV2qK0M0#X%-N+4ng$PiEv0tsPG7z2Oqx%b@f+;4sVz4yQCTmSw3_4iHI zdiV71;o1Ay&$FLlZ@t}m2l&$&-|u|^+qMA!+jKv`)*#?CVAn@GckTRW*RGwrKK^*u z?md6nv*(jf_89Cx@adn74GtbOHZU?eZ2Fb?;UktNMn<0>``psX+Q!!Akh%Q{`=ckm zI%;$DpDNk*@y8$U*}X@9&mR4whm8&&{eS#y{SMIEy%Vtg^^R>8fbDwQcIa)}Y6Y0+ zI=OwvwtwpH-=AF{f3$P=j_v=H3;&aD5Ic5k`)J3$9lLk$_;{x-x_yUkG{?X3uAMN<$Z(Y)5>V5Rt7r<|J>ib_ZIH_yP z;=ZBf)45$gbQ?Ls!{Yy3`+k0F0PyJ!-AMFy=mER{_pfKx&;IjpKB@_u-uJwD!LIz< z=ZacfGQWV3YVQw*qv|uin}Cp+q ze28O#q|#j}@bD3@1J*E6GqE&m0t}@xNOw3AM=4|#a`tJTzW$+`*8ztDaWo3+N;ioy zI@0m7W;x~}&q?ZqILR{`krIXz52j8S4jp5u+TQZ;`520vIJfo{dZ{f4B&MH~-bj3` zc~UEI`tJAF*Em-~)l%SlXu~3_axQ!AjFORqVKMbSnS4WHwe)u+!AUMQ9dED#p=VD> z4XwPa%+PoAb)qMq6)fR4xi_RFq)zh98WxG(|J$`Y8bVldnj1x7T`M^Rbw@pBYQF0XcfgeC2u#(nW8d^ z%YIDH>+h*xG` zrkNS;qQ-v#$Efs-|4*BS!%~uLw8Z zMd5Zj!a=}=r1Xti@PRT$1u0;3sjE|p!Gl*s+6$W8C9J#m^x~Q3flM%s8F6W{_|!^> zO3~sGMCV|vsNu!xd9lf=cDHj|zZ7Rb7D5T|Y4N)xMT$g?wxc;$yTMN08&AZ{!dn9j zis?NKlXyR7W9SU${f|jW4ns9LZj}@Y!|K#Tdbo69_3ZbLTyO&ef{2TQX*bSwy?FWZ zC1)5pedO2HU^;C#!%jgQD`rcT#MPkw=2XXS15sykzI!`f-0}&rw9@6Od)BvIQg@H` z?zp(QhfZgdble550W?5S0@Meaf!g3gaEz>@B(qFXIlWL_$@DD@aPhvJ{=U&&^?lwlhtHOs&No=}# zR+WtI;67g~XosT|%+J9V6YuOda!R2ztkfsZ#s)KF9;;FhzvV}~{SN|aYp`yGh^2EO zK1q#PY$-x)-gb+WIpF}kO9Dv<(ztlyLUGw8H3HXvNJ*A8B@mpaU-9}iy>B!VBU^y} zO1co)(IaVt>nYjmNEqm3&C)(KE3hYuAMWnJnp%PTC=1X|!g?#KfL+X3bFS%qhH`CZ zz|0jN4(Y8n1nBjK=ds4HE<2@eUHot>(zHae?6g1oX>%S#Y=~}o57k>p(ZX^i(3}{g z@n$BzjE`>zb{x=@bw5;_^6tl)MEghEZb-tm0Ok?~%Zin<8Z{bDvspFyFc~_K6!$KC ziVE(K;Mx>(jFNsQ@7AR_7}P+#1#nyh0jK8{@si2(&+PKPa&N?w8OhPHn~KwPC7ieT$ya5H@GRX*~{Yh!mQvTUnEB$S6`GvB_3t{Mg=3Yl$swzh&$Z z6GWu9nRw5`^b|SFY$}s7nh|HlQbzUmAyh0Ip59%d6O7lxPU?T7{mbRal*V&NZ8b0A z`|c^eQSBo;x()lJWnZYefvAy!#N=1<0|U|Lmt&(3^(N=vwKIwv4a>;dZbusnHHX(e zUIWIw8|!AaQLjz$AQwp<2|gyt3G?rT`**2~!A{Wi29Qk|3nveuMwDe92yV^VeT(!? z&zM_uJUlypks|NS6shotS8mGEQgUovSNoD+Af_=KE{&qA2NzAm=mfQH75_rpO|I#D z(e-$G*6YaQ{Fm1fL}?n8(#^*)kRyd_FHA9Nrll~Rm}bo$s|BO=Q7;9wDcY5prJvo} zmwUz#`K4#wo0X$>C3Qg15?=U;Uvxu&i#R;VNm(Ds40sb!)0C4DXXuTBf#Hz0;FMNJ zjr*zI2;``vU};F9RWRHeXy6+7mBA1;v3A`qj~#76YJ9>Jra(bsP*Z=WKH(z|i(+}- z*!Xb=j4Y7kwQmvQmYTGF=^W@_{Obb`6aF1q^)Ff5-%cwL+_WnZqnQ4?_RSAk$FW6m z9H>j8t&&X&u*xdeSIlYrYHt+`7)`XjY;Tu1LcPvDdzpi6e_9TuS2X*;+rUn6X(*Tz z-rF|4CQ_EzC90Z2P0uY|>}ung3A8<8w4U4(BswkpT4fpVIw96q*4qB^RjY!z!_GFJ z-JlOP^fB22?4}{KWDB+)vZI)8dv}SV&TpX&08LMbO_2y>@}*94UUhEl$s? z?bg8lOsAnw^Nw@TCv!6bNg({WUPomH;)BR?9jUGpVtcnvjfN(8ZiTrs(*#u`rV`{_ZdCCU9pC^rB){epZe{0KYe zC_SSz7!NZ4>%)tE3F{^6by}-tGYd`gy+F3H<$lWM4>MjU$6&f=6TY=I6Bcxl+}$!R z2A5hN(sX%Y3e)I8X`mmZ%f6Jn+cXLxK3)~XiEcr3`Xl4?b=%Nnb0;0DS9O8U1Z`;2x4OljK!C6Z*79|6==6`>yoxpk`PWPNwhkf?+Mp4}XTrCvsvu zD{nP8{1{DTREBU365hUOZ3dC`#Is1CCwxq~YB`l`J{q0Gl0c@c!m8rxts+k47i-k{ zrKj-N(Mq1X6@L1m{Z-YG*N?+ePg1(&dz;zd*uIgru2XV$S&cU13@7j7p@QM5z&p$v zg|IxAm~oT`tV7=el1|!R_J+W0tmyT$D}_PxmEE^*rV-isuG(SOEkNIk8q2tT5#M>~ zuF1v*i}~(CEh*k3lS1CT8cM@f&aYvaFG-~leWv`o^JMIkS&J<|+k{8+$jGwnkjkR- z@I+tR&~nv4ZPi;*4WwtC6-GTil&xS)d#5tO`_}BfDjo0~NU&#<>f;>-1l5-@C>9nm zz_MkU@$;!Mcr$*snr*Cna;W9~Sl05AW=ZpWm{(f+mygrFQR7q{a1gGsf?7_TDmz8C ze(@2cbx|J(z6LljpkzI9Q&1c7Eh+NsOaNftuvC^h(IaA8$0}SN&LD-s@Ye27GY%`F zn8wk!59OJvD=#7Q+)AqgvH7+&hua)cKyA$-GW+J`Q!`P=(Cmx^Z*kQ#tKu?@c@k%+ zg&^RuS>po=DvQIPz*5vAaeXLY@;iXl;BoFgN!?t{rKnTd3rR<*QFXUrDbPyVl)v`k zrdixkh)DM=f>gT_F7kZfXvbEFdfC@vSLUrMg`3fRUjn%#>wp6p+2NERHiOH}zg#)7 zQ^By!MIQRO+OD)I_SIa5c*-O-dMtnQZlJq(W^BbS19n~{#d9VU7g3KM&4`_3&B0P+ zD5S$6JmM^-RWv}i1pg(QVR>&y!u9`fpWiX^@o~!?4!r?}$~z}xkcNYN9EVy-bNzK9 z4JLX~EMP?*N%HT?p6__^l*kWWmA1A*v}ZQ1#J36RsAETqiMS-+38@P>=Fs6Mekn3Z zH&$xUW;89)2HKE!lTmLa+n4;IdIpk%KQCdr*;vO*=S&Z+CcGCxJzGOq_VeI|Dfurh zS!pcdEDrA-2T{X*PA3C_5Wnxt@q`Z&Bq;ugj#bEyAktjMI|^m&l0s?l8lRPtPW&D4 zsYr|RI$ui)cXzS0=(0DJQLr7nR_7p)1hiF+u?KjeTJ@*@SQF(C`T!*`^214F){ZHJP2Jm8=c@| zFk`~c-hAwj(AJqeX?at>yz;bQ3*cj}t@v8L;_0>Fy78?byxV09aAt61Y!^&xkfmt? zxkHCj2v}~~wTUIV-ogUnw}_aAYD3goKMks~vNu zdtE;FWHSE4Is1RBKqKK}%wel{)6ea$O$>K3-DHOh;ZVV^Z6<@nv1d{8{)q>7Q)6PP zp-J|GO7GE3mVdk*C3|`=^U*nxBUJV%UY&7H6LZM9CRoRY@u80MP)AWR6g2T54_x0% zAMZdU(&N5zv8bemKipA!?VLM!dN5$bH6_I@z}J)oYLVU|5&nJanIk3S5VI>A z(FOYGlENTXxD=$Xqnszo;n?w4)&2okW>xBy3mhwqj)foHk$4?oloZyutE+cLQMOTM z-_Macrj<#D@<*xk6a~91oRV+(oEFR7HspMwHc|C$dtqwqyPy`dk%MTl&l~9h^E&<4 zVNOYrQqp=ZO6WR9`~C+zA}eYs`u9Z6e-ZTif16IyK9z3)o^@_2?$#^LwbP@gkGSQ4 z4bj7wB5B$^{Rajae)l#K#{bbe%FSD(#)f;X%f~n#K_lrY;W8R|=r{ z3*?05Qu*xCN?hMU%F&SCV^=piQTj*1`ddQSNw%t{M%!7iAs*oaG|e<`mMSiqKO(Q) z2-yNqd7C>g^-I|(LHslNhIjYjLPa@E=@%^72s;#6wc*f$#Am?A+f!&IOX5!Dbaf*k zn1lB?mLAgS41PYivUV%dMQ(j^R?iWdxa5;L5J@K=ZqSHU($dZOrX^R=>-R3p30YY~ z{5wq+#jGd!EmxenL-RaVg}2`1XG)E0kWG$kLn$iG*BEKAZh>iRWX=iSu4?Zb4`HS# z2$3w#M3W7xF{1#8_JGaP9{000%{O3Twn&+~c{hUbDQY}rkm>cvuHUM+wKvU=cYns? zjDqLmQrR5Ai7e)1)AmP|rCS+0l=llUK|w#%SceG0+SuKC;l|ds4LQl=!}L=MHf3?{ zms_y|+z1V$XR21u020hf-hBL)f!zchC96OPaa1rw)Ou-P)T0R-O%QB;QNzQQaQ&eH zqm|jT&{>wm3C-8j2kIZf2`u`Lpa?VQu~<8OnH#~(NAIR=gi}mPL?%gr9-=rXnCmBa zI2|>}L_KSzM+$`<0;~)K@_<9(dM4uB6^D`j$prcZ+}{{BKR zJn*7;f@)WsO^sf)&YssKFD{$`xgYGOa?q*26!G12_ZC9&Sm|J5H;l}p^5@9RB9{aE zw*WV!E{dKgTxTOonN1|FpDknSH)82kSKg$_(_>1>50wJ~FN@(2BmrAzc(I045{L3c z_5~+H;i45k-YdPD{u}V$C5h0~YCjj_P_IT-CgOdH$~shCJdWM|LW`Txde$WC$a zPB0MYF73b(t6cTWZ2~E^*LP#cxGI>gVlCpNJ_$%eI06bE(>H4fahG3wGrQTPIZ>s! zfC5<_*iWhTS;NSI=qKUKvUJxX=l!LAzreFzbY56sSSxR`>I`G#^kr=^&$omTEPY&h z)~eTjh*~{diyRoGMi&!_Op0c$VR0Vo4j;ULrs4LvgudoRc62tE20$*bqRN!Sobobj z3X$?2mb(S`S=EbV(VKj-oLonfg@_a{5p^_Ged`CM!PU(H$76fzSpG~!y+tw|%WUR? zgh+kJyc7o1*EcU&_NlE~KiG|5u$4ykI0Y>U9orDgJXbj*Cn`TRO5O+BJU@QBZBu+s zd~1=lfG=%Il^;^x1RLiGT3~ePH2xaAXz)vAU>7tu>SZp8=YZxL_(P!}CM}l<2%QN-+>k^?C5Jd+OXMUM)2=#( z^`?VM0tM6tHg(j}tT@-IBq*Ay{o3rt*Z;-U`hUV_Njqf@c5KQm;r*$F@7;c!y7eAb z>Z?5fyFHnj{?~KGZa?a^oR)k@HKTo5z}R2>QS9rbRkK^nmtRiZU~D_GzU ztI5l;a52&#n87M1hXOzQ^xpsaga1V8Hk3xfikRXhWJ?y0kNLb1^vO_;>bP#9N5;v1 z!s&+N*fp@PL*m*jCah14d^y3YV7Gf@G{JxxN7JS)fIB@4v%KlMpBAjz|7Kb=e{TPM zC}`Z&*vq!%=k3aRS`7_$snA+t`Nxg}(F~5cpGX%Efu;`6r zG<0GzTz|;>P<~lu;Sn%p7vu$C5jznvy;2e^xi< z>xHhMfsaArd0ZLli1(Ws`GmBM?Jw3-vNCR)AG`6R&4xWHb@psg?38h&WbP;{%*x6p zKfSSm%A%D&T~7;@tsg%r!hMpvv9~a;?>!0}XBelizwn*?Jc$u;p=W9RP(z{mZL>ED zqC1ffRP%mOOXJn6uj@-eBXGnZN9EWmMfxkV<3=S^yeDZ?!D3J5wq^I;rqDeNB`J^sh4)d7rOb`Pa+i#@cAQ^SP zbs-gL9a6DRiN8mpbk&c${aK!_zAE4Q;U{xH#css-i<1of?s|KRgdLyrcB1QDeyL;N z+#F415NMLsQC^zv6hxEFllN58P&U78w6Moi9m~#ILu82|+LG3)>6XJ5@u zZMY?Fu;yAf`cy`u4+!n)1T}lf^3XL^^FkYFLi2qGAMzP>|3t8NYiu ze2{h=biPB9=)vY24l$eSkOLEyMDj4%ynwj&pg~oqz0KVMIQgw$QAMiYL3K<<8_9b) zDF*Jew2q~xV#%B`uWYw{?@J4!_wL_Bu1;|=IsxUzZIceAk+!KS`l6Aof=ejoklDH06F)0D}>mQ5Qg^9s@vUeY}AbN>1mjRdzXX^;u9KjW_9vfV5o_oImAV(dh+^&P07lDNOzzjCmqs9c_HIkAFczp z04aeyP3#t6=%#3o^78Cpel=X8J^7}zt$vJ1=(yFm6 z>r9q_rC>fwAs@D$nxj233i+udp#1(j3`&SzHwb2vPi22N0swdm&h^=KJ2wy1Dyb(Q z*^-=DjAUxcJcZ1%R{hL{#VQN<>)w*bc1}oSZYrI08}>-2kM=?W&3^<5%!Vksrx85()xAkx!aV1UvAH+C=V2ODkd~vu`}>yPi88} zGiBiZOPa-v8KSmiWYx&m%)UxhOD5em8E7U#8_PdXEwS{JfpkC{=Jx;I%ork+r0VStq>Y zIzn1xrHJ^0q<`fQfyL)KumwTkw=ppr8cVU?<+Qj%Is;bLR`!ASU+d67=#J9sTT z`bg4eA~XXOSKY?0XJi^b&9|r^+vFegtim13@QS@0rJ3mtAOt6648cG?`s)&%t-{>e z(;NN!69=5Z_fa0}cT}$`h??}>Y%=do`NN^emP*BHUj$3tc$99Hk+mO7p*<@kT%`Bi zsI$m@g`w7AStgmDuD!jN!!;zLDwz!>y4~GrZ;@pG0Kb9%0&LVlNta zw;9Liq-Ed+BIiqUPwwT;H0JiUVOCXOEflQ>e!^mwfiGtNGTayKs;QRXhHs@(k7hHd zVN2fLes#+iWOeU8gkje(e6mTmw+~;3Hxd-mL+h~x*h#Ke57}oyxrH|gISf`wkp(8w*WJUeWBr0@o&yO@6k1^&3$My@ROPJs4al&+U=6NvtTKmw&&pq>}W=< zV-U@}zUIAsNOhLwrCHCw+%w5_g_tKw@_vhk2?}{y`d)2SN}3!Vd(BaxDs-E6=&p!9 zndH6s)y0i%_f!@ss?)yY<2p->pnN=*x3HG| zuDdcSB^hO%bJ8A(i|8mG`^#x}1CH&0u?-o03c0BHfmRvPrREPDp1=_~TYxXH<5?{z zR?gUS+O#NcY{}ukcbD2-8a?~SLviAiVL#ZwZfl&OcTDbgwBT_+^QE5KgcP3u&AHo# ze)>bLTAdA;Rxy&LkTknE>?hM9!?oB-hJ$zdVHOP?+Mi7hebexG`pgN(jjLz9I^Xi3 zjVYQ|KR|`x-|Vsv(p;Lc!pJpl(o8q5?6}ZLs%PHiN9_~!J-+J>$6Nci^1S`PE@2VV z^4x!IANidJGEKa^sJGw)5-&dseH29{{6f}OF59=vJ!AFZk8ARpfVGYT4shn% zxts|vLRqFEeq5~An*Nu@`Kq9HAvdhk)43XM05|j3Yu(WUxTIL^UFtk;=e)c~u$RV% z(?azW2-7?Acm5n~YA=sQ3b%L?mMsW|gPdSa5O1x&`Zv#d#pXo!{9^%f3t(3mihe;> zz~xI~^YGcz(?UOf`TM?#?t+`|yI)Z2H`k&xibwze}&G)aAFsjbfojl&Z?1(g24o+6bi9K3Z zzdU%yroFW;j7VWf4Z8Kg{Oo+Q-z@@XS|v`UPh$gKa?~zikyMpL=+i~>I^bZbIQz98 z#Ix`wNq`+PxcuQ96xoLtl$GUU8DSZB*MFc+GR6)4(Lkhbtw4mp6KmVhO4GurloVvB zWTECA6fX90Y)kO#Hq$qc?)zr?`5DQhikF?uN$2_AY9AL1n{wJIa%`W?%7GVi`Ck~z z*6pA}Qh1srryUKH7^~t$!a{%5nXdyHV=oUR=H}ocIWUPO%dAw@%t9#NcWKPX6Uu&VXomDGGw+pv@~ zcM^xvnT6Uh8a)%FW;G8Qwmld~%QBCd0^Z1rAAhSXDMW>Guw|ZQVt4}J%}i%AnV<0L z+M^j67gur{&l)jV)B~!>g$2CF>_97W9y5H1GtSlnLXq>LMTD4ael~17u*n&>Ym%Rb zcTg!^u6j!h2ga!Mi~Csno8d;SaoA2hT=uGkYua^Ev;cJA!jNlY^Tyqr z<6}z+-F`60l2n8j#s7NUa-A6!mG;-13>lUc+ie2R?3oYtE9x*mbI9~BVar2ZHCc`F z<+NfsnMqp+{L%49C^jk$C-wgci){{$L$4QfCi)eDU#x!70zjpd7DlC9Oj@w(>dfKv zAzx-sj#@>~tUJqICSdJ|{G!r$nnDfN88_|B-4RNke0$jHIDbimJr=ZCWClX4ip05( z1@fR?$H-@;`jF*xnQ}I(fW^soOV*BnBc{(>M}};=klSdRH%COv^G%t@wg5{Go6(4m z_H^|y6NV*RZG08!&}}Fvzyz-6R`UCahA(p&tsb|L4%_f`Js5q!&AhnVli_(#!kA;lP z@cGT_L;Jk`7P$4_6eSA++nj=PqPdO|@GvKN6EJZ7e?VG_?zLfjkoZ)xbf%DT;<@zH zhzT$A$$h^|*8Udw?~1N-tKi5N3;`SpQYqx*cl#>-N1y-a(C+Ko|4q`i}j@^YUjd_k2sy z>|Zf$W>ZvV*>cB+51$3bACqEY;RGVr3=|Ce*(2ktn>rKDi(3HB!3&2WW0x=cp`9*; zkSA6tKjN;MTn#>p4DZ)j&pojU?;!448_xXd)hH>&h{dVdoy|H`RITit_U}t=jAWLb zVkQ4#WmR$uXOE`084P9X3<^3qL;3-@OlKM{S^i!M4qeOt<_WzK=Wo~zL^}BafvS{H zQG0Euk5V(q&QE4>4tLgOvTAYR!JF}IaG1IE7NG1xV=3!6E@3)67D{L?Ia|`J!hrt{b(y$v`Nu2oV(4gyu)qqFV7E-59C*3)# zmDgPn5NwdFdWMkM` zBj5Px3raSTqCVX|j3nJ*349c`Jil3_{`&)h5z)}5sQj?kx_d>|s7@%gBWvo|@l9K? z_Sy?Bf%Mpiz-BZ?3_=$78U4fzyBtNB38{r9>a4v$OHE7Jx#;J&^T>!UFMS>J>c?Jh z{(5BKMO|v+BsV@sQU0ugD8I$>hi@GiW!G)JhM;YG1u02vblpH<5=e?@^dmNkxQvqiPN!E2l4N(xcWul+8gDH^r_MDvM_y7EgOrs^Xaa~zO3 zYYwF>WvqAK>o+lXO9}^C@-iz~0-abL90E3fDgXffBed8yUX%))=Y&u(74%cZ6>Zh>5|HbB67l9$-IuA8R{I|7&5Gqb(B>`DW;j3A9TI*uy(Yw zxU85`hDpDyCpt?xn5uS~xJUv|%@q?TJTjiNxG-wN?p6!KI`K%yK5y?%a7%PbMU)0V zI+7vP_g;iZJkBmOgF91t7ZlV9m0oM|N?O(lzem@qqXO$aQFPpBpQ@(ci&&H zQdT*BN4MxdN#6eT-`Bn#;G^A}vy8M{?8=H`pNE!4|9bI7U95#PU{;6WD9)E=NelLA zzX-JBo;}?lL%ed%?{N;sc{p8^3`3bOJ->7Wzqf``QU_C~HXX68jXC$#g&s*aCW@NO ze4hPLn(v#V9g;~wfX|v0CY(WS@{AcSWsJS^L5m=LC{81jQdDnb-{g^cwO=twq~upl zq=&rASM_K2a2+s~@7J@q_FWmCoBMs(czq-S;*DQ8fm3a`^P>3(nSzC>9Ieo3VORHA z9@(`at8;Nf!Ez;WH_YoXS|IBx!PsO`>XV>1)9qNod=h!<)9kYgj_A#0xZY2d%|Z8 zGk=^hTcClOn4Qmcn%uu9Mzm-L=gElmw$NhtTTM*Stj*%J<$q11%x(b)8{ty$JZfV9 zdtIKcg(1&>Nc@MEZZxF*(fl94|6}R>fp~vxJO8@B{+Ro}f1m$vt?@BocyM|Q#b;cS zHYBnVJ)X?S0xH|{iv=h>puXc8pBCg5cXg(du*ofafK4k1E(aa1V2nGC`S|NxI+Qu- zj6a!mWeutXIya2)jcY@i@lEyefeoye>dk@RYVL#Xx1D)yIB8}<4T5dlOqCOP5|Exm zA%7ZLW6!VdAKU`e&43d-U5wASoU2B=E?t55;bbovnI;mggJqdzS19Fhspox-dxIJp zv15C0bvc^nd@`=8jZejdQzOU``iPX&rl0)wZUJIqR4^iz4O$aT^V2m26~tW2TvO$6#8Bxb`H@XN)W zhdt*a%s^MqB?PmL9N@!k9379Ho|-ZzzxDMcg`i&JLnUPXUK@_}_SefRyycC`%(rA= zS(WpY`T6;^r{eANef7N*dS>^4@BaNxjVI!dUudrvC4nL<82xZV29Al6vx@e?BKU6S zXbny+-jf%D$mdrOQwGxTCY^R)Z0z8#l;_hTZjp=a;@%*pN=Wf4(~j83o?IfywZZAb zyNRGWpTvWNl4-j@St#mHa<-@ z#>xo&{0n#Tcg^>r`v(G$1ZB%D0^3Q7i(p_p_|XAgxHOU-a+rFj|+JB|A0>FY%3 z(+V8PnKL#z9@HHpA!HYG)E&2V&QD-}JumML^Ey>aMD(oZVo^nSP)i;!E;cD)gkj6T zva{YsAJh^UlrA@+CNke(Fc?(*Innv`TdQZ zrqvQwj7rFu>QQ8l>)c%kPT5>^d>zqYaJ#6 zyr6g(^o5*Q=9%TqFr|*an=H-2nMQ!Vd)^ZdbUJJyJ>)zZW>+?2BOh$lP0)*u>6V}# zmnZDz1zgyef9dV}QZi2GOlu$o10mj!HThr8KN}xd!#!!Ixj&^{c*bRq@bj1` zLh*}cTp6pPoOURCUjF<8ZjR6e9vxY{rwV@COv+RxjD8r0J0|KRuP7%!6X8wJ^xFOK znZXN2?$Q10X`glG)IP3>4;#+rnFQim=sd{+)-pD#J&k2kXu+y;djN|AUKg)-`Se$VG2l#J4;l$OUv z0eR5ItCRJr_WOi3Gd+VPILJH2TX!MWS-5FUx7!Hc`s?nDsb$$ngH~vY7JD^|)eZA& z-<&6H0b-}8_wm+!!>8`V1T{Yx5%LSdqywp=R4fOK7um)`pvYqrJym%%q;IlytL}BPHe@Q7Qsy&JK^l){FX!3h;FZ*;pMI9#IXiV>kbQWD``dW5(Wo{5 znUG;y!pkZb!8o3H;p=8XV(B11F)%@FK!s8=J4R4AyR zp}5oqh#h;^X@d8%e!J&-P?}kL$>Vi*X;P`^SO(0W?J{&Y;qu^w%p?vJA4Q8b(cVqQ zA4|_$e}L20vfs}_j=3MM7GzA6l-$beMx~f+>}k-zZoM1>4}WR+V~eJDxJSc`IPA>k z)~lPt;}k<9{DOF4+QIsU6(9u0!dQ8ce?1}i?)73~W`{f;XS%DG-0<+^s8mtiKT~cc zh3gqYfvSn{Y1#?@@^X9zh(}FcpE&p)+`1C#8f^T^*h<CV;%ZM&P*I|{jq4#>xYVMsZoK2LGrr1182LJ4c#2Zy6IP;BuZju`t>+^3ZTvSl&<@g!_9hbS8^K{j*{X`)F_X6eX)t(o_D(jBgfyr z!`&l_u$%P#E{-#!7_df?{zUE`4-_%HZDZ-3k=Z0mC*gv3fk4=*5rBH=a-@nuI*ZQ;}rY~ zha?j-OSo+fL{^vwKY7;vTvuJAI^(Pnb*i?gFkY<}9EX4-;Xv`LPyAxm$vfg=UGvN; z_{^x4rArt2X6)NA4^jGEvEGs?3AfMPcPOQSI{vbbfqk2F;&_NAP%)On{Gh>4kB0*4 zucg^Mmn44DDLYc+m&c1{@taA7x|_5h-tz|V))nzBTJKv8wDdt}cTyRVu5gTO~=jhR7WN_-rCJ(6i;hvlRl}X1KsC#1I&=EG|MK35p&|4kmPw8uoQ&L%@ zZVZft<<#lNpH836svDkoR%6?Cs>taG(mxF69n7*|hX7%m@MoEA7q&~LW8L)+T%BD{ zNeMWH$~rsAg$~|^46$=IY=~-cZt}Or4?$O>21mXTiTFnI)0hFyI9|ahW}Tu$0xp_1 z#H<$|sW~3VbcelqCVgbrOrD9JNBhHm-Z)A|Re#j&w72nG?Tv~tovQ>XmDD4=D*<|B z?fTPR0Z;b)H`GszcdA?x%3l5fS#<@8`G9PDRhbh-9FuxAgUlM{FogS!OQPY9V^^Y9 zUDeS?a^jjTbr&o|=TGEYvn<=ehCt={d-gFu6+V~=>EfCeR49xbhgM$Ys=%Aj3}<#t zHjy6DuUb#hxCFVMsqMEv%y`$wjXAl=cIAe@yA&2mlA_R|Z`fo+vY+%7d0W)vsg++d z#U&;CC(t=~oWhw+Z$nu)piBe!#mq8{hxK#@L61GqT_IZql|&q{a-_=5*hMxB%!lMw zxR{fovAt((M5?-^DR{)0JW>MI9Z?u?q{`*|D?U^&l@`NNvIo~-k5ZU3-AH!fU`;lQ zLX9BG+rg+8d&g=!B@Zs?NJ0QRvo%7c?87^*qd4ABWH1-u4c8y@+Jl`VyZ%Vn$C=_A zVjBadL|km^<-p!!!!7YPqw2;{>^v=4YLc81|KR#L=NaBP=Ah9oE+xLidBF)AZ_85o z>-m82v_rJr**_PY?M>J)ANY2LndKmgTCCI=Bo0_KP+d9HDWXCh*Xci6@q4h-q@-Su z@TRU#z0a))B0JO6=rHgir;T@psM@G0o6`z16U#>YBohq zLz&x}Y}Z+_1`R@AdqoDSqh8b%{x;Ia)A2kxqvJp*!Vjcxve?>+Ux?2aUVd9vvV3_4 zy?2J&6vNDW$Da3ATu0v#_)73uk)L{|vPOGJSnFM~f%1I&B_sp|_Lri( zzC7tTBaWFu)5m5$)pp(+=q^9Mj4rudsE>Y2U8`i+EULZ59)8t6*ZKC*sRVP?@qo&- zlfrWCU~n3pIvO*NtfX7BJX|Nj+y11Ajt%X0!ChJBCtq~t9$AjB>T;S{%(3NQ+?tqe zd$wKC>|jSV1}wZ>DnnNtp}3-sg^kOyr|JmFqbaoAbHvSAY)b#kKns_*X;s_ga;GRh z>sOMaZ-R`aMfxM~DAbIkRkR2m{z43J*q2v5btehDHb`xcxqEeACc8IMM5VJ6f^(FU z?Bco6RJm|6d`e4+YBWqzn=W#uo@8^etm;9@qftS>Q`}rwwho^{+u+yh3C_MnjqdJJ z=Mdk-JdoR6ane-Z$(cADf7BwTGbA0aS)9Hkzv^j;jgi6ZlCW=i>cGiK$y~y8F(1+A zvEjDiVM9K!1@QRx(SMq}%>KvZWvBGkV>^Mb6|)~R&AUY;NS!W+k7GThN*B*&e?2{* zxnC`D(1?9ckydjxP%Prnl8%_ksw3QYkjEp6<%}>_O16SlL%w|;@Z@nuC3~__RwXNX z;<)DgIE0~cLif1l*e~ik_QmQnNel81sM0z`s&CDJ6|;ypI`m%ZC~>hD8p!y1ZAhU6 zJQ7GJSAm8DfDg)OXs4gO-Wx_{wst@>6#YGsciIA+{87fC)j# znuyPy_j1m~&Pb%Nr<7F>3v0z4<`re{lIOSM7Y&dhPHU-lQ)=O_TY$7A_fS}mgYUVw z(nyl-COYS6+Tl#1TG+RnTc43~CS}Hn?uAIgc<393Rm!O42QuO~l!|4#&U&G&*zK`X ziTYS9k;RGgo(mkbpzXdWq|3Bue*3NdM_JAu;IW zvZOY;ODt^Tt}nB5EI&+S;4YR*;|^5RL8hi#(KQLJc+mQT!vS4)WpyFt$c|q>bULB1 zJ>GE$KQ=9vtiSOmHM4}Z=0cbXjLBvX1;qH|jCux3g(g}PxaO5aS{yL2@`P9ee~pg-9UfWyRceBSq($^=ASc()D+M)|-V#U4CM=3+ z2#D0{S0hcAfHB1{o9F>fwNq_bY9l2@kxi8Me|X$|h-y)0*^=Z`dS!|mjl%oav*hj( zN8-v#L3fkH2&)_{r!kUl#bT9NSPt3{CI|G&BYW}oGJd?=QIbj-%fW>At5<+&UXpUJ zYXh8y&9jHy6;F!QS>`im9814V+K+2te83NV@Ro*QJS;5V376qs*!pS-(nDRAUt>6b zq&E@xK|IORLuSr{ax=w_+_eP`!ZUMe^NsLVkJmBM2bz#|@FK?hs5|z{x?QG$`w}BYaZ_}ly^qEih2Ie6y zuNUmtE?% zj7Lks3zLqZppuypP&rc~Io=`!R7A_WsHmZ+ptkIpUw8k4{pJ1nJ@50r&-;D8=lwiy ztt{uo)7_w!fP|}*dA)y8^yTJmr;)XrenC@Q*{(~LGFU$SL1K-3`)ki4J8ERm!}!}zn&Nk=QSz2#qXZzT%oQE;y%!~15~0-)$21u+fSDlL z%$Dx=1sRk-sbmb81~%F(zHHD@3(GVZ?^I)JihHkh_pptmR8DQ7U;HH$7fEbjv05rB zcs~Qbv}Z|D%o}guhpHnUv2#)v5Kcnd$?}#pPB7iLXW0jtXE?m1-!6{a*Qnb(M`XK$ zopncDQbVGvzT)L4e%u3g4J(89DsQjH^*VnclN2}qWJzd@(np2s-)1B=kXnmZr`v@ga+UtxVSk>G@q#jDntayk@s&y;kRwTT{?XyFRChymE3SA(h4 z;<5BKSNutMp-;y7;sv)PJITUEcrR>v&-~|p$M$%>sBf601nH^U0Y#?~%GS8ZD)Qr@ zw$2-2Ibc`}YiIsPY;@rvmv9~AyR~g2?C=$z*g_l{rSM5G7m&*jRJKv8Nl)-9HZRn7 zV9;)vf);DyE30@1sHP&B4n$ z)JLh>{1cEmZi z>*4<{-}eAcMJY~_5)&*`{Zm~VWdJ`kb8fO?CTk+Mz{;ykXWp1LYFpQl>Cs(MN4U;G ztq!24LxRL{TJhzNdmPYk($6$HWEc2$R1$+P(r7q_amf4{f;s|)2d1Fa8OORrz%?_w z)D;7mATs?d*^>*mU)*bNP`6(>u7g#1cDBV}oz>SJ(P3>p%K0xkLx+};m&*e{YqK}E zic}6*2ft1dxTZ8v>&sFQV6~9n##MuO1PuSVgMvVmmub%4Fu5 z@A7>Zf78THr&GqxNA#|BsvuzC0C_y?CdnuRm5Xp4v5@!z{#i(9z<(Xf_O9$dg6`*)3x9LEjf zTO%KoV1JRoLNs<3xi@{F>e<80-MYx+J8AP>ce7gDrqm&wihxbq)e>M%goD%Sze?Xl zMYqRDbA2>1y)%rkuL`W^4|Bg;WrTJ1w3ZT6#pX0&qtp=rqxK>pi)QPPC9QR`{rKxj zi@aFYQMORbo8brMilhGE(QjEUL%mZ;oMSkG zU}cYD@t?nM=}+c{x$cyuMUUXiZ{j7Tjl-Hrx29YR*K2OBVD>#cj5mBfnaw8C>`RuE zot8{m*p!ah9kJ}E{7SPDfezW)-OvO3F`pG~Bw=9J>igw~j+#aJya$f?SkuEZ@L7 zkIU2S$|xO=La(kr`<0s1=jcPTIP&V^q0!xgi^kQG$Y2J-nMw^wU*Vq_SiBFqO%VmR z)htQUd|QelHL$QUMdZB;|7BjEN9PpeJ$hdIanCk#D<*{osuxlS-C*jG`X-FPgm>S` z=nC{Z)rX5r6bhfRR%ThEmCe=PZs)2nXpD0NT8&16!2$43h7BW`@h2ixJ+H?u-QT_7 z!oLu~pNj3XKVj?L2Dx!6CW7o$FpS``yG7dlEO>0IBij_(FW(@`uZx5-exvP1SBvNC zcKmfYA{AoEe{hMqxP0Ak$pm?_Q+fO`qL9|2=kGXSV@Wmc4MNgOk_P;tZbx7ovZ3~p zmYS|;ADN*C>n?(lb$#GWq1W8(ywS>cXc_S#04B#XjPgv-+GIFPj-Ntdq%(dqzBQi_ z;O2mVCYQW;o6FU4+YdgGO1@U`eWQvZdaST|ih)xRPJJ*1%9S3H!`v>)OW>S{z1{9z zqY#0rxGSLkZ~@~)gGg@w-hg}7T(KZtWW%nI+}4X*Cf0j$A{2OMc>3v!NB=}U;65~N z1yC;JaLL$=cs7|`s)@t0kcJdLGweyp=?!n|AL5l4ZnyqxJ zgKF1HzLr&GFwZMoi?DewND|jaJjEN0d})Dbo=tx30xB&h9kTGAGrXp~o3l}F#X>;= zOL%9VJqbRXRNXFIG8xw7+!iQK!fUeCooJ9E@Y9Zr8m7l99nkS*T{fYEwypLtjY^?P z2bc!ZnMMC$`7Nya5^|}HkuahSA-*R=O6{0m%~=TsLx&Hv>0P&*WA%&q*WXHFK@_2na|pfiTbGm;LSUoa;J2&U?=J-uK7*UhiJHt~^(= zo^`MLx!1bKb>Gjy@WETar{8;h=LI-)2mm;w{s0c7fNuatKlt$IhaVh0`r*-I$Buq< z{L|ydKmPc*)~VBKQdYIP*F1!@u}xUb9ipre*x- zPus5>`i@=zU4cz39!LP6s2||4#t{vGJK)hRZ1ciDAb(IFK6mnE+p8Q zYNn;1TPdOo>&K@#)7~$%0>7MXD^7z5I6g^paiPRm%Ka3WhH&g%k8tW*yXbX#K|q{_ zBob1xy9=&xw^=tyDZ+2rqls2QTptnKRspoi3-R&6=l}qbF)dhBO}Up9sVLXlqF~I*QU)s_Hb*2*nEHx);5B2~454!x1zK_H; zr^*=|*6By@@o6^k9w~6121H{P4wGC^q35M^u|zdmVo`}AR*|z_G-L{>4X$q!&Oa<} zWK5~}ahY=Mq{r`kL|&en+AvM+Ha0xKi9v4gVXgc=258nghb&=dRadeBB&lpYe@k#2;NHwFph@I}) z6~Tw2s%ePOZsX`huxd_z|Mx|*d_Dtvy0cSLgjvf2{ zWkM6}8(I)M;62T%&4!33zVDo3(x0ge_Vu@#CfW6H6nC(*Z_1wVTSR&m%XWRNEEd{8 z@|Ts2juKJ%_(J-Et$X&<-Q#}@OPVoOAF9mvQ@Ll?!rIfU3v2y={@z+5q2`QXg0gcd zYKySAu_t!l`r(hgbM6nbC<9gpfXuwxz?jupq5r(e*a0A8nYWw&poo15W4TiCWOU&7 zRT40D%`fXhex);-Y?d!~+2w3H%^@oSCdWXEvg^ScsRr;6eorOyB2}O{R!yP2R88}~ zm5h*HV$pg56={az?fNi|7+XUno6$3t3kdfa*D*2{E48<=dE;nB#l6zfQe-P**ugBH zBWisAp%Q8Bh&~(Ws8|-?e<^5~} z`XaGTY#&Y_%Vr8`LNS+9%D$2QDE8&BL;?>A87_i{k^EFGa$!?}a%FkaX+@qfz0$E4 zfr-iV&f|!$MZ)Zr?A*glX3iZVia(^ybDg2laBhpe+@|^QrNZ8QcExR%_~Fj&r#Vdt z5?83>^Px*l8+b+eLFBY&M7L5 zGUl(!SRo;mIVPs~oB+2P-uab!PuL!N1wC7;PK$JSRe3$= z;bn2kXjePNqLTh>it|L+x=nF3~PN(HB7t->H zG{R)|B$y$nw_hid)EpY0FeX~x?McDnE^q#&^pRZQgjjEuRhW8H-vxEOV&+q8U*Vh& z09pBzViwMO(@V!ts z%crV7WNt1CYnblvWK0w%(jzk5+Wc}k`|HtRj^nTdRX|gu2Ld5ihwWmT;JVfHbXuGL8bVkOly@#}^JhsGDXP}c z?TYt}6-5~E!j2ia<-%ZQ6h6=Qr%A86-`-Kk3Tq0cmda5Z2Y@G*xh*)=gUAEG_K|>nw)^;#ytV^? z;&Rx0)lTFSOZ(U7cMbs8c@Jop?|#RpjcLOn`6W?QCwY!emuw`ntNt;p=6d9{xSV$P zhI?fi+Cx5Da4n%m$F388Mo!a|QCe1K2@hzwUXN-gVm9}jv8G}6lh2k5tJpvu28-Of z2~(L(;<`NHrag#|1sZ@1#%l>w{gcH?570_ZY6! zD?qBPjvD0F{lB2(O5Ie4Jfgi-amduH-dYX6hhN3&zLAoEk%2Ngp!!0iZN?XrsKeP` z4--*t<#6qJ-TfS~s$~3>tD9TA5h=To*!W#V4tvGOpo%Swvu)}f8MpyycWR2;PJIpv`r;~f zFr{Q)R8J$f$E@$VullVg&t7#hl=^V9PMZ{Lm(L;T#Hty2LmlQ)oyE%<(apJ7LePU0 z7-Tl-PVU`ccdjNJs4v`Z-4Z_j{OqQ4Z=~eL+qk_@)i$j#yf&zsMyY^FKF8=s(hvje z_|~lQSAt#)+r>!)9)xxuwybrF%`Co`j!`25$CWV)3PcEf;n0C?IIX!tp@ zfxXT=)mLRa7(iR4vrhU>(_5<9sS#9?pZmG|l`TeE{htSb6YS#NcI)-c9lQEl$AbO< zc<`Y>Tg_PjU|NOAvW^@=G|rGqvXW+B<^upS6>^9f=hOW(b-ya>)O1KnCm5o=G%fa7 z(cE|u$=IBF&bnmYK!dT0Aby?jsjJjNxw~WmxN);K&&}85ljhkr<0$zx&8y^ywGY$@n56}v-tLdN{Y~+?T zy0a>v_(edO(9mHz-Q9bm#1*u}W7BkSF?$cO-;cuvY(XKjoR$ahxms?cAT1sNf+M6h zoo6Q|C;qf`tkG!C_XxP~$C2b)|EbhI(tgbP!V#;%0PWcaHgRxmDF?$O)=;kAmuExy zukc)Y^!YTu-u#8~d$%N(YP!%u`{o$J90hJ3jfzG*bv8;xBJ?cyRC15miGrPxmFv)#cftqtqGk_rAwHUQHSaX?q| z4*(mW+|Hie35;64zNQ}lCea6g!b`yY^QZUj?R*XT7`pXBb^ur_g&zPq#0LOf-+*md zU;vtR?^(+CDzQGqwlpk#*YA%Kx3f#%?)^5PIhJ*6#PZeY7{!0SK>z6q{;#>=3#|TJ zj(7Gf?9NZXD8m8IjB_BKorIdr%|>M{8GX@HI)VGu`NLN)hFHofmwaW>$bBi@EeB}u ze4~uNR^qN{+Sja#FYKCGizs!CakU)_jn|FJfBwl-%uZ%qZdB9|{#0IbpZwsTY;u(6(r2M=Lp?8h*heZq8dBWqX?53n^@#SLPkm_8E;~m zI-Xu4dmi~+t7m1q`R|&z4_4<~5gn@YC$4m{$_mn?DI;7TI3y&H1LQ+{jj{5F5Bqp8 zvqk3%JA|t95S1v9{o<76>3$<`Q4?edSN!-|#6(1|wzhz)A#Hnc`-%H6y}*#z?`OUHBwmPG-CT4f4yGXhNX;HS;4JZs+dTTC-W$B5C}_Q;@L z%e*xc&8f!I)f5HPfKHpyPY{-OUU9WDayac^B>pq*Wzcozx3aGcF5d!}lB6$BMnp%S z-F{wGdMC+nuRBfzA<~JJXe!D{exdKkHQu|)ccS`}?Bjz=>9XsGTK)i>ngeG(UAYty zj4xaWp~`IC{A|G{p`UHWGH%=e`&1wM}xG#R%@m zRs^JOGrexTQ9?nk}Jv`BILvR~2ns*nk}2V9YogS}^|{bUJ>Su&~h$oY?QJ z$6|KyR}HSVbbJW%`u}-P3?-k3wPxW%_U)I0s!t z?rC2Qd`Z(ime?sVquJagrDAwMuqP0KiI@RdDxH4MOttd9Py}3y3SMaQ>8(V$w(i&T zpeO6&5Tz0>{k5(?OZtidotwA*gFY=(f$}N zf=gjxP4B7oBTTh7OI|YAi)dlW%Im{q&YhzKLR)C$NIfN#lj-oXdzQbapJXN=FlA>m z?)!n#wi`f8o6vX;?-lRWYRkmCuGlboxTU5`!8q@wi|6m1@nYNdi`1cEmx$y|mwODw zrtZa|xvLxqT!ekM-!h&%GJ~trPo3KSe&|IV+iP~*8AG_|F_Z^~r5PKe+z~!WKz>?D zmiO3Gch5TPjaWVMPnp&0fdTuaXwwaa%HLb+!`mBZd|^rP8XV(F{d%aE!mo{zbj-

&7>>2b>tjN^p&4YidhB?sVDGb3`=1&YSA&U14X%pcjdCF)^tCkSN<0lGAx!oD zkefa9EE~=fGgETAS-}Xi!q!Pjj1SBx*~5F3-G13<+Xa)`*1mV&LHRCWD;uoa+B=!a z6=n?X>?*S@xdEHAwp*2_s~DZ@837-)p1xmkvm@ZgInnvwLh?#Yl<-1HE+8-p$1p(Q?De9 zOB1GPwYyrc8}7VKd05*MD%BI5Ls&^CO_}*j4t_EV`eh+(awad8Ui2XKm(K1eBI?Up zkB+_8=eeRS!n0kbfA~uW*-S@AY%8bXIx8MaTxfw!tVVj@(#<&l49)G|E)}WVV~3Xz z-jtr6=@%crjnB(UOS`cI?P z@})DYB2BaOiFFnB|FKu5CehDX!mFpDbaB{}YA1A=qEmU6?glr7ML)OlYwR}OVRvi=a^ z&xe4#y|E_b$l|x~oprGPo98%?$0(DV(vclaN=Xu~@4fa`e20;_%pPtDH*Q%pQ*JFG zv+Z~|Ya@~y#VO9NEltyQS6s0JeUC3fnD#3xe6S2ghe85ux;c|BN=?p<^?q9DN^{Mz z73~=8ax$u-=eixbc6&rkdh)J&o|5?;bR{ZoSUE`+jiK@Q{DPe!Z-v3`pdxJW#sOe@ zU~s=+Jk5i57ySD6K)lx%+yEbK3HG1;~uku(8~or_GCbFRzX}Q$u|rJlW@0>@3Es7umNtZ$zDECmYoO0dS60!w3iW)`hc6Gdw zeT72B;?4%16AhJ~-Aps4bNNHI9zJ`m5MP;d4Q(}?9z!VDK#nc#i=htI)rpNa8@vbb zt=HcZaJd`%b2Lj;iOa@VnXqU(K2L%j>0mWlO(F;C-gWA#Eq{2ovWm(?WsptV4ZqJe zig+;v)zuY|1p6yv$YDjF-q;@ovHwL2$&zw7``d;lTWbYT0Eaz}9MbL_F3Gtgw5q|$ z@KcnhZZY#U6Q_Dc2^%b=(M=Jq7|Y=xTeBX_2UDY3SN9i27Be2FKcsw1nju5aUz%dI zDviT)p$~Nbtw-b-@EX&3m$+BAeF@>&jjCC}6DSNJ1)D7y*Kv4$huv)1R^DV2 z_YMxPZb+P_SGL3j?U#eRW0=g{rCE1V^3k(xr)0@wub8%&u?C>VRM&oTUHZy1W%K0u zwz4`g+W}S1@B?{-k5gN=v*kGRss$>_@WB!zOL3KKsMJ}F^FCo}>!;x5^V%ROo*?f* zdblZNqyYEa(ANOG@NK8yUBtW4EYbGHs7HP22iKc|a!AOU#G+uD7bmqPn(Y-wq|<9A zjg6nlQHU_bUl=ix2S>+?U4H23AzFNrYP}aQ$?+cx#(iS?N-DGq zcU>(ex>!%9Hjk9%-K)74)blXpRgw01B~gxwopeTJEbzetpE!n6LQQ-)#?tKvlfQjv(BNE-%~7{wjbzNDxc2MFScQc=J@xtc1>&hf;D$&ef5vqI?ddU{nvsb zP3^yX{WrCbGgzhi^lo})+)&JDTYN=q z{AS(6U`4UBpf#}4GL)lM6G+B=5l|f%*mdcySnNriOi!3R#kiBX7pP}2%ZdnT_twUC z!urzkS5_$2ztA7$8NI0~((!d&u;=A2&+^96BAj+XZSQ0#Y4o|S>ZFPuI%Jo_i_)_} zua{4D`XejpwBB^N34!9Y-<$y!W9oj;&D28f0_H z)z!An`t;$Ac~bK-$e@uKR#{=Sw@q&-4a+pHAHg#wME)LW%ez<3Ery}Q)jRzT2EeM6 ztgvgkajUBI(8l#@9>fE{l>#VL6^W$egG))(`;{-T>g<qm}cNq7X#pTKh1a9#I%wHF$xrFg?xt8|-#nO!9t-_K&?!?wotB;&}JT_Y6g3 zIyZSmXbt+X?ZoLfoj*Uo7Y13jXHYo1pv>?Fl?xz?`CpXc|7+qj|FclCex5Ja7V}@` zaTKfHIsd50n}Ak$?Fpfe<}-87_~M;^)M!r=%MW2oLd`u|7q!v8EU{d4?3DezAU{F4Izq`*HZ z@ZYAup;Ke$%VGU2nS)P%0`RFdN@Qy&sVP}m_2Dmc{K;gwS&X`B{X`? z!s4wPi5rH>{!6`~^}kIaZpXJt8sb;r8nZkbydq-|&c@+<#?x zrsOZz3*!T59{sD`jjIO2%z0K+;TFRfy}rUv(uD38lNWlr2b0!ACZ~}v7(Z0jFd1;4 z*d=#q5kJ(1oRE6MrZ*c?9@p1n00 znb(+XwEVZR`T&|b^~1GRdfzWxrl8^}foq#s0Lv4~w!2&LO_+FnJ+!VOpp1qP*ul~Y zXO+tZjDBMRUW2D?L9M-tUaC0zS5)nf(c2Fm zAzLtFPlkUeF`NumQUd2sTt~RLAi71V`*QZZ%+~rO8Ak`r1@lE3V2{0}t!Ju=C!wsz zR|i3Hupc(aa5qWOgZkvoYRbr@oAB19UriXKc!(%5DINw7SW<}-t7*OA7s#*j?&#XY ziqgNv-7~^`+{?MBP27{K1NQPz&)M?#^=CRI?~Bq*h-k9=6Qi?pCyQla z3Ky^S`rF#U#0K;BSmp&hnShsrE3(e}y%sk!kEW(1gnBB`L}g((o@_w}S51F3DDA)W z<7PrB0WJ4L*sPAwTQDKS8k!Qm16*8*UH28T>QtXxD*on&-t7VLoTY>#^28TXUA((8 z_uwiN-G=-1Bnr zmwpPkrqD};oE>qoxH+`&E!~`c_aR~LMs_&eab`KlE+v^4;sNJj!JK2Ce?0cAc|rLg zb_mq{rQP>&>pXU9+$cA!D~g>Sol1R_cc(p}N!3;}#_vz8g@dFVB;2!Q(wscX>sk4* z+Jasy8zZ#`baZ#WYJ411VP7dART%bjW(brQxhB|(=A=~_;=8iTW4*XFh9$v zEeK3x6fllGzZ~m8exNZ7jZ3wdIO%yq}LS8u-$K&z5q>{oSak92&=*6mhYx`Y&N`wYLc17Pu)s< zgK_0$*}lASemI3cgANty5h~O1^<;~w{W;#)iBA#S!di*V`udwcdblXYV9V3QXhxyD zFg#-tn*+l7#0h>IYD`w9v>kDkX)BvwUu85j<@dEB z`j+aZuV26VFt{wZXl)ISagNSMIabh~G-d04 zw#0N_sY# z(lv?UYGCJ3O|4>m{JB1w4%(ZG^-7TwUb_Gd=PXU;ZU=bvxDT4n5Y7R7R?XqljpR@pC$gLpL_L zprZV#(-8Gdci)tQL-N?hUTPbyY1>DnGmDp-P4$C+O2{9|BMMYW=*j6wXn?1!Jrlko z^4Z#3dhz{#tl&S(YScAe$mfRdF?3@aG3K)zh^C!rX2$)4#Y1P7Ouf3rO~JZ$JISHl zFWP-Qb?7DG@4PF(*;rv=(Bb9-z{MuU@KUU9G_oF!pL#F;Q3SCQuP|`dB`56>*=lrn?`po)*xN%-?^Vzx>L_2id1I%YpATP{zMP*DBZ&;$ zH=0tgE8{}ieuC5#P8Cp5B`&<~D?ext{?rm5r!wg+ty2W$i5en?r6iq9MVk+n-?8`5 zDO%4f=X_c+I`dc8)W#IFRS3?F6B3nl`?4)q=jA? zZm|#R#=6~{U&QI{o4lcp!AZ@Stjw9pX-%Ic>4aJJ@!1bY$r&+ZbI*kD*5s3i9dT zDfyk8BU$0Y3{4|HQDR(Lp-sKWADO>~FB#>Hox*(-%SnO^TC{mLaswVE##WItqw?iv zD#W-n>o_!ia}|=tj6guNcn^g>>&bB^50As_ai?WY|;Bs}|lTjKOqr7S>h&LBpVT$mgkZm(4YAMxTonb?V4kCSeDxh6wH`grO2 zYmh(u&y)8l&*}mj*~$8&Iq_1Mf9T!#h&k?tlCCr63hKk5N#Yb)VYoSCFnz)54{hcY zp&$I0`T+6j?3N^wkB%E=%Iafu&?Qc)MRLZj8gs-N^h{HZ*VsKm9!-Rrrdx$H+O6dT z?FbE#GbOWMeV7LC*>Olyj+FntoM=}Jr7o~|>>+!mH@Jg0?p~VoTP*Pbw@#d7bX;zA z2Q#jECslA#+t;$Ta$m~JZZYjb=&PqcWl5ceGm?C1nWIxOc09dcWx-al)^2vg?qTri zCWHA75k40&+QEi6m=wIHr?Vxd-PunZ4h6;S?r_f}CD*}@*~@jCNzXWr>w8Z?F!zsF z$>Wk?)#Y<7UGw}=0-k+yDd%oPxTFoLEmr4}`tznXcT0c!wEmNX`l*Omzk4WEP5loX zI54q*Mt4ao!JevnQgko2QV0l^&sas zK^3!UYd*8j2ltY_#Uq*a~ zzn>(V;#zV|7#XwWX|BcggXNEvFkGxvQMq-9`gqMP#KYUIar_kBc;|ErOODz8|O-*(UrR&EsH-%2g28uz=?)im~*B z-j}o+^Lv*ae&~<#>j#}HYDg^7NM(R_!^5+yTK7YX>^^Y65jBaz7apXXep3{?&H)Xh@Mxi-Jkmgg#ym{PFW`EViLm5hVA; z=ub`{P%U51Au!=SBt1#9ZS+cqzImZ2#+Dg((zn>euBG|DXvg- z$Y1F^eOFd<@5y^oyv^O3hPip~zLpr4bQbECu3?!oZrQL!++QzEoRcLhGls8XRlO|QwUEiyR^qIJS?H3Wwd=I9 zz|Yn=&*@{Y35=7AU#G!&-LLLu-_07DT+p!H@#FpVk^v(4W&cX@ZU~2IH4{Qg&5V(o zMBv<^jyJ?%`9YwBmeu2J(-rQJ9<}D4*&S~)dcB>o|HISOxxg2HHsT!S-$7b3bLtfG zmgh;Iz5cXli{lI}Xufg%`WVAke90%MvV|I5IhSqhW*Bw=FujyLS^?`AEwZ<yT>fP-L8<~7eC{6r1r+9%wYg!h3wa=)+H+izn8ifurlxGF-k`(sE(5t z-pxt^M*`2!CP$3F;wE+ytJhPNbQBT1TlMy1!}kMLir_4F7sHEmRS^sc3`x=iDreY@ z7__s_(a24z)p#SMyArR`1PW0{4*&;%uh($OHDl+1(ShZ4jD1e#eq7ONxM%u$g7Q7f z69~2I;B{rCQSg^0PD+EC>+3diV=ay|Y#Dqw+6t+H0ucr7qimbEM;JEqY6)8NC;WqQpiF0t|Rmvu2xsw{vR8N~AM1oegKuNcKg?*wvp z{MxhBC61+KiGyBG?)mIo1||3h<;$Ze&rRn)c!MC7BRCaY_t)E?=>D6)I8Q!lzu$}# z!uRL|`U@ZPX1y6tlb^&$^IB8Sj#2Zz*<~iXt~OQ z4qUo)T@*he((HivE&Wx!f!?J3>g6UHT!=I|~=TXsP zE3d{-8DJ=E>SGz_H*n4uA?80u5v zb@Dk9&3n);=hQmeccPb5J+(T@@kZ!G5i3oMDZixc{&bz?)KU^xoOSGYFDY@|U>i-J z4}o{uQ=KMF9Jexe1D&mqf!kg>$OJ7hR-kKgq1zF*0|U8l=`8>)B|Kk{Y) z?c}r>=qSRDzJtR3;rhE+#qLj(XDOgo};e6&1}D~8t+;8YtV~kaY`mjHbSBz>ar-8|Cl5yD^>RMp&W&#`$r3# z*|Hr3obyww`I{=lM)OfmLK`lVaW9dZ;$30upIw>z+0}2KNVZn9B1SwF8;?#<6nEU)m00+7f$<2wu?9EUoIue<3kEjnc=8{&D=(d zLtQOq91jr^2)CWl)bIHD`8eU(cG>yM*2ia>c--nfxb_l|pQLadAp>(CIkb-l?+-|b zF_m~KzA&bwPeb3s?dPZCjdM?%ySx}^m8uJE8Y?guxgTz>dS#D{GLD*ZPn@FT)p5D%0&12Iv~yXe6iVN5<1uhP)y`0Deq zixWuBZ<2uqV^fREZN3mq-fB3Oyn_5ukCoQl%6kr6&` zfKp|8odS{cAe&Tcl;D+8u|mhw$k@>DLJeJ8eJ(o=UZ9GJ#xkHnL;ov_;wQBcH}d&! zHa;2cq!z7(@Y?N_^dfa0MTp17oKV7&jk-v!6M`F%b@pT6@F{pA*<=BWs>VUxyWC=A z(tvr9D77$_CM>KfzgTi1U!^wtsc-*~1ZIwrnBp{@IXMD5DxlMg?hDKHJ+^JY4*cS8 zGBMdLaUm?oLKM<2q{KX*Kz714wsbMY+%g!vCm9ZRRS@zCxCXw)-T`3$&a9DGnWD~5 zl<%BA0HpCY&U~e{Pl|V2_*pEXdcNkU=?yrpAEJ&!iI`dRBjLJ&bx{2 z1d_U}ZyOSgFSO>4>`EcWtkE;E>z7n}da~`hj-i0aT1??3enuL;U}nx&Nj0a2R~Hnh zfbP2I1KzWs5V~0<<@<>IV|?6J+xU9aj<)x&BsSzt^H3ivqpeubJs-rer_)IdQoPz( zT>7$k)JnomC6k(9NVjab{?Dx=&m2IAi8Y~!9^ZZ&bya%msX zqJN`=fQ#_!qE{CUB~aVrpte9DP*X@7c`?4ce3Ofkjk(sfSWLC1z%>8(3>32&jJrOo z(`0Z#wmObqx3!-f?{_v)qwQ+inzn|vD@H^P_s2;Fn@DH3>k5r!Qtb);5HdkO$>7<- z%EXNpWh0t#f0QoMOr)4o@p8Atfb+}11Asv7S!zNmY-FR|7Tb0rEdjU_DZe1LT(a0Z zDsGpF_LNtC)GMyqFN$#&#~lDtH7fqxRmD-18@b#B*F%S-VZF@v2Y{s5ohB#L0RSA7 zyLP<&0Px-0k4&srUXl&~T*bcRs>|%DUP>zv)CPmnT)a6E!`GAI>qmTimi&3+M#R_I zc)26xGlT?_`i4Jvb7|E;Z!l89G^ejU#N;<p~NH4AV(YnA)q^{rsAQh2i@Iu{||hbRQc!%k1M-rf zj-f=ip=AEBRCVkHTdxURQ5$WUJPum+nkMmsws3)e#T+dk zS6c+f-8KJl`4sc(|1N)!#~N%yJX1GuS06|UE9v3?zY>d*QBWQ89gSp)!`AWV9Y1>9 z`giMp|C-R=?C-rNwvJ=}`1Py9U;Vr8|H6+$IMVK&u<$QS)#-+xBZlvO^jAPEt2o}L zuck4ej#8YbOO0VWFg*>Dj6RxCMGYbC{NO2k7(|`DyX9f#-k-D|)!be?y5Eg3sXG98 z%5ypOJ5N9HaqX;q z-Yg8Id9J5G{8I$}eg2-dn<9UKek1tA0RXzOutrcTpJyjnPlgq`A%6!f!C`gUK zvlHKWhGZ_u7e=@5zn3P#25PA03|&L@Yf&g>#2CUI*SB4K5!<)CoU;L^WXzzhBOq>L zsF?f`5jb;&pIv$3R*1x_o)+sUy7yQY4Ys}ElTuHllY?R#RASnW%;D@*5q5qu?pqUB z2d$4O27pPfcRNDXb&a1Fkke;y)@Hi~#Ae1%Rg-(BaDGDpPOO!6S=?#2;^xQS``gOG zoxw!=qq}_xtmASZ`{;+-P+$iPiBuG*MZM8_X?_3YEpFBJTK)Xs$4skLsZ&}_V{v^< zxs@0U^SKV=3n%|-UTpC~P|uumwWl|2Cp0d9SvR!GfWx&tlRTjQJTNr(Htv?*dTJPR$&@{2Ox|F55G`F}h)YyG)Be(pZKB@v}{03UKq?y<(QYVfS9QIKqbi7G4Zb z9#fW>7f{plw{{)ZqGE#rPO)jBe~5u~?28Od=Y zoOq#7?&59qg)A4NVA~5+hXwgvB1|Bi*VwR@8G~Qw*xp#lmIP;=h>d=bTxS#SYe}cm z30!|T0_4Nr$j9Bi9oW!pSk!14x`E`D+r+1GO0i5vnK$jehj+L3&`(2_(sAiB1_9A< zvgP?N9RQT0p~rcCi?CR<-md|XJH-2;uefmKcDzVK?9Ue(A><$by2RV)>L0xMtkZ(mzj2O$&k=>+-_0ZCJ`UHv>d6OewkhWC81RuuiGD;p+T{r1fT#pi|+%(fwX zOf}Vl8Nn!|qKu6%;;!yJp*?Ljxzkv!E`4={-Ai<=H(o;`%yGV0jpaPq`Rg%30kgu< zfY@$s4a(CmkuhXUk113iq(h zZ9$mA({uSQG*`QlI#2SQ&&tdE%zlHg_8W!^lJ& z!1RD>cJMTLf=?-**f~jn&C0fFIJFDfUn5^l5h3&wG)2>6Q6+~;f5V)#{$_E(yJukK zMj$H|%CglANrCE2HF-Z2zW#X6U~$=|9)o<19gwnXt}mfYr#j(qgpn0Gf9DD3#iDoA z)OEkq|7TCvyqU4A@>}`(zmdPIlGHy(N>pq!*qED~6uCWF?y9Xx^mcz=ljBPqtQ#2B z5B+nRzfr>T!~O}&-*BWbsGw#YB6t!%_n!#;rp#%V|4FpA<3J~h7Alx88)@=2dWKt( z&fV?6%KX>jw-2>uJUz5J#D9*1lKr}W{LlZfzuw>c^FKpV~JD^lQv~(Evr@g)PNNe#jyL&-3Syj15>@KHu)hv>E fWWhe#*hNWcqnyzY7!85Z5Eu=C!5RYc|8D{SbXlNh literal 19713 zcmeIZc~n!`wl5r;(keY_QFMwlb>IjB0>%I;ZPgLP(nO>}2wgxyg9Hc#NeCn~9xY1< zO%8H;){Jc2M_(}OMRWghxK*z^bCxSnHU^3Gt|@j`oz~}<`$M#mPbr%PTCwl zdF;65@!y5)*t>V{zR&k*@7t$++(6IZ`2TU+{tck@`DcKg?{@7l1?<$?u}f>mb~C_G zqvXzAJAT*q-`k$OyLNxJbI0cz>Xk1wFR^Raj@^5A?cMwN=X-yDtDPF^9<8tT{u$__ zt)u(xwcJOh(74adPJzDv+ebb9(|^T2?RJRA+^?>AG4~gHN0=Y(_RDkE@BGXV&A-w} zJgVvG_wN2b{r#K7y&9sUmPVPKfZaPk-@WULe^W<8)Y|=(rmt(CY3rDt`Zg|C_tA^) z@Bdc4N6!po|5s@I+_n_(r(GI8tzB9Gcfg}tskO8J{wDa+2$ey?=1hEp$*I9SlqK~k z+DGKA3-$nGhJeD>WX$jfcF_Cvu_DD$K)~1k&h?*N57zd}sGRX$S8tD3{5*mgi*tr_ zlkCKzPm){O1!y)riWh%|lR-u0B+cFpTcSb22)})DK6^9*-YP4UE(xtBzI#JqW|7RT znC4cBVU7irI5N~~3k-Tc^rvZn|BjzGGi%KY8_+ECGG#jJ%=m$Kz@99 zE0gkb#JMl!Ro`_n=&0s~*0tx)SQ$*DRYnH+@O@7P5#ac&!TB^ySfUMSX~@qDos`yi zh<&#v!9ox8`7(NU|DH8YI=c@824h;15-f}FOWGw1u8nD`i)oU$ZNO$uEc#>9Xw{(Z zI9Uhay$ztuENlbfp<4p-HemW%`!tO>+{aq#*fWEL4!Qlb$>ydlcl&m|%Q^iMJ@@CP z#Iq$WdyHqL{II2jDj7#EHIHPGMlzV;ugzV%4(8trkGy>EG8bLheHlTxVJ~**&TK`% z;^anKs^s9fAPKbwF%>pBLj%793S6a>_1KHt(!LHBx)p!goWd|SWeLV3R@xuah!>`1 zVKGPFCoCUir@>1_H-_4{`sU$GDwB##wwReWo~?1S#Yefn>xyWaEZ+v;4wA1M{G=4u zax>vp@02n%ZmY1pw_M53ZuVI4avf;)#&+HNu%>Ek4+_Nlb9vgJqfA|Ca z5rQrl)BRgXm_l~WEcRn~*zjn76T%^Ys{?6E#l2~5sIWFJyR zSx9=}?8Hk%XXojk`Uj7WxI16^t+zrs_*jGxX6ANJGFX~H2rEyY9VV7^j9+i3CVpNS zCe2o*6?+#CP5vtU)O7r5c%L9IRh~t}$s6L!n3-6p1I)MUM-Q(o9?wXAYKxbT`L?wo zn+fwJ?1!_IoWkL=<4MJ7Zp#NOeA;^)Tw=~$Zh&P8qjKZLZDAVoas-bQc5`M1el<4*4b20>cfpH?wOK{GAY9S zal(?2D%db3g%z$Xb-i879@?b0zJ1ZW4bTy86*KxuU;twFH~-n3^}pylq7!hez=o$a z^PuQXy}_R0c!_kN^0kcOU~U9&UyohLyJ&Xtk=WEF5sV>_C^}i-YFqE zs>~fP`&q!w90~BnA%3H%SjQ(6+8^C5a-+4PDGnE&%|7eO!mn@nl+7>+Q0w)It2!z;EJ!}jMIq*^?t zDBp5e!|eQ()fS+!8%i#E(PJ6alALxyu~E9bW?nsjU4DPBnD0;#WA`0bKYmu&0t7XC zcwj&vReCz*;_?d8iCO-1=|EQ=Ao?cx50Xfb}bHXNGZKY;Lg$jG(u+qq(hKGUOSYbU9_;e1%VAm=~ z3Ymm3b83^xkg-+iQ4~r&UNn^m>ktxbLL0(5l%+icXPA$+YB(Y@x3yS%F79eq(7I$L zytQ-;C{k8j?$)Kz$`E~W`pv$22MoC)>U}B5?o`gy{XXTeydE{5PCrX`AFgXMcrCXImVlvrr|)M@k#dYy%Es=cy~^+kk`W&C;MxgH6XO$FrwX z-1ox8H;YhFeAM$yteo%A1q63V>B$oMNC$ z)h+EH%>3nRvEzF_Ik!A!GlX?wG)Mr``6vMa!7J+z#`&BNBa!u6=WXOK*ogPXsWBfU z%poRlZAB2Ym}e0gS}#Ln&xJxS z`qpN0T38irxom)Dwih$zaP1L zX03snGG87(5tSc6dw-&ZWZGe*GcW9N!Hj^8zp*A8#rauY=>4myL*EYUt^YNV{b!e5 zZU;lo??F^lSW8Y^m$IyR@p6O%)Gf|ZxLi!h1>$|*IjTyEw1x_D?`X&K7uXr;l+Ct{ z8+m(NY6P#lfnQClvNfxYWa%k~Wb${Dib*bt6qcC~xk|%i7)6 zZZ^vP+GV37YuJxMh}&&DnBHpfVa3F4hnVxWBLi6*b$qh7CzY`jEGx}9!%R};xKO`+ z8@l7?anGru)SqYC>XphWRynfkuJt~6L+i!E zkF7whb|a^fE2qMT1lg&XeUd0HAw$U+t7lTni_a9!g&W{6dVAeGT2Bh2;?3DwCL0~0 z!%G_<(c6HH?^xS_3h~zQC$0TYwgJ0S9vS>ty7p4O4Oq>CZ36<>8~*XU_sX^!SVi_L z793qR9QlyCJ~E!O`-jzVuG!3jM*-8p+BsbUM=`I{IOKAE z?mbjiR4%%%3FZR=8Lq^A_0#x>V6<6+9P?8a&QUUk6W30bYG;~X3VX~$t&k6} z^)o0H-u~Bi)c*$9?_7=86%mEUd5=A~A#ji~$#5>->>bqC+ZBcpVt~zf%#5RCXnp zh2|F_-WGfM%2`<`WNHVfd(1HPzHoj0VXBOHs{5I1Q$*ZM2hB6#cXJd@@1p`rXW>E5(aQ8sAE?eX2sbu{gD>LI)RR8XMk=P(;>SEs3G z$p!Ri%q0wX=GZhk0jmfYdV@lX!h3wC-12%-i@otiX@`#Om$qaVQ&_{{(LtxD#ON^u zufQ`TZwBt*0o9Vo)rgS&W}kev0bfTANh`MjasCN7lvp+Jq^wEH{`_M?*~D@QCsN&f z>cf+DJCl~{6VKFjLjkJ|{j1ND^IJo}1w~z+tl7-aTOL;Y0YxZ9s;4ozSTs z5>zgCv(;6I4(E;BkhhMt<~35+hC^|~a9F)%17yk-s;Og*X&2&F=ixTxLE)KTkJW8}Y6>i~y^u~xFO+fn_1;JYy!hFpN&fVj z(rcqWheL8UvCTm&cB8houvJGiT(**6lFf3J|pE z0R7I+F=()qn;_Th#y>)WSG-2r7k-#qP#cTr177>5}ht0M&~Bk`4-`jL7RJ)+)q>q>Si*nqx=#)=Z7&eql4mmqtg zr&S`fRUxbDU_`@(bn>@hIocKnI-H-YVqB3CL|6J*bK2~}1%YQnlvyfz|9e}X1aT4% z#i+L;m9xytXEkRNAlxU&Hb#Ro0p&GEk*GQp$+tOeIlSTBtcynNR7Cj^280AG|^0209$@ z+XQw1VQvp53>Uj0z%Gc(s&E_d(&T}c{t6+41G%x06cPnP0v260CE<+(^ z#KhrJBU;w zW77V=Xt4hs*!HUS*9XJlphL#3rEmYDxWhEL>xMhJ?CR!Kt@!kv(^bW-^P6Pv+-XAc z&zB3Gu4*-fi$;mY#ed0T9xU7)+qby(?|eJ{VEQ)z|DOlKRoXL5;-_CAXpD#O-@(TJ z(BTgR{y^Xl1pYwa4+Q@EBCy*z5smP^D8b4>-!;E}(?A0Y2`HxXaPk@$R(z9EyC`3; zU9j_s7bM(dvC6sLFzAr#7B+sxSlM%;Go9Yzy5nJ#|S`Imqb5 zDK|fZGl`Wr2n^=3adzbI0j4x@dAEJTsfx|Lm_b2hz;Gk#4Yk2#!LV7h4cP0A9~+B0 zyKWm7&-n-|^YN9ySWG7ZBPUJfvh%kAC-PIQ%fMD4CvFB32VS3$o18v$z4K!SHwyaR zVZT1`RP>Upg@?49oXE&fjuaolWD073(xW`BQS$POD4$>J2!IjU6^dL}D4 zh4&QoK3bBSFyn7O$jam)S!YQ}>FF!@Hx_^8%hoUA_vA+SNpObhg-;_QAIB<)eSgL* z(~|sR>KjekLnbJ_*n7&Vq2RGky!`ZdB8!Ej)*~ajrn}zheO)OyE2}AftOy)@RE`{M z@({ylA$ik2TE4B?+9O@sHmHpf$C=sO2IMlr$3{a$oR8`by;-=p8xA)b zx^i(*pytYEp z2MEp+2=>+$8*9z|7!{+?J4rnAR>;MevMGdUG2*l>#8SY@t zfD$d;xS`g2UoU=bARI-f%oD#|60Ay*2MYPQdR7Y749o-UIJjVZK~c zkc+w4(R5fcKRZAjrk1{Br8e26pNI=muEM#gqS?rW;)3jqGxm~rn!Y)Ob9Qc(*yw%4 zAD(bt(LHgw{jK1!Qa>eRDN|xz$1ESoAQ!*W^RHMzSB3iw;_VUMFgBzo&c+i?u%4tX z2|Zd|*5ZJl9yDf@U!4?)ykEY<1ui^$s6@)!9T1Cj(nNiDyL{=hGOKKT4?Z7nJ6=O8 zN6KEbwr@h%4{_j*;KcP3@}W#N|JjDWIPA1-!)3=@bccO-SWuI_1g@p!0M|0w+6Dmp zFS|K5kaPJM`-?X6tcOv)at=RTQCP?%3f8us{rRZ1oiW}oHS;kFzkt2emxnOI3B@SR zWFa%6(IsM1+`atXVu4crL7hD0nH?sVS}iU}KrPxW&{@qO0sQkr#cB6_`%AwPPHx>} z#XD^c1W&xmN&C1i_qAe6(u!Co)E77PYY6pDrKR*HW5axJxa zMUKsz$wNIIXw&WUI{Gq-wMq^s&+EN3?25IYB9>*^Fo%O(^}jDu(|6B%hs z-rZL6K79vQesOjfOVI@5vwFLIo0nRX@vX1VY<`&DH?#%?_1ljVE;iu1)dghfVsS~= zNUPL=M*S(5S35Y^{FWbar58oA9is9%qK_P#YJ4)%1y<7baiTJAOAoK$yv+sUF*g+WTiM*Au(e1MaQS3wXa$i~?${LT*D8w7;>h1BiCZw+PR{x5i* z^-3Oc!YC9;H~VO`a6(pdYS69v@k}Q5afkDFHQBnO*CCy@!Rh0s^eTPeipDi$U?iB#zZI?4^ z?WENS0>@#F;C?p<;^qcYc>}a;d$7@!L7vqZZ=UCLh4td752|e3)+15W+BCQF_!sNg zF}-}Eu}#>_ey*~{kihk~7eO47Q6sO0W%4sgx~c{W;-OWgtOgPCGtGC&Ct{Jv3_Fvq z$vds?PD=~qr$wM@D}p#FNyMd)N zkDg8#zrj*fM{|9E8zo z(FDQ-V@w-7FIU~~{R~%YpOqyDl6O|%EcT*U zKg?y^Oi;M_;YI%eylrHC3%+a-kLtCBU@=|bdBc~``fAnKOeNIBID@k!L@5}B^ArVr z{J^7Mf@JlcXYR{s5)=zPC~%i>k|XBuJ3?lPE=g(+A`31X-*_%`*;g6N94k*}aVY7e z5A-yDfQ38zQ3xQ+V`TJ*FQd9gVEd6=L9#|2eAfP zU>I;*Gf_^{Un;V`dQ*aZ?hZ-q5TsU<5!w>_xFId$$hv)ZFhimhUAAL_>JE)usYanP zyR#=#^wZK{S8C@KoGha6Ae%D{)q;g!T9cmwZcW+Wh^d?0`sT{X>Mc#d1_w~pNw&x%ZC(O3Ox!RrT^&wDgJliTHU=JL&>t*3u z`{Q3wi3ZG?up)~X^@%`J6rYASpt0hk&@LCElK4d4K4+L1p@QK#W&!|iLseYID z92>CYMf3y~j+=%zR$;;Ou3bq1uu0c4+?x-$dlfpHrl3Kr$pWpD8 zYy*l2r(6$o!Ixvb9xLc{PSwHWvzU|dRnytAe%zwF`DqtB8qPY#180^NVQ%(f6T5cqX9@h9!p9Zz&dc#kty zTn#r8KZ6^XdnAyZ{t`FMZ_9?4=1k_exTW2&nK=X&HaYoKF#{fERobpRUIdQBXN(k* z$r@9Lh@1?lOIlOc@(JP@s2wSy8`F(WpJSfg2GB=;(e3;oKg~OsN4%ifXq=P8mvjfy zmI;5g@uJYFxdM;=T7bb#>wlZgHqa9l;#ZPXF~+K zGOoh3!>84CP%%+VJ7^5sgg&b@@!|c7yrx*}=c6(UPIS12A{*C6UNt7pYKEA`tD5c@ zV~vNtdi$macbP{2xuucMi$AL>E($$^3P*{fT-lRrz%cM!z>84eCJO1i4Vai435t!8pLbZNsy@E0Cc1a4k2+RB zfoQS&LE_r{+8c+2Wn0fi5&qcv16xtp7(33ht*nsAQ6^iw3|tp^H{7Y8KfOD$TC+ql zfxoTR8y@p*1p$3MwgFxEmaBl-X6$bM} zA#-l}zN6Qk(u>VLA2uD#XhyI)QdbL$Kc6iw{kdbuA(_EXwx#S20#d#NwoVvNNf;x= zz#O{pI<1DnxVEeRECd41QaQYPkH;0Od`vK+lkYgaC=!BOjom^{Dp-y0o}or?le)x9 zPAPcXvUFPUQmWb=J~py=EAY0qpl0D2#Q8!uwt`mRV7N}dokd#^2SW`pz8k5%_P7ph zxGeAnp^?VXti)T=`Gihbil0ifiJrw5p7^%3WCB{Q@Tb%&6s4x()279?;dHH-OQ)@J zdKVu$ow5~Wh8)AekXCeRDQSJ&9lI0t=b&xCX>093>GJ$jTPb5X!c%&a6=t0isVa8Y z`>A>c;`J=E-p`z!dpF|@c7Q)QK^dWM6=T6G_}k6rmG3`=r-~ShvZa7mOF0}1Hk(a0 zPS%oX%773e#YZVw@{|Fv_bi!Bs8ZY}Z&Ymq5-oN%v@Yi?NN{Je zy{x@^PTF?5>I{oT29*X(m%UldT(| zSH#$q8s6f=v*RWEGjF5Zk|}u7(Uc`sxYR(R7JiQ-?4el!mWO4 zibm07!?Ad;S9M0$!=D`>TF2g8KJ}!G3v2si$pyxnhi7DbD!${Df(lr1h_Q~1)K|WK z(?#LTsKaM`&@PEgDD%W{DXp`qiMlC78eEzaKXtH>8)>C8&YlOwcQ^Z zChmM8#yxknJMG=lP90X^-tr=tnkut1^PlGLL14>wOW;SVzF|uPL{og6hsVG+fW6YK zZn87^^_W_9urfS$2j__BhhDa$7JtnIvLg@|%0s_`>UAlKU|VJ*s= zP1!_KS~UVR;zE4x#=dFzydn0Ge(eqnd*YjS>k*7N!_=K{EtL&LVFgl5fyx?T-` z@f+v#o`dBzK%1$<28{{0Oql41{~B(o#aB2lOu`G3-|HPypQ?@?4W!4&8P=t9h2uLO z6;ys4o+>0j`l}?G@f7&zEO={agM{nPkF^g_m;ESw>;bnHJ!WT0Te-l&L)h%)eJ`!$ z%YUWkPm-Hw`1UHB;>^4Gu(Li6vJ%s29N4=rM^llOc%nN%Wr*;K7>guiXUDpql222k zuLr!XVo@2%NHYxvKP|t1YKuPMy6fnbl1nx5L#1yu!$W1zw=9_vFC)lh7PqUpWt{^9 z1jKWr)P~T@o%~6=KtZal7*#$(VuZhHRal?d;TO3wH9&pMzFbxJ^x5;wBf0_A_fXS; z3Z{!i)8fzBCT8$=wc{oDIQV7oM^9XTgRU2BD$cOg4Z8JpK8X#cF3Fv6u26jE!IZ5i zE;+)Sdc4L&oKad(QPfoykq}Un@8{{aWO!+DM3UMOjEh6Kqs(1~zl|iVo1mvoCoG>& zkrSPkALZVYpyj$9_C9c&Z;R`e>p*hSgO+Sj*Np|XI3WdE!Afn>l9Ibx$@}9h2MG{tm_gmC)ML+lwnJHIb~$IE@xC0tH@V4VZ#PG-gL06 zs0}u2_whH2vA34)U9Rc;o^gm>xyA|lT23A#jwJR;%0*&;?7FD zzy9`u6BbpCq~XAc;AZ^h75PM}z3V1pigG`AIXZyT(*6wUfQ7k+xTF=Czm`#y~B`flN?g&YA)s-8@en8N-rM$Sj;o&oR{^5*)85WD@;Ya<>vcodA-$gw6>U zkiYc8xqjcdD5sh`W=M$pcdk^7UhmL`09&=ShD;8+r@iQ9tFM-91FW|JgH$OOEp~M* zW0H~+nP=`j@l(5%MqQtxHXh{b_PuO>!?r$Zb)3brQqD6IGiK-1PZjW{{FGn9r_T7P z&gYi~u;c=9w|$Fr+$u+v)~P8#|OcewV#KFr;)We45BYM7C>Xql)^8Ccy~ zDvB2i^1uTODw8r!FPq3%b-i6BH5fF1n>BOj2gpDqFO^+u+fmPA&SBu$P;NqHQVRCrWN(J#jlz9s0Uz`AYRSU)rpD&RAe>3La!S47Rk8Dn?s$7VLd|!ML57OJ@^nBXR@zP4S_$kEHTY2uvJ@?GlsCuP!P~)p{qMah%xlO)4|3DmNLaU-QHxK z)-U(1JX0(NzQ3Exk_w2iGEVs$W;&&`O77sH2|k=Xqhk9%HJm$F)O5%5dDPkWdmD*U^p0Vn@fpne zFjmBC^RpSIq)5hbW+5r;%&?i@*7t%1Um2y|fkuqoL+%)4u=$SFOu6Go#ySY3<%5dw6Xe zv61qkiapUJr&5Z7Y4+fof2G#9f~Ph&W{q-l$#4XXD?#YS0fpWk%_|j0|Dis+wYjsO zF6VDH4y_-1-1uZ#vHnUsNNlghJR?4E-Q(q`-qdOC(gmlksw)cK=7eX=eU`$Ui1|}T z#37S!yDO0))L~Xt!0X9OEu(qg4j|dJaK_l_IApn?^{x+4yUS)%!e+;qrKk{Hr+m2krk21dO9tmP}+YjrzO=qZ2glGX8C!VQ4gb#b?2_ zI#li@G(Yf0m*bXdy`*C|L+i6c@um!#*37izlacjpZ7gH^2IFht?F z%>Z8uZk(K0qe{7mjp3IoeMP#kOmh5^eb2PGEtn^a*z&fkz*+R`JYi6;x zCQy&Duhx7pNK`5cbCQ{1WuG?m;8C*Mj^nR-pWbAbns2&QhG)!9RSAmahFz-NnO+k6 zhA0uy;!2Bf5u}BA7fe!{CymfuTr5W4vQc#gZgv$){sSOT%^-hAsAJM2UY;#}8Cp!V zt;v0IdOS0`3=Yh$J9(Uylw(R&&N3}Vv<=ggmzyl@CROB__e}zS^E!bjdTfx{>Da&w z7WmFXfVtivcl*EjMj{@>q~Nb9xUf=Dc5&`qbWEdS4 zH)4($Z|$Xt?ws;*f;lROp0WV}tutNz7JX}{_gyt9ZTB^cmz$pMx6WPN@%2A8&wp`O z(y{3odi!MF_!gt;#bK?l0guxxWv5-Ue;M-xIYy7cAsAx?H7tDnX$?091KGMThN`9@ zf3SMZs*lBa>3WD%Bpus;j8N_n+cyTXlmtZq;r;_rq|VgdygL#`s0-1G`;c+!gN&)7}5T;+Tp1BeN`q* zs)9Pksaov4bcJ{?lh5R7Xa&!)V`gVZ`fCw7fYn-3y-bKKoE=VH-w1VlF!)j`Jyv85 zrin69EEW?j)`fLIL9X*!vwz1pI=<>oxWOK5=f#ghR8y4GN+sVnDbd3t`Ok<1qj-74 zW|R3Cwp%;T1?O$D5tRADU+GGUi8*(rP1uC_KC@pR)es6%hdHq*l#%I;Z%+=M+3J%9 zcJ4942ES>_NFZ4<%P16TMEcqhh8BO5@0&YdNP3fMyCqH^U zGSF|TYrrq6O;C>X^oeInOj(g6ra2)zedMLt+-DZjd!N>QL~#xfJbGC1ev!IqbHrbA zlUli8-})mQ)C%+#2!1T7g&+q%PQx#XW3co2sU0{^HyyDk7-mvmR=C-I4=$Qtim|iv z7BW$-Z@Dmbu6FZ0uz7yo!=mQE!Gx@s`YM!eWOd$@?*hR|!Ol68p_rScjNFQzJbLHS zyLIR8PfIQ`y_i7J47gch1Z}BPrO#7V|LmUEXnYM6nk^^Wk`LE7LTUZFWfSwVq8y^d-mXaA_$sGeMzX7Jf?K za~1I2T$7LYhpfM>hL)AieI575C5&sYF$3(~A>J#I%~dY}sbvZtwqpJbylJS}q9o^u@N0 uw0UQHL+b8Hqr1I-JU8G4Q2%qF{-FGUz#j