From a38857a6a099d0d94184a50093ea6ad331c5c52e Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Sun, 28 Jan 2024 12:13:06 +0100 Subject: [PATCH] CI: test 8.19.0 instead of 8.19+rc1 Additionally, delete the pdf version of the CI documentation, can be build with the Makefile. --- .github/workflows/test.yml | 54 +++++++++++++--------------------- ci/doc/Makefile | 12 ++++++++ ci/doc/README.md | 10 +++---- ci/doc/README.pdf | Bin 63810 -> 0 bytes ci/doc/coq-emacs-releases.org | 3 +- 5 files changed, 39 insertions(+), 40 deletions(-) create mode 100644 ci/doc/Makefile delete mode 100644 ci/doc/README.pdf diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 0ccb501a9..79eef69cb 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -131,20 +131,16 @@ jobs: - coq-8.17-emacs-29.2 - coq-8.18-emacs-26.3 - coq-8.18-emacs-27.1 - - coq-8.18-emacs-27.2 - - coq-8.18-emacs-28.1 - coq-8.18-emacs-28.2 - coq-8.18-emacs-29.1 - coq-8.18-emacs-29.2 - - coq-8.19-rc-emacs-26.1 - - coq-8.19-rc-emacs-26.2 - - coq-8.19-rc-emacs-26.3 - - coq-8.19-rc-emacs-27.1 - - coq-8.19-rc-emacs-27.2 - - coq-8.19-rc-emacs-28.1 - - coq-8.19-rc-emacs-28.2 - - coq-8.19-rc-emacs-29.1 - - coq-8.19-rc-emacs-29.2 + - coq-8.19-emacs-26.3 + - coq-8.19-emacs-27.1 + - coq-8.19-emacs-27.2 + - coq-8.19-emacs-28.1 + - coq-8.19-emacs-28.2 + - coq-8.19-emacs-29.1 + - coq-8.19-emacs-29.2 # CIPG change marker end # at most 20 concurrent jobs per free account # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit @@ -211,20 +207,16 @@ jobs: - coq-8.17-emacs-29.2 - coq-8.18-emacs-26.3 - coq-8.18-emacs-27.1 - - coq-8.18-emacs-27.2 - - coq-8.18-emacs-28.1 - coq-8.18-emacs-28.2 - coq-8.18-emacs-29.1 - coq-8.18-emacs-29.2 - - coq-8.19-rc-emacs-26.1 - - coq-8.19-rc-emacs-26.2 - - coq-8.19-rc-emacs-26.3 - - coq-8.19-rc-emacs-27.1 - - coq-8.19-rc-emacs-27.2 - - coq-8.19-rc-emacs-28.1 - - coq-8.19-rc-emacs-28.2 - - coq-8.19-rc-emacs-29.1 - - coq-8.19-rc-emacs-29.2 + - coq-8.19-emacs-26.3 + - coq-8.19-emacs-27.1 + - coq-8.19-emacs-27.2 + - coq-8.19-emacs-28.1 + - coq-8.19-emacs-28.2 + - coq-8.19-emacs-29.1 + - coq-8.19-emacs-29.2 # CIPG change marker end # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false @@ -284,20 +276,16 @@ jobs: - coq-8.17-emacs-29.2 - coq-8.18-emacs-26.3 - coq-8.18-emacs-27.1 - - coq-8.18-emacs-27.2 - - coq-8.18-emacs-28.1 - coq-8.18-emacs-28.2 - coq-8.18-emacs-29.1 - coq-8.18-emacs-29.2 - - coq-8.19-rc-emacs-26.1 - - coq-8.19-rc-emacs-26.2 - - coq-8.19-rc-emacs-26.3 - - coq-8.19-rc-emacs-27.1 - - coq-8.19-rc-emacs-27.2 - - coq-8.19-rc-emacs-28.1 - - coq-8.19-rc-emacs-28.2 - - coq-8.19-rc-emacs-29.1 - - coq-8.19-rc-emacs-29.2 + - coq-8.19-emacs-26.3 + - coq-8.19-emacs-27.1 + - coq-8.19-emacs-27.2 + - coq-8.19-emacs-28.1 + - coq-8.19-emacs-28.2 + - coq-8.19-emacs-29.1 + - coq-8.19-emacs-29.2 # CIPG change marker end # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false diff --git a/ci/doc/Makefile b/ci/doc/Makefile new file mode 100644 index 000000000..24f86d139 --- /dev/null +++ b/ci/doc/Makefile @@ -0,0 +1,12 @@ +# This file is part of Proof General. +# +# © Copyright 2021 Hendrik Tews +# +# Authors: Hendrik Tews +# Maintainer: Hendrik Tews +# +# SPDX-License-Identifier: GPL-3.0-or-later + + +README.pdf: README.md + pandoc -N --pdf-engine=lualatex README.md -o README.pdf diff --git a/ci/doc/README.md b/ci/doc/README.md index 9414c5920..e1744e3c2 100644 --- a/ci/doc/README.md +++ b/ci/doc/README.md @@ -162,7 +162,7 @@ This results in -53 +51 containers. @@ -182,7 +182,7 @@ containers. | 8.16 | | | X | X | X | X | X | X | X | | 8.17 | | | X | X | X | X | X | X | X | | 8.18 | | | X | X | X | X | X | X | X | -| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | RC | +| 8.19 | | | X | X | X | X | X | X | X | In the table above, @@ -280,7 +280,7 @@ This results in -36 +32 version pairs for the Proof General interaction tests with Coq. @@ -299,8 +299,8 @@ version pairs for the Proof General interaction tests with Coq. | 8.15 | | | | SUP | | H | | | N | | 8.16 | | | X | X | | | X | | N | | 8.17 | | | X | X | | | X | SUP | N | -| 8.18 | | | X | X | N | N | X | X | N | -| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | RC | +| 8.18 | | | X | X | | | X | X | N | +| 8.19 | | | X | X | N | N | X | X | N | See [Container build strategy](#contbuild) for an explanation of the diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf deleted file mode 100644 index 47479307bf523f2a41815916d476c7fc2449b451..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 63810 zcma&NQ;;Q0w1wH#{hArEzO{2D zsl137Eh8N(fOKlPe`$DaZfFF+$VtFJU}tCv;Nc;l7qhT-HgWuKw>EG#5iv2cGd3Zh zmo~9Ab2cYn+0n$n2H?JNtT}E=!VcU0L45&9BUPlDH~()E2p89A zCs;F1`QsPOW=XB$GVN}fAOR=lrY1r1geR()^mczbkgAvS8aVrOczzt?iWuTAuSkdQ z#{>NnLT`wu$u#UR|BYOw%lED6+i4G1n?>E<-lZe>vAgkhGxyn3{Iah!_=L%+9fIf! z@xI&kev{>Nr&?@0?xE^V+>O(=h@4TGzl>u%55=Ov-~0W2XQlDy@1%U1sFZ#gZMB#| zgJAfj6APWRs8UcjnTrCrvQu&NfZp{4tq@ZZ7T1{o)1-mI1e1-yZ`=q|MxY(MMgq;_ zLE2*8u`-jT=|E){EPN9v>c5$LXc|pz?_V!NFjZPZf=-nQWoWGhbM%W72jHHh!OUR+ z+E7vIUCK3@HQ|1R-KOW!f0@iOia}5E7)tacoM6al*%KBugjIi)G>^8jeJpW)e5z%$ z$N`xH90OX$d|~&_MkVi;ck@xt^nS3PZ>3H{ z#VOU1logAWAhgKKiK81985kCkS{F)3`c69Ef|-IPkoQ&UAw=z4L}~a3wq@Ie&p&K6 z#i(sFK>|Y_nD{X4?V_RHkp?w(qYI1@h_YWH)z2OHPQXx+9UC=-!p5td-}+nL2#M_D z@I7H+@PTC-7`An`17gQR0$90g6xX*K85o8z-#A+4Bzf3h6ws3XuzgAEEhK`;MieZB zHL)Gl%vuEvzdmvvNESAAIue>T+q2;X5pat^Mt9%+Sdz-Q>??`h9Bw;IozGkODc0N_nTDZj3gBR-+(Vp^R{qYV3<@gDy|XWT4i0-t5DmRU#}j|Rm|vl{&# zrHS7E;S=UMF@ip78#ovIXOcw1p-@9)Yzna<*r8~LQ6Qu+ZiPT^2`I8R*$!45v1j$@gCP7 z2-TW5fN_>?)*}X~kNap&2I4I8nX*6RNZ^gCQ9=VpC~xml1#9&!4+0^5IBLM=8DF^~ z+Up4H?M#?JIxq>04?A2r4I)m5W3<)6KDNKzDqiH&QE&6)HfHu{Y+{)3o-jGT^cMfz z8{)RMKo_QHX_mUACPvEo^P0oV!Uh|4Pg_xWnjFaDwRU%roggomV=^MIx?#^YYbJvc zIthm9nDcK+qs-K4`byhILKr;sM8@7BTq}7QTz-xeJHDK=HHMt5B)4ibxbUdVvYYI( zD;U^BR?f7NZ3nKqY?RiL^@K50esT(`#4XYi*vP))W+i*pKM^_0z*FWVoQ@hzZW1mN zdMkVaa;UnKwUi`T#!7}5XpF)QGbrK+pyYrhXAY;A+uc@p54Rbk$5_z=)!L^cYdZLa zt;1g0PdRik5~r75e$NbJU@_;dzZq43eW@r(Es@aYUqFN$)zH#Qm*TRdry z-M7`=CvDk+(4;Ze^OXZG+W(T!K9CPYljQiE=>tDfvSSx$NCP z?q<=m$(CexS@zISwz?cML;h<$JbzRw(ovZZ_z1n>Co4YZe9PsY5c|N}`F*}t$N3OdAs9p605@lgWA1EobT7~~=I3py^-P6jJXFQfX zdq_UpEF?;L7T5p{H?|T6n$1)y`eAzvgvOEi%m zaBnS)kln%)PQ?n@F64N%%TvpV)85+3vEPOr%y=pEm|6+ z?w8xta2LB&lzPvMlu(z}zQIpM4T(BRQY{H&mdys{9ZT!$`ZohX zBV|+4RZv)G`7wS;Kb?qipTMr8coL}xjG zmg+>;4u!z%bc=g9p&jafmOJ_fVbKPS5NX6fmf8%N>wL@=;Uk-H;h3V4q+}8A4L|GB zkF56AO)0Di4G8ZO|I4>Gz zxxs7Z2{RO(pgEKXk5*<47G-)Yg3+7fC>l3E(#S!vBhBQiprBf}wqgb1X|+tZsqaa) zk?+meXJp_sZ#Zy_z(gnr{e}GWZj1rrH;J*cut_4R%2Wt{Q}1S)cdfv!A*~SX3F-Zi zr!*w)wNUH@eE&K<6A?KB`uB+B_)BbX^CJprx<(z2iu7>@xJsQ_H3PHmJ%VlQF>xsP z8T6xLzTzRV$vGo8R>6qC&xwvC=}tjfdsp_rU;m)!;-tsih)|%5L$6s+`+~s~hdqT` zj+ht>H+Q$v7O3s=^j$Yh(-P7(F%6p3#p^)uNrd~g2juPh&*5P$ZKc)o98S4B+wC@9X=1IUso@a{`s z?iRv6%=WR8c9OTeCbO4(a}AQ_~#{a-K(jr z`VdiIdi?-pG?dna1T}4nNn$>F2USM(O{5!U=h&RD1c&OWYKpluOCWddz%jzhK4zPtR+oM^G`W8Hm;P_<7n)+Dfgf$I zHPC5r_{ssaEp@)Hy#k0+*A?lV{2_P^RF&r5ONszB1R{LiN81WmYg}>2)dL0M!X5Er zNKC^9F2zOH<3wiY>T(B|*5!-q6J$Yj%U1sgW?nx+RqZyqsQ(T=(Lx)YTtUd@JJ1yJ z0NuZ`V+Th`M=e`-qT-S~&nD*c1rBq9&!dl>3xw z8B@*7AfAp7tv86_sT1TS$-;zgjX<5ZprUi~x8U&qvHR18{3)soE$l?UJurHoURZ41 zeBNmz`SUb5k~uP+7pQ_1gU~`pCNa9;660-pZgp(E3s|UQHyIx*l2N@Bf{dL}vlU)7 zXK}wL2>M;^bub5FZ>(TM!c;&ggGpQ3boc9E3=@)aO|Z%gO#?!GnrEQ+_-KPBlS7AZ z6=C%sc;cB=8~(vlHw=Z-98By8`$4}4c z1^A%krLN~AYfJG}Bg~^g1NRV={^iM^)~UrA8#ry}PAE63E^3V+!dXe&-DZoH9gu;l zva@)t9e8Lv<9Qyot)g93Ua@ODth}2wJ{d4!9@ds=w2w+ok95AUkY4?FcPUZfI+fj_ zmS%{ukGk1cv#VgWGTqGEsjgwJvSzu^h}k|1Z}vn$^LYsn%dvrIsKY8MztFc;pEHj% zWKMY{(U06;wyZ`o{#C70S!@{aIM5A(28C}Jm(AJG!Bx*a$Zut9{Dd_V1P#6ms+tG6 zKcC_Lq`)pzQ5+Q^mOzVF5o1fS*7Rtw`3Q%|Taj0`P?@CnVGS3Bl^r zY9Z`{t!MlmD5I+Dj}ACSouLESNgk-08qBycPjf0!zCgK>A(Nh48#ckKjjHQ*8PryEzVM>uBf zleD{Cv0Ue;p_B1_~}?XCGE*IiJn$=V|F0vV9@r243TDrpBW=qJ6&(yv+tB5 z7Ar`HEll&;FaaXq-^}U2%9(`o2J6uxRhxC*Ail0!=){zvmT@c%TBjQo7`7-{^$W}a zXteKn8^hk+36)up1JZzL@N(){Z#SmI@w>0lNx%0>mQ(i9?LX4*B3)l!r;|5+Md^M; zy}P!S5A(a}osB~$6(l#!uUI9YnH)lB%f^wb zxFO?RUl0jY_HD0d>eEtxNhf7sV>A1^Z$K#%_U})Lp`$W+uOxRk1p{OPW~kk=R<(!Z zA1R#LPz&^;7Y=7#Y$!T3xL7Q-65$?aCb#vV+})p<{)iUa#rkzv*~~aRhdr-zxTd1| z&qw_VM5S7v-ACm^VR)L}pg7X`H$qDd#{&bZ-x}HK%}hjOY`2Nkd+(0xkbS;~)!;t& zsH)vLSW+5;@a%k879!WGVnuG0Ys!?zbKbThRzrWHxG&3KcOXAe&w=pup?wcDb$sx? zCTUk9e*(QeO+w!GukHpf5DER>m)@~tuMtY+!I!~&@8@3`_$3x0*q~&8hJrVi| z{2NGWp-UF9Yk3u2Zz_SCQA9rsH9tWl?Zl^cjBk3#BE(X3ve$Qhg}tf+|I=WwGXEb9 z1``WA)Bk2LjJazre_VL^LlpMRYPw81EnjGxl3j^@Hk{yjbv_fTR7*EEl2C$E-A zu*K)M?d6lO_-Y(|-7Gs52Sfi^c;@^Oqu>`SrDy98X)s)r`&-FZJ@NX0b*BrX8?b;V zw2RCFtmq+!qTKJ^KklAH$IzcA^<9_&%j_vdl_kD`GFhEcIVc3ie@j(DQz(|2`-<9kib+Trt)^8Qi^jQv^93wF#{61XB|nh|3Xn+X`B zzVLdNQn@2NVMl7ONs)#) z#YTlj`K_WklyiM=>1h?k$~`_+EBYWIXiPgrbxR=NB4;jC;B$Z%me}%@{$vtm?UHa4 z&p~p1zdkXe?mBf!Wv{K`0j^h(wUElrMO`|Cx_*?^YpJ99muIvvVF;Q&8mvM`LF9hsic|jE@X|jauA#1iaGw{Zkbx6|nKB^v4UC*c z{Qw!**ebVeBCu(y@Y%b5`(^wJ?r8LCFnTN4Nrw4b3WW%#0tpgZh2U0%9p_bI-{28> zfVBiLR)GtW{~v@B=M4#wcoS`(ss2{5i_?=U$D*bQiPqdhQo(*m*df5yGGtL#>h6j7 zNRUgwna#sq$v$Y_dJSR{;${_(H0&DR)wcrMlF*W${6{@VQCAAWa%dL#Pt5hcaR}#; z;1>@`UpM(Mo-xH(3^iw*>W)J zIdf6_XVWgk5u?BmT8K(%!#Q#0L-k$M+Ie7FjhLTpht#<9J3?}RD1oQ*BIf_HV0R=3ZlyN}JmunB;;jYHF}L zN3IVI1-!{11q-^3Ue68b^e*4bRdk^IDv9Z|63`h;OgUa z1e@>t~krik@HG`two(ZWbP6FgOkKZ`hu9b@KDGArwn#0A1eNzRN zVI^Xxx(^*KM6&%33;kNSChzQNME99@gl3K?t*w;OUK#7JbEEk%ShO@tFeaEbwb(P6 zd6+~S`U1^n@G37)>z$y&=-vj~=HVuW7d_d8zik|v%RcFNB zHm7$Of1}!qf9llhd!`HM6}SRwu$DugS!8epP)cBRWG`PlhOAbgc&8bVgHE_gO0(Z&Gb2CA%al%0PDG(>5EjGFpVxO(@2g5_R(l}4qQm1}(4>MFyDn=>3+ zHiR@>PaT%e6+10{bM=PX2po-@lUBo(+f8PK5o9+pxeD;b zMs2RtDhnB~J+71r^yuD~$BIopXNRORNGZD0%#y$?+4h;(SzU;P{2kH`PH|_yD&}qT z*KN%2(p47ik2F&qTqmk~VBZ$(%sU@>feAk;4ATuaf0q4)SsK4W$$Qr^RR4zQefDD>#p^tmP({YPb!HMWZj4l-Fu35`Ua%Cbc)E zT&y5Io3U4elKjaesm3z}fJvyu_?cU6Rs$=EKzG}-#3=)*-dR~W(+tq&D!q>h|W9j~*+DG$+N!OIdT4noOt;%FRQ>po{9IIU`&)Q1w68&+sgE@ zefj`CS!gYO^7ZcwhpO?~MKbStXw!wc4e`}XR1fV(SL4c{$aqJ}iQ+(PdX@~}lOyxF zFyrAl?Yu&}m=DmnUlTxVz`t>*tJIlI?i!@h)GFsioJy^>L+iDZZnU}`+t}ys#0F3O*5Y98Iy7^fvkvW8@^JnlYZfOwlnGX zi{=@%NL^SIrEkSyl!QPP?v4(R}M#n)1p<>E&MEe&4emDTo148W)nZ&{NP^x-oK z`NXmOlvWEXnqGkM&`mghF1YI6+^wh8kAGzx`w|Q@Ab5)xj&)~|I`Fj zT*TmeX|R9#{zU_YZqGZr?lJ4a27-N|(e0td1|C{j=-|Wy!2fSrSZT?D%dG87^}60w zSt4GQSNK}ZB@60pF2uH+n`xaHk<`4X)H=)eZl&Gh!}ICYgz(7d5%BBAuJ=FKcxrt; zj(vStlo6|RX#Fu>!>^|s{Ir+c`F8m@-akE7+IbElVY}KHvc_u_@VzmX$t9=Mx~5-u z#8R$K(Hk-8-VuS%4C>fAB>`ojl_PoDM9N43ehGw8u?g1CWCWK5{v;q+XoU}~e_IyZ zN58ogPqn|P2-{o{nun=vj z&_2v?2OR6!k=Tdy0jwLAo6-KO!^l}{Ghvfw_5#A@MB~9zk(k#wWCd0^`?=d1brT ziCgv9+rM5(E??~AsC*}7Yyk4^K=#t8IzhXi&-cd%`n&PogVRzO0Q%PRZr96Yi2_We z@aG5rCV$TNv-6wx`@V4c|BH(U&u=%fD-s|(*0Kfi8`imct+{$dO{uSpidgvkx9?R| z4~q@mRjIopCfdmT{(s9RHR;_J?}w0fQ#&mr(9^IWBq9S335rQI3`Ht^2PkM7}j)D{!*{Ai=z>roT zu~9eAZ3oH^&pthASY;b>izxFSK)y!2BY{V&7oN&ZST0eJf*0yOv?d;Fi6{24UW$3J z0ZeDXn0KI-DvC!b(xPdia>}cgnd9Qq%lgFQ!D}T(D)a$pC1Ogf)uld^4u(oquPC@d z@EbWTq_7OQiJ(-e_xX(yP*p-_Fyd?jD`ku!CQgD2AuZquoxOa-2fVkV)$si{O#-VG ziJi! z;{Ltq21=q|AtB9@by;t|tvZFAqm3`>$(jG64E+Tt>xx<1K6eksdU#_9Aq=dY>^|=i z!VdR0DNMfzINjOb&zc|^mHt`Yl7rFVPR#uCQo6ejP#L*;&+gI<9i7h0uA^-o#j40( zoy%Mipmvs20gV^;d3V(efXP0WFTUwwzM?u~|Gmm?@At|;NQLjxS_j4&LyG1lhi)O# zz!d*b3j+C*Y3y`T%rCLvhPxP(r5Fiy$_wp@pxbVm*s2&-ZS2mD3iBM#=^igk5QWBRZvwwL;|zO}0sm7$tE_7spN!z_k5p zy+ti6uP8H40!;*_DnUMDPg+XAe!l-yfoerQn&?~+`lmW==&8^=*7jUl5o~r@XbIbr zS~_>3%B=g>L@=qfmk?5?mE4d<&ZjbWiV1hIzpG_(Vlh;?2qSTzWk2RI5-k+UZ2HN+ zDaAk$^8938I#NVAZp6qbjhdK$Rf@W?E|c24r7q&?K#0~O)4R>b{KNjZ59Z*jZ~3`? zfYs^Wu@^#CT;Fm;0x#}B$M~(r(~{+^29;`P%&SS_{XS-^*-jNdG*cUXx8eJ)<${Tu zjcBZLoZv+inGKKlT)F}Y3AkQkyrf)piV3Cg;w<$fna(8`1*3JQTv4h)NycM?ChUu^YE)e zwr2*WCcdT&e4(^y`eXBN?@fmE-W)5*W+#tNsO7p0?<%nVmYBNAGH@@Mu?M8^un^@EkCzmCTD|JS;+wr3p9}8{3up#PI}W&)v4LRIf>#Aqau$ z2pj^OzaV9$BjG@s(pk;7hM%_N(g)_3CHa8hR6gFBKb|c?JPFt(B@K?{?rfTF^XJI) z^OQg`9UYf!YZr+fs)#esLgE1N{5c$O{C7^qeD*}li3xe1i#Xk!qBe(6heTIkZArw0 zco)U?a)ErAUtH7lU*$TX(y75>`##m=$!omhXgnQ+dw>oYCl)`fJT8UVMX|*1?-#vF z@b7OUK-9lRK^!R5S9jTtS79BB_3L2?x$7>DJZ@Y%6!YY6Bb17*+zm&oc)|--8aKV= z%6gL{ol$L7OH|fWI<{)Yd6U@SlhuaS4z!E0*1Z66Oxl}mHLS+U0iWFlSO4VS?_MWg zFfmL}iY6y76r8E}OD#uHPgEOg=%$W-k0D{)-TW@^szoK%af^;r!$_*(n9&+jttKwX z4D+4*X$&wjISkaPkjSRI!%nH|$H*g*KkT#HwjDD*N;zZdWGNt>2j8B zv9-%W?YMeIloAwt6IQy4AInU2NAjv65YmHm=BN+USOSY5B%@fRzSC7R^eN+GgHxMn z3Bos+TI~?29y(iX{`d8}sxKH#-P#U9RNT47gq{i7E-f6xk47r#!I!(QW;qx1`fz!DV*b*QJL6HDi!>mzF?y5j} zt}8e_JI7&`s6p>ro`nqqqx&%4LK}(8>-HX^L2AzF!J6qoTc|09u0InmXg936mK_#* zavx=A7f%LOA?n!XnZ+}^v~Q{Bw9@TqxLp6vIOr~FyU@jmAn9LF#&jt*kG;tBRo*8~ z%*Jnw>{8N(x5XUJAC))`U4_xo!MjRnP~dd!l4-vL(oSoI0^lnWj>qp`t>tM+Eadln z-d=+O)zTZTw4YsT40@_SdSYv+PtkP^Joi;zulC@{QGK6b4}(=~M);rG@~OEeECI!J zx(|9RJ5!bqm^(Aa6zZ(#?s7ey=^BPl$=vxj(=-%SIkO4ahEh#t=U}1Eir-c`I~H8! zkLCO{<$EOAd(+N}ZdHrpD6Q*ueK3&U6oo-5VhZ0mQ3V4wsUQ!jd+`N1 zV&$?PWV{Dl2;q)|Xi_KeLI0cE!4>U4huwwgPCu*A0|2^3w_Pi(^!N7uofDt5XUSwQ1 zG_h~`XaUDlUJf|d(0hBJ30|d`8cmz{-sUP~6QBa<173-bpFhZ2`MbyNy?(sk-sN3k zhzRo5`F`#Sf|T#Fx0Xtz5oANAB~SnZ&u=~-Ph`b+iWPQ>L_@u|@1nwCg=~BlxVcS5 zoG%;&2R9$ouh`R(cKAH0Wz(HWw`C9E=(mX>ObKQ8%#tM~_nemLOfXiu>?L(caCF~+i|Iw z`H#G*fDM0s#M1=kL=!*!n;OlC5=7;Jmba$U@XYYdn*qNaN1KDX9UEhB+mqb17-Of+*~^3eh^OWFI6{GVxh`UQJ`);l!RlSHFRIZAt8=X z(jDn}8y(CO_U~EmPpy+#BGE!SnU!)yq=6S|yv}eLn!#F~iVx0bi;_fA^Z-oV?(+4k zUDd6Komt#ts9wnAnIGgIuVtUE>2WqO%(&!s2W9-ya#?{e9zJ}Am>laGeT4QJ&AdX% zuKx1ry&`!K8OUIO0R~W5f~fKlZ)gNK(@4+XVJ(8ciuF84oRfOgjXKi$h!*UeZiiiw zXV0W2Oxw__GWGjW7v7`DR6V?S%5Z*jw$(S_cW)7eUgB~ zO7K$~lCN?|G*t*SEy+S|1!2VHiQ+O$TVyEPQe9q#u#p{2dF>M!ej;#C(`6EH>h5kC z-6$O<+z?|WA88vH_?CVUYo6FwK*F zTqG^7ai|>p)%rbTZ>yP!xK1s{Q!6iAFjkb}1UDUD75A2lStIre0%!q`%}Il;MiE)> zvtT`PqA9i>F3b9OV1 z-Jo4lNjArcn$TxD1`Qd^I7{wrhx0oBoXe8R>%d82vue<$boZ-^94FB@IdP=k>&(xL zUhEKD(9PhyL<-rWf-)FRVD^)+h&+GRyB*r|grcr}B;0se0n|mnHqAX(J*( z1a2KX56!%+RQp-{znolHq{AReHPag(l1>FKg=rp<|Dd=g7Gh$bir$WXF;&NE7xg|l zMuW+9j%CrGdEUYsjm371#p_vF^M&5KFkdW`$GM1vSIE3oKAI4%mC{36EYD{7Uq~Ce zqHlFQGPg&&t`~?;a1OTF9zVa^oI5*RbPwaG*UbxwQvT%9yvFt;uSP$bqwu9Pg%Cy8 zmiPK3p}l#9uPG5im+x^{M+#SP&1@WajFe?Mpt+HLKqaK&UXE9Zmw~J1;vCQGv{421=iC0>FQQ7X_14wcZzZZUsGLjqu(k|_4+EDeX>NoJl$?`Sg%M= z^^r&eBP?7m4PggQj5sqx53h_+;(Z-L3&Q#C&E$<+RAClpXeXv0UFL-<2FTwVi|IWVwo2O_Ju`~%QNRJ+%yr9MPY|MEj1@Ong5;(fez0XtJyWX_&PvQwv(!^>2 z1W0f^2aM^$n0OWl1bVpB+#Pc@bXMq?jxH^))C~k!H%&9}JWI!d%0LrFQ%z7A&BEDT>$H%T)qgUqwk>JE2@ zAe9`mZ*0SaJ0keWy4T6!j1*#BXBn86Sh-AWQ1)&mPq5L(HzsB{apP5hTeLZb!sh%` zxSn|=PI?8WQZLh%@ZWJmS5~Xv_JZ|ir%fviGfYV+W9&v62k8w-CKf_$f>=5JMVw4v?R3>*g=LEGlr9cgqUI2^Y(m~kW0ReX`n8mX?N?Wg;)uy!Gg36^Wg%v5Y^qP#DPnWH{5`Wtp+}x)W zH-3_=cHIO*$8a&Zn=(B&p{lRHNNkHE9HU&F<>Xb@`10kI*5`z&Dv20k+powf8``Ea@AaC(7#m=V@{vd-u1=t z)bxc{)WUr!^trS$mbCD)sjP5P7ymZfl-eQuPu`(KgPumXB!DcvlhmG9|A(F)*;X=K zKgzLkf~6zuwuC*qsaC~gNqNcVLNk3;7ct{qll#9^!6Z#}P6QNeeHsJky61+(V`z7% z2;%d_B2SCfmW_a??*JC)%ncg^9ZjOmKHvP@(gt*xWiHAsI~xQAlng1IbyYkUC|Ozk zpNEm?yFOVyly(HM0U9t-1C*RpowJ*!^CEaCq|jqM6o##j9q`qeI*FyV#Soq)T4+3Q`MbA zZ3(mzvO@kqu9mhy4^Q^WuC{kG;&cN%)BmKnft@mKQ3vQKdQ(5IneF$ZswHJpkU-#>;VM z=+*U?oG8w);OR&GmzZJR2pQ!uRm&ouDRE^=q@)zD;6#5hQ%)DSmwf3y3L< zHpfp|e2^o zJfQ%WA9ZxvZn|gCC@^XEICRTG? z#VS}=^ujbZA#i(V;Tf<0-n&&-9K&qL_a@4{ehe)m$0%{xV>-Py0CBjesmUt$H^3RV1Eu}X-zu88LEXAT*yAS{J zGfQ7$6}=hck=&IR`r>^R%V$R6sEX5FMgbj%Zq&RhX5l3qIQ}5PRB%X0#9&kJulLfY z6iyK3C5jD;?%?;6#ElfUEvKD>OQJ%slP}!*;7Q{lSm8^dM8Da&`$j4^*?&MS4{!^= zoDIUTwt=pbpYR&KN}Yk|Gjz`p&R*-D!QNZS4=7 zdJ*kXQ1Wmi)E(#!*b3-OcLUbE`>40$s{d0Ymg9D%yszJ@H% z!*auK2y@GTf^QuRvzl|siq~B8(YasXP#{%Utj+@}`b`vXrvI)Tx|RxRQlG1r%W0}g zViZ3Ma_E{z+=^YLIC(BNiWl4OsxDvME91H1>|!S~J|uLq|CcP(D`RhU8!TBUqJ&Fr zVVW-d;H?+9xnP4gJ2p}50SICkog3&A(=4JH!d@hqXR)xw>V~s92NVzsK(fA-!o-=ZExPHbH(e)2XDGVUbdrRa; zlAf(4W5`k&Dh{<-h-jTwb}!Ph%imp72CWCDUKQl&+L+{73!h-`XE}eTjutU8#`_0% zT;ONrz6~U)j(KlPSUP;W2d%KgMgq`Ydnu##T?71w{$^34K5W`12wg{NNR#c4^w!0;yLx? zpu$PMIt0w{icBNwAI%G2MZP1~>8De20dQpuT-F3aRzz>Ke@B5nc#ng;yOw$Kio;E1 zVhWXT?*1Bo^Yr;){~FD7X(a%^aDW+OIJm*r`~Kw;m}&PvX`GSa|C%0TW@h?dalBe< zx@N26&(10333!3}62CozK-M_Q8CPe)rt9*{u4;iuM1sjjR%9mzNegL2!Rtf(!8+cL zk9Dk{_vS|LN3I?J&IWISBwm-#=i4lMHQU&3OQ^4Trt;bXv9+$n-&p=1ug^=P&Bt0B zrio#E}2Y4^7M^<`R`CYV?iCW+3pfBVB z$Y`41(DJ*=C%Hf053_cj2~BdU=lT*0r<*gEJf*#X7o67BZ}FSlJphj^-qg(M8uBoC-xJ~tP5eaiXjEKtW5Cy-1endn z?7wdp@+mBEzU=L3lC5KaSe#zfZQ_#8S}wR*po&GR%2%YgHl_BqI!UwUtuL8@9jeIg zpYk(Jg#ts_V0{gUXEB7{q`_)3qNq_VN*8Y;@L}4Inuo(HzEO!k;^!<{BA`&FEwa5W zvNwF@+a(Dcb1dEYU#~s6(Nh7RqQ?MMAZaT8atGs^(D&@nr2yt4YTLSv2871eY`(cj^3ztSsp645T-id1tw`ABp+7r8J3}@F(nsefk|cfP+{7HF-{6P~J9fw7^4e1s~_2M9A+95EVP4p0l>hi(1g4=+mO zd^Z)-8s-w8L8qcx%x(P~iQ4!a^-(B>++DcqdI6c!RIA-i872(^;bF$^;j4*mQHqug zcRUGG)7OLEt|(TTe{fb#)!ZV{z~%%cXXekC}(?2f?HoFrlPklyG5_93~gMTBlh&id5-djnxWEawrXO*+H>I;SEs&2*N@N6r&o0eE2x=jR8~n zqpj2ZRhTF zUBZ;h6XoTH439;imnUXQNosm+_1yrp_2r7ZPRYTuM$+I4#|N~jgFN1?4>?dOuo@R- z2Cf+l;B4C<4kjP+KB<~WT5&vd&8Keyl9ka6lO~>4klv{7K`DxzAklpMIgHm83V+9& z8mkGOS9}l#G0-ZiIFLaku66q$Aj#r6zOEcf8yed7GdUspOT&+@p<>j`8DFSXKmL4K z|KVaJ5z}Olsk2XQ`A7swJV)I!n^S~$zcyGfqq|np3?vC-LnJ&RJTS5cR#7!j62VNP zUC+!vELi(@e57X%Cl_M^);PqopjoPFrzk3~R>0B+>JDa|77~-J_HYIcWhIuciO2mb z!JdF0cM6f{)X>B)eIK19s!Uj1k=^UDTl4|HdipzjahIM@o?VjV3g-J1Zg9IX~>Cl zQJJb>0otTFLT>GL{#AcU^StV(RCZz!0a7~!aY91t zqL?9#y>_7~Zks*v z6MC8FY)0Z+yx#kUpC%CzZ3&(+4tO!41^C##TGOBe1=KM1S&ijl%IryU_ofjzy+KN! z9SUa0_>Zc>5NBEIEgB>c(CeR9!VbJh+w2UaHwX&YjJG2g|8SY8F8UA5{NuPbDYzOH zM_I6nUCio8jWTNB5-&#q66Lwx!Rj)uBo^JdrL^M)R(ezXuq*gpLwykGTZ-fKyg}(; zsU~~!%>ArDD9OvJ6c5SQZ1SbVneg|olACE+stxznj6ie>lM_RJFFxCL$-X=1rnh~g zgVt^D85ucNzf7vVlPK*7aoZm18Q^Ym&V-i7O-AW3+e9^mkBv)oKaR?VL^DTEX-JH| zHycWf=0evZfhSJmxhW1I#0aA}lNX4dE+G+23K&3~`{T~}6#fKbi~*3Y-K+1>`OhV0 zq`uUK@l#jI3+$i5HKXj)jIiWW8R_ZJ+D6D}fdO?|p#Wyfys#4STtzjUaEJbiYGjmTacZBSm0E@X{1|ZKQ;o^hlI5E568wg> zCr0KlZ0{@>hBJ0pkh_c!S&INqGt3))o0o%5W<(Y_75NhkK9_hsD!joTtI#Ji`w3al z?Io?=IHi1BmOUnrmqm?VUfFo#s9tAX{D^-I%`s@4Kka%PrWC+G8QEb{giXZeqhYN1 zSB3ncYG*N4%VT69k^;eK&^2ZxC6nC5W~$hMPd}U7=X`eY7vE+N@{T~l?-EfBoyrq` zX=&V9kp(zQynf36sz`>06lQvkau9lEGNv`9OcKz$M`#8tQuEg5t=AdVIwmsWx`6Y> zo*#;!Ij4rQIoVisv|C)+{Kc^&+@;y2nzL6VCJ)+q!e5pqTir4>rRn5(1ao020@7l5 z)N#9%k(`r0<(jyeZ-4VgeP9yCt*@E#x%#EGYS$`kbn>W?s1*#-0fe`jWuq)Ga<%Sy ztQ(e01uMhUgGQqf{3XHjk3nDl340wC3Tj z%uPqCeTQd{3I$NnT5`1Veitwp+oWy3adZS8U-);e=C}t=5Q!VBa+)s?Qs9{7ee>#? zzS=}|U;qk&>`>4LJX=c5Q(H^kswEAL6#;9JKO1&zGPrg_h^tSL4mL2768!YNo zb*t*UZcom#AbVFTAm7t?h)^7MjNs*X3`Y-(pKh6R%tpnx%z#+_6pAG9?NG|Xa@&A~ zMom7P46(A(NgsT>gtXE4>H!?pcT8`H6JQlSSf@ov6sQa2*bIY{-`Bd#_!q+kR=7&h z@Z$?tn`pZUw)w#}dg$+pn})WQ)S>Uf$MQd@BQk1B-OnU3?{T`3efKoZRTjVtkSf`7 zWeu1Ss2`m@rRMs=W!VJgZGc4j#%wHXFcG6;80r2ABVP4dOpT&v!{g^`9Ubkny^58s zn-PjEm0o?dh21@hxlo@mV`uX1S=MBwV?plEUg0sf_lqK@@yWcZxN@CdV>>w4 z_brWcnwl%?K1QY4BB5XGpf5Owryfw95BN{0OTeiTPlsq1;h0^NqPAn(%_t(kR4}caW)BL{xDu(~q z?}3?(GC=5`aovx^DkWBg$7 z19e~Lk{L(3CHLzU*^vubW!FzR52b4ZR=gD5RCCDxd|;K$AVBXG04=9BaR0VKZK-cr}GrEh*19?lzkeOeR3^w9F~}4}Mvk`XlS3_sRNhNht|u$&$?qn}e;>&h z!FB$&7EEb6^KL#b+h)cN+{0yA7js+JwLQ+KbH;n}M78p zYCg{${Y!|lQq63&AwKHcf>{x?AnQS+4V~*wcEvN1aJGS;ERa_X2zd%SS`&o6O=46u zw<}B1MESGaXwyh(#9jhc9cfEuo-hwYHaO&jzo)?^q5(IY$#@Y!>E`2%Mu#&m?t`(d z_EaF%5WleVB)?W|rn)NYCP@x_%r*6(L|j|7Yes<36`Ri9x_szp91<@JTKcMj#>*pH z6#SIX6OB0e3;)A<=}>(;Kp1!4PfpSeaI#TI_gTXFWjVu&%rH>&b zH<~J)a^#F2)*4$OSXdXpS%{kF*kXl>m>7f0o5%qJuilrw?;vc_MR;$o6@;UZ5C3T= zuAlEvADmq5B;YC9`|P8)2qFmMjM02aq{QSXAojbrMX-w26UC4>r6dD zaEp!=0{|gAo-6vNdKXtZ6!Y3AfNL1?9@6;{7Yj|6J)OC%8MBLUt=06emqr- z6Ui7p)0NUuu1wMA{XS@Cp5~#4*#;YLJeFF{=p`LihaUSv@rtWUTK}C!LRa@#} z+=jk}v~UaO6XXa3iSd;-Ga&^lLO?PF+>`A`8OC0%*$z&=d*FD^66b(ws1mBsrKR|y z3#i!VftuVsf^vFFwD0hnEoT_-ys+vS^3e6!9aPqlZYTA>NkehU?j!$n+DY^-3dlY2kC9OXlm=~339u9b8s>Yy8ay@NHMuB_oi6arG%yC6v&TrbFC2|QZwSHcuONLQe zx>@+~@%fU?O6}cM5u(6UC(15);-uoE*Ke9D|F~e_j<6x~+&bKBb;3s4j1DVTFt;reN5zUVPi; zopMhRLd&u}hH7;nR!?{l2!R)cBY}&vpcU#(oQUr8Nm!&_q(z+Bk7jr)u$5?Zn$x}{ z9Q^7!ev$J1()O7&A z)lBy)>-AaP*Hm)yz%#CHK_EafI7$`kD6{yUnOQ2 zUqpMnI|8IFv8jeC?pw`Id2?MZ7lDy=+ci z!ODvQaWmR${^MTBYQS)2;a&%55n;k71n3icp};HRT*IzVJ%LYN{e)`VrpB_A6pI`KT`{}-=XfV#i#j7?Kva4+R_ilHrBAz557Bv_|KmfirF#@8;(YX}WWT>>kG|V5c zQhL}Zy1M>XJTYZt%2Qy(MlfX;s<`H3zFzE~m zF9WsmYBkR?$Ihm?iZup*7#){jPlzOsvY#)vt@~XvQ2g~rAtz8*+Ug9{iF0@yrLZKD zZNfjIx|^H@OLVQ;RQNg9%4N(tUVYu~9LE-ed)zW~!?tBcx+i1objtK%pW)~%OUc7N zjR)@YYnzh#^Y#VF=om3W_REnHX7lA;Vw*kra#xEL@2FytDi*(4hi;w8NmmQdNf&2L zYNy&&6o(MEN%5?urfF_mSJ8N>gn+=#B^(3_Og!5t&>esy$ugt}TL2ZB>Ih6RQtGn{>^}Jt?oeyNnwc-c| z9(djy7#YN^c|9GPKKlN$sCYRaJMV!Ahn%lZ`D0}=1so9kn5slfWEZKz;Y^!Txc~>V z9w#;yKvNd0GidKg^`L!M6xd$>vaxLWm_@+gYpiS-be${D&pek4|ZB{Y= zVMxSHFkcL7|AV0Km6~46nRQ=X&jWk1SrBZT6#&E;kn)eEIzqWgR!;yaS-yDLZH3HS zs#~TSw|&0my31dDVxC9+JcuGdSs(RH9Bb5B#JimUbO);b zyPTlZ$S%BMN-QrMKygmLs8;6DlW&~{q}*j;>l9Weu5hl)ZN+y+r|+JONAnzxwBH0NM+aUYaTGBY*OmrjodJ z(0kP>asX~^%{Y>31C_w;>IWwKD#%;)6%`3^Ol)ZJGb`*Z(gsUPV1`X|F#5e%b9ohu zIb!N>jEWsuDu7HTZa40F_&#ca<-ln?7)47`DSe#2-gC;hPmAt-tNa?5s6k*4)|lJS z*aN&NokcokZ%26<(JHTkXQwrT+0olUZG?%FQpiB_mUGo&1bQDnnoafUsD*s+&rDUc zd7l%Z$gg5cTKk8GBU;ZhIEKVOSHMj>>;&>WqBN z0nK*7Z9-kZ>`uHdNT1YO4QT_}_}x5-tK168Q~+d}pf-bS-J>3y)lpx+Px-d-V`8}u znQp3Oxw*XXmRp)%mFR1qd1)x%=}cvgl};~o{amKE#R|M7GrS!wfxPF4Z`>7+M(nSJ zv-J!;{+)xTlIf zGP$fQQSc>)J(-MRsl1~IsZe0WKvjI~bIL^$gV!uK3Iuc4?Blu{7=M>9(2T(7a*#sO zdoezyH`R@?TabFatnJx^xpganZ`?eX+hg?IZKKIH!l`jW@^n%xp%0)h5l`r5sJ1^S z2xQTz_m^-;<56xnrc(b+(iCcsZrw^!!a4} z;O(aZ>6$NM6NVUk-+_m)bh8R1vOhaO+HAgH)YsdHCmR$5w-q6azR*UlE)DJa`F_E5 zD8*j=pFofCA2c>)5BtACPhX}3YwQ7WPD>19 zX4FGo=6R)`PN$Z({elRrLt>|ttdi@-NNH_5^=}n5N7tE^+S)EyWk4|*s6CXF=?RHx zS4IR^M@2%iZxyWk{bH-50g4+3$4bgsSeg-wLwF7IgG`TWas>CdljO*Q`RvStc|*?o zpTz}*oK<34qPo^|d2Ousf=JhxsBCTMOziV9`5|t}nv<3G<;RfiT`_X{m zQkJJp=@(APT#bUp9z~$Io3kb?Uj<`wj*-(%c4&_w-6Ofs=qqnP_Q@4YaQKt9Z=jnBKk#^A+kNP^r<26D+6EVhZMtTN`K<_&0 z=it#Hioa(O=l#IKVA4cRMy=u;25l30eT2uncs^ypy{JDEn< zJ5M>B>D`D5mL@WZfdiCs1hKTOblU#hp;A#E2b}nP8pF-?!VEDf;{?ht4`J*_&A2#r}OX)8*zCGX-Ry zIRIE?(I491fvRUt9NN#k6wMqH7!>EDcB00to}{3=FkNZ8*P+FMEY-$xt$YpFy$H#7U9HocL2-1< z1mOS=(?;2IhOQ|PHjn2r@KCzrIwO|JGp5sI#<6^H?pG`5V}02YnL~JLz7a{-{BrX2ldx0=H}xHK(;GOT(EqY`!8{hcm@_ zez>}{D?%e;EKkUyU}!*5l8;@-;BTs~pT#)J%8GKcbF&hhpqpUoI*l-uK611zGN<7U z;|!ODu2|)cteyV-UT-8Dw51h%@z^HmXrWM?w9v z&<2CzZR3M%(~vE;5Mf#~#u{GwcF%kpWS#}Yg0UiO`3xuM&Zl!z?jCGfI7LgN#TTC1 z>iiy%X0zI4qk6zP_SG# ziXGR~JEaz$V9pLInTB;e#ROs9X5pt_yd}RNjW-2Qur&FW>H8XalU+iyABHeNiRqTY1!w`UnNPhv6jm3Q+-6>@qzl9 z5H385v!gi?y1wpHu$!l^qb;1LL}kIK`tF}Q!~0;}X+!Gr@+(AUN~5Lw@3s3a5i7Sf zOeG)g!?u;p-Xpeqql@ebBi9wo`*b!0b@8 z@~AT+2cs4>%iEh3Ni60u=6sUuMM~W9H2OMUaME3p9c{(8L{SJcgkr`TkuFiHyVs*} z4EZXNVj@74P@>2o`=J+AP0xxOd-}r5j7o#Uhw$X9n_aOYik6 z7?$ovgR+XxcuITlr~+!2S;npMP@rToegSQ6$Bw!9Z}8<)~aGiJj_?? zUD?fdP8(I^;bb*W3c~WOhmR9lJ_^)FBC?4^mTF=XWgAGP#ThqCsxK7WsKhyyp{8IZ z_9;n7?w?S8g$s3yx*61hIWAE+Kb5zA4iDVyrjK(b~|4Y z+elK55a1lggVR#nl1+h$%`qoz%HAZqjK#1_O^p)K`vp&emuI_qAv6MV4B!|Z5&@^dPgUH}ny&WL=U9Et2yDGNdBC2Jd75+CRlJ z^u;Ke1Vt)q5XfcAKvWsT^xP27G1DyD9YQYHI~^dytswr>PGpirFUy{=b2XEUGZj*^+R|y!kpnr2@Wm$( z67aYMe`<6wLqf>j&dVllRuTbyI7nU8{&*)!{bXY^=E`!Yq$vK9`q3yxDut+Y49;K6 zJ93h1OVFv@{PZiy7E~%Gfi%79We8nzWAtuV264$r=#)L9r)C!I}2^1*0o`aimkM=X5@xS^Gzk;sqTAFgiCc&8GeV(BdIsOd&J)y%h0k z`T)^x)rU_-JJDB{g3oEJCM+RYvJhiG`|lvGd|`tHQ1<2dB#$m}Y!uK2Y+I)GKc) zwE3hRdUA|tO0M}`b!(QLNBP(W@Y;H&tK=O;EuZf`Q5rlrPE288cEn6m(zQ1(KlULzC7+E zetXI#o)&z^5MlLrH$7M$N}2&P8nc`dspNMSOFdc>%jaFlnn9ZNSnyz289*I{flz1u z5X!Z?%&P`%p2n@pvG74EeKVkB-QTfRhmr{vv0|~D!~ts8UxW7kHe-Pv`Ucm*1iWCE zJluo!3fpn`A5^zKdJ@OGyZ$O2gEr|~zr9f=l)%Us7|_51c2#{(1u=&bn}D^|j$5_7 zz5Lz)!~za9|K)pT`;Rp{|L~c?$N%qLB1Zc9`tb0|@XCm{=H~hUzrcI}7XB^HKS7m} zi=p%X#8pBP!lHJz&i@6n=!O0tV2YjbUuSAIDn9Z^X1F`>jR{teA!+(y<6T=-E%L$g zB}xlj4^eUgo~q|!QEs4(!~_I?7dRjSl=yEa04oQxg9iWw;6oB9$4Pcnve`UoVngvP zc32?Ib;#D$=(VW%ymWp#bOFefExDPoeq8gu`SA9gpcoVsq>B@4X8tuj`o7*C?yk|Y zAj&cGWgxLYvXO_%Yt%^e8Kn)nWQ>kMYM>7$8MbyV7b4x)O^x_!oPS&Ep!#9?a#utQ zGbkiN82r*EhD`WM^wR`1o(e%DYCNI004E(xHJqx?T8}G~S4bznKgp?;l$DV9EuE$% z!x^(GT`MV}(WBU2mXMV=K~rhSqcd^pQao8s+D4qDl{DeqndnzVbYMZGA#9-%ikL`C z09CGI3?h_)u4q(9HJK4?+{j;LG%mSWO!n7$(j;FQx`dP}+Hz7jvjsWhY4aJ7F^M&E zf?J2d#F(6sB7ztrlCZ_p=}og_QM*8*R0h)oBF-Q=6a>Bq`8zH7P109DQFrz@`tu57 z!Za#_xa#guBa&a6RLI-+K9)!?E*Mx8V@%4P_% zUT0mmT6%gdP7gsnSbjp@8qZavS-_cl7~WAUn=BWq1|lcXI{s6aG3E!-2Ac0s$nVbQ zBFYkO{mTMC`3lVP`4{7)g7Kt{qn!hc5~M=q@{)Zwdg%fFh+%Vzx$H(K_?$P(EPHwr zyf?FVbY0trv5G1nW327whqM_=^v7H2)Hv@oKNgAzeuius7DknL6*J)HHMEdS&G*r_D4Zz%_!P|A2JVG z&lDg89x--+f6W-(oU`~8}OU+!@{P+2=xxnAv#gJi+Kxn^fl$XjOeVD z+LxZMx5s->#P6=4v)~zm1i4{LRHTaX4tV6h`&8e=}D#W&$d793GeuatdRh7Mgu`JD5TbB6k z8d)7f||=h>~cUe-|u=1x@AH|#$8 z(swa-*Hms_`cJKL$pvqraXq@^)8|8YWBh8e{z&(Z zc2&qoej#!}_e6Iq)KI9AMrf=FHMB?-uP=GyL zYbvvuq|BOjAD3-5gqt`zir?;lb^uy@4}XgmkM-%|i8M)I*N)Stv+svlo8E7YtdlRO z({$MSqVUQwJBS=BWG4+8490yjvj+GD(3au^rpseUhg~iT9O6BU-pDdNN-Ks{CSq$< zrkkgZ(zjWN?oTZNuU4Zm~0=#(+va}B`W@tfbtvsGKGJj1857sGljn~_2F+x_DToSp|ps1qoj;_Ez@V5Q#2%d3lT@*glczET|#mQqFV)R&F(Y|Ie) z51GtAmq7+|-7+8IQ0}BIAX*;*{3N+CS$B$cZF^*zpaAfP(eB!_m*ld+uKDZ?oxU=@ zt;;nkDHqNoX3<3_pkktd$>z@rg8t;Z{)%=F3oG>o_d7u+YJCkgo+q;F1R%!o?!>UH z>M=5!fY1;#p-tQF??yFtFsagiknXq#9pHTq2K(Sw0R=dh%y7_8onYuJ|FGX!X5!Tk z{@Q)9Y~?BUSCJ=z@6I(_Gg7&=4`EN&>}ps|H*xABI8XleI}Qw&#a##=o4fw7p59vJ z0u&%v+BCXAWnP%EGHka$<{P0jrh0Y4(xS@Vn-g2%++dMy9`#s{7@`3IEuo&K^%{JM z>PJfQ3BwuWT=aP@mu6kMv~Rxe%4HSHx|C>Tdk^^Z({imz`nPoapK1e`8UL}l4G0#-L%d&KE0|`5BpSr< zST;s%9M9`rV+>yKjuCgK>1||;EzFpE1MP)5y}IR&YWXFoLjGyh3{N-uOq;nuJ9%nI z;`3w#)QDV7zpjf0^H`B`9^wxk`t_~cr_-I+!;9Kyv#wQ1p7rE@2X93BTWL-+8QFIo ztTqBI8UeJ2(2{t~H9?PQbO&6VB(?KV+M2M08A9UDqX4A=XI}kFZ4omNLB|z2x5ts= z{mhn=Q3K_&fLId-ab4}Yx)W?}UE$#dII|*-f%`^blJ!<6Z$TRn^`sNLyM2-lZ&stA z_~$0nUgctLAH-ghiCZl~V?V{lk*2;<8n#SDEc%Q#Fm>3*q>e|hq<00=`6eECPQIVa zm`_As+9=$ls4cwF5;Yt%874wa_-KGA#zJtp(hj`K5mjduQj>OHo< z9*F-P`@ic=mqaUZWCi50oAxRbS<}71tMkhhN$9PO6~V^O!qPn~#}YsYF}GD59kbO8 zjhSM_W$LxI_Cp{G=Cnn6H33y=aAAnV+}%(39$pD}WqKo{WobdY!r2g~Ii8p8hXdSi z@OevsKzs#}42`oBCd3D*Sq2v19Ak!~+u)>1`J2dMb&A;_Lq+CzLwE?N#Ar+i%LX?$ zmZR@H^LXqy%VUMBXA%zr&i3;UReR`P;q`J)O&=rr%(4;8zj&%iuM5Qbukro;$>D)` z18j)VA%qCOqvS?uQjs#Es{%?Wak!;h)noCLd?=^;4QLegX}j6jKWm!0iB(Qrv@Zb9lF|!*qb@YVON=~S(IHZOG25r+#=bV-e;3_l+9U= zPK-@aP|fx}O>j3cP&dVM^RuzPU+{jip)guQ?Mt`P9T~?&7r95+evKdsFxp!rCs34v zXu7y->I2OsFl~VinKVkke_;UtAOz_~4r|36zE)n?+_g5lIWxEEmp&doQ-vb3*1xa6 z*f>tKf7^SI>feIerods*wR%i)zl+)(wA%^Z@=<2ZBoP_sV3UoJRUdi76YYBAj=H{g z0pB$Pf_o6`-2NcNZ#`Ph@}Zx;V4MhE^IhO-G1^Ldt$sX3J$H1ozsYxJr!*%wb}ThY zW6zIFR^(Dv(+YEU+?IIF)AL;yM)xTsO6;lULf3>B;ISw+1)rPN$}MnDJ*>TJeP}jB zY+j#p@+eWhjCV<9rs7r0_Pz9sdWyY=jy+DPD4Dbi$(mc?K0fYTUt*pQl!AI^Re{#M zn9{6Wc3LuVDxF73KBbmDW~R52f2R)*s`!YBgEH$PkclgWV0!e^h-c^~Two#y)@xTS zMTdIM(;Li5rqBQ0D5~vP$mKKivh% z#K!cm@5x6|$7+xs*=Me<-3$J)fR$1yUU9xsJ{?be<5@GQ3aVK`VhQZ$D{)yC-6{i=b{1Va6ggJCN|XsY(MC5x*RDiesgRjVIJVp9f&;tR5Cij+?2Pj7 zX1HqhlxlN!*UCN-scy)(_;#m!zri{EylOPOsXsPe$|kg8%;GY-;HdH^oDfRtPd|e7 z)Z7LGX&z!aP$Vbxn2M5Dqnh`^DYZkH!7s`1t{rrOjy`daW@y>bqx~REZil#D*;90W zPQUdI=Y55G0la+o<^JUw+5gjg{I{L@-@oEN^6_679-sX4!{q(a=J&Ac^WpOA7l$i^ z^S^~+{zpUh|L13BWoG(UBp#yyp^bFXn)fS1SXg0i*2sOx zz)LNB;6c<>{&mvJ56ov75#?lz<>cyo?$Fjt=3sB3nL<^q+VmTv!r@IlwXOk$0b~#yi6G&F(orac_1} zY%yS_n$kqWq{066q`D-&_@Kb1fKCJM1Ic~v*W6lMT_9G*dky#eKfgj|xVgICnqsy{ zSgUMovU{FEr;-x}0$6nocv)v#S!r8YYZ*!WnCFjaG}2?*?EKZj|LXGQMrYizWR#2R zxEDwDXrmzGyth_IY4GV6MJbZNwr+PFcj5Kw#P#s9%IWd+I${X>*N%VFWc{|rHZg$A ziV5)Y86xztIi7B4h^vJ0p6g4;?OWJyUrR)Y2BDDE=!PdL%nmjDfC4l8+w9_NQ+oc!DCrtgL$IOtT zAI=ue7GW{$YzTUXddJF;lrAz&dJNw>tUVa(9+oaPO@<2ZN0bUb6^=42X^3JVS53MK zZv`Q?uVcuwC(Mq71&%hD;-2^Fzbt(?>}4x1pJOx=l}OG}HL#3^cbZMb9gJ+t0oBt=b4T}j=G#pb0Q ze6*FC7wd+-%Ot>Q@DUsvu^&-^M5mRZ)nlU~9aF%YZ%Ed|N}c)m#y=q+rIH!gz}-xtee3 zwh10J0mcseE5%yeoJecvQ&^R)=?YpGV2gM?^AnvHLDTZl*0a5!jnl~A9SCJe#YKGc z$U0C>($|(U5Pl(sMsJ_(McPO$Y;}Z9wH4LPLLou5YD!=;(y=xD`=cYi1zI;PV$3d& zq$ClC&+)sWs;>S3x$sixT+R%yQ0rm?_B-Myk$l}ePhB`=?9HpbqB-g%V2B5( zxaMj`1;tq+fwLl8f_hB^FJDWusuBxb$3)8~COHp%do@U&?sec72&fV*fFLow?@nCZ z)nhmegzz8g^Z8`p!WHB0Y&SV3t$}QGa{Lr)=Mwk@3j+TWnH>~LSm3662m_w~I)hvn?23a2sP%3-e zHn%$1Lyn&C`33p4XTxPWRt4uNat}7;^#L?ZOp@}pz4?H0B?wrY>mR?s6vhW81A%9Q z&h>Pwn$U;9^$^doL4#!A<>H$O31Mzff|~w(gXZ#B?nZ3usdvXUNUu7Hcn%-{X&>WZ z15J^95N#N@1j0-S+Lh77JeFReenT?tUDf$r_1*7Xm!L>%+sb-#{hnAoL)RBpu~ss- z_LS7*oSf8eLOj}E&HvqL!j;1`6*4;ZsI@gt27G-oVZG_ zij`tIDz%>!NbYwr9Xo|KsI$`E7lF%R(Py zIsmTjLe1Q%zK)xCxQ@qgx1cl@HkdB!>n#0_^MGYZX3ru? z_{M47sg96&y-lXKFJC@ODI8JTb%e|$T#3 z&*tK4B)OWOstfRM!m7+@VPh!2B>9{y9@IMRkDZwBn>xKN-xjkbtj2C<6zNC&c1!3{ zN{P5jirm$}ez9i0gXl`jEOrtW9twrZ@>tsnE9#5)=_^uJIsu&^1~`MGyK%K(8AP^f z$9PdxeZbT({A~Pt^4nTDb}HI&DhkW^R#8=|m2ZqLG(Am-ed9y2NV6lHD{CbbPGZ2R z%_g{7DF?!Cx((&Vr#~8JXG>!5lJM2o>4Y1{4OT*of%FSwe@QK^5*}kh$++B4s@yd) z4B7OTjPiXB8^05M6=<~Z(ECNH5{Om>kfjkkn(nyMR@Ms1hEDc-5OM)?iC17Wv?kD5 z&;1!ZJS4H4&-&3B2?D`F7*wx-D(4f%9iSyLpaX=9%<4YBAf*?z6!x;`>~}^>O-G9h zY!tMX88>&nr-R%+OkhO$b0%uX>p@yzFWP| zN|UyJ5CY1vo)@ro+R|pd8S}#YR}RAX@<;528z)AbSPGx(TsaoJYF{4tu64K1W|jX8 zA&QmFL?N_TG$_>x_?;Em;p%OlP9imZJbkQzXk(j^oIM^aLGzKQ_*(P#`?f|0?2b2n zS(62sWx0ShNPz!{l7ifwbiOVJl^Khm`OTuI@bX9>W|$T2h1JP$kX;8JPBOCkZcP4$ znqS2z{43D8tNq*9%i`TPH7BNei`+&SAf;a_fTI>;$UdUDzb3Qhnk0WdTV_#i!DIjn z&h=8E@Zak3=_%Ewyu>yfL%D_O;Hx2rpBNv1v^F6OGP<=BbRokL zbsD8ob(cU~@U!5`Ai4xwOy zgw4I~mQ(`e=MW-6f0ou;2Y;l$gyLnY1w|?SSm_t0D^^O{$Wb937+NE4SiY8&MAdkq zVWBH4q6;xO$y0nfzaG zcgN|1tFU%Yhs)=CJ-DEwg#eE(#eMZMoo?WF=`M5E>%*zMqCCA*_#rS(dzcmftDTxc zjz)$;_!Zz4GD;;wlLZGasW^Nuu9U$Zn9JasNLp4(IwpbAGO04ssbvHO{CY^&z(K%6 z;R>I<=;==ZnzxPruUzz|tuR316J?nqK`z(gcV+`P>|eNk+#ihcGC-7X<@GT*7$jll z;Qb5t3NF@{_7KKl6wB+c?RTQc52E89MBD@cpC_$GQ)^zpqr>?2Uu<7-lTOBP$4Mxo z+lO=}+y*#rm(K-FCsf8a1l5lilP9PL);bi+P`ievTgKwt>2hYmzl;+BHs4am7ZIo0SaVk*-n z3JZ-J-^*85-#u}0yx(S*p==+6i1^Gn+}70T5kaYbqO^AK>PgUOB;q7~Pq2m+bboe# zQd$^A%hrZVg73WE)tY_1(0T{8gIpC3C>lfFv$yKXOsmyVcSw3 zC(s$dB!L~rJ5<{V|GI~PGeB`xSCo|nESfQKf-I@={w*&&5<(!^b1v43Rf+=~RTZ9D zeAN5H_JCfP*ub4a9g>sf#Wpl6q15qdpcWGUYO@Y`AV7SHT>xv%l}M~ZtQ%|wwUq#%zJpfCkO`!WF9Tk+%SK-&e@wzUi2nd zw5Qxt7@3OZN{wkU=09m?9M^d`KXHK_44Su1EusvR~ayMAQNdCgiwZfRdwLxuW7z4XwGz&QxGZ7bkQJ| z*vBc2^eoAm;b_U5Y=RPwrF2*wxx;;`9%>0yVf0b}kV4L$31d+1eQ>x?f3!>{^b$KC zDe0y+V(Sqh66v`6$?RY$prMJOqpP5-FnoyW4FY0vGO`%}zUUq&aHBx+B3A!<>_uGl z#LJ-ij>m#>Whezs^C}KM2M#9wL9hqO$M}>#u$nX+7FI>%uL)MqGc^g86c}7UK`hVs zAKnDNNBVF)*b+oPIM5vw1)i_pWt~`*``HMp5r(?>U$c0iUtt79s<4RgF8g%o;f$9? zR4?BRNf#e*z``wGc*w(Ta8mF2Q7^Fom^ZaO0$+n5Lo5*H^%VxJtU0~taYKhg9{P^g z+Ac2;!DPkN?pCNZ&ugk8OdfAN>&N7-*QU>;&SNnV8u`@qOmwgGV7o);&2--&z?&EDoh*$F4<%An&ThYqN zjkRrY)`N?PHw5>1)vVqtBDj$oA0&H_txd~KOz{z>iKU>0rY|W_R6{-@opb8!?GSY7 zl{_FF6=HD($Yd$&`cRqHofL;@vb~R=sy!XHvzL4s>n$o?zpW6%?*SeBu+C3*y=Bzv z-`x?Trc3S|!DQZCNYcDK8!Pf-fBxVUCP3C(x8G!q$)s9uHW)_)Jv@oU)nW1WIT@B9 z*-bFT?m^|N==t58^kI@?&1Omc57OQ#M$_og-t4k%ySi-Kwr$(ySMIWH+qUhhF59*> zJ;@~JOy>8Woa9`+m-}Y#oS}WdVymy2yydzA1W3P#`jWNHbCcmSZrkk`oz|xjW z)g$fu%)voIL`6vkI;fP^_~a`2y)Ht0T^brb&uYHBB2s>)prxXw#aXG#WVhR2`EwUP z3)unIUDb(-y^bP221@#Q%5ltC~PXG@CxXhp>us|)k_a}-GUC2&$F_t2uIAOQiO zL}~7nWV$MgS-ULOI&Zt)L3L%o1%b7r<}-L~a?5lIo7hv(b6}M#@qD+>FWMh!R=7md z%Yo&6|0!-0-vLC{OnI(SY;>L)+iCT*wE$6hZR{Mp^7Z4@lGkZs%T2v8s?fVE-l(Xj zWX{&ah8d#PIzo`gZ}s_#NC5kqY7#aI;bs8`x8Ss^hV+aKYD7Ekq#TFe!;ga^8uy|??5H%d5u-O3b2x3 zOAoZ3%YAyyVd7U*{|h$SKuDj`xav=#hYI`}4BKdx*Vh^zsJojpFwU>uscT=7~ zp^)(#OX@oCd9})5ro7m#8CpK{#N70hK}L^>I<9B6#Sm4(3X7SREi@=(m;S~PJ}~`5 z_U-H+;az3qrNl44N%iyq)3DLp{#b*%Tx6ak2D`@SJQuZ3Wvh;Lf5Vx(EH&8WtDj{? zBVEug?bYu%I4p?%Y15Ya2B=yXYAAOh#6cVMhzMnIv!w=DA#?9W2Xf$MN~qc>n7g`K z;!K3mrGZpFr4DywWMx4cGXf>@F9CoCDXXQ zY@M@Q#5T{x??x_WIc8Cl_^8Qx`{;hSz>A7ZpEZ}TLasHC614JsueXngJ^%3umMjsYl0{6{ZfZ za$VRqY6yycodsPbPAiTH@=3Wva$n9D`*MX|m#|dl3M9BT?>I*0t^5a|H=bi{BmfsF zN>X8Y=X-wyJeB}P0{9@BAvO0s_rG}VHvY132-%~$oYTg;@vrUeBA9~nhErMH#U6~- zP0e0cyy^cNiBZ(5?hg=MHQJIJ%_C2q8FNI-NSM-Dns*GME#c=qxIxN5M8qEk6(4K- zY#hpDLSAJkcQiUBl}zU0?feE=nZ~(#uA$*Y>pwifKtI(xkMiXA>2pU@?(zCGspBxe z*SLUaCz=v4bt2kIINnRnz{DD`O2}|{yL@qv!9!A(=R4>1d~&ALkm(Jgt$({Gi~Rhj z%!iG&>ga~cspXu%#`XNHUB6wp`RpE!>_T2rsgznRs4m2jZ_`i_;3p=%4r9k;#>0jUmDTgJm<5t9Kg=u??H*lz`$A%WSK&D_a!w+8R(5t4HNz-&0-9ZI;CQ>v z%_35IFCXK~bTe3ls z{D@&`4#=Q&H~OyWkKVw0&{`1O>C5$<481CqH1a~h@ah7*29h!3tyR<}#ThxyA_$5) zO4`jQU&ZvDT`?}l=n&b<(5f=z6dM#NWz5#;x~R8Avt*CWS4wmRuCt;Yl7jW^E`x=H zwAYNpq_=VBpvq@~?{U_cIy6SlrP4MBVB*r;MXJaic<6RDY*RG!R;SPxOrveg`J59M zp`^8={+fN_&76a&);(yiT234}FOpux+t3UUGqEMOOM+-mKE`d_X&SPn&u4ism1}=0 z+L&4X${rA=OmB6h7sHa;7IWvIzQlUhmFOQ~ps%St$aMsJfkE?ZhY~*}X&-*aE;-9@ zA#TlSrP=9*i5-_l8%>m#NnT6LW)7Dw9 zQ&5e2Wi10Dq6mH>F+GXSH(;xSo6_R(C6mE8$6kdm9AV1wn&)MUGYBlarEb&06jgGi zKM*qgp1OhGrb$p`h&8N?oACMbR;`7^%5!`&j~v|U0O1ydck)&nT^ICzS?uX8$peKB z3}p`$8%Of)%CUC7hCX8WUf~a&c@b7UXdEhJwS*%s!7ysS2j!9PKrhMK%>!>7%G6i( ziQo6?$D>E#ZHVq)W5iIxA$9|;mg8ktx?O?Qa`5!hkJO^P&^z(U%E2%%kCKT#U~c49 z-9cCV7k!~B^V|2`J?@svk8VoZkXe(G`bWC}SJBeY?pqUT&4{hHO-E{tefaM!L~O|D zu$Twl>c+z*s7C5BBSY%O8!~B74ay^CUZ%OeX6xa?*hB+;4MsofDbnAwruO9p5Jel< z0r}8XzZb|2cHtOE{XyOV3sX0QYSB%PhMs_B)gD9{bJ&05ZvJVC4DE73l&heb z)0m(6Lr=eXLeyE!W(A;U#_Cl7J5D3V)M^|-oLyjxaPsy$9p7v@fi%&**Ydj-k!Q8Y zp!G>Rs~VbQsZQ2XhN6~wlo455LdRNBhO{H+({RQJs%RF`|GG}}0z*X2b>;N(Thz3j z4E-a9IcoeC{3X93$RRbd{*xi|KPBYZ*#5g6|6i84Z?dfYJ_BOt%^TXbFqxNx}7RzWc2kKh5od9$@z`#?F4FR{?baBKg9H7 zJ(E6B4LpwRllZG|#tA?F0KtW;?Rj|E%{xbyo9)QTC(aq%3JR6TFZp(woZp$uKKY8 zL?RT<#)RrhD~7!^z`_j0F-Ii5bTg4u%S#DHzP?WjR*I*XlR}g<9&}m&ngxQ_h@hG`(83lP0|<~# z3P?`_9OoESwD$FYf?7i%4eM^ zl4g0qQwl^xslO3*kh9nVBT0qa$+*(`Xas*FyQm|_|3-36J&$Kasv@gG(ST_yx|K;G zbWuR=*V^qas%ydF>DNNq3mM|@{=+<^0`!-$qLe{7De*e{e7^etuH-gq{tb0Yww~Ou zI@}<8pH@on)%~CR_jPC4ef19kMGJH-~kkb)daM`f>c80V{`B3FB!s`#u zUcp#mct<2W)j1uK@BW-Tn0&}f!717;Y+|4P{nnhr!;P~Tn()Rt&{0@Xu8`fgikSb* ze2LvA-Om-o?Ne@G;fm=k#BZ?N)&F$a|Hppy|Cu+AV_=~F{`A`Ejkx*#{uucM76m)> zi}KfMF%;&1IFXa#f9ZF!vv4r{m+AUn&n{aF!UIJ;6;BgC+7g^6ybm@V2^6v$g)s0J ze0~tnVx;$A_c+>yQ@m;p>5HD}WJrB|bp08xi-QoPBn1#KBay$5q{JA`UDq1kxWFph z_;qgzf4co6%gwg)4ev`1dpLu(whSpUoZjhWmrdc~>JjzdV9<65`5YF%=+;`EIo{3t zJt02|e%ME|S0c=xmT+?$54EXDoB6Treco={PTcuzqPAnsft?WsMM?d=Ei)~D{6~E9 zPwQ8L?l5h-s0&`;#>Re;RfDL0d_(_mNJWD9pz!xj+ftb{7Rz;UqWt>34c{+fQ)P15 z46d1bKIvl)!Iq^hWNs&%x2a!zeEyAm7AECOHX`yh_q@0U3L|5kx8jh<zil@NR_r9>m_U7;bD9HQff#+;fVYESNKl~PeWc(-d@iVqINcq;5o zV+R)2^bX03Fd7`EH`|rgjWow8_e;Sw=(QE52Zgt}--9LnV&2ZsySwBuJLt4bod}0U zP^H0_VqlTL(;RwfHRCa*2g?(|F6f?aUznZq&ZAscy8`H1;#6dDcWg_y)zm}f5h`$eehS#yem z?(3i;bw1+Tv}M{Tz8If))w)+jGqT;K7?3vzsm%#7wjEkZz{N-OlBwAy<7NL>T|%di zho;x(PWpU%NZW#N(G*34w!K9CwLy0|xK`|r2nA^jAwDkN;r46BzrKv1i$u4@6C9b@ z0(40V`)LgVYgJxI&wKT8+p7h8D}`>A!I~rJUAo1p0Y_5;N<>fjkFQq%jpZNQ@j zFNaYm*DcH(PufoS%l4j79~`7O4)+UF^0>`5I@)~q1Qffb4XfNDamLKT-ZVUrQd{$azzlp-c)!Ikl6Gw!z! zf@~=DUX*xTh#O$B5|w=QHE)=7-4(~qgYdX?KyRVTBu{R>ED768=yrjW!0T(N+kq>~ zvGU8~8m!tL`b&bX6FBIudY^ z6S0e2h}m&ogh8^-^JOGFI3OjQ85!Ade~sb(e}sJoe+7H0Ew!yt&)LqB1qX92Z|w$##L(rbPnyBBJHQI zA=#>AeJi4^=5woeW*w3{apdP@uefzM*!bZsj6!y2kgy?ZwAf;75b^j&1$<7#jQxc+o(ifk~B72aPc#A8f*)q)+a^di zQiyTS_65^8qVDTSatY%vL*~L3b!|128jXA{JzrF2nNWda-n3_uC}H=!wuvwaf)9)_ zgJzS60#|tR*b-hMSd+!2>r(EG4g_u5K^Q)|MCQ==lR)O+@)vKB?%fin?W21mJ#FH(%hda_$AZ(RD#(lBXsO73Czqc{?Pj4Td0gHK zihX#k8b0Tm=MVP#H){M$w;4xJyhz`Q%W9)>f6MRCBb0?=L%E)OBYbe!Dm3{LhQ`D;vs&7S{B zt3)*e-Yc~XvXZ$)2fWr<%S~WM`q3wp(=>;|>X6Wt?tW=kDo|SdC4Wjfd?V@M={4eG zN*^P+`A|~b^DXSIM^@0{^&zI{T+2Z}FC$Clhm^Jt_KN@K_Io}ou^Gg+zzQS=mJ0*Z=<-M=>;k+Po|to=8^$EJ1d#W;i(NL#OV$ghftI%6k2fX<5W#g- zDr)RSY>U;GhZ~s2rF2W0H4qT1xEeF10(Now5=opXXKlA5HMZqE-~eLxSSj%GI~p#T zA;40BO*avB5aqZ%=N+8yR1+;*813D>w{5{^fO0VR0ooo)OSGGg^QR21^h{=Zt$rl1X?CQ@TcP3_|oO_|uU-``&*k9J`H zqPrW2b=N}_*wrF8`IKXL?SqyUR65R2X4C1qRb39T=6u;OPJc8{C7R4k^cvbCcq(=? z7C$PbDhSJ@Dx3n8dw~b612hDYq4`n>$Y^D)ZvVKcdbKf=DzS8Q;v7B(hrsZ=uzF<{ ztPbJTfBUHzcLzY&g#eN*-LSB)W?)-_hMHS4Q>U{MZ=AS?_-z2 zDyVAp2RF5pPo5Fb>G%9a-a*zIzP7TPp(z}1MJ2?+Y>E;}u8}C%hfb8bpJ=SaZ2D!m zpkUh<<3LWy$~2Ui1D>O@e2)D`mc~<2F-}>vHLM3>JK7{)R-OK=11wW4R>$M7A8BQGXTcMObX?bT5XY8C)?*hllD_nh|k9tp2AnPs|{#fYou`)x-K_l zGD5%B$LUV!yMq;0%EK1U4&g?qbg{rkgFN(UPSOiIxtjcP&%evUN0@8)_F8~0Dy`Zt zFplU4T-n&szh$>)#isIubqH<{=4JWMnoQboD-OWEn!Tz=a7KzJ@JiuvYHwp_=Y~)g z5i*BX(X^$ZD~(W|D1A6Yx?L*25=%eb+_*0@gJoTphSP%fr?H8x;a|0Vo`6v0fZKIN z88cM%7pxO|iqELH#?9s1?&*y**BC+mEIDN@;T*>#Z|y(WKOTvWaxt}795C=t6Dcex zOR0#chJ=cUhTpiA94oJ#(f`aLf=CNn`*wxdUXsl)Oljk}c&#XG4(ggdf&BY1*6(PK z9`Aruvs`M9RTf2U{@|1bBfjyJ%*7p}0P!1uxb7aJm)Zx8e6-FZN{p5rmy|J*mp_Jo zLITxrHl2@xl{Z~E$4f?+GgJ#_>mE~Vw6DULGRp{}r(e6g1oIXJ^M;EzE$=xmZO|Ce zHMCRbc8>H1G@qI-&s=g$aw}+5&Ip6zJ>K$=^pK+YhICiZd)hO;=WzLlb2Le^$`PfZ zFClIpz5z_Dt7U!YM=&mR$EH(5qWq*#-z2sQ9(|?%(0*uk*uIR3MI0Htsos(X`iv_Q z@T%OVxVtQYJ?**ty(B`h%C+gVgAcws2pD&8s7pD@bOlxU4ui`{OHWS_Kf!UjXATy# zxDLALsFBcHR-ZH%>b3boEz<@q>S-ELH1tu_8Mp}`Iy8KU@GoPy;ds^?`1HY8cdXp_ zgZRu2_ymXha{jFN+|VLH=xtyBwnwuhD!<;ZJTPB|f;COi#1=tdJvT&T^M`H;ZP0aw zdW@p)hf!+kz{K{&)S#!VnX`&qqiUAJ5q3@ffpaJpG3$`a%s(7;<;6`(s$4W%6eaA; zIzm8c-rZF$$qdsQjHvqYM)m@mJo+J_dGbGLFtxDob0|FrK=A}5%67`aU%gP@4Enu{ z{~irtyh=gEM!H)|YR)v)-NZylm3Z+)J^$IVu<)*_{&GP>5y%^IZ>f&aF5N+!xSTAf zKO+8fbSFru7b)-I15+%-jtva58i7#6+!~uc0f|TMhtq~QHqsJ65>}3~YhViFT;%3% zh~k^)*eOjZy>18wgf-a;)u`3pHNvxKV!2!+KWt|IDgeDTry_C$Rt(&$ds-zOSox|uzQ_vG6TK6mF^YWSZbp|-e+OicIg@2su_`1s$i|X^= z40-3Q0>P3$EHcy+)t4*HCD6y`r$m~d*|CIg|G!3v17df$e`VC|YWR?*gD-*3(<;;) zirulC3f^^22;KIzo7JJ!jv$rYlozW5tqvF=eCC#`j#mIc_SB% z93=c{(hQtDov_k&iC=n2Y!2 ze^E?9-`Q>53~_T)%m)2V#wd*IO?bG43+PpI+95E@U6wB;rfQY)B&$5iSW|*%F0ybF zd+6yWq|h9{u|P=~U~JanDFxG`tsmF~^R&Xbl3#yr6wv?pk#~H^z^>q@{uNh&fDjh} zg-{n?T2WVD(au5rU$+^c1RV)42b_*1J85%7JqWBX=lD~Cg z>wOVTqxFd0Fp%c0jE#sx9BY7#3?kIJ5JSxk*1UZ2u%W+gliQ*vktWfuD3N|3=269M z+P4VwY|_s8$Zd%}Ca)5Z#6sIBaE5^+XD`S5E)1OM!Th{`Jkop=M4+b6@1Fe*C3&6a zj`etEZ7B-gD^+z&jZW2Tl*~tuLJfl~BFVkFJ#_sH78qGx+}AjrNfi6ulC5%GRGYe8 zVH}^8OQnl>$A>*k$Vd~X5(r!vIDfJn1pUs}q?(T;WD?qC(q)b}d!4|9fAArV1AMWC z>x z9usu462aI0dM4WTS&*jQpS12fGL*_ zH2sKX(=7XCv1z@CWyBs%kKk~gEd+hR?tCtN6t6a{;jN-jGIw;j~?c%@FIQr_Yy|)w43L;N?r+ypcYMJ3$i02Ex&f@?5tS;QQ;j&V|M51hU6eV zJAoh$5Wbkk1XqQ(^d#u zdLqbE6djp1w=s zbcOaEfg;Wq&&kv+?~^U8a@k)q(%w3kxa9?z?3%8u`HR4ws?8bS9Y0$#xCoG3Kg0Q# zb&BunX7KzGbRNWq`eQ+*q69*3S;O`}aH+2(2%DsgNr!qAGPkZMSCVQP~?Rbr`J6XaiP}WN6<%llA7FT{8i`AFWxk~&@;UR zPPv!JT1lA#O3Hph`=Wd}ts>0J!ExDN8L?`u)U7z_csYG!bzWihCgye*nk&N0^S?w$ zD4~VX=Ir_rXgrbs_fg?1@sIYk8FL@|;^UBE#`U+@vY2VdrVrcluSe zo5n;?=h!$LgW+=z^^=n3&IBR-pzMSORdHy-8ua}XMv{{Qxd2o=COb|)F*eD}aH~Iy zcPB$c+~+j#yXbR*qAdr7HPb-u_Y@->rcutUebUIk=vN*o_&8YA?qk8e7)J_SB~S)W zixL=We3C-ShTs6h$Re?uKM=$zhXBPYe7!9QS^_(Gg0(+ z<+NRhd4}Ym$wEB8Zd^M+QiKnDZ^&0s>A(u|Lr|A5deDtD)>ywg$777CRvJ3p{0wwL zwA$J@RKf@Pvb4euK|)6Dl5YE|@00`BdjFnk-O22UEHTF(5TYIkBoVrEacjyy$~d82 z)%*PcXQ{e8Hwuq)#j>WCu_UMRABwyN?Zyz+9y4IpaaH8wlwjtXMvc>C+R3G3T`C(r zS2SO~&SJ|{JO*Ao#W!A^B3d{f7t&v2_aHUKUeMwT?_!I&U=ISjv$Fn%?+3 zM?rz%cjW`+ih7qs)KxpZTsP{0v!AH7nx z4e^I9Rw>oe!CgEGEV+wlV-rqHmb~JDv#O$_YiP5u*OZ;%QHAn>(Kr|lzsiU$d4Sfj zo-@PQZhL-J$2#K!quE?H9Z`l2JrwGY$knAtXG)f=3-0A_le$Af{L)a#K;;=yD5T-Z4e$aL# zR2MG0qkn+Si1oT143h^e^VuT$UV=)qP*Rye0&q-7sS{=md&Y^S5?Jq2I|C@nEd(16 z1ehKTjo&vR=F`%P<7PxG+?@vJ*^->u5p6mxaMdDixHvYOs?-pXaOVaN<{@MOlpMP! z@|2V%?>X43kB~GMRSlh5a@aIxcYsb5`Yt3`^(mH6+O2e}diWAVQL}oTU#qDBlP0MN-ktRL?P*a&Xs^KPb(1N z81(pI%qpUeP?skq;pJr; zK(7#y-X-FZWuQx}U@^UHB`+hnJr8Y;dZiIZQX3E=cqEBoL$uEVA&Ed(_N=DS5$|)o zRsPhOOpgMG2_DVh%yoragEtOMc zb^zkX=v8o5Q72Aogid<}0_+}mhrc1sjo(8Sn@c58Hxw$$Lmj?ud;HtXIe<|XqzS5# zLbd3a^YS03vJYfqNs>?yRwv*QCH!=uBGRsd-%ioU$ergIqp<3Ra|T5_1Fw~`FWGtg zNO-f{s6uvMA7``yK;YCd_|8Bqbw!QaI;X$9=tc9%@j^xheQNL8ecR2HHLQxwy6v4tr91|*R}BUx|{MTE7k)8o}d0!>Xe5=ih_ zu>8q!70{o&`Q`oat$w0uG$74OgSKMDLMRvxGej19bIsY?$jR9NxSOL8-lzP@7`m^h zNXRz-+cKNmG2$#vvxs`8S08~N>t!QS@UyJEd>Sp*%Op8GUQPby7KfnEe2Orj9#PrE)%}MS`t}#J7bY@i?}I%c z?Bn5~2%U!1q?e$F@0Lv1>*y~aiHl7XEf-g8`1q1S6`GO07h*$10c2z7Qx229yZ&+E za!opQCdb$EEE*@3ZVPc2<{!K7pxbl`Ly~2Vipp|BQyo$H6fGyAMui1LPx~vQ0JehY zBNFB$9bng-n-gD?_HQ@CrNV7(Lq$z{uPYzP zPeE4|jacc*#jm;FWn}?Pu_?6%2~}agQc4%!T6;rzX}Nzs^cyfR&9z<@Z;yU%vae`= z+RF*#U+~}9LJb!~T9M%4ok)HZDPd=3nWWN+twDZ2Ujuo)?0e~5n=YNvvQPcJfIIPe zVQa=}c+>W;L5M!&+Uc zU{ELti`HV`rgK)(&}fk?3Mh!4fBXZAMs6fOh?|=ayhlBRj#~^R|?M<+26S`C4-lh42=+9Nw(^L z&y(L~b571elBp6pm{KpZprA|>1>eh6M5V3P<}KVm1JF#jQPys{7VOfeKeSgStqSFu znKSDnYINLuy&F4nv&LI!O|&bRas0`YeqYtfI>(D4K4iURq1_kF{^jd7Pc}h0=qs6< zZ|L>495!Cu`zwL2@l3>73$w?ON=S> zR$Iji@h0sXcOv?|sbmxp1o&0|3zb-`Nq`1)4^=Kn3mSP2IvvR(T1MfN1U*P07A0Tr z6?lK_kT6iD0K;UVhccWhP7a7TTcjw8Dvn9va1Wj`+(k~XD3Jn~R$y*CmGCrbR|GUW zD?CXNOi3)*JzS0Obvz=EOXLZYtB@6vixbHu)MFac?;I{APYZFljrJP<03Jv+;QZIJ z@hPecIZxy~3a%C?Qq#~W6g({ea#^?wMEnV{cD$VHx=)dJ#M-H=nh+2~lnrG{q#72) z=mi)Q6cnjYl#jC_R)RAHsG!6LIY`C@iL?pB&VpVOhC4t6!Xqu^I_S}qCEje&r1)2D zcFGjRs%mNSs?8}zoVE0Qu36o$9{3-_Nt4dsx~4OCPnJ@ad7m}c}4L|5d@@A=m~{nZY}j~M#gKMaJg85A2D^CR0NWWOe{k_m-x`|Y=z_Y za_Y7t8T=kL%rQpbicAv``(?kAMC_y|FTWr4<=kE#v$%e9k+aenHIfUmt}QxGkUlte zOl;^jGjOmladGl738CSlm1v#TXzkZ%VQ0(mMJq(d#wdjZTLW5cltk^7-a;VCkPikA z_Ej?v3Q&yqb+=UgGQvGnom_N^{&bCo*h3-2ARs7{iG_rWmLs$5QSB^OeyTha6e6oc zk_ZhJ?hmTk*-@$bc(h3+#vwkmgoz97o4uU2P2*>dvEJcpztjJDVep@|-EJuMvx~%- zy3_2K8094*6KtmBl0!q!LBy>m+x~jN>UpMDuHO10 z^76*`K>dgmCJE(plW=UCIOb-GDRYtYaI`q$l2z6f~JLX;M#bJ)v2h$OrTQvX2s%n##|htWLD> z33Y=4?EC4!Ks^|A0HH0zes|+G2o>lKgbdKnuOhLJZ2@zk$^!j|4UOd6HDSwaQZdnW`+z}t0TKsL zZwC|OB6GyrfIU0@UB_+f!h{3QQ-eDB7M*Dqv;v0wm-Mkqevdq#A3^Hp#LI%2Wdu$K z-#bW9Aa1Vmczqj80%Wu_tns(t?44HS0G^V)vGjEq+*Kl*3zF3*pL9wodeJpiheVfb zbl#A-DvqYfHdvwN(|Kjv;K=46Fy*qKN>)bk%FVrJj>R|gST<5+4F6<$mlOfiaAtVDJ zTcyZ0KD3F0C6EM=Z_4lphdIHQvfrnr*aC7T!+N^t{5o8Jp$yDHL+EhU7TyPi3J2lR z(G7f&+M%19RQw5+;JsR505+>;u(OudujcWJkl2T}%>%9$0>JZ$=tBt&EWL#H(CU-3 zj4RMxL_{r`2L)rbSl__GUiaLzdJCJq)LW29!vDkM5QwyJv1>H%jD=502rmB%OmFnX zt1|H1H=MGWB`ma=A&~SrCqOp}nr8AgcC+uJCbz+tGAz3|Y*)tLi+#9M*#eT{-c|iM zutznC2J*7t9ncOQC%l5#0D4S1vvwf%wH^?+OKa+B@%K6EQA-Bt8heMvO< z6gRK1J`Z+M3X*mlctSVOa^tv!>R#Ck`jSP zn72qH2SlckH_&^t4I+hPjQAKmnsfyZCg$w{e>IU>v=9zJvGQ_LTL9lckTFDR&5KzZR=xX0uw{hK1|zN1+(t$XkD01kymI zz-CIEGox+MMys{pTQAFx`nWK9YZ#Foek2pTh=gPcqox?15JNR2V2bcXH;(^VfsANT zM_rAn@8o`r^3wr9lG`q5XV_qlR9(NshFZ2@Vc$F2$oUD*VBVUhE|XAA6@(}DjGxe| zyRsim%|65#fJfN)fIr?%!ld(HL5_qmr*q;b2o->)I%Dr%Dg1SdGQtdHX6BW?py0E5 zAv|UCdsu|c1v;5ShLXS63GGsT`u8>ZlS~=T+wdryI|JmI%PG2@?CtaviFW3FdWw?0 z!%MmjqIK$IKleYS`+>dN8CzRARNn;WdS07YHKljDzR2@K%V!A!vpHE3T4a*`l27hx z=g}6K4Wtlylgq`GFpEFF%}as{Yk|l9%y$aZgsRaDrdW+EJ+d=nZQqa#PS+_0BEdoO zrEGNL##0VhDSB1sB9Zr5MCN$MRUl$zn^8d@sI`$SS_#4#XQ!j0qNVhe4vSflv|BD( zb^e7C#8{~Pk%dYLqszTKoNd|UdQ19v`zZ>W+;*1w>#!QY`%mZ{zA(gn4p=y#cj}yh zW^`3If@x=Ja?kx02s@4j!8TA->YO{mA8iXdS&EZuXSca|{!0`AQ6mo`Mg>;dRT`s6 z@lS;-tMVlBMT`7V(=)w)=vSX&)H9 zLeT6LLN7&*F4Q;Y0FOJ*~0X)p`{x9ZsOkaQTF#UFZBFD4zp$L)*l`@9R3 z(JT1Nv$opEdDZGN*!Hihi_RNn@|}U~N+2#R(xo0eNf}#YU1_Yd*r2)@Zb!C=3=(uc zB<5ZXML3L;Xo&+bc*x6ct-)+=)+q@Y@QX9B`-gLpHS!p39#+r5^p77v0qH$CypJYE zFgU_aVpTE=!aL2s+RiNZs@WQ;N*JcB>(yx67tDhr)nEmrdLtI;ej#My%R3ec_NJo(nL*gEi$a9VqAtQL> z9oN+Xk970zzulVr%%OMv-LqTu+aWiBdRBpT|A@nZy41Q>&K`shipELY;B3hm_)chIv4upjcMoPXXe>Ot+~MlR7V)hm`;pq8HAT4;*`Zc%$6}^>!4}Vn|=Zb-}wD$#gzs`5b?VJY@AZmKiS7?m@tP+Z8IAv5}LzYh-RLBuUIc zo=vc$Byr_fjlDzUSTGA*c{0l*R|+lYB|e_NfFr##OMR#btS{?JH(P#oK!#K4tf&4m3VG9Ut|v z5GOMyT`u@j&tex>A8Mys@H>iQ56y!zMde|9Y6ECJaHB>XInZD{c(#Lu1w%#!m~24s zM+6ySx1K3|+~nbNM!oHCC3U80U-;f#!*BJ}pP#%ZDobwUd}sWZ-ZiJgHkYmEVYGrv zL_L{(lY^ThdW}DPexU+L6e+@$0u~B!e!zNWPS1s_yVn|Da5yGcB16PiaGGczR zP)F}|I@U-UBCAB0|DeZ2@S}K4F=T2eQRdH=t9kfc#4XBk16l5%NbU0M&27PyN~|-X z(3f|&v)B5zZP^<||8;Yq4ax@#Y4Aj*0kb-7NtY4v8@U%YyKkNWXgb5#Oy!b(piHby zd{fnAGN5|Y32=mHbX8pjWPkGpf`4(;OU4>_L%Jy0ja}f7zw*jWlgd=(UQ+V4G@}Mj z{%PEIc%aB`|CFg z#aAQ0-gu8F+pY+0(aEYl(M+Nrq~YgIvb&WUp0-%l$?ABKu$ZenSpI{HrZfa&F-SDp zuNTyEiPV%KdIY$!%?VmfH>}XX)7l|w{ajCXTFQv@xpVCNnpv+H0fv2oA-dRqPzc^f z+sTbQYVy$CZ!EVG91mAHm3=ik&A(4AxPtl_zSD8N2Qa-Id0%PHM$2V9d3@m2u`8h zfji%WhhOKkCk*;a0b8*=QfuhNu;ubK)z!5YjI~}vreMv|GM$&_%x%w8LLG84m>ONa zqYs3!qs!yMk?Ps65^H`<7o+waB)8#Ie0&IJ)NNKt`ec0td?3lT43|@f>^4d6RT>&y zIUY}(DB|=y_!{vPE;ZcsFeY~hV{TgMCe8HKcy1 zK=h<+bd_Bk?5%a-H>Yv6ACL7ZkAENO;@lIls}}!?vq|Z63op8kwat`BC<_!@$lJ}~ z9t~QNz?fY&udB4xsi?T|ib2@3iM|~@Sc)0X2xRR%hO}$PDh<4L*Jl6}?5N$uU!UfL z8N*tjXfw#Ks`1pK*E7#1llAZ^991r(pJ97wenVVghRgoN&^Dx7SMP7^7=$>C$2*z( zmyOv(;z(4pA_H~MPHK)2$rl%Hv6wGRJ*G^U+8ATug0em$hP&TS;ATkaT=vH4jDO~k zx7iQd3_C32md75F?f7B^F_zlycY%_0M_beU77tb(ho=uvi@ePk<4eTt)4L1g3b>1o ziq#9OQM*%snIU!yRka$~ZLs_F$X+&E0QVmjw^;rfy3o(lg33QyAvNd8LE7ONFn-T~xS4DmO*Y98tNEb4s&;cmQ5^Gw%0`JN) zsDbf#2iUMWnjkHanbWSr8!EnQaj?SxRjG} zo+=rEZc!RBE4{9tBI{QIFk^pIqi#OsqHM8<6&qYl^3w~$R_O1mN?DdKyQg+oI_X=U z)PGnb`UfMVQv@lhK4Wacggq=N+8qS!RBI2_K7d^GEB&v)EO5+ zKD*7&t!5r>2XAIB4OHBbfBashT{?qu`yY8n-iMvCPA!eCy?fk{b+L2=T4vmdTAHRT zY#89!Vf=t1^3;kVprG{3W48Hh%zB4u?8VaI0D`%N%NMr{Jm#2+ht2n$zNw)yLO2|5 zo~J4%3y|k0utR&)9w2nH6LS|Nu7jG{e4OKPQ=(6r2`zF3`Zi_{)qHkFN`ngJVhqQ} z7>5}KTp|b{_DoFnPrB>x!5Ru`E4_pnrh;1(y6C3KeQ{(F^>KFbaMC7^ciM1{S*2^n z#7L$T&P)u#&m8C#hbN-g8y5_+GrFb*nm1*^Pxns|@jcG%cwU8++7vUDRMrakv9&Sb zF;Y-4h{83S9hluHYaccJkSMg)v2LE+RcQi7TN#mAsujw8EzsFWeigDkv&RJ-~dmc&uuWWcKe{3n1{> zF=0iwdyWhYps3r}3;|lY!HP=?x;B*(qpyB|^#w0`{*$owKW))vW&Q7^jsGQ}`6fyK zldVxhUf$4hz>sx|IOsd85s_n=gs`>16<9YAambN56p_(CKk9w$w918oKqp4q>2nXw zZjBpZN-MZd89WbdDmTv8QMs~eAGk1K(N!J0Ef%{itDDZ3pF?ajDpt>8;7%%sCz7^; z;Ple>eN;PQI|x`7OBZ}X+W2hRR{RH^jt^dDU0gzFXTg z5_Rsc|GK?5FpW}S#;#dd54Tv``R#`pJZ@8LB^?iiy8muM>a^C)ZO#n6Ghi~5BCs{Q znAY~2w>gCGQBtGr-0+3yVR~-WYFu>=HjI=yYng%BIy^24s%H(5U-hu$PZYp;l06yY z!VP50>y;6uNArIeLHlFYf_P%da>w#QD&PqGM^IUWobV8e_>fF_j+$6`4mm!L6p#{V zWFdk~Dj;7bxy~G3F-L(@NZEMZ0nMGzYZl!Zu|%#`3#w$(ty zBU)1c_{1EqE?`a)H7lF@3pW0@50bsLU--gc1^?-w|Lt%G3j^bSt_%GqAET_S=U^s8NEDjF8i|<$0Ip!I+No-ls)C|g zsIBO!q{wcN$ZpB9Er*D4q6%@kl+rW+hJwfctF*6xjjLJKjF~BBcFgRtJ!VME%aOmtlBk?tpRdVk zZke;Hx}WaGZJImgy0gza_$ZXOa{Km{buene=43YMwtn%levy-)h>DslO75_%G!YBNH$!q3Yze+iQ~7BbdDI}*R_ko< z@7!TI^;cL_LKJ5!pu8{)dCZaAhRt2OkC!D$aAIghl*veg${Q-=-)eLUpJ(XIy(Y7H z+%j0Hc{mvg1&gCKCcSPD2KZZQI?{xF@-jvolTni2}t zl+!5}+G+S;&^fe%M_i_b+1!tA%VuFV{?kGhHi#O?%xqSWrlI2prz>LDgb zY;s+%&(;5QyD7n z!L}5#;w(9JTBSf04_jVLF+mjzTZT#!VRe^1BhvmhN2y^olQ87>}3g->)M{ju3%>j#nFTKTqSM0B` z!%pKaZ%k4co+O?Y9nN25W&9MQ1Aq6DwjGMhg;g?GV-b4&C?+)z@N&lFcRx-3vK%^} z5%{fVgb5#`TESjnjf5o9a;Wp*Y(`C&Fer`=P2E)2rk!fOD3bJmSPkk2Kx-F55rmE?|qzpQ^O>p|9< zj^6wvp(!BDqKyQ5z)2=`)Du#jlhO1_?=(Wd9x&gJ#Sb&Si2|hUP0-kGKIL?f%_=6& z?tvpJF`^A9<0m#ft=F7(Y%Q)%Ptjv^6#;ZUc?(7dunrzf@QfI7e*WFjF}qf0wKkR9 z-*g5izt-bC1$){F$pDBM_PKyz>8Zw1#B%!HYu^Ec;0$cvr5;ZfRu4KBo?W_KG42Zz zMh(lhs;s1C++`ffen3*Et*@WhCvq|K5T6S0;u3lRva$vqO1`JC@X9$;!ohH?#_4vz zu;^x-?TsRzfbaf}ur97K3<6!7T?I=yeT7x%xF?SmaH?FM?*$cRP{k3a4=p%nsfcLu zBSJVGVLg6nbA7cLdnoj5{v~?tN*GWq*p333X;3%uEo7Xlg7lVMKl}Wb3i~8c;RO@u{K!&pXu~H1+3DE1A%mxCqkr!r z7MDXW+f3)f<2-#H%~|C?gf>~l7%QO`H#=N(Nka48ABJE@<~&fP z4K2Tk+V0-&UTGyJDm5{Woj*&DV zoQk{{guv}3q(8d2z1TENTGt_I3Tx=meE_K%Uv?IJe@s@L|D5;1NkE|%z9`_a@}jR! zdxn9??s?5)Z_`vOt3zp?(we{CSK-MH9;!tJ~+ridN+*}esf~s z1zfx5eCfSAym-N~i_{E!irS80;D{btI8E?c#vV+%3kIXyeV-47B%Ujf?OrA55Xwkb zVWI3&w0r2aN9%TUpwDbUYoFG{qODepd&2J29{dXUa z(BkF>Ssp2ba^D~NeSAy)64M>|Lw zPi}-Lj{Q~d{*sX&bS`=tIDGTNUkh-t;N4L|hq z%9g_r*0Al7)PwKS9TILsLY4K%J(?7y7eHD)GIjV9X1@X-t~ZpbA#r9dr`=jeE*B?E zu`|OuxyMCFFC7z4VFX=8uf!qv!;>(hZ70zXip2(oV?2*{xPS1a-)>~%)dlg%u|suJ zD~ytE=_m}73SvA7BJGg+p(KSDIQ5c@aXwi!xs;Lfv?ma*IaPnD59)MZCv8W?zKHL1 zNE4netDL+{&CkD->|DoLnliLLqU1C?YZ%GpsUi0gd4dJ0BCKz(8F=n^Yk>~4YO2C( z6`qlD{b|MwhrVq*{-)g+J)b%_#CsN6J zSP2^uCPhY2;abG)jVtrK*T3*Kwvcg*CZ=0_wZ8(w^?GmwdD|SWQ*lt(ZOC z=-$2{aMh7=(as1avKRdL{#+mc_fcT1mlaQl6ePEzHOv)O@H^!=MRJ31h_$nz45WFy zNILfB8$VoASZ38}%Iq7_-(P?tK4PfX3+b1b`y&i1_UFr1KU_W;>=Sl^`mLQO!{r_T zl%tzm;;20L%kRgpjm4ZfAp4R!vXcRK3ylB+l~zql36Y=;p9$Qzk1MdpW_TOkbz0ND zFs`}@kt+Tgx2KI%>JE=ZhGK+w4BlgUEGJ6(9YIz?+KuG%-%Iw>;$L;65RV@~hgPZ` zd@IpxZcg7kjt|BoVV)#Sv+B=_IJ-3Rpu_SdDI)ir}8<{=`7ADzm?3SOPuKUR-Pm z0r@`14?3b2Dfh$(R#XD7drix}#uZeH~b+hN;EDO+9HIb1_K?2)<7w{PlnZnBsSsr(+N8(og^nS4_p?&T5 z0$P`<{^z?7`*r=0Zy_M(Q{L$t*W1y@=%UY&-zIAr%ELQ@I*JM%TN2?)a}4<=V4X6l zrV_2yO%4jGbzGz|Dz`j$H~pz$?L_R-r8U*;f$_M~4BDAe8~&{eqE;_4SWl z$_R)!@(eT>vySQy5HIY{@ z3;$)g7XuW+%5#}Spea#c{)lhf65$XPpTLpGj6ZCBawN|1-Fh?2@fXw8aqod8zr(cl zX?WUR;G=+i_SC z%z=u)U8$r)Lw$K?dIW_$-d(A~X*WfB;r&%)Ur0fJON+D|%w4mjkCBFJ5iEiVxTkAr z+UXUvBkQ2=N(ZH#!r)Ba#|26bf+pbok9zSd6S8qUZ@p9K95cPa}Y2!C_Q{bfi?NA?a z#riI7?AzQ4MQ3&>MHxmQIHo5MdlwgL_wz5A$gx@;9vAFf#tm~OCg!iHIJ^QhT^}E% zf{y*(0p8z_{U_(Z|1@n02m3$6`TWxbCKU%hxfucuU6l*<-bZrhR1QhZsu|;0t%q^p zj|0qsoQCN4z44P;TL}gMB|52Et;Q{_`OTT}!N-VwvX{f$hMLpNDCUxGcP4ERP@8kF zB(>5nNm-Irv|Zw^Aj^@)i&M`gl~C>0joPE=`!BJP4=1kEI=S?>DMl`f?ks*!-MM*g z;IqOkUsg()RnZ@R?K67Y{Wz_9wQ+n)8E}PYzE0@4ob()+&W1zy3vo$~I zK)4;I78xFvMv#-M53*fC5~i-Kr*X_PwUw<8b6coQyA>xU1aTTC)gZWbcD2P`bd0v+ zC~F)K3~})R@!Mrqa!bxa9aw&3#7n3wy8lw2O_V#`Bs45k^Xok8S%`RPN?~*+%3rF- zsJD(%J{Ha?=3=X+UD%{$ z;a0M`z8q7N{M_MUJF~2EepY*O`Sa^d*WD}R6OB;xe;Q@~Q%5V?KL^?W=Ib(0R0S$p zAQ)(FLcT+IgH-uXdj5ZNma(yN{pXXC>K>|C5+vsVhMriIyk~gqwrwlWI{|=l6D4CK zXfdTvdq3U#-a)ZDj*m|45SXMN;o~v$gc1^<3n@l#X1-GrG4d81Z;Obi5>IP&7(G7r zBCM+OerlFTvRF6USa~dJYd_Y|S9|HYIH4!$JD}hvxo9HZdgbe<5C{_KQyr~O#`e`S zybhkF%$T3TA7M7x$X|nZh3M;=G)ACFbvC0DZ2ZRKw?E`}457emuk~cIyypVFwWRMb zi@X1hriH7u1)rA-O`>1IE(*N>vrj}%1b$cW8btCvYY_8_^38fVWnECP3xeLIR6QgA zrwW6Qw>p#CtTnA4$f}BwQz@lZMpd~!ncJ$03wv8Gq;mS3I#rWsitykFc73tCG`51+ z$j5wT7sr}d>7SL#b8RK-s=>k)Mbm1_qLE%!ds2=W@+1-^r30f)$$B5kI3+?Q6ay-; z1hA{4Q_2o^lhbg;j&>cT3l^#tq)Q%Wp+PB}LIghs4~wOK1UV}YbARbME5Oj}6@thT z?&tD2VZTxBkd_%7y=5~^oP6r$e6SWNm(F68Sw=65On@64Rk@M&q3%n88DSHRtQLKa zZyMnX|5y)$AmmEEB?){VM4Mn@&YYu@5j5^VnHs0*0nZY|b%b>c-183Wj?J6!JFOox zRVBk-6)!1AxM^!plK2S6YRpBDvovxsc);HOQ?cm-S11WFxj&p|h9EPa)Xk8D2E&z$ z;Rm5B3Aw!{+Z0`5e2Mz#K{F?W2eC1lnBl9qA7T#)N{6U3;v(+#0L_GN63iYKcE^j~ z62Mt|F#bs#vS%)JhY-0`VBHl3OZl zid!C6bOT%$JxDR*MHF@9?*nn<-C=%?`RBdGGuV%Tf`cZ^u53fE-_gF%Rr=(2HTS*mbMT>n3dgrd{?PPqH`MI%9AkM_ij6iE zCtd~1Ap!*rbSV@gs+DKj_I%88_WnF6me}5#hggj!nSP~t+V?VR^ zY`r*S>8HqOrkKQ>sJ`>F|G1DR(x~69`T@ZN9WiIKqmL5p_jw+-uzqQB&+i{ngQ0Jv z+NK6PH;{xNor|uYB11su3Y*pmqpeU|@wylqX4P@U?HObzYPZD((L7xCQVY2pIik4)5U^ZJGo_o3WClnj33(66xET zDpE!)k0%HQz9{H)4C28id5sk5mQ}7?);qQhh!aeN4A~$IxqYvpucrF?z4JC@u8Hy{ z1k!;QB|)vq!XL=xG`CB6pCQlhOOGW1eXcEQaB;wbO2oG?^K;FLhBb2Ir;?n)CRc#} z-TorW-lE%HGRpocmX8~SJM_uBFrsD7l>4OWcZ1BIW(&@KrJ&m0cf|Ktwn2eDie)WJ z+Pv!B6|@QzeUM8_NvO2`Ze) z&v7-W3v1x~MDulN6O|9V1z4x`?e!`B0D%_y*{Lt*a7QnifO}9n6N!@B{yh4qKqR78 z382tSW$oa7>G^8^@Lm*VjcDDV8S`M(;WX^~OC_7TA7+!I6w=WlFjV3n<`>f3eQj210x|Dtt1|i1D`=c!d$%QTO`5PK2UL8ecNN z`4;o;#ovewMp#icfezq7tNz?eIWAuJ@eTV9fz4tBuJ5W#p_`m&Sd8?9x5ukg^T0gN z$5qmwhBo__y!W$GchD>0JeCho+CS^#J+kX`9nO34{LhCL;$pk=t`@c1EnZ)mRTFVQ z0qr~D99e^F>)YpIBP+3diAu?~<}cR%mGzU%WXE?P|xz#TPuI28|jtYxYWB zz}E(1VmM0X9kb@N)ylsX~&3{#>~Vxp>9?d*#Xj zl5!1EjJ`lJp_z&5)apwwNja5~guLVC#=;$CjVdna3$M|qj?KGVTm%2I_Bh4yXtR>&#Opyx*J*Q_KC+c z+w%o80?%m8d&f=BgwGz!M{UYV1gD#`c?_5UjpnqqrDZ>RWri7Rw%eH30Lv2fdtjSs z^b#pa%81Ju=Tf3QymUY7qY}MgXyeUheG+Y{@UomdJlfbwy?@8jJB^gOv83!dEAb4W9@2#w03jgHjw~3RgLe7$evu zu7b)QkS&9jS7#W-waH2(5vCQ>$ZHfuGSOVR6VBrui#eu?%EW>jg)%*~0SXAel7}Q0 z*$1cI|UT}(E02#>03Xz|mj77-B*#hK9OUI&W>1<<4tHaL434XYA004l<9|HPA z?EVnvKg9CCt1f>^f8YKsIsK{X0D$1nT(5_^-s~p z8LXE@+y?w{qNc_m6EIrV)Xv=5f{dM=^&kIM|MoI8X@7QF;l%O1|I$;`*j^8@EjTk8 zy#q{>nl5&jF3s8(O2rFN(Q>4;YI(SSB1VUnib&3>W+zc0^LHA2uz!ax%{D1Ilu<8B zw~vh}%w7OZk3D7*s^4EMs!N^Wd?PPF>?;s{$-py{nFoI}hdN$tGF14{g0W1$KRfZa z%edC#?Kq*v=q3?1qHM@7+E1Rab;1dVliBbVRL<0gF$gkfC8MAhhb}USCfh*T{RXCh4G^VsG~#WZer z$;Jek00nhyw5dj=5DX`AkslQ1Cq)s^%Z3P@5!(Na$_=nH60zQYYmnGab+FxXTWU_SE2!bM$0i1h$k6=2~=Qfi4@ z+XDDx4XYrepTo*Ri9$W}**(1&`4|3`5YWBCvWJH})<{Mhs~iD(9o}6OG4eek`*24{ z4{{S8$SJTOdRy;tXnzf{76+KlhV&C7DzJI~`5suDvW8z;z@j3Xrp$2LQHqi@+n z@jLn5dnWZj^9^Gi!2=BoaU=~5Ee{)}{f}o0Swtu^FuAzsNngG*HAZx-@2=e1v5&Pt z3=|xj3bK@u^cEo3Awlf6Xp|o>mHM44+(e); z`ux*6L&s6UvrJ7WAUHbYdu;6NzL%^GBH`RY{4Ur)OzdJtV?R)_M=zy3So0+@7i5^ zT`huh9$IqyxuL_;~@oslvjNEh>W-*_6YKAEv`j zZd*;nK8u8ZIU4aLztluKfE#+dC!hbQ@)j5~J||SYaU8V9HF$P)HSbgImo%$iIt}#T z{RnW&MAllDGC{*JA6++CH1Zbl0Os>K#q zcTXW&PRoKN|5EXqOl~xjgMOaafOeBKY&PkEcEK04O^}Uhqr`$9KKB3)QHE{*|ZEaND8DMCO8u5_x^HOULKMy|%CR_Mx32=0K(V zYiUe>*w-4W0>JIr<67mr4Wg85b-8@toM?z0ZYP&yV=wB^8wuyyD4KrDOG%3E+vw%CRj!%1AuTpjXpH9ySq+E$(qCiK^z%W*R`L z4P!Lx^*ij|ZI7&L5TPuuV@k%}!z8|)e$ETQ$T-@yA?WIw# zF(i@D`>my$&84FY1>_+4jsAwQ_qjR04c(h15i?Z?;;|BO=ya?Jw8aw48=~n-4pRUb zhLI&jql-aCb3gG}JXQIDR{-tl0*CTKKO~Ua1a%eFv{s!c7X_pWPzivk)>kd!M*NxS z>b8#!t}s(*kli2^b;R1CSZVXZ`*&P=4W8I|D7lsi74NhZJBIsQ4+mS7iK;!7IeNc| z#%xeNtyTXaUe1nC&Pn8B%aG+6OH4R*kYH%i7+Q)Fw#Y@1+O8QrLv`X|UcGzj_&35y zQhhx^zqiU1VLOPnT~;@S$M2suKJtEB@fA6jm%MkxI|K(_UE9F@8OC%W)b_(O{(R7l z;w60LzTljoe1#O&B@Cu?zH4%Uy80AqoETP=BD4fvEm@qnG;fh2m^{P`J~%#`$}wPQ zRql;sGk*gfq=23bEf5jFnNW6BAO+};h$zWblUaoJV8pfVgSRwSeQ(H$Fif2W50%W| z3h^EFi76x^kawD-G_(dvKV(9CV%(6oGJPto`#X~hXU(FTMfKwQ+A^@1FL8kHc$&jFFskb&v1IaS{=R8ix} z$RmEMg}+8>yh{;jgNlU2JCw1psQ5&s+d05dBN9s68@LRVS&pogj{AV7o=(mfB3J0f z>QG`Mx#3)54dmp##uOGinIY$}?;uR}^?QB39&HDHT~eae3ViP)wZQqQBCDcU0Fp`( zMMw%om~LmSAu@VnMQhN1EljacVHr;G`|o>FHDr$tKG7RX0in@104-fkeIhF}aRWla zBugKGlE&DSqO+l`8M);mv{~kY7BvnbGX#v9J`EJ7j!zf0$TEBZvj|+TOJ%HAL(h&~ z!Smzw)|a#x<1^b6X899lUgm_Jxt5%a)&k;GLOnOr)iao1oy6(LpVu*e1l|w+y3b1| za(MEUETh0|BXPX=u+~}r)zn$dFwAwF|3?(hl3swin$@9|9cv2p)eU`Zj99k&@e1y3 zNpL3;#uwMUdQG9(r5&RNrhd~zgZU`B&I*DSA(R}8sP`X4TKt4hJX$fZBCnL8bsa0# zxgPxbY}4-+MXlBp$BJeh*q@Mez4IA31v=_OaX${pw4;6z>}*u%XgoW>t`H+_vMg6i zYjZW5rK}`+spa$KYCgMa2rpmg4 zS!hEc>ZVq`q%NF%s-#pA%F8D`v9eD;Gb}@?H+}yra@HqvgnFoi=a_MBYmcwCYA(8* zjd)?yCjkXe%uinrg}elZy!1}w+PI@06<|UNsE5VN_+t`ZPyVd9%EIB4C+9cDvMfjB zz@Nr9$iJw4E@M7LU3iagYpGX%ife_5z+Orp6p*ftFF(9gG{$j5uM;lnYhf7YHaSs` zAr7-usv1&~%VL2(;ru)@XIqO-NRxj|tSq;p4&P)uL&oOIUb+6^XVcM3`d~xHlr!g8 z%V(2>(Sxc#N=L>&{GolSVvyRmg(*)e)hPO z@*6K2jH;Zo@EplRR>2Rf{n3Ff{a6Dl*qg))Sap!k+Xul)86cTRvFa=I5~S+AZDEVq zfph5JtGYA;1q`&!@Ehn?nx^NFHrvBG=z--!{nhF3;_@N~?UEqZNMY@W6I(FK3}R&@ z+o)y74^uCdfU7AiI3r}GRYPz{mr-=hcqd|=xiu<^+Af?C6z^h~>4rP%NA!)f{O;_s zxMXHE(gP;@Y3q{>U*SNO5>fwYiT}@it^ZnHX)2qVk+DeGnV7nheFiVS*uZDBb;(#% zEIq-?G;o!o-cHDuRh~>@%h$Wu%UdDwrQy>G`#=0if=_PzjUaA3wPv$po+Ryv) zldDb#*-sxau3Ey$fxHvuA7=A$qQ2s}Xa<&Og3liYq-ciBX$Fali3l1q&0}vR>70Bc z8CD|d^Bp4intLIjgJjdkxeJ2p^%=y-9ukY*#yJOs9q=942uZnsuHQHfC^(C-B)&g+Tg7;!O~Yx|MezEM# zzP4I8di8U6;pa|*&c_#7P>ZD%H}ID3rkH2g(u%iDSK&ZpX6|QH9*?|=Qz+%j6Z2{W^F*>R`w!ud>-*dja!wk+&zPA$SeZ}VB+FUs y)&!aBwSlfA)6b$71s`7_WUN5a|K~t=ayE2yc6T%d=OthV0ND|#sKgY+5&su}G!i!e diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org index 983aa167b..227bd3e7f 100644 --- a/ci/doc/coq-emacs-releases.org +++ b/ci/doc/coq-emacs-releases.org @@ -13,8 +13,7 @@ | date | coq | emacs | distribution name | EOL | historic | |---------+--------+-------+-------------------+----------+----------| -| 2024/01 | | 29.2 | | | | -| 2023/12 | 8.19rc | | | | | +| 2024/01 | 8.19.0 | 29.2 | | | | | 2023/09 | 8.18.0 | | | | | | 2023/07 | | 29.1 | | | | | 2023/06 | 8.17.1 | | | | |