From 9ade35122a4492c551165ff92a13f5f2ef283af2 Mon Sep 17 00:00:00 2001 From: Rebecca Dimock Date: Thu, 25 Jan 2024 15:45:18 -0600 Subject: [PATCH 1/2] Remove various transpilation options for v2 primitives --- docs/run/advanced-runtime-options.mdx | 2 ++ docs/run/configure-runtime-compilation.mdx | 3 +++ public/images/build/options.png | Bin 81283 -> 39597 bytes 3 files changed, 5 insertions(+) diff --git a/docs/run/advanced-runtime-options.mdx b/docs/run/advanced-runtime-options.mdx index 839072a9bb7..dfdeedb9464 100644 --- a/docs/run/advanced-runtime-options.mdx +++ b/docs/run/advanced-runtime-options.mdx @@ -137,6 +137,8 @@ estimator = Estimator(session=backend, options=options) For more information and a complete list of advanced transpilation options, see the Advanced transpilation options table in the [Runtime compilation topic](configure-runtime-compilation#transpilation-table). +V2 primitives do not support any advanced transpilation options except `skip_transpilation`. + ### Error mitigation diff --git a/docs/run/configure-runtime-compilation.mdx b/docs/run/configure-runtime-compilation.mdx index ee43c6816c5..64c77e2c17f 100644 --- a/docs/run/configure-runtime-compilation.mdx +++ b/docs/run/configure-runtime-compilation.mdx @@ -111,6 +111,9 @@ sampler = Sampler(options=options, backend=backend) You also have the ability to tune a variety of advanced options to configure your runtime compilation strategy further. These methods can be used alongside optimization levels. They allow you to change the options of interest and let your optimization level manage the rest. +V2 primitives do not support any advanced transpilation options except `skip_transpilation`. + + | Options | Description | | --------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | options.transpilation.skip\_transpilation (bool) | Directs the service to execute the primitive query with the bare minimum about of runtime compilation necessary | diff --git a/public/images/build/options.png b/public/images/build/options.png index 39a69a56ade4369c44030a25a9ab0d5bf132a3f9..209d162d0ab4242e427fc20af09b28bcd69f26e7 100644 GIT binary patch literal 39597 zcmd?QcT`hb^fiilZGeKJ(z}XE3B5y<78L=J-lca!2)$b9C8!99l!y@#Y0^6=Rl1={ zm)?6I)a31`*L&~xe&2ZGegD1j979Hu)AreC?X~8bbDpsKs<1QU4CG{FWM}T&R(L>0 z_SYa8*|Afnj)GsFm$H_Skx@$8%FEwZuthpMn0k?s-EPX(vDVdSW=PR^z+QOs+55#bx_!|h@bb-T>?fXtG8<_+FPj}S@Rs zzH`I~Kgx>tT9NKd^6Hcts~i&>OF(u|k}b3w=7}@*lCi;FLc&g;u~5Bx*Xl*eQF4AV zi_c`G#(v28k$wL!q$D1Xn>uf*zhD{!&0YjYYh<&@Yxp`VX>1f`W!gKOG-S~Tls$7Tg*BP9z4W0H*X}2jFf4x;J zjS%&?v=b1YN+NOQ}XcvG#=eZ`FD>eTkP4vfFX56MS95PE02 zPVUq5EWRmN;;9<_8&zMY`{MP%)FGkyoSZLx?OyW-9uqKRw@Kwk)11s>saHPk^(F6a z;_{1Ox->{3pGvLO_1#Uwu;JXceok9$Y2^%}r2J>~1#>$^dPEqt27B=}>Z=NJSts($ zjkO(0yQ~b=Pe{3ZSK^3z-T*&>h`f1$;lsBk@~+G50(bYjk}Ah{&4z>mlWt#;O+ufe zegBoJuVu1jG6eZ0hg>0R$CUZj=)2JIvbE#4zJ!;VR~=RN&3Z6fB@X3R61bEeUVw?+ zE=^#Q(riq;we(ttI+H1aYpU*e#zX*?RlWiz99&hnE{)TMBL`k=y z_sF|uABri?{LdPp$eZF{gYge`uVF(={#yG>ur|PRwzlQzx>encMPlax|9+I|t*dg) zw?kwEdqa4`zSOgs(Fp|FL@@sFFQsBRl6&M+`Hz&+{x#|90h*NalBc3ii=9pmtmqDE zc)|KMiA*xpKU9!5V{Gol!7%N9n%xD4?Ms}|ToenZh~w~`<`%((Sl6JI<-_U$jSBy?xYUGfV|d==C`bmW+;ZTCLYy*kDy&Pw~^ ztnW>-Qzs^GT?jpP=OII+?6Dl==~t&`9tFMm>*Zsuhce$OiytRHgou-!ed_(~FV&~W zALmQSou2GFZ{Z%%J|wF=j;8*Lon1H(HOF~1^om(@DO*Y?>-k6pHi6scUp#ro$)OP5 zcIy(m;DS7Ag`tF*mJ5#uIWw6HHtH^$!{4p zl9I=Gl zbb9o!v!>_Sllf!r%U$DIy2`|v6twz)YMl4^Z42t`FqSo=dmL8ht!d(EN~o#MCx$WC zJ58{KDRglS#Q5G(zsz?XttmICFsLS}Sgy3dUd5I9Oyw)z6t#<>o&w+1_!#_iwHLY1 z(a)jk!q?(1!0%oNQcFGcVAXrB%@E$#EwZMruqo=18H1zO3W% z?APwW+o9XWQ8_ao8r3H=+jTPUXKGZu-+qw%)+wXo0s6i1JL4RGg~M>~niGn3cb{f| z>3x;1o{BJ>EN*;r)u>xf=&le9SvDivPVu@*|1vLk_Cwz4KC|p(ee1&VdAgCLj`y2$ z5pxxD*7Guh3Xb-UDEIg73EM}O-ItFr^D^rs|CKD4OrA_5nM@gJ+VF!vpPrjOguaB1 z)h)_Zul(qUWqDC~zw6k1R2RiJnz`5o=AMcSygE9AH4B|qqhDi8Og-ZC(3&6n@ckF< zrv)btF@><*$cd;M%x<1NGV(p&I`|u%i^o;#T7#b|H7cblnPF6vtRwfL=o^nTCNwTa zsxjabzNsAC3%t5`Pc=c>dVycB&0$8#iW~X4=bLbwrd@em;Rr4!p-8V%FK^&hLCB0I zQf*Us(`|-#=GdjHmuPrqbbEA%3*PB^>s#qMeR3%9wYGGOwJECqIQp?)zw@=Zk%f`@ z;pbqhNw`qm`<9ttUTj~tXsdg~vX)d&M>}6#PVGv#jNPgeq;Sk^OyD*Dpnai@Ywz69 z*^g&=LXL(ogz&+F%>&Kz%&R6_1umJtXv$*g7M;nANz^Fr=1br2(C?T`j!0%qHmUet zwq|(4&?z!4>I}V9fJ5DPot*8Qqy5=A9>a4^G{bSFMWucSymNeMe>vVu*YlmHruXo6 z&vxXt;fmL2#E*+}B4e4&i%&}`JgV`gt582C-+bTgT^y=_g^RAl-moM$0n+ag0#9e{ zhBUw{OwwyIp#3#1M8qR6GU!8(&q8s$+%ZMyEx~Ws@1OVNSz{hbl!+f<3OpWkBKAbl zN&DkXC*f!PFPL3=!SaAckb2>gq*S3qB=sehV#y`ZrqH@cP2`D2pGdS+wTPjJw5Ts~ zXYy3VsXGdjf4SD~oVMqZ4lRtlpx6g{d`-1y@Iwf;4=eOGAn|q*olKtDL^s{+D+vL| zJlyyBynVB=#^a6Ikrk|P8b}oU&V994FYYI=@d;c*sF=;Z6Ns5nEq`h8?D9Rk+gGn} zU0zjXNn(=rI-E+m?xb<|{qSo$nIh+fAlnn&`RU28a%7XG4sVmQUlFi0X|Z;?P!cZn zs^w1hJ?0;IUW}fQog)Ws2eOZIA4dJqdkr6aT{!AGhAW!)qbJZ$(;vzeI~S~JS?SIc zw|VHP>-ppd=hGBW%{)Usa6v^BD(JoKGn^c*9X^{^RjM#7QRmaRM}O>vbMuPyWw@QO ze6{HCSChEG+W{}!FYa8_yikcw;NQHRYL)t7ZG)#muhmM1oBaBorKoJ8ScN5OJ}C%U zK9fJQ@+zcFIk{hO%$G2+D?=eiyJU3R=vC1g-Yk7Wq#=O!u3=B zZI0_@RrS`*#c4Ya#=EvH&Ep;Qw~Jnyc;~fcWK}M0x{Pi_K&6P4>$9mBZMg?^%5#Uy z!%OcLF7(+Edwu$Ca<1!lSGm^?mbRI+k@ROI+7hw=8R8g5%l@4K!# zwK>Hm(g7Kxj-M(V@bNNlWs-f&w~MuXG<8;mhD-8KWIyl2Eu-^^3yo#D)(H{wx z`?*h(SCYBPpOo`KQGUKPiT#HYcSd76Wg^gBDREFCFYS@VuAv^4F}qkjT(lC`ScYk%Ho-sceS1NHQ` z*?+aOK9HV(zJnI?&pYhe5jj|Vnwpf#E}&Bz3qQ`Ui!Br;GhThXA9$H;Zp~LIIZK?_ zOz~E{pyk{SToI5P0xS*EKn)yEbFw#fB5Mr=x=tQqog~ zPLwS_yekh3Hf`Tz>GmiTOa~_{G^-ub+?Yre@5`1Jv~jG|Fffo`Jerq-CP`gj?=;% zV(DP%XzApN1p5m7IjOS^+!cR3>^vPP=-T5P+0Ka+w}gm zO-xMm_a-f*rHee=k#xf{92({>mf&!3tE9PfmXvp~G)BnevEzBjY z;4Y4)U}UzArq-4aXD4e8wm(xXDGzsmyMPOW(Fy(g_dB3fcY#~kI)DwoTlSxWR8f(< zor-Ttb}J)ZA2@*W654kk?c~%#zn!R8&Gp)J#G` zNJ8xI;}ziMZlt;T`*@50m&dEQ*n)Lz>hOPj9@6S2MU~`jTcj)8#q0O_)38MR{^VfG z_A`(qP0dMbNrnSy>TYSl@%u;H|Kt1rby5!-OK?gM3;(+Z{A)KP+{)F%)W!0a_0PEa zm1FMzy@c2V1^M{duIbo1S-?Gz*Z&@yxs9olwI#@H5Do~q83-v0{JJm5|9Z?4h3RDI5+1#qFmgGj zf!pe8jN^;2gv*Wh1e>qrU$1y_jV&{agZwK;IQfnIuQ#4N;>jlu&4)ZWmEU?JpSADU zD$QNH!H+Ale&zd2XPw7%jEuXCw2X|jX7{DhIm^Tf5{p!{LM$NhOVqFW^RNam6E~SI!W=2VjGVqrnk;JYVp`{u+4aq?kG-jFX3OUF-4 zQ#^ZAua3Cz&4o;?8J*pIh4RGg-8s!r3|aU^XJ&%K*3y}O{V+1|L4@+-V+Ib?=v&nk ziEeA$E2#UzPPaBMu|%g+j22Sny#BWLX!u1o)KPF5?_==Dr?BX1BKAFfYkYLF7<{lR zOBk$FmRF9xzh8 ztYO~7Ea6|t$75${Ijv?;bdP6ztQ?x!_bBcdhN)VXw z?)Uw;+5?PrbdBpG1C{wqhceeJF8}a@p2okgRw!^n<+WyZg-a2u?7>8uvPg;anC*AA z&B?uJRy5uC1Iy`TUW3bV3%P2p8um9^kAz|#iQhnt@-t2rd05dR&~wHZ;~Eq~cn<0> zXZHLmkM4(m4N5??vDk0F`mlFN=ZEuMypS_CnZ-`YpB|dde6qx^ta&$-6>wU2*vUFSy!{Eky|Oj+N}xNQSIT!ucc#$i zEHn8eo>@xNuXVUl4Ig1$>eZiffR63O(r{hM(%Y;x=w@LNyv!qCC0n&0$s%L9KH=$f zy3ERdD)IqvZjnqQboQJC}<6Rj^A3@8gh?5 z)M;v34ao1L$*q)x_qGUGciuo<)BYVD*`)#})KZdEUuncw#&f5p!TgtYXN8(hr*aF_ zMs%m=4plFsX4>;dPvM_N3QL*qZpf*g_xE2g@RH?Td{I;8*^FngNwN>-J$YttVye0R zvYs`|#%4{4zqm{YwIK9xsUVBKw8wt1{^JvhSI#$({|>YwQ6+GL zG)Lxh&NAQN=0-*le+YG6Zlqf02?$@5beX~ z^P?Cy1D=Dp6!R}P$&mb~%Zu&;H^|>$IpW@r(9uGS%B$2d z3c}tqQNB91C^QtB{Qj)px?;)&o$0mg6I)OyqB3~GCiB))a>Gb?Urj(~s=QbA*Uq8B z4rquqmukzwTyb6S#p?5el*}LRzSTW4ag7ZXjwxwrJT=dq93l6kO{lpmim@xkf<=di z0~Kt#Hg#R(9IU%Up#>@}ZE^d$$<#>|7HJ=Xukh~5(~}hFH62G*2~XUI8)0V0f3JfZ zjOLRl=6M_3Xs~am(}35Ho8B+Y3`}q1(#J&5O^sQr5dWggAWj(bCqr>Jt zX_KjrI9{c;SLYtARAlN9%ar4Brws5bVOP~)ixrZEM2pqYOO0* zIdQWy_V%Aiy);PID(ZCaGMnnU1Z$ccUX&dCbNGhFY=5Way?swDE6R3}M< z)I)FO9j#X~-gaYzzrCN&D+kPheq8^0i(6sw%z=>VPjfU&OyG5;O`iF?f7W!7K>p~V+rhzcudB`8WwusNc==K8ECL(?`XIJj z7-6dm->OT+_Xx1WyV000q4YxJl?6_xW@FFB{1en2jir0T*x-yGV(gul=P3m1oY^MX zuP8QQn^FR*D-k%5zq$EPPCK~n{CX_^=BMwZ49p%TOx$$)C#yR!PL7UNb$JXoBUfzp zvbv zj#c>cNK&H&oG0pCgPUT6K<#I>yL&Jy=fP5tLOu~B)8 zKOPS~D4XNreQhm!TzF$WMW)7U3F{iFUyLv(gnoDU{HQ)lcAx^kxV3OaDY3-P(ra=~ ziq-d-Cq5;|=sfaO`BYWCc);oaCKBNaA|ha6_`2^{ePH^H8&2?^YXXknFOgsQQ`IRP zBTuGyU1b)m0k!2>(Wr6p!PE9c>wvW{-IJp`?sX^Tv4jG@iW{6}bjArHi>``_!nM_$ zFgZEp=mNj7YR{{6?^StaP%FfPP5Aqqp*HCgj7mFRiG5{!$>8T;X{NN5RZ*vxUYq0G zI;{LLy67>x`$SL`|2qWU3J<@6PeaS^LW1o3FP(?gtwrtOi5?|RQRo$X)k%i*vBRb! z^B2!?@=~idqX(e4D%EuyJ4t>o(oZQ`H9-5YT5a3YQFHbjr~kL9FZBjcyFOg~e79v7 z2C0*CkLd`ZKSaNXMbdSuP0v(z+~D%n12oHs)}24uByNZfQg!HlPOotB>+^ZN>2S<$ z2=%C-b-v?RwKQiyrM24Qu=Vd58uM)l)^s91?kSK5o=j&R?=tq@+u^ioyMIMJ>vxGa za56Wn_T2^f=i^1RJ{7a~_(X%;giRl}Dh=m5bouVuGxoG5EVmB&9@4;cY;L6^S+GVu z3zcG#r06AdeXUfvvIvFknT?cWX{c%?{Ks32w`hMq2MuU37xW@N^E-XKE8 z>uA{dyBn0_L2}`GS7cIXyIJIoZ=hL`@x8{73JUJVaK^Q6S}rx&?SoB^Vu$B+M1wO6 zq#Uof*mrS5u}f%G%*l`-wU{D}y!zLOq3O=5jL*B(hm?O}QW+jOa*~SAu)=-gZNubj zC;HRFaZo1G(b{0vqedmYClp@Iei$f7=QY}!w??O_eak+MMvGUwP6pqhpj9y`=JCZm z^RyqA2Q}yb+mXDfoy`CZxJ5U*`{QYQg}Vet_}_OwNH?wd<8~pC;J7R{em<1f?yPn+^3ISog zzkiaK9w2B21fr+o$Q#|qP=n(~G>^4%qHfIn>v(|BcM7zqZ;E`&0NCX3xCE_Ep~c@@ z?#qK7u_63Hk~H#t=bS*mQqOvNwmt!#n*!%Eb^&3wGm^lqjiZ;5MCw-CYK$0a{;DR9 zlsAZhlMpMs2P^>`gcIIUIf=+a?v9YAMdA?5QI}DSggJpul zv63I^3#gLLkx=p=9hqB>?%}^6c!7F2^5a{Mb8EG07%LTfC`!9b<$pfPFWvNM8$pk_ zKI!;!!ti5OWr1acLI575@ytVU{b|u`7xiw%?HzsV1G$sa4cAWavUp|u5$

eK)emOit0-m48s&>htn>W3Oytg}Wty$9+b{H+7~Yao2(kwIO276AMK-;HtV@_I}D08 z+CU`^aQ%btf2^{uI)lzz4Mi{HH;`Y~gt{mj!ZBgv)^AK-Vq5!PNT2oC+s_+MFXP=Z z(XgIn=gJw5ssGQca)tLsPPcZ)tEYv`rdP+Nqdm3{cKs(C{jx{>u-xqPmi`L2Az>Oy zLLvNGAQ#}7C0-a8XQ40VkNt$+XllU%tAb~5xQmQikdJq7T{UJKQ*b?osQ#cQ5MZEphv4A%Sj&sQpKBAYCV&j z0`!mvB%qx_2vy1$NV88nr8j%NBQl`_4DK@rtok{dwB*BS6j07Lp{rV>LPr6ZZ>ZGD z3|93j=zVj`!)>wkRHV?HHKn{Lz&hSvDZ+>rJe$= ziR1}h!aa-KTv++L0ewGFf6O=K)+G5M(>ijKN7NrTeO+VgN*H>G2leYN4cG^L#siZ! zb0=v_>Bh1Gh$-?REfwb)u=?8d^weKKV@WFXc*20xW-jNsgcdh~+<1UV5UVWjgiq{Z zLFfgQJ)7z3$zZRc&R%zXxz#6;#+g43Eq0wjSel%;e^cwM5F2{fmLT4Rpj2Yo50#XAq3TmmwlZ~k2I%18`%>_~6w zA(sz6rN-H`yCWGh+qSEiD2j;ZLwt1Zi#{tb4-oWwh=C})_ha0^S-Med)K~1qWKR!5( zr&kfd-?w)nAcUpykZl%O!|8rXbs?dsQZ9YD>$;8Hs0E^L$9W}GtY`gnjMQ`k$}I9`H)pL`*MOJ_D4|?HWQ$mL3>Az%0Aa%+1hqVF^8} z`xa(Nh|STcQE&H&cl8DVbKeDUz2|j4SXHIL_AnJy8+Xl;!jZFGVuNQMS4JWVUl!@a ziA(wuo*c|h7?*iZ#`UPro&7cKD9ku~7G%{f>t2@9I7Vw86T))vne&_upk>$@Aw7de zas3JWjrGV!EiElLuQMLPaKd)}^w9P)BQ$_8=CggflF>>x?h5QD8F^FLeX;@T4ynAK zO;zqW|6tB3*tB7$eZIo`!l-3rpqiS|`>pB6^`QD%EZ-plR1a9Hy}3`Oxt%Emh$fVB zY;5mcn*;{gUa@`~04+(Wryh$t_v1?p7uQwd&u%WY#=y%lJFXNgV#)Kcf|Mic1Q=^t z^u`swr%OWKt~p4jRv&^K{iIFUSZ2M@(KyH9SF*+QPi(Bt?HKL5BOb8=eB*0TRR5n5 z(~f@RkkCw$qLsV{dfo#N_)uHyLGf^iVR$HJ#MtYK&Wqipug?v|((WbwCGLftxB*{C z6ybCCou96^kuhe}8U@R9kXxC_QS{->31EJ#ig_h{xf54gznfYgbq&=QB>sAlG89k% zT3&NLpuL}$e}grcmI+7&kEecBYl8j=ShFgXy~1v?j-grEC(e*BeylY33vhfz0%W`c zQM9m4rap>Wmfzmpf!b_5e5`X5B#;vTP+wca$bZUe6Thebqo2~Ks@^6wS~mwgvO(@v z(KClV6BBd$td8el@Yg>FfI}4X&pZ*a7YqULFO8~DDW-pTm*Pqz_I!;_nDt-ppfZbS zN0on;n3xumiZs*P?Ma*4cgGE;yxy74@cR=Ex+dq$JE10jU*~X(N+I8u7{7ka$OLtX37@0BguKUE6cBVrQWAzHihuyF6N&KBd6S+`URT5KFiK4cH zHKfLp{1%^|JPK5uuc*WQIxa%FWtKV3!*mjSu17HQ3 z7?VoZ>s24PI+M=*x>vZg-&*BocK@&U&m{kIby}CZa(rp& z_m2#r%8`i?+PEdLl4W4|BB9Kz0WImV2l$z`M#j3=4=R zy|@*ZdHYdB>zHs)W0WQStPokK=f=x=0~uJ< z-GIB-Y}T)@iezBt(F#; z0eEl6q4D~3UbOp)?^=R2Dp@kNXyfJdL6G3DrMG`zu*$0<6PhMJp{k0#ewsA1@7kI7 z@$nuJzd-hzD-~ypmxtnKh0CJxOBqf&MSy|Q^7_)%zc3Q-pVwRzvJ~5uNuihdnW9V3 zsY?jcBK|ty)REH9eDeTo<#&uHZmmN42f6!2&oKAZvWn6Ks~1?u=h^e2`liJJx0i}D z(E}?_bqWnA$Qn>j=X4_LH4Iuj335dpvR|QIq;%>h+mnMsZ+}f7dLTytdLF@6dL8sR z;zt;tSe6z4!9p*RtU<@=0Xd+qe5>&i@LWNac0k_tY~zwL2trqW?K(4O&uU^07Tg zwEyIMnTTFM2lx{`LjXqPCQ5fA@1@Lb0ItzAsV^hlK8_o8g2epUFDO%<+1rkSkhgDP z0h!Rgd9UVMyNYyaZcC6!Iik*kQLN=6OxeU|dgMI-#UyOJt7ATQ60Mwk=^AQu7=Z(f zfgWU|O{i^mt&Us7`R8nY*pRw(Sk;o>$tvxQlQNMJG~Dq+DC@cW0XAj2MwPDfTLVZr z>3x8+5@4eMjJ(WDkM%N7EChPfow3+iz_tpzk5<|Q(g0+>-jYe&zMr`>A}SwpiJ(WK zWziO@DH1eh4|1+;;ZtO^eYa3WUXm|=a})|<>poP%EBwBmlEGVm4vM894m{@^e@f^n z)9_`tv0~yyEMKfvq0sB$)=^9G1!}{p!vKe0`vSVcRj<&==<&e&P*PbN5NEijUwV!B z{GdLq0pWgQb(f-7a{tY8mM@e=^XDTm_M#Q3=m$yDY(KkWm0F@ z!ce{OkuR$%uv3i*JPG-^4ONrkrI;$8-2IJEOg|`&K;z+^5)Sk!cWMJT&~ ziu?f8;Fs%?e2#iS>udNfbT3TDSY>$nL;atYBXTh}ltqHz0PhojO{5I{nowZvQz^PY z>o_%W-xCL%&YD0lBf%*=}*K|8vx zfoiSzlcU&CKtFtTd>p7>AF~a{3@a^`D!qi_YFKM6zA9>|YK?5tI=x)g;sXHRB;WtA zK8S*g*RasH`#s?4hp#E;FzB)%G^wcWXHmn>{Z#(|GPuBvxDZfGe)Pi$$%_-$9+?G+ zhyTnv&Hak4!)O#_PO;L(tfteZ@aMyt{cxOZfy)L6i*7fI|B)!0)X=Axm7A zi3t*Y-ipQV?oO$}az(rjXm>G|IeqQJydUEz0ZkKCDsDGhDl04Ha+xwcUnYIA-*HH3 z(G+L^A|+&|GuZUN=!)Lz3IK#}X#eQczD3si89c=jn_D%Sdh~wXsT!mAYNQb3wLtNJ z57rR#G}7&y=xf^+@qQa>$x{17LUX~vOThU z6Ab8*ND5lWXg&frLpp>sJQ9V~Lyag*Qq|FP7%G8Sq%Wv?f`F?Ep_*p3o^E1|XK5z& zFF-p1x}Akz$;9x$rvp<{J8QR~=%KuyT_vA!xhBO}RcSU&BbA0$l9Y#$pz(L(3Mv+9 zAS0e}d?GgkLD@-sCUIhbl(88Zp)*O69smVntk`GCertt7d82&~KQ>a<4U~(5t7z(N zlICH=EJ>LpzP_}(3Gl^PV!%*u?%Jf4O5*k^v3ayA><*9~r^KRVyoZXci^i~(yGG1| zA*udjT$6}km1Kq)nqYYo-{%s`03l8EbMffz#9V5}Bn%JaD}ruW+i`?pwu&SZL(j@q z?spBrL$Y32k5AIl=9OC~?<*IRgU$dc+ zX+k0u(+(h=Lo#X$i38OmwMF*!yeL(pjnS$qA3x$kddRp5t6i_lw>R~hZc3dAG`!2@ z%R~7c7L6Nt%(+Y120HZz4eGonf9dA>>0(N!TvEANxiZ_>|Ek0Zbbd>Z9(4o)Fu*2h z>EyfCqaU>rVgh$wx)Dek#SJ0(1MgGM<|P6hE^+h$t*&OMRDF+>0%!Dh_=k2H0Nl1T zs%&EqM0+04rmJ;|=!XV`sqsu#(B`>K=moLi0d=09&LDx*R%yb5hH1isrfxZkA?Pw| zG<~rV&KqEm*1hXnd$_P-ml>55a&(RO$7$f8AQ5AWD~&+0SOY{u^ras)6>f~Oj^1w-Lcm*QK3{Q#7N;QmE3|F=6j@So`Z@z^;LUkpQ$9Pzf>e@usK7 zMK@`bcUKf0lG}RS0M7)91x4m!P|5p4>wWkBqXu-QwbhaAG?$FY;VI5s%ObmRe?(d*LXh?wr6Tz07(cix&l=vfZBXP@WH9N1h4%Ts2aBsOVmL>S9#j3 z_OJ)UY_Yz8{M_MGg3$V+btjtW)5&64nfxHfax~vZ=OueUfAt8Ua%#%MN29Nn0rhn! zYlh3%OT-(ozBe^r3aOFdlh5fHyP#b_>7bTwud z3h6nx6?0Pl)g7*KqQe-UOy?vq>7$;jf&k)a!uiQLK*w`kr3ZopP8;KYcpe@UjgnJ7 zmDkXKMM0`AMC}5DKv)Twq`o20A6> z;?Hqn&dCDmHF>UUm%R&U7jMtW5w4pvshDs{0Mo%-Hdj;RolgGpsf`eo#0%$OTzrOf zQQIVtCVe^4#P@}>_Y00{AA|u{=K{HM?Cg$X*@TVj`7QX6Oq|=t=7>vNXBUFs9j<1x zqWB~_B9qypVCE!gBdyJZsn_KZ)Zmx5qr6mL55?@mE9U>wEpW%7xg?$!B8`no5#nMn zt$h+?8Ht(a$#dE-p35fDE}d(gM&*Ge)!m-W~5w69LXMf>$cccS3tw1$Qj7PthNP~;agg3 zP{jQOHZPA({5LZv57DXY;iF}}4T_u04a@d;qHF@c#H3$HnF9pZr6~S~wSf##7!o*C zV>%O-7Ao$2fScb@x-}kQ!ED|CNO9S@X zT1NG{rh)tF-QoDs{QQlv9F}3#;fW8WyAc@uvuoCwY$Re|e^yipM|#weIpEJ_ZqQ)I6Pmqb9j=0 z2ojN3aDBpPO@;U57^y{@SsGaD)G{cs@*}(VYt{a&xBz?>b~r{pD}5W?;jQ!PVb9V4 z_7u=dfRMxt4e%GP{qD8tlqJ3gQrSc%Hx1SOut3^?u8G#CZ%M|M)|HW2K|YVjRSeLF z!F`uiBXEG9M#`*<)R=0dTczYOqCZsb#pL?p|L^k+%pDq+ARTBOQp2F?TIOVl0~Q=T z))Dol$vNO3!PF%J+R6P#rW$qg4!Ox_QZb-4=RH~(VG%=;0O~cet^+%ero9s=w{5=s zoe)-A8X1g8zs`rg-z!*)nvAr9k&K-FjY<*LXq6ftAOn#I1y4L^jG%};S4r$)o<^J| z5_GU8C60+(GdXS&sNe&78T8f5UDJu8)B5H@I$5DtSH<{RxkkH-lmW#A=DNHI>*IqD z*Pfg)s_4>i9H~fO{$vUuTxU^LHU8%0)=-Ic)pqIJe;+Qbm{Ly}Rb5tO;%g<~xMHp9 z^;r6z6}AFM=461j+DZW0U_x8%0*}p0mS#IHRIm*mq&CIenzg<{=}c}yJ#o2LXuU7I zJ+aki`S&pJq7I?PRO1Jr<4Ax9y`+=ro(86%=oIniuS|Vc5J?LKqkW~J|LZ^+8=0k? zD%_P*fP(|^<+Vtn`wHdwEP-nu)UZ;$?zX4!gfKozQ2ld(c_J`FjxG_1=0F%}f@hCa z%N*)q4WjmBL|kUF_<8h8a`@`8K#Nj<_!kfk0oM>3$1A`yQpz5whgcZ~l~s`wXb4|{ z0#7Y7cO|fHZ4aL-t8}HMP$Qn_`XQ+*+wr0r)#91O5oSA*V2Pl{!r`^9px*}Mm{En} z5Qqh|m$|Pixf31B?L*CTfL-G0*fibAMMcl<%`J35JKw&YCi?}5<6ulxDU9Y5wLxQL zd#~DYYrw9j19U92197YjNJ^lsQ&GDp*RW>W-OcK{yD>fYLrYp((m@wc(SQTY+W5kr z42uj^@}C^p)r0LEPBH@~oF=^q*i^3lJ=WmAUX}5i7S+R<#l3Ox5%kxhtHj|n<-QoV zr+a?rNSM$3atYGU)om7St&Sxnz~6$V@odyOFe{`65VyRy1X+!{07Ami$A&3*Y_uf+ zH%a|TO3Y9vk8Z)${*%08h4WvmQ^KGhK*Qevck|wzUTDNp6F-7l`sm7wdy=SPddb2T z@j+w{Q3h`bbYP$)pR3sd*oIhT9Ss0$V9BUq#*j6wjb z8;Em|VBA8z;%@+RSe)!<{38Db)Z@ap7r?>w<{T|-nQ7wMF6cIGzP`ME z{H&L1ozm}4gsBJ_iqVu$@j03n0$@>5W1)pN`d1fm6LcvJ>McJ&Jo|#edNgF_*hzhJ zeZeXV>k1T{)sNF zZ%2OW)xTKGYrp%Jo9S{)$Ny2n|2g7U5BA%QCVJxMwe0CMkBKP!Xa9fQ?jNO_#Bv>H z{<-BB83g3;e}wmd%l}r##UA7hRs|3-oo6ZQzGlGVJf>bdgN)BV{6I=gw-+m!TbBJy zH!VUZJ937V(1gw&RX*pwGzN8TNu;6WtJKuXAoK?Ut&ik*qy*N<%)S<)&1}bWA#25M zRlQ1aZ-Gb&AlW~r;c^-)=`6qa({l{?w~xG1vQd{HLTfKAr}7Q9urT6arJioEf!*xs zOvyarO9VHQggZ~0MQzeR0wg#rvc<;c7ogk7bs3{N=c(^` z+!8DE3}c~NExi?Ig4CLcVZ9f5l@1gc@CylLWa}GAK-={liDYn^SDx3e<&(fk&wFYJxdRHn(z|by;iaqt8HHe%z(#{;#Opl)4bL@Awo~!sx-z2 zXqPHZ%%wuAcYtzI+XOXI&jTJI(0j*iqyi7cK9uO&L^zB+KIV-Fl*slAs2GuhS=QZQ zaa0B%>zuwoV2qUY#LWTDJHOfhu>vwPOfBg{pEN{E+kbDs+H_FzBCJkq#Bc4#c;wx; z=Srl(G zD4Y}M&yIX6#W?#qKvKEMo~?iH4v~os)%O7`8&d!NyJxTOya$W8FfPEF(X16xgthYJ-DMO`oMn;lm*)8nXYs)mXHEuW-Z~_;??<&PcUjnJx;)e4O{xKN>)Ck#e2vS- zp6q|kWKBi`IhWuLydejGm%?g-;(&Gk{t4i}#xY?YJL%3fC*7rIa~ruiR~GxlmdBtD zDE>RTy(G`fZU#K9#vw)gwec>n^PVT{l7Riy(-cfm-@NC(*#tg|BZ8Ow3e7DJTYxW_ zR#d~4>s`R57~mgc627*mVJe8vTkE`-Ckdsxiza-@;iG8wn9ikP*$eGR~~*83rIZ3 zv+FM`obaCl*S})pTbQ7f*wqVqlQzDLqiyilx-ns%3Ew%^U$;q@dcQl%YFoBDVUuJ! zNX0tp`!LSLOU_IpW%>KV+uH1pEe_==!t7Va<-^wHmBL3y@V%2c02O}SI_U%WKKAvi zGn>G#DHq-<=?_vs@H_oINeSPj?*Nd-Y;jhPeEPDWR{WkTtj6fJ;e3W%mvO24GT<%b zyHsn2X7rD?N!EE~YFoaa@bm;C0eBza0v)WI8#+~&Wy0_OO*y3u@Jh6u`~t(HAFw?= zkh=*53_>1GGdsW!jQusQyy{sKubzve;uDG{=$>_mCg=$x&RfMIgk`VNTfY*gi1l=_ z%CU#hz=q`RQ-TFNv7VmZDRqXEOHSYHqR2|G5aNlwbV=Lr#gI&e{BRxRnF9(#odjir zhfGl=`jWe|gXCp7%(S;?)w#9Cy(zEqGP1Z>uy#d4SxNQS@P<0o?q0IglXr>mQn(Da$~ibfwMg8@N$SEuxJ zgcj4ou8^MOH3lt5x_}ANo3P#$EdJ8E!a~JcZxiV&>M~ur+6+TQ%?G)VE7Z2ScV!D46l^p{!Woo!+BvmCq8^1v_6yTIM^qpD_gVzZVa$4xEEf1HVtJ+c8Fiuh;_$DK@^`}jjVSbu;YZ?^8|qm zJkcTuSK-J@QLGb&Gm9i21$g^I|C5!Z(pkCtV zwYC<9bBkubGm1Sx>!=dmG(QEjQYShTSbe#@*P}dUxn_{-U1`SA2HQxqOG^G15}%^mem@{n&d4J>(;PtPzRlD`viDp2Ph*a zRg+$c@0tR7bsxnn1*i%n{Tca`b+~0y?&w!`%2Xu-O{e!}vDIXPm(v#f?w zEZ(*vh`;8hXn35>BPI+4Es6v$R|!kqA8W^jav$>WU$yiTL-c>(A9}V>mu_K{a-(1C zKx7hq3<%j_)GS6r38gXj5eQ-9VCfpCcRE&tpbM~Eb0$Z8EycVCx^mlIb7uYX`X;Rc zg!DGYqI5+h9eot_Q44~?h1#K_ZZq_U4J8Hkd?n5hW0k&hZ#8^th&Lx0^mXiIcQ5Nd z;;Qj};5SpEY$7bRI(Yi*e8!Wxy&+anN3cW_nxN)@MW?UY2k(&p|DsYlE3tUQTu%oJ zEQZ}pjgxvs9qzGNN`~NtIrxqBI}j4sWVgK5zf+RWu@d8?UZx(dm6A9-Q}(8?r6Oe} z8dG-ERF8#T-;$|a#ME^trEM*N7j^Xf)bL0&rHZ$0|^@} zrFM|`3pzwQ8cE(4n~`!HwFyGMaTXQ$0}rTuQX5_eULyh3aQ^|-SG^KH16&_?AIx&s zG)FmpOMvbdyGBX&-;a-EnS{T@s~ugZ%eY8WzTdG19A z&_=JFR8o^^Cq8`jIs#LcB1XfU9Tl$vFgQ}=N^X^q6f-Olx5`>o%G;EoMFIg){D82& zQNh8U--y2#9s=He2|(=O0JkpK6bUV9F>U8Uzsy(VGpwYGTY!&LG?m!jrR)v=O{Yci zdGT_f2u&DAOpH~hN$Guige!O_L7Ji1u;pveFOprv8SvXJYGrQB z(V=j~eNb}(dbgiT%imT}%zgH3Wn#Zwsjh#qci(AJ$uyL;^nu5O4c){yV+v4pjU*hh z4iecmhv5iK5QG`!AJ|bY+!r#R1#}HS%KPmn7QVR_H~ZFFOuQTcuih*M1r@n-V{n(( zpQNEx9*l}J^yzvN5=_O7qt-dnSfyj^pOc4S*6()2(kV+zGO!ADdXwX0nMxjk_Fj?*V50HaPYFYVXXWsb2fPujy1u zrli=B3Z+nnh)~8NQ<<|#MIy8fVH@_TjG3B{IV3V?o}J8@w`rFQ2VtW~X12Yb&v#38 z?sMPk{teGs&+l35x6WGqactXnysppndB5MU%Lw}6cT_;#@H6UpJfxJK<-@lbR$bPH0o9&tW$q`11bL z4C}pA^^5#x0&8}J%z0Jn3Z+Lk^=z%eM;r)*nVT1jsUQ5Ds8j9i@FmZx+CgC#N{UVD zg%D{0(u%$>#6gj;wDznLV>Vj7AavU}R6Kl6M=?=2eIT_-oQ(vd^FVdKOy4<21$b0# zyaF)L-vOii9{0CyNz%}XkaSMaYPFc85>gI>zNF1@5PqJd1r|UtokeMauQw7`k_c=*x_l5|94@ zGBWiQrDQcYk({1?Md~rBx(OuZkZ^^dk(t%^P->>Q#W=fY>5qH;#mir0-_iz4X?;CY zI05bla#!gJ(ly+%kEf9GPMY&}U!()cf?r#;3NM@2TR1a1HQ94CH6V4NDX7fh`GviR z%~D~C9Yoz!10haMHkp2IlGu#XRTR7Jmdr+fM$StqLV=1HZdmMk1O*CT9D99;dlGifZ(S}b%rTNs9uw0}v|Q4u+eEl_ zXRz!oR`9Lv7sp(|C%_KL%oOBIl-LMHoXG9c^I-gRkHEi`f zCHISLSYVt(*P+O1^@gxC2ZsgfJHuaSofSU!u=UJ_<8Gn7d@Y}w=Ip~RMMK$V%r{32 zhq`xUx+YbO5b)G!xke4NPliTYw`udJ8>I;v=@%+C^6s+P<8&;(YDk^AfuTGiY_D*T zvst=#DrQ!Ba`eNe?)pJu6Qh#Y)7_mKfdHi1MqK*WmN8O7KX;MNjzXn7@kmmByD+-b` zI|mLTRX)k?j!(fr1jKjDC+mZeCGEBVP5M!s%iPY=@Tjf3I%H9Fa>Pr>@MV8b7Q54r zmEy|z#BOkJr4`}+HN6sOX&E!aao3cl%7)&C1e}Sd;Kzb#h+a}4aiq_B5$;zteu6=1 zh-P2?U{JUyU9f~yGuR@XA<%1$PE^*r@ucV+)~MfH(x6 zCr`Jp#yL`;QGqQdFC*rgg(maJa87Y-&a(tQn@YnptA+7Y$2eA{rsyd0Gg8nt!8`p7 zV5?9#+?G1P^)jmJUApr|J+nx^z9vqk_=tKQTuk_~*_ghFnqk=VQHismlyiby-Q3nk zQJf-WPrej&#o3rXBR@0Gk+#z4O(qDNo8?{wu1*Q)1(B9N%#2dp zzogU1C6C?Usuc(RNgMo}B}o*y>Y&TUj- zFr4V&!!D)CGjZ9f?LtP$1YhIfaFg7TeX81vlZ;mP*?M1B;V1Sg$yr}0Ux7srSI7;o zgpcf^w@;gEjQEDXStNAI>wbdi7ZPwjHVG?~^wn-MDAQvFEFW_0ZkjVNs~<~);I92| z0@$cCB2Hg*-P5s2oiK+4^wAn0mXOxJilST1hZmm6^6A19RErCsEC;ai+#s|{N}x3# zM}Gt@3W9*kUs7b4NhPWie7a;%eC(?6k512g-peXr@d!(vHzBSEf#v6RF1R#Btp{PCRoqvm;iY;xU!~23+8}RNNxSNY`w2s%!S*dyl+l>-nYUX_ z_=8t@0=ehI_kbZMuREl-c)a62w1|mm97@#C{vmmSloA}2Su$slQ zdaFi-pSEqV^mZ1$Zo!DSIc`8d^`UsZ>bpbBB7-1b7?8U$d_!ECeqCuQ^et+Uy8~KH ztLmJRc{9+&IjAZ+C)!=WH4SGc87jdT=Z_H~R}pTuyeo>-{Mt~mfDP`KDr%VIl(_3} zd>ZO65%&jWZaehztNFFTMu7P^2@M?l96$Jo(96}0Po4ZCz;44`d>SkUm&_f!4~fn{ z=f>;?+g9evpKrM?zuGO1;4&Ij0;)7YyPoCoM6~oPeu1q6UXm5A) zOACQ~oo6>&+$|tAWJ{Cc!4I*LlA$1|Gts?@NQO08(vf_j@E{vva)?$)SdAz@Omyvq zzO|C$fs2uGhCPT}4jD|_%ZTS@Fp28&Yd|RtY0ZPc{*0{OYwRZK=GXGL zq$mf)BMmA8cFw5}Por-}}3d7x%SSCaU@gaIZotJMmJ`j$_xz zYfis4BjOQ}z#837B&!BSLZN=z3x|rtKJRaesBH=AgK-}0EPISl;E1eB9rR<8t2=6g zqJvV@Wp)`cX}eB>VjQ3EbusMHHB>-(gM~WZ3M57p=MGXopvuZDs4Pe36l<^ zY+vyggX23V#-Xjnn*XJ&h-}Xkp^LQC5td zgOYuOjRKC98-bC>jJ&j-p4N`M@(pFgF6?MD>(n^QaOs-F61a;VsLQN;hHl^R@?DdC z%7)2`5vCkE}&sfM?xKFj8lzSeru7io4udVx!kYEQ_-fP)RjB71n6 zXBQ{(Z751D9KLtHfm9Kl<%BUcH9gpJBOufy2Vx6KqpN0pO1y-{$EuQ!h=aq`=@i@e zf}7BcQ5h`Dz$kQOISs~*BLBThg7ngl7Vm=Xps8p+IajOt10?7mB~b1*SJe&m6uLgo z55nuGB|e_ox!)LD=)a;Et)Q@uK(O+Ul(oH5;@(RVP09b<$6|Y){8-N3@Qw2f&@lQx zW}1La2vU?%(eaK(q-_Dda5ITsON8gXv3iSxrgGs2U`xm_+fje!Q^NtL^40N zWYVBJ9weUZz4ga+4fu%*_=iW~tjeo(OZcxw3p~61b?B%3+p9|RlSrVM^oTEBoq||B zHwPFS7u>ZX{Xt|DHiOgt?i&#Z>^@D4wB<3M&w!zf1na1oAp$_5&~=A@dCZR>@QpZi z#F848F(qmHi5+M=8U1(rOOaUh4W_d{Z7sXUA;1lCR2C>npnCK4EkmdolDX1%X3Ynl z0*&CW#*{VE5v{~8#{&t0HK)r}=PG!u{+TglEjjSZ3wd$fc0j|aOl?`S)X)^XF3JM}Um+9IBXL?9jg&|MlM~{)ve2si zpGeU2w=K+f%rO73^S8`C+Ac(n9rU=fEg~^UrcOI+Kvz` z;H^#PeZfP+pz6PQ|`$ekrxS?3}>ld&mdBzx#Kq?cB92c?@_z*MV^`K_}m@!!Ax zfVofno}I08n|~bs$@POm&iNk>3OW5ME_l2@b0Y^&Bf0^3On_BF{ry@aFq*wr`T6C@ zE4BVZxHeWh`RUAW?cS`x+_71MVKW`3CJUFU6JtgANEJX?v&- zOogf;v-SNv8$d2Wtfd(hV$*#?1__XZj&lO=i2kRn&s;PtXtlt%9obe?p0r&Iqgt@N zyG-DaB2QTb0PjAwAWs|S8T$n&@QC|(yR*w3a24S{K5nU6aJpL>R!m3-^z{T8pIvKQ zy*aadrOH&Rh7X%cWeFIN1*?__s*M8tnd0sN+^@y0FZ%4Jcxp^thU*-q8n zPWlTI5&o1kzA3q#dSpE}+%Td8JeDiqTh;jxdiGpv27}TU?%n+!vz#(q_-IwV%+`PW zD0Q`}g-TE>zB4^2Hr{V+%50k)Hwd9h_mtDv!751Qc&kUu15c?O zS5hg3E4i_RB+%60jcZ%p)EqMsmy z6GXuu2<@yQfJ(q3gj{FWA|;7w1FlrtA*3tWI1DkNcd+7N8frur3fV=9vEoiQ17D&- z26X6%G8^Tg#FYeHB=^Q_ER$MvCgLhsjRi~QhLw{DiH^YkN<3~9=}$W0#xr zau2qGm+G?K)1TBt5&EKNjl`adZqpIPJf9_;u2%VnamDr$iV3h_n>XIiSq>V3ddatO zD6(53rLH*5JfrlUNNJ@r2hH4k1Enp^(!3UMUFYKHGr@?~y4m|TvEyeKZOn-Tn|`A{ zud*U)S`(rYHlSS7#f-1Oji{`@1$L7lf}*GBJOGqTqh1!d`CclbT@q8$TZFY(bcy-2 zlB8qudFtD0)UqW4z#6asN|@ThL>K$s&3(}6U?7is+pfxtZs{lDC`Q^zhzzOw@3An4 zt9w*Liwm0|!_8(5B@|dwIl%W|_vDc-bG)a3=C!=o(--__2157;=71wQYS7#`0G2H6 ze5oCD1AhZLx-UYD(q{Dzc314C$0=xeLiTJ-k}}B+iCQtYbI7nLl_|1&&qPjwEtFhqp*0-0+t{;U*D0Y70?0KEBJu)1KaZM4(eNK%w z;NY1xNAk8PUagv{ZLtrYEKOX;$8emsB{@NgCOMKcYGp7b?UY%i!#AsAc_h#)n4#!* z?PlTGj|lLg{N6q!j@39EUb(<&9+?{}yM8%dLUO>Dv0~#5bSA@7rt9umjy7C4%W8+Z z`u9sIUB6xmJaQ>Q5IWB7V%bw>8Y#(v>7@6kUKWL_lquNI0y0Mrvwfdy%IJETw@c zmJ}CYXjIx#KQ^-=@ zyM}LFmHoO#zHB>B#CEl+YbB7Rg#gk}RSY)vi-K3q2l-0&dz9JU!&!EIc@&&KquU$v z&?2_nXpsJXf~yi{R`K9|_Dt!&|>b9Vwv)_|NTyT;S!cL*~nEuSs%5&e2;}X_o>{Nn|sk zTe2wf+VxY109eMs8Rzc>z37WmDLcASFEpBfgriW42Pnk1yX54R%bNVN1QpV`%x6=O zx@HhHS$O-vQ%nHSyha>Ob_T?o?(0LB7Ih600k)>I#2dDEB;8Qo9>t%KqVXp!;vaz9 zQo3u$U66^3B^{MxZ0!Ct@MEeU&M(IvIJnc7oslkFc$>rvD z#}c&?*dq{|gUg3+Rx9%XF)|c@v>onS1%^mM{w1Kjf=^A%Y_ezeA{#iyjDoxZB=7ES zi}nn@gWzyBF(L`z9Mc?GA zex){ENyJtE#tE&&BXh8Z@-Kp5;r@ccS{H6-tdw{J<(xaS40;b38M&xiuqw@^he3^=A2a~9U)A;251oc;R zZk|=!uOm~t-Kpl_l+hFt;A_T=rvZ#`Yp_0{N=jClGz%-nS1y`dJ~iz~pb*+X)%@n> zp9a&7#?rJH*dk=Dw}q8UsW>_VwT#@@VE6!r$C2^HS2xL!e_h}pm&c1B@E)=89fb5w zHF)r=)U~+D(oD-nzWEYmv$of^Q@+IN_-+#NT-d*3>QSf0Xodk?AA4NsY|J6JKAo#* zb=3j^(b)b1%o62Q#a&nM^x@{e%E2I)uJbX}eF4HVaz%bh+g9#iM?ojo8&M+7`C7x^ zQPE+BDz%+kx)f_}D0NxNIj9C{%snrGNaHJATQ2JLC?p%$*mPuqqYhj$E|7DE#}-UH z5g}-#%)xgXWwx@P?|6mKPHVRB&zJ=#6-G9Q%dOrznsZCTx3RHk%k~ViEvG`4hD9j6 zR8FOnRruEIMx6g}edkBrS30uZhQjI@l@K$z=r0V<`f6&*`&IGNXwZ*`xy#m5BrjN zwhlw)5EvEam4P%Sc0nztA|Bdo{tVs4h#M{F+fO#pI~+h1!295f_Dt;`Hs)~sv!=){ z_dZhSi;dn-C}u;9$o6$>#2FWxF@3t{C%Dx2(21VJ>{x7*k&<#Ah?ChtE#&Czq>c2o?M-G=V#RwN-sppZ?V;>s}_-ExXD2I%&J~Rqe^i#e5b;XgG2|tObF5o3NV#x4zOOdE8QTdTi`nduQQfEnc=vq3hJh zYS1a)_@ZcsFTBZZj&(4VMH3r)+vgg{!|#M|G9`YK2J!|xRk~|W6`Dn~*I00Mv@WZI z6KG}x59p2TF1T(Fh@{5L6M&#$E1P<8;b~g~$RGySbO)5*C}F8pd`?Y*;4!{Cb=VwX z!lq@Y)s?z-sK5YGg?Yj*68K72_MX+n9HuHwbc@6sv$p=-x~iDFJ})35uq&gySYqjc zZm_x(|EI$EE$QCjL=w7R+yE{bh-4bf7495)bz+xl2eNlTRac$>aM5DVPI(mno0J2A z$|zV!#!m|9EsG?>n9p|dx*6F77|LTi&W)xUh9zz;2bx$G4!gYF1#EorMDb;)#0cET z0WAjlo;E~yL(0IzJrp>O?aGZws?U;p6;#uBC6}+HZ)J|ayil0d_3mEh_@hp>(J4q| zw&4PI1BoY`;a7O>LI9FMLoi>DWr3&;I-9qpBr)EcBe`#{ar$soEzg$7AhtX zXUyha0O8bTh=DVYyz&eMr7R}cfUX+vD82Y6Ww_vyz%;**clp9+F62(Ug*%Ze#}lo) zkDLS9N6Z!Ntr8#$Stianx(%6+$tVE|{5&e^7rGK+Z$>D9ZA2sTZB8@u8j7!{c^Xod->UMPln})kx{SfE4YUBxCK**e z!L9_u-X&Bii-qjs6`$y1at>*at_{hAifnb@{)dFQQ}O8zUd2l}&Ibf2GE^^g3j{QOMO@{6^# z-FhuEdw;*A1K-3jr?XdMilD6Y#gZ!->M;eydmOGYDbWiB-Fmh-wl#=jwOJPz&i{26 z3XBAWY0F|?&sX805**&Q1o92-?M)TRM@XlpO%NFJ2Nwzv8#1gECp7tJY@$ra8*;^+ z=BTvwGdrLc(uBThY^a*F8qT2Oeow5Ush|q0*y|ggAT|qZ-g=20E0fXLAJkSAV*t=n7o{k_D7}D1oQ+|ibjjW5J@}SBW znEIm1%^a|iFb-!5YAUb4TD5eUR{`16WMJ2>t6nX(nKoF!jdc$EPLZcSrY4Xi>DUju ze-#*P7jC+eJFa9b^;l5q3}BCZi%}4|9z_t~`%gbxd9Biy^6i|UZn{x)c)`b;;7Yg9 zfn5kp$u@Y)j)~DSEJqYF{U*A{@eS{yH=VY!`!8IBpC;f{p!t?FfF?#xc_OXGUk53rBm6nYmYxB19cChzUSE)JNKePz1Q z$6AHlFyB4_lrP5pMl*C6=v6-h^ni8@mw2msP*c z@FW^5hY+JoZh;Z|vMawiO6dWWOVxhl_!2~E;uzH;rB?yMYsTSaC2VibNNt*INxuUf zQ?OYd+i@3o$g^s)o^;jr(4deLX3iQ6_%;@sMvLwQ4v|+*$r|@a>+}WUcF%9C;5~aK z;A{h0sjnQ0P(8{UC)wcCa`~iR)UPP@o*pt7$?z!7El^RI%&p-;vkcfj(XOqTQ`AQaI_45%ocm(P3g2MoBa?y|uk@TVK|A*doEVbL-+V+=LJks?JEdAN(7d@v+ zv*j(|mykaFcSWFkuK`;tv^>{($lKTu{orR0SxaTpL*I2F00hs!G@sWS`bf_kkrJr- z0ksRV_7nThAT)cIZq5+_jMa9FjYqbDh6%(Kst$l$>zdX!sscehE^1qI?~mhp7;nI) zadExp4h*Ni^xSEw=egGNF5UdA3h-0J_%1U1r$vlYULn8zn}+^X?g#%$-}w7U|I+RM zcMW~2xbiO>`Z;QdxvKxo^~y}ARSD1E*3^V&)j-ljW^pk2f|A%Bs+==b_c$p(&m8@_ zG#AXh^fUWTm{dUbHBFCtb0*~P`GsUd2alEx9`&pV=Sl}@>la(*{i4HP91CkOjv?-G ztA%3cBYe}yQ}wvu4>*zs(@mCT7ksKLed|M{nU9(6dKeE#P6VCW@=V5F%921wSSq-; z=e;1-;(q!K0mL%C9M~QrkSpjLPkSGEbTTLULlLa)*K_%&jTzDEV`?Y`)q)R0L`Zvp z-TU<|3K`b@SwB910<)VsrYNYc=~GA}hkNDHCZ3B7O8B{FlU14>n-L)Z(YWweuDxAD zd`-a?HJ#%s`+?YIfgafBRuAIDjKAIMtgL~{Zm=iIFZtxjYVY*XfTxqv&_%g-GkOVf zekSI|2B(;nG?^{*RdZIf`Qi#?v^C$9eric;1BVSghg1Ur}rB)p8) zPX5@#`A;&+%Rmp>yaS_q<^3or92sCi zRl`Dd$bKBY>^;?Pujebh#W=-JNWB9Hr})I%PK{@BZ-D9*t2YI^FmTvWm%lqI5hFMr z;rdzTtY8;tMbZ1=x_Gsr7bj9cpdk9zxTV6XED=}w(6i41^ok+Qk}_ya$v8~z=ApnQ z9`L+vtNhpyLLhErZJU;GB)fKuT7!&G*k-mKOmO^Mr71e#m9jmzb#jyc5Puov1-~gfGEV z4%bXKWeB0xYHGj3dI;O^iQg_4b-d_0Z(#CvF>6#>;a!;)PFshF74X=*4t1aFfcA?w zJ>9!IVEvP^X_vrG1K;D>n-Tf)T4*kr0P+PE!@iciEgbGdz@B)Tx_>Ght!a*6wYYA- zswv`HV5%~fa?EFRpL7xewfXXG`SWS$fUkgzf$SBeiwa;R0|4s`L|dQ)^9nSEV0|E~ zV21>CWQ1~&MaBsWUD>dV7Co{%Q4RQm;+EOFuUW(;vT%0pENzp=--e=RwyX81jaf7w zGu9T#&zB;UoT~e)unh%-sL@&OZe4aHD3jdQ0=J!bO&A~#_Ezi9Lapn;G2pRfhY}$3 zmapWSN_q~|cl!M?#5sjTc4ttKnY@r%C3wGb@#c+Ogyd$lRtwlflXA7H*_EJp++SP}ZE zZ_^J0*jW0O zt%_@v$KLzGP!_G z`G&PGd`~Ho2BOjo6$FuN$w{(`P5J)PVCnc=!ySh5wG&iY6VJDKFlfdTkWH43f@!(a zgIz4J%f2{fj=s>K$;~GfUkCk)7zYpH?tU0S3k*eh-7bulXd8Du%rt9bR@C)Ic3Em< z^}B*bbQAlapwtxZvVsH1+4&0Nbk1yNv;$9`Izo-!;JIM~q@9k0j_h$Fn)W^~K9 zSH(mldHt4`1-5hE6!T<;%0X5T!Jnl#?p<(^4NQyOA`mwu3ItGMHG&fhL~;7mr3xzm zSWcVSx<}lg{fm2-%qI)c1q^NkIwXLW4CNR+rlwL-c{kc4&w3?vv{hR4t|7L9*!*~a z-Ly=vYP<;0qUeJwU~Ik-b$BAmL0wy`Dm2jyEz_b#%DU!Fa~$cF0#U{VHY_V%>4xE(Xw^!+b#*r zBmgpwu?njX@>_#{IsDGkYP?Y1O5rv2fhIRnq4qAWv`!6F@7J+JXYk0cS|Iy`6iFB7 zY1*=UN?l9NrpGj9M}40lEi3=xNPkiUj`VBU9ZCI{w{(5jz|6CoLn(taQ<2t-{_+@93TkqL5 z$y&rVH`>skiaMwdcONY}!vCXt^jdN#Fk;b6pXSpy_6}>THWl=2~M)76P zH{S_+l=p)c;HQU%Hyn27s}b}P4a2S8huN~3-&*OX=wvtj#G)F19`?+HQ3f=CI6@KuXP^6ky;n>Dnb!TK(iQ~*wQKO8QBQ#| zHtpx8Na+V|7^K6e2*%|I4l*2S?Eq zXu!R)>D83a7Qr@06048;vEE#LQNZ9$wr0eLwBG|VrSqJ{!>|2|i#wrV)YtxSz<})23?tpbi0M$|EJ;plg_=_GCgwQ8T#N zq5AdOK#mCXkYDmuy3Va^0gikH5fzN;#WN`q$VN&?_qro4QrxZRt9a41nUPd_RyXjf z*W1Q#WKd#`3L@UAqLy7+m@}3gQ?DBdj-UG}?`K++)Q>KL{}DESX?=;KfG5Cec|0n| z^4dK=qLTswv=pfXbNF#-RRPShA`-#q^Z=Op9>V14vYbFkA^mm5j2zOqobvV9Zyx2u zqCHA5YSAsbJDYurbI|ATI{{#92nfQic5%j=hWr?XzH|A)67NyXSdbSgXuV8=X&{bQ zkhkw)iyq)x4URTlG9*_pjD$UZiBwTnAjhv-0;v$AGFNACR}ai-ykO2J6l>`(f!QR; zU2t|5X6%NK?a72h^;uq|yy-tbkJ#SH7Zh1uf%GTp81#lZLLbX=S}iJARtSCKUTpH< z@;>@vK`ix+K30Vv>|UMav}J5s?Jsf+`X&Bpi$0_QyGrzohnJ5uDE;XX{B&_u>g59Q z!!onr?!_btDY7Sn?L=*cu_`z09)u zmD3Bd;78x+cY~kZ_4WH9!LkA<1HcdO70xa*I0al+o?QV(?+OS#kSK`bVjJyQnwd`f z9lrj1YLdPX3)=!s2YII1l7wiBq7@c$`Y6QsMWZa()U(Oe60%F)GBrt-&p(_*cHt9w z2X-w2c_S-+`XM5jEK8JI_6uO^s-T;kD3g!i2rVl3nUws@7us=k3L*>BqECO#FU(q1 z#C)|P2r!>F+^59~F`?dT@|eLD6zbGfWF3!Q7==-2SBqzTF)fiMb?aic%(=l-k)3U z)A5x|a!C%x%JA_g%_boA(!Yr|u%BBk?(H0unIT`HGP zLN=KMTfvq&ehCcq-CA@TP$pQZ*&KHelwp6tA#iZSA?f6S2g*~dBgTJ@-z^auS+X$G z4lA}b?ZPKZQW#WiibJke#zAt+6{loTp}G&bCfQ~s2g6t3j1elah@Pa{}6jTp$tZBhy%gMeSCGX{+I3z6-Nl;pj1$sub4&NbL_ghKpqNb`wo zKm_C>hIMU3n3DCln%V~E^wV!FI<-V=Y>1DzFE8iw7IukM<_z~?kA*owo^?V=Zsfs1 zD8hC>yzOdJTF|fpkw4JLFKq_#$RN787BKp8*~IK!5Q8{96I}!pK}*)Hd4`pcd-B8G z;#;9sU{`V-EYEb)ho5=AXq3=M0qabV(l)NH{>R~W?5gl>A6Jn+ujmj9zQ?A!a0c0& zaV<-j8k=5%v4>I{Mr(~rSBv5eMJbna49F=%Lnc?MUW>aO?FvpI#7j#} z25{mWg1v52faMS2W_5qm@;wLx1ql?_VOgZsZoDc{7cBM8eaXSd{EPJ#wZGX78vuIG zu0XjLdn45Sa+Ag-NE9=UoWeDYYq$m_s+n#;w~W{KFKxr+!P+9Q*)+f#w(~{0R!Ea*EWO3Qm?(@d2<>6e&d<_jm z=SrWTKxEVd5P|8dTDZ(`hmn1c@!KHA`X2fv4r{;I4*S$BgA(CM50XWG+q(0%#3X0` zspGcuRwBVZ;1M#Dfn929Qahv#_S>XS=V=1MWSPoWu+EW@s}1 zYV}2cyz6e;H7o9~PT&8O6&Ko?znXwUX?{9{*SeJl5Y6-P%mx~*>z2If4| z&ps>?96`a2{O;vtms8pF(-wUW&fysn-+sT!h>v^i@c&Jpl;(ec@!9;=-!8|0&+na_u%TN19L-wO z8lnySzc#H!k^OhTf$OO2y$kFy12A)k+59!-vqcRo?oGcXZI^)mjv!mB@CELxyZZv!f4*sWCYtNpeJ`4t)un`B&ac&&uAs(Z0*QIX|Xio)$ zGQ5+>xrDQq9@veqZWIMYK>~c}>(A~EZFyGMN&E%%P5w_g>S>Sg{Q5w{d;Rl?qu$I% z;)o!CLP@8e;XtCeMR2Al0+%Kt(zs4#MK_&Hu z1_QE56m_t<%(OJ*lW);3w3UI8$@t$IS^eD?fF<7nx6RfYLX}9QSN^a zsnEE`2<_b|rZ~lX7UCl`G&F|~Afp=%GKN4Xk%s2c@35;Y4Z`tW|M6}bnzInqvD%6J z?;oGRApiTvXZ{0U0cz9#t*=1nerreiUp|VTU%|fVzjz`)z5+jZ%Ihrzgmyy432uqR z191c198T$;GV}HSx7Rvq0G3JAD+~Ly(9lr-fovD@r{Nz6Wd7wJ>IeV#)Bm+=^7G>T oN3P)ie){jv;LmGfZAy_DRZf<#+wXr5?gq^T1vU9}*{k>e4;%WMIrp5i&)%>7+It`T@Ipx%`!>mKBqStkSs4jcBqX$H zBqUT!%v-=6is|4*B&53{R^s9>WW~j)UO3vDTiKc+A<2A*)56eJ>mp3kQ+-q=hL-hq z9u03p2J7=XR*f>eXr#~IA7WC!F;!`){zQ$!|2#BFHPYk#mbHUzTLAXRJ6#k4cu)eOTErmQaxvxrNFf;~-^( z@`9u2I~Nu>du8A?tz$EX(Mh(>K6Ccv)?H-j{D^!4^Y66J72Zt>871Okm6LqGSEo~M zEC+UYN4(wnjPwJS6k#*}cXkw&vgYTMJ<2g?ZBKUOog6XNLqOfQj?{5(Mut-Q!PKJK zq!COJl>O)pk8#VFFkH~;@V{ZKewo9??lq*`a{CizJDMxcNEVg*k5E4<9iv1^c782TdjpF66-BF zL=o~!X$T+fix|qVKhh*qQVZUP0}8yx_JHTV=p|4h1-bf-=9!SrBCiC#GnO1vDb9o0 zD5KER#8ObdiSaZhbW4AD-$?7%5s7!%DoCVB5z0%dsdLr5jxn`&_YTJoIVpjkQTZa4 zvUeZf!W9pGCPAuCdC~&;_1X;@IELlgA$)6ne=hCU+d)}3nJ-d5sb`ZJnWOK9aG*Fp zgHxHYs`~b#+hK7Vy!M?XEf65@x77DnY%u2Byxfu zY0$GnKb@)+1x2V=YB&+AMy;NATs(QDNZ!rsnP>6E_ZVkty_LuI3vJEAnTTo=`m)MN z<07o57V$faQUj5=dH8o4>bt!V)cDTs+*@OR}vuVgr zSW!rgT4A8mq+*fs+1Hg|w|kk1O5sXMNS&8#9|tB#-(NKQKkfHk|2U2OE1cxvL%xgD zJ8VdcR9+osm91b_Hd{pl_9fGLyRhom9jqRY7y0{YtI%5N7D+I-brbZQE4 zF@{V^rv#5U(AnW=y~d=7IQ+G7s_(^M_-^kj=|0cJ?MtM+)@D3QG}Hj{mYA=P6sWTB z&2i;03EqO<2EJAMWw1%tNOS+g-3)>u?4}Ue?+Q!IOR7sAOB72Euju#j%F`vNH=?#> z=ChvMPl%Ofd{j)cLrqR&K<5%85~BVy1{@7Z+Mj>~Bfu?7^l1l9hi+p7jHucgM3#C3P5Us!rmNRBjczeE<&5V%W-s9s342P`Lh|Tgxv4~J za1YJ=R`@7%gy3iV=I#(A2PPYlPn4ICU8`CuyO$ zOkQWd0zw`AI!@L8GQNc{@Xjsxd#U#=?_agLyr;+Z40|Z$Bb6jo7#249r~`l zFf4*t)ME3gPOq&wZDrV$#jBV1Ur}>U*$x{YOpSJP%~y3gM{Edl79=(3Bu`maYF3Ik znH*vsPOU-LYFVBT?h+Cc+OSNs%(-6E5GxXLcaRq$pM+f&0c-n+>g0!PJo zFaAY5N<5~uXJ{=mM!J-2PUIY%8Ddhitl1%GQq}%8oPlJ7W34)-7=IvtdSg?2dh%2G zVLMNR_p0qW^XvIVuaS4V_kUD$W{<5F7J>`ESGQDm^v$xg6}RuaZ>aICf~lTxQlR1Z zMz~W135$5td#t(d9$xhH%ro`ak9sh8 zFjxc6m4<~{GD=Z}>LY$N4;K_tHGJ3mYppx0AmP4s&6@iKOsK{}^Ec~xmH{ke>+!c@}1JJPn|)#F@8RU1{9o9(>r{GBFB zU+!k1o#^W#nUNt-VpCzbT6cawMdz59+tWD`yGSfd5`Yx$K)?N-=iinB#!DOX@C zTI;@vQBO^L{muRJ7QZRXB*~kLu-s+5Fe4NR;VpEj>DorGr0g~Bn-U^Q0t?i-q)jz0 zxz8O2uJ37!8AMhuo=|sW9Awnq!6&MDKuS2k=5wU>OBqUQO&c9e8q!Dz(hp@LWZl)~ zc+*u+yC8R#z1~gM!`R)#yvibca+sLTC!iKd;MdWO}q6L=!2RIhwjUPEfE+WKl!nEMvDy!CwP zdTDcGi@kWORBMc@LDxHn8s8o1B|{xlrbgW1>7|Sf*8fa#qUFY`8#FQ|i(T zyL^vIh+%zi7$=^GI*gMPmdue{pB$4ci1UuZ8nkcCe+q83pTPl>m55|GnVzX^4lQM( zcHEADQW8<_2}k)Xscemo3)0i4G*0t06)&q#=5yu-Dy7?6R8tBrd$0Y{8K?~EuS>TP z*z;)G59oOp*xYd8Q`TCYxt}r9wkA)JpexYfLIK(KJo_H!$CO*@Sd!LE=w5v2aRCMM z(#`#>?`l5V);uoOsy(##ZQ{IQ{b9Eu9Og-Ig1tL&X?)m`#yU|#gM&h$@AeS(tDj~* zlPJQ8(szT^=eeiq{^+UI9A~aYkY|7gt8n^hBkbL2+xmR8DEC#7yA}N4tC5ed!B6nu z1YGXGdJ#Iz>tSEh?BX*sO*!X#WzgR+uqQA2(|dA%2yOz){jRJmI&k{@T=i^h&8DZe z%-$8l@z$;H`dC^`1YciDjtnEYLCAOUqme$f9um7`EM3sE1uyk7N-v5Uw-Kut>LXkF zh1rr0h}`>XsLit8S}bU5rgzFG>K9HfsE#pUec+T`g!_a4WlZ{AgOSw%jMk4!y=UUH zt$I{yF1K1|e39Xyp6qH2Ovyk%@zG3M)?85$i4nNQL_$L*K|%+vkb#c~GU-3pQpit` zP_OT!ARz@=A)(#0Q3AdZKas!((dYL!YV>;~4B%h)fsflKls~P}raz(nxkkkVo*_L` z6PJ|*zST?|&CKkaEbW~?RwO+KZeYEZ(Q!gTBBVupkY!aL{{r4WVWqC^tgWaZU}6tq zH8!<>Wyb0TdX0Dwl8~DKa0xPVHl}g|+1fb?xCv8Vw-5lX5x3c>sjizi+Xz!@E54u- zw|6w7;$eNt`jlGaHWd|>kfW)&fU1PlO?Tj5!qk?|&aVa7*j!y*SzS3SnQl=e!t|;dnC-9OdPFVJ6qY?Q6b)I{L0?NS(us{G0;Ch zzvpS@X7#U;?3`|v1uT#a@q~??^(osw?*_UGA?^yiuyQlA)se6Q0Wt%|5aH$J5xQ>w zUr+uu;=lFO{#Q?S4la&=@A_|#{#{)b<_FZAKr8nVnZzb-$e0S z&ewMVL5tiLV*6*)L~eK2Z$f~5B(suGRtLTTEkpbuzXg6h`TdQ!E*bD{)2Bp25<`-e zc&6@#ygi3Ci>*QVb>EkoVd^#kUdB6_Bh8v8(=n!2aoP8E)IM}i2UI*z$$-3#CA50R z`0iLzQt}Z@HLGYpjWc;>w$3$8@T88@b$521cW<40CdsMaYk;p0F39QhRfHQ09|e=j z59z;tWj%h4k4Vt5t7u~n4d|4L! zmj;oQ07_a=qJa8&wx9hMmZRa8Vc}X<`fF=qRp~s{miSA9P8~lna3v1#64K-U)OZA( zPXbe%5@Rkzn`VBY3AX3o)@Tc$zb#d~1`3GqF5zFrNk}!gwk;04 zID)A6IhHQQE-|Jns$|GN`T|<0|I$FLA6R3GH}H~~GK{~ttFLr` zh;F^op&c}Dd5QOz22>Wn8v8~5R}KDG4gPuuu$0YrU zW&AD6Z%p`(`I-|?{M#)w+|F12pU#D(a4hyE+wvdziG_+KO5ekPE_`_S{qC&TCl*xF zcZ`n^NM@Rb#EYLaK{twtjCO&KSunua1KsQGBnB+Bli9y49Fr5aRW`mbPzcz6di_cm z0)Hd9QDzlP71bQ6F{u`xQ{{=UUVaydBVD^ol zy89}z`##Y4iM>QI-rM_T=qpN^hM0xO8pQ6<{LE~JWU9)n(DrPLjX^&zlFYCwIF?C6 zH=IGEyCWJt;IT5A&#_yrWpcZ|wiP;DVceRyV~cQQ!;il9NeIL;pdzDjNdBHZXIrWV zum$sYn4Z2w$LBEjY&^?DwTb1%TF?Tkax=815xVhQr@}GYWOr4gtk|J=diY1ioz>tB zN%9f1rErMniCp0BoGF~r_q%%OnnOp|$|dTnno49qA~HdMfHz*`+yw;s;AUA5TsQrZ zP~4?&WVIeA^{G$U0O!!>ED*=^XBN@Q31~)t-9x4&U^w53b7S)8{zS)V)USe;K+}md zVHF)C%~F5;xh#iK9!N&uhunEL@!mI(&)Pq}9dvz>UfwmK0XAu|78uv(PK+q9$I)Uh zybWKhnnw$}JVWwte1v;^$+`_aIb@_6T+1zyb{9PwmOtn$9C1pWF@tXQKqidX&TxdD zPPk_|zJwm{n0D;WspvR2p5EUWt9JngJ&2$f8ZR!iovffWUtox1?21K3HTi$N+=KCm zkMppLN{02(oGy1qEwGJRKRqw;V|>ezGn{lGNea*9>cos)D_=;J_2^S`K~jX}I0Gsk zb1)!9!Xy4`+-a#&X46V?nFGdyF_tLeBqkDFno+E+Ce)l!?pxF(|j*KbhlbbfR(Z+DN_YpOBxS;1RYF-@3aR| z^q067IM*Mk^5=>9=Xq%(=*2KCpg#3k41ky8cy^;cEhz#B^|}8?eX0@a!`s#<820c{ zW%C8K9jn0WaRuS~9@G2uGIhh*rhPem2YnUU2TLha6*GjR9GrQoHARgMSGZ2xEQbT} z%u$8A#AIrkO8zy8->;RHL(C8S;jSfG0bsON2s;H9Ue%(C3+(i-Qn5)`L)pZ_z?~?B zc`&TNXWm1Hzi6>dHP{;|u(pj!BUAhwl_gOx#jD(#G3&|dNF1tgY<-{T?a^B4y%#&8 zEW~cTur7M}L|&^nd^$&~K&#*heJm6GjO%WsY~?}>Frj#YtqEdE+B^?i^nA_F0Vxi{ zvZ@u@<#{GrB}QzA%`n6GVjULy-YdRcA_-FUQr7kHOQV%9F-)3~_&o`{&?^p-7$Z z>|mAiKty(RrpQp3zv{(jw<#%*UXxvM@A>wfGnXA*=+#&|>?Z&t_M?^GqNL>^n`2o@ zW7dwHEf~_|9k)?1(U^e!D!YsgM?%>k_$|1jO;r*=a8&ni?11DkUatJ)&Z~MrX=?su=N&{XHfTNao`rk zXJdeKlt=$#`kDyS?=zb}Z$+-QYgDP(nEEEpHSY~V|$7L zzJ;-(wJW0+Pr9=pjFe`>QTOL;Rnn2=6g8u4X}QU&3-lq#E+<4uR9x!KMl@KQ{}wWu z(1S(uZ{i9S&yoB?iGC|!s68$t5X$J#|3TsaYJ>)|9**zv3Fc0)I7Cp)mO!dRVB23{ zMWmv-N5xg70;BZ|6&LDzf*Ded{OAeP7+>^%W>C0nzi~gTx;335QnOgm?bvdqln_+^ zChYOaw~Wq5L7k05CM%19_c#s=%I#9QnyR(3LQM&~^QjgOUFT`Dmo(=<|#Q{Wn z>L(Wuh_?JjwB^{(+5pko{3BZJ8_|aNoVB_2KAr!eJUg$qnd;@(XrMB46mmQO*%{9R zt#ykV)OVxjrrVXsDYej&b6IOIKj7brRm*zO62Rd-FXY}~e3W?k^DAt#TwR#j{=6|l z{SvnFZmM!MSEE_7n}cYxAOX%>qS2!tN76xV;idn~{&hiwk3|ZU90VH;qSigyqhDZT zgQ@F=O*Sld7fSk?{)hn0m@a|s1w?euUp4zUTCXxn5h|H&rP78F#vK#sTaIdomYjDo zm3C$rne>cXEquB1$yYso2>JQYtw=v7G*lI&(&TJqRwdV@zBlgqYE9t`w0w!9^Har{ zZPulhESuuQ4A{Iy^e;)6P1tz=SIJWT4g4eY^0EN+`s(9fcH(MW+MGV|$e%~l#VP5e zBZN?P=Ck+`MKLN{b%dzMuEt39Ai2~s&d1%9m4IL7^{ZNyfx~+B9jDd zTOU_!uW(TZt4*EDmyX=Rj;^4+^6XW|__gV>L)~z^{h`art5h%h^KGR~tH~@`jvsy6 zY_PMRRlWedIT3;td0os=yBk)!OhwZ|&FKK9f&_3ej!$@bKoT@d@n)^JvBt5dlkQ8GDjoLGvx>-{M|ijp{*FlE!1Xq(f%`E(N0~u`jDV9dtUq-)&m!WB z5w-WP9HrqZI|I)AQ({Z7(7G^`qW(ivMK8L|V()Cux{{H}7-eE2yQ%NXk**AlRw+m2 zpnK!np{q6GyIRl6_g>ZDG?t|5Po0vP!1D6hx+W)bI#54mSm*aLrMaYUZ$m zYNebRf4P@C|5GCoPt|ceF)A@Y{3zdZfjP=F++a6(A`0+e;Lck}^Bqq(yb%ej>MS4J z)7WfKqrj@QM-jp+Jk?M;S{#2$4(gdGj-#t>_mu|wuuZ;WogZ3zpg#=Vgq@)^tuvw4W;Dw_NpwczNt6g--+4z3vN zDyZ*)Y!a764L6g?6p5u?ag%1jLITkq-bfR)mY@ z)P0K&f{;-BZ=;Q^qifiGntTBGVRzL(%vVwxV7_zuYpEkzj2N|BpPB@wpBVS^L)QB! zisX5|WZh}DS&~TNIDsU3q-epoi02@lrVZ)-H6gn{L0%G6s*}xk>aePWM{*-P-c}ZD z;jkx~)nip{RN-6nMt){f;=pkdwjcWR*~7FN!am&(efAj0{}`ctN&59JP5}_7IC{Y5 zVE`kqIN0ABh>{5Zk!}^{Z|Op{1a0Qr0&N$nndpMTiFh?A@hk}{=bBnJ;AR4I7&yYr z((zC5_`mmv&1Ac5cB7_VdJ2sUi0Ks~!&eKl`!;m2V|dyjDt*^=I;KIWqYZkv^T-uXynjTu&>=Kk4~ z+3vd?vH_n3pU=)b{4nF=NqFbTAiD{n!^Pi+sI1$4PqT$A~`Zm z3Bpivn<4=nK1gZ*PG+XL&iL7T(aXp^AGn4lX!41?W=UjHI&&#^|2r9dNO8lV^gxobc?8n2fzycw7715->s z-eJ1ho*}KYw~e3}{-U|l`9@T_3Igq-9|k!e{S-3z)kVPAS@kTC#^otdjxV3G9pzPC z9ZAwefvP0k9OP;lUy0BVZTe_Jx}*6rS?IMIeZGE;ZI+jl@yzj#YOOpGwDXselbY$} zZXiwpTMPxUjs*~p4zmGl_`Ht+NWlf%gb|Bb3_!SlQ1H*@gsRFA`k^UDMEH`w)OHPh_VKJS7W3YEZ+7R&PZH&%DOos!?u8)8)G!uI-=(_Bdh*3R z7WGa(ySVd!wZ2TL?vtK`j+IQ_UNR1K#yAH2Dc(2d&cxh1*`4)uFMYp{&X%krTwKGr z?eya?&pGObF`CcET_P1qxsc7YmW(a?^rAh8lU_|y&48>$x*!&ra;vcU)gwUL3TYcC3CvLGOK)1Y{790G&niQ;Nc*!cF`QsJCt@wg4Jz z@ejXoyNMdxnBsd@;pc7Gk5}oo_91q0?{ib`JLRdp?ovp+`ih!ueP)tv`9pm5kkU7{ z`OWrISIIt`!YE_53qg+F+0W7r(1)DU`eD7$<>YJ)zrhrW&1uDOVaKarmfZ76RM7b( zEX`9X%>%~53C?p*EzrnbQZWOf`niL64`!#W1z+i%38uE&MDaSCa0|(M!lRQ33RCAu zy#6(=qA-Op4lh1)w3i!8ZP}V}%h?`na+|1Fo~G>qX9ukx38aLJd{cDmDjFwCn_cjG zfVKJoDvkU}?J*Dq(c!A66RFqvKT~@O#LK=Jf-u)0u9F>#LH9y#}Lj(Y1#rZTTYmC?H?k z8S_x<5F!bA?L4{H6WkMW;KTlq$BH?&-Y+u5W=c2l481SU#qZXodKfumpMPnUtP@UI z#ufWY12{XOfXAeO-M#z0H}5l4@_;#;#{E&rkPirzq*#I2FNhHHY)ArBNvg!D;nxx8 zsAr2^G|DF4cefa|*ZBb?#%o6gCE5j{9BO@$E(fQFA<^w1ZpoJ zBU|r7SmR6j!0Qk59B#8hzcju(57CnS8r3YmOYxlTO(FEQPcHkeZYB17rE>cM$-23$@?)##u>_M*zsV@}H@PT+4aA zm@+1XZ&}eDHuCOZtKKENjxv89?$V!Mz1l9%8lQPjbe27}jwW|eb>?s&;fGpIXVz4u zY0wVMogfOYvTH{@Sz@5@wYzsFWlNf#zAu@@sp;Z*d|`d*e3i;^!H~xqm&JEX2EB^d za)F;47Ati+dx;IyPB4sn)Pk1=gOvD#d$zFC2FVKJ9zvMi5G6q#K-V|sGv1|WWJ>k= zKw7%K9u&~?4#HIXJgww{s`-~o|nw5M;9JK#XL6z5fU64b|$h)lUXhNx_L;R6(cSC>Ny$^Y(y z-=XGRTa*GI9iYSdhe8}&QwW&@x09|vH({44C_W7wyp@#NAm*B{lvx*8A)!%t`C5`?))Cr<=ON5z%0M2-Joo4 zm{kt|3fONoewW^suz=lFeg^_ZE4~4d;+;-+Ku&A7|A?Fe!9eBbff0bsqXDEn&P7Wf zfP}(|c1>9)(6M9@rAFl&%}wLUVc|p+2{nJ$7lY}6E4wM!9>CQf_uHA`b3W(BNCoM1i#aop3{jny@*Pvwj^*D z$PFM$2m9)iYt>)VeXm$DjeH~tFMp-lPSp5eqgXF}@vztjEViaq(%eq!%2{|Mpke+$7(D!sEaU(IaR zrnG%@fBxQte9wDqnwh<{)3*v~g7g)3th3Vv)w6D0v}@K<{c~w1Qko(-8jROPio+Kp zjs<|wAN|n=Hq`&#$fR=m3fDbDt3e33=xRA4QD9tXmoI77SIpE?8x_=*VzOeYgDG(n zM?UK>dp;M=qi8NsJR`&z8n8(fN%+ULhAAMj`Ug@7VRe%DKb=$1=XQ(Sp01?t29kQ% zE1Ps-nKk9nIw&(W_6chCjgRcIKN7Gqr-yoSRj|dNfV%YU|A*0Xt{lJ??^RxqqYYEv zY-VK?!bJbk7u+21hs~XtuJE~r%xytKuMbDoa{|_+Oi8rA{*}AWd6lbP@L28E-B4TQ zwII6{s&vBWy7_2+>GT5m8rI*sKS3)$PA6|(l|OSypCnXC7>_Sbh4FiZzV{Sk4p>n@ z4EWJNN(8V3LtM;}J_!#0h{nM;#sVEbVsbl8>>CNyRz0VU*osNGLv3AQ;=GQ25qG)_ z?d=AJIv8WB|FM|pG1+Kh&}Pk*EZsm+`|1krYuw*zC&(2-55}r;|0Y9sZ46Vaxbff* zbDL2^BonTY!dDmgV~;~ELzX%x3E-{Ho3nKX-9ePyMuIi+Kc2r^*-p-t%avz~3%vax zcywk5XRZ@jgk@#T!^tyTL?g-8;J0m*$j28c#`jvP)xwoI+|5~->EDap`>iBbWXW`^ z258f&bdP~lDv&*Gq(Y4UCr3Z>7;XBM%yUS~4vs;ya`aZ8{g1^1oa^-bVisqvX>F!r z%!cpmS`z>5Q8fRfe-Om#|57~DgTC+G&@Hn|*M*)6?!wiuGs+IQwOQci*y`-`RY+Aw z7Xee}ht(d^t@NwYOlE^>frwtWpo8V^xC%%3Ef;-${*6hKKGUc= zrNd+T^x%H`<#E@qjoNv!o%NwQ~ zrZHN4C>RjvN?=PbuyE&>O;xV+fUdmYzRf&T&jV41H4NgmDDRlLW4y7)zhwqW@-=F)AF^DCM77; z)^KEexv1yEbYF-~kFH^2Lg01m-V0jQm_yhg!YXpL*2P3H-^%{UFH}GOzid#UDJhZN zx9NxsCZjt3CnHZ5GZK-*vz|(iqYS1~?)4hMOx{54SNG4zg&l=4?hR=f#RM585gvA0 zt5a7;@A;u->CAZyLl1hwzJk4*4F~c?62?l|STK$f#=tyng6fPEF0r9ILnG{oxq;j! zhDoe!O}v7}1~~s$irymCv0!RSC@Eq_H>CAT{KfI3LM0VspDz8s^{t%97*yU<@{QPr$13f$_w-JPD38&r zOc{o~G`NE8NeQwVHa(9o(l@@~m1;Ipi&$dSDyRZ#M9Sg92Qsh?{*qje`EcS&nq@Q& zNV7Z|;qf`WK(qQWzNNfmgvqs2J_r?~TTnP9IOW?pUDkMMBdb6P_UD09U(81c)7dj8 zQpU9Rz2{UKrCC1zei7_^j+g6ORW$u&NO63)4k!Z;RYOMqQlnbZFEZ%77FCQI6E>1UeFl1 zEMx}SE2#-cZR!Rt@)K*1Y@E}@jC=SPp023Z5YcEuMPCBZlifu(sAT<4zI0o41*O|$fG z${YciOM9%j0o(%%?pmWbk8>$s?>oJopOzF(p58fFi$YU6n+|*d$S3rVd<48L9|gp{ z{1I@K%8KK%LlW2B#lol(KmeX+Og*DqwZGVNmz56Xd4f{hsTO1tlIYZ0Z*FHyxCbEkcACave zS@+JGewE(%)U)QIYO^-+O@5)__QDs<;?844xuh}C$o};?`+Zqky{D)kk4hiYoL1D< z(Pa)Mn*1Zr3X*X?$)kqu%c+Kmhjsg>p%WTAuX4d`Ai6m{i3p*de36@q$&>oa^Pn!8 z(njhKA2=xnt`h%amE(&WKI>%QX*xiX&v&^2ayV_eCk%r+v}8bvoBF`U|q4KggK`~2L* z->*o$sGl!d&y)UG^>abF2~JxBavA&)&QwYWe})4Op8w9f;Otd()aCu08C|m zf%Y4gCmcW3h!KWWm7UR1e$7MNrKp&B@o}2?blM9)#d~kM?b8kyy4b+XP3AT_g6DN) z(EWgl`y-(E^9+(%R7RE)AVd3+jEWoFOkPGGM43RVcAb$P_@)1;Y-9$=$=aD+MJ5>@EE+7+y`>x4VRY~r+$8D<5S z+Xs@c5ZGHg%PG1SP59C{jc}_@oV%(`^mKhqW1Xrpgz=4WrWKC>6&LMwA86bx-^H_B z@%wgrt{~F7wOJ>cjYg3@nRaH=MzNd|*AGaohF22n3Ee&@p!}Z>%-6&-4G*)Y?`?uV z4t%U{eUv7KKAtVTEEVecRYd0^aJ2Z1<7}03fy%3s=3idDO^jwe1yL5_Kp7j(XFXOH zH9PWITwND3tObTOpw>M1lde6p*p4fiG@Ho{5lrw0{oz_BkpcZ6k0Ki>4^5>SGKe@$^-n69#? zJadOyo5c8NJOeuoB*<@#g*A$fMjZ0=Sfrg@qs#rf{}Z|x-V(918j`cC=Q?H|bPFqy zwuKxIbsSty7V7-H6XYs_t!^-w{DV-s?Sn*5iD z#CEdNy<2eBRHe^{=b2;!-=BUILT97WEnrU>Q81d&9W5~;NbE)lJBgNb%+S8(Z! zbJX)ogI^V?&hdtZ_L>b!G*X@0Y|Uj_M(2huVO5aDi^LsI4Y8BAzSuj0>!A;c-7k1` zczGw{A&s^=*Wr(T?arDrHZ2MA#YID<=_03c+k<7UzJYC^}K;F@da!kSBt(=2Ja1mfIc8 z#|qZgI%gve!%h32x8E`K@J+ycx(!u!_Q~I-AB_J<(Q$oLdxhA)3`p4$oW8dH31R%o ze!iNpI_0_$RqT7U6WiI4g-RF2M)64k7a1 zRl0wpzx*iH;zeS$`**+IDmo zx4rndod?)WOaVHt)PQfNZ1D+Hdi!>Gihzc9?4sgO#L;6;Y`Y0V-E{9aE0LzYUpG)w zQ9udf`Aj&@(^r$3GhTB!oJ`x&f*XzS`gz^_C?TVKJmF&oUVok~!QyBannB>)q7Sx! zf%pe0Bv&#K{dw4?yyu%b-7CwZhYUJJiD&@QcToX{&M8H@M%8%Vf}8i0pxaJkW5c@v zccSf-b1$O%WyoI|64mj?n*;zL4#|#D0uGNl8yecu53aqVcE3K3Zwe9ny`1khiz!Ww zIScNZg^mP3L6y2)rYyTqtIeCiSpXHZ#(z;^9wv0zPI>?oNGiPG0!~ihhbHm~@vftu zvAqmal&{af%(REaXo+5S_EK}yhQED{(DZuT=4sjWoeAg~S4GwdftGAg2T~&SQ-~jxvL*!k?qxA=v^{x}Mkm5wFoWvty{sXS1uz18BvhiY|Oc zpI(dCD%zy!IEq?nb!KEk0d7s7T5B{h^JSy7yVFX|1y4n7=CD7ZX+j^rTCwz^#yBv= zTYeyM=bXv!PJ4KmEg&Asm9-$($A`>%zcYxneF@v#rfXYVawD_py|V&xPWDJNE-~z{ z!GNLHnt_k)E}I0Q%XQdQXAbjgXHN&bt|>6q`@d0OAnk(Hj6%6javm^W+cWIjoMS$B zrN1D!>Pw$yIrljI;#Z*l@`#r7+yx&8Q|5vd*Cljf#UCsnyINt^*B5nGvon)zm%v)# zJ<;FE`*#e zasA&^h%O6Iq1uA4aGOI>9-I%o_V(V{`o8;;Q7*N2d{Sy>DrAX%v!l1){s(sSeR5;O zY_uxj)pXmrTZXqqg{V~T^1#noS)Qx2T%gW{V>j^(j%)isXW~u-((fCOPK;FKMB)&xH9`ZE&ivy*3%#eU6zu zHD4*`;-8Kw3D`H6)N+G)WS0$VJ9qi^hAYF7MqLK2O6x7kEG=N8`%5_h%P#CRuWedG zw)1fVTUCN6t}B~%Gi*~foxLYfS~)%9Y#qmaTInMa=Ym4VwiMv)*)1R>^Pwe1t+j&x za?q>U*jn3zwT>9ZvyT`d1X>DmESa4%znaLTA-ysfy!xtkwGu-UQKokSbC@5$(CN3m zR?LmR#%2h`%q<<|F|<0{SY`j%k*l~-FmhA;8pWw)Q*x17ygRqFR^^xOKk?-(-+Hg&b~X7 z#=9SrCp2kF3_II`3$g5bBaLHBnm_4QSgPhhH2NrXGDbb%*eKhbbrM}_8~w%x^mPL`Z4bWJvm0Lf!|;YA#-<&8KE2eGeY3sUg+6j_WGnW z!ae?M#Yw1rFHD7@M^PQIt$t^rP$_l-dJ;8zJjr($+1corRB_M_Kj}fnAj6%?A?h8fIj3}GEu0XWPH`)#X`M{g%c6%*`ux5aJJUR((iuBc0IvD?K{Zp@1( zkIr8K74f~;Qh3mA(ST?|zjbWNh`Jd1bd%?%l}WA9P8R3Mp$E)lhQ~x*uaPQw#9gm; z!KJTyQ+mgJT(QKvFYvyBo_W1(%1v&8#~J22nzmq1I^I)PJ4bjD(t)U;_)JuPz^ds> zY!*9LdRR(fwqS;qKtDgPcMqV$j9bp3qtz#(U7>j{TdUW?d;tg(>Z{z}46pfe#ez5= znGKxAOPnI!LxM;^I9?v6>(R_OKin-M$?ZJVv*)e>a5w6kcBk95dL#cGcY#{MZl*LT z8+0Jwp%Jsn8+th4`0o6xzuK=}-KKjLVLMYJZtT8|N5BaqXW=w=7>HP4tAr2g)>V8(hJOJxDUg%TJRFCadEUy+eIC_MD)azUw6L1PDg! ziLG-8Sx>T9O>$kRvHQqOsaBE2m1ig(Cc|RxmAD$yCi-0{d13eB4kD0~4ws#fG4Q;K z=?$JXZEQT2&9M#JJl^wM=%CN@HBBb9!q^I+0C_sTliSP`m|4Mwvetqeq&T<4W|psR zO&^sTrq@=BFk94Ihonb;2i=jrw?3lE4WGqVq@gH2xm`eQy&u-Jo|ce1pSGc{VCuP^ z)0ZXPLpUrBq1owscZYhW54{-`RG(s>z@oMq@#d~ll1q92mS!=XNxf@CqkZ4(`VneL z$12OpR<`^qq_l}Erag5l;av3Q)If*3%kx~X9Z_eO=?Fsa!g)B4+~qtm?8hyePl~zF z%v9$lj{}$o%x#Fe4qh&82B|NZQvfBW(AOFa32YYDt~qp_Zko(q{^B_t$Z@|3>l;i< zAK5f{#G1$GdGh;AO(u_9xhvG}I__HK$_hwtPQ%horAFzNSFJU;)lA|NegV`e2-dEI4xi#9wB1lhn$0k;0jN(Zm9Fq51Dlw*=r3`D; zvK*}+C2g@xIgPIVj8OmSTH_5Iznv;G3#qm=(P`c)m76lj@(dx|EH5HqhxK7A?X0bU zd#lajqgW1a$b+5IM5OS;)z}4jr-g)uv_#x7O2O=E`-weEu-nXzqhs60_7X&3m9ED@ zV;uuM7^a`9n7cL2b$L2rlz@@@-Dk05-uxIkjy(|HLOwmi8Y({p?RH>ef`&z zEKuckQrmm6hkI_;N1{{X5qA3}ob`P9j+q?Aqg*oAl>JwiDG^Fn^WK{V4#43CKj3gf z(QK9370l@<=nkSF3>=>LNZevx`Wa058eD4^XFvL+o`7*M-^ zI}zdX*3QKg=&+Z${VHt36RTM!StY`QIXy0d89cm(hG&oU-f;NyfIdkdLsNf!VW(Cs zrB5yqXei%*r?X{)S=8a?GCwZ#|Lo|2l6snzwHAHyHV&UwQZ%Oj-TOB@_ejb2BvndM zU=>#D;W`lrR6g~giD$r{2rM-Py@*g4Gm>mtN^x2VxPr573P+85K}hn!+m>p)!0z;o z2(htwMS}`wLth${N|`SdO3nBb%;(ptz?bD3H;(X?BDY3m*8dNA@7>i@-*$`MDn&&= zMdX&MBA`f7s+53;f=KV3i1glDC=pOl5s)q&>Akm5MWlB~=mew$k^qqsFhIy&DEIR` z?>S?iao+c@J;we5Sy{hwm3hrMS7*)f;ZNlzcSthB>PD>SjG*f8y?XV(+bgT2X~cVR z;_EQc?RM>uJ5O%5{~->DK0kJtsVkzrSsY7mH&MXng*EIe)x(37INSRMUtIw^#@1h0dnWKs_+g*_`aWNW!e@U-G zPUtfnPQO9x;wu3C*Dh%^h7QmrUtmu(Kjqw5I%}#410!*be+K0V^d}s&9;V;eza7BN z?M}+wU4DB0_ssXkDf8pT>@_XwGh~(j2n<&(0G{^0$Lj#Ir!w~*NbJg4hqMRL3KUd- z_{J2XTq}b+#stPa&mWt z5>V8P-GPK{^30z@$mT-U9Y7L=7_C-eDbUJQx`}^YGpw|wgqNIUEh|fPg6eZpt_<;u zirR6K(~5U*eEFh~z%ckwC_Kvi87%Sn)sM>nnaB1I1%=wfOx*{d(B%9x>9js-4LRz+(dM`u!RZ9sLn#DmQgX2)LBZT5vt-URps~=*$w%d;Ou0 z4>DA4dtWZ17r#0@7tiptp~*Qyram`I31C!xQMv(;D(;;!S?+DZ0cGWO#6J(d50HS; z8}#G%G2u+%g50iaUo`5~zSLVyWb5+lw*&z0V{Jf>HrC*=l)K}b6_C9;F5h*dBbHy= z0LdaXi@O~&D6N#HkZ#0B+f5~t4?GrTfBaGUWAgitPPb1)G_0p1{7`pufZcMw{#1n5 zXq#=sd3!isvA)UkbHKHo@7U?T^X4`x`*IX_`WCM$rAp|gLF{swH7jE;p(oV=<^{88 z>O2!^vQ`=L@dhs>z#(R5dAo}7m$A79A#^~nAV%?)i^=&XD{tMDeq8NdlZ7RAuc5xU z0!qt@KMXBMzdS(Ddj0sxDLvvF#fw{K0&B1R+#dbncuv-*=T4kkhhU4zpC9=+-|%C; zci`!-nNNZMk7xhS>S0YnVu9ayEqZ!roD3cY@R3a~HkKne%YBDf3#Lm;DunZ{IMlZ5 zd0hS~D5dm2`Ze?A@m7FzA`A#p2%|YUuMfD*xW`Z>hAX&KiR@y?_pyOpKnmiD00oC< zn@~>gZOm|C0She8b!5)q#`7+Wy)NFk#w8~9(fWgX>e=ti8r(OBJq#KNUOmu-Kv(#W zP$oCgl|wWd;gJ~}2&fSRrJk$hzmyTpi*rqyCHu0AuW}_qMm%`*i}iXvo{I#V_YDn* zaT;=s9s*3KH`1lc9{`@xy+7D@;?za>Md0G=|7)iI`{L7X9}|b9Pm=NWRCLD)DWOuA zoc>~dhDuzeMUMJ_X3khnf;h#T`-75=Pq#AJH0_Ow;-fs@^kTD~g)OgYxAsVBw=QB> zY=t9>c$y9B;(NJO58(h=RKMvJOubg6EbnS4eN=lGvn3DqYp15y?!$OIn^~S}!VRkH ze`8hmHhFVCFhs78QJr9i3DUD9ZG~p&rY^WIKOwhUPFoig$77&1_^6=J2vJ`FFVyIm z%njC%HSsoS(XZ{-6CJAokv z6nBxiR{vP{rtAVEjXafEh|h-2^|W4(S57g{T90p^ z%xqCmQtDBSS?IE6%L(TY0``d$l3ck~^&E`qA^UPdCO0{FS?Wi^mQ^YvG*xpDcpX58 zGFtVF>Ll)Hv84O1vH(Jlh>DFCrc%+-XB_3l{Xh%S*&;qS>3SHa+p8~ZtGBlaR;u+A z3^pGekqq&%JfXqe*m%qf5W_&Hp@3EU#R-AznC=gghcs~&$q&R|B)p2*<8{F*yP0_^ z6IoH?30n z8nG$_M}jLhH-9DTMeL`2Hprt&UiHgu4Xv7EiYLS{xriFRwU>+RfLihy{elg|3M_o! znCIbTPWV#;9&N?iWHqRyH(c*yS=M7tBt$eg9iOl+u zb;G~l1_A&D__MKzFXpU9vr4gpK&2Z4Y@@=ZQr`IfR<1;8lfg9DTc*i4&Aw`Ur8z3= z9ZhnFOOAO zIB$f%m8S@CjE5fGVhcD7uYj#z;aCCW4?^*g>K0y(Q4`M%WR_gEKgSL{U(yY7JlMEgO{ele zHynna-3Y8DpNI07aZBgfbR2kW7hH73C`4)`i#um%6{)r9r2{=8?6Bv3XXSCGZ9CA_ zCfbrAWyrVtzOe;-y5}}8D93^!BhFOE6(tLaj3z<7H_#oxO`#)NJMJ7%e^j?muC(FDJdUr&g|948+Ek% z1lUo*3Rax^e}7Lk{~-Cq$d?$eObVZ##hrYIt!QXKFsy zVj#zE2Nfl`8x)W}u>r74Z~@1O6+~D1moQQ%Q`YDjJxhwM8_B^5>`yJ#A-MtFJhMU;!+|s*8*<6HwnCZm$8Nq9 z)*R&Jn=z0y*wW-S!Dl1v{Q4*($QM%Ch>_>UL0$zx+-u({H8g^?)HL$a|4^^qnZ#;x zYe(NZN5R;)C*8EYyC_~!+oMpZoVMYc$L!gCD~cPZ#<>wf6Ey@q8kvmOJd~&DT?wk; z+X_-Uc!;v}nzJBli;y_5_Nm-w(J&x4FNq0QuUega*qIxn{dzYiF!*-l7LE7zJs;CS z9<%v3GmbG72s5?|sXsd}-4OAKj*^S~*|^p(czY_(pk?sxh?v|(vs+6iWoJF-mnT3z z&-#VDk7tCsT7Ikkc~!)dw^xN*e!`nA_{_xER+;yNLl zJ!I1dQpfcW+{B@r$!hwZv`@WZUA`Z_7XYI~rJi5GrFueI1B`SNpzk1Jq=ZP-cQc+Q z-Vl$}dYc$>jK71!W-B;7O$byKAvp=Fs#wRfjW>L!s`fY?^fPB%43HrgAK3pjg&nc^ zem;@7!q90+(LV~#HU zQ;*wz>w^Emg70#+S!8&24MlQF&_&C|KvfX$&``jHo`0??+fpzYN(!`p`$6_j1;q_i z{>$f0Wod&NSy=H%#+(>M34B|ylrGqTXNEKk@T`u-iN6-|BBid^%s@6B&pBwW4#r7v zsXW*&a9)nu-p*)K&)Uem*ln8A%t*A5nm$k z7ubQ|vol@<)O=a#2P3bDn=Jt1x$t?ldSCjJ6kR9NVM*3iJi`-@o9_5r<;;1-N2I6< z^*|w(mt*YQcz2uBhV93BDxH-C`N9>f-__JC{p&mZ0CWHL&h#5bKw| zjt~VTvL?n{j?+)m-IVb;Dnxn>Vp{72yzA`IXV=0$5&Crr{QS%G04r058MEQ>13$u& zD!{KGf~g(me%jxd{o-%Fe=f!(wrk$6U5^csQv@N+qh0o=*m&`UM=663HLhG2&;VMt zkM`HOfl^=U6b4ZJXdVU>{*O+n^DIoA!7L|ki@V}sC$v2xHMgn=)kaR3j{&*%691w*fZVtYe*ld9y3VY}<#*V1$`Ks~VL5Xl}?1bt5=A4}$ znP~|l#|@m>1(P`3_)IbXPX9?W?KT~h1T+Vv)AP}Km*ZqUI&w->UK{`E3G`ZZX=%&j zrju&;w?j_hP0<&sr_PxJ1GYKmA04hUak@`a6>9+mGwY3LfxOCR*Qp#}HP7!n6k5T=*i>AJ`1gOAW z?yxm~DhaH083V^fjpZ_~7S4nAj*Pt&&(Qn57u`Ts$q!MWBfg5jcIdwJ1!QbD2-iKecMR@EH{MeDZ`61Ie2R43#I~#~K8PI`}H1{K8f7ovKRSu<= z&oF#nvPY3l3>WSf&gH4yqC5F?Q-jJZML-ZuwT)R7jdpK*oaiRoD+^UypN_9WjsmIlX2Si9rW{2kkYXkiN?? z9bw@jzR&zE_P=kh;8CB^UGqAd8RQQMC0E@jK>cg|;fm^bREkgqblQn~Vmm&t$*jG|o z9$}vm9GeGrOw+`G{Wn)JRHFlwh2TGG7$QRs*@-UbRMEvY$A~Ni+P(3ys@Yuz8hm%Y zKMCdSL!|gUJpg3H&!qSE00SfefL$Hl+@YNTjO0VZJcN>wrqtDF{5jfgD?epT%8lK= z`3d{kJN(dJEj(&%x7;8$Umq8gBDF2ki@`?4(Cr?LIs*@Og&YC-KA1|fGAczF#AXm2csr3Cx`_~mMWAf)jC7Dusy;$HC^jh>7O ze81+=a)0eEf1tPMt92024EOd$rFt!Y^`q>rWs&$OB>v9J{Qcr+@i7!PI41GCa&;Nw zY#2nJKN)1(0E6tthDT`luEsrxwP}H7NnuKcoOx0Vp8YZh!n$TKK_sS-TWzmSfaE>m z1yt2709|DkXaYh!JvcvLZDcR@3s#c%3=Iud+ZX*K^=1c)8zdj#& zjO*&15~JMWezmMZApE6?4{4Rri8^HVDadCiw~Cf+3|kk;IL!3Xucnj~y;M4=nBUA| zi|2ZCohkeaR{B|XM^q=FaMe`0N)Zd@^diUb3uT=7S zp9wf3pQnHW9q{O>q!1mGa|bwpFI)e?9zzHYzjOXjSE!c%-0;UVo1f zwCW87v2ibuKPx8}tVYKMUky#E<*T<+ER18nY>3EH1mW|rGlted(wC3O8 zJ(V)#d;|Ad8E@#yhLbV7E`@8f>_%<(QnK}q;hH$+`N4dE?E2slzvRHSCQN0v`aNIQ zrD{aJoy)Hy#0$wa5>J0t-Dg#?qkyicnraWUuwN7}Bj%!=h|DHOQ7-@w1i z+*yifxVrZ^`G)n z?`6(YI9zi^O&6Fs(EKxV(7kdpb2v9Rb8q;%bIn~=pe;F{1LzsQ*o$xjCWo+7^{kPA z%iq9@eX=|40ZW+%I|9k3jc&dbz7SYjUTaj3A&$=OTMVF-VTJC(_$$FrBY9T2&1jx{ zr37xP-(wC%;Hi3l{=~p!NX9GR$7=qW2=McqWJrn>K*9T(>1O1$dC0=+H*B2FnfbaU zNs=RnGIyp;2S{nAOKxf=iYi^k(t=}KzBe{9OdZJ3rt0Bp2}OF+w}s1;ih~4=t2um zYylm=`jlyck&;F7UMDtk{RyJyN*Oy&`jIaut%|#{+*@F{L4KP013$cq5h)D7!j=AOGlEY7 z=f9+3|Nrei|4-hG%OT0{!Q;hIq6|E-W-sDm!v-Za0Uphe8?>zVmle(=5x}Q-jGGOT z#tYcvdSkb$OAU_?6g!&_0KGt}t#*zKo-qyOWEo%T+Q0po{S)8m*-yB?a&pFVPuI?# zQW^zJLDe`^e;>ZDVLG>89( zDtcB)$(MA_XLGJD$9?N+=lRlCZ>fAY)AKL+F9j@mIDB+%H1>qK+XU#(iXT-tB=7z$ zXs~-U&AHmMVkP`8nXis%jQ%f0T``zPclFY&30tBLu1PQbH%)@tjLBE{+oO-GX#*af zJM;9S4y46(F@Xg%mj$lH|4M1heXUP6!4yo`fJmOmYrR2PryE#dDmf|h?++++2LOS5 zw#FrwOk?&)&BaSjEboP`nApT^NngR0gY%Jk&cf8EdS5qiW%89y*ib5a@KxuX`M9SJ zr2PmMK&`_tm5VyD#$eVc&u|e3VHOC>1IpW^)ZhPKfGoJ z+y;QaB??4-=ZV3_{q?BAjcLaBZj2)+zPi~w*Bx1oeHh8hyrGv+_T8D^q8ER~v11o5 z^_!G8mW6S+cLHwZA(QTP#qzAo+_iMFQ*v}9n?3U4P@jP|+9w(zThrBN9ZJeRG4ZuL z%C!b|sq0#I$ls@FPAS;CKJamJ=;z-f)tjH1&rbOXRsd=xiy>)J_XsficRd$SYyRHI zW9Ya`qv>MxhIV9@BOv?_nBU7|E?^Bq-~tqdV1zHxcWFfrV|cklR~K_xdvXbOho1UX zK2;|Uz$ZC-{Rd11*M*P5_By|eI2{_XQ%GESp7pqrWc*&YhPH)ZPzqf*W0s(q!HaaU zSNxaP={VmhhNR;Vr4&<+o!N`e>idYSl^{6?P5N~lyU+}S_|*UR+yT1$=Zqh?;7xJuFR zyMA`@?s?U*Tp)4qv~s%mtd&FPrH3Y+#n`bbi@t6tHU=2A65ws#=+PF&#yx(N5Kp$2KD3F3Rg+Fe1seHZ( zCLUE)90AD0dm@W}E5OaYlrHd0%CK_Mnu~}`1A67V2P>1|wrSj{e9iEOYkM84(!Bs& z`e3_dvuP(sJ1Ye6`ieY3IYh7bi;74?`gmQH3N$)hD6&?DM$^4QA-a<7%9ntg(hbn7 zc(PsedQv{C>-kpu9wpxf0wGh~fbo}vn7~!FLSK1EY(n4!{ z(-nrk%r@7r2+p^-g#zkbg%|lPb%06O!^1hpVO*Y3>G3U0e!C)|h@@Qg{+vuIUH%+6 zjn>UjZY(isHA$6~86myyj7@s{`B1_i1(17eOA>ZQ$fjNQO!Ul zs`?4o;YM@gd|jiL=U&U9WVwUqpct;-Yjb_-p8vrw1;xV`0(`KQ>m1FsQln=oDbtOY zbHH{h+VJsY`$ZPTp@IcJ=xG6;abwInHqX~KLVQ`xW1+P1O`#;Q z%qoe|#l`Tm*etvS>r*^rMJXHtx5^NHkmKz88`_QM)BxpSW zDWVD5{ziq7V0o9I%-QLbrJKG!*$|FtoiH)EIp26?d!8#DTH0w0ZH8cKbQMAIE23sg z9^>k%680@7un#(9W`wZGV7clXjryMmZ+$&PC2YiWqelIxTPp}=w=iIC8@*CyaYnDatZ`{J}C zv1#AIn8y}w#92AJvXTb(Ndsv4nQ<6-w_Ybo8Tk;)8cc@x+MnW+~Wv%LTk)T}L^0A?!cZW@fjdxL{ST+lA z^dZ@F^zf4Y`Nw~qy`0Za}A5_^&)#uq4bwZR4C= z__oQLoZ0Ii)73=mcPF=&5XJHgwD;l#ZotiOl?jbytwfzvzYcoaJ+ny2RGQy{Od)sz z)cf=fAXrK4C}9hL?CqT%8V-l!0WLHP&vx{lQ22J27w8~g-13M+TX_bu6prYSr={ND zJ?y3$Dq7-F(PG2CG|VY6!;ag|ewDGcV0qK~N^z8Za-wTlsQeI#8J%(3af;jMfT}z~ z>D3&Qi0PP8UpkWfVP|>C%=k<`Rlr3Za$IsHC#ESP{m~bD%sD|~M6%PDL21n0nx?ec zw%LC1>qq{(V~MW)tn2E{p);7jumf3L-c#SB*js5wHK%aAxIWSSKAxItMns)cu*lo& z3%%AwzABLo2mGidWLG8ighAuFL37IT-2Ah+VC;eXRKl`UVC|h<@9Sp)TRAdJ$ZM+b z_b;fO?%k=XXhb()3lsCwuNZhXd#F}&nfP=xdg1C_s9OYdfj#V?&i;JxruljI@c0aa zWHHV3#%h{=?zcLrpBapvD=WyH7@9|FEG<@|JD!Qnri26z73ZrKq2{UZcv-xWCsi6$ zMd7uUNq$h6PSgIDysZ_8Ey=#ImXx~5;#};-LsD@1u$h;(IFQUG`=X5Pp+GfP$ZpdN z@jD&D3LNmoV2wav9c|Zw!r&S?e&?&>)Zhbwyy;eoj#vsDg~( z^$7BgVL8e~O9Jcjw?xgH5^w9e0H#ORM0;PFXkO42(?0-M&6@eSH8uCwP2rbKk(*ID-b%i&p>asiILLkF`ErzJ5{buGs>cf_Ft-T?OJu&pdfz>B^6g?NbW{sJFZ#m z4yn{vVW=MJc<=MwG3M^e#Dv{X#8UB$+7&sb0#d+!GwTOJHDnF8dc=dMmQKwTU%P4H zENJn5$mE5pOZi0YOu;y|WR-fxc()UaaU`m@r}t?E)mTyHsyx8z<;?SIM%=L8@ueln z(r(4gQ%~KgM^RRe!<)ZS?$35LBK5=sq-|UIjJ1nuCbXoFer6qD1&8vPNaFK-ipR+T z)6S8)=pd;F7S*H8$ZV5D(0z-G=Y2{wA|DBs-DX_{PQ*hmW76Hj=vhE#`G$4q32?Dr zKc2hn{NVYnaw* z{ri9^P$c~+aovF+Y3RBXUrZ3?4~)&-qfyDqvk`_KEo45!l)DXW^<$bWC_Q?HzgTd- zxQxxG;{SQpMK{g)RWPfAEMLR(0iQ(|T%xA$zPkVZn#NvJ{{$!7nY58W_9;H;P4DLX z7mbxd3aZh2=l52UQw*@Q$`hEIQ?7FS0%+m7gyWlAiD_63kwm(kUOE-EnHn3c)sGE% zmDIx0WYGzU_?s!xWMfL^z0m}fJoL?IF>qnF@z2>R+hOvsDgKdSSc5zizReI3b!f>_ zwA=Wq_u)B*?IwE{lyz7%I~6m2mkzK844) zT=lFzDb#0yJL*Nk6B_dS>u6<4)A+zdD-g@chQ_`9-(7KAYNx6S!-5}tZ^c$hr!d9X zT%Q$j^?m10u%`Z!q)Q43+8N5IhtaU0BcD#>uZ43SM>%vLgb`J>@c8w_o6SoLSxpSD z5@%K;1iO-+W$yj$84WSs`IKf&i#5#}4gNMim?UMaoamq61*zF|sSMxr(XdH&U*+)_ z{D^IuS*4YHu`%T`qoHxuf#aHo+snSysc5FUm&)L2II_(KFI0kx%o|KA>BNY2nlsJS zrDJLo+iy1Vq}`60Aw3y_Svm^P>e7NF!6N7q(Pxx;-)dJq8q&m5cL$?kLRKG{Z^ZMA z)BuolRkL=jMdM{?*v8F=XqG)aVIm&6(Qx;RtN z?#Gj|sQG5IE(&AliegulQ_BzKTL0Lz^S(A_cR!e4#!G%4`Om zU+dFw*7cJiX!7&9eviB$AYT7_GY=9PSMvpPjhEue1|BE(w~MS+bTz-FO@m?wG+y%- zFRp-wjXC6x7gU@(I;*pG#XQ0TG_h z+ID+lSxA-g?Kd5r7Mzo6z6^uOTEUII+|=P_t1xe}G;6`&6Y zI8yzbrvSAqPQ&?Fxhg{Ypjl+aoZfmy1-cMLAeav}G!BVPXtl2YLbXa|s3f|-_2PZh zm1m=vWAfS}5izBJBpPeE)R#hI{S`I=PoF1|R-m(%6T7?ywOXP_K3i(6Y^rct8Td|s z)cV-1m&Xg*2U{xg(alDfHaTB+tZwDW>K}`2&Oc*4>p&uIN^qRH4Gp-_I^J_RIVZtj z)=&{*>PMU>LF&Gld{~^uuFk>zV^f6eugn30)M^YA`ABu(jIXC|7h8F&m;Ig|RWjRZ zx!d4)(N`&K4uGj_bT>B?E$xAMWLbg6_*QWd>2%Q@;qy)Dsx`w(IWg>cK<@^ zm!W=z@8wl0IA!t~I&4r+*%gGIDXp5eZ7HPQLtQ)De#l%ruHWoB4R}?@q9BGDtDZ&{ z9rR4g38=T7d*`oDAs!JLKsyI^7+UCYl^0}^bq-#Rq&%qW-2;Wv>JFhJrCZ^kPzL2h z15Z_z#qMpkY1@S;3>fUcQi3EbbV&0XT*-@g)}tWqt`$O2hl9S!D=gLm>Cx^NSA%j^ zkCMF)m2jRvgH@RgxmOHnCw4Y*nY~{aNPu)-aE^s1W|>K?;fG#Pp^s+}Zm9gRGUM4I70z6# zAFoZ2eP1q#+T?QK;|JDz;#MCUGSy3Z7e2@I)DG@q5IUD>hk2{(LV^Gic8KQ$XDiPG7sS1Cbx z+eNrm+(5z6a$i~g31Rrdq?~R5F^6kIM?ji5{NU;u3>Hwdx>i|{*leFX z-Kf7C(cS}CL!_TmhA>D8xV*aHa(d{J#X^llo4;YmgDDes?fPYy4H;v=Bcmvw0@?EX z&yuq9_GP^6<@7@V8zMhEAAxye_SItyB*cB*wnOm`T19`v4pvD!Fayh9f|AiWECLQ(W_AsZ` z?A)Iy8?W`x4GxF}k$$ZU)`Zcd_03n4O{6DEKI1LeuS`5sx+PDm-RQM;InJ1Ke++Yl zIaKp{V6AP~t!~@VjgMl(N^Gn^NSull8s;Q#0KWT!2_qfJ^S4yRH@L0qD|0VBsujAo z6eJl76bNsp{v#BM1?X_T57^I&Y~t%yPK?z`AL2e zbfxA~Kz=@2raGR1IFg~Sv!$fpR*~9X+=@W)P{$zfl1~E8aST>PbMi_o_Qtp?6WSCF z(iyYBdefb~P9MTeU11bwVotigKY48Qak5yMVqUES!qY)y=RvKJ8#VrL0BW*QpCq;9 z1k*P5!ww+biiigjg+rx{MH|z#>i79tQy^O#Uhr&vFAQ-8JnV}w^UF#+Bk zOsh`0QENCQyz{iz91NO>DF5UzuOi{iKUid2i(8xjid`MhrUHAnHSXJiXpzlJgZHrm zsJUTMYN776CUhVHSx_!n*d>Mhsi6<@YpWV6uz~PBa(5H!S1vlaBm52BpPVj4A3@&IDvPYr~_0 zZNYA(je~~dF!{WV;JT~nc?kALA7bt%J$#M>o5QxG_QrgIx0Gp zz)oE!@n_{n!?F4v2Mq9My3l+nJyp^!zG0<}5_CZ`lzJ!VvF;E|9)zF1kBlCjah#S* zonFnLVC?t%d8_OSkK4qraAO~ZsiqYQj2_5K(Yf@R;JFJ2Mp+imbzKtmrsmB9g9mnP zGyNOg)g30l^Q}hHeTs5mkk(Vi>1{LDb+%)*1};iKJA?xzJBJv*E*>4PKx}@p| zH=H%+_>f4_!s5s8CuiNt&vK3>1RN7qbRmg&ZTLzT8=F!l1W7Kmo@C9c@PG4Xs(E?z@F z;}!O4zAm=abO@XGGC6ECtUCQ?Ct(Nixrn4;5IEfGxT%X^n=p^a;q_P$us_tRqh9XN zg*o@6E5C@lDy|!f!X?AZ)i-Ti3TMBPS@=Oe#lF@ybUV z$Qh?qmSmEG^GXwwm3KnO`j{qlL8U+r!Dw~~$cDO$=9s8w86^XdR_!qriITQ1Kf>3F zR@C8C0@#~-R?^meN(}UoNZB7vmobVy~*_~xkaL89=&isV| z!tCOtM!aci>Iuq3ANn6vhk)O>dsr8k>BF49jPK+b{jQ+C`b7m5_w~ZS9b$UwV5#9r1 z_IqypLOu0KmsHD-oqp^L6%|xj6;U$qYLE`MC~?~X5=SPfKHskdT;*twH}6oIf?&!B zRyV*qD@kj}~X)hl6zre&k`-H9VV=P>GP8-467 zyx-I6(|#joztUO3H!M0Pgg18(MfHo<2+@XDGKPl4QOj>uGdoMbB>94=|f)$?1 zXhqhZ^PHZd%IxbJXhn-nTcT+@kNrNh?O*iiPPqggTrpE%0IeGx<@Ynd7GSGz=8g1~ z_PT09>BRkrB&z&wL4~^0vzqWMLwOr)h0xZXA2fzj*p(DWKZTZEZ{7=O(Ae+YlZKN5 zc6i}&Tq!RLGczGC6c_I%kDjl7&+PVthM*_>oWE(zfO76QOM+YSXm;lW2F~}w zYrhkHw*>OrN!vhc^5Oe`0F^tEj}$ums5m#Ofc^Ejr0=RmC;i+{jPSdk`PT8#;vgw25b^-YB+F%Y%6b ztCTOkQ6=~FeGFsI33~`KopDJ|K-wAO$p!=@pVy|=TIcNzgRbkq!$bC^kDn?xU{!E$ zl{Ot3(YfN?_#N|7S7i}RO0fhAc~y|R9HhekfWUyM4Q1Qr42|>M{&uU~()_uyv&7M? z8~ofshk7l2ynbh&S+MZLC_gJ(L1>zBc7Wq>wVI%+^c<54W;H5=CBQ^sPkn{MC%K8y zFugR%zfRokpeF4@9-fdTUhlT5<`JrzrjhjBH+M6lrC{^Ss*}R9BCCu2u0=)YW23V| zoQu&fL{t5E8A$g)C88ss&koAHsUg}nQ@3SnIOl}>G|{i-!pg!%!uTW7wy*NZh!VVO z_6m#gx)H7)lMr&(`PA)rFe|RG+7+ ze&3W0QXbgTC=cg_Cd=}*=nYxG>gNo4q-^Ns1t1>{WGRP(W`G%rrkO{w%GsxJB80D! z+n-trX!{s^Z1CqxJA3NxhdrK23}yKef{kQ4rsM+0w0s`%JKV{SJUS@#Cu=w6b?YYROEoY(a#n7UB4^^TGLcX=7PhKQ;H-b5%IN8R zgX@U@gV*T69e!|X1nVNA>jj;ApX&w-CEE(Mv;mk>0ylo&fMBRWh*pgaZ{gXyY<=kr zBVG8HXVW|v);%!yOfr;0Y^91rzwzbxrc}w?bU6E`ts`_en0*GQcgVJuraK_zEXdz| z@|ZBkhN;7H0)Mmf2Uw5cSCfW>>4(rsexc!|Jbx2ad3KPg1wW1v#hIl*fxVR#7m}Q8 zlMLZ$%7Tb0CcPK5DwJRVvcd;)U(saT8B^Tt%;bK-+C0{%+cT!V?waiowlx+?(qVgd z6jCDe*E|uv8wnZMSz7{D3{NU1Ty@13egiW^m4HY5p;1JlrgmEF+8a^Au`cdaSu zVqfMx1Wu$f)%!8O$9F&{bD0iN1$<2aRo(KlGr0-<-uw)!Tg>B)tTC%_~$R6TJH zJKVqOS86i&8}?}Xud(I$CUf2VaoSGd9mipEhWx|b^1lgfDN=rK(%3B8hqKQONrMOc zF$%b}{=-`1TXsWE-^C)gK+y}jm;Xz%`k&WNa2`3&<;(Xb|$A1ktHL;GA zPDgX()%!GV;*2Jw9mRw>SORNv)r#5#b7NW#*WKU;4S5DR4ia;M&qJVOz7*tR^G6eu z@Ov@Wp*|M|WjSNMv;ez6gJ@|W--+GH&j_&zBLpw4YHtv*tAm>CrAdn%aWDh`hlZ2% zf{77bm++j6M#l-QTB?}1k^TX=X&TL=5RVa&gel|`{$uC%booU6*!X(KUS?^VDfL`6 zI@Q9hc%HF*Re@`Zsxb@+Z4VDO^C<9Z>bV;)=M=Zn(joUK&biohM^;uS-B7uCIR;qy z&l$|mEmeNbUh}Y8gT0$Zqv>s73b?-$n~t^;OnCf-8cTb-Y78(T#jmcGpP&c4miJz1 zmt6RaV>ZQsYQ`yj2%HNIt!~C79y`jwS{^iKw?t`7ylKqFA%B{YK?s_Z13qU0vTR25; z(8$yL9IUgOlT!wXHCY*>1HZ}`c#>5*jM@kzZ4i0<$3!P5>->K7hz8|*E9}dP*2MiF zS;etv@PHhc76?x~C*g@Betvf}nDCr9l2b5)$VS&Kz>D{fTen4dbN#`F^JYjs!UM0X1Bvaf4O-hpUzvdvCn$5bYyeQ{jET zBuG+M8OU*s*e9v`lDMJ zu6{FUt9<3%S?|h!P0yH(cy93$5ca!dJ8Wc0k6(8_rOViQZcAqVfs$}}w`e6n*8$qt zBEIyqz3=+0g7W1XG7DUPBJwpq2$|8ka7sMhWnOGFT3*VL&UtPgRtk-;34LrB?@qVO zGNF*H=+yVAC(fYy9Y>9S5j8?go>f0yhciDtVBW~1{m2J-F=b^el}}|_k)K+sVSWho zW7+ofMfb;Iyrr_ac4C!7>?s(6emVl~gFhB-6^5Jaw#{d{{~Xi4Se=-XeAQa9j|Mz+ z=g_uESt4dUZz@u%FeIY&yC(h*GCn^qvA5a~lNLj3EYM=_ky*X0TlMgQL|TaxP>f(2 zk1ANt;^lt#`E|%%QAJ;4;FYdN*5jCMdf3_OF4X_N+#1fdIp+Vf&EE z)wQ^L&?4P@``+t0!Rb~xkCTC1xI;tcfX@e! ztgjAd5W2cO8!0z@BhXH9{_$7dv!#a; z6ZoOZTHq5<(T+h)OB5kbpQa0{=tcrggVA5S>mtOOg&1_yj_%`{i}+fJG#E?Yj2Yg<= zokmiPx2|6RSpuZL6`_C9-!gXZYo-AeXENa!HlhCm=hdIu2! z1t}s$X`%Nfy+=er=`EDdYv`eck`TBX(EB{kdB+|1j{D)g=brQb<}jPR*P3&#S$}gb z=7epC>bDnid+V7(r~FP!mVGk7g&D9d_T1`XzN@v?fOq8>Ir1l=>#lPMa+7!gO9nrD zfH%vv2O=@?`SE}Q7 z^TvY;2jGo|YSPtkY1I~KDLat{1?`xEtQV-*(R*q$E_G0qPgGEylG zHGR~S$Y#+83?NKjF2xK^%us}y`b1>f6FUum^@D!zc|KroV!s3v8Rm>( zZEYb_s3GvD0QAI70tY4{Io41|#&|YQ?#OPkL0ki{Cq5OKqOFk8l zxh5Y3VDFG@sydR4FNS|mH7G~uXg1bX$ECcu(KK?BQF8>c(`pP$0q};c5Q$eEi+!0_ z+WGTY21{f6npJoqr~XWoU6EqSMZj>!{CdRVW5P4thK>5Ob2*)#+^R0zOqk3` z_gc^Qw1YQ*C+a;$Ae14icbzxyeoG#8)3KtyrsaAZ%<8LUI3cbMWD1EVHuP$2KyO(w z^{|m`XhWv*qb~(71QZ23PcdO7Eca^x9MG3I^;QQDtbb+a5H#0*K+&MNvKUB5odjCr zm_-FlX7Xs)*xUXK#rA7nTqD8WD=(L#7^<9K7sb zO!}~MC=O{tH;LVA(BV?kQD`tT;)}}l^~s`YO&;0sF#13zVxk))){oxGOTFa z63F-Pd;kH7qx!cq(_sL#(HQkre6HHL=!Fm1i|P2t(F6km^IYGrb5UP~qP`7{vijyU z9(KcBwCrt8!uCbE4j%Atj@Wk?@4@$ty$$Q;o+xI_Z`AQtP-;;f5)4LI981`KrQV7o z=&NJ(nIom0cc*490Oz7^gtl`FxC-69Gp7)Ry&PqhE-(^1X&va15(zBxa_QrH=KxTl z+?m}bBI8#C^uezWXZk>p_i@s_6X!EZl!T3dkmB-5Nb&tLM-U+F_x_;vb*Aj7W@awY^6*>u0y{oR~tn@6wQv5o?FV#Zv^-6qTmQ&7s!0aC<+00*gmWb+mY z+Z4;GOquSfQH0$fARPMZDPT`Mg*j^fXbPze!|1ha!&u0&h+^>%WRZS;mQ0ru-Rsx4 z<(|I*11lT2bS9UcJSKL51SDJXe+WHDbV6tjC`HDDsgFR0TqW7h_mfi{Hd+_)lFvls zz=P#20SQI9HaQ!CKlbL671FlYF)WW+!O1)1{=VbnF2<90oWL)+PGampZng9N1SHSs zPL*hw|Jz$9fIc0LGlyM|N-&bazmk9s1nlPIkDi{$gZ4BdAP;(f91A{`)i=N={>sDP zsXYAiiGK+7k3{`*F8)y<|GR5iQ|m`k*qPAf5Xp6|W9+iJi*;NPxI26__RH4z-emqZ zv|3xbWRU^k*?<}N-QblEqy@OtFU6=BJp%!T?E9aLlAZjsYb0!uCVykSXD6{9zsHG% ze=YZv0>IAUFkv1nv|Tc# zN!#L5@1Xp@b87x&#DJRcD7B25&*1@zV?oo@wFdlk%rSGDVS6EW8b~&E;au0#Kx_Tk z&iv%s9?={NB!G3jb7sb?Nxvv}PlOy1@?!av=L3%q>CxBExmgh-z#k4G?n0$pIA&;Iarz zM5(}UA0mkA;^v)GCu@Kj@Gx9-2dF!8*YdbQVNeoO|bXGMzeLF z34|FP@V8fge)vfD`kUri#gW_nWaAZo6Oru+Ct=NRAn*aaopXwS1NSuKq9P!0*Ulb) z&UOP34+4L^KOP+7`}r5jDSQNPbx-N{TJ9RKv!{C1WPm66C&{ecexVNdi^D(OW2|t% zf72%}&EbKe=Xt#A)r$C)d;vtNS#6%Qq`gV(sN1ApaTk1A83QC5P7n~foO|nq2H@Vb ze@PCo;yl1r(fiq~K_Qp&x{U@G&eB7BjqE}BR+HZS?WsRY+w)E^ zWfpg8UU0V_Xv!91VWLIOG6jZEm&a8_nNH&G+S2db<2<1+kcS7H?L7BtN`P7)&QkJC zA+$~a|H&!-|%-rV~ew_Of+cof%6NuuG(V6f6U+v&%vy~NbNdR6DFKnBItN>@m zT2Iu=+y7smDnNsA0Xs;2TulMcC;E&&@}U>X0Nz~xn?BY5?~Z=og{4(#WN=t>^`$vRw-{SwV-{X=R(ifYYogYB#klf4z1E5O^s*q@|B zM#ZR`b#X^XeSCAF8j8oi(pk*7J+KWzE&b*Ofj{G=k|nhFh_DEQ!^ukvE|zR=&EZU# zN(;X$ivfO|8;R+jThR*4G7xaLImQ|1H0Fy4UpxR_Uc>gJe{v)`iE5vV5XfQD6DG)X zXRX%qy!ZgI;M|+n8h%!~uKZK!B*6O(N$jvv38gD} zk@tYk;u6r`95ca*N+^_{&|7DeQwAQ4q#_c*Cuxk-ypFgCxKCymN|v_m+KTcOS{?%x zL5aWRbi$KzdKH<6ZjCJg!v)|$ev088HxWw|k&GI!W*4PzS>0vabw%eGo&z!1%HPeA zvi-BUe>nG#SpIY7{!u9ZyKBpRKLP@R<6}RCn9;vi)2${^j_EfuwX))p3s==+vFQ&e zlt$vT(k_nZSaYx~ zp>J8*28MLV6OhQUQ4y-bIJqUM&Lt8N(h(3s&a78);WPb~6}FzNOT|a^PsgwfibNEz zUo(^3!Y5_eNiHf<(GmFHx)8bJ5mow0ua%1z_)+T2T&|Q8kRYA=gd;^ij1s(fM?gqd z^5%60{8Kc9)SHWth%J(fC`v|C$2Ewi>U=daQ^{7mB;dO zeUqwfl|(Ypz=|JUJ|l{D%!lu92q@m2`5kZ&v0RD{W!Tt&+Tgg zD`wLsx#g3bvHC#&{y8clHnur<^k(WK{!Jd@JO2 zM)#-aq#QNnrvM{=oMjj-vIzmEeJb(?m`28?2$0}4{Tb7ErxYmxrad@g+9mzpTz7yU z#r`l&=>I#W-3<8F4L?$=lEPkV*gdM-!MDYf<90`NKY6P3+qi)H$ySPCA6Yo%QZAov zWL2j`kp&<&n-;|>lj`V{GarWTUhdT`ZcyHq!EzC!?g`uKtbq~tyJkr!qB;L^LH*yk z@KOE=Fvz;UP?x1!%+Du3G$s4@|Ezcf2xe7f4As_qqO!l+w(9Aj68U|7Emyc4a;}`dk440WH&WmCuQXZS_?I+s$~_2+z1oZR z!^ar(4Q30cbOCsfq}c#J_Xj38Uh9z%dWIpIFid~4f>ES+j$8$9^ZZU4s zFTGQA@j zSp6Qc`W}fl?2TBJzgRLX|Hw#K0SV-@DNb_Dx&&q}FeoZeSSct2k#*7zNN>k^Cpsi+ zuEJ3)<>>V~tA^dJH>Bmx2YU=dyW>8hE|bZCR6V%o`La_h=@94(Ybf>G7(wk!UxoFz zTKKJnk&MksOBwsY(M?@!5UTnS3*a5QNgV3Y)ZX%Fzs44_%8_SOE|cpM4W<#=F25NTKH*zoetiLg zFvBI84B-8-gJy1K0%*KmV_3LUl!$IRx}*j;1c2&yEvrlsrl?jTNLt;&Mx7Y8e(pJ0 z?CL1g8k^v>)DLacJ{G_%6puf_W8RMnd##pSVm3;bK;#-EiHy6?7JQkv?cW!jSKnJf z!~1=@Wz@H?2xJMw`lv8Lt5b(6rE(4UB((9Y_J#sS%e?VB->J&?^99}qbQCxNBgXo^ zk|Q!0!Hwf~Cb^?&jUP(MkiNzhAz2MawL|=-jWe8B^9ljOW1PTRIYbFr^Na)IrzDZJ z;9rgcNgkx#_YH;61`FP)3~N7_&$k6NTUzY=yqcF(_o(8FTRNV{aG`(r`mL!bcze(g z0BMZL)kD!)^U|xPdYj%~S1mJ7@!bncpFBEb=PYdA8;=XBvPF?jzM&NFab2irxG&={ zCsYTiVwM(O4EoT0<$%x_ZZhNnqgY?jQP*{S_sB*TKY8#TvbMYlflV232AP1AC}z2G@B7N>VK~{ zl_&bE#h~}RP%rnM%cfswg-REvMa{W+{bf+4#o*Qk?}_nmEtIT8eT>k^B8R~~R+uq% zSW#i#ptqE*`VKggr%21+3^`WVoS2OmA;Vf-8rj5nOb!3aP5s0sLa%kD=XI``=i0g* zwF*(gUxffL_~NAAx~0MWLPD=H;r*k3x>t8C5g>5Pz$ zij$V*Wn^}^W!78$^{PA7LKE(1WpKbjOxlT9%s4cua`tvcNGZ5UKaDfHyG{>3Ok-huzVt=ZJVL`3S6G#mP;9L! zoUf-^hl*8U%`{>05?V|2>-p+%skT6y{kR7QaqHLE0m|nYfL#ECo%@@8uvuYbyqU?3 z-{!%VUG~pgdeo^FaM@c&TTInnbru?R5V#KyB$rWi*2`2eI8W~7SL#sHu-A5BH(z?K znYs1$7sF$DbQ_b_Dv=>%RrZQ5d4`(mj2v}N{V#V~g3oF(;4K!gr*%wRFd`5ret~ii_b;sW315ct5X#$#V(z zYMSS-J(RSsgBW9V_FwB%IvCZMN=+DA5Nr5AK*kJo*6PjEWBzML{H$646Ac@m6#-*Q z&P!9RyEIh`G&;O02==_j>38v9!^J1Z_=%Vh{JpLBTE&h(cISRQq(DaA=jBFN`KNPw zn7LMJZVYXIG+X!+Ilcx>#%e$NF?hmo~9(PG3XV8&+hNF#c%B!e+?B znFmKUk+#z@sM;PQ0wQnG3(hO};PX&>UTB2d%1q5BBGIDAF=k##{cE?vU~awrX`GRW zU6t|_l1|MU=W2Idej4m$0omVE9&sM_Q_37wB@Itg-o)KMoD8a1>52aAiB8SBKkdq; z37>{$+J|Bflwq zJ`I$jJn((Bi(MVOU8Uazza3Njd4-~!Ua|X)7esV@1l_29m4@+i%w<~CM5O{L8hKxM zi+9wu!(Z6u5vt23ZeQ>wO(lLCy$Idp!^=v+Uq2YaK+EHq7uZE%N zM>Q4>$r!d48u*C!LF~r~E311^?C&|wJZgoFxUG|uVr&$EoGdn#SIMy zzF1)bZO88IAC5wGSDq>c{BFQkQfp>|G!i^<+MX}BRkUqpU7tL1$!TjFCa2d2eM)j1 z%#7asb)XcJUr-<7bEOnC@AB!yoNgmfs7YV-R*RSk{!X_Dza)#at;;M;OY&)U607jE zz5|by{f3JE7_i!>03D;aTE1ng>-v><16cizzH}`j1YMu>cFXQd<|(R3Oh+o}WQSk~ zGwo+fpJ_|!s0F*ySyK@@toFS0yGow9f^Fq~Zq(1#V_@JIJ7!hpu)VP^h#=lH6YdbN z-`qHO8dsIhe3TISfz^2&U7d795oSDvW6_4W2VLc>w&}aYh}oZeRXMRaK3?04n)Fs_ zKsQLvVrA;ql_Pf65*WE#D4iE;j7hPKJBuG(%qt+3Idan7lCWLvPjQWz6OS}}=PjWV zUrI_5ylDA|U6V3K>s%&L_~C9sJZzSpUwT~jxw3(Dgx04$7Qc-q?h2Y=FKAw4E6aq# z8Rvk@f-TgkWDah{M8KP2N=TYZgb56y+ix z)(`8)n7Q3PIxlm`oz|UVmM)mn5I@>6sWyHEvmM4`@|iFj75LLQSHSYkHr;l8qYCRQ zHs;F7#)(kZBRzb0uI7uRfc33@Chg$cws32%Ea`&uuy)H2GfhLKkS3H~<%*bY|8#%sR3XkjD8zA!a7@+F-x~a9bruOg&^VQTEw3my4PAE1sPs6H?N8l(z2qe zj6)kcOxa#f4j*G%StmlInmXLy7}Asm8ZPvvqVlP(>Vz_pk^c0;Nrj+Qg^PP8^5hqw ze#hIi!g`@s@0iyPNd63~paMyK0m*K?8=#;y3uC$>HrMptxegrpw(3u86{zXesvY+F zRXSJR^EMc%Y`TmpMVDeLgN2B*C9T>k}Vt3g@~BQCH8+eAvby zE#xP2!u4OxYTxJ&rcqA{=@VRy*bmAn&+Sl<^d(mYtf4{6L7PpQZc#JKc1-@A`jDj; z!H+V>nAJ|AodX`n4Px4!Bu$OZhq0ZLB|aE9TE{nVHD-U7pWw&z?PF_XKU zgV3&6&z8z)OYJj85EL8E5>(J3W%5`n#389zy-~g4H#Ebx(8dp)@$_9Ge(-Ygc^xZepYs?ff@k*78xsjlW7(Y!Bi7VKgrrSFQW-fA z=}!2@B)Msel-z#Bz#-XIWSpZJ zXQ2$jfFNGop{V{HxgZ!jlv z6!DCBKgdv*;BA#UNIa}I(aCk$IXd~N-w)9Tne((#vv&zTaqT_m$-Dq&hkP!sN%%Qz;saa{&w5wWFu za-`Q+pND5Qf@5~4Dp#{%ixilsd!q{iA@ubk_DG>+*`vlOZYVq)95Io81+^t=2IRA@VsR2exHrZ`Nx#nJiLB>b0M~c8;+tvO+4k`vF$2$6 znHf+u+uL2k9hBwb(YrAv(6txKitm>iTNVDOF^5yjxT? zzTlI*!is}yL*?-+`xOzVc>?C_+s^fO-(gL7MRGcuoN4lctAaf(RLJu*;}0P_bH9aV zKB^u)T^5x}k~?J%!-LGuA^&^hsXVa`dg2-`Z7##li?F=0S5aoMRyQUM%|%a>w-!D! z7^Llh!yMno-<4x_g6Qquwo&v{*!?`Cijb?UAVP~#qp z<9l`!BWdHOg3s%45&o6SKLc=@0i)%V`C-pnDNi_&0^l(J2Tlws2KQ}mPw-Rb z8V)=RRx^Rbd>n#-L89h6-;P)Bv-?Xl!ECpdGp9W!4$CEWKD2EwFQEFAFe|vU=f}(7 zu@WL61+<@>qbyhbbl7$HZv5u1X(I<@rT0(@tbIIJ?&STAI>U#*9!SQ)K8xE`?~N## zj`-egKsP3^d=_s8EZfbVScU11@RMW>bM~9GH@Khm!(2O1K6@?PgjH5A=F)u?&2pK- zRIDk!K+nPB$Ce~(wqMr|UE&T#2VEX&^ko40i1cQ@*3X<*B7mW~9tZHFY(78zL={pM z+Jac)u4ePKmqns^&w_%aVwt!+M5pGeqy8W_ciQ@V_xNZYqN}^WQ1tl=lQB4=ddZua z#>R)c@DO8od>13BThabT*KQ*)X9;9SQ;yHddiQ0kEq~{`#Y3u2v^r;#X`Y&n>H?TflPx(~cf4R32uXAZL zcsn7NNF1Wqd;=`GSA8kREtD#qKVQ^2b4ZY}H2r@emwHk~z z-AW^H{q}Orxml$1m~-R4&asA5Lns7Ojdpmck zhhENx$D3B%8U7ACN4mZE3b<7}U*A!}d^(ylH7uT0F*tcd`B@3SDpk4C*RYvy)Hyj9 zAdS?Qkp$cs=|5fGcAB3#S&5AA!5ghLqKPejUsJcCdv3Aa$LedoTIsk?GgS!bxBj;KGD2zfuAFB0WC-$96eVGyR}W zF&O%R-t5aa@s}$GWpFRXCgcjAF`8n>G$SDw$4Z^~XGDn7hFvA=#498)mn{kh1VkV2 zg6Nd))0A~ z0u#w2-s*SWWsctqit}LN&W-7~<8K_MpP{60);@rOcsS#CAfe z)_IW*{>}z2B|6chpO;53#_P^b7Iz2FvtpW(dA@wfde$*@X6qsGYho+P>KSwzL0yrb zUX7Xqi+`n#*5!`om$NLG;TN?_y&dlhwtdF=-$eH4R28zhd zxIPkmJM-4%EFKi2zkrw$Soj+Nf@^T|FMEbib!l5!?KkQNYwf$C}{`LJ8<bG-2cxAK|Q0}q!d$IuEKBQ&-BhO{m#M@J8a4I5Toct3bwT1{elic@=UEMEd zlO?=FTo|Q!0w^?J;yb38Y-Ya^-}}5MjnHDaXLE70O~M4y=&_-L^o@{Q&rlWUQj?5Z zc`bWm-ty}Zb>U%#Vt1>BZ(!|*8ev6dbNtS4e_}!97ms|GESEiTkn&uxdlGP$WbIVO zC7TFlw@2fX;0@}XzBi<~&;2+@my^ayBnu!3A8Nw(S^E7et<3$BkduyO#rDghVpnyS zGmx9&B;A`wO?m4qi!Oz3wLN4H$HHwM-wt16|Kr?I0?wWDabeO({#CxioloU6UnA;^ zRcP~k4lEg*s+Gc~_#SjC^pVk*Wh&AS!RU><0Eu@QW*<^Xoeyab-BwNs<1QFKEi_h; zIHEV(dq)v@d!m&#>iVuD9PFEUzzjlmWW{M3coylT7?fdt*ix|sSgEI(M+pnwE)`0% zv0)ZP0!Fn10?(F3O-6Sydz0DQLd6n!0OB`llORJl zxV+(=EuHLFK&yQmD~I$_H&!daF27%uK$cg<2WGoQ^_%B3^K=Ut!`6^trF`#YaN}-E z-{pw~7q=r1&99n1EVRF#=n$s)0{2!gI2q=<9VVJ*S7H22y50qdi@_dk$QYFaK5Jsc z*TZR4Om4)7;aQe#RVnf`rU*H0uut$wmgM)vfXV%Ej#led#2x@07l= zKWq~A&?*+W^bOxlUI~A%F2zfoTe3dbn;HWBF$2h+&F^x1lgQ89y4H)$w3e5Phdi!o z!8d37x(tzy>YhsrCil&wU!^JR+_?qOA~ccEbHE#=&fjs#HVu}(Vmy>6!!H07eVB9~ z*QuUWkshGG%1+gMKRR%$*n8vrjU%p)JD54vwK+oe_|ZvmQT7PSyLK1^W{j?>nv`d< zFY$MiS)T+0#gf4zp@)t+dTl(<^Qv)N^Prtbe*&?6=|DLM$|T&Z#~_)X!ii5ZiIL{$LyTfG?5` zLzzn>?G#o$%Qkc5wW`GHYow%^S2JdSKk};PGEZ3xKPG}`)A}{q*a|O47|tFVl48uw z@51&Bl}WAR=UseS>;O3ORRoe zN$qj`IsX$F18L>d;5_rMz)3TisT$uY>Lp+K#5h@TYbx(JozZJO)BNtShAyfjYftuA z>hq6L*@t`!TPel^KPP8S{2JfJ({q=8q`Yr@57H|MOH>Qsl=(K20Xck=nTGYlV+OYk zGP)|?(M*18D)Z$t=_T}9%goX+QWNO5$T4S=EkMTlWzV;gUtb)v%}&Z0Jl@4*aZ}vp zQunGJ0N9${Q%e&|h+Drxl%Oy>S*=0r|yU`_Vkh6FJ)e2Sef55YW;D-*W800Vmn{jN`T1d^gjF z?5{_*aw=osNAYd>kx9uYz>Ch5=5|rPQF@T2AYsgXWB6;-Ss+z)Uk(5L+mA`(fkfHq z`;()1a9$zN_DJRFp?Vxk&74<#RM6wNycivaWT}xk$7g72p6F&IG2(6Eai#`MF~0@K zs~hwd)zX`!>XLlIjn6L+4CGdeFau81*KoKE5ScDP832DR=Co){jBK=E=>J3PRK$_8``+qu=aEG#zQuN-~63O>@aQ)@<4Cd zm}4vlGZDlx^<}R#|FyjgBLS`My7dp$U3^5m<=p&ewrrz!`4W{`4)2Lx)_d z+ayp!G!yE3c+Z=AMR zx~@6cYfgfz+|)jF@%8gzT`5ts(>jT`7TcT$}|QAUJL>w#wo(1pt!f-`{@@ zZ41l!rd25wo@0=t?7AqI04Y^P&Yy{NP0^`H8(!g0X;=A>Vu9GXJKafJzIi}6%bBzE z@ID+&Iq787tUU15=90c9JHi?vKHYAlQtptZFxu?fk_n!5^bH)WC?@tDzxCv#!h!hD z3WwSKbqj>l3&qDBco@rIOW#Xf}Pg$5~ z7BFMgTq;7*J>g*26f9`>c)#4u^th+Fe*RnY)lh_BA}gz3wsM?V@dA&RVyEI&dM-&j zn9t((Pnub?v@*9$u1tt`We3D-h7rG+hQx)$=sj7s%PYP;2l0jo7;pUMoWAwZUj+0E zrXY3KhwNTicOyPF))y|d#y9oor$e0DsE5aHgWL5m*pZ#`(KIQ|cS?81Cr5|N2)C;z zPWbn@h8n@V^-^9J>%Iq_+HP_!E;1Jo1n;Ay_x;HiyRx%h&LMyvmx0=+%>bC^>6rzo z>tWsmIFL3w!xbwd)h>8fdi=^@&NS=G!z*c4H*5q+@NNpFiu7>~ zsq+H}ZmSoWr7B(dXEtQpU=Xw$U)MeaKMnlGj1P@8f*txZR2G3+Z2JMx$86rE;S6r( zN_3-9S@>vjNGU$2vRfN`Bd8d0`F2y7MN8v-M?Gb)gCq_B+vGAt`pFY_R*qPSb1*kF zan3b9zcSdGowK`g5&AY)w$=DqUW! zBCDyv`lGvrD5<^MFxSLl>lIfX2K#wgdb&SZAR|$t8O``K0wo6e`Gt1l1Mog>>;P`gt&KQ{FkrM5uXy{LM#A*a5x9h)N!gtH0L-mNQ znK6@HF+6?t;EI7HUV{&2cI)Tsv$ytNEDimD4H-;0kmniHI3hV?zY1Pb+sC)j@A$`a z?XS$s=4jh8<#hYHZ7U0GWmFBzu`!+5b*4~nl-lO^l%5t}pu{Dr5&s~a1(sOx@Q~rq z4l`oCvAy}~do{CuV{y;@K+A(x9l&^epyJE!0*MRq21+~11jh363v`W6wjqD-q6Gxb zc#?`~rP6jtu+NQW+Q-q`Hi`{9Zg*O{A&N!;0L*>m68d;}=Mu+g8a!Y8v+M!Z7W=p& z0FGNynIWyOmiC#N@bU`feCVXeWLQf!_7M$$Gn9b?_3z+}Cu0gzHvrV)H?gyF>Ej+C zfqyw)*Q1t|Iqy68((dDH0=WYx@= z;b#8?EDYY{$ZNrKWzp7^n(1i_JXvRITY{DU#-P#wn~Qp2+DL%VVb*gmrt5X z?9SSOMvYl}s7T~e4uK{C0IOw|->cbp6rUWw&A3);#vxJR3NeO`yO{ARJj39@2adJq z5vzu+p(2B@aEX*1d}3}Hs^^WSOcwQ!1&kj$@JV*epYyA^aBk90IX=RNyjSL z%4{fMfzN2>{k73dUPPg`Vz$_vnF7(@DnR>Jj16_JQ(2kXXIy+iZ3Kg2MB`zU+s5I> zg>t8#Asli3=R?`grV-A71@^`%%I6oJ;}O7uDoK&PM;ODIV~?>!8vV!R0pU)DdFeD{kI0upmKRG{M-A zx}A=yHnxo32RiyM5(_7pd5GALN-(gqBtJ;cew5{+$KmHb>E5qT?ZFo5{s*BIqN%X) z+v?-nQsnOWosn5lhSRPfyCLx2$E)TUo821eYgH31xUJ{;ouY1q6z>sN{VRVM_!u{t zowiaNFmTAor4;^<)37p34jZimkr6?%3YoU#*pf~YW=WtMST4#YPWX;0S3aa$4kqpU z>5RG{<+ZeE5jwe)&LHE+p{CPuoDzJ0nvcv*-_`O5De>k4glv`Z=D)>NcBm*i@2&Qv z|6$pyF9!J4Y={X-kajtw9?YlR-o^byf7(}y81@9b@p~U= zDOf`L9dU1)+BCA%LE+Mn6oZ-HRroSbVKc|sC!QYD-`@~H@)16hJZ1ozO7oe~$}`~{ z?;HnalADyLomd~`6t3D)%J}Te#|iB>k=snnL`YFb09_m7S~EZG?6_@n&Z&8RUSW8w zBme6>Nh#1`21t8Z3fE%v(yq;owwN@HTD6K;NHsQ@ysrU z=3~{-ZYz2Rv4yrt;Hyl5@aVmJ6t|*~>Jwz=v3b3_-LN2~O>$LkrJ(s!4_ypLPs{w# zOdZ<#Q<%sWR%he|X*b8T5yPG0P#ix_a$&9ZNCHB3*5tMJ#$j9WpwXtg?=3@jubV7B zI;|AvI;tDiu$y*;6ZQy54q7eO!!NDB*bzfZG2-`Uclr+97SoFxx1u0lf8Tcg-W1#; zjDl&J*wyCx*$z&gpeBRzv~8fi`-DE&PSJ8>=>n0*P-y@c$nX4NnW9n}zw;qw)D{ib z^g%ZmF5%fX&%HV_0I+*_vt=N&ko4-;jojxG9^1{dOM|VP{fT=M>2N){$SMtl;#Vw- zmsS!OvD8OKZSBLs!~`_jd7p`~se+}AmQy+&C^A~7Q;VdmRZd70<&-<~#z0?8HjcWE z_6G65lApKsDV8N`W{NLG8at~8)8x+TtVUN91UhS}rCQyMP>_5$ZN+9VLDTo6(f+Jk z@Osf0i`~6f1o(qJS?9wha@~Ag(7g#64CXpexzR`xY?Z99GpQ=@tsfTQCVv-{6UPb7 zkK-KkJu*}s)oRF?0GdS>GmL{h=Z6k%daMrQ?kuX?8g$Lw?~31}3H!W5$7fN~$Lp5K zSC!Gcm#^FzA)8E7WQ>q(wPbNVCW$}ZY@N7w+`MF*XbR((!3^k?@VeY9*Nv4?{&*GP&NN^Ky*UqsLN9Y@a_G1Rl-u$05==&cK{%#OY1c^4#zAU}J`rp!mf5>y<8 z(L)hee6gyx_|~V)CYNVE#6-PG`XCryuu`}$?z3)Uv^`=o3R&7*A%74aHA`-vtE4~?C&N{Ob0W!vak=DHkFwqL)A3fA`)@_p->$-2lbsJ3tX}vW zTo?$L?3x4s7&`;DPC5cw`}2hG>ZvCNq{7c?ceITEDz z{e9sx-4)&}vR}oG0OX(pMHLG9)a8LTTL$3Xe7a4QIfbAKuu#UDrJlC5qO)Do{Yr?t z#JI%#X2G-l`GcJBBdpjT<6i6ug*oDZ#G#0>-BI z4I`p3!9o1j`oT22H7bN&uy5+^9l}w(nT!N5_M+JPr>ROx;Wf`IW43h;v`JzgTci%& zs(^tU=Hd_Iip3Nj{lzjUJX2I=|FyZhRr21;55WC*zIe>?+VDDeUQ^HqzpY=(h@~82 zuqU+diucxg&t}YR-)IQ%{Z!2|kc8Q5BTe-5~c*IHw0Oz3@SC-+@wx(6)YL7y(m?giu^=0O5lP=G- z;*?1}6^NOzP@?RYygEN>q<6oD^?F)FeU-5~{CGmWoqbc;W%Y9#xg=oBYtD3WO>RL0 zW43&!e8v$NG55agWl_Vu^46pn{?4w{D;P~0Gb5*8{z5bl=9k?eWlE&+64q=G6M4T@ z-n?zCN938C6%FrT_f}giY7b(6X*yRc4%Yk0(mn#<&RTm5ow^+%AG^Ph!2Bu7GfSSe z(w#Nz(o9TEX2B+$aRYG)?dYqcx959pvz^fk8i?;(;o>E?5wbg4NVSGrN8l01+U;CU zY1yAcV00DhxR(p<1mD4xJM30n0)dP}k|D18klkYVvHxuuS$2#R(jfs-A2-bEeI%Zg zMg$H%MEmWaEc}4(6O>0ke7{YjI*SvbBhb)na?dB|i8&wiT69!v_s1ZY@Dy;&-bOO_ zcI=(3>;bMHm?4XZqx}^DG=Ld5DOr`82ep6FOy#Ltf0S={oR8H)_cRN1sJ(B1TL~1` z=UxJHy88{3-T%yjTR77Tz-3SWsTXhsE1v!J9O_a!nl#sQlqCx&A08}bbtNlGuh%zw z<@fLBR5bB6ve^B4#kL-#ZemqmNEt3R+cjM;*_!p{MdJq$yGoy)@ba6gT`QricE+S+ z5kp3|pxQ}aNohRR);xY4m6#voJhZnPaGaPgp$p9c(XVW!F6X=)HIJ8t8RyoFxwr4u zT=skBa`0~2oNYZkzxK%k6Ongfa~7aLq%~y~iPtS=QC`VzGG?#(RE_k{ZzYZu%dTZBe>*U_wL%}fzRjkCZ| zasa%FQ>~wzaGTVi?MR$nbD|4}Kcj?ZE(&&-)PL?;c1ns9jxe3wmC-Cj0h22UWaCb* zri-~WcE#r)&@*;dQ$zg|U(aq63Z|W&EZsmz>V+=9G(KJ^2`MIe-xP+^1~kwPXstLa z`^!K!6e%eBi{Fm5$-6{A<+MKk;lI@9$;}+UipCMZeLOAa;-`C`+Ff6qQI&2sDY;Pw z^DF_a`}v5ycN?p>u<&&1y$L<8xuMv1TM54rDv*=vxxeLoQFw16fu+9E4N3f~JCgVb zr|VK0OCN9UoA{Nrc@yQn7AE^ei(TJY66Crs)`l@>;q6o*G&I(E*P+!D*W~AZf&6HU ztLx_ZCR_t*uK5LXnkE6>81}8cT7*>ET^%TQV5;=aa=S}S~i(1 zfDx^9{xSsu>HUB}H;>8k`(Ws{A|d8u?Te`+f~FL}^rY)2j_Y43tq ze39J#Nkv|EEL$@u){jTo1!)H2MOc*|=Jp8&Kp$mt8^~B)_9i<)gN8CIo;BW!xd-?q z^sV)qHkN!A;qE3K%rVrYC65@aQ68cXg$YAFgw&e4&&?6}veIGVF68 zXO8|jdD2nG&MCW)gc49~ab1i5czbb3{K?+q91HC{8AVC@6z^R)fo0`YgT`k~Kw~fw zB#xRDBxOlM?u16WK)^@h$G*o^h4C{lgW{KiM3bBOuRS?ms+iKr`EscEq@RoLKl`~V z#;chy^+6N5FpDkM>~k*=`3`b+;HIEQ>FnVj5;?8@l<2(i^)doD<9;X7l>eo0ItQEv1@jZ^O0hOkqu!xJ0u*V`Z$Ip~8Nc&BX%%$LDred)3d{cEewHNpAia5cWfb zbHXx!2GB)jny&j7M>GvPppB)mX#tL@@vGjI#yvq*ONv1+NjP9$+Zwf|olVUq!GZ}n zHEWC>xI<0uIr3AD-t(Ut-5DnoCvYcA13UHMi}RYan}=AC#b7w7(8v8&e7dA7Tk;i4 z02h>1<2J_drKsTQ8_UGpH)>5a(RispsOB))#)o|FuP`+zY+Rr30cl$mxI%|z{;&n| zyss!GultoZink%x#+_!_Z6HoW8~=K0fEeJFO3qbrDJ8{yB~X0dGB7RQJR=`nKQ769 z#KZZE#=r8exMVnF&+UKu1TX)$59AJfaaSvhN6 zoY{R-?`hrRf-4%No^P#-`HLhU?hJ#N8+zFiFGNs?AM`XY{=)BNHw=`ZHx@r~nZ05G z=1F`y3;0xT;=TaKjJ?7}%&BC%Z_b#g z;sb!a-t$~@vEKMU+Pm^_DBHI!Axlb$$*#p~3rY4psSq+m45nTQqY*Ng>{KdQv%J}5 z-}7edyDTO9`m-+?Ov%2E<+}%cZ|fi5AK!Nz@9~Y}`GaTfd7j&SKhJet_jRAwc?RWk z8wajG3}NP3NO6`b4E(^onb^rPNU6&NXV5 zNkwE8A?*->6hhV8TO(9eu(TTbCcSutzg+}buKKtDCJwvZ6_eDX$#_Fr99$>96zk@@ zY=E$xq(ZcPH0;|4n3M}oZ^z2o_jn`?NSqE?94Dtq86RdT86y-$!$c=c9a*I2PGBgT zj?FBZV@Uhw4sft)Ko@PY{tiv^s?w&OO^z!GI8@Fv^2l~Wz)@hs!XlM0XX{cU5Hi(W z>Ic8-vtNdio-SJm!s|_WEhEnNxcXJU)fCZEZ-r_LJkWhF0B6$g^7NNasx8f4dW)sb z6}=vlHy>#W-j2$1VVLIEc5Aj$2Bp>$0z+@a^kR{52G1w1Vt6#;V5=gaID$IFV=tG$vllU-nY=8N=a5t%-?|ZQYD(9<@samm2z&%MNaM zDxkk+aq7VM-i$9TV>WdH=+TcKmJ9f$TOo)V>{6G07-I@m0@~JM&{Z!zl)Y^oDzy6c z)R^PwI9vXJSO_HhO7BIKy{jSSeenvps9vKz>|RunaavS?slY|!0sE*c(7`YyRa|C zRVi{BEE3w2dY@JcYLs1x_jd=r0{-p?K)2}FmI|uOF=+Cz9NzOz*(PHndVBL&&FtSD ziRSf-yV!>eZm$V7=>kM&aLH^F!0e=KuZo@;vnogsjnc}tG6=drirn%|@1&de?;!ig zdNUF~ax(lJp5af5lDUhcV-F_vsRzRR;dDHjUp>ZO>56QIa^%2EN9f(bEQztJMJMYf1TCQ<(?f=)0@n{b z5_JOH;VISiFc~f{p_>K=nSsm^UeIO@Js0_mZ*uZpVi3m)(_}-95M?lcgb~WHy>IoG zHyQ$fHAeIPT9vgvwZ)6&!U^N>vtyD%J{E|$Fxd`IA?QCNtLE#D)x3;85rqp`iM@

Zr6Iy*z}MGndrF_Mw;X356|*I0lxpf z|APR{l`D_AUkEBI-Pw543?0JPqSp==eS}KAF)pn)ppm=DfpcMFOOdmrwKAp3C7+qt z1nC(M$Ao$~V!V~MgEG)T=Rg++?@g4x>0ZUfB{P zY<*&=)9xY$XXmi8*tzPN;S&f(^DlpfEH4H9UA7yW8#SAK9~jK}uM?c_2fa{3WZQ7V zMBub^%To+uyg{RH3Do!i)ovY>t&aEdA_g&Yuc-CXc};=GbeM72!AiG76A_;T_}t_; zyp6K(HtO;_>tE8J*1rpeqB4pW)~QpRdBa}98*Apg%;ze-d#DhB548|E5AU*+dq`oN z#MgCb*RUi#pS9vsJq-eR3TkL`OOq~5%_-S@63C+*jP5PBtEUTJYLc0`QJ0XztJt&8 z!}ii{{(WGN9suleB!R9{3-M{mQ7$3xa@gK}`++t{dJy`R>KkoE|)m zP;P%cxE!|Dkd5FfP&Gb_>*&R#g6xFFO7J=-TwkqKaSrw6K_Bw`T1Z%FwONM@lE9l1 z-Yn8LX{K?5dd()rqbz!r+ylCsOCLM?9H0M^zeP7~*+LF}qf3l;$N}UxWLde{p*{el zMfda$D4R^NpULV-`4Sjt@vJZ)`+20pYk93M$zIj#+z?vki`gZ`E&TIrdZ;)6ZsxR{ zn~9N&$|_!ApD}Q}$Pyznv%a;set^UAR5Hh>Zh29ZhlA2^j56F+(IiP`Br}(p)u>Tr z^fk@xM@IX0DnG6OP0{b`U$9L#`bMfJO_usVkvXC!Qsmqda`}d-{>3wh0qbd;9WWTL z6}A;?@Zzb3r*Ith$7hm|O57ScFC64YqAc~dkKuqqRWC}e9%7EyqowCa#hS9L^~4j1 zoZ6#|itc2bd!K$p6o;mDS*?K#MhF@kIPb^skcolEd}G&gY~1cjsPB#~yIDc9RJi4o z>!&Iwd3NZA#P)DnTv((nGfHyev(C}wTN_Z%&2^Qu1|IGz2xZGDI&_upCT1Pd;(qr@E<`ru-b)T@X^H6nr02Hr8&wP0xmg z^;xNBmZ2B-9Uv?}E{dk>#>KcAD+@Kk6~Joqi%axdo|xlj1Ge%%W$~sZBI;)&6@5G3 z%Wjn@f;!rT#}x}?12Ps!8xT$*ZWk+xIZ*lVOO!Cqtbl<+;11f~~BE1~o&M zVLR`dg{KV(Dc3IbT3sb%<(>#UHuKnYI}iNEGcgP6L&Dg$*Y<2u`lT6IUUFpie+Gtj7zG3qg6mg&KSzx=UaqB*617rAvP4Dy5e<1`;n*lTD9O&0UoF<>=z4dv z;+b89RS6Y=m+0Q2m!AfN#$UVZPiY?G6We%hiI@~OR~>IZyQ&l3tKLlIHSf1?jjP^s zm2g#g8_%R6TjB@Vkii$2h}<3lOl{$NZaiKcEFct9pt&mCGU8DbgYttg3#n(c*%|}* zD#nBc@o~QRZ0%H1WF(w-{a{I(WyCF|(!e`qewA?7z|QH<*be+)acR32SS(%6t`-na z4}9d~m2dWWp^7FyofEd&-a6bMyq#1gV1P*Hhf}zY(G%7L{7=8noD|*c-{`Vz*`%Lr zRQ5Ud#O8AL=1bqy*1*ecMIL_4+#kKwWJTk6?wPUchf!dxrl-BPsmg>)-l##+^iJUo zDK`qS7zf`aZ1;#t#wPLwt$0EaF1ie26fD-?TmEI+)@wYES9{V%RPV5+E$*IBN}->< z&iJf2`=&L(c$$x9yi8@dv}xHdjEo(mw7=VX(bu-GN!}L@%;oW2b9vmn=AA25x?2rY|i z==)5^lA)Z{WXqeTy2Vk?CX$>`A5#v>rII0%kIkcl7yJFYoQrDE3r`;F1smSwjE&fv z97}ytWKnN&cR!k2cBATyCepaz@#P5ed@x%>n~U1nn;*(c!tYp*)u4J)8It0Sp$FPS zQSur97tJfJ?%ReHXktZvt{!5&@06fgv&^z1-JX|Au_HXlOid2cj=wwhgTLb%!)nx-;j|lL+%}bE4~o4q%1=*VCJT9< zUG%PcYHeT9)kez-sn3}9CIj8tu>+?X)|TryRD4tP*b*{JB>NmGB?*qJYB$Yoqf&#s zwjg5}-{BmzlFksbM&CM|=QIBqs(>le_VnGAIAKZq#%;mKx!sYmfB|}O@d|MGglNg??{2La@ zs9Cf|UJcwO@zSwuCH%Cpq%Gz){6O@Ktq1kiZ1VGxa0BZ$Q+e9$c{3RZ$PMdmt*1Mz z*F;z?%Zbn?36}~DC5&CV`my|!dy5svDhtCVnjBF~tGS zo1(jT2%M^iE!g%M-_y)RF(3OKyXuyks`c6FtmNodb;b``Sqd2wVT3(b?ZesXggsZj znb%4>=OPaP&e-4`dxNwy6aE>$<$p(V>mm{Q~eDPuEp6SEk_-KQixK zZEhxWWi5Z;mxAfM+`*zxcM55e0qVsNFmHm=-{NcHEk_8bmtBFMat*Z$M1of$D=(3i zmq?{daDx9jDrF+Nm^f)fbTN@>{@=hfpFdr@**)ae4xpt;kco1oPCmV)FO3oHVqkR? zh@ReDnOf$KCNM`|g+w`1N9iWp_by4G69(M(6XL;L&St@|kf#?s0DJ%LYQj&O*QPho zys!4e)AIyOF<|-;{rKZn-wI&PoNS9zf+iG24MZA5Jy6B{<-iQ@^C94<9I~pCBHBQX z*}`k7TQl+Li_3h%_8?w-FR)ukX!R)cl}VV8e?bu^8(3%b?WGVgjLAmN@{p`SSM~#T zf5K*$(obn_%}B`?4+dQHp6Pt0Vv)i|odWQL2HlJ+QBDha!aBF!G(zia=C5$of`pnv z;Vv?}F0%z{_j!K&h#n*Xfbp#N7UIcWqq%CWdA>?VEeI%XkTOKn|CB@m)T_z#S-7hN z=E2N(M*@tbGu2qu_bV}m(*!^{h5*J9EIU$gUf>Q1|ta;z92;{kxP5eyxBG#LuP3lvI5}*%`Tk0|r zKc!wKbIz)QAWC5SHF+5Lt6N%Sj$0CL8FsqOL*Z|#g5eq4oqO`Za=HPJb!hDD=2@!| zYIjGVxnQ!l4dt%Zn&b20vY|`BAy7bRv;!i|D;A|_1X2lxr@ykyd;P;QPn4VhXypGd zk`u%@i5Mpl<0N97^lylh{%>WJ%4}HZ$O#2mK%~e+dBs;e%X`L>>o$wf88RS*bUGSj zQi9x*1_$#6hc9 zYe4a}kwWhm{n_c{1u_C47Djguqu<@HAGGqp0%Gd(EQb4j>hkVCL3soW0oiHm zCkikU3VXuv{_3!$2d%;n69cuBW~n_iK9`dxO;b%bUZ#^d1G9S@~MFEu|-Vee1Q|Ng}qVx2p{4b-J~n*DQLA(nI4oIfLF|BvV0 zD~u{y?PC;32$%h)y*r7Ar+a+n>sN<jP?3Fi{hgi={}JMheEX~tA1&fL^34bktrpSze(RWseuU`RzZn5yh(e6DzKueO e(eM9u7*ApAZ8H??P>du2KPt)^7qc$h^!zV>cbD}5 From a7b5c043be26da0369d197a9a95213a6c11792b3 Mon Sep 17 00:00:00 2001 From: Rebecca Dimock Date: Fri, 26 Jan 2024 09:41:20 -0600 Subject: [PATCH 2/2] error mitigation changes --- docs/run/configure-error-mitigation.mdx | 111 +++++++++++++++++++++++- 1 file changed, 107 insertions(+), 4 deletions(-) diff --git a/docs/run/configure-error-mitigation.mdx b/docs/run/configure-error-mitigation.mdx index 94e8761c3b1..c5ef1f86b66 100644 --- a/docs/run/configure-error-mitigation.mdx +++ b/docs/run/configure-error-mitigation.mdx @@ -15,6 +15,8 @@ The error mitigation techniques built in to primitives are advanced resilience options. To specify these options, use the `resilience_level` option when submitting your job. +Sampler V2 does not support specifying resilience levels. + The resilience level specifies how much resilience to build against errors. Higher levels generate more accurate results, at the expense of longer processing times. Resilience levels can be used to configure the @@ -38,13 +40,24 @@ apply vary based whether you are sampling a distribution or generating expectation values. + +Resilience levels in Estimator V2: + +| Resilience Level | Definition | Technique | +|------------------|-------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------| +| 0 | No mitigation | None | +| 1 [Default] | Minimal mitigation costs: Mitigate error associated with readout errors | Twirled Readout Error eXtinction (TREX) measurement twirling | +| 2 | Medium mitigation costs. Typically reduces bias in estimators, but is not guaranteed to be zero-bias. | Level 1 + Zero Noise Extrapolation (ZNE) and TREX gate twirling | + + +Resilience levels in V1 primitives: | Resilience Level | Definition | Estimator | Sampler | |------------------|-------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------|----------------------------------------| | 0 | No mitigation | None | None | | 1 [Default] | Minimal mitigation costs: Mitigate error associated with readout errors | Twirled Readout Error eXtinction (TREX) | Matrix-free Measurement Mitigation (M3)| | 2 | Medium mitigation costs. Typically reduces bias in estimators, but is not guaranteed to be zero-bias. | Zero Noise Extrapolation (ZNE) | - | -| 3 | Heavy mitigation with layer sampling. Theoretically expected to deliver zero-bias estimators. | Probabilistic Error Cancellation (PEC) | - | +| 3 | Heavy mitigation with layer sampling. Theoretically expected to deliver zero-bias estimators. | Probabilistic Error Cancellation (PEC) | - | @@ -65,7 +78,95 @@ applied at each resilience level. runtime warning. For more information visit the [Q-CTRL documentation](https://docs.q-ctrl.com/q-ctrl-embedded). -## Configure the Estimator with resilience levels +## Configure Estimator V2 with resilience levels + +You can use resiliance levels to specify error mitigation techniques, or you can set custom techniques individually as described in [Custom error settings with Estimator V2.](advanced-error) + +

+Resilience Level 0 + +No error mitigation is applied to the user program. + + +
+ + +
+Resilience Level 1 + +Level 1 applies **readout error mitigation** and **measurement twirling** by applying a model-free technique known +as Twirled Readout Error eXtinction (TREX). It reduces measurement error +by diagonalizing the noise channel associated with measurement by +randomly flipping qubits through X gates immediately before measurement. A +rescaling term from the diagonal noise channel is learned by +benchmarking random circuits initialized in the zero state. This allows +the service to remove bias from expectation values that result from +readout noise. This approach is described further in [Model-free +readout-error mitigation for quantum expectation +values](https://arxiv.org/abs/2012.09738). + +
+ + +
+Resilience Level 2 + +Level 2 applies the **error mitigation techniques included in level 1** and also applies **gate twirling** and uses the **Zero Noise Extrapolation method (ZNE)**. Zne computes an +expectation value of the observable for different noise factors +(amplification stage) and then uses the measured expectation values to +infer the ideal expectation value at the zero-noise limit (extrapolation +stage). This approach tends to reduce errors in expectation values, but +is not guaranteed to produce an unbiased result. + + +![This image shows a graph. The x-axis is labeled Noise amplification factor. The y-axis is labeled Expectation value. An upward sloping line is labeled Mitigated value. Points near the line are noise-amplified values. There is a horizontal line just above the X-axis labeled Exact value. ](/images/optimize/resiliance-2.png "Illustration of the ZNE method") + +The overhead of this method scales with the number of noise factors. The +default settings sample the expectation value at three noise factors, +leading to a roughly 3x overhead when employing this resilience level. + +In Level 2, the TREX method randomly flips qubits through X gates immediately before measurement, +and flips the corresponding measured bit if an X gate was applied. This approach is described further in [Model-free +readout-error mitigation for quantum expectation +values](https://arxiv.org/abs/2012.09738). + + +
+ + +### Example + +The `EstimatorV2` interface lets users seamlessly work with the variety of +error mitigation methods to reduce error in expectation values of +observables. The following code uses Zero Noise Extrapolation by simply +setting `resilience_level 2`. + +```python +from qiskit_ibm_runtime import QiskitRuntimeService, Estimator, Options + +service = QiskitRuntimeService() +options = Options() +options.resilience_level = 2 +options.optimization_level = 3 +backend = service.backend("ibmq_qasm_simulator") + +estimator = Estimator(options=options, backend=backend) +job = estimator.run(circuits=[psi1], observables=[H1], parameter_values=[theta1]) +psi1_H1 = job.result() +``` + + + +As you increase the resilience level, you will be able to use additional methods to improve the accuracy of your result. However, because the methods become more advanced with each level, they require additional sampling overhead (time) to generate more accurate expectation values. Note that higher resilience levels do not guarantee better quality. Higher levels only mean greater overhead. Each method has its strengths and weaknesses. For example, TREX (Twirled Readout Error eXtinction) is good for shallow circuits because of its readout error mitigation, whereas ZNE (Zero Noise Extrapolation) is good for deeper circuits. PEC can mitigate arbitrary errors but may not work in practice because of its large overhead. + + + +## Custom error settings with Estimator V2 + +With Estimator V2, you can turn on and off individual error mitigation and suppression methods, including dynamical decoupling, gate and measurement twirling, measurement error mitigation, and ZNE. + + +## Configure Estimator (V1) with resilience levels
@@ -208,7 +309,7 @@ problems.
-## Example +### Example The Estimator interface lets users seamlessly work with the variety of error mitigation methods to reduce error in expectation values of @@ -234,7 +335,9 @@ psi1_H1 = job.result() As you increase the resilience level, you will be able to use additional methods to improve the accuracy of your result. However, because the methods become more advanced with each level, they require additional sampling overhead (time) to generate more accurate expectation values. Note that higher resilience levels do not guarantee better quality. Higher levels only mean greater overhead. Each method has its strengths and weaknesses. For example, TREX (Twirled Readout Error eXtinction) is good for shallow circuits because of its readout error mitigation, whereas ZNE (Zero Noise Extrapolation) is good for deeper circuits. PEC can mitigate arbitrary errors but may not work in practice because of its large overhead. -## Configure Sampler with resilience levels +## Configure Sampler (V1) with resilience levels + +Sampler V2 does not support specifying resilience levels. The Sampler default resilience setting (level 1) enables readout error mitigation to allow users to generate mitigated quasi-probability