From 8912c60a45c3197fbf6a7292510c44a0f20b5736 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20H=C3=B6ller?= Date: Fri, 2 Feb 2024 10:04:14 +0100 Subject: [PATCH] updated rddps page --- content/program/workshops/rddps.md | 50 +++++++++++++---------------- static/img/tuples.png | Bin 0 -> 55815 bytes 2 files changed, 22 insertions(+), 28 deletions(-) create mode 100644 static/img/tuples.png diff --git a/content/program/workshops/rddps.md b/content/program/workshops/rddps.md index 9e65127..881348a 100644 --- a/content/program/workshops/rddps.md +++ b/content/program/workshops/rddps.md @@ -1,18 +1,18 @@ --- title: "RDDPS" -date: 2023-02-03T23:10:17+01:00 +date: 2024-02-02T08:33:17+01:00 draft: false --- # Workshop on Reliable Data-Driven Planning and Scheduling ICAPS'23 Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS) \ -Prague, Czech Republic \ -July 9-10, 2023 +Banff, Alberta, Canada \ +June 2-3, 2024 ## Aim and Scope of the Workshop -Data-driven AI is the dominating trend in AI at this time. From a planning and scheduling perspective – and for sequential decision making in general – this is manifested in two major kinds of technical artifacts that are rapidly gaining importance. The first are planning models that are (partially) learned from data (e.g., a weather forecast in a model of flight actions). The second are action-decision components learned from data, in particular, action policies or planning-control knowledge for making decisions in dynamic environments (e.g., manufacturing processes under resource-availability and job-length fluctuations). Given the nature of such data-driven artifacts, reliability is a key concern, prominently including safety, robustness, and fairness in various forms, but possibly other concerns as well. Arguably, this is one of the grand challenges in AI for the foreseeable future. +Data-driven AI is the dominating trend in AI at this time. From a planning and scheduling perspective – and for sequential decision making in general – this is manifested in two major kinds of technical artifacts that are rapidly gaining importance. The first are planning models that are (partially) learned from data (e.g., a weather forecast in a model of flight actions). The second are action-decision components learned from data, in particular, action policies or planning-control knowledge for making decisions in dynamic environments (e.g., manufacturing processes under resource-availability and job-length fluctuations). Given the nature of such data-driven artifacts, reliability is a key concern, prominently including safety, robustness, and fairness in various forms, but possibly other concerns as well. Arguably, this is one of the grand challenges in AI for the foreseeable future. ## Topics of Interest @@ -28,19 +28,19 @@ Given this, the workshop welcomes contributions to any topic that roughly falls ## Important Dates - - Submission Deadline: ~~March 24, 2023~~ **March 31, 2023 (AoE)** - - Author Notification: April 28, 2023 - - Camera-Ready Deadline: June 10, 2023 (AoE) - - ICAPS 2023 Workshops: July 9-10, 2023 + - Submission Deadline: March 29, 2024 (AoE) + - Author Notification: April 29, 2024 + - Camera-Ready Deadline: May 15, 2024 (AoE) + - ICAPS 2024 Workshops: June 2-3, 2024 ## Submission Details -All papers must be formatted according to the [AAAI formatting guidelines](https://www.aaai.org/Publications/Templates/AuthorKit23.zip). Submitted papers should be *anonymous* for double-blind reviewing. Paper submission is via [EasyChair](https://easychair.org/conferences/?conf=rddps23). +All papers must be formatted like at the main conference [(ICAPS author kit)](https://icaps24.icaps-conference.org/files/icaps-author-kit.zip). Submitted papers should be *anonymous* for double-blind reviewing. Paper submission is via [EasyChair](https://easychair.org/conferences/?conf=rddps24). We call for two kinds of submissions: Technical papers, of length up to 8 pages plus references. The workshop is meant to be an open and inclusive forum, and we encourage papers that report on work in progress. -Position papers, of length up to 4 pages plus references. Given that reliability of data-driven planning and scheduling is rather new at ICAPS, we encourage authors to submit positions on what they believe are important challenges, questions to be considered, approaches that may be promising. We will include any position relevant to discussing the workshop topic. We expect to group position paper presentations into a dedicated session, followed by a panel discussion. +Position papers, of length up to 4 pages plus references. Given that reliability of data-driven planning and scheduling is rather new at ICAPS, we encourage authors to submit positions on what they believe are important challenges, questions to be considered, approaches that may be promising. We will include any position relevant to discussing the workshop topic. We expect to group position paper presentations into a dedicated session, followed by an open discussion. Every submission will be reviewed by members of the program committee according to the usual criteria such as relevance to the workshop, significance of the contribution, and technical quality. @@ -49,36 +49,30 @@ At least one author of each accepted paper must attend the workshop in order to ### Policy on Previously Published Materials -Please do not submit papers that are already accepted for the ICAPS main conference. All other submissions, e.g. papers under review for IJCAI'23, are welcome. Authors submitting papers rejected from the ICAPS main conference, please ensure you do your utmost to address the comments given by ICAPS reviewers. Also, it is your responsibility to ensure that other venues your work is submitted to allow for papers to be already published in "informal" ways (e.g. on proceedings or websites without associated ISSN/ISBN). +Please do not submit papers that are already accepted for the ICAPS main conference. All other submissions, e.g. papers under review for IJCAI'24, are welcome. Authors submitting papers rejected from the ICAPS main conference, please ensure you do your utmost to address the comments given by ICAPS reviewers. Also, it is your responsibility to ensure that other venues your work is submitted to allow for papers to be already published in "informal" ways (e.g. on proceedings or websites without associated ISSN/ISBN). -## Workshop Committee +## Organizing Committee -Organizing and Program Committee: - - - Sara Bernardini, Royal Holloway University of London, UK - - Jesse Davis, KU Leuven, Belgium - - Alan Fern, Oregon State University, USA - Daniel Höller, Saarland University, Germany + - Timo P. Gros, German Research Center for Artificial Intelligence, Germany + - Marcel Steinmetz, University of Toulouse, France + - Eyal Weiss, Bar-Ilan University, Israel - Jörg Hoffmann, Saarland University, Germany - - Michael Katz, IBM Research, USA - - Michele Lombardi, DISI, University of Bologna, Italy - - Scott Sanner, University of Toronto, Canada - - Marcel Steinmetz, Saarland University, Germany - Sylvie Thiebaux, University of Toulouse, France, and Australian National University, Australia - - Eyal Weiss, Bar-Ilan University, Israel +## Program Committee + +TBA ## List of Accepted Papers - - Argaman Mordoch, Roni Stern, Enrico Scala and Brendan Juba: **Safe Learning of PDDL Domains with Conditional Effects** - - Xandra Schuler, Jan Eisenhut, Daniel Höller, Daniel Fišer and Joerg Hoffmann: **Action Policy Testing with Heuristic-Based Bias Functions** - - Yuta Takata and Alex Fukunaga: **Plausibility-Based Heuristics for Latent Space Classical Planning** - - Marcel Vinzent, Min Wu, Haoze Wu and Joerg Hoffmann: **Policy-Specific Abstraction Predicate Selection in Neural Policy Safety Verification** - - Eyal Weiss, Ariel Felner and Gal Kaminka: **A Generalization of the Shortest Path Problem to Graphs with Multiple Edge-Cost Estimates** +TBA ## Workshop Schedule -TBD +TBA +## Affiliated Projects +tuples.ai diff --git a/static/img/tuples.png b/static/img/tuples.png new file mode 100644 index 0000000000000000000000000000000000000000..844d36180b7d3417ead1fb6b5d1cfa3fc310e1eb GIT binary patch literal 55815 zcmeFZS5#AN*EX8aJA%?AfJhTWnn;3RP*J)f9i&Q;CM0wa0#OlEno?}2pok!$D!oRk zqDYe>EmY~f6Ux3%P#bNDB@F zeef0QhkJzneuoV&FoF~R{TQErK>g3xRH}=Je}Bw%X!PH&nfOEW|9n4B8xGx$@{u}L z5C7-uHMlU_KVR`okTCv!{Ea#6VjddWoy_Z z!GlYw+0^8vcW6>cEX_nIz3LZr(9K;u*qyEk<%;-=c%+2u;orBj z5?8(!QGKXi(s+2|u6RA$jzRcGn5G2mNo9Zax$?;`VG+#M;`k@gev@asvTJ_3%#E)& z6>kz+I@2Q5Z!X9D+!hEg0owPbk8Ij6eZOeET33RpJpm(fqt3oQcOqTYC9FEQH+Rc^ zu6DOdKQBm$)EZ_p6S7~t_dK|>dUIiSuD;dinj}D8=J$Aq8944u!!)J++QYb*T=gPF zo8^AA^@o>)z{UQJ>_8h6>7mHy0kcCMM zWf1;Rac@Ji;JH?@pXs3eS@Za+qs-WBPMEgoxu8(WYDh2Nv%v$Vy@9>^n?tcSZBf{! z$#kK)z%H;Pvn3oU4lQ|z8X;^iCoudVT}J5_T8xgz^kelC0kK!NGpnCum(&3L4H!*5 z<)r)6{$z&#cMxS^>F#2Upbk1Ef91l0Xq&Fsw9em~9+_hk+rPgNvdq{lFM%tXCeorV zp0_iaH?r?Io>MLVDeJXsN_>ut4at|CvPeSgRcD^JG23BkFJ4wmqCM0?{lRg=IHp|G z1+sjJX8^z^#@h#`)uX-`b|G~HWircfI;i#O=3~DJ1+b>T^_VXM?uGh{>Xg+UDwTRI z7qoUM<+_KqpxxD~Jqf;*F4O{;lGVgvPk^Y2oc4GTMuuo((uo8v#b&lb{cl6_r=((8 zH;+&uZXDycuHMmjMFXuhR|f7=XV`rDOH9mjv#Blb{dT&u)o0aIf(q_UGP+9usU3cK z_0UK&Qx~$?TlisnfJ4V<1o-ZP7rEL}EX0m=%xlcTSjE1FKR#2U|1bes6o1YS-0qrA zP+zD^lDEpAJF$}PaL~C%;T=Bw$`#`s zqMH1ynb4y!^5~SWe~m}did9#P%4XM_6gBB9;OVnULuj!=p>KT|(F@zx!ISYTIXs?W z_h$IblJ#F%F7A$Qe5Xf!N^&AoiX4A~45#MGmBw?(?VmWGQ2!Or);u_6q3Z=Z8V|kh zeuOo}kKC0ue|%rG)+U!@*xYtK#<8mITnr8BX;yW+vIZ(aKYW^xxs#zOXF;h@&cvw>V?X^q(hw|)0i?K+Yt~+zp=6(!xEWC$AWdWD*2%ZbrVSWj) zol7hqs1XIfE+3ejcrPyyf1>U|?HMYBm-g>&cb61}g5vBQ4OGcb`C8ZTSrza1wD6cX}lK-@-xF?sn4LQHi{Gm}W1<_43aE*NfAYT+L!jDRsA0=VB|R19rHf!GaBc z@WmJJpun5|b3;$iV(CwI^+x3!+$%)SkwFsE#Y&Yk=3`as#4|1?>lu2aoaI>>x zB&9OWO809vHM&oo3k(|nnj3_gt_%50AaoUjWkp(RdyB{{BtZ zImgoETZ^u8$A4HK8D^;a_TwS>u)c^&ROwYn?5Q?Dc99+o!$u{pC-(w@rMi)1sjPbR zt(0N@CM;OR`2)X5bm$venjJ31hzoZ=@W^Nl2{2+62OZTB6;|DM@#>xWvf=BI1GRQJ zR}OcpnE#5D6baV9$1$S%GOAtl6(<$q3JccCy55&|S+Uk)t(#9q0^0c6Yv7~6Lu6@C z#eJ)|8W{Gl6fhy5munw!ESPY~!#T>el@FPYelOPlR@_1`V(BJ{IwbV7#~#UwWa*aY z94bZpt_7I^5Ffw{K^QJLJ@m}bW`TSepA6|gqkaaG&Ic-lymr1_e|C;$`6TDTXFa^g z$E!~~&)MJ{Zh1fvQj8W_*7?)Cr1mt>~Q@XoI{9WT5< z@j#no*0oR1g<2MkJhA+Ay1H+Z8HN$L@ZP%Br|CIHt3Bik4T5!i}H?g*@*%Wev(PA{DpRMuEJ2CB_0I{H2=&em}a0}9!_Utp)U&)ohv(ccJ4+4OjAjO z86)a5W)D4zSMdgE?z+x)-#W=vwzc)@&^)kPKXA6x+wzqL_RsCIb~L6V57kz-^*MN* zNJaiv)N*usbQvVkK)gc|OzYFkL@Ndx-EO9hPurA|k$hw1ou^?+(bKKo_UT(TuSa}( zf+k(lsoX{D;pe;ljnBGt)EYyq!VeW#X!K|h|6eH6Y4;GgudlCq7qa6s!|aa@Q;ocU z>f6xK?LO0>HX3JvS0I5`*u4f`k!i|3%n&z*>_Ur)pX!+57a<&FJTeZCMV-#`Y$r*- zx{~>Zqp{ova~&rF$-?XYlYPdC)1&dD1EtSPH@1|ZW%J>{tjOt!X6cFg)}*Q>dy*_H zI~io9u7@KroMSY)CZrQV4~`XXm?N0JQXzg9JHVq$-`|>Dp5fnX`Gl$)r8u(LrxQeu zh=do1HznR^_;XWHQeD0WIPuRokWeln@^6B~X)N|n=7h)26&&0JapFDmD3dr9TQVjk zzN+8S7{R|FNrS3AuT)+9!mU`mAu2B=pF@T7PZ9sqW>hH+9vjszO!V(Sk(8qT*SV4CyuM$obTrYgb} zDul&)jDmMjb2Cs>5*4(JyYF8BB}ps@s8$9ZRRKIo3GyfvE^5R#hs`G&k`{8u!Wk~! ziIX;$8<3)->fm~R=WgYWhJPY<=5QA>K0vdMzp6|)kE7LNd@f!$0pTH)%6U~J`3bGl z=zzlQDl=tD1h;$L$Aq9lkhQtkdJlobxKQ8NpAo(x5@qQf9m(_*6adc>F;!SHzcHz_ zFJyG!_9RbcwN1FMY=-6JugRv1guh&6=B9#fbl#p1;cglF956b*`Q0D&tgo~ZE zUytDws??_izRKhH7B4NzvEdy9)BGXjXen!i6R}vt>Wjc*)3Y$Xkf&Bvi}=)?5zJO9 z(;PARY8RfC{Sl|*-wFu^KMNvOuZDUbVP&A-QQqxN|7J`>s}tdzccr9X+jnVAF5hn4Vj6XN1-)m4U}rZ2}Z^=_FV0 zF(3oa%PbVVy(_P)g=xCX7od*F2}+sg?m!9o-vZ=1?{KLrIZ^J_50)NOP!bL5cHU@w zt+LamRJO~7;XkA1zg3{ci7}N&hI`$q5cxNN(cZH97j}HJBYv$A7B$eIg8ydXrbB$V zE9UyxPIdQ5^-FV0Q=G^v%Sql5#oBcN<&L}f=3aCy0sAe1t0Bs|cIFuacDzEHo{}-d zK*{=teMzXyCin_Cy&O2bk`$=7G^bs^GtV1!o8TOLDX{S*9qJRGMWDzFexB1-uIA=v zgU8(^Z&9La_V|?VMrGnk8KJnRTIFA319%x9^8mOl&>L{uy+aqD^IQ*>W}{vEbH%un zm)S0x)AM<@UP0!L1|R$1S`2_M)>!!+DMsv?O@mm2kIsULdHY>rOGCk^%1ARL4cN)E zAljZv4;d++KWBm(=7wUeKS;-_S}9CeX+9R-AY`~`v(~X=%+%S2I1v?41YHC6feAD4 zx>cI-g|jY5ae68u3-jKYqx;2tPPEP9Zs^3MvBpKoZ@a#f+sI9T+vF#%tk)mesDt7~ z-hg|rDv(PzBp2sNkyEmtn%RUe$#D%o(2gqHY5ba{K}8#c7y0?)E=?Uw6P0}JoCv7G zhYEKzdi{DK3-FJt1z`$>lo8Lxwf7kC9b9jI#^+3N)G+`EH+3Zi2aG^kg6dY{bqKPu z4?P2bZd85iOZfPp;*rO+s81eERJ;&?9_vExBs+OUG{9q}d7tDu8sJ3$7?)VkSB;sI z_AJ5asAh2H>4i|J18I!laOvdj`KrzIL>>sf6hq$R0LjZgCF}WPRhQPgaFNA`$Cu2% zTq53Boj3Xv5FGW$q3+y$m?rO6jUHe~Z#0TWr^&uWDJX7J()+Z%-_!ixhmepi?4E$E zy8Cu7gZV>&kjdC1#(6|Tlax2~o z#ES%avu8&@NP43=vAv69hz!k z4T=f$6mfoL^>Wdjz@VC(d=QO~oTfFG@FJv^EBzVoRVaAjx(9z!s}(yP@N|{q0Ehvvu1#Bd@|4HIDRL=wPaGag zdjqd}?J+%S^oO*T9EkLv8M{u`ng=Yz|Mzk?`N@4`JaCh`q=@_JpEawW>Ku5Fj}2~* zJpNrqv1*<|gB$e}Y_@Gl`~d6#D+y})kR`MUE=@YHSMdKQ3d>)I+k5>_Fe%Rm$h~Jr zS|!WOZd_)jLh>{{TFmAg{#vc1akGIM+K5=)sc}Erj(tEFL`U=k;4*i%jqxIAFa3KU zsC>}>{rUWPZaVYyznH@Hft~Nfy?MM^YTvAp`o_V{!*mQwQDkzCVi!}A(RRG#+^(GvxuC`n8fNN=3IU)?>f0RRx<6Au+` zBJk2;!Mth!Z=>j?*|3gZ9{7qy0fr3qLfI>9)YZ}1t76`0R5>Zo=_w2LJuo_rZVEM( z=nMd^6&+{oIcyWKw+&+!tZ3X|hLm`{#Dc4w-T2@dJeZq7%j~f@d<77R2DKj}4_(;s zqPzxn7#6`nSLUC$D>3Zlh@Hd5PHjUC3#dF#ny#Pn#ZP>l*>`D}oH< zH)a3M0zk5yD*!S3o?$ajHJw%nL`f;JQI`N7!LC(tSuzmVh`}J_#UMqu@q+TLC&{D2 z?a;CR&D8Pwe>E-1{hx{LZ%{&4E{K48);{w*dvf4jK^2tbh;KS%(n3kk42O~ohYAl) z-RpTlKd(7m8Jch30B9^qLn2tzlmz)UupeN#RtU+{2kwI319Oo~hNuTaP&w zQEXCycjUxLQ<9e1S?{ag3^em_lb^9c39Z~X9K|T#s8H&$kmALjx5pQCCG+|K$6SL! z8ZeGg5_`v9;1Thpl`)8am17z>E6j#J$MF{vKVk%!SXC+|GhS{Ve~to)wekNzVvz8+ z7hD3-Kl2)!=FF)Ka)UR#+-#%q%^~0 z2tBtm9Xd&a@=V9+6n~NyO^DvqKOP%dSMT>{BxdO3J9r*hKEsWBm{7(sW`+yWABn}JEctHIW3rwKbuTRLsqJaE5)GMx^ z(_yoC{y0RNpaUt8O6IHJCuiY@`Ol_dO}6By-;*Wr7b#?9FSXREfj65T*s%ts!V^%D z!9#aP1wa_Nwx?Xoeb^?|wq-~Dj%I*1j5T>bK7R~6)gbzz6yw-miZaSya5e0jDl3L^ z*8KQlrY4EpzQ(=YeNS?_9Szo+-T}7==M4arOk0HVo34#}7yzqzlNh)Zb=0!uxgd5@ zsSiEz>|mw8m7p&PDA!vZUq+Tsrnd&$Ak{($Zc?ypC|{XAa7eRxW=LVB%jzZ>1~`*Y zu-uW|ImdnKMYGj7r7ydc5khzeyvRcxJz5kUkg3#>4)eD=8Wze#d7Wj!@SYU zh2H$znn#D9x87bOG|2*ghd#NBW$q>ZtIqJ65TF8cJheFzSmK%KaOF@NouDwwo}%q* zUyie5t#Ex-bf|J4nMpBt?0#`wK=M%k{DEVz%pO7$pfkSNpSO0YDQxrbS>qA&itWYy zFz0>g^MTa8N1z1(9)A(Z2D(z!{cA-nS(xz5`ga?WSEgxC?{py}3Sur?a{w4tj#yy0 z9<%WA$H8QK-u_Nc*59d`?4Ls4a$1q;iQv)%Yh~fot2N`*uxt|WoqogS1Q1FR44b12 zo2&eUM47SmdY2T6_10r9gF8EBlY^X{rmj1Z6S15%*A~CO5 zj3-!!ive?#e*xloC%+B&nNE~?krQuTz&pIykgO|Mu<-0td}=a>~Gc)}W0 z`T3lKR%iIxX;Jw8_nh>^h}Qu0xD&j8gxT${h-+2=*(+FFNR!U3Za+u~p}nHuUzUwh zGR38Zjejp{A$X~>R!|O;IyvR5gxTKvYEo9bxq9daxL4FEYqk6a<55_tm`6%w&CpXD z%WqCOj{s9|ydEP;F)Y>1+jD-bUen36U4IT2uGaL6X1}hz(q}VAfDunjd+chfQbe{GpkA9W+Mk$AVj-^1y?T`?-(C9Y z6lYCaO>*M5$Cp0qkpW~J+W`s`CAPb+a~8)r%pVMqlOzrr)Xq~*(a3l_djX`|^QV9z zFSLObDzobKD^8XsZAe!2Hky+Y^8v$pxbCQMO*^aGnvJODLy!VDu4hr6eh)JFs{c@m zeu$f6_p-OL39DE6{)cPT#!Ij`P;?+CM=9Z8}nFtF!&1$b4!Ns9+xaSZZx>@t{#v ze(x;ZG0)F99YZyT7c>0HzzS5V{0XgL+n*17NjiU!(FB? zxAwoaO2)kWb6nt61AlQUt{IzMV!}`J0dfp31ClkIn{N@GmpF)RaP?R~OKn^Z)`5?EUJzbtu&zn4jfn&A|w!O6tn? zVEla{nN<#XQLjA^s9CVSjTiMq$4`C$9k#N#7%4z;tGP@Frv_EHZk9|!l{tWF`IjO2Uh7Pp zEbzWuQ+xT_U3Q++>Ynx>@YF4c-`hDF)t8|Numu;;bOSP1>lGy{lIs^QrDfcpvHK34 z^F|jH(-Z&P;H5~T*ZLv?M|uT9HftKp z5{QK-;*`zqM<8MJBDpUayp z-5qErRCm8L0W{Y?Mu|afNJ}tJuo&J4ReIoKC$wcfm6TV@K;(u@%{xq<{A~456B%IT zhw#{+z3V^)Rfn&q4|s!gfIh(f6;7SV=Jq`y(C4tZZ-74qc#r(UFL~r^3Vs6xnh{F$ zEsA$EUbv+w@VcQ{lmEK?V_*f;o2&6s2;xuB7wLsxIlX(quXEmrt_%56(Xb#Dr(;NvH3n|{8!LllJgS|>h_#0E95k)xuFVq~#z-W54f&NrR!$Qex94ZTenv!sLNrb{bBHyZJfj zGp+)|Ii`t5vtSDy!d8X$`6p3d)ND$6fV-#niC`~UR{ zdBZS=n0cey@YtvSh$U)w;d7!lfVxsFRC5dfnF_4b?Dy-Fo_18m4PG(Dq;%-fpyKzX zqy4+HXuU!6tQ=K7lvVuoIuns11yLKF(wrPXqG^Yp z`8>Oo65oK7agHd|P)dxB14aL2+WTYBZHb;8I<&p6(19~fiIgk=9|E)y?%|m;G9)Wd zRz=@r`RRn68;YJ=f_@#=zgQ4#J`}+Lj;ZS@PW&0fGs@+<_0HFb$18i&f<+@dRU;ub zH)lsfHRe{svsvSZ6gRd*eyoSjDT3R*?hM(2D>47K=@u@4y{#k9NrV0vp}IY}-L_*d z{|K}dett3_MQHyqhg|^RYUbVqn7xgZE{32+GT_b4=8ZmVV);0~nI3}r^@oNTf~mno zJpv)928Omur>R~FRpYqm;CMT0Qn1=?>~th%uSn(BWGAjh0wl`)u*3PCkhFdrpbyM2 zp%dR0*RM*^@N3laJN<@fCd6(u*?)|2Ji(_A0>tT;@w=1uRw`UDJnLDMYBg#9hhNR= z=bp=$1#5`g>VDdewc3*U>m~D6_5${U zz;N0ASwYxv1hloeY00}-&{l8u1es{lO{4}yo?axFLu2oc)L>U(j}kP&@-47-FI$jF zvN{KMI%j{Xf7oua3^QOkA48cE%WvFW)t9=yFuqChUO%@*-XJfk4lEb%9a@5QPXwEB z_WD5vEXAk<+S#CDNFP)Ojf#p)oDL_9F%JMK1T75DRdff;n-Lpj5?!kU+kBTFPmhjt z%tq1ctkUb<6@U$VxK}r}u-Q+aL?hZWJ?i{mC`bSyc+eYqfb-+XzZJT*F>jh8NogdX zy)NdVa!1Z?5>i*{AN8YUWjpC)t-!QsKzj}VA7|O%Fk^(Bw&nCu- z4hj-il4{uKdOZMHF-o47@Z5YoZQA@Yj6GDc4M^!IcTbWmB7fs&s31IO=>;#km?8n58~8?e=Q$%IB-8>Y1FdUPj0cJpm#K zg4v&g#}>@+SN+@J4G!Ul*+~@68@?$XVP#L4IeqYbIB!x29F3am zIgvlV`-i8O9tx{2dHosV&a|-nD}6O|p;DCvMhkvfJ|R75tqwQZVYWiyZ_Zhsb4gJ% z2({unIyt6x%xAs{$xzK5hjIbWan>|olLDYd)3gAyapi_Ed`?FM^3Cj*n$&u(<^qVs1qhMc2D+3Ir{=fCNoSN4NAuLzMeKp zhkxjSTDbF_#DdQ|fmeT{VCT<4j#@YpQ{yHytj-s%ELeUVM&J)eR=Wsw)E%#qYr0!T zJhin{F*>qXyf?(tdl=GM7J#u4FE30)$9FAGCG~uLnU;7B=fFGc0#bMO)20SApf{?z zB7vpte&DF5gJpH2&0jv7+YhVd*Lxo3u{#R9xj}X5G@2Ek3(Up2mVclvQmzTmaH>C+ ze>H^n_Y{V`-!zykAyOfTf{^uH1~5JRE{{VO(lZ0sY`z{N?x}kFYUl%cm|G8;;klam z&Wq%Rc(iPKrNNMZUEgl--0s`pex=KS_xzrhkhZTAPM2Cc%p2uO$s*IjSQzqkA@4Wj z_M0ly=Zn4nHhV-{VBY9m+~g6`LlH1q^tSWtggg7w(uk;)g;lwx!#szEn|DWUPX^CP z$guKb+h^wPpBKB;J-Q*;G9^SqMTrFhN5Y~7K=sZ9`YMD%eb)sr*Tks@hn0$W==6O!2jb5tKs zwnl`w6pRXU=Ii%$OJe%*?>8I=(zja!YYt_G&w{CxsXc!bGj=UBW02+h73w)rXh~lK z|J-0t?W9MvU<`RZX1!RSu?q>zpk4vcLHj{)*Z_AIvXolzI9z2BXgxH;uUTRN#r1+- zYVwq+;6d2N!aBC9Npq7Noc~|MjXy*5a70(}KzV2}67q@Q=tsy`0c|5JP z)0a#ZyAUbn*k-C%T8uwvfEa^r*dX6Xyz9~%;QZkzk3`yJPh7b(xIP$&4l3D@Z0+}* zZo$Fkfd#o-lMXZhC^$iMr>7@(98pDbqL-qTIx^!LF603Rf%^23{25p+LNUHkhp^vqanO?KiP0pKc# z>nzfL*eE$S&9nWP3Wgv}Eexk5`A^oqA$ac&$G|)X2lwiD0yfzfL#n;iX{2s6>h@N^6P+ISJwX!& zYkH4kGV}Bs@##uCu*4j}p48~d*?+r3hn(v=lo@jJ8e@}tN=NGt73xAzQ>0#ayVLj+ zD7D_9O8Q9K1L{9u{ML*WJH8wP=4kE7iHbV$uLWU5gMmRc;B>F~^LMs)Q${AahO=1T zekPfeyb~s*IL(`wXQzQ8trcVTClP)W@ceC`&{0-;&p?Ay)H0fr(;4spJXce^igC?~ zSSlD+uTG$rFvB0VTI;R8ue3H5fRw`~MdbfJV9@MHZLP>9liuFtmu~zH(gql5u+Kf3 z>ICkbbJT?NwU!4bM9ncmxOQG7Hs0N74m81vcKFvfB$pLG+ci%;DNu!Bset%xS>}z_ zCMUV81p5df^Mlm64KttpxD*b@I>JM%feAG5w{Rl5(dn{%8Hrs;C3tN0s{lHeM8F$G z`MaikvhfFW<@NO#Pu0h4VB%@Mq)`8bV8&4~?MK+~dqC}uC+_X_V}%i(T{CQ(VS|He zyTbxBG9E4|qo0$+wy!!#UoXax6TR-ow!B(6L6iq<^OcjnFzGvB{WPf-gV=7g7{6TP zhGfEo*Q`T{{>Rs{Fyh;YD80qRzzpF7ERctGUq-%NYf?e=n)-QNf47tl0KYb;Q%|0^6`-L~GZ9$#15+DUll&u}1#6)n0eOaVt-s4~FjH2YCIW z8*BT36aMUpNl`d8%#p$hv!f?5Ve{n(QCSDGo_51WBA9=n&E76xfQoC3duqA(%z#bs z%}z)FS~KpV;2+$b4S>BBrxF2YvmT?37xA(qCwlk4?$0p32&U3h4F9}N-?4a1je1%^ zj%;o_3-~6#lr3=Oi+OpqYybLbN{5G--R4Fn+dojz$ zLd!!wk-Ik}!O(28sbMb+wq)2`PAyx^gw4KwCPzju_{YC;5k z=g08tfJtn7FTHRLa3^%A(NDQYhrf>TCw~h1w&L28sBIE^s09pni^j#bY45CovQ!DI zN?!p?)t&*Hd5e~8xmOV+@%2kl>B|jC>x~c?#E!d|=lmN=(q!#-?ITwOQUc3mpcgRm z`JD#uQ~}Ej`RzA|p+YPjzl*TCuUoADTh-R=hotlBPnZXwq+QxV$cdtBk7von z>jq@o&>&NYH@ISS8}pF2KLxY(6#Tp@EZ^ zU?}r93<<)Ibev@hplgc2`w_p_m7Pfd!eEaOqO{ZkC2#x&YaIt`8LNO3X3QIvPkLyq z=Hmk1fC%&G$A_>xw1BmBG2|QmTE_~)$Ghs;PWcs(m_RdkZyYr-Wah&;|L-gSF6fgJ zE8wt)efQ<9h_u{VcxstuXF1IRAJ7QOp56LWZLl8mxd_-%Mv$EyBjmdN{9wzi6O6CJ zwZ4kB3tR=VL%mM1zI1n@4A}3d*>dF2?b6JY$grsV641m0h6d_=2Z0ZzK!EK93Ca$5 zQ^;xEl)=$l)j$#(rWq=IK=WOGH#n@vZ}22W#cH4e_^WIs>zui`w@&LwU%pp>ecafp3qcNzFHRG_3K)^ta3#N7Z93iUPP4E zT|^rS&Q^Ms5Eg}5To6L9cIUUO-7Mk#X)Y`KColuK8Iy$pdAhlLM-y;YvL{2M!JBE2 z%bDY^;nMU_&)9CI7o5t|^mTSs!B4DGOi^?CYMMY_~<&Ka_VDwfg zJ%m=fMP{EypLDZMwAi5dubl@?L$AW8ZS6Rqvp+K43-$^b zG<)6Rr(%O6mo#4N#5$KcfLC$&ft`&Hu(BZMz}o$}v->0G!jnI{d2A$jK ze{i|)uJ&(uq$uRJ8T_ofYWc!g%JF^D86Y9hp1!>vGr3rXqW^0pd1?Rw0av#tuNT<& zrdhK8oQ20O(Jb?Uu>BnXlL7o&@1Mw_lP--&kjzQ9Rrt@mG{Uht>j5hUV|s(DN@+p8 zeu4IgVRQY1*qfpHpfd!-cYlVz^N~oJs~sMiUsKFkTtU?Tw@7yRnn>cf?oSzOt{IHp zK2|FLIHXL&AQ3we@km+ic1o)9-NcqY(8W-gJzHIdF~*JEoi}O(nPS;zW8w#flkIm1 zweEp1j2qNusU{L0DIE=(-(Y7iT@(j?=v^lcrg`g;JD$4a#1Ki~IHrV(J7G)lb?baG zOV#V$=M!ug4T~jn0Nf*Bvg?lUfF9r3jrXIPoX4i)nT~y1PN})GldW*xa(|G_*p`|G z-n%?_hA{!-uhO!eT_bZVOB&^x9ID!;;&5(YNf$#wwG!B`c5Z)x6;D|4FKyGU7+TzZ zopbkGUY((5SBi(pPKM@y=fD`E3C_$z^rpUvSU%g zlm4&f8*bb(Y_Qj5urC47*{{KX+`O{K|wmA1Sf(&CzYIS2*H{sx5dAq(5dda<?pCA88>QB#M zvg!rF&{^FHk=q$La(cP-z&dz6T$-p%qw?lJ;+L1ezJI{M(s#*5pI5dy*DpWNK>+jA zU5{DmEh1{IE0-X`c8rDpJo%|hU8n<$QhOq`u?z?eC4;v{uLw3yXSv}r#I4P8;4lol{p_eP1Sy-!<1HLQ6ecex4CKL^uqk9a3z0v z8kNSBev-fS=KNBH?V(lgp{-qy%N(iZVBn(^K`Fdg`$~2ieXYw)o+dufyuvxyIbWC1 z;FsWV-c>ef50nnpu>}PlHzrLft>zbeYH|r$ z2^r~C!IXdqRW{7TN zBA73cn0>8^QX)PrAj6uJ2besJWfnS@c4W)b8t86uMY496wV3_2N-i!{dTQdD1C!3G}Fo zAwcjF{Pmq#I8b3kZO&r9WR?wUv|#T{MH-~m3DopVmgO{;=!OXoM~8CWs(7$TV4l?7 zK@4^Iz*a%(i5mI56P(f|vFR3=6Xv!{zGcZb-1~W_F&7?NCdDi4ZSZlSz#SAZH<2DG zpXv~b=XLj6Dj3_|-9q(CP!EL=YN{XH8^Qk4EqRIp# zUd&$D*bDCQJJ3H^+nSG;MdVNk0Ef!*-I`%rJ3z>M@DixzyRHJ0_z=_lI|m(kpd7*$ zc8VyU7j}EMD(touEps(*qio8}fZ_B|#NE>anW2hdJ7y?{BT!)e11e|k;i&}tWzw@& zrL+DlSiPHm5|eEQL2S4h<$EoPSb&q5v3ftL?ciW^%EkC-3q#N&(dPDmq$-E01qeD0H6_hta)M5B^^Yz{X?Yz~2rSe?`s~=W_^JMFC;mNh{*mgG5sTAhP z0w$qKJ}HcgSwY6g8Ox&n+pAUvx=yhP+tXz^tR=28Q~56>Tki5%%hLz%Zb(*`lD@{( z?5URLW=m7GiG%s3qeqVOb{!$*)b~^k(iOwO_7M;cnPKNE zOuNMPN&C~w%<$NG5ZeL>GYEpp`$(1avRADDH-;|l)J+2@=91=pyOk^7G^I|B5nK6V zX5F$XHmwS|{Co8xXe!K9CY?pGT-aYWtcZ{7Bm`niq&~j9tR4 zdxcjZ%y?Ub5xcux==F{_RT~7zmY3p4x8(@0?Q-uR1~~e`{Kn>Q!x=l&BoO_h#`_d3Q-m6LE&bM##b&4jJlZm7ID7G@A7)gaX;%UFf#wRT$X;`D{kG@ z>HB9`)0$%EA`dK8xHVw6TrR*7m^>ye>XK0M&YxVMmIm0c78I(jt>3TT795NO_^(xJ zSEAC(Mjh+7Zm~QYU%hyk{Be3Q*FyV#bm1orvmaj?J;2bW2AH__X>|HJ77u_!D=Q_b zYIIStj;;7jtSA!Y`O7lF-y2wtd7jO7vIIcB1qHGI6|C^4iSVe}z;f{Iy36lm*GJS; zzKEjY-(G&gglsCxf-T#E<2{4Y+|%j;ONB!7ZBvujG=rEi?$_D4W-uXg`@8747wApT zrfn>f>0LlW|NOmA!7J+HsH+lC)4t0Bc1b<$`zZj>(k_v+j zlukxz*yc%H4m{oJ@GJ5_Eutb<`5aIDaA4?E`GQa0WPA4AM8Z;p-H#+*S{a;1%_}zq zQaoJZP0d0vp!LkYpCH(*$y<3{0hd>CJlzU|-j8!JVo!SA;6)y8j-Nyw5hWW?GYH6ZG14Zmg|Q z@9|3Wx_%s?ts~4WZ{_%1Tcl{A{%=E^19**R{PX zS0bo{hFR~pd)do8ue}pdFiRD2<*R5Wdqu_%?a8l?Q|@v9=ABWG$fq*y~hy*%G&umHC;?y__%+ z-P25#q2}O_$7<9(>))?5a24xo6EMDj;F?q(U3pq{8{+uh-rE1i^FU$hJaKGWUwgWI z8l8N{$Ex#L)Taku11FZD;XeN57jT$oeHi<^k(FXOTs>&-0Nb?qt@JTX@X;)6$b_Ft z@66`*0hpF6X7!k=<{n3V4FJF~WpFr1R{sF;s?-Hm9^1%`cX8nCzD)YkNxU$J~_(`=E{ zUiO$q#qj>vWweV^x8Q}?dyLnH@Y;{xv6v$O19fds1mGGFK9pL6!O%l;#@9b@;e8NW zp6UH~H{&qi$B-$agt3*}fecXVC?8aR%H4f4rVWQ#CFs{#*T@_lEbY4g4kRO}SS?%Y z8U1R*&hz2Ud^nta^~RQTcXRfIy9jy%##wPh4Nga>FGFu*s+)fH(WJG0D>wYfd#bgl z{tPgR$_(w9dhMZoy!+S4avw1C#O9#j5*O?XngMG;>Uf9SFMpd}mJvaO>{K;$!C*c0 z)-|j%DS|aT;VXMc6L_hGmtQ1k*J5J~juu z$O|ueRh3#%6G|hO@eai|HPoi>nCG74cI0@{-dt^nOOvg>ZDSJUbR=$PhU0@~903l? zZCSmXMyfhJ&vzGbP_))F@}L@O*?fAjNOx6z_U#@cR{HCSugk8}c@43qDOI)u^)F=l zAmxK%2aHqZO@_*XqC9t}v9y`~d_PpL7X$Eg>=)@d%gZqtdSj9nHKL&%{56KTsRRX) zZ}MQrh$sza2$fEkFQ`4+KZ|(6{Og*0A!0|$R`-7EC@trBZ*uDpp%_3=FHo#}td?iJ z7F}%Cl1ONO2 z;N^#g3$1 z^>|#@eS6L8e4XcWIiAOHoR1h__ulHc!1R4ffE!C6*<(7j1##5y`8TLC_#@85)&XeS zM}eqL&soCn|4~jepG9-(GU*<{ZW_OBp!Q!)=kwcV!iOmx^6@slLQhL0bqT%sNVTWv zZww(1-D0XalXkMf!VWDC{yK?In6m7_D?wMTVT>%~9XcAZ8k+_>`SQbE~;zIq;JYLP(fy4OOhg;=_MkOQ470YUS5XxMT>K8P*k zaaUonMm(^>h{B;Eweol>=f{?9Z!_)pWG||1+me>~5m>wUH*kQ6mOo1~LQ|W7)L#VJ zWK85Qzj1y?bnb0G5`@7|zcS0ZvAvH`3PGnQ{ArFj-Ef6*CYjBthCkhm(u7<b%{kz zArQFDQK%6v89A5D)}MDj;9Sc7h)1MEH|HMC7RG&mZ8ZG6;^E^qV>pk$_$M6R|G$|8 zRkkHC#rdzRy&vzxNwp~%^2=lD&mb{7_r^Dfr2{dMX^lfF*Pj2{+y&Ug;o0&YjGp`A zX3(5|#?c$wSrxDSbcIJc^=5j083%FrFb_Qbk%%tK-IFTxoh{NX)tYQ(jC?%&>8=Vi z54q0oV3yoG$JXIoHzneYvqFnY^L1BM6BF<`{x+$XI}QBR?`)8F9>%srqTFnOC~RLR z0`*cb9=UsnK(sHXm7o2>auY8$HGKphnbt0cJrG3^JG6&-Dz_OF_0nP zP}<3?4>V>m8-goBBCr&tbqy*@=~Bd?ex^D#L37~J$sSZm7za3^VZ8BIg;~M6tc-Q6 z6L|s@`lGZ=r004FNJ8{Z$DeOK+2woWOp%Yi67Xi-oLBp#Hk-Bg4=9R%Jv0|Wm-l|A zzW3?OWhkergtLs*z+eQZxBKj6sm=eIQ&uLjlKL^Z+*V@tZtg<^|Fmp*8SlNQ0Vjli zSPr7{XMXAEA$DvHArHVw@f_edrOu%PHu z_yf-Lb`g*-vHrB>TZ8K1)SUzt;j>qGwx$&6uV0Ha1gb*V+F`MU=HI{fSdE{IcbnIC zH#c;pK~y(Ya0v=mKfLk%ta~wMLp@K7+UqAHe0lUi%*a^3wFw=TLW5|W$qhib2Yo6J zo!ED0BnP93!b5>Iz%(0|IAyth_cdvXBdjCMN$$X+r-r3JzCl`X&&yT4JE7AX-S~!2 zM$ga~YM%3=tlvsLK5rSVbRu^Y3$AC;qpVzO@4y?WUZK7A(ov_W8I>eDCH_8(5kjIS zZsK2hcxnh)z8IM}g)eRP9KpgkGKMgYbp3dBr0?Pjj%@pldfkp}h+awe(7GO>8?bpS8J*~F6PX=`q7RDJDLg^3-* zLRv6lAs6~g6k=C6%u_9v6f1%=qq9aAXn-21T1>hHSE0h7O{qzLj42k`T(u0pF-QVd z07T(&HF01t6pm$y!p*0`O#Gt8<55P$SYMImc)G#m0d$O@aP!LgVVHa6a~=Bmpn-0 z?73<&J){1tc{=Et&$bD|CNT%eS6~64M}rtt=n*a+qOBU-JJ$z(~KG4esN~*8uXY+(U!+K%}DTZ5)CL zw49Qc9boknsq`vhMLJzUehQ)&zw!8v%p+;5ZjAG5PiC%p&**(6Io$|YG=%#=K^Un* zw;F<@ELnP$@^cBYnJJ(o$AcvJed`MZJl}gV22KDj1$T_lALd{Ky`Aj{|Nw�#oBNWHG;%u~yg$g*m z>@4k7pNoDg_!GuKyotj_=auQ>`aTIs92o}jeTLG<{|OKk3#J7Dbsn!k=z%R=XHgr% z7eLf!$9;vR*2xQY(xSmk5e(b2f4(eX_B}iB53;aCh{T?`)Gqx?(tPK@u;CbpvYEEe%SGMYF$(&A@x{N9+#jFKuv}{S z)`z2U53BlMm}`(!ck5Q8T1=jO!!uZav3n3KTQBajuuRoJuazv>$2ACC!{(5j#v1m_k1i*0~X^@Pa7PAX1hm!C$~ zAW#(rXKVS7{DDNh@p>v4Ro*3FO`QOUlYcnd+!RO_=8cX|_qoh!<4|1izUU2#?UytOo!HlSA zMZ^GDUv*a8z5N7cL%a01RPipZ*VG-ez_*bCiW#v3XG?b?!r#xWxz1JDEUWp&KW2Bg z{Y!ZDW9msPozWsCcR1A`*vx!}|GTscDzQnv0(IB*Gt2)VmXDyBGFt`P7uXXK z@Y^EMCBqd2rpUrsb;d16Kxn73%-=GJ?DQ$fpLBFk&vI0wbTlxakCB4#UV(3T8UY3T zY-5L{v-3GcA*h5tXa^f;?{W>4-<^a04AEYl!)Dh6mMr=TcXtD$FW{L2m4S6&Mj1c={rz~h*;mB+pkka>fzL-D7`MHnW2 zeyREKmf@$11EhqnMe;L8J#JoY>o*E z7X#KXQ_m1wC*5DZ+?c4)1JTmQ~qK>$#$?vX73ZZ}h` zJIXIOdB(ahEhb>g`18H9992*7t1B&^$c z;9UT{CSi_kohW?u+2rGi0{kt8^YO^R%z?(fTv*hP(Sx2<2wK9%%Hn|M2@ddf1r_iZ z$vqp&NC2P}FokqG6_~ci`nm50f*J<@bRwCmyV*ig)T^68p`%Mh=Nl%9TYL8hTmH2B zZ)My6sG;cYmSOr|48CLxbf-UaZ1ZgN_x6bwk3&2-TzP6=dZkG{257yo0hcrM6f30T znM%g`v2_pdt4s*QrLE9kiw0VdL;$i~uB6m26^e_&D6&#&J6ZXXNn$BfrLuh)vY0^t zaN`UJk*Q&xJumv_xaFD77B~1e-wW({?&y*MhKl;AGHAc=8#?DPai(fBg&t$>JyX$8^XiB;tfzg$H#|Gs1`-cs zKSo>uXi($(pZXIVpRS4kEj4eVES1NoRCF+7-Ut$zu-C}tsJ0e5@iyDKWpc#WD{Y0b z4;T^;XjI8XbSz&`rM(;VGYEAb3BD$xBl;9nIhkJ^&m1#^pq+CB7J{$yc|;rG6KM&j z5vHM-va=a8;hjj{fqf$S-tBt&>n!0n$CPzp{|)A_fR~1rz&SqiK@SP)o+XVhywS;5}@P zOB1`i`Vf5yAEo(z!$F$6c}(bNks@#Smk1bdEAI>2?HIZW;GQ4H+FV%(k5~`tPAQ1$ z4`CE4wvZ1#2rj@{svkFF3I97g@eYC5`V@V#_vi4;`b#N{6@>C^*+FAZCO&QC*z*mI z2wzS~B$cXE=!5SX0=N+Hq%@=T)Iv?FK_V?|K|pLkSa#(?u<7|OrR+WqXXw(zpV>4I zMer)XJZitjAo^juXF(6+J8=3YGNM#sx$=Ua7e|c4!%IM=8F?g`6{y)>Yy|W20$1we zaSdx!9ajjin6%g(eLmS9GiGHUK)64t41oh4_G^pb~?(rjm-hpaX+oU0)H4!)*mZj-Tm5P%Gb!W^ANBIi+ zKk8@^g)k|Tj;h;RVdQTb$q;?<<-VoQve6yO6*qLUPX(PiTXI)5WoB{s;Km~gCLUqT zYI;h~ZZvoBc*`UD3((wS?})w>sIi%c`IpUn5;*kz$ry}XZ|H6s8L+vc7z&a7>{tq- zk?_1~O?k6b@|ytDJhuj9-~c}CiH5H{*8Q}S`sTDkF2GrTA zDCax?_lBRUU%M$@aF^>lE}Kle8PT}2TlQ2G!#Va^lI6p}iGhrylZv%?r&9)`9M7R> z#L@+9uO{~rKp_T1^$5&-qopvOA#TxJ}b$yhJah5fBT!hT=` zr{`G?kscVzbY?dBqk4g=UF}h3{H|iD<$J$oi;}loWYahvBZ@Rsv*l4CMo86p=dt#F zg=3mFUq(0bNsyb??$_`^Kt&ZOCx1V(;Bb^mwTrAc%XHK`*uA^UUY$e#p(4(? zSR)w1K~t2SRA|=(_R;#UEdgM=I}zfTa8w?f>Rp_zjWzl`=PJ~nHZ|Oi9N@am1wEm{ zwB(BxHeYoGFQF_0YTVh~(i3)V*2{e-5{ppHU~7c4Rq1eV0CGAO#X)xt@L)eC-%^-}FgQeyg2DhxWcX5y(M%XfV8bN54y%+eNgL$ozAz z*N5hMd+q_dKMjPpb*GeHTM?RQDGh%KLidn)HsfdWuY1S!s4e{WP44%aG2^$3+2scy zN_)+=Zj&MM14b)v51rx;2X2X7m(Vh+gEhqWB5mn%%{OVwZV(yZQ=D1Hq8P@Qm-Qa* z&8UR7=&#UPqP0Nqwh1eeN>~vAmiCM3>kUE?KwbayyU&MylJm}QIFj$s%2kIKcydV) zeUW$BhZq#{K-4u91;JfM%3ptKyZ3~R-7_KLGkXB9CTHszU{TF@VMrVsz%|j^S{^a< z-)hqtogoBfDHBc+jS%yf0dMacN|93*Z?S{*G+CKV!&h*9JP-V(3*Y=inR(tKTcNCxHd z3DG#zPlC|)0m$^|r|yqU7GEO;Piw8b!dDLU+7U!1lI3Jlxj@l*j7nqE9i5Sk;KTLs z;T}WTY#9P`o$U8N_8M5AADM*6Yg&aA{<0(sY^3Q0BE)p&^JiANG z&s)2O&DnzP|GwTi?(h&;Qh7Yl*amis72S(Ty+xtw68-QZDz=z+HuTN}RJqgH_wrM} zV!JF6a%$x9*+)O_5)?Qq7}mr8!6K`?t+F%x8U2;Cnd zMhM@wG1vNn?V8dN!J8RL(b?Nz1#3C=(N`!P*bDKuWSFQs&n;>rShr!pdR(W*-~aIO zDMJdYg)?rU=^S|WdL+paacQYUB|kfCliUQs8RiM1uZz|+1W9*m0m`i_qh*wDHo7bE z8~n9VP9A^kTvh@|*dq%sA5jVW--W@gj2lF{UsiS(?2>4(k=NNxTV}samd*7C1?^(t z!ij+|4x!o;na-Mt`fCH_C#sP~pueNDcZrl9@@eCRwg*SnDFLJE4_A#*X+lgnx;=k* zuU&&2-yDO=#L^#L=I_W|rlWP(=pFzjs4PILucR>22i=>6^X(MgUL1Cd8}GHDMDBSr#JBBK!|3 zw?8=67HKyDPV`F1+5ISGlMdm{+A|nOU{lRMqZYzD6=Oyfs=Kz$ul*fgoo+IVep^Y* zp74up+=u8a;T)blLlo}gp-)>A>N*ADZQvn}^_LSUG zZxF9()h6D`unL16%9DDPkL|-aSt9&fmz%^fuoK{JuKH*~_Xq>l4%vZmPu4P@z`Oow z=$FWvbp<~K1l30dnD?%YFW5ny-4&+ikv3mIa#1D3yOkQ#?a+`6jWR7A;w?yEz&^+* zGvM0;IDheyNo3+#>x6ovn=h0o+$>_#Z%;JYI<7=?i*`}}xF*e~fd6VJ9tCppeBb?< z+u#oF&&f5tm)qN(Lk52gf${V_cLCt4Y%7;0YCCyF%|O0Cg@xZ&Zp8(F*ls*~U|plC zX@iAGkI+b!y)E-S8`#$af07-kfrYbld@xmR+q}VkT`nJ~+2H_v?@qHd5uzv~k({F~ zG0=0Y?XPXw=jFmQ>Y%Kbe9wu(0rhj4GH_tP|7^dcK<@8G$U&-mjD+9fg!T+T^!31` z$tD}?n6&udSCi$xLIY$74wni46Qr@12BNRS!2by_sNxazJphbFnj^ySlJ>%i0lyF` zXzGwjf3E`g4s@zndxz39bRM zw2}5=BRspKnHUXnh?p&Ss$U}x3ZfR<{4M^W>OZV=Oxl{q08@C~FqaKH%9Ce)wC89%IhB@Jw?q`) z4QNY;NdI&SBIxnIF-hCW8w)UWd>v8N>@WKjP3chg!b9%*!OCnG5n^jKUY811>;$*q zJ2(;De{aV5wE?(G=U6t!w!0ot{3TFw!WWTqJnMgN8*Z$|6v34aC(OS>zWUwQgk6&J z3-Tp02dB^RJOl!Wxv@744Pv-&@;*Ov`8iPtQ;9|sVS_ZUTR1mCCm)CABeQI&@>C!i zxYlO7!QJ;38S-R0f9kJgbeA)lrg(2{XBRvF-8nm`vi2e|!I*i7HiyDr|Fg(=f0$m> zC+-mVnrPEEs})vNU;4W2Iqj#T_Ds<$)TXpI63NSD(v-t533a zt2kD$7bglQu}C+**g}qn*|k*5{cUVHot;Nc_yXYsSglRS)3*f-X>3n)aza-{Hf-nr zM6{wy=a7_Q)WP7`_RnDw1UuVT$aO)-TI|L& z5kj~Y3$dMWm>Y6n_8h>2SR{PwM-p}FPVD2Fx-1Ssn_`4>fnD|r?Y}3el6km#N&-aG z(V=5Q;@mulF@_P(o=YiQ9ievFzK-DSl{FsbF=CpHd`x!SppuyfEb}zd!v~-Vz^&q+ z4(q^eA+ccJQ62p&9E2q=`@6Dj&D`tsDZhp zSPnKHmYVEWf<7*H$-cXN&%m~qkZA+9GhucKAf$&r9&mvlXmSu;OHH>W?AEH zf5G7i(yLZSn&kNnDe{pi7L4>#7M2!GTc6x#ulT~GIbgwi{yt1_Cl#JM6P!$NUCQm)(4FK_(Ctga%(4xPCsHxR%tV=%h5dtOHWJQ z$xoq%>TcYxX`Amd*nd@pXE(QBqs~PMAz6W9f3K;bmN8o1z}Gy{eg`A$D3wo zL}TWJGDGyw>Gu)+NOSZY+vGBRiYp-)2+%$)B-(aC71-fcZt1ebY0yRGLM&E*VMQ4w zqFQcI8>1}f_}eOj7?F{d)ci`#nfY6mvV^K0nbbwNLkMaI%K$Cu0X2^cOH9QBz|8!c z?O=1<90@C)h7Z6|Oc{YdxLvIK0kye)mx6rRjX3=YGk%8$KJ7-GW%!0i#;r*NKSmuO z{kQRQ0kr5*+*QC+{qBT1bPxcVoA&#A3$uwg25la!zu2Yq{@)7^+UPU%k|0_;)nDmv zl)BS=08!e|`|Xh&)es$#0_iR<|0j_{Kc86??*26-W*>y1bc>sG?1WG24zcR0{fL#n zggMF5w}QzrbO=aFC~j>Jh35P2AX%dFm^2QbQVcSx0ym9)TxwSxfp9*?fh7t#bDN>( ze<E&j9L%j#`>vF-z4gB%RwZgM==hAc4C&5~!vyzwG6pEH%sw)*3U_eMt zCrK{+IxbaL7bTA#=RLN+()=Xq-D~mJVx>g+Kw+b#=xNm!|Q7_U-WtGENU&6 zNb>s1!h1Y2$4HYf<O5Ov=+R2*bWo(4@XXHlMm>OeR%husUOaH+u|CT3+roa%$oK zATeM6v`Uzww318x!gHo+ZW%l*6CTtZ{9LTEf8zpxo%yGk>PrbvA~ZRoA;cwP4~{lw zoVWg)5VitlZ1&?f_HjZu)0XE<2Un}#weJ`~*5`_#?j$%JG??F*7C%A%hly=e?|4dJ z!Y3NytcqQ;(<#N&5xTx1;unS4`SGjrAR@P`xFK$lIQ-WgMj8js2%bcQVkCin5knK- zveK|$Ey)(gG(UMo`|fc-doyVB_#1Ep2iNdGI=*s=rFRMbX>I>Yn5ni@+1Kuc z{z`kfixv2z7KeXU@FrDT*1lRd*kDL8CQ+g*!%t5GGcT8CxAXpCC+IAo)(_a*6|D` zsW>Ke?gUv{K13&YsQZ(>`r+mwCArc@HZ8k=3WpLz-H{F9UyBl{`$5x*w+J*k7|K+r zaQrcUINN0*UVWS8c^oMh9`o#==L^jAyFx{g1gV2U_k=ek-`hk!MQ=i29qxiYdXw7; z-*}^}%h)*m@f)e%biqrfZry2KC(;-Ap$_~z5Bikm<=b{I(A{NpfK1oFJmYleM#O*b z!)Kdcv?zmaSKT3`xli0gwx0hJ)Y9kw%h3G*uN8w4$g1O!+)Vr7%{ZGPPew@!?^h~K z>ZS?1G>AC7oG?)`YASl{0}azvW6#Je?eVb~)W*_@(Li1Vl_Vwd%^EYeI?yEI7T&h9 zY@1f)>!61hN&xTZq3kDBpR<qS;D zDN>TKNNhXJ1R@_MfK0NjRrZ2T$33JadPHzv3N%k&`CRZ~w@_G9UN8Dtdd6NZSNg}0 zQ@yW)myk=}L?q5vE7jbz{1n~rA7OA*ywQ7Ze4CWl{lKYh-=}?DHc5XPC+UT9KN?$R z^8XITSxwU+peMR$Oi=FRl^G6XEcn!(S7amX)@urJ@3;q5t+)U{OAH)iI!tVk9z|G z?Z+MDxb;Hwm9&J`)&|8p)JZN@95Zl~JP!X)>AG*?28CU8?cVCdN{~_%Z)Qut)7pdn zBr{L!(}0{a(CoS4a*cDN{kzUWA5AE76sn}F_7G(Ki>`k62A^@iUL|vEmm2x23t{7Z z>BK$ELHc*;KpniSz%RS@2z>)0X+3ctGa&E% ze(eeWVa$B2^F~yDjAV?li4YMbM}zKRpdMITAYXGC?tzKqNngZO zg7pvm;Ys_K-*)vRY&e4?1?OARXPxUDlsy>TLk4-+Hlm3X7^8j%3Y;E$=O*|Rs}b{~ zo|@@$)hcbP_)^-5<%&=NZVCT)Sa0Z*)}kvwzs!vlEA2mZEbwS+A)9{EpD#`O8bD_& z;ZN_D&M*u+Mm|cu)Nf+_iq_+ha(CWN;xqQ7>LW17J)hpvWcj7$JH7Bg`?9m%7)}c3 zey(~f&uUPZR7@8&DKnU{V1Rn!5$+;=ObPqYV^8Vuly|iuZ9!OwLjpgq`Jw(N+26?% zyPW#9EV9KKU-F2`+J-BHBe#Js1s@=oDsHfJ=N^^z#7`8j0p(kQrWI5;4cn}6by?{U zSjowS;^xjxd%xf%m_Ga}0D~$&#(WR_U6m{`;n=&v`LaxHr6+4&we*gJc@jS5=#ZR3 zW1){I$(xOOIosG1=YA#Zw-cZ<7w7E`z^HN)sv_-#3pvuMoa8>(k=>*+>1Gw|Z?&`z2whIQzjDG&(PxBgf03>b_8~wh zfn_kNaG8W4+r<}I`TdH1hc2$W{QDHb7MAGIOPf9)lg+SvO*yCk+b^F4mTqn}QZcH{ zsR%j>clWCL5ixL0o{w`_O$-IT<)Z^??3$>}RH~%N>be2WnI&cL>=?iCN5H)MVQM2b z%HDqN3pInr1>vNT6lPuGV~(fQ<5aJF3;)S67&QD_vGT>%vW4<&`;&gchi6_B_7CxR z(#&=~>1QJvrmk@RXZk9b+p2iMgx!N@*8 zD`jIKyQ-%VQieywGZ=nluQrh{TlQ#tKZ8&`^@Nr{Y>AhLK3>W_vF8QyIVhaR*G2w~ zOg`E4u}?OeqDrr}nblngQZYsI3@6#VeOmFL{JX}NT$6aUIh;YK@!Rq6`VL@?@(h)> ziDDUiCa)W04uxf%DEisqI$Q#?E3{58@m1kl9Khsra@Y)Wpfi+kXICHNhr-d(KTV42 zAAZlz(HwrOV%I?uLgC==t)K28e&=}J7r9^jTQ8Jw(T~<&cG1~5L)9vps#Cg(t1mj{ zY+}zTZ1u zadHlak904dBkz&&pCYIy<+&0&I%0lA*ohB&H35C6^Uf4IQOtEHWzFkfOLEOTqnvX> zNerQf1!8cj5`C~`dR=AVu;u<&<+C9}iY`A_$`5gTF{UplbS|-eWp_VG*P9P`11eQ5 zR?+@iNzd7<&)X8zvV~s~cKfqol5LE7;5tkwr{18Sc|!!U!LCmLCf4x&{a>F(3#B}KZm%#-1d*K9iGO0-7W zW!XPJi*fkc&X;gRp?e<5Sdr*qmK)g_{-#6k^NK9p)yb zxxn2JH)3YAL}*AV<@Y7q?9ubU!TMfwPhmOxM#whpuM-o7!!Uj6e2UFQpc4nL3WbY4hRW zEKKtSQ3N+fr6_s6Isb2eQG8o`nt(a*MD39ex`ouU?4><>x}oc#Iw<@Cy}pQDg;#0zqP>bnqk!q@3jrZZqnokGXE9UewgF*qzpzJY z36vJa^=496tCshlo~nGs(noaZ{2FO`rUE27mX#YNqRRVC*6*C&RoRY=$}DPoP%;fl z7jpq|btt%Q z7>sv^o4ye!$6&`1Vboda!z^l7%Rs?zvkkh80DsdG~UZF$2%3Sg69Mt-G8!SDCcp8-i?HcJlExH zYZG_-zyx~DKlasx@{esW9$qnnD#+Cocu9mjeQ*1jS6Xuxp z!4>IGjIk@zb2NiRY=%UfD;EJ;JgaR{j_XM5M1B?RDRM#mitY&}MC`gL%nay$V}e z>Fw*&!2aS7V2NZ_p>SXTitW+vJbqCCzX zZKkMkRc*_UTF7H7KsM;Z`KT)zuLGXo>z6fXH{3F3YJ3gOJ#mEkt*7IFZ+Tzcmofh@ z@dzz9ewkES>Wd)|y1i!zefRUTjnKOS9clKl8unej9F2qabOsUYF{iE6)Zw))-=H>G ziae5IvYUU%^bVVoJN1m(-OUfjk&XYYAdfe!7DFwi zitn*5G3tuVUKV7?*Y@3V=QC;Qr~Vk`Xnj?QR{df^L=vggoOS5)=E!;#K&n6|oGjK7 z8dbs=E+~%ECpr!ZR?Z|twXhBA> zcO6Zlpd@Pd*GDrwGC%Y5zT}(OSM183&i^Y6lV0CU(wP&|QXidYH$WA4YrPm%D#yN6 z50}xcB97nl6TD|EZEN{u?RLrA4~Bw=2Qylk!}=^r=HD;Anfc

NbKCy*?tLBjuKQ zl00K=8d_7;JW=OB+1lZIeo}cHq1Ut-_Qv>3EJmqyBF1nA{Mx|{?nt`*P?B`Q@|uv>VeK4IHl)>Kq|Dtc{kVQhG%u;vg+>FEEQ-5b9OTd3uBxE;mP(%Q1-+kmtL zQmN!BHSCcT_%A2%uwQnk)DUfq{l zJl)Lrcg*rn;YV)p;`&^o3)a|JH`s^KiXb6ZZU3g>1U`9`@jSd@x7oOpKG-6O1ws= z#yl?m{L%Hvx!hZ4^tN5ee0er36U-{BNG%E0_k}S)dlB|G!5~(|zNT!X71WlP#;ILp z!LV`Dw%^%xOIFR@<2Z0q7{*H?8h-)Bbi{R7p)$qW+gAAJ$6G|)+2K*Il z;z*?g2R~(Vi+h%^x$h1Kas`%C#p6Wn+828qdh^aTUgzk%f*#7y5qjxDBODuA9pt%4 zEVCzL=06#Kj+~t8%9rSb)j$8sBY@ZpLTq?@E6z9Ef}#^xHvT7G-ZO9{fotEpm9w!abVt`|mUs1u z!qbk8BD$)#iB!P)Ah+S#a%C#HBT-UP(z)u@)(&oR*5NugkWBoVn#>c7EFUkfK<#TaRRU+y|Z*jc?{Ls;$QHao# z(|I&fpCbsGna9LM>QIenI%XzPyF~yPzUzFBlb>V7f(6!A!hKk$$YIES%WN~b{ z!WDD9?G>S6>}{)adW0Og!s+1hdsf#GFP&_P5>V7Xj`~4$udwVZe1mFR;pqz#Zqa8V z4+@C3#pw^5P=&JP&98a zndRu7q~{7lzbH$dV}urPkk7n-T@SYYR)#q$m(W>c8R;H{r_4>>w?bqRWH=xQu1~%Z zgG}(GZ8_>-Az|-;O!E`UlnwB#vfc7HokDRO{f6!V6@k|gy{R=$V*=_tAS1JM8iDIE zawEK>FWOH?yEr%^WDy@H7xX4ZkbJk%L6?C^ysRbRfWp@Co>A$e-!Ym^o6g27R!JvG z^4X3a8mYex=)vt?Vxn!Ka>_5<+_yC*<9@$8AOfsGAkpuipB9~fqU^kLDG-?n`?~K7 zmPi=v^r{)uoM;>=kPGxV6riH0!L?bQOH*hZ{rCw8&@9ow9oi?X7 zPaZA1jVbY?{V0OD*r7ywdQ;NQ1MYGOU!J^gis-w3Ej;b<0q2o1x~-+~Wb-IkAi41_ z3Z9Ven}g8%zqDhv_&|FU0a6zblE@MO-VZEE{>PdT6N$n36 z#cr1Wv1>1mAkE>nduqd{>!q=_=u|ve{!{qEB7$hCA z45{!QxHmYbo2n_%I-yuz@=se6gmrDy4&nlAIA=IP=8X`YOF%xb6aKGRPKBCD6ts?# zqvBGWkY|foZ4=2VYbAEm%TWZF{|8t_QHIoHSnFCOPNIuv5RuU<)0>%C#;(IG_x z*JoZnTx9Q^A1~YuiopsT;)Ov?y1&?LOshoujA#9O8r#A|2o)sN4(4RnIJ58;$@#)% znv{Elw0DwZDg0)+>wv8&;BdCJtH-mu4I&ocS99)+nq*1S$B_!6{wZ@ms_C6zVu3Dq&4pud3G?bY1{>7!30>> zM8Dpl0{g&F_M$gnxPOlDk(`UzYN(LAE1KlTGh2KkX^Z8%?k- zj_go5Ln{?7IiQ^UJ4>+f$S`aWg)}Z1x6kew#gATF6QOj@>LeTQP=_@}F%{q7S*iPqB>V|8$!@DuC09^~1yfI6 z>zq8nK@Q~+p+{wQ(n;8Glmpu5GM{}Nb04UrM!+`=;8WZsYkZQ{ zb=3NBc<0Xh6!*T1e%fCJYS?y*9jy$A2MNmma$5zjFX7j}jLTCmGWc>W%}q)TwcWE$ z_RBkzDB2z)4fNg3RvhjC1GuEoL5G_+`0u9w==Q#5pv^RmAx>Lqm~-A=53JHr3RiBK zwoq9wzEdA^`LyhFv=--+0t>a5jE$kr?caa?^s>5E@vikglWEj`=05~l`?Z1gEsUuH zyJRNyP9Y7z4(16v{QXPS;3+`4pnNTSQtP=#gW#CBf$%;T6II0ALFai&y`n6)jXZ9i z4A-7_)KwAay(y~SNuzlLuZVP1w*#5zT5<=jhCQ}0Wu+kwN|Acc4iM~1IhV!T)3h{t zH;{yf%Nz){k2YK}xHQZ#_F7gO@F=*PGes$q$eBGSuZ`AEC15lD#v2LR@fnwdea&y5 zI}Q=Ii&eFWC-NhVHzJV1IxK^uYT^gxmPrL=lRHOck31Nbrk_zhtdc!+KO=X4b;bc! z<;XVE_)z567LmFM#rMNuYww3O>=xqt_rBMyH1u@{7KsdlMOyG7pu-zeB7x)H@ku|( zj=Q}`GX}5css~|RGk(vqR~x4KWQGaf>`PdG3HwKeQ$dw92WdK!QepKPmfiCuYwiU@9ty;Dx_Bs~& zshS(y@liBazM;%LL8Nx207fANJWGW}dX)Aq{jJU*N5@M38|Lej^%Hui6bqF=3H+$Z zG}u08kxZhvb<_Q$BT55KJ8jp=;T4ucNxugP<&kiWhfnfx8Fj+}ip3HsUO61r2lk0`!07C2lv}xIzvwVG^}3Lm{{^Prza3m9 z0Zcnh9Ay^kU~*JN_@kG#uX}oDr}qRk_1Oo>avBHGNTs7I%JR2-aLa_$xU5p8&*c2W z$93Fd$56P)F=+%GqU>W2&sVb?Tz#V%JK{CL>VwpNzcV?H(a&w>&e!Heh?uGViOC ze02C26^`;be8Y*%V4|;JKaBA@TzF_TX-+DA_CkCH%80?4Ni0S){=qQk$m_kYvF)FQ z-k0J~B>mnc396`HAhv`(hoh#A>-RCy`uX=QB@^p&;O?npp730 z-9~Smp~&qhyRNd`YcaGws^E7>^ZRb*lbwY_r;Xi3`!ACWe=Uv7ktKP;3VQw*I6a+P zeGFsU?(?meIeXhn%PAHTaxr6I;{z2Mhu>uT@#}z>=e-!F>5)1_My27_u&l-@ge`ED zROaE)-jleYg>YAHr#OR!K*|PO0oIsb2^EdZtRW&7sCDAHWm-C#Ydhg*sk=EfQxnnI zV5@h~ezqcj3K*|`%nhYkjfPdYD!;>hZx;&VLy5!D@8q(#UWDN~9MHo!ZYb3+v#~id z?WTFS8&KPSGM>JYGmwFR0}Fi0XN|>FP@z|y-P-yL!|EXpmuRCiKf-ZMZL6i&(e=7} zf+L@~Vh)L`-&JrL|7O!s!lQOZ(H~16=q@t9nn|v8Hr_cHVzkvBTf=f)_daYW73n~C z&p&^6Cm(figro3ylf@WwbZOt$^FQ{mlZD^(;kxDl@QYm0-y$QN>1r)uFak%>u-naW z9NfAVo-mbayf-rXoQ(oQZya3(gxXTN+E=M|j2nH8&WdTy-z>xqm##AyjLeOWLpzpr zzFnb$Lo$!LI4=yD*Z5=W1~RXF;!1f-azr-I&#r<>P!tRc#{Yl&-Q$*co@~kX{&=>~ zF|?OYDoZX^vm)Pb8nJRK_JHVZu=N@)VsOfOZtw^9L*6QIx5BzRQs%-9OAgYLTKl5Y z`C$@*4$6RcN#2-Bv#+?+#^!fxufhn7PNvyG1d4|(;k5>u%s6MSe7po=aYu5Q7i27O zHP$ZC(zDk_ER#VeOgBC5q2XaRv0rCvvwX_;`!*NHUK#KQ&aZ2neut2}!FC3N%=U}r zs=U-$fjie2J2FRBXVuH>kg2v5$b1uxitord1id=z*vylgX>q+di={@Fs);TGi>Wh9 zlVJk9VoWmzQWW}gDeV6aHl!cy6j>Bg4O$HTaSsT9{9qp{UQ}(4V#p=Nunc5YpV9js zzEHNLzf2?i-#L{F69$%N$Kn#Mg_+B}*Wdfxai7MXXEki1p<+L?{)(>TOi3cgF%+v; z1PBaIwPycCcmSR%`FHd*hVY>&syuG(I1?V&Loy%k*{R(s;W&*UOtN@aUiD6b4M-q9GXW@{`rg zTX6NZ9(+SIUQ=^8EQviMx>TDLQC>ncHi!Ck>qM?GC2Oox5MbP1&jhJ?65e?gO4CNOF4N=ab_(-F(+t`Qpom@9W=Rp7u$=u@Rw*6V~D+Y zC+xTTt0(w7qm~#cCQ>51+HHuf%OgS<%IvHFt_q!eivQRpMW`J1j~0fFo!EQh`4&iS zC&%ReeEebtF*VIGeuhHt#TNvRw_f{;2MmU5)fWz2tMd04B^ zGb9WCm=E!Gp}WfODGRdNrGxRIGV!}|T{aASN7_0uZ<^&cTeidaZly8bbXhm7Xe;jm z{?(@mmf$%yTm7IvFe)wMzLKDlhNy($$z}fFH?A%t`pOx*U4pTySyI*Xs>|HI`x{ ziGR#k)xNNV@Pb>iQ+l&@p32CyBuU~sqqhVW_g=YLVQ(Yd6vqdCo9}9{+xbrnTQ5zM z%Ve=ea0Z>?^g2rEHOj2$)>-{Jt4(dz4z^s3U|k~C$d*Ii`2>2t%4kp|B+a&apJxw} z{545juNLEltJ!kIORtt8 zZU@JH${wkQ^=XyMu8VwQe8Q&wV4CWgiL=^e;;7}|_Y0kudOTc)hH~gOR5-?@?qACu zd@uIe@=!uv7w?uUQ7Qbt-BhxSHNPk+|1Qz9!h68P5NU) zI=s_fSg!tkzjdBD$NP0hdH1|>cKV-tHUm!0boyOt{yw;w+5vfYT}j1N(d8K(F-ot@ z-O=K6Ze@6hXZ44ssWlGOo~Z@||UL6K~fE z#k&mI_|`C~JU;wq_>3F5<17?y@sX;u!+(-CL|uTtyIdUls{dnM4Qa-v z%^mq~o=ao3dPD2!=M-0?o(8?JJS_1&_me1TMfy`&UuUojoU( z?H)DJ2H{H1JX41VBQoDttwu`J@BE^jq(n&^J+@=zC5Ef4(O^VMAsfM$Pv zZ^%;H_yU-$*oVU91LuDopTEeJFr~mq^pBkI_@&}>PGGuv8-|vE0Uc!iznWy!cH!=M~9_OVi zjhoTL8*k^et<6`W6o>C4g+86ek(nE@N%BUF6ILM?Ric-2B{<@L=viMe7h~&G!sCp8)dDh zL8iRwZ>nE%t=0yr$b~}8w(UhhZd%zE8a4)j9T~(ERZZmn`RW{Js@yPrWvB@ zJFcMXIqYg`+)FVdUA4;d7o_>OKEmUjM z-onXc>Pyo{julV|DNoN+u3*#p3J#lA4bFncu0ITW!v_GMn49A`` zKYl3A|8Fcn^0dM^3F24Zs63I!dp*l$hI$#Rvl7pSl2Vwn+WbiC+*Rg+vHYeblAMN$ zojSLHgMEjZqOfI;W9I51Ny90tQRUYw$EgKAmxm7^Zi7gIV)Dhxj>}z9ieubny zti2{7tJ$;-@*?+qpuXVS`m?QG9Ds9fF?}BL#0}3HJDkfp9sw3Jf6}U?z+gfCujX z9SaS7TfH&g+;HIi(7S_t3K}oxn9+Ka*%#80I|ajrnbyAg-&aWQOE{*5#mf~GoQ$CnCqI| z2>Qb;QY8QUL0!elox{r)6Q=5z-8x3RHL9B94!*MedJJgfZ{48i z9H9KN{d8+`D-|ox9BInVT+wvR69=L$wYG%|LGS345?OVNIj=U=y5+i^TL0GOWFCjz z&W6quLM%VihDi#ZdI{ZeS*X+~ju^@TsbV8rl9@uLO-NansNHAj(r(eKPjtM1iSo@w zgecHcfWou?6~PXC&;Cz`1>dbzw6>9g?8NB~n#JroY|ONJqqqb!54k#BTCl?s9uF6$37j@SPDx}zUEt} zcNieLdIw8SCC(t@yF{Cw`bcToE?#p*hTC1R1Fcw%^Ovbz<+hG?9h_v6vbcBfv)b9X z&G^NOLnx^+o4wy;X_v1Hjd6Sa+?jr$He#sBTFvFUlx^ZSf3k7;-id;!|UC zjPU}hQ}JoB>D8a-r@;-pm+SlDHin6tC7NCjZd|Ur%;aJ!nB!SfVAcg$>xTskkU#(4 zRdZ2=Iww_Q<3&a1uOO<{n4!Q*tQB>YYjf4+vS&t})`k1SB*m>;RHs%1<-+ue1%=NR zKH@_ICzEF(Yqa5!MWMcx9b^6!&g^Jr%LeV6kXumngA3_sS{noo zO2`AcY_Y3|p_q!+a*DOMIVT^DQxd%fEswAV1Z*@SD{8dTnuRMCWWnNccDmO! zVQKq%l&Xi*j?}^9)S%zB?LWJ7=QHr?exLa*1wHR#FKb!qH(M^<0p}=_Z|itWi|pPR zObN=FFN?N9&>dM~@MPwP0nsnAqV+sB+a(p9nm*0KUkCe6%PD{GJnj5zKfrzd0?sXd zGGmW%G2B!4dDOR)zYRls@ znAI)Td?6K6VMNrEdGgj!XMG%B`jv|P{KHP=&C{5Y$o5H_p+m(JSBqy8%kXk_qHk{9 z$#c49BmfqyY{0?wC z0tIorV?Q=XxT#b0#06BZ3L}Szj+rS6F}-Za{yEzkCLSn1_`&#MaCDQbbhe6N{ro%C zu6hGM%4zO%d0j#$42fG!79WRCcpH6vMPQw$*5uTM%5<5Bi8tuw0}7YtBKyw!trmHNfK%XO=)dYd_@r^K9ubLavl`_+am9GtF>u9*bQsuvX{xST3 zZZ>@&+jaWeX=S=$$9QHjOAVem4-dHi-d`8qp|Nfn?KU9lKDsHgmO@(V%=_VOY&qUT zDSL~8M$sg8g^QKw0ds(LT;B*FM0g#Gi0C!IpMgceG%0vNFob3_+=_BypYAME3%ATB zm8YV&K)gun5o@5s7BK_CGosKHyxLc-x;S)um5&u>TKRq&;lE9+j3SCL`6|F&4xL0y znd$E-yFr*VFjSnUbln2l6EsaHnx}Kp2GWpbp7(+T)zn@Aq|?;QHAz@GTF*|~b-E4@ zTjzLMIWmN=X6?9&`i9mPXG1S^U$(6v0b7kO4mHJx+o$VTOXzR zwph7z+!HD{A`-e2ZbUlRO_=w%b!PEkdVNbD=I!0PZW?w?g+5bXrf*!U!;zW0971S2 zp8I{b3_6E5ONmZc4$W1vSN&V+K?bClvt|stnw1tfI1b_p6>86gvb82B34e{BFs`G; zets~TqmQZM{qSzs)uyJvp>zbcy&fTasV&kXJ?)klsU652UheW7fNBekb)wt%yOcK( zA+)XEjYT{aYv1JDukG+BTu)}2zYZ(JGIj8RAAKgEYj!z2Kz11PS`rAY#KNe}s2f~XxJ9vXTS_><_5$3{^**jyX z<}2R#BJ>K)YNFr|MR_6YfH2szm>8!qE z%ccb^C=2@2)z%V0oP-FrW#{eqiNl6R(-P~_9|FGU@;0s|9~yO%g=`ea5Af0KUa)*5Udf^!1NyEq0n%Wi3oIbJqHJNUL4MlK1djUcr zA9r-avs5qrs@9^SNI2cAM5Od^izli=CNMS3*dgf5lZw|Z^BLAi<*_ii1(&`+WI)|t zIxN^CEFs{4^{35_iA;(QCo4A1=1AJoC?5Z{)i0fo@_tasna%JR5bx-nt{o)*ymjDf zxK~|lLMR+p`ii_CBP$0D)O(=bHtcO%R85=lVfZ6lp~qW(DO^LREUp{& z`n;i=X*E3coqxSMu*Id50UtP6-Q+UTg7AufSo+Y`!m(yFHFZU$!=EGi=d4}$vfK20Wv2j$%1hTrBzlNj6YsZD0CVk7UqO6PgFp~r=*`w@@W`ueKw5gv=X;yUzr*e!wY#le z=iG?v4GY^|++lpX)y*>id%oI~i3}Z!q4zaWhh9nf%0+KmSZS={Ag*E~7V?U#ddY_g%AU=2 zXIft^&~s-l$+MR~9w1uAx1${j*7*{>+s5{bDo77nH#RPk*H#Y0RA$)M^?QN%X7Bihx!?UAHKD&ywn9)V32bF|E{g^IdVT0A@UZvfYUHYnmG>4O zTj=oHv&X=&(-aXdhfwoDMY-RG#+N>kVp2do+-SGQzi}7h4Kx$UkBbSk)7&Ru;%1Me zIHp*gjOx|P=dorZ^sFz5bH?1^%(xq)s6lt~DRZ1_Wq%<}&7baN)d_TK$Zlep%@dHL zF~m>3CIXS!5Suo_;&opUaUvr+4#Sa= zaUg|FTLw(l(b&<~oF2J~8i#W;o}P`9tGW4Ef1lSS0&KlIu%!8eJ)Ra$-(n5lziZO0 zR|dpFnJjnui4Iv_f_5IjwgY?qgYO_ixXDIeht4!m;jhY!CrmrOT9ixTgYq)yBed)} zV4yG9`w`Ge4E;_G$T`{K-7AL_t{ie>4GYR_n+d9#-E4ET0t6!7J7n&17?oZ9UTbVO zW-phT8toHzD5Q7D>jFIo*ZRX=W$KSrnL@uyIAfh4fy``Gx1`6xl28X)iV3-i=2hr) zM^W^@fD+_tutjvv8L36p@pFAA9O;eK4QIBq3&iRDc5a=affWP*-uA%HHVFvq;)$38k%q)dcHW&2Ih>Y{12yX9geeWVP#VuU z#fAelK5Py6{$U4?DoO&0B?%m6oZm#uwbQGPIHsKs^tyrhj2d>zj`o(13Pj7QN_W-1 zj`@Jir)fhhs6R}<>Hu!#%74lBu7m5;dh@-}EoiHkJkvoS9tdD3s+Zl%e5*J;@jk*^ z?VABhOHR-H8$NZoqOLcRh#kzU8$9u1L`4!Z2nKt6&AUz<#_nOPpO9jpSwFwZ<*+j0P18+Qo-Z~>Cyf%(_) zMykSd9mVA|2=L+?2)iTf*E%Gc;%27co@qXxEAT|k%Hw19DRk{TN;vX>TLf`cF26S# zrb)pK_rG&oI2@@t>gtO+d=X zh%==>_C_?wWsK^Rk5htRnA-6PxzZD!xqD}C-86VO!-FrRcYC_md|--}Jwgm| zo?9~v5i;(x3OEQttXS}x01Ng;IJ)|NBkbIaV9a%%G8ZD_{PH0celWdjh+*(>&Da=P z%>u4zSDGa$dpCY8Yesp5oxZ4(8TFyms;@g{=82?Iv11ulCs@BXum)>Qd# z{>=wqfOsT&mKrUSkF^_EbGWWWF!p8g%Ca%UpUu0f_tOPX|KS?L+!ZyX*{TA;cemgcD5T@7NbwIGw-=knHI6NP(e+@6_i{T%qZ)m z_A+b6B_Aft(=1vfPnKv~gY8*hRVInpHv0FldvN5jf>7GIG#nLGUwsn7jzC+Xt|aks zN03+ZVu!nJx$di(BR8um9bfC&Fn%h6X4B}Zj?7~P<-f<47L#0Z4Gta8axPWJRMj7l z)@75{O^uX9QrWMsS-m*f#&)O|Cg|E7;w=Jq3VnJ8*e538&+Lz0fsr3%YWNAK1Tst3 zr5Iz`oCR{XDtCG_9iB<4-8cZybTug*C6y69t&DRzGitgz7=2NkKv-?69@{V--BCA{ z-qG2b{m`~o*{tP^_LRXw-#T^(+hHSc>QixTiIkxZ9lBY)4-zP$bQLbv{oK8aSu;@%DbInI^=smIQo*=CUvk|w4B`*WhLJ`}i_K4N-$mv_FE*x> zX!P|7XK{X87NDByr5yYwXuYe`^CDn)#2!oOI%5EsK%f!gN=Hm?V3bqh?Z?3R_cFAx zY1K9YH=MhY6z9tlkMiN$`VY2NnFs0mVe!I}1fUOEFRXlKYhr@BbCn#D zlmP~T9OXUWe&JX71gsMk+Oez{9Ps8oT_IuRx;i6r-hNRiZg-a_gRm^`a0l^0S*X2>-zV zs8Lt0ZcwjUjlbs;QF80p%dK#cW`jQ^iBmdxV50y#h2}`rO4v&r+9GR7f+H7z`Rb41 zgdks(AZS)rV{#c(8Kc!0_if6M#=VH*$>@PWu&MSeFVAEQlw zs48jVF2+bp5%&f%41(hV?~`jBsR0eQ;pQS2u$3Y>mz}YV6~On}p&<2z}*vKgo>z0gqS`%RxpCxy+Or2(M;PU?AaHB)D)k$kF@HgeFm}o%w zJMN869-CE}Y4;pO$@Ig`dc_){ot3WKt)wTXluH!*hJ>AUtDb0GtNj$MpstVg>kJfx zbVSw9CkJ1481|s{NtNHmEFQgSr;}dnnvhP`@85Lv0w2__Q%%OKCN4E;11qKTphLcN zDX=8QfS9QQV2q5MO30|8J-X`AS+fc5c>9U>yCOF$%?j3LG&+K=nfIrOxa&wT?^Krc zgCG%l8jTD?bwrF@pyX!tdFeeC>AlYAef7E0gI#*2o8>R?BR6F!>uQ#M)5XB*RvVJZ z(22oE>hPy0BAv|>Q`u~}R`B$|JKzAly77j4%hB-8|fjV@_0 z?nfbw-&>BbT0qMg^+%EMC;OJPuUy8tMY(64I-B64>1num%3dzG23?D}rQ>(O(z%@| z(+ArJHgM{N#2+_SiclRStGm&`-D7=1xW+@bkX|>;K&=krp+l3SrvDMK0<4E zIyH_&^kCk-aOHe=w*c&59@8Q=t$*^F3(y)HF;y)vXk_@~aPe5F48!{=4w*Hb#}iu? z&Tkzb-6A<-Rwg}my~Reo=$hVK2?F&Zgc1J3(2h0qEsR`4R(*r}oP@uNatQ-7H2CUc7+eBtAneMh#8x9j=j3Ubjv-*G1*>mxr=SY6(o5ViIs=b zwQd~;fP&!1g3DfF)q$mXiGTp*TU^BAR3MDGEK<)mmP5DqV|kNrb(16?_)oG>_=-G* zLOKo|$@FPEUaSD?#1jYGY{%jevkl^_Nexogmq3d4$rifnRc$^BmIx54`~+WF!hP5^ zFcIa>a&_uOJ>I)wl`jm=2+^QV+~L*@FY}M5NOlxIJj!lJNp=XPAF9QX(&n%Uv!|DI z)Hd+y@c=hm_oO=>?P&N$cCu)#GvGt{rRc4^^MUtRv61$Z3?n@Sq_9A!j1}O3D~R-nzh;748Y0g26DweTG5Wq} zZAYYsX+&Q}qDOLXv%hf~?!^23&K@?g1u4q9&kK|5G@g!k`5na*R z`|@8X61&ym;?<&$`est4`vsaTb%vg3pD{3l6%RobkcN*lY4x`pY1rdkE@9ku*~vh9 zWWdbP|MTR=QH)M(_1g|n2tiZE7lcD>NkA9CyTCAN+A3DqVwnvF(1*NLR?p3zv&nW8 zTf3?I@aWg<+g!es=dvfC8B#v}wMxK4V~)SGj)rDC`Fx;)%i(z}b%@*$?-_C5UGIZi z*(O(_#_UT3IcFn#TSC=qrLoC=Eew*-@+bu&E3T?e!h(qNB7BnAn}H=O;0w=%xaiFc zjQS91+axhih*Ta-s8J05iW4$!lE=M~^V$0{EwbLBZ~~M0lj_w>*uo^IQK904%q3uY zqHAZ->D)F!tS($8_Xu})>V?3tPn$tl0gj4t&@U=f@lRvgL@5{`k!+BGaRz)()UJnd_Zf%D`8oubm1`g2u$aYlvU~jM6BeP~l|Yx+oq-+q zE{fAD*5pBc-t+#9$Htj=q0$#BK@NeO|N6`)QIpeVs3YNmJ*d(ov?`b#px&n`H3u6r z!I!;ER-OAw59&I@?jGZFzIaAlzQ`6RdI)lJBi)RB&uTj3=283gf=!M}ZpEt?j~UhK zq4Hm^=>Q8h6>7~aRd2*`&PJ{Ptr+Sz%8%6D;kT;E+W=<0Is3q1cf(r0ZkTuA15=yD8FuvDlBn(Kyc6+p;bgWR1-utZA@R*6O;u_o}nd zlo;HtjB4rb-etH1B`5SzLGNfWi;wd6S$}D3gKuxZZ@F%ThCcj0&|Q^rpUVfQbl~9S z0%z9Yy6K++Cx#uM^e&VMs2y}aoNH6OHKd->3w<9OHpTU{RgbUQ@#~`H>-KIc-9u2) zNTbD)1-dFplPC4!cv*_)5J$;qu4)(1YZ>>D{>lQeK#hmb2^M=<2>jw-%9 zlSx~&k)rHu2P2941Tt(;NDgUKmEC_lH&5e>NDH~Yr~cPD+;!qMiO8NSIbmP22_V5w zGCWPVr6GhnJ5wa`Iv=JQ!tO?7W~yDyYYuJJEm!Ej@*NhY>Zw$ewJa?s&Ay#i=S$J-QY>0`o{_&l$lX?u<@+sq45y&^AI&3~nm$=!JxL0VC{} z`5T!MjP71;hH>)pH-roB_DJZ~dNae1$P3cUZXeGCW?6omr{NgKn+yi+ebOTdoq}bz zqUOja%0BAXw&D{VPzJ|m-VYx8hSIC=zjf(PN3tMU7xMvS=)t6Q^-XR7!_~(_+NN=J zuAsT1hQx^QX4r)`G*$d3wB#*%f6+}tV>y13;cKFByn@1!M3SIQa!r|?UMpgY{VI61 zVDxN|F-Ov4V+$~V{>RnYZ@G7-__r2>G_A2BSrD0oSlsu1s_VV-(Al6rP05P}G(Y@d z^j;rNli}I3OAhzCo%awa@UKI)fkcESTJxKI=8RV$ojqm~#iwh)=*HBZh1E)J&6}$M zzk<4R=oF3~+uKLkvGt{7$~-!d)#&RZ1VvL4ScdC1E7EajQD*W9Uy}h|?wQ^Ma1IZ% zuS`$6xdD%YLi8|$I8|jt{cGdmLd6K`A6FmIK+xhxCXzgT_|L3v5E4CXi`%`$ii;|m zfo-(X=#qA71o$ej7z6;~-Wczgl-Y|dRAgKO@fv$43CV)oRZNk~!CGS@qnEYDaPAg+ zR>zOwvFZuv--4W3I@tdLdDL~q18K<&WooGX`^^ThYI>rB3y39@kVj}ba0O$p7A<=Z zq?Nul;`nEipAMTxj!JYGy=bgs4IqZf`5#~Al@h@pmhjj2`dLNfJO~+lCO`U_fmFn{ z5Qi~6Xln@^0rPU`a;n>RWz;D*-GAc~lpXkzfkTTAz%if2$2LTZ5B^Fo^Q4U+EIxxp z9GZM=6j#d0h^=_d*3`*k=-Xir)`#FNc28R}$s1=!kzXkE`Io+5XsmmDPOsrpNE9&* ze4SFx<;V(|HVlwEGoeXgTf!H)U}0IXzCPuMJVlH8NReI%0FTA{)9Cg#eOV=86mn|K zYUv`e=A%0rkkPRT%S=K~Y+Z=hhK8c5@0gx_=C_zq6{~dU{dD~HRw|{XGu~D1NXYaL zWajsCxX!kyf;U%<;MZ<~S!h(d>ZGlz?;F~aSM<)HwkPq%WRqI(`v>*;fjO{mLuQXP z;z@58L>~Gp{DII#dJ+J=t^m5+(1J~B(RbYA`r`<7kmK2_0eZ=q)?Sk`?q=uE@Gy37 zSS1wY3zTISpehKuAySB&_U0)c6!m@y`?iD-Uqq)1SFpOu)fJo@@K6^wRBG~VYE)ie z8t&o)Yc}xp8=u|yy2Q=d1MK8vf0|vL6v5at zEMg4Wg~)Ir@%)x1-ICn_ffv5Fx>5OYy=f0jP%;pC)1iCmr$m6sFeSP$o=N6kF#(O; zV(yP9IY1w>_^W_~XCNd~AEK11Nb7Db6Io0@M9o{5G$<7&zSU3nr)8nGdx~xWp$R9I z7Zcs>B)H;cfL523fe#Qcx^{%Dd)hyhK&k#rX1QhBnt}`I#WxODA;RI%EXSWB3W}_- zD`u?9z-mh9YMDSyuSmC|^4;??D5OczwYouv3G=<2xG3@ZlGpvB+_+)>;IF2^T6%jS z3OjI)0Y2`e$X!(1=>X=H1yQ&c8n=hp)sxZN9imh^FQr3zF+di0-{Ab4#yE|M4kI6; zcuQE#PLhv)s8`>cGWrS$N~LzgsSjrJYmo?>iYynF9yAUJht8R=1OxMMK*A-+9}bA@9N1XoDW>`CaqTa;CX_X zO&o?Gr+D~$$Qqf82aZwj1A4+c1Cmn3a<<~4>OGBvkrq#83 zk!<*vJJd~*yt`g$7WYtrC?0LwI-6CFYsg1W_tV!_P0(~TF=sT$fCz>ug{0jlNDAL# zx2vsp{-Fx4&Ltp^`1Q!!JK5zmNe;nYjjJeN#UnC4mc6xr9^OqZ=rP!z2r~fScqT9q zU~&NI;;H8E63Tlt8d!X)BLa+pkLGcA?@~^2w#f!118U!gl<(dd5}mRGW)e?=?&!m= zWQy6RwI>8)gB8M#ZH3CHULursDsbBEdw&{He@C2CZQ{P3+k+Z~1Rqk4%4Sc# zZ7)=?ic7@m^QA#Bdb}Pu>DvteFdOP!4^tEpMouxhF2~SEQ$e)n^$kyW7qM$=BbhYWKC1;EBh9bmpSo{2~t!C45Fy=hUT)ZYe(4-F>INZ<4mht^tBvus-Uf zxoY@Jm#D^^poaFcKsXm$Rt*-0-)n4Ar3435J%KUeBtN?!a~3L|OZGEf$|ttIt)_*b zR(k|5)2u*wJD`$M@=r0ltjsp#5unuBjxUA^xy_vHH(TsD${L1!xicIKf-MOQM3@9r z2(CnOHBOW>KOh)`INgE-hTs4d?_)Xa-wPlhl`Q(zDjk7M1C6h9iLLkZb1v#?P|)vw zMyNALs@9PeeZZ~Lj3PsQ!j;`#So30WH*UwQwx8fYm%g=0+ifuItQFz^63r=LRf?Qe^WhcMf7jJFlO>$U-saT1t-0XI>=+c60&{0!9k0zwlMG-#G!R&z1>U zx{^wk(p0tF6NRP}7h?p}1b{7zBkzi%Xip$P^M0A;A{n=6kNCV+q`K19E*5e0&b!0C zPzb%Sh#OS7?@VM)vxd%4IRx|q^CFmvrOdU-^<-GQ!W2{|Ear6;Y@X$foVz55|kbWc15Rblso) zS-&yX+O+;)dr8A4b(04Xk{6~#F14T$WYeWYPJ@<`^d*rdPI8naSSV3rRU zcfT!?rf7cj6>#1&U z2+h!)3-Ssah@570<*%Jk!{_A~SkW&Q6Rg;WC=Zj4vxpKzN+7eopf-d4)OfR8{7BSm zB_5=i6l6R=D~BSuI@QGL%r(i2ZTgFDvtggNRt3j+A?rW8+qg%<(Z1lfW<)iHzMhG` zN3w9L&}swgI0QG|Co(_6-sOX}(8fGRJu=!#h-lU+L@5_r?RX=n(z#Q zCk1M=b5_~FxWw3l06*5J;{m8>!kq4htE|=Zo4dr%M69hg?x#>%RbDi$gB+oT@KS{OU25z1s_8cC;+5|U88nJf zqpvECHI!o0@vm_%IvGD!6V2AgSs4&h&|qrCTXBVm`85+JDo1&u2U{w} ztzqZj**2qfQ&F{z3XVmq5VjAO3B)m}OeyZ5z%(zZ+GSkr8KZkYuE3xaipTBTsAk{l zFSbeB(aNHotINB7%cONA?Q#KjZ8t~-jJmv5tIm^!QUqnF)UQ|vJEqluhKsM_BigW` zzt0)N-l+fmo#zIu|L=1G=-}^j2^wwu{V9$GGyi=~frS41Qwafh{PSSYw$*>1GZ3fw z_h&rv->HFT{}&)YfB(f0Ad3Hz49Xe)%R>MN|L;uo$fM%