From 783173390723e5810981364624ee5d765e166b6e Mon Sep 17 00:00:00 2001 From: peeva Date: Fri, 17 Apr 2026 16:54:27 +0200 Subject: [PATCH 1/4] initial version of the adr for lpm-log-alignment storage --- docs/decisions/0001-data-storage-format.md | 228 ++++++++++++++++++ .../assets/lpm-to-log-alignment-options.png | Bin 0 -> 68938 bytes docs/decisions/template.md | 90 +++++++ 3 files changed, 318 insertions(+) create mode 100644 docs/decisions/0001-data-storage-format.md create mode 100644 docs/decisions/assets/lpm-to-log-alignment-options.png create mode 100644 docs/decisions/template.md diff --git a/docs/decisions/0001-data-storage-format.md b/docs/decisions/0001-data-storage-format.md new file mode 100644 index 0000000..a7baae2 --- /dev/null +++ b/docs/decisions/0001-data-storage-format.md @@ -0,0 +1,228 @@ +# ADR-0001: Data Storage Format + +**Status:** Draft +**Date:** 2026-04-17 +**Authors:** VikiPeeva +**Reviewers:** @alkuzman, @david, @lukas +**Replaces:** – +**Superseded by:** + +--- + +## Context + +We need to store _Local Process Models (LPMs) and their occurrence lists in an event log_. Event log sizes can vary, +but from the standard ones used for research in process mining, they go up to 1.GB. LPMs are usually small models +covering on average up to five activities, but for a single event log tens of thousands can be discovered. +Moreover, LPMs can come with additional attributes about them, either computed from the occurrence lists or maybe +manual annotations. + +If one wants to be future-proof, a pessimistic estimation for size could be event logs processed by Celonis +(from a couple of hundreds GB to TB of data). + +## Decision Drivers + +The choice affects: +- portability, +- storage efficiency, +- long-term maintenance cost, +- operational complexity, +- query performance (future), +- streaming (future). + +Expected access patterns for the data currently are: +- Complete read/write +- Streamed read/write +- Random access read/write +- Query-based read/write + +There also exist various ways one can align LPMs to an event log: +- The storage focuses on one variation +- The storage includes occurrence lists for multiple variations +![Alignment Variations](assets/lpm-to-log-alignment-options.png) + +## Options Considered + +### Option A: ZIP of models and XES + +Each LPM is stored in a separate file (the format can be any of the process model formats, pnml, bpmn, +pt, etc.). The occurrence list is stored directly in the event log such that for each event in the XES +there is an attribute `covering-lpms` where all LPM ids of the LPMs covering the event are listed. We use the file +name of each LPM as the id to denote it in the list. + +#### Example: +$L = \langle a, b, a, c, d\rangle, \langle a, x, d\rangle$ + +$lpm1$: a -> d + +$lpm2$: a -> b -> d + +```xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +``` + + +**Pros** +- Using only existing formats + +**Cons** +- Complete occurrence lists need to be reconstructed +- Additional attributes for the models cannot be stored +- Misusing the xes standard + +**Alternatives** + +To be able to store additional attributes, a new format for the models can be introduced or additional json file +can be used only for storing the additional attributes. + +### Option B: Separate Full Alignments File in Human-Readable Format (e.g., JSON) + +For each set of models for which an occurrence list is computed, a report is generated that includes: +- lpm set info, +- event log info, +- aligned traces per LPM + +#### Example: +$L = \langle a, b, a, c, d\rangle, \langle a, x, d\rangle$ + +$lpm1$: a -> d + +$lpm2$: a -> b -> d + +```json + { + "meta": { + "eventlog": "name-id", + "lpm_set": "name-id", + "variant": ["gapped-2", "local-4"] + }, + "alignments": { + "lpm1": { + "t1": { + "e1": "t_a", + "e2": ">>", + "e3": "t_a", + "e4": ">>", + "e5": "t_d" + }, + "t2": { + "e1": "t_a", + "e2": ">>", + "e3": "t_d" + } + }, + "lpm2": { + "t1": { + "e1": "t_a", + "e2": "t_b", + "e3": ">>", + "e4": ">>", + "e5": "t_d" + }, + "t2": { + "e1": ">>", + "e2": ">>", + "e3": ">>" + } + } + } +} +``` + +**Pros** +- Alignments are directly available + +**Cons** +- Problematic when one event is in two alignments of the same LPM +- The entire event log is duplicated for each LPM + +**Alternatives** +Same as with Option A, where each event occurs once, but in a separate alignment file in JSON format. + +### Option C: Separate Occurrence List File in Human-Readable Format (e.g., JSON) + +For each set of models for which an occurrence list is computed, a report is generated that includes: +- lpm set info, +- event log info, +- occurrence list + +#### Example: +$L = \langle a, b, a, c, d\rangle, \langle a, x, d\rangle$ + +$lpm1$: a -> d + +$lpm2$: a -> b -> d + +```json +{ + "meta": { + "eventlog": "name-id", + "lpm_set": "name-id", + "variant": ["gapped-2", "local-4"] + }, + "alignments": { + "lpm1": { + "alignment1": ["t1-e1", "t1-e5"], + "alignment2": ["t1-e3", "t1-e5"], + "alignment3": ["t2-e1", "t2-e3"] + }, + "lpm2": { + "alignment1": ["t1-e1", "t1-e2", "t1-e5"] + } + } +} +``` + +**Pros** +- Occurrence lists are directly available +- Additional LPM attributes can be stored + +**Cons** +- Events are multiplied for each alignment and LPM pair + +## Decision + + + +## Consequences + + + +## References + +- diff --git a/docs/decisions/assets/lpm-to-log-alignment-options.png b/docs/decisions/assets/lpm-to-log-alignment-options.png new file mode 100644 index 0000000000000000000000000000000000000000..5de857f49147c4b2241067311e54b55225d25fe5 GIT binary patch literal 68938 zcmZ^Lc|6qL_rDo~!C)BsIw(uX*hh)6lYJ>mma&f{Te8bC_OTa3vaf{{6(!jVlRZUc zH%Mi#X#2gUcfH^5&*$^~{oyeWbLVd7oO|xM=RTh|#oSb%iGi1aii(QK&_KtMii$ds ziV9>7r3JoOO2cweQNgJUbu_I*LGN$Smm05peOeOq;pB8k&e5DGvuuN_=H<|;sH*YC z(NDLm?RAe?4(42~#W%X!xEoHr|Jt$nV|6$1;}z14wh+&cq&Ieg`?EphqLA+$ubUr_ z7@}|eWC!VDSj{2-`LW0w3mLl-5EG+p@jqqkpiQWR+nNAhR0ULr3v7Sxzv?3~kgIYq zINGEdDgjQ#gd{L>BeBzTZJQ6Nyp{LeT4 zj4k$=7KW$i**lho^gnffHHxW6mVPjYltV!tu!`E|mYe_d_NP-jXzyv?t8#>E#gmtR z4dZvgpK>J7Yc;f}!}`Aj0f+_piPgLx_35kaIU+Ck(CNR1l^g_2hp-DOeQpC;qyhQ< zJ*&T34gpH{GSWLN{%SY*IHcwNKcjV3vVcdmF2`=vYNmF|NQTLasW1B?bBK@fMA4b6(|Cjc` zI)Ip|Vkg{1%8~ygEQ~P{XxaEug|ZeaQ~+Gq{GY0LFA9{t|9t2EFa5<%!bd;n(<|nZaOu4>6!HA0UHxrOrO-+`uzmIa*cHYa>Hq$f z-1Os!2Nz~q4A0iv3NvyYzk0B{Iy87q%HwH&I$(A*y0+NmoFIm>w-@AF~!_1l4uvLMB?WaN>A7<_?oKMWF_@ga6e=I&Lzm(>P zKBnaNgz@aL`x`HZ8Xn9ZyKy2ohs!zAB9U3(SV~HYyw@;4VyfOw6vz1ZjELWCyJfwt zoTN=-Q73%rmW|mln?~vDDt>vf)O3UKEb0;_*OjmJr}GU}8s@fpRE+!)acr$7pxWB? zV-2_#;nICTuCaTX^Cee)WJ}#{xAc5o=y5DdRG+!+^K8V*gSlt~x1MwN+?Ag)IKCQ_ z>z*y~75bTZ78QB}lXX@rnHoP(ywAi;3ZEr1@h$)Ox|x6OVw*0rkotwe35`EG$0&*b z_MrHwaLNv_LlGKKgFZxL^vRWd#cI<>BrGeF+kgJ} zN>-n|a{S?%NZ4YEIH{m71tFgJ5dB=k8j9=qHM3q-U}g3nP>qtMe)%*bXzAmMQzL4- zgyrEI*Izf`FMpUZ)Y8%#Z|iSjznMVM?i>^c24=C95hI^CduL4Lw}dS4osEu)#Vb^=ozs+$Ox|T~tnLK7*vEaAWx(hd9yTDduf~UfX zKCM6J*YuwFa$lUhr}n!JRv7L`aA~q{IQVT}z5HOK{NqZ#-Src1zI;hCvv?EmR3LEq z8LN<0Xhxo-mDsM9#yJ=4=pX%ABm$$gm~z=Rcl53J)oCoUDRAXV@J`5Ht+0g!5S-fyyyu9It8@140LGX--E^-ZeVXnjRuIKZ2Ast1G zq;9N|9Tb(t<`&kF)pFR7R_v_>X0}CE8w38{ftTs=6e!VL4 zU}yI3{y|s!k5IPlpHH}sm zSq&fU2ZW0GFMrpHp<0#uA)ko*jOMewf5A>Q>ab-#ncNvm4O&=1B{l}Xy5p7v<5e`^ zl(AL@TSe`$HA(Q+3mf*wCb&indtv7^Ewa7lXbpGtk`_=)5&wBSY{|s2EpG~ zq#7hvt4p^SO1o>t-KH-TWqrKki))=-bM@9Ktwz9SM8A*?`S?cc2VlOWYZ~7V_j7-K z-@FpIl&*3*omZ(cWOH_BNcIW0Y;8Nsk#=Co2kt&s8A@gq1sgVc|6VGKyr9i=oBq+0 z%7?!<5+oEF`F;OoqH6eZwtl5mjp_K!Gg5Wu9yGf2o_}%EBYIb$tEM>o^e?YRzV7GV zPvD7rV19)pui!O&;e485UEB7;$dB(|X}si632yxaR`oDBzge|9^RhVel5{?m!>pk; ziMGHMd6h*(I0@O1sATTe0~#@=@7nN75MeTgQ3-uE60Cab@39#o+-tE!T<@H z2;z>0HERCZ?F<+xJ37r{sL`z#77$k&PzxGY;5l66-6FNrpRO>IEv%jR?9pb2R7vz< zT_n(?yvHEBT@yC8-s!PDuzES9o@cgQR{Q$CIT7^k^@H1LU*_Wjhh!cYG#3Q*Hguqcn z(a4>-b9e%!(KVaVojRQlIXA9j_bwtKm|p{}0}#`J{@fp1pI(~h4W z-26Oug$vcTm?~v_&N>v!xd>~@;@ykh?4=p|K!;Cf$-$>4#`<|SZ*aDcMp48#S?I(o_`KU4*r?4vb!K*0} zad|m%q*lFKsfiq#bcF$kt`(NCcz1CkUu--!M3FP}*X_#%O@S-S)~ZUFd4 zxHM$zFxl`eFmK%ZO>J_E)lM*~9FV`EFs5>J4U*2~1Q@rxz`={$;C_vFR zI|Je+P-e9MyIAjqrA&?E#D#!7-;ZzFv}OU1)Zq{~aCE1KMT5IpcSnV$e_LpHw!!v} zNIBfL1(#ha*<*b*CseyW!>&gdb+LE$GzY+@dX7+_LfV~u91&j>;qLjs zdqOP!iYKg1g&0eG(Iw=g>fUVeBaM6rPo<IRzZJz5$ox7**sr^(XIPx7ah7IDpG z;zygK;`@ys1A!np@&d50RsoS3Z3G#<#MT_z(w@P|4Wj1t>sNYphtowponG!ND@At_i)9kxY&#AQ zF5YP0?&s4x$|fLed!uG29IA zbPCWWu?wZr>Psltd_>u z=tv+qBzQ7238R(0$94EOZ=s*MsK*MBmfnWU`Q}s{)rV6B#pQAMR)#G+6(S$Y2=WI* z5ZXM%o5vj=T4T2yo9!Q6ZYaI?6!y8}>qiCShK;Yd_L>_gJSy5}s$R|n+t5vF^%^N2 zS4ikQ@LDzY#h7LN$pt8`kIlvjEOFnW#alBMxEan%Go|3t0NX}suVI0M{TRd`CsE14(!~y zd8;vpMdRBjIxt{R?`y9D)KYw27_sXBUdJkqE_NAUYO8d6@RDLM@udSG?BF5^x}0$N zG8$tcdsr;*5?YJc=hldBAL}SpnkVqjdKR$Y=*LL5dAj4)@jcx3d4Ahg&qqg~%x-JM zmcs(IzBS!cc2>p5=sA#A^6JTttv!)D@px1ql-S9!$Qz_P{5H^(ON<5t+F%N>VuWwu zybs7CB}}n$_|O{Xw>%<;SzmBWc5~5(>*AWwnAQ2o!Ib6C#OM<+;XVW^dy`U+_b&G-p&4J2I@}(@tswsK-b*Jbf(B7F+4+!;388Zf z@$~hzJIrMyTV1|kbd7YfDmQzJU8U|2B_w1h1h>SZs;{P`9N8CUCJB4<{EQrq4e$A~ zH4UBp%1hMl-TzDw_KsuqkJM2o9uHzVgQ=aI!*;N{!Zo;}jq zi9)b65PIH+-h6%E_cg)B8X8Je+es=*nsz%C-*w3=c}<%brs$T&DI-63_K2Svodyuy zz0q@wF$6^X)A;e&jC`@`6K_GtHjD8|(n)d+%IrNo&O6>#=b=ZRZTE>7h55)Q6LnB6 zVQD_@Oq@r-SJX42iNfj~I5rBCHuw;KaJ*Ya{IL^oNJO>((U62lS%Pg)CKm*)-z`RK z(Pt;wauogwex_(2I6^zfON@e>EVL9WRCStZVoe3%VRtSwvw}I{$i&t}1#ERM52vE! zg0#w2kFtd&euT&JQ2q!pN9$R|de@NnNEAKXg&0}>Jh3fMU2>tAb3%n=rplMFUS2_i zd8K(`(M>SDl-f1JZ>LMm)%3YS(GdKp5(Zi^jYq!+d=nD0@W6-Pc~hV|Df*L=32Mn@ z*eKfcR4a>q>Fok5qO{h9rBXVpQ$*gukS*-{3KREJfn(IM5c3E`GpHpe4vA{Z4Rn1VqMAG? zJT4InPtnE_dhq^<48HR~E`x9x&VN(Mqki>=ZDwI#lElpuUA&x5|?JLWp{ z6SG35Kge?n2;9l9lZjnD%QW^^AXJfwi3(K&I>o_QGRMbD^Qry`fi6>{_XCCA#bm*Y zMo$DOD^9K?9J}%f15tyD!p{a=1$VKozGDqPv^t(q%{}zK4re7d)JK>pQB!OL4z*vB zfaCO!g{nIovF_0M3!nx%yh5+sXVm2Zk;5-kU{F7sFU%7Qzi_8i)!mH_%uU}|Mn4-A z%%6j43eDsY@WakyX={C_?|RUP@cR{hGc}s8M}V0s50>K#)_@byMTfmzK0WFNHnD_B zkOHb@5iPg?yLQ`HU>6@bYPvw8_O0q^wK6S@ZPT_d`hbrZJ|ZT@pd+_Jcf9};ujAYq zR)%WTVEm`vGpatXEvrf=;{>KkuWc%(uilv+6n3(l-t$HT`S7g z)lTT)CD8w14RkFCW*n zoRf*bz8{_KCIn?Q%>uYByc$j$9js?_f~aDH zQ|=6MGo3v(itphUnV%2(Bfh}E<5^L7+v0FlVZz%k}UBFKxWs}Xsi z?XFcnpQrxnAYzckN})xM*rJ6FPenXaSmpB~l4x_(8@%}?)pR25cTbP(5k0%Mt{yvc zdh{72SMt(K!n*MBm4kFckte5aWUoAa5_=Gr2VX^?Av-Ejr?fbqKu@qiV?7f;I^X99@v*gt81UB@g`NEJq>pk-ZN0 zSiXzKZ?*)XWxc9G#HPvdyF8Z6Vy*^dR%sH8#!E(}dJE<3nC~N^VmQHD{%dRu)miQI=-Bys?$1TeOT2^_H~JR5w`xzG z_?!f=k&h;v{CH0R~>_TfED)8Z(Vx436{C=emOIC}o>Ib}Oi;iv&# z+b8*eOGh-gZ|E3I#w&kRV%{$21aOE(*`2bA@L%kuNA%qtPm;T2EUMkd?JAPS$Pk@kc~f<@59c~=+XdNM!75f2Z#tBEe(hWI*lIR zpk*|91Km_qKJtIbmnQZW}qsJ2JMSwq zCT+>}=oEgC$=Kx=SH>ZW=04gC=Vo&eJXl z=v~Ozs#D0SiXdwn3tp}llJ%*gt?d0IxA$NG3+j=Y_ENtRJIG3_eX`s_?s zU6i#KeX&XyW8-#fLfAf z(0Jt~CU@VRypjrz{iFfXRmt1|<{*zCM7ahO(n;7a3aUoke)IYLwAGsEFvFq3oVYO& zdwy{B8p(wF2htrw96aPrTx@~rA}>9a~TbvcR5C@*6xvfzn?8G)J+n3zq z4FPgBy%!i2rd!BW>!Q@4r_J82JlZ5*IU2kqERR!QfuEd)cI}Sj)}!+}wLGHg-?5a8 z>2#U2dwmq03R3nOczC#acU}Q&af1;AHl9R97uw<2|(1d{pRb;rx>_@M^Ny<(fm-8 zOxou{)melup29Ge&&A;4ozRT_93TIlgf`(j{rqXo;*q%w^M(nPv;OQr^ zfoUSqx%8gs)Ywk#a|vynt=U34QeqE3yndkK^%lhpC)Te2$?y!q3{iqZ5 zev;QVZf_+AC-2tVnql(>?E6k6pcp;TRd*fc-V2TqodFyt^`3z=k zU01k4$%6Hx(1%C<#=Nvz`%#sViuO!SMub!P&2D{8pAVku6}j z5;mciza5oN)66QW2lb8f?n!~IP9XDejDkvIr#sVobcJIg|?1$66AS% zpqoI&$;7^X!udcTBSze2unUsawjfB9BJtr(>orNDmvS}GEI4M`S4Gj{PH7X z$6Uu#wi5SK_tOLIhKhm`CI{>)zI7!8GcRy3KO{ayD{J{D^yet0MMg1Y^pDzAM4E7s zLW!%3+1x|0mgG0N8p9r=sNL)PYz|=^7vG*Zu63p0I_if@{iscSg^TprG)sspFOUOs zdl+#qpi7TR5>>6dya8u@^N2Q?B|0Kv^g7~jKDN!-|Hh%U4Y6Co!1tH=F&_+%J5Sx-31B@i}jZL+~pbR=0AstQ_uf6hM5)a-W7Ku@yV(x&< z7^o$!J=__TqLD$8n^5jJ7MH8uQo)Imi5QxYnb>Kzb!z%a4x8_j0<#T8Z=xcMJ%Fd+Y%L!?xkveyxL?2w;T63Z_%_| zNBK>1B<6KKe$aXN%t1uZhi;cSHnG{$@;+j8vAG)k;aFj) zyG)lW$QM~$T_@hHG<>gOgHx91mV-ohc zCfcrjZevo#!DjfJRbHb}X{jbFlo^P^XzBEyA2o$ju7WI$1VlvEyAJr0c`iPFyn5pS z6(~1n4-p3vi<1h&#Q0aUOz0n(x^O5I{iST|^0pm)JE;pANQ+MwY~~y0Dw6~@!2tjS#`A?P5Fq7gn`SxUIy~RCRnZ}sAqE#3(e!3o#d}2) zm)>Po^Yl+1d~gux=XHG^#@TpF;iJoB&zb5xL^y;~#H_YVU3yqr4_eiu@=`FDlWKsRqnC{9 zO>Z14+9#{doSJf0yUUiZRHOvcL~f{*RALX)oUKO159lJ$qMv^Lxz@)J{yDQeDE1?$+Q5ON`m^WA*?_4PYqi4T1XpNM2R0dXMF z>6uTPMM{k5Sk+F(a$UT6=Idsp9~JZES0`9H@T zaOGU&FDYHXuXTZds0j>Jko$b8I660RwK3}1CI$?%EYnJW$oN#9zD5w&P;9{22Fy_P zgiM&I&>PFZkl*92g%S&z6X5BnHR8hs56(DtSD3VGp!gmnMB&sI%J?rEtrTVzG$lDmy5np6%w3l=ba8`Dj&=CYfm1;S5 zIjsUe_Hgj0C7Xx6)V-DXiSel{N+0*q_JLfNPDOu&q8oG2`u4I>O=B28jVYrW&1fKRMwma9qE8=+iV#mK7z54#_dRJ?$z zT`Ak+SfnAK4i9rQQaobK}rlC4;xryZ0NrCf6qF z?F#SkJk*PoGqKr0#)uVq0?c}~Og@oylE?nq8iqKIz`k!RW5&(Dh;ayD z@`!2DiSPW}>7N%nEwvhes?d&y#xhuBxR*2&@>U9XE;Wc|$b3mha3?E&>|sS-kQ6^v zWMtl$I4?@2pxuaj_$6B4^8y30$%+%k^b!k!aFJy3fw*-STX->+cA!mzTTq&%NOifv z*el)jM|j%O4}KXw0WH#foV~7>9a09%@a!F9fIN~$#q;Q#&b$vs93R&1hAoyRML2W? zkx^OdmrUZr9GW&ZWi(nC+T)+C+!Q`!#WDqvLFDO$^Q^1eaK)~e0J1FiO7~XT4QZpNo4wz^QjpGqMh&0`pisvzDNZ!2ytKIDW^Hq{HHU{_5*HZ{=8mrvYaN zAEF$3haTVZWuyng&$tt`bK>b(0b1sJDE(5*&DVz3AIc}>9G>d zxHx{gb6z-08E-TcKfzOEkNM(yQ*WBrl^WD9C9?qIhw*(bW3CUlxl8 zD{c;sluv4oYOue@)?fc5EH|+^aNXktCdwtWyG*XPH&0=`NYy>c^+tJQ%XJ*X7(=$Vsn$V2^U%x`u&a0Dhw|el; z&LxIEiZ}GnZ+iID%Pn#H;aYjx8|S0n$!btfb+jV=RXL+UQW77(g#U4xZmKv&l@;|P zMsf^|uTx^A!W$Qu4f-V~>gYbJ(+P-IyY4rA%`};RZ?^2an zH0cjSFDw>L#q5K=Cn%?>jSW{Rnc>5|pNq<@yPOu-NNripwX|2nB=yV>+J9t_~mL@`_o+onBwX&ZMzI|1GJY9h*A2_W%@)+5Mn&+ z;%rXJcP}vTsRAc2a^8jet<*`$!psD4220kZMF^D_m85ScQE9<9qa~6Y<5NpLBRu>L zGEqryh~7`!!i3Kbd2P3 zSI9i-wswVJhBCe!R?m*k)t|+^wUkd6H?^n!vg^%*KZh-x`lfYFutC`8QtghJjB^Wi z*eToo4Q8%cPuShnY5oH3?P}Ci=mn-DW>a+B#_ctLQr-`ltC- z)CzOt~s!1T!n;!fOe{`+u4msTH(HA;n0*s-u|q8b;z{1 z$AFg&#!Ojn~Qk?v`!VcKXpa_AXkW-79_&uE6SWO%Dj_qsQ3-ajVf?6-VWnT4uxnGUDp=X3maoY3-$BJzZ;6Y^u1bW zB#yO{^*M8x@MKKNygFNa54_q&qx)(cqi2Cbh2$1J9A5=hpNsnZHtWodedq>@v?6-w z!($`>PL}}3QlQGnT5n$6PCY6aFrNK7`}pOr7UnnleZMc{ha` z+hIQ8hW@K5b7c&0TXbw}Z4CjqO@odHeymVcJ6O(*d!VZr-kLY}z|VQKkQ&h&+OG(^ zo#BuVK=X_xhF+JkMYM6Z^&Rni99-0`dHy^8TZ1`f; z(YZZ?G;e9sDhWQ8mPqQXuUN>iM9>uPbLo{%H9FBb^OXhSUeA#wO|9QdZG;|zm(ZzdtYhH5!!It4EKl-gZJ0rlkT!+4^g>%AyUpAq_VGy%BA|BVOztyQU0|vA4 zH*!c?>TF@scvN`zu`Tg(gWHVKAbyY=YUhO-0Ct?$f{0|xwKpXm8nGt(L$)$#7g7dz zc-0k?z3b$AL3s9(Gcl5Jt*4Emv-3Eu42*YBHhAs?X#5?rG2ig1twg$|SZ}tGtqcZ> zn9H0WguG;KC=?S{AJUC$VX&raEdsRffLqyYTbCwpE>F^YazC65r==0s%@~jlh@?lo zYW*U9YVKCAlxQK!Cih%RE^dJzfg}1wPvp0@CqZF4KJ*G{rKLdf_wJRS(atxopXVnk zif9&%AOEN=uq8pzKBnk~Dla=O%YIOCG_fFF)%D}(DvR1yOey{TJvE{$30mM+pH>;) z#bBdh?qpBxmaPU)Y|5*=rYUxN5*+lYz^j;59}`C`ijk%)E$Ka1>-)l&k3Cl@%DU@TegDF=d~93S9zta7 zw$N?YSX2)oEhwV5Yvq)u+tsubt~rg}YXkAq;uy>#EBl1@j?es_r+3n2)Ry#Rz8je=G`m(Q!Mg`R{v22Nva zO-`LdV*A0|?%baJ>LYPHC>z~QE$4tA*VH`?QZvf^@`={Ildn!gA!T_M-i=r^yu-v3+_FknD zc1-SCig`bOj>1tm?S(=L=yBLDfRpaSS>U2A=NclIC9>ZC+OabbFsB||rW}D~ms6q9 zS7b#U1>l0=bu=yPIJGr8pT}l7%X@qCa)C$6oVBQx?t4L zR+X`9SoZB7174R#p9MNG?`{B?MaM6*LR!)-vZy^`eb2YHJi~C(eO6^`>d;BW@ja;- zp>{?qv3-|F3l=i(9OB6F*be>9`N~y0MH(_KOm;?_OgA&acd=D-w7l7LS1^_XZGGG6 zEoy`4I6()cE$~6*V`(Qy?SV{C?c_`(ZSI9nFghVJr&z)8Cayyyw7dTLDW>!V018`m z@$JLzBCiJ9d*`pA^Jr~n<{#$;3kuV2cM2dv{J(u!%A{GaQCunuwt0s4D?6># zqUGQ+^~{SC$Eza_;U>CNv^W4hK~GXF z?T6Ykqq=U`}Ds~-Sc^zUbv zCE@f_^fB<5`>lR+9l%b%l(L@{GRAA$Bj@22jh$u5rQXfNGCb$-${&-sJ3OI>zd}3} zXj<5o=+7b}WvuXhnHSrhVs=8j<-)Y(nk><8)lS-h$N9ZCK_AbX?|8X@r-r}7A0Q7PyX@5{OMC!buRYfjZmlk&vH7QI|?dut6_V0`IMw|d=w zmV4fRl8%XSHN?doJIKR0pBmFCDfC>d`W=pGOz`B$DaQc3mf-iVpSfC80YEh3FgMy$ znpGn69t=c9t}ot6A$vjhQE8QLQG<1MQk8qfyCK*FBs|EAX#5G%;*IV|@hq~ud6J;4 z#iTe%OuT!%Om~GyRb69hkBW&cLb=2tw=fDH+9z%SVI5u&usH3^J9+RLC=%2s4fTYJ zoPX0A0PgCnP7Y(*%qnD)H5DHBOyUM9jubh+qaY-&#mg}UWQ#>8TH_2xi_0`ah&oQL zcT;H@a&;8rQFW0y2_Z!<`*@hD-HCZ!{N)7;H)KHymW!JBK&BArH6HKtA37bl-k|*O zJoxoaWA5jIwxv~fq>ZG9Kp;%MjZ=!0g$xQ=n+dhZua4GWgMLju;-kfFNnG2Cg`x8%2Jo*Vuhee zL&czhOuGGbM&T=`|9ADS1{BH+Q1ch?FK%7U-X8myh35{J1F)a#-iB{C1-4XMYzxxh2#?XZIx#ZiA@R zS7WO=ypDz<`-~(@!UIe;aW<;X&+JUqM!KaR_K!vU4ezHQX2P{}OC-VT=`ne?p}oRj zF2_sR{+`VGCTN`2Nis?ubpqu_^mbJqP~maOa&TFULK1|%z%I2j_kE>8-$numVf?oT z7vCQH@hym3`^rX>?`!3SAVlO>W~-Uu8z&iOthpW4q89r&syS?a;OylDf^Tzu*?Ma_ z?A8qpEQb4)f85@C04&2_f|_Rn?DnznZw4Mz4!oUr%Cj`G0ya`v6t<*5*Sfj-+8?Eb z>%m^|UmX#bMOE}h0C-!IDu=efMU)dN2FK)*;~>|o^J4#j?B`{rOKaw37g`bkus8>| z97!`^Ytcy1lz;Vgl(=b;zhGEf3ro35#IeN&j?8`>hYAW>a`We`oDmYGX#c3%Ja+n!TnMgWhxreMwcoA`^AfnwzcYb3T5Q!n2F z(8xQJR%V7J>QRsh!(ra?ww@G*)puW-&?PSO@gD%#vf-x>+N+OZO>gk)E8}L0yy_ee zFsdG%wgJ`IK^Z7l)J0TPT~$a_rk(VYx7^x-^dvr*_=o;930r^@^^BMdP|);3Gp40i z=?**vSLscXo!_sb!b8HUB~uUtQn&lu{ruhc>P&%c!f-)%RAThb@Elc8%7CQ3<>36AswZK% zNI+g&2vB+>v=>du1BKH0?Ed0+C38WrJGfioR;I-f45*?|;l}`l1j4jZk*R(x@@HlY zqG+PVEaEhIyTGbLiu!evi+0$@wpB>OyqU)LBg@WZS~QvK-@~AY(;dqx%Ht(1yf%N) zuR2eHx4-EDnYWKozK?#*Uk*<-qg%MdqM#qy9=iC=0|0I=66*q2ibP@DzyTPW4rh+9qV0yaRF@f9jwWs{iu$U_UC?4hcWe{^C)+(;UdHQ z>Jwu1KTx^rmKHL(ZVE+s?5i?e{1lq^Q;(q#{)-;J5|= z(uPkI{?!nBELszDo##6xqWT_HEAyND*u+XX0=$1Bf_pz3_1Q5>Vfp@V3VX5_1mH=FJ-@D^0*?fs4}m|we;xuTX3saxzZU>u zOABsH#PFQK0YJ-UITKKL`?s7#;PSwHU_31rd3VnKGOAc^3>M&Z?Eq9LqdTsB?&Fn) zfdDhfXs#p5W3e~oE)c{r+P4NQ=}|a*qymN2xF-Jvt?4G0c(jwLBSJtu(l+{Fg)0o8 zGF1U!g`H7tmZK|a^xi*ze0Qwac>H(2O3))ZCMNgFDeyW^h$6KvQV_m2S(i&HK6Ot0 zU>PB4+f*6}&<%Gwsac*~vvHCH=yZ7iAFyD9!^S~a-;6wo&FN5%!e`ta&!dY-%j;X`HUuXD%G_SKfx;|PKzqj#n z1a~<4iG~-eC}()|+o#uladg&-89ye)(E&%12E&D%fMFNTw`?bvQ ztiY=4f!^n=`fE4*y(yMLTSZDgr(!B8IfTkR{FL^8)TcD#${JgX%LTZ{VOg1{8PoSq1&`+QT15F^?>5`~M1y;-QX+WJMEPj+B=L|8j@_k_5#$GE;cr z%qLG3nM~dN&%P<8JCxF$uLeG~P@NNC`@gA>zZ!{^plnnUo0x`62U(*48 zmK;d&vOCO^@BT46OelQR@>eIx9+c9R*%$XEDUSmDJ>Dz`y4NWdJOemPYUS5fT&^@ITezIuu7LLM*%n z32ulKdCoSf_@n3EH z+p_*H2bQ&H={{iM|7}_S3=J*_X}S8pmi4#5B*5y(tX}RzxJ|`B&Hh^;lxI`=u{G7B zN231QvrrZbW$!SiO;HD)gb@HWJo!fxzgn9Y0%{*7<@cZc6%Ur;rU>N1%kw=zn$YUsv!T@7P62FddwO%`ye=}Dbu{lE+okk;gmOjdp0!5(+W>I- zn2lc{)?dT=0T6!5u7rAD_#*&d6~G`ZoWDn*NdXrkO#I|a)X-6AQB7}S{Fa0kMc0q1wQO~_8$D*%0b z1$d2s(J1VWEtG8?h_19ak2`RuJvX{z;`TJ-8UTxY2GIO12{p3RddPbEBqlzw&GubW z+yBSaTSrCNzR|xlLl51JAW}njx0HfP!_XigF?4rGi}cW`BHf)sx6;xf0@59xhxd2B z=bUx^V=b8AiTk;)>-y}yM}G7G&%%nM{N8u4%lM$_>6L1%ovbjZb&0pPG8EX|)Bxq{ z5#hPUB>1UWIkXReq@zsDgALz)%ktBhj?I!^KJ`C7d#BHl9yyLUxAYF{uyQMSm6TI32J?F}% zNrp;CzegMcVA|DzE_$&+pO09MFmo+w!2x=h*aK%!ilh&mPQ0Ps?%ak9Sb(9~a zX9K50+vD#t<>4=~=8J^FOj&Ai0TUWQ@p6qg0|Z$0EpQgM$AnjLIiSHL5q%PX*~BM6 z8~!G_Ht6zjN!R0OCHuWm+!`gavRfT+v}a_o-adI;`2o;fzF{js*>nc_G*4pwLEy`>0K#ek_efAkhPzxiHfa&y?;*FO zvT4tpo&~-Dj2_MfqY*K(XcTuKwflupeI7;$t`RW0!+``Ojpg^2qPW=g|JEO ze4|tDoaZgm12_oZajqi!bxkatq`|8e2tl5iNx+TO7v0Jn$fb8`K)r-6pKqwVTCQ(F zpnR~5+;cuWyA9XB&0qbx%_#k|*9rgUIO+vTFY^$cNSpo*fN*Dtz# zEqX!_n+4Fpmg*iF7MwF;?)>-Iy6iTi!3WGRnY~*dE|<1}@0twwnhXzQMshC#Miz0z z$u_zE@1EKNDIB_~fSpTvi#&+Sw8MyDjrYzBPR8+0-3T>o3h-XJuVC=L$yOomLqmah zK5h1SW3FuY|2+v^@AOw`IdEuHc{QijWSY`JKt%`QLy`V>U;ETlVAZ`m05GdLc%D!WQ^=k6^I^^vOG7j*9|jDAP!z7kVOQ0*NfZEw_+fC6bv1RDVY4Wqm&r z`A{6*^nvOT$H4!T3V05T+x~)r(m3^*oH`#Gc)Pm}Kz2)U!Yj`gYHdoz_Q<+6feTM~ z`UA}=v}9DzGB*ELQN^1Ipr?g`9JWV*&uoOcce*{IEYK+jNF5(ORwh|s1_L%NL+~{G zIz`(oePPwrB30sM0Nja>*Ew_-$?Jy2H;NWq_7Z@~ta14t9Iv&FP%<6rg z;jkVWjv(uA#;pyaChL=eYmQ9H3%OK+@6)N$;x-=Q1WA0tt49rRLPfle*NQgj7aUu* zgE8sA2#KRyzf)Cx!2H6_)92AlD=0v9Lafhc0c&brhD8UWs%z|?vITgMv1mAx2}ar0 zadp4wtKqZ*io`CG$Fm7(>)Lf(svRG|2uzEqXp(~I%NLXO7KUug8Uq zPoA(UD2Q5mzN#sLX-(xx7KE7Lq`MN?AKsw+SQC=O*7x0Bp!|Qm0KA(#7c-ZCK!-fm zvJEIiLn!Tl>OVGOvWBxDTms@j`0?OZ>zwUpBOJ?sr)QBWk#|%KyH3gAMt{r$YoF2C z#cs~+;e54xx($1A=pKS3vZ>pMP5T8u)yg^qvj7zjXWxy%UFr8Oh#BIN!)p0A94w=XAwT|O@j z!C+=T*hH9=wbs_?^F_0rIA6a27+IPH8UWzm&MyT-*AvCE*Gbw%#at4p zaekJSm;pAhL_Ip{&T7F`R=wxpYYZ!ZM-NZgV3IcDx@;?|1w#BPlToodhbkljD|mr6 z>_<$wd+8Y#B3 z+buW_&yG@@r3qNHdBFFKUS?bX)up=8ggI-9AlM9cU)b}!@&cDV*+Yp+tF2BY06Pa4 zzKG-iPwL7IDHA*SssV~!_NkY7RxaPg&%)eu-5Gd!r!G=fN|A%z_h%`IUtjto(D$1g z51C3b1fs4AzT_Nj|Z ztDahhJlYPMRm*Is=pQ?O&kcro52=amNl6jGbr4ui^-@Eia#FF#Y+~ntl}hnaD@PRh zHd;{VQ+Wy4fcM?xSJ8{u296NC@|pS7$ycRs0vA6Xr(Z;NC})j}#W3_s(!!!e`=s{E zJ7aTyT&nG0u8LV1%i96XFJiM;XO_t7?#wYg=%|RraJ|E@`Iyb9w(up&+|{@wEZ?*< z0EMUPwE$-;cvAG};>9PhBSY2Xi6~~ekeFcct$Y!0Syci89*j=A2f`ullQ^Pq0GtmN z;n9pzp_uG~q2LhoXe{*{`(26Yw@(Q1S|a>ZzR!w34FHzV+}a}@#aiGZyECR z29xx160FtryE6J|Q7D-X0E-sEJ@6lJg7?ThdSDfE(6dbU9dZ}Y{#>Q7f5;bN?;brF zhgv|3=8-+)-~+f20BOee=WU|R5k_3_DON(E}h9Ys8vIBftP zbqz@(pNE*-Jeptq{e_3B*-@_Z7njN6qszfLBLGi02q0p0XWvbW1-I>a-cEV%7*QI6 zh@Bt%#74cK#!9~H+!BRGw=pOEIY`~A-m!#H-g6Rrn?Dftz-8>{a>;QiS}J9f)KeQ+ ztz3mTQlq0>#Bsas<6p|+!Onz-GvR4?= zH_zH*3$p;%qYQoqxHrh7c28WL8cLPeW-$A2GeH#3B90H(1*=eEg2j=j&;xfrmHPMr?t2I~bQEli zuhCqDZNN4vc2||ckqr+PBpT6-e;8I491Jb&{(;W4-mvt6c!zIPGz|6HMQH;#%|z<> z#%CcE`8?2T@C(KVOZmRuXM0g2ez&Xt9@)-`?MK?Y&tiSujml?A&zVm^YyW^YIyIM+ zyFF0nKvo$h;q_r&c6hObC=a=_Z9OR~q|~#@BVxkRU~tvA=mip6y7Laob@vZhBnT!$ zg?{TYx}i$Y9<>za=2mY?hs9X&5he3EFAQXcYA-oKsnr(_fx=&Lt1~~uhJ#qOe>&dbzIbPJC>gwp#-Jax$XJKr^O5=6-bI+{?zgd$X?H3WJoZ}eFXZue z=a>&G4ynCMgxM4Y7IJ||^N+r+2(BJ7xL<}%Jo7iCDhcXZmPri8Nb;W&%!WsZW^FG= z0Wy@rk^ac&D(v&6+8W68fjH^k9{oc`XZr zKFLthl26@#;Wn1e%|sEl0%gS17&u(oQh!w^w#;grkIcLJ=KT>^LRt*1q< z##7KqqJ>8}!i1?fc8w)WcrQSTt@`RvzQic8&2Dx~M&z*PSv(eD)!SgX@d%~d-utP} zSm9-bTEYV45>vB8s2*Ix8zUc?aj=;zCz+g;99Zc1N>Ut}BnYgIZMa_({2BX+HHuT@ zc5nTGLA{#>9ZwV&iAa2f5W1M|$vK-|*tCKBVbq3Y2@;=vAuCZUlvlku><5@hdC9r0 zfx<;`^83wvZiAY!h~*@Te*M5orYcI-%uuP?(}^w_Ie7>2yjsRSNETkb3#_w7 zJ#qlSC5Ji? z=RH`ujZHH2BS#omfnXv7EU~$QPf{Rq>7E#emUkU{ep{nxXJXhcgU8x!8 z?XI}_?Y~IqjKB?}MuV5qEU-}0gVDfGHp-+?Z#QaQ5kjRzOb7T;GVNFzmMu0AA;XeH zR<~(uEzoX(JYH+FfwuUjeB8&;XTTlUEQTBccLAJ$`)RvzOWuNi+Qu+kXE)h?0IU*@ zUHr#=)n#~#73BvOOmheUeZl60WFLPP%GIb{n3NH(MwpA)V>eQbkO=JKRbS!g=UK90 zkD$??{Q)FStKr2a&FT3c#3)|tV?FOK>FBR>LULZtyA>dUWI*NWvZ8X`mRlgg~ z5h_myCX0oQ)Px0iWLvChgZya9Bs9O>x|UVuGk{Y_h6(8w{QyUdr!&#B5v*V`S4H`b4CFR% zZFS3ynvXk0!79>kyV02K!sZo4ru$}RkH;meRGXv=e{Jp6W%JFqF?e;Qw=q-=rqw~f zU~8}*gu5itQI^9(u+!h=964)d!M*?MUMssOG z|7xu2c!*dJMr6<>30VBe~25<2Ua#YIuY+Kx5A&{dzgm0c04EPzN4bI z!K>%A{)#>o5*GM!P<{jr7pnbp7xtMN&NFtD(_KotAn!f|lyi9>KGoZzh@o6+?cXF`|n!u&y`RrAgW z?hsJ~y{~{9(s_`M@SN{1rLO6v_o-(oak}p3{&WWVIe_*lw)5IOpq~_ldxnj#i{57ee-_69BtgM|<0%FG*=I|9R8|)I=aHG>X^kr8gt@joy6F<$Wdt62@_h)9H4Pz!fCuFCK(Hmobp zDx`qPhB@EAjXCg7L>(F?hq^&gT9JDcWJA$EstbdG*W#=n9wVjP+ow;DLd_h;gUh@b zJ(kYO@FkpKJLe?&9TgMhPDn?XS+@jouE1e4x7cajufysPKTn$aD}0C+LZ$3(Y-uH$T8Xs^GJ=?A+L-?UO&u#$f(~O zX(vnm3~h(&VyBIDT4O`r?KsvK1)sVr%NGTW%s`$-Dp>f&Txn2}%2U92)NwB8if@O( z0%;#9ihoDAvpd0WlM7Npjb0aJ6ZK4cC7BM3-@B@T zFHp~L4`M(o(eu@pBTR2qhlLC=N1&jdqbCGGjttf&tsSDxV8q@9TDu~$zJ)<)=17k%6(G{211|?*SfJyIWf*7;szlOF)!!m*+Y%j zgv^>znDu!dWty@qx8i(f%GZ4Sfy_ufkU*gY@hC4mNV1&}z0#nsUWum`*8EL9(&Aic z9cNAuZenfnO2`-DkB|&@>3RG;5irywho#^%*JYr!Qc)*h5$+%I0N|rO_{K`VmhD{F zco33)Xl|%`^UP~l6eBcCGG~Ws>uP zc~-BjYX@{_iIEYXYBf}F^{!QwWtdQqk&{A1v+N%^ZPlrS&@hP6@Nj6X_^YcXBAvt5 zEJI~cdA(09H&vtYXd^y}y~amPXe%QR&3;;SZ9%r_vaHXkiM;u`qm-%AiN|>$gD08F z#!(Yptnm?(j7Y?Ta>L!Wr38D#f6Y)_WRPYM1%q-*(xUajWt+Gh7U{hGC{f8Yqw7&4 z5raxm`YgC4dy^iF^Ig0|C;Hck<>ocPU*h<=qo`G&77d&uUV9TOD>l7UW-qEvVq>x~cB#)_wOV(je*`iQpDSpq07nERlt> zEn|61y-VO=lzQ>cTegouFbu>(FpOdfXgF|sdzU>>ni9#gSiQTqCY|8Ff}0gWM;GNx zYcr;~7imX=1tZ7E%_+EWOiUc{CbBkI8|Xc3>zHG`%?ysefC zqpgAVYO!O-f!g1F@tYnn|EgZr%^}(!{2AobNqz`1TvjP)(}0JkcR zxeVr_&(*WqzJhc^m-*;i(u2E#MZj#F2B7Cgcb}@e5JP&*5bh}w@jVr4TPU#%H5TKa zxZic0|8|J__^2G=F|T-bFwn5o8Hl8J(E6koMFlqMsPhTV2sUz?gU_c(QBN7Wnt~ho zuONG2gS)ib07enLOWFAaHH+fN7!?=E9`(cvA2G^b_hxOM3i={Z(;)R3gr=OZC||?R z1FeL-gvc5TnZ)}{Dit-1KSTrsnw5`wsdX4$J(MlpnD@+MB~;Y974%xKQlE!1(BZMq z%-9lF#uhfg59}6Cf*ZQ0%J@APc7{R)bG*@C+v)ELdEJsI(Zvv)=H-Bi&)e712i(vRpGxi2m2Ejj%&g zBCrC?31)X-1x6wB!DR|Bcl(&}sN2t$F0lE#w-l!FPbTF4+^#&(5$hLi+nRIk_jt4p z#6_;!26qt@2(~YdprCH5m>Rr0m0FkFoLxOp@k1CxmK2TW(Ij}aa)ztRVP^>~UOp52 zfHMkK&3=idDC8~YhVAtvzRR{S3hi8YhW9~cs)RA>S!6T01EYL}M`Qjf|c zeq^&5tViIJ=nn8a;A$7}pnc_^hJ;jw^J>0~84m6dK=o&aKceP|EO@!=SmlQ8Es zc>_2m&lCQ2G)KASgYt&=SfX2tJd<0L{HOOg77-JT#)?ussfj?L8U#GN9E0)|zQt35 zbjjRvlntQ)=1fZBZM?#Ej>N2L>18E?xq7M-Mr*O$);$$;YVr#m=X8}So4iR@aNZrc zh1plzV-(h$kuUz8kCTT8BnoDp(4_cNA+15T_6-su;7pTUu0O#KAjr6UyXkER(W2a} zo9PC^o(52Nwe9j|$WtYRq7>1;UV-Pm$vrc%?90HYn4(FnlS8sVr5`(-Y`IH7Vhv0G z2`%^&_~*A)us(NupUBinraI7nydW45^&{-FJYJerB5dH7bh37Rms`wKWqx$(evFTsUL-Q}$-L^3R zXeh&*eH!E}$AKXqB_NvpHNQUsjI91*&&FY0UN6>~HW*ZuB>MB?KpZZ=xPS(Hrbl6} z8)Xc2XG2d-WWxO7qm8}#ACZCK=2JaK8-d0c{w**Zt{A)Hq44sT=(mYxo^ctuC54ym zb#zm4NK|U-Cnw4ws9C>1XuPt|<>a@*O_n8+Bw(Nt@eKj8FFq8M?ilEp66TpQN{B=y z>`czNQSsaoMtLHh0(*MckS6grmcx%M)=7c|d2W4$FUT0cJ)#7M14ZLCpK^b_lq8QM ze2*rwgw`F6D$-^f(bA?jPEYVf4-4u_MS$OC-ps>X?MP!RTbtk%q*88L^h5OtppHiR z(`|#B7{Z{sQ!b}X=0nU6az3UbUlkEs7k|Y&194RO3hEQLh-yHZ2=|f zRDkx_plPG?eq_$0w8E8PVW#=GQPSu3bB|uiJ$x4i2Y$AYUlx&a=}Wii*bElw>$kgf zi9p&JiU%vBAFha-Qpz9AE8J5rO9ui&MU-lila!y>7-2}U(yO!G`^B3D3qvZE)p1B@ zpJwEw@Ya_HW=MBHm8DJEyZlT|th+PFej8{Tys6byoNAMwPQR;5+LJCwj+KU0{aNG3 zPcohvte{mF%Kg5sqgXA~$=u3jUh8q~(1pDT$Xdw}1`Z8;hu^gkkVA?RLwpEc6J(dh zpyjO`4!$UgZRpJ)r-JJs&I}3@M(|l|{ueEY99{uD>3@;+f1fPbJEZ5EVK(dhio2%$ z=i&9)f;pE1Zt{g~F6RXHZZC78QKzgC-*3HicXgCgt-`;n2jcYL2-;nbGwI?@g(BI% z7$7MqMXXnT0r1NKBenmd3VQp*;*l0me9Y4Tu+m^#StKqgDs#A;qFQ!+&c`5tG_&~4 zp-uH4Vi^o!S{tS~T?m1YeOCm4GMVS#NeK&-;N@l*4wZSiw|Rl=B1o|d9Y8dVyC#?B zWx9CJ)-1kOPcb6|_OztPo@f-kPuVA%3lG_k{|6DoCX8Bm!C^sB zYfQb0w@FNQ5*O4UMF#%8P+JPbk1&#D7C1&(059WdJC>ti&ePES4=fY|Tp%awbI-x7n4N(S)bH?X zE^GXqC;yF72??O!lw{a!N&oM^K>^}}{v+wYCTPw@KWePhC?$Q|yl`fxNrE9yyfsDj zZ7S%0y#Se6rvJS+01C^X0m)KeSrDgQRo4$|z@=#CYaoCCKZzLh{%APH$jXdK;Nt$L zI{5EZQB-IJ#Rd8`mb`Bz1MZue{{YBS>XY|ns*lc+IrtSn0cz-DG%}ir&)zd{V1i@? z48(XRsT}3nn2!61wN!xgG|N9fzMNnOH;6|(y-p+hOEfdh6M@?nTIch~3;{yVl2xMZ zp58_q?J4<4J`z90tT$o^z$XgpNDUknWh_V2d7l72{Wh=ao_vsk3mtm( zk_X_<*XUGl^^~n+OZET0A0P+pr2yhVdem_J%b&nz;Io}p?Z!xh-ISqQaL3cVST5Jo z^98p`HJ^7+Su-g>eB4_ApvlPjd0go5UkJ_9Nd}?dTa;1t%1q7(0KhR{MAC{pz-a^A zKXf#QruO9r$~pynTIoaik9ErV@Ts%Lk)YhUk<;&yGdX67u6n@b@B_$z3jn664BP2G zLQlahxPYrAB7r{F$1*M-6o!M$^`sREiI)Lz3H6+(sl6_sgzX~&zA!@D>Am3wS@34* z_~5XkvgKVcvFpKBM%9}0?|Hk0nxiHf36GZzhY9c_QOA`weZbG3RovqMgo95~^Zw@x z?hT_c0^qHHYfgp&Jjv7(BLk?zwz8Z$k^s|&@J1+?1|bL)_?QS}OD-TWkR0Wv#^!T* zMi2jY;U)F;$HLOBQT-$xLfe-HP0nUm1D!xV&S5j`pgIq`KGR=P2p(iF8Po=nmoIsWm&XtxS56L6w>1LSYP;v%Kv zFDq1XI6pDNBB}(u&sHoN8jkBMhoPzskd!^O-pNI)vCOvs=kQzYTwp-dc`XQ#4o__* zbLeuzeo9Y;ch!tVZug(q#~~zJ-qS5FGR=3f+?M7B)Leb5l^tnQh$dpK1Z<8o>;?Ym zx15>oNuSX!c!-FN6FV&h%H=$G)R!*?uwK?QUTsRF6 zTpU;BDbe<≧&vpT*fOK24;>eoUl_Xr!7tykqdvLl?Uu4$%!CoWNq`THdYlpci8| z9bb7-sbRz>j;|Dt`3=xwy~z}I;s&TbJi~$TeVSReTt6o1`{U3jagBpx%;%6A%euar z9-XXu@r2Bf8mnOjZ%2*d8$!lFKFdLd41Swb=ldmqVmw&wTqSv1q(TV8L(sEK1KDnA z_7%-a-0kPnP)kZuZ_X7rmG@VpZ{r+3zrtqguU178H=>zjcISC3Ds z!7{Xcwbmv9ms)64M0*iXs#MjaJjF@{A)^)nFstkce>-1hgIP(eq394=;C>>V#a-nE zrse$T_tWklagXnWElmycZVJmlSsPtiFX@7d6i6j59`YWZ&p1WI@Jxt-8Xw@8e%71#<#(3JBIaK4d>w2@@si0r$nT>Mv<}57cMgakf0;=^^8A2(ps3zslyPHf?okU+pj2onNWDYN8Q!Sv(Sp zWI|q%0D>&+&}Nn+3vjO_^4%dfyTc-$f%JQwk&lwv1_|xP9Y(j`M^{@^8t50EZR31S zcD)%MH2(P^xgyOy(eTADhPlrlIO9J4Oj_1=9lCwU+MdNC7&MlaX5_dmS50H({^h6Q zK`+IQ86UBm9&RB?YWKfm_j?pOYTh}!chQzu6f-`XXjDZDMlte50nNw^4lU?;O-g1# zW;HBlFer$SYY~dfcYinjGRJ|k*Ce69yLM1flrOy9NDDouo{eggLph%26R(9=^&nur z4EWU#>(rm?BY{Z9vqgj6JhF*;9n?7hIUy_(LkfJJNoQ>72ETt8gm0Drv6REWWo$ma z%w6Abclx*%EnjnZj8A;=Bcm&$+&RwCSM+mWV-7!~q+^2PU7*gD%1!9;_|3U|*?t%X zU7W~vm9leOM3wcb*dE`ySw@}pSF_6+>(Li)aZFxVEa4{+eqX7t%pF7(Y*oAZ+Bn$$ zvvrUkk1mzKuk^UM^A|S5wphu`oczowa?oi8q>to0+~CPC3IxOZwvv(k)-BGx zvNr+in#7NK^*kD@2Nv>AIdpA6%;*q^X9Y;g(}d990o?IJkN@4{=1!Yw83qy~|2xNL$wLYy1H(fvffK zhlc zFZ~8uF}7tD7`o0-&`D$e?3>!u-9e(&|L3xeU3bpuHK?5tjZ9%!|CBCrsD3z1$vJ{O zp%kqD=J~i;@hqaQZFh#ikG$%lOVRaTRG`M%RhOwSC{~-n`)H|A>&cds-tRcr#q)40 zcwrW>pt4yuExb5Q>lSf0AsKZai!VIgTy4c=7I(kN5y*0OsE*!wCxn5IKZbGtZ0xY= z!yNBWs;KOr)Ui#0-pYMomx~9x_+6MlH6utg<1rrjwA`Hnk$f)!Yngsil#BDd8Ovv} z!s(5w$*fq&1#{juOxHJ>cPDCY~3bl zd{&@|#XbpTTM%6F6h5bY$}A@*5)F{+bD8ht%OgiJ`$#CB1p+GryRs&&U_IC8!l35c zJ2tq*-SNpx$Yi3}&PWok1Kqd&fxuWt;1EgtM=yVWo?M8rqm1_N#_6AuH}sVM6Px`9 zO1Hy*MXRJ*^O-#_k>{HH!}l#;mcIVPW$~{0=FZo0KmQPUciX9F^wJ=QQGHp7__!%f@GVf4wu0U2Qa=X2#Yt>;MrY?qWz!c~t z!P0J+n%Zen&PI)C#F$`eI83vVdwH}H#K-e0FX$<^@hPFPvh%U!iOoNqGYzCv7KOy} zbX*shnGfIYz5c0>OaJ&jT;OpPrP=1%wRdpkaft8Bv`zf^L%{c`(;LG*RAntJZ|(&* zm5Q(FS}R9JuQ7g^s2b>UFzkEM^Ar8%%s??z5_A8<0x+6HfKs$p&O#Rek0$ zHL)H|XMA#CGG)z=b*x*5WJ8>3#XUX)=VldcTvX6;@r{JtbDduF2zNl%iXa5#kh(x2 zz!qn-sFzXX-U_P2!EdrE{^_S&bI(K(=@>N~S22(Oh`v68WYNiV1Ct+rpTwXSxK%mEO9=FlixZGNyEq-L*H|qH~4$B82CaFMwYt7Cgs}Q`s!Y0EdttH#pOJb zBPu~9UrG!5E-JKhuX$uIF!s>(yyaX;r0ewcSGYzgOt1LNCdK*7v`*-5-S^k)xT+Oy z&fn?rcB_s}aG2}It^HR1zA^EsfBwvth(cOTh*k)9_DA4&261sjed$&D$0tn&KCKuF z;If_uD0C@nwU=!z#G;iowD$bG5fr{(-%@6*mR6Mew*#efefzll=3C;jUSZxFo)k5FT5+pUU7PY{Us)>CK*-~Y&pwyzz7UXi z2z&VRtrC~+p4(-mzrFIN84;Rf4@hOc1?+$* zjdE5!mK>ilPlFfw{8G*#HIR~Jdk`-2xFTGXxq($I)UvL4GwXIOYuk*aE56)i-_u>+6Kx>oOj3*4IsVp>AB+3Y zO-0N4{TyAx%ycM?XBBK7bmw2^Dp}{VZ|5 z59_YDMZd|e#*}meFaXGu@*ufr2Z6%0y(y06UpAx3805#G#GQi_7=8@DesJdEYjpJn z26*8iO=>8rwco!(i5IqpRh1&2vxWWErwwKTM zB4BT&tZez!;lJXZv&SVKe%)M)iYD_AG8M{HE7dF^$G#ghFK?36*AE!CdT98>DiJsu83--_bqrz0z`Mo|#`0@&p!0);8Az_z zmZCxSn=%4n$Y+&iz|P>qx&yZ=g98*gSFUd{{{8;pYPIIFjh*g@nag3(S7NBoYkI@D zX7_kV;O)tTqgv5fSmf3b?Z~I?T8~v9ZwCX@y_1>Entx44HVOo}B3w(C^yDn<`lvq? z*uKRsp<+f-a$I3;dhB;>hJ;qV=yz4I5^qw}y09s`aGI;UudLGs2F*DQbTjDSq2E%@K4j)nP4(1a_hS%yVYtp5}oTa9| zxZ!A0(zuYKu~_O3W=8XSF;e~MMGnt5ftst3HynFp!MsG+2C;?2pj{D*-|sA61u(q< zD)Q*+j&7!K50O!t0TS>_jN&}772oYD7GlKq%W}VDDw2OYB(8(NBqEnb^?$v9_EWnX zix~<12K!?6Q1?8boIvQ5d#{~hik-)c|AowILibKz^c&h1$q#5!ue*IDMD^SI*n7$q z88=BcMzeta=Pt!Mn8buR2XuTt9LW*Q`6eIE3Gmf zos@M3Nt|LDEDWf|+@|?E+(iMW7BiY>lINSOYN?zdl*=DUIX?M+13c7GP$^tSY7~D5 zY~c{f`_tA+{SCZ7Q9g5QaNQmrO4gEMS5BZK9SwOH6#7{fYleV*CDe)P^71;{y_jB0 zxlv_Bc;Xpy|B`x8zAOnAg|}YtWR>YLPE2^od(bRcy?1^$KHSK``ZA54K9!Psmx{QI zCc|&8hj&ghS5QBro_Gh(Jh#iF*GuYZ_Fv~(*ZlW?rxKy^0|{v=7v#Ic*WuzC*7d_% zsc>Ww6;OXb|F!E5l7Vd$czlS6VH)mPvVnXr8xybekZSmWaD2oBNDb~0-acN`tAcjt ziN6L)_kr#-9!WQ;L~MhJ#L8DFaS;{beR3g`7<@_j3UMYAW@B zdz#ecb%5nddb>*v<%~LyOjU3F;Ex-XtdT7d?;Vn_68Ex-tvkIjFyp~*j>L6E2qxeP zhI(Bk^6J|U*Tf&IHBQE_B>_1e^do^z&-^2Bb3eEWDVh95&MW~$1+G9xBn!A_DsP^Q zo#k4AA~F-U|JROb?@Am;Dk&C=ay!XDQsNzsHIC1c=-EX2uCV{%#O-{Q0__*C*P`D3 zS7+7G0&bGn{*m>$+^SNxbWTlMkp zmonjcbZ)-SVE8z&);Qk;Rg5f#2?yf2oW;z=+E?)25MHwl3vFG19@?8Kj0A3z4gHh+ zNIGm=mx%P>vVTB&GmGSenXGy!2QmCxXTDLlgR4uv1E1@-(3cg@cr4>cZc^4u-^O=| ztrZe%{h@-vN0fh0iAg|mxghCh{_?{1E|KV2Mi(@|6j#Lr~D8)hTL zwn^i~X;4ekN*!)(P&)byW=k zE$Uh{apA_~>JbJD_v&s3$mt@jT&dH3a?^BJ3>X_MCUK@~h+ho{M4sNj`P0bey|K#K z8q3nfz^8fsloXuE7W;RlJvd`l%+a~MhlDR@)q9tAZa`|4Un-Zb)nKJ@p!eq`MaFDv z2`_KXv90@hmVc#&!LDv+Gud*ptM4W*^7mnCnDnRify$QS71g2KlY2 zMNdkm0YT%JSMjyDm#McxsF-Jn#g|QsbR%(&!G;VdltMcR0ZS~o|Ed)~F3Nq@T}g`Yd@d0~Cfa-l1CD0@g49kGMORYwD8Zd6Oy?YT(Zi_D3 zsy6AS=ZJmZrKMB~ zen#i{A($Cz(_zd7s%c}nx}}iwI4&SOefXNYUEpw2q( zPA&Zy_TE7!94qjMWcIF{l6Y%j)@pQ~ZnC<~?w_ooMd+nup++QlE*A{ko;Q$CBg&bB z$R~A9zARYN$Ya4Op5PFbCpP)o11a#4#()TbR9fZrRn!S&tWY86&aN z{@O8Mo-Y`>cNcU-&;6^}NHa(D*>if4Gpx|TMi?Pc{<9(;gF0Kr=j>3hF+pk@an^S}REbHE6IC!D3aJ-%6qDr`ZYB&5?SI zixBNU1?3^$h_ag{be`6&s|DKKQ+s{E&M~(gK|Lt`;h!4S3f1~%yn5RvM*KSR+q z;E7!XXs8fsd-peIsM9o0(oipd$@lihP;C9>6E}kvH@kIQX8RbP3%9t?G`(?>X-`NX z;BQ781^b)952(ONc8Cm2cY^H~&)ev)cJV0%ow7u!#eV#)eW?heAm02b9-m(C^LG)o zMqK8*Sq^9OR-mq=&FG(!@+?M;&JO*68=luxX=QB86@gmA*WMT-q-^6Q0?*TQ5fZO{ zg6}}IyoW1QyXllmk3{$Thi=T)jw#dVHA9UACfuI$azwMg?RiF=qHKnh#G~!luO2ZF zZ&tyFy6JFchh71E4f=Q{rCOfQ-yJWAbH8*WCK~AgAPk|WT<|UysrsFdcesH~YpA zk=?piZ;~Q2Q-Cmsd3)he{-2?bLHO${tKi}4Y-VMAGa7T!@F6yvOE5k@C0`#%>)|^` zW==*!;t3F2PYUv)kVAO<{Q5SoiaJ;%lPB;DPxn52DQ!53Sh?70p=9Wz!eC@ixa7kj z!;O@!$<9kcLny@Yfxd?j%a-KW#<=WtVMJc{Au#sx12m!`U;+JNKfgqF`4D}WjfC+M zh_!SPW%xxuY*>@8Vq;>_Ybdf*P0(j(p|<+7|8x-v zt+p9=$ovsFv$ToDSp-`_*jS*EFfQ>`vx0srbOJ*P`XoB~6v^k2K+|?^+aOoqSpp;3mC;Bf#hnQ!q@DE4du{~NH&!pyDC3-#qCmjQ}u7Q+<*SP&9Y;guq|E zqcc6j>s@b1jJVxUbT?b|sToeqgZ+hg21Rz-(Z^gzwSF5cyZbsko%RRkX1y%*rA$;@ z+ZA6oFW!~J8O`HAc3kJb%gu4jFyfN!fyHZv36{@ ztO|moM!;gFL4Tc0?^3(CC?{~>fD0(9zTAu=JXihM$W8rtD>d@8rqBwJ1qr5aCX$Ft zt?I@`dvT=#<@NbLd?Au+p8#NhcMNbws<8y5N0N!R3Ln1Ci?Lgc^}OA#|CU4Aw)#vG zcdbNeZ~1f~JEeH)nKxc_!sN-&{xGPo@1vvgy%haW#!)t=)}V1*3|0vK*FK;7pK!;J zAx7Bk>UU+!pO?&Sr{a3=Y%e+LCP8tD^SceZxM2b)&&E|xXhj0U!4T{6?(&PqWmmOn zBL;eq-H2EtD`TD6;UzVQ2P<8=t-!CM8&tUKn0C;RdKHJiog8KYo{+b3NG)uTAq!qP z;<&mo{?YP4ZFzL^FkL;3r!D4*mHb!^PpM1`=UTx#+e%)?faRRTd8aF%n)l?{i9FfYdhJZO2a2;NZy{y$+ zg}rrYZnNaR@!gbNFe7GtgvuC^@z)V`OGJh@8zW*V*XdJLUwyJS@*X$c5n)(#Hz+SV^g3Z%x*VBv)2r4ff;qdc%o$44+6vM` z(fcw7J{MLARf@2}$`Eo|jH4o2<7#O|b{-z497oUxW=r?9|)Q0#S_7-yc*s_IOM_j%)-7e%D3!P(oUWy5ZNr+1%T1*KNCezQf9&ypcVmo z@6<(MI0db4Q$)p;_iKbJJr4!3X(2v0$CxZ;%Y=T?#suS?>!(6JU;X~HKy__=e z&;sF}#a?TI;IPJMN5bz0;yjy#)V-x*6Y0LX(B0n5=*ZJJi{0JgT4g4Uf;{am)H~cx zb*B}`ZVT;1W__Q+$|d|MK9swqg4nW5T?`Bi#wvJj@5ef(J9q3M9(eu$R7ePT523iW zn;BXEtW+`>OTlbM)W8dY8J*|Q`2XetdQ#et_aa^lD&)9h)gtTDz8(LRx4(*gGJFtd zqPEdr_Hj=<3_%fi=+eB17KHdfw=)>kI2h?G1380!Wj<*d)ee1#*p3TpSnoCuj)0 zf5-5Fn+bCPRE!TYt>iwUG9W_LYI^;##$j5_$Kn*E`*bIg+_(VZTA(NO;>mIZxB2(s zok#v2?ED*>HMJj=l#Vqs*gkIhJlWOa0EIWs5%>dqbOZ)Sv1!q4uo)f_%%-Cl3L{(P5sj(Mw+oO+nu$NOopAFy3F3> z=gyTtw*9x)uKLR@tmgBB!rk#^B3xq+ucyh~7aM(0c+Fk{+US5x_;lmQ1x4=5@J!!$ zDt|7R4gNs=9Irw5dz3y!=5xm~SGd(%w=uWFNgbb?H?Fh76#2!aqLF9hL;`z&!^V{# z<6FW+CS8JLr#?;dsm1w*w$jS{XVV2oIs56N$E5N=>&_8NgtKT(6_kbFK&BYMd^%~J zz4~5)j}EA9s&GY#6BxW-dHg#CqJ0CvL*T%_litg79;6P(wL>7F2z34ipg5Vl&iqLc z+w%zwEC;EpZTF4bovO9xe7J9m3ML#c`}BLzA@-KNZ*}+PzDGJ-lET}F+xXW4u^B1` z@vT1Jb@elDD@-Tj^&Sl_^Xh1P%XLjzBLyqv2JLA6i(lcMYm{jVWAxj;ZV1SI(BQMU-Fejxif;sYW-HUM^r z6XmMf`8w!tvf5xbQ*WaooHXH~O9x6~1pxUm>gC$Qe(yg7?y$gCyo~T6#-L>Kk>Zvk zIvt%Hn&vxhycz54VA*bdz%7H~cK?%AXTQ0Tc3y~rD&Z&)S3B?kktGPJg;Ld4Vt+1N zyLiGmfy4bF{4Idv{Ehy_SJOuBDYFfDw`I}&`muDRaDe{sX@I>&t43|CIS@$TkO1i=~1O#NpXiLNM zOxt)*j~}?WB{maRV!hmSFl-hTPUgeZzAHy|C;9gT0u)L7FX#KRPGbrSzDC(C}^B1WH($rw!Hy>9}MgeBTrUczy_k;z+ieJ zpA)w=!H_vf+%!CjM+~6KyThcWcr<*&_2@N+ceWU%R$PX%*pGngVMg{HDb>yLpQBap zO#=#4Orr~k3^6qxGQ(7h?KJgas`clxGOh57!wtQ>fz4Zr8`(Ik;&$1Ro;p>IC%abL z)F|1}<@^NZlb91f1E7!JT@y@pbS&HhMBUgg)5ZYi6nlUL${j$QXA5SDPR$7=It-w` z!FMdohkn=@^!PSG%i`7)ON4AWR0$BndfNOKw$m!&CN^miA*}!@MjwSG1cq17S*~a7 zp0r?a&wY1AK&#p7n8!d$F;Eo@<{nFA%;X*k+Js9}7LMwnqbybZj4~CEbm&?vMCQB; z-}&J|P_u43tFDQzGoquiWE)#~m~z=>fZa=i$(zVf-fs)Zg7@QJi{*|3j4)ni(Vx{u z#;C~rbpf3KOP_~Js+9eX_V~wXmc}A?a@|Me_l^@R+tHBM>^aOomt6{PD`;N5Ok?Gz zYRZauLi!tjoAYbv1iN;sQt~Owb0yvlu~Q(az+zdd`+Bz(IAHm2c0iH0Hamx$5nzEu zVXGW!q|lo}rvBoP8P(*lLdJ<|mBu6iF{gTs1i+^w4n{TnMCdVTR&%lkGhlO*({T$; zI-_qaPrGcm*gh@w)qd+KZ8DiAWV-0%I3U!sd<}~i@I?+sWE@G+5U{>Xd7k&KL9|`i zWQ@woqx!;m)RgDzT?=y3cLmcTK@CD{sEr*ox+L?}n#)9^@My4E1Zfo>+!x!NP3K)? zTx`u#09TT4yI1Jk;6oMITOVi$9`8pNKWdZ6{SofZZSRf!wp1wAN#~1I1~qr8BuvtK zwRFc;r#yncO{1|y1S+^G)0c%BK~;rJFUzn!-}2x#6Zd+$g^ z)OaIVB5ZcFRC+BO*=_6CV|*oKFj+wc!GjqTMt=LHtnUt{c19lsm5}pa?@@jgiNaXL1(Hlru6Chd<57?WK;7Vc`c=_ps@89ch&IUizF~ zKADe#TsD}l1}Ke0DWMueuikh2&4y6ybks`7hSSg>)~UDynCrk=fFE1QnbDqp@T$ul z<{t~?`=M+P>TDYuDE|CbRF`(tY797i`f-cmCobaOt^w50v$(&(o0jjjQGh;jF@Dy6 zPP6!a(9Wo_Z&h{Aeudb-riftzi$gcT6kyx-tYGtV!C8~3v;3q#ah$p^#NNm+s_~76P^DUY*Dwlhuz&EfVCc+0h`oLjyS-Aw;MX&;#b-h^=cN^KJ0D znnxlUayu1h|3M>X({XmlO0L<1yGiQ7;>ovqL?~FlxvP<@%3zcpOuXG_gICqPJNVLU zLva7(aH0V+gL{IoVbd6`Su5SXx4$xqtN=Jo?xfMn2z>naty$M_Ls6?3R0X<9VhP#y$3nY@j9YSa!u4AiPy>DXf^|)-*{afvAqC%3!UX zGCSKNBfq*?A3jrq9b(=(h=}G`Q`ko)3 z!yw_oMg&$~dWUM{UYI%E%qeNr?GRN?r&sqj-Qx`pVy~i{$D0&JjV8VbuofJ3clGN` zPjyAOLEdlt20s!6vnF+*P-9=4K$#^iUh{tJJ`{8?G*Ga?6_|WM1Wk(PCo|tPlM|8k zXadH2NxIQ{iHD?bbK)l5E*x`3rCvPhNl1RbxqG|R0!UHIVSy|wCuu2QUO*mBVP>+j z7vrGrk~#F*!*|fCNyDcFnpYeeJq5X&4(rovII zT&Dab>8eVVCol*~))KYnb1=p6PZPx6nWH6YF`aE_h&A}hH11h1lu6l-f15C&A=Bcz zX+DyC{#=%z3dKh}1<;3bySuA@hAcix0Zot-WL*coHKt>vg5~M1uhNzbA&LYsj-`~+ zwKI{TDnfWpdUf7fc*>G)Gj<_v@SC-1b>`MB>|(gRE&=)o$e55xQHJe+7+n%+dY#nVmd04(Ih;{g{?q6JcX{S)U;GYYAoHnV(- z(^jux(wv>NgxVVO&F{(2n=T&SXCX6Bjfr{dZv1%@7wT6h=as|u_~z0DfpRk?Yx7P9 zkrgb3$5AZJJBwFZrH#9#uZ{TYpoM;#QpKsSjl6CrzX-&)y^|ivieeScW zntt+a#)Vz)-0!DrpNARdtNxnmSawk?k1BIF-&h!mvuTw<)3uSzyyHH}{L!eWp}hK8 z)4`Z^WjYNsk8C4G@aY2c)pUKO^m-1vzp{Q4i&mp=oSf!MDWcX*J|F*!+9A^`VX>Xf zyUe5o#lQJNC$k9}4Nw`QJ)4LA>&a_4q7}HnrFczWX6aPF)jq(h!99NMel#vvy26I_ z7m9+9xQB-XxHaBtNaoD!iX9}9Q z!lpXBb#c(Cb_~!ektSeev$v5DGdh6#f%DDgD(zytkImx51cr%w^6j;S?eR(i_h!*S ztJyPBl@|CS-X0do%V1C36{jC;H1l19Ycq^^7VqAc*c1(`p2pl~liC)Za_af`_PA5G z)5!-FGoxu`=i(Ca1Zj3wyeXrWQYM4@ZScnm?bFB@m#iuXmK9cf-4ffF-J+uxhgqre zP0x%aWFMBl+2aqyOzt9n1xvKBv7O=cYM3L%9}l|5K{yL4V0YC|J%}6rPNA9ks*7SJ z`1-Y$xQVR0*`KPgoqXxFwR3j!e<;@ISJ=PpnSWuKlY(zvQnai`1Kr9!<~S{iM-<+# zIK)7UD_jwuoU%^D5xL633xk@Sx$Rsek?g#G0_4bOrr32OL+sl)SjaH2$jDewyadE?N2{r~~Cc|ym1IY)7NV^oxll8#Egj?(k-lInQ2 zNGso4qe!?)jAKyy8vCkogEi(vyW6U%zU0lew1DT@u(NJs^KP1$p&r+h&x4b3R`ZeV zgeH#1izc-3R|2EGyMcb|k(Ni%{--PB+`&B87;9xV3nO1*Wa+gk*5Dm=1r{W&Ix_Dz zWO-dyd4+Utn$2fk{i8@r`WN#KienU8mTxnHe`gkOxO|J)K6%vMBwq#-@OVhoSd4te zN4Awyp96`m?k?W4n$BIF=igl%?~Z#AQH1BB{9i5jFQ_=Yu4Ob{K$3PJZ$!|GwZR*# z&N6R)boK~_YrYNn5ZPcozwyS0^)z{wP_uKvfZP6C@^9;vvTq;K%z0E}etfyN7kH%5 zOlTHcWW?*a)-$1v-?xg5a9KS=&P%Jq;3YhMNKLgxtzB!N0iV=B_bsDswk-4Gh<=yJ zOYh6YL-Eel&XFi}6y1Mw0W>T|x27Hzuc#glSG6-vH+Bt>#iecc2ZdMnzxHAUbp(pl zA6S~JMP#kMl!2myodZ-}Q%OYM2x;P8Qz>;&>=I`@WTXaVSCj6>n_ncsU{K}mF$WQD zLFM3H<4C<(s?;7NCb`>w+V@!ObN z-WhiJ?(yEH^nOJ0?$~l|&Gir=xA%Vh$03lQ);iFeNDVSW`SLVgJX^S1YPKm|zD=Kh zPGrBVc;oxOM*p9jP#IPi(Ozr6zcm+(C2+j28Ba2HO}>bpduR({BXG>s1*`EkTbp{O z4t%9ZKRuwA*!*n2l+pq;Eq=sFcE!|@*?Y!>Ix;?pSr-nm&nU+wU^+Kx-cS9tpSJeL zmrClj3|soXe=9xMm;DY+C<%B0gH_b**8ksXx7qVfw6V#=J^F=Pksm&Y{UA^`Xd- zHw*v;gOsWq4%IpTWn zpf=ZtdH43E@q0>ed|LV38g-Vi*FbrBO|dC8NOTql&`(J3pVwC1N4#t{45inYbRN8V z{4heu>wR0JP7{(-_eTd2Bym2lOi{KM-X>PQ;!=q_VX;}jOvgqx9xt8NAn%{(T6@4e z@oy*;uCVc&r`6S-HoD2srv{7Q57lmRPQ-kB;uzV+2(bh0mJx7!%x$Rw36f&HycS(g zM+}etg$jj3Htm9y?eK;3kK57sVm9Eo+&+Cb#E4Lj`)gU@>@WgS|v z@4MoHCm-^fzGLwJ9rzIv6LURTLR*mOG_~nHUc&1cKK4nhUC`ooJxT%-#&}XpEIE@X zF07qJQFM<`4=QBJ-K~N0VXgM<^r$&~R`s-3O`Lxp(G34S3|JEV3)L3E;c_sP!sj&F zgKDr)f`kg&r!$>^-7vD*1&R>b zEh~si&PYTF>U$~DU@x=X_I<`-m0O}%J<0o_;Fna>(+(u3s}n1&4$pd1g(14UNmGRE z#q&+NQP;|7MQmSs{=yFG#mF;TImOjqttwMeP8AiaQBfn~o9lLUe)S>s@f;?t!?m4n zia=;4uh|gffFv)pjg;T^>`6l$W^TeDcwJ<(#hX`@YCAHZ5ZE`YVna;(NzV%nS zua^`MvQ&(h`B3>Thh=$FAxqtgB;>2dlsJ7mlyI`yYq*jN2r=usJs;)FEB9>5uX7b`N7v!L_!YEA?@N6+G75nh#HeCpgx}8jdoucj4U8V?r$+XpW!8++*3q3j z9Z$=YC%Xp9*Jj+xQ8hCASVqt<_Q~IOQ5<~KuxnqoVLY17dRe}Lxr$ZF6uw;DfQAF& z2;)Hp_3<)9s<9oR-tFSE2mdD=fFPY3Sg`Fri67IGV_6Y7VE0@c=AY+XO&NgTaGujl zN$3!9fKp-6U=}utotBA4bmek9YO>{P5`SH<)qY*6R#iXIvq5M=SzYN8nK_CzpUGXZ zyHeiS81REvP<_<93}j<;&ex4+xBtN|&yDMXhBqP{E-_@H@{}?uq|08@KKI-fw8r=P z^^m>1(#ww4k>k_aXLrX_-RAV067Q%sm%X?vk5V_&{Zm04Nyf}Z!ld0l`F3ECzqI8v ztiw&L)A8(qod|LNYqNJKVs$<=nQhKZZcuMtKE0XcvzbnE)uYC;+sP04kC`&eINYNU)}G7$#hHFLcFU85QCdb39H(E^TkFmh}=qH5sU^dQ3X|?B{Fg`z< z>9*fSmWom^p4Kd#OgYnPWZztWRGtxb@gN5bO#Yozqk#pkeS@lI09k$?uh{npyVNYL zU01E7BaPo#-A6x_y7BemhkPYLqRl8r!UtmzC*8 zX$+l<$S7#9xSO;`|A?Ao!HGxANj254#d8uHUl$ZR>^SGv+!&D8A9z!{mW7%W1cdY)5Na8hLK5M|y zq&DWokLnDlFN5M{n#1uID}k6Y5gt4u9rV1n8|!5j*VFGIvwCzGdv`wL_ zSw;7crQ8}TP_6hqa6Kcwd?mx|dGWC}A7Tk&=g$t%OhaxD(gl=&xT(xzY2Vq)ot2n8 z>oNJ99_Ff@QEu$}$WR#uP@i7L8lt;np{mg*P;f5yGAYbXFMaIm8Jyheb@qat#`lm@ zrM_zBRHW6{R=?d-U@(W-^Rh(jf7U6XdQ?P{dJoxI`KI@^$XzsyJHBCYJA{g#PF+y; zj&L>ASl6DBSM`i|e1zlrPCIju5pu;zocJ^9Ppkn{rdo?J%BZ;`5-u4Uv)NBtEao8S z)i;p&rb~1ox1p+IjX}p{(v3J(?RA}$j<|`75+o-`+@6qsp?rpyy%-^Fk z5x?Wq9BOA?(1u|#@{qJq(M!ysCd6%0Px21-=Fv`VC1p};?EEecl}m@a;S?3uk~I)z z;e^5K8ns2xqTs|&U1`=sn7DiN`XiCaZ0h=1#QQ-MsewR5^LObQRrx^nzS;ckyT|!t zHZb1Ry?=3BTDuWvBr7rc$JaNW({_AQ=UNctcP$umkLC55==HW4QJYIw0Q^J?HeS}m zuwR;CX6fm8vtH)Ht$+69U55g@_KV?m9$DzvaBD4`=rMMdzlj!s;`d&1+{Q%D2-OPB)+~h@3Fl|H7^_kBX-!Ls+l*-(f7tn8$scqO3t@;#oh#)IA0okDOr*(Cf%p^)#iF2X&pV_% zEMxUsP7LJp{0p|0WogA*%MLd9DENLaYGPCNclqW>WqJqm<~#6q!S4xs5+N#Ja&YOe0Mgkyn6MoT-rbEwK$DO#6vNP@H2GEx2PWy zH)c?6C^34LrBe7OTbZ}grv=#B9dwh-i!5J{7GLjs63!m>{uCkBjmVz;BZtcZR}prw zCNRD5&K0Da?2P9p4TP_0)Y$ryVf50nub+A&8lwAag3z!f1l~q#J`{S}gi=u0+Hvg& zUM^HOOy$%A!K((;OmLS!{Q&_-egU(KOtD%W2(iPbYOK{W!>i$fwU-zS&8a8ZLEi78@SYs7iBjnO^J6vVaFHKng@;l{jP+T}!CH6hn zq^v#l-fp~QwF^FTOKxLO8f$#A%^$tFbvE4q1=Uy%D(@)np4-VzuAgg@z}@-Qhv_n$ z($>Ycmb%4c)SsjC6;ZCZyp%CuAfEp?JgNm|+o+D#sp`Yk;~z`B&KaTFvlDTWk{rFK2XF$S*wq6m$=hchk&lxu!ZPpNaQifX#dvuDJM%6zH>tBf2lJp%E;m+-`Km8&-HqkiSf94BRNUytUoU(Rv-)HWYG z6^UHnn-}sr*YfDeq80S1R5w1>nQX zmg7FMil7al7qA9rr1<&*NvYgxx0%}-9a|Dn%3(uR&*oERFJWC-^6n9bZZaR!;UsY& zRP8U9EDuY*k}5E!Kb$knFxUTX)OmE5FJ@ou^GLBw`kk*V_f3m&D%g1z(NtEsUJ*z8>lA9m1eU z`=*)`dhSq39CL2(Z(k{eFYX>bqDUux<{Tc!tmO3A9g2VPzq*y&C5_&aoNtq`GpJ68 zu)U7q)68uhPg0Af<8Y?haB2_>+xz^Rz4A-Pl8<}g?nIgj&(eE#ivj}3s8k9Q^I_Y? zM%xW#4zh=M?y;4e6SbVT9Be+)`3xsR#< zc{B;LSz_;TonBBe_AZBkkk#6EA|n%_xPSKkKMxZf5($qj+Vi|!0~iCulAeceVwj?y z!s1HURzac`BP{U--aGJsxosuQEEmE2&kL5E&hKg^s?3o^fE%K@;2@JQ(T!#E z-s9=0Lz!HX#8XBy){tT-!{n*|WpkQ!&`!LSp1axrwNUyn_)4SEAY!@B==15pV<#yp zJk%79`jCNe(_`veYV8JFN)N|oT@2%@FO7vk9kz!r>-59Fr}2;I5Pb#jdqsSQ7Df|^-K*~Rj}^MjlCT4 z1>pS{0vdJ5fcea@q`M2HdHb&frnOg=Q_ir(8qrJ z7?^*@YE=Ht(~A^+ejW@Klv~)lO2F`)fXl(Hd(>jFnkP^8IFMU@?Q=cUt*;%HeWQk~ zfDJSuXayDi=a;00^dmtu&cKf~duJ)tOG@b5v8%hy!0n^~Ily{NC1!_LDShXD^_ zKOFh2=Zby=5p-m^2GP@z>Axr*%bpt3*eu_FTBU0DIW%JnY+~EIzYzeJuiDR4nTpn2 z(A=bMD7N@4sxcW*2ygav%-DYy{L0=(4Y`do$PAy(@lTQFS4E1dJTPS?UD@I`+6AOb z#43!PLVC%07;j7dlk<(PfIV?H4tai>>YQnmHmJPSth0-$!=ImE@=FTu@EJdjrIIDA zylihT(rC-rdb#oAK^gjkoSQF`{aLx$(9C}N*5e4)67j!DCSq#Xz#!(l0`AF9)(LH3E0ohZtQCV$xkEW2hnM2RNlGLe% ze|9g_?@&DhI5Y8HTGvu>${nc$F%m#IW*C<3(+1EvqxCXDl!fGIHu%P?zmWtEMtpUy zlG9~p?#s8j``_z^$^lhJEKZz`1`81TChX>aV*>b*E^rBU<#(l#U3!e0wsqDM&h|`1 zZKfeh9lGjW5Od?t9j-q9ivM6!{-YP%B4he?r21FJ)pk9>+dZl49Dx8u+8lE@fOD6+ z!8jb+eG*wK8aCbHeH>fI)2u&AA^L`gH*>{y{UEaSgt;l3Zv3r{1FtgDfF3+@>}jB1 zw$`rvdO!HKn^0;HQv)6u;jcf7VMug~+338xqi7!ZzvP9)#8vK>#>;h9afk$5Ot8&X zSYbk@B+*|ZNVGxLL8a26YZQ6H!!YP0zApv$al+*v;E*v2+%g$ZvS#xS3xQ<=TXOR-nJZ13THJ{oSu3mUdS5M))d z!78Uo-0c+W(0NS2Wy{|}+^x11}NdG@3k%Kx!WeEQeB z70j_SbPSB#b{g&fWIT=W{9Mcsv2C@8>%-<{(6%DmIY#b8S0fwp=XmoWXBxbgUu8+Y zObPP7q2ct$v+?!KqPD}9Y1faa`kX9P|IJ&oa*Q$IozHm4KB}_a zuObpv0BR>9cawNQ zWhMh7We4@S-hBq5UG4#*H>4t2{?B(426!OLBx3?aMo-QYAf&ec`Y3Vs{Hj3q@F(@p z3%(N^=)O3G(?(xW{7)^8(BBF90!&NYvB+0AO2`zAB-EuQ$6T62pdI`#ALl>F9#Ra5 z^EvaM$GpzHa@`**fXlN$;vBFkh|2j+9lbvUmdV<~cqGedrBtHV z%YNomD(<5$b0kgz?B7J|zI_JcqDGUz)+6?WmL{t1gF4^mPl_keukug$i7!p3isju*S-HFsSZN!miENz} z-~=6{Fd-q>EP8UI1QE4}EPqdf-b|ghc(2NXxWza3^@yEJo;UJF)#iSit6+*a8;Zm; z&Cl`Wc%qe6hY0`Ksr=l9gjS1yEl^k(_}t#UZ=o|qs<}V#rw!c?$-bCO%RDyyOHXL}w4Q4ipV9xL!-YJ|Hly1)KV}*cr1<1AnzVkLuk7&cr5*K}OPZAR^dVN|_rU z#g^?JNZ$UV;XwHdO+NBRlI7N%gXGz{H(AEsBz&xH)o8)b1Cx=`b%L2z+qDc#F;UMq zKl%9gtUMkHL&gcdH&pXbNMm|M{=fQ4C^$a={E?C-6Hjea0nn0uQb5fFG4uHxH34M% z;Lv0Aac>#l3-a&Fl8MrOobW?xW)&=Aw|NtBc|M_!G!(5{dIu%x9W&`6SJU7VGp2M;G@iW2vs~h z!-K2lLug1Hm$OF4I5)qu|1rbqY1DqWmlvJDdUZdJ^53tT>r$Ta5_2wA&5HH%J-(0S zSGoH*x{xR=MjTxGIjz}JvcMpae4&L9z>O|`lQ-WDxSKS0{N|Pwk(9QzXdI@ zJUn*SWFNq2-Clh5cx$-_3YxJHd-%M zdIupyW>z|~XOO;wd=G;dox$%p0*Dt!6@hgzM>+-Y&zb?z&>kQ>j>_Y()cXk0iE7B- z0T{6J0E~-I{_KB3eIQg2C;pAwd(o4f-wzM@H=;@?u;l%X;|EL!3`diQ?gCJTUnU>x z4i5u_E@b*|&Sn(_G4&DyLW=kE{zeZ#nGoPzeJrvD7-;|dZT_d{)%^<(gGOxsS1bQ_ zlKy9(F@}S%3n$&81%OJAVete1Ka()9Dy~prWg-FRD||#sC@E?tY{VyCb%_WZ5`d=^ zruc56@v$!qv&OCK9e2C)0hsFhUn-lX@Yd2ZxCZmXmqNusnYg-7R$^Iz=LE2(4YKX$ z3}gBY{gs3c9mgTqoZ$TEg5A>XP#kUW9IchnH3_T2pGt>b!MzIM`+ z^}OA~K5e_LHQjTfd6WM>ZPVu{Gw2rZRH6ge2GUnx#NrX#G9O*x~ZwQXKUqGUM*c|7E!_vVtQmp_a;E)sZ^5Sdwx^Df_^DPw54@N?W zH5lm`(&ZKp!iG3HF);+NfFc0x;P3CtmCWtTqM7+z{-8F=%gL3|x2{)U!@@w%Wc0*Q zovK^BzP^-Hs8Hy9+kzErLBfNG{GkQAd$tnPr<5E0JVHyozZ8>+a_)M%<#t^DQ@0Tr z?Yuo?h}{PD7JLAk$%~!M*!E7*2wm^}`FZI1{C=T}%*sHd$+$;QpCH7_2Szv7rhv^e#pwXQ&l ztqxi;3h%haPnte|HXNIg19T46Df#_YS?p?fNi*&7fQZVn`kHeZH=`?NaHkF$!NIr( zs!3cNf`NfL+Hu^z>m8dn*bGV#Ouj}+y5+dxVSS8+3&%K({@uXsQ_rRshEgg=c911* zdu0o}RSq}bLM2fc3rpH|!XFL}bSP@raqZ5I8!Hxphj)j70gdqZQ{)c{Sj&Ma^g0*) zLZL3x1*tdALdz;lJn8aJ^={kS+ZUIY)gqzw*un!$oSfJ&0TBB7`t_TJg#>dO%@2<~ zUn7jnDdELMhXn50I{|2BN>JMGFpf8$p8`EHRZjW{Ba?9r4We4p_tglNn0teFdd zEW&=j5Dx6T#q!GEOhKscp2s9nDah)N5-ibKI&couQvI;-G)-Xz^@T3wM1_SBfQU1o zpSLPTHcQ&Kz)6$-! zXcya{tJXv^PdcM_(I9F}t@LOaa&@g@kdmyTA*FI=c2*7g*M6KhB+q%2;MN)^c;Uaf z0D7qU#G6@jSy0zgijAsH>CmMBNkmtmmp|!s+KMT^3{-ZAHy)EaJW!I#8~AsHGZ{%C4c=$vF*$j-S+Os zyZ|{a2RT=d`C5fzZ9fz#QOn4dwsc8&xq=s<+FsU`cCj-y*xd9wy%QzYI6w2_QSp0z z_>)!qX}pUohCK9RyK*kxAE36F45UBpNdmod~;5Yt^gZn`BzZV=e!a^3Cc>!VFz z`(-e5`xU${z zmi;}X>Bj53Gx1<1Ow*4gc2((&Y*6$PrFbcbmE(BlTh1YY!*p(4-2=yUG|58 zS?`5K4SaCX&O5@rrl$x12kXkJWtfcL{2?LVA7GUOUCTehd^G7b)jPI|t`ic7Fu<3W z)*i{fRSHq*#A@9N70fk^oYa`?N?Vz2CkTiIiKsF?3fN>t?@oJ62EU}msjPs4*Q{W* zBO*xF>6^?1?S~FH8_zI$peW_j;jL?R!tR>E7Mb1WXRX^5A|Wdy7iihayCrH_QML`R ztd{$}GJ)Ug*DX$uJ)=xXX=sTKx$m@QKC?D{Va~>FhL)15MPao@HlMgT%~X%bKHOWT z778hTa9SnHIhu^=P737BH{E04xPS&!A=C14mh5A&&pn zvM?xsijNY)sNlDD4JuiVkNWOWjGBifAWBpwI#*iLWSrAtxM z=o;zB2Py&V&FzB&3&(2DyA!2jp%>sZO*rGHR`z-%2L!zzaj{?-!)j{hwf)%&nU|NLYBSy0uqcQpCtq03!kk%T>K$sOfyErZGW@zb{s6P~^YMt*UC&jkop7+$ zPDczb#`tq%K~Irg*Pb_AZg zbsu=BzMXg9>W|AwhG%s9H`*fauaCdOzkU6+Y1imi@KQnAmOn4)s;iqmT5=q@amE09 z<5+ooinZ=0#ujJQ6NrWR9vazF<_PiMtDFM!4Sn(se(F+DT2(+I?B?#Sp(tSWb1i8g zI=ZR@azJHec?pdM1KfcKKJ*`IjTlUnKfDq;J}~oK;64mP83Jx}D+FxFZ)t`qDk{}h zvy^QNDT%;nR90QR>4`)nUXUXxN#6c>n)3uryZOW~tDI46ICk&1j*k)`xivs8XM<*< zrlyzn<>}@y0H8v^0j)9vfKT%W;50P^imVP8<+^~DyQHOj!Fe^XI%jekkTWA%&w0Gh z^u9fsC$0rw4iW{J={&E;x8bL(M|+ToPR38#SMLI6JDU=5G#%ngOsf4rXedSuwPv5& zaRIC#Xpcr&7d>Fjo-S0_Ot-gp`lS87>``i5qfE%p(k?c`t46uGj*j@(U5e1BZ?-w= z0V4eiu52i7ec%%155)(ezuWkB-=0~YKOp{C#MIDK#q*{>ArdG%W0u6(7qmp>8Z2;{ zh;BXEXr!TL9d8x!T^c>tCafQLLlO>mB+R{-Gi0Lfe89uk92M6dW(v0&^|mR1Li;&G z#inctRash5;x?@c$(C4y!wra-qDXCegTE(QDL}9t^QFXwT)b0!_}-G@EZcrfAU!M| zY>Bk4hjejQrI^0Ywvyc8jqOZWRJ~Vi@dFusvM(yaQZxx%eRhOSQ2>MeWh%9d zr9u1Qk74qH0(8zH#dapuN|}(+yBx8jQA51=cZH1FfoViOMJfpZW}!b$1hEzN3>a7M zok-`cwpnCw!GH-sB+FHd&905dA!i+eiE#`M4ekDkM%MKL3={nZ5Fe`HQ>jUk`>dQw zI-EYw?q6CLfytw>WY!PP2NUAw8|{~XBN^}<^a9q2-y?giKvK-{c3vX@Ps%t31PTTe z)9^rwr+Yca1DKaScX)fbFXb6o*X$K`R0qxA?7uwH4s~6Aip{p*`9An53y#e0#fG}a zz4*7iBlAomo$x>iQIGti{l!jHfbtr#(Jq1vtat#bKBm3%{?3lcU`ZGBIEbPC(PT=Q zL^F_Hi?l0CqC*+FqM`~L?f8!g#zCpf!_uEXvPq4F@4KeBZb%RiuwEC!;o*56jDs{A zI7S7Oiw7w-(d{0r_RN&LcXqSxLt%DS;@wxru}h6eFrs>2>mLYb35I!&k1;kY4FvhF z$5?S_P4fDYiuZ!!wQ8g9M;T##ujQNSZM9^-jxvOdXOur%#hIRz(;}H@MGmYH_T)9M zgv|B5VsMuz+q-E%JuXqbOD~y9BccM|o!*p;36I@*Q2W^xz58SeTf|=XqOzbLkU}RG zCKc)>idy??0!NuO{_3byCKrvxg9Y-e6~&fy+`%%}K=;c#n3>{Fhb7Kas%#t_SjoxB ze}`MXw%@8pTbb0cr6{zFY$@HQ*Js{hB3)px{87P>3=UUX0??|zfU%uLtLFDG+7H4> zTdij;2ngaw^1)RWlNpw)4dpXp%8*Yc(m(H3bTkA$P@J)vk9CRXSUp|zqRhJj7*Ti> z!bMp;+6aP0Jd-7`r4du}LQ*DEFdMF%_YTq*n=c*g>_kdmqQTRW*6Fnu&2ih0w%9XvzpA^3*)h;t=&_UluTjRRspcNW`M08vR8 z4v8yl{To2+<^4Lo7L^F6EGE~c{`qIAnvBr%gxO_o)vs8x;4P`CL%Xc`bpVhQ`LwkBeF7PRxHAOj6b)E9S zBk(Ai+G0w|=s?7-Hc&Sc_if41%}o-4^}ReZ9%E@%zKH0podoP1*OM(rFNw0~jPXY< z9=WPIczZH%g2oo$I_L@^EOF@n9+LN@DUd7*FI}$Tv=ih>DB<8xV88h}f`pweZK<~78C`CKt%$ILZ!V)ROrn1o(xqzsCN;-*5deWENCZth zpM=cSO%a7Zfyh%XZqGM~77(Y5Skj%45Nh*iu=eP=ToI8lvrGW@;z*wfFeZvszZ{=T zROO&dJ;Izq9<4c!R*pN4rUwvg7xxlrjX@aghlH{XH&k9*ejhGY?K_KCrQQhuSVkuB zeNi0NYjpQ-dQ(7Q(>&Q%;}*If@?KyQu-)v?gZ`C$7w63? zAg~c@tfmi7{YUcQVJE88ONM!gPO@<`%&6r$nsQxUys7S48`5w&M` zgg1;JxnTKh2X_gPw7{_7^|64a$7}K5BD`$&>1jLK=wuNU~H0X z=JQzX5n&)xA~8Ney&%%C70F%@->K=0X|NsV{peHomupyExmNpD875L?2zD(iH)5V2 z>=+X$f4m!r+~VcXqiv;+XHIAMxL){S>IsUeYrzDGW0`7465yD3t>XQIJ{$=JK7m;hd{Og40 z0y5~%;ILttc49)JVhYzsG@M-bf&-;msZQk;$h>U zlY;e;I7vsKe= zMDX7}x8oL-NeQ{ZrEikTE$Wf+soDGFSd2Hr-|BYGz^(H%KzNl>+%wSlPE@A^#TFq0a|W^77wW-hCqfRoT3cx8^wbX{56hI5@L>v2zWBf`hf$ zLgU2)F*vCxN@4z>=BT&h$4Ft5lT*KaV9$oH*3_U+Djp}WrM}Ja)ewdGV~C2al1jJU z(r8<3`^2hI4jB;6^vU$6GnSF77OI@+umNEvO@m~buUUR$GCp91LyQeVw728>u^K> z>jc+(xEaYM2^I&S(h6J(hAp;Ive;_>cuJs(5Jg^9F8{kbjGE(*qRYNstxkrgd;X&bg_Yv^f9! zhd0}|Gu=IBX#y?@4E#70qki@M(+#A>AMfgsb^2}0qRQDhn42J>!}HA&VKLJw+@tCD zY0=3kAtMmsLQx+HS!1MF^=SLYdOqolYs|AJJW{y)Hy04FGc`%-u+^xim%)>s*c`Fr z&<3lxRH(LTZdimy7Ejq}oct_-FgxQ=f+dV~>3!CGAk>ZcQcshXKg>I54;s$W#PW{n z!NE%7f`BLR=&XNgK2T7*C0#w6#r|LcL%oT_e6}{?eDI zV*w8uxLaXSLe;Zn>N=m`wJ8f8TlnPcD_*J9%KZIMAi1>3u_75OVm zr^R4@aczX7P&doV^KjiY`6h-{sLt1BXcydO-N4@=vnyGH97abYog zpvi6?It2<&0{L-K#qO@a-fy#R+c44}6!v?7V=%EEnR?i2IauT?e9@ukV>_&-oSVuQ zw^h5wZRl(W>M16zg5-+Dmip;7^Kkpk{DqKWlK1QZp}7(?!>UrYbU7S$kndgG-A==H zaaj%F<8(#Q)bw+F16ZN|WT{6Bvry}in+$Cc$N^+jjTrpm;_O4|1QeaoVP3Q7D%T&# zGP{Qe33qp^Tr;(WDN=KRp9AYsGzq;`rEzVnwD(3?Af^R2mfyPonIDpe>Os{x^%NAW zg1j!3q(s>Nr>wV(s$+|~L~#i29^73HPH=Y(1b24{?(VL^0|ZHMcXxMpCrEIoEBD_1 zUUxr!F&L-LrfTn6GS^&lO(U~j6{cC(dqZ}Ji+0=FaM?TMv%h3ajc`LPkgS5eG#!)r$F{KJ9(E6$)k*Ib!Y>NOG5E!PKBg4MCWZ)ELSD(tY9z0faD9NE-`Ms?NoJ59P ziv9A|c0d=av6{ipc=H_P$;sxNLnPNr-A3`v)PtU2@@MC0IGJH@=iD9_Nu<<)ud8g7 zACS(bTR5yd6~hvpr}fi&^pVYXrU|r-7WYOS-94$JFE$`5?RlfepH;@}3c{jEUlbHx z-&$M3M#2_U1o8SBLpTdnfGrg}H zbZ;~t<{->ig4~KPzxlWVTGn* zLUNhoW(9c4TbDdaaPeG*VXf77x=Pg^TmphqOmJR6_%9!Z7v|L+kSZ58$}BCi$dOu7 z*{yNA*r3a;ZAhZ%IOdYDq~xGm(_$0~Yvq#?<9gr2h}Wc;mV)4ZKCMikBo?u?EqBir zb2R=iC2S-p!xFwy1wOs${XHDn4G;7<1`<~ZjE^BO|= zg})QbJgnkps~!_C<$;w(PF*`}UO~So^3bvFPP&(nkVxG?$Hj$Xn}S6l>XS3vVMtI& z#U^u4bd19m#@Zw%ACVaB4|rXB9-${?22Xv%6WiImc|24X+*&bDD8MtRo2a=EG#Ek^ ziE4@LEw|&x{&^V~? z;%z=Ul;5U;M%cbS2r%ZXe<~C#!5Vviws+_>vc*KiGvPPctaOhVoWo_%s)HlU#cewU z657wsyn_~OzsGvRhv)X3HnY^SQlK@^xXao;pRX1+&!jOyLk@?uzwttxx8op2_nV+U zWj&p7O_^xT+i%A)K64%-PK4D(7EC3$C*d9P0{|$(H+U;g3m>B>1IyHg{+X8>V>jjq zKBf8g$B_Q;R~tcOxZUfMY;$9sM(n%@s(Po+0drdR5&2GP4Oi=wLz)MAbW)BGtg$YS zbZ6#2)E{Me_kdVc-Hs=kwyQbg@g#9gSJ%P*$HBw-ALJ#$Gb_w9xHTS&`|A5MnlG1Wfj)b^QbOVN(JF7F;#C5Fl1i zoW5lxYsw>uX#ylfC0N5@f)c*cd*yz4R=7HAO}}MPHyL@}$H{uSR)mUhiPXYWP5o`( z(Oug4rV?htB4tnliQtC_a|kz;ke2o%(37Q2pgsg9sJhp|iL}~=1vjqrV?M=<2(H?l znF#lEvf{@fMU4a!)kskYZRFFJO}{CUBE0W)DSc!S5->q|F0A*5xrUi)W54_%2{>%j zVUHYoz&N(-X+%rH ziqnYOGJX)9edufc7RZ|ULVyUv5qkj)MsXKq?0ghKX$FvLlM&0a4*39??dk6$=mms~ zRDsoPx~*NN`tV|+G6rw2LwZB@)ZY)*G#)o-UFfWROMY_8i z*Ub?~!+PJe1<}vV1{d67w~dmWbPOiL2yf5GzyKwGZh=3z+d_fP+QzI<2Rpatm>Xew zkqDmr40_&MSnG2Fe!60N;hfr-IXJK|sN}$?&tZwZl`Q==eRT_4v*M-1W;>%y*_G)e zij!QgmuAGsGL+x1zW%1MXQP`zWP2uLD8Z_&(@_}6aySDDU^8Di)qL+5D{@U(aA9jg zt-|C_Icgoyn~E>`$FyBI5zw}-=m>v2ei9u}+)#k{17L=M0UqAsQA5s{2PxSZmJ@x? zC9d1ICyDg~R8~w#Y^405-8p{H&|BW$pBm?6&m?E|hKH~j!zPiq{9nUI;ngX#iiy)s?w$1e z-)}07HaXEk)_xTGza^OGcu-L(WWgB?@wD%>tAAwg;ph~f5w}UIfBvd$R{>A4Lnb1p z`Z^anv$(l+ijbM=)bZnyZ;y|CpViI!tYh5MRyeA9Ejk);iB1!Ll#B9d{vJrn5f_Yj zH8vST@atO2D+r%Zu5L|p>D0b7bw0*nM(fp}7`_oT70Z(#M{qhSdKb6ot)f7OsX-`t zO|%gb=;6e$>+-peiOJ@xmw%RSq&>**r=1$qeSChULA3S6OHyv|xk!-P+sEnt6;^ltk(f#o39^2EK=p^sK(}7IDiAa_CN!`NpiueUv z&Vylj#Y(SszR`a9rwYu6Ou`v+YSRO`KDUe5zXis*4 zYhSLJGC;iUsy?!+5RxcU!nW`ql`UHag?E%mTRd-$@)x3wtKtAQLV;`=Q(j@h0X2u9 z&tv)D0(`yf0`k=Maswl-2%p;_FuHOJe2Oc8is!@q2118oV+jpQU1t%MoA>=(1!enX z;5wvBvZMmBB@_ta1^Y4kkeJ*5d*ga2IUCc*vsu_W7z0doEw4*$>OXR}ogY}^064e9 z7rG#UExWv_{$NQBmADel8wQGOTdomGW)e><=*{@=`T2aE^6eV|O*PdyVqw3B>2M!QjLA1-RgT#P)n84Ur@jVXWBcq&hfTewnaz?WQ3VKe%_XwpTlDkt zbWYzSMw|3ogNCV{Spn=Ai_jXF4Uy;1r35+#O4$%T{H4Q1U8!=O{m=A7=0Ek2W@Io^ z0Yu=3>^t|LA#wv5%m5JHK|FP?7{=p4X++sWwuX&)zp?hM?Sg3M4W|MoLyRrcx00&7 zNBR`RLe){d^3x9CCd!W5lXF4#IRf+W0b8J`S{JomHj@|PrA))WYVB6veK{eK7Jc7H zNmDy>GQyf|zNg2=U^ku_uqzG7-3f2Q%7+1Q7ZOu`{}OJYAl_k*%2Ud1o&9kb{RCWB zs^6@`qPEwco)yS+My>V@XW#DH^84?ms`hffr)N}DF!}9c7nLlxV~T(y{SwE{Y*S(U$OVpNe0*+VI40!_9GlhZgyqHFeN>*>j`8Ne1Fcfh2G(Lx`ogQOhBr0X1uPk7ncRYL}f z=vo2ABpGd~Bzy&%Sj@a$AhtXD?jk|$EcK2ged`avoQ3XY~Ge<=99INwPda>}DvBL1P&Ype)!81I5F+=nT^7&0yKlOoPP^^1Ct z@*k04f=JBX{DQg*9!FjR2}ph@HrhoV=S#$AI^5+08HJ3zEaXKeah-R*tgQMt0xl~= zhV{bMoZx$M>zFAGF1bGlE~66=YzgZ2ZBitDKRUA54-)$&Vq4sX*fltGW`jUqEx!2` z0U^kKGKU0t+0oI!3G2)-9qudzs_0AX|Hc9i<|a|VMMFz2+6u69Y|EIIYwT4CP8qsq z%6bP^4rzzJb2hg)y|%AkX0d$Q2G8M6NQf&O^VT6e3sXnY3zpS>BtOU^xv?b<{rE0B z7?8v>kEQCFLp2fac;A$UL-YFqU{;|5Y}Is8E&7}Dbpiq|JF(}xGj$<;wx}YmZ_T^= z=Yfwwlf8N6nE{z{Fhdy)=U`unM}!&?M5~O{wCmvR*lO$EYi{ju%FcIZFp1xi!~GQZ zN_aP#@4bt}+p2BhD)`xz3=`A~3|}wK%kE29i#qAo>(Y$@1+|e}7Jhz0odPmW&eR|3 zE(>#WYW4QRaqK?Nu4afI!s9GHd^eej21=rJ58JT86Y1a@)3{goA5ht#5G{7lafejR zC=~)>f}Ej`{({&v97Yt>R($urm%oF2lAo^fzeR|dy*}M;J=ybfQYU}|WpfSWOMsgb zI=mQg4+8_Uz$XNIHX02C}S`a!9=^%nnd3*cIi=%$$bPNR7$(a2J> zH}691ev{bODLnPHD7DPrk`}Z0O`b~dOdP6cj;Yt!F5xGyeVFXHxl^>tSL@QCnQ*tf05*T$eIWw^2ShQ#_x0{~kzCEqvz?MQU-%I?M$2C7QS0`T;52NRLC#st@TT3`IF*OFK%VPWY z^G)kVa*;Hv$g)3ml|Sh9T3#7mUU$^#BI(FWopR-LOybRpy!;fOT4$OgsUOA=4Qg*X z5H9ms(!74?<)0Ynj;)HF=m=biu&^NAdsH-td1gZ(;25SxKyv&j_TpYpkrp2nWLi~D zCF0sIbv+f^^lir#h3FPus<%{)r`>Y&Nvef8$_w82G)xA@_`yCYs`mw`Y?MuCjG6PA zc_b^X@Cw0h5^%uEt#QrkAO7-IbE&$u>;n6krL*KK!M*#LI>w)!T!@zHHS>i0C{Mro zNL3Q4LUG(2c1=!zBt>AJRFf%+0q3XHEZn&4WMgGdpp<|5%H*YzN_Q_mda~P z1E6H}Wd-v#!UUOW^^^%2^DJalmX&?~&2y)FXLz??bNH)TQ6Ay>Lp^b7s$~9$5b6(* zup*X9GVmm%OAWT#sO0cpJ#?I;ZGrsyh*|GXTgy=HjuGM6qT=J5qa|(*U0NY?&G_fj z)fuA9s6=pA`*|5lnbCP_SZ{?H>l*6?Kd&2G&R`d`=Z5bvvc?2w3EnMk%t&jRsy-D= zFu{)=T{@w##hq-cJ7aQtkwWpp2@~<2wB7}!o?nWqP`br=A%M0pJ9NLswqgj#avgJC^QU03{lzXfCh^Rz{)`AR<6?eBLk=pO6k3U0g zZd>=DfW5)%eIiwRv_q~VbU+GyQuIxcb*o?}WEocC)hKth<^br4)?{6`g_?S{X4YfI zzr>;-tk7x!jJih3I$B;wlIiwWBN!Lg!`+dx>8Ds+$t^gfMYYjpWQoGy2bSjZHAE`uDcaA{W$wP))5t)x0*k?9fgC zkT#MX?wUYaI1v4OCwJ}Vi^Amx!fo_rL-eD(7!=Px+zOdc>{>5k`)(fh6%EqJFs{W$ zJ&a?-wOWF-1u@3|AHJc54jj~{JKQxfW4E7ve&6^tujWegQmK#f!)#PKnAFG(kRcG^ zFbhchJh(x4fRqw>jH#y&0)akE%w7+--Gly#E zD$uLk8Rbje9k*l7w;nBLpjSF<;DyL!t>Z0RU{Xr^fi?wa0fi3}5Z)i9OcE^CGnN0@ zR%j-fc4)cdqr6?mvSoe9XJ|2;g*-SGbo<)-%`o#YWCNDMUE=|o&E6XnK{0@^Hs8Q# zKS@-yZP>R-&b1Czk&P?h#n~f{F>wo7-ma`a1*aAulm~}(bnm(IXE34O(-n*7#I1~* zk6=(T27;d-^{EHpmVRukm0iKqXg}9_%6R`%lgpo&^p01?2agA%HPd^;)h>>7pI5bM z%p7|&%NRidNDnp|leFd* zf=6JT#bNHSh*<4m)t=mMQve`F!9K#GER>gq3=eNzL3{ytm=UNm!n*_W<@`Ri5?xww zRh3*=j9+U_M}@|buC5c&{%RUm*U@ zUYedrU^L~QMcputw^$0U>L-VFa$yeQPJ*_ba*)ZB*F`|Im~l@pUT**Hn)9?Ah?<73XS%~Df!`KC z5&@pUH`!%+i12tBvG%TZd%gfaaJ+><;59eU(XZK7pkjf_B7prSgn*(xPda2Sdx@!rd6 zhGK6RwdQ4lB!F<$J+zDglTT3)xW$ZxhfJsi-*bWPKA2C13w7hq$V%7)92wNb|j&`>^eG)pvx`XCtlTwP(u6?~gG+>8#KZH2S;>?Z|Zd9F@0 z(yfIyo~AWO@>>{zOE3tD7?Gq^J4hdlWAfE-B6Y#Y47fVGb$nHE+%8l3f`Wpvw$T?G zm`u+|Y+9-GpaRt&@gR>H^buAIIoqC@tS0U(_us71InxB>My*B?YjQ8{U%0PQ$Dz|O z*gLW259KCDyWIY)vUm-OAnNg9f800=pcU+hRD9EmQ_3~qcR6&2a= zvqo}pm@he82UDF$0YX!~DCAmjasCP9^DFi@Av{a@kjSnl!Q|~;yCrf?S#WU?pZ728 z7k9Rb(#S+XouK-tmmLI$Y>v#|9Ac}k+4$h6WO=fDx@ebIS3LkBVoGs8N0VTxlKe#v(>Ng^PuA|w_h;?ehu(Z0vr%Egwy z+?`KI_p-x2Uq>&;ZOWmCHG06=oqn%X*1Q~b`uXn0ewVWr=BJ9XRxX1nAc?zUlx3a4wMYrT>4si8t7 z?ZN=g!6&QdyJSMO3vHsl@0UljDKQqHji9w|&SV7*pfRRBS(OC`2?4X8tVk5Gjwee6 z-@xjPplNBhc4|y77!SHFOIR6rJ5&Fz`hi0jooychN|+<}KjaO6Lw*myoOmU}aVfvNC-!|2S3 zT-AsX>r|99=sH9(+DnVuF0}^+7f!fcPUl+x*`5Blm55&IacqG#1(8k0+$;Jq)NnSN zzN%`_1+nGwYaMb`#TQ1x-^_mRz9tcQydF<36mSz^6>aF$)bbF&+WA-NRjCdVa=iod zs*SfD7rv0prn4Et?1)Qwiqr*X6cFZJu*rLhnkp2Q@{UWAA52Pa9Zg@J%_ATN?~}$@Nlyx_`p1=&H*i5zOi$-!w*|<>qTUlWl`yK#FeX$L0Yh(R!N@@u zxb(yazn5#zUXRK;5J^Li`P>U7QTp7@qi;+{qcgkfKn^6#iNA#RL2nM5$w$^{cjv8A zIE)DLmnDuxk8tDYO#`17T3mxix)uql}@EjJD^pNZ zsCK|8G1r}Lsb~p)*YEx(Fw36Iq1!U?pSoMm$Y_U$$ zO2%Th#$9JQJ8*!H-71h=AxCat4y6+q2w)BvfnxNyoYtu`G#vW1Flc}~)`6NdEJ%TG zdiM>U%tmM_7b8*_bY-lR7!3b}6y?e1nAXKWFw8 znQaNL0^NVJcMz$VrDO0pR>7p8`kQ14J8#kCFJ@NiA$8;m;=jCZFBCvWCMMDuRm2gnLflBI$Vm$CgJC`Xt@#4L$T%r(2%Dq;m9~(u zNFVn8!e_G@sYDeq*-T!0BHWfWq2V}|!JBX7RO;*c4AdDWL1fbu*bxmW_!`A8kg)OZ zi~34q8x^`kkAEch!lyzYu``DFmlZLn*v_)u;;CHGwHGEib`-)X=zWIK>zOnPEL<#h z-0J-N2mwG*(yk3HtktDEf0Rjd=W;ub{KhcD0oUW=(shxv!^@3@7yFeYZsRKf(2b%} zOwT~BOkv7!(S+!ra~(y6d1J}VgkD{^q)GAVp0H$IRdZ-Bg)AE4>~wa+mtZW3G}@_! zWioPGw;sNEwc*cnf_3+bAxv{nre#{OylJK5yScs|Lr-#gdiua?-qSHY2Lu794Oqz6 zm?zTPUP~xKFz~nr+wJ~lpFX(yH6>g5D+gD}!z21>+7q@LfpUWL<}FUd)+45rCcn|; zbw_m**et9icsnM$daOg2#o<0$;Z~N#n{0EJDX4BHZCufyRzCg-0fILtxs}vFSNP}B zOEP&;aQ>jjsrEqd@*${1R&)P)s>TiY$tWfjY~=~4$ax@%b$NI?O-U}e+>^$V>(#EK zL{)b)w6cOUC@8m~fm#z04WLUG$>dANC9$gounS5Sop)M!3Y{3zuAx%DH}Kq~=%|&J z=5C!_x{ajkUX&rsZTRmR%6#e7PLvkDd3C`(V)WyAEJ}|({OFYhYdSRg{ErhfK5XtD z0V?8lcvqPL82qb^VE|8{SF%GflkQ>Nm+wWaSF}_;-r}=QFd8Dj?t>cfjc0M|P7Dk_ zM!@}q@9VaSByn`ze5dvB!THE-QP;w0@Z;s_Do#hcSC9azz*Y8hUtgE(iJ@)|!0owb zpYZp(K5#%nhAFc2-i+j#7#0>5fq+LQ0a>epqn?8b3pvF5U@%@sOn z0QvYo+1B6mB^po{%3Eqzr>7VqQ~>Kt;Kdwqt z!oyaO%xZjtLBLeENX>_8GfxYvAjE)xk>wc|1$zQP2&T6;k|YtcytP@GO_t;=7F?6c zz4YSX(iy+lNSFPGbXH29u{CbZ1_L|`t>0@A2lSu2epqWv*(4(-l(US21WPKK17U`K ziw%)rG9nt(S-@z&+$6!LO&Ig$N&4R5We&R{OOT=n{)F%VWwVL%&?n_1v|R{5!SzZG zOqT2N?H~Q7RS}&8aQNsrk#NKl4Jih)g5Y>%wSUaeILgqeG3BI>Q{!F2Z_FX9u&--G# za56uHZ3{k{w~&k`X<0sbuYg1gkB~w#oYlqmTUCy!2Ml)2i+N~`4MNkk>E!ya2mWV! zxIdzWyFc5)8OB28BXBqFf}V{TAZ9+gobizM*fXWM$OW&enIs^Sa?U}t1P9Y_5yIc$ zp~fG+Jl#tMPx0L(9A1%tna$ctLF)t8;8~?L>o@HZIUX7Pwjq}2so|qfJc+r zr0ocd0jW}`l3b)+q^qR-ZsOh_ z9f*s<7hr0UHrKMMvfz~ag^iH`Y1ME9I|$A9_}lw_zTKw6tJj+1YV=?fJ2d<-o5OLO zt06mT(CMuF=%Q1yD;&)rmtb0Yd_?j$7WW*o zY!$6$PFuAl7vG?qkGx%{BlO!o;~WOuCY$H$^JF_9^GggyV%r@^7!--FD#MZY^5aqF zpv<1FK_b!1Lg}rpL5GECLTT9hszrUtrW*vd0z%y3WX|^^@_6AGtwveM7d1?A0bKWG%EQm zvc#5|!-^_V8~4Z+Ns05Tvjrs3`w&`aJ-XRgiRwCP{C!jkeE`=6*xO63ovEg08k`7; zaaK{|@ymY)N$C?r^erk`kJe27Ab`$Ca+V9Us_K)z%DoH1R~~Ql;G#$Z+%#Htb25#i zszBpGAyUwQMfiv$E z(+X24$H5L8&0cr@dCgETWnDP)9R7&N8sB{k`*k61rb>G_S?6YXJGNM@q2F9p*#xABla9{yc2Ck;#)4Ye&sGft&uF7P2s2SBTvA zcqzoAB=KQLpE}$M-J-j*{Dy*}ZC42;{<&uM9b+S*Z~N|~W+@k+Cv%i;YZ(hDzjtE$ zbjC`5!+=3lGPH?9!VB!n7foRC=ANrX!0;8RtBpYU1Z7m1h`Nl3lY6t5M8}3+-vC65 zQG16uqB980B;s&>DSAFw(a{-H!5vrknOrEA*M~t`Eg;f0_EZLCIm3ageVN`Q+F;W8 z6TDpS0&Gpn*)+;%Fg!q~gh1UO2}nQV9n}PY0rva0o5=k(@XkV;%$k>y2l3MDWYHWM z7WJEOz81L(q0w?`7#^KWCRdqUuz2}SanzIJ##mKhdXo8=vF1d)<<}1=lIbk;gl)qXPM3CcuWiS&%mH#u zCbRFq0>GZP?K{B>um*SzHNW?rjG}InJ>5czJ@}WQnQBK&2~YESgBrojTZ&F5V+I$MXlSsR+<&SsjZzro$X>;TP3Z^ z9udsL!`->g_cC!jYb)AUgs9q@Jdj+0^w4tM2P#I)X0Oa&`>%i_5E33BGe1-)nlA{Y zzgX1A!bt42Csug9O}i4OL$AoiXSbTb<)G207@s4={3wY0#Od@$k*dP&Gec&xh_neP zc|l>t#$Z+Y1#Vi}S+c3McYYKBv3nx^ac%_nZ`Tt+KPaqX`1c6EBYWidG?3}wb!2mnwoU$0r*D$Q(>Y3v zpz=K@%g7T<*RC~lhzbWgHA$98$>a>7PpXrAw1I{R)Y5E7$=_Bl7@#BpqZoPAA%uFc zp_rSmZWApkO5&uqfkKc;z~n6G-xCm|;9bBjDyI8INv@eXYXE;Yr$fetGx8GeYxH~{ zWEL=|#U=&6iBX^Y8>4892*pZz4o-P!i#oa{@n|k_6OZ|M(;0;auzfh9mJU8oFev=ANDU4&hb^p9R)?gV3HU0`mt ziC}B!9Y>PkYj$TP>7g7Fi%B3KJ(zipK?i?T!UsQ;*kaC?#9`Kp4ne>%8ck(HerJ&v zL+d$8clk)VK0)GC$K-qyN-rRK9YH_3_t|lwV?pnTwJi8fR#@ zQ?M-Uv}b7s4c`zLOn5;^HR@W3uiK6J*WkO1e%zY;`~q8e^l>7Nk0t^-As_O;;4gmu zgYk>-S}h~E$vGw##;35L;{hT;WJ~;)E<$F(-@HaS*ALn0&$z}fkv*VTWbF^ak;jr> zP!xXCyG#1%Y%v#u;uluEToPR z26j<-4j_u@ud7P8TCmmnrU(@tJwOp+uf3}#MwYARmiet{!M*#`HeaUESElfl4=sa=Vpu@ zj+L@I`1$6Cu|7%lq^*2}u!^_1_UJu&yGL!$v^wr)=DFj6HH_ibGD`2h*N!I#P_Hq$ zRK9ZK%@kL85HW;0dy_Tr*J%9;=W|TSVFyZ(9(U2Rw~h9Pn?c2abvaSHkK}a$^Wh>9 z5mLLSR?!{%20MgXRug}GSjgBT>iW~~ukOO3gizx~KI#_#Nd5JZ*&ZEycyPXG3MF2K zxTFP53Ic7dSt(d*T^{?Flj%q%^`m=!L)20!!!3Tn=^G9VfxP|LkC77L>4N&xHNK7O zW{40N*avWNdv&%f-&jqmV1ahXzg^|=#{eI5(b6Co#Fc!I`P`ax!S0WlGU>z5TAb6| zRY<=<#lJKLW0k0E7_~|$*-P@B?dRcTR;jfYO3}YltDFwHEPT0)7n=oz{wTtpYLBsi z5Pz2RV=Thszt^FOG3aOH2%(Hn#``oONGz9wqXR~Tvdl)S+Je9gl@UnQxCTMwya}|& zvapV^^sc5B14QCQ5ks=--?UK9mMwee>38i-`ib5xuIv)w$;PfZ_d^}D%%dvD1yNm| zYT1;xwV&klviZt6opR62R3=F$i*hRWzLfVAu&`FE0P6MZrg-AWawbdK;l=(P?jZVP zhR=_J(zpw$1qr&eKJ#?YD|x6p3fQfqe!P^vwR4|q{gk@U+8xP{ zz6}i-{J=n-|8xozc!N;HSj=#SZ*o2fSMTc{ywlI zYDiYrchiLG`%cLA#U<1SrQkOGaEGSqPiekHG5)nATkB(Ua7tich=S5$!fHhbxETJj zhL3%H{^c-)&9|TTbHt*A_QTA#d(%^N48j#cg_WWJfEdU-0hHMYNKf1cRiD;O)J-DtvYToI~@}_V3%U!b9qJ3w;xsFa} z++Z|qLc1a4(W+#5?w*DoxN#WEouv2uIX6I@w%Ugn0OJArOH>ZVgmcCST$HadL&T?+ zs`F9|Mzi_Q7;hbNQ@s(D22ZKFn`^g!kDdJrWCdL~;_4`N z5xq)9>PF!ML04Xl5k5_<0{Jas?zp9UiY%&dc6fr2GN( z4SyDtdGi^KEUbWs2lx4#y*-oqc|jnG7V0HKWiYl~T5F~O^6Qr9^|?6@*CVjZtQop! zkbtoV3%1lkB-R$X8m-7GwPJP|ZYM?(73uNgVFJH1)y%=T=*mpd*39QQelvii0H2tc z9Fp_?tC36-N+iDrRiZ){L4xIn5$(>p+w=|4xUwmvb;H4c-*Q(2HOWgXT?4Y-=H(d0<1Q8l(&h^4Zq&WW=EujIW46v5wfWQD?QXQ?|43!oJ z*y|6p5(J2xoSc&eelJbEzJ74vJ%1{DMI%Kyy65p}Ng&09_`cG1pc5Vgoz|!<5MjbO z-Yj`I4FCgxxef3n71AJqDax-`P&K?N$=_A6Mr3lA0RSDDQqUYb7Be z{C0a{ScNG80guZDr85yI%jRH<#w3z0FI{(AHbcon0}w`|P3tu@%6WIGojU^zwVKRXLKAs2FHL&B=~Z z&zQfwuwM>S3kiX#napHbFKYY?b4zrMz_|l}XlD3VW{Wj$7F1)P#2GaGiCplVQ2BJR zyw7I<&$7Yf!_oWT11h4H)P8&=96~!&C*jEbEw$K#A)qD$r)V zg>Tm#Cjh^HWHqvNq>bJT6Lc1VDRB@L18rm+(8Nu`gd83PxwGTn#4RZ)-8eao>VEh! z&s4T+L%_4L^V~uTRCbr%jjMI&vAg4+jtg|X#QJfhjC8R*-$TNph_HSgQ!MvSPR=~1 z^RwNTF}OC{s-28JjQa?w=Q-R|>G$7l{T1%1;)CEcM3h(TJ}O8SNRQ1nd%j&9C{7&W zJYPOY^Th#;8j-PE$ppbdl9D!*s-~?pp*>v5=E%Ap~NLW~^>hPvlUfMAc+Gn{@t7wgn>QDj2A)BY7H2g-_ z$JbXkf2hwoI=5~YtFYq!3E{lHYf?H94eGxx<{NBp?~m#61Ikdjy>TB7iAku6%gXC> zzwzV2!9$$4j9O4>u6`7J0RxDO@w6q3l^uHKP``^=_nbuMo)WqVSh}w6I&M>|nb+Ki zr`q|fFqvNN2v|I7So;U?8~M*?`ma21KjH@r1pE79he_tSo-U;Gy3!RZ=Ejzk(1h7n z+T}@fp#ySAnpj#l8CLV~B?!(EMj7~B=DE;K6&iAK>KwR}39J<03mxs#-lwHMz}O-_ zdE!={>i<<9`n`^zbc&8)JgnPQqO7Dvz=R{@S2?FP)l69b8bgdSmaVPL*7aM4u|hx$K7R;yKJ45KJ1TWAE<=2SKh? z2TAhILxLw+hFNOI6=a=$h6lB{uy&4P%1i|_lY(!p#GNjH|I*5Edrwk?&@lpz>-E*C zj;lmhMYLhIcB%c`zsBM(YL$lwq0n58*Be>M$bq%gPC(aU+;6S^QSb^5Q?$tjPe>xJ zR1{Y8h09NX#VoqN@tA;)d2mUjIJn_##6 zH?T|yWWuHJZkH^{*1beoHRGqdv+{-~N%AclxM%_{WZRXxX?$#RFUOX4z+87(hWVQz z(sx`naev3tZM4Ix#Ep~hoJ);wGNbtP1UrMsOf}##U&H9rdsNQhUS)cJyrxbzB@1ex z5L2LEeTRhgUvCXq!4-vhH84^ehDL}M2vIN4>>Vyu1!oH(_JL9wwHU$2f$i(hh`m{m zf#d(vhr#WBnMYOjEBFUfu_5YGm0{4;uvPks>#zSH7=X5t$@()KeNnsZ?J3fno;Zzx z7b(-%%tWojZWzzXb8VfmS@f`;6+%JdrA%Eya6Uc#YD}viHeV4csDH|DVRf~H_T_pq zve`FANLpla5a z4QR_SJFWNdIFs!7Z9N{!Dh8Pj^u4(Ke(-7u`F|GvE3Z`r6+Sb5z7E#g;P*%TxD?+F zcRB%aCzHdUHeJ%jCZ?K~GdJn$xE|G@13+ERe+D=s9c z0ZEnzuvVb-HGciK{r}gd5Q2k0vxdfA*8Qst_dm=1^96rFW~C2+HrVGtvD^|Ah$p@O zcL{%qu1D0V==|$;_I0BeAyM+Y)5ZVqW&i7DEKL4Bm4tSsSMGln?&5_zQu&{6&qL$R z2Cm;ezG=9vwfY-T{9_~-AUySfYyVasKoI|)8o2iVLXLlTb_y45YO?U3PmBoz(s&1X zh1dVb#{YXQArAODTZ~XU+Elb*JLw$s|L+5T*V869SiRyfw$S!=J^sHQ&42$)*EZUN qAQ%|f`@1hi_#faGn7^q6Bv|PR^_T)&^&{{XFlliGu?i7`!2bn*BXi6E literal 0 HcmV?d00001 diff --git a/docs/decisions/template.md b/docs/decisions/template.md new file mode 100644 index 0000000..0d469b8 --- /dev/null +++ b/docs/decisions/template.md @@ -0,0 +1,90 @@ +# ADR-XXXX: + +**Status:** Draft +**Date:** YYYY-MM-DD +**Authors:** +**Reviewers:** +**Replaces:** +**Superseded by:** + +--- + +## Context + + + +## Decision Drivers + + + +- +- +- + +## Options Considered + + + +### Option A: + + + +**Pros** +- + +**Cons** +- + +### Option B: + + + +**Pros** +- + +**Cons** +- + +### Option C: + + + +**Pros** +- + +**Cons** +- + +## Decision + + + +> **Decided:** Option X — + +## Consequences + + + +**Positive** +- + +**Negative / Trade-offs** +- + +**Follow-up actions** +- [ ] + +## References + + + +- From ba6bba17fd8673167928f843b309c141123e1091 Mon Sep 17 00:00:00 2001 From: Viki Peeva Date: Sat, 20 Jun 2026 16:18:50 +0200 Subject: [PATCH 2/4] Remove reviewers from ADR-0001 --- docs/decisions/0001-data-storage-format.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/decisions/0001-data-storage-format.md b/docs/decisions/0001-data-storage-format.md index a7baae2..ffb54a9 100644 --- a/docs/decisions/0001-data-storage-format.md +++ b/docs/decisions/0001-data-storage-format.md @@ -2,8 +2,7 @@ **Status:** Draft **Date:** 2026-04-17 -**Authors:** VikiPeeva -**Reviewers:** @alkuzman, @david, @lukas +**Authors:** VikiPeeva **Replaces:** – **Superseded by:** From 285e5365cff3dea8c2627e2e981f47596db413ee Mon Sep 17 00:00:00 2001 From: Viki Peeva Date: Sat, 20 Jun 2026 16:22:17 +0200 Subject: [PATCH 3/4] Update ADR-0001 to have basic info in frontmatter Added reviewers section to the ADR document. --- docs/decisions/0001-data-storage-format.md | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/docs/decisions/0001-data-storage-format.md b/docs/decisions/0001-data-storage-format.md index ffb54a9..7635baf 100644 --- a/docs/decisions/0001-data-storage-format.md +++ b/docs/decisions/0001-data-storage-format.md @@ -1,12 +1,13 @@ -# ADR-0001: Data Storage Format - -**Status:** Draft -**Date:** 2026-04-17 -**Authors:** VikiPeeva -**Replaces:** – -**Superseded by:** - --- +Status: Draft +Date: 2026-04-17 +Authors: VikiPeeva +Reviewers: +Replaces: +Superseded by: +--- + +# ADR-0001: Data Storage Format ## Context From bb1ed5f19d630303a65139d5092cfc9448b32a8e Mon Sep 17 00:00:00 2001 From: Viki Peeva Date: Sat, 20 Jun 2026 16:23:58 +0200 Subject: [PATCH 4/4] Reformat ADR template to contain frontmatter --- docs/decisions/template.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/docs/decisions/template.md b/docs/decisions/template.md index 0d469b8..444dc26 100644 --- a/docs/decisions/template.md +++ b/docs/decisions/template.md @@ -1,13 +1,13 @@ -# ADR-XXXX: - -**Status:** Draft -**Date:** YYYY-MM-DD -**Authors:** -**Reviewers:** -**Replaces:** -**Superseded by:** - --- +Status: Draft +Date: YYYY-MM-DD +Authors: +Reviewers: +Replaces: +Superseded by: +--- + +# ADR-XXXX: ## Context