From 311a6b74d6b84941f3750a32b1eee6fd35428c05 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Sun, 21 Jan 2024 00:45:41 +0100 Subject: [PATCH] CI: update for Emacs 29.2 --- .github/workflows/test.yml | 50 +++++++++++++++++----------- ci/doc/README.md | 60 +++++++++++++++++----------------- ci/doc/README.pdf | Bin 63794 -> 63810 bytes ci/doc/coq-emacs-releases.org | 1 + 4 files changed, 62 insertions(+), 49 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index dce7395a4..0ccb501a9 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -36,6 +36,7 @@ jobs: - 28.1 - 28.2 - 29.1 + - 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 @@ -81,7 +82,7 @@ jobs: # changed by the cipg program. Do not change these markers. # CIPG change marker: magic-emacs-version - 28.2 - - 29.1 + - 29.2 # CIPG change marker end # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false @@ -109,30 +110,32 @@ jobs: # changed by the cipg program. Do not change these markers. # CIPG change marker: test-coq-emacs-versions - coq-8.11-emacs-26.3 - - coq-8.11-emacs-29.1 + - coq-8.11-emacs-29.2 - coq-8.12-emacs-27.1 - - coq-8.12-emacs-29.1 + - coq-8.12-emacs-29.2 - coq-8.13-emacs-27.2 - - coq-8.13-emacs-29.1 + - coq-8.13-emacs-29.2 - coq-8.14-emacs-27.2 - - coq-8.14-emacs-29.1 + - coq-8.14-emacs-29.2 - coq-8.15-emacs-27.1 - coq-8.15-emacs-28.1 - - coq-8.15-emacs-29.1 + - coq-8.15-emacs-29.2 - coq-8.16-emacs-26.3 - coq-8.16-emacs-27.1 - coq-8.16-emacs-28.2 - - coq-8.16-emacs-29.1 + - coq-8.16-emacs-29.2 - coq-8.17-emacs-26.3 - coq-8.17-emacs-27.1 - coq-8.17-emacs-28.2 - coq-8.17-emacs-29.1 + - 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 @@ -141,6 +144,7 @@ jobs: - 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 # 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 @@ -186,30 +190,32 @@ jobs: # changed by the cipg program. Do not change these markers. # CIPG change marker: compile-coq-emacs-versions - coq-8.11-emacs-26.3 - - coq-8.11-emacs-29.1 + - coq-8.11-emacs-29.2 - coq-8.12-emacs-27.1 - - coq-8.12-emacs-29.1 + - coq-8.12-emacs-29.2 - coq-8.13-emacs-27.2 - - coq-8.13-emacs-29.1 + - coq-8.13-emacs-29.2 - coq-8.14-emacs-27.2 - - coq-8.14-emacs-29.1 + - coq-8.14-emacs-29.2 - coq-8.15-emacs-27.1 - coq-8.15-emacs-28.1 - - coq-8.15-emacs-29.1 + - coq-8.15-emacs-29.2 - coq-8.16-emacs-26.3 - coq-8.16-emacs-27.1 - coq-8.16-emacs-28.2 - - coq-8.16-emacs-29.1 + - coq-8.16-emacs-29.2 - coq-8.17-emacs-26.3 - coq-8.17-emacs-27.1 - coq-8.17-emacs-28.2 - coq-8.17-emacs-29.1 + - 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 @@ -218,6 +224,7 @@ jobs: - 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 # CIPG change marker end # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false @@ -256,30 +263,32 @@ jobs: # changed by the cipg program. Do not change these markers. # CIPG change marker: simple-coq-emacs-versions - coq-8.11-emacs-26.3 - - coq-8.11-emacs-29.1 + - coq-8.11-emacs-29.2 - coq-8.12-emacs-27.1 - - coq-8.12-emacs-29.1 + - coq-8.12-emacs-29.2 - coq-8.13-emacs-27.2 - - coq-8.13-emacs-29.1 + - coq-8.13-emacs-29.2 - coq-8.14-emacs-27.2 - - coq-8.14-emacs-29.1 + - coq-8.14-emacs-29.2 - coq-8.15-emacs-27.1 - coq-8.15-emacs-28.1 - - coq-8.15-emacs-29.1 + - coq-8.15-emacs-29.2 - coq-8.16-emacs-26.3 - coq-8.16-emacs-27.1 - coq-8.16-emacs-28.2 - - coq-8.16-emacs-29.1 + - coq-8.16-emacs-29.2 - coq-8.17-emacs-26.3 - coq-8.17-emacs-27.1 - coq-8.17-emacs-28.2 - coq-8.17-emacs-29.1 + - 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 @@ -288,6 +297,7 @@ jobs: - 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 # CIPG change marker end # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false @@ -335,6 +345,7 @@ jobs: - 28.1 - 28.2 - 29.1 + - 29.2 # CIPG change marker end max-parallel: 4 # don't cancel all in-progress jobs if one matrix job fails: @@ -370,6 +381,7 @@ jobs: - 28.1 - 28.2 - 29.1 + - 29.2 # CIPG change marker end max-parallel: 4 # don't cancel all in-progress jobs if one matrix job fails: diff --git a/ci/doc/README.md b/ci/doc/README.md index 72711eae7..9414c5920 100644 --- a/ci/doc/README.md +++ b/ci/doc/README.md @@ -162,27 +162,27 @@ This results in -48 +53 containers. -| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | -|---------+------+------+------+------+------+------+------+------| -| 8.8 | H | | | | | | | | -| 8.9 | | H | | | | | | | -| 8.10 | | | H | | | | | | -| 8.11 | | | SUP | | | | | N | -| 8.12 | | | SUP | SUP | | | | N | -| 8.13 | | | SUP | SUP | H | | | N | -| 8.14 | | | SUP | SUP | H | | | N | -| 8.15 | | | X | X | X | X | X | X | -| 8.16 | | | X | X | X | X | X | X | -| 8.17 | | | X | X | X | X | X | X | -| 8.18 | | | X | X | X | X | X | X | -| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | +| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | +|---------+------+------+------+------+------+------+------+------+------| +| 8.8 | H | | | | | | | | | +| 8.9 | | H | | | | | | | | +| 8.10 | | | H | | | | | | | +| 8.11 | | | SUP | | | | | | N | +| 8.12 | | | SUP | SUP | | | | | N | +| 8.13 | | | SUP | SUP | H | | | | N | +| 8.14 | | | SUP | SUP | H | | | | N | +| 8.15 | | | X | X | X | X | X | X | X | +| 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 | In the table above, @@ -280,27 +280,27 @@ This results in -33 +36 version pairs for the Proof General interaction tests with Coq. -| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | -|---------+------+------+------+------+------+------+------+------| -| 8.8 | | | | | | | | | -| 8.9 | | | | | | | | | -| 8.10 | | | | | | | | | -| 8.11 | | | SUP | | | | | N | -| 8.12 | | | | SUP | | | | N | -| 8.13 | | | | | H | | | N | -| 8.14 | | | | | H | | | N | -| 8.15 | | | | SUP | | H | | N | -| 8.16 | | | X | X | | | X | N | -| 8.17 | | | X | X | | | X | SUP | -| 8.18 | | | X | X | N | N | X | X | -| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | +| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | +|---------+------+------+------+------+------+------+------+------+------| +| 8.8 | | | | | | | | | | +| 8.9 | | | | | | | | | | +| 8.10 | | | | | | | | | | +| 8.11 | | | SUP | | | | | | N | +| 8.12 | | | | SUP | | | | | N | +| 8.13 | | | | | H | | | | N | +| 8.14 | | | | | H | | | | N | +| 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 | See [Container build strategy](#contbuild) for an explanation of the diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf index 7e0a38d637a71fc92f2f795756650f49b048876e..47479307bf523f2a41815916d476c7fc2449b451 100644 GIT binary patch delta 7761 zcmV-X9|K^1=*xo&MYuJ>2mAF!T8Y6T1fzR&gm>4LZmQYFYV z^NOkF_eUEgN=Ik0CzvLMVOxh3Dej~sZ~wf>+dm#;{eAy<`1Y>MEr?*j>f6Vk4@yYo z<41W@Hw9W~jW;K)P!Mh(KW@K1NooDF$N1Z*=SKt=|I+q3|3)Z3MyD?}!G?dbV$)AZ zt3IvD`12a^UJG7=(h)-66Ey9rz9$GN;l1JIy~`IEV9_Oh(#`~%zNZyVBku@h*UVMo zqwSIYOREVgQ&I&oQ^WYTFW=#nFdWdiX(hqslR<$myt|1Xd(6*oA3r5M08@jH|Jk60 za+=gY>?JbJMlwdug2*fCd-{J%Rq-X}GLuzRSt%JVVWDfVNpbJ>Xmy`*2vU}lUFjna zL?@{#nL^e_VX9k1mP`ic8x;u@0##bXp6>E$dTWd|JITziMe|8PWG&1p@E|~SPiR7- zec~R7leYbt^<|7~b&~IqI3(`!*~-pXcFgB0a9mY+1z)P1(w8?nE2n?N71`vRziM4p zNH)f2Nql=Z;ij}eZ6U{rSu#2ZFs@1F<@qsglEeuwjRdM)QAG02>^V^WV(WpDkg~9< zA>lm>qcAxJGbw_f`2;64SmG1yv$s#(WkB0zQT)Hz@cm@?1#)BfVaM=6yCxX|OB5m; zsuBkqRUq(0Hyrp$;bDLD6T&s73dpJ*0igzgW+R})LL_`5-RM>VQE!l6PpKL!EQXC* z;1X3E^OD{m8(U&DSW~^eiu;mJk{r*V8`hoTwcPlGGD15wM~h;-$=_gW1l&nmP|JWT z!zi$)0W{-hgMdbM^0UMo^dJB{B*48V#U5lR$c`&HgJcSeuvC9@Q=*rC;<0NQ9mE-- za}ehaR2gcT=m+V?qF6}P1;RRpOB6=vf)D9B z$Tir^HJsD+N>~|Y%o@+B1Z>b~MR4|Jyb;D@gN7{zt4w0hM>FGC-xaUX?U=4ce{Q-< z$#nVribaBj(YmCt`!Fxuc zTX3&la&q(GJQvbtJkC`_7B|YuCPbFylYDrZc~txdXEA?V%y%|cLJDT&RzVSV(E7{;?(if^7KvxWE#QdBl4x$KC z1h6Le{XAkdYXctVng_#k9aFUZZ5JN}Zq^WQ%OD+$2y8eo1u`@(kohT)Q8`gSMub%$ zGmAi0pi>}oG#xNuGsrm#WLvx}3@i5nnOg+10)7_A3W;G>HIOO04Z>MPE$uN{U`rie z@`Hatse3-FW2YIb*goA@RmGFr&N$p{AuKxex@z{S-nM_xv0~j2IC9R846z&V8aBwU zXH-GPb%QhFajo5uRa97P^Cx6u>D0~UA+XA+{MVg`tg=>7B^4~CNzJU}i3B$O0F*b8 zrKl1zzbz#|vAWzItoPTLteq8~=bZR~$ntD`U*dF)f7UoQI9$fafc&%{fbB`Cd^ zXOskLHsLZiHFY9FfpM7P=N-@es?lzt*==a?nN`zp#OLy%tGp5DFA8@5_8c*Tn4t{ifB$I48+B+EeB~_0#rFz~hj|><)i< zh@9253#|^?Y13o;Y02n!ubi?q zBtX5m_DSa`CKZN2+=bNnp%ZVN!mL7erf$rvU~Z_R;%d+~(g_oFbC_;a#(*;q+Jgwd!TO%vsp0xzMjw z%b_x-X#8rwR?PuV%ABH{A!6%mX=0@^^j;v~{yZ6{eG2`hi(NVcZeeGnyS_&g!KicD7Q@fof zc7#>5w@-T`mn&D^EqmUXW7mJ(kF&sdb9GJ1e?d!$0K(XAQvPfVG$H&y$3PS5PmF;k z%+U(^2<_-zW4wc;3kRx>xW(*PuuS(n_HSjue~moHX_wN|MJjk3b=;;eDe?^c#BhT( zPJJ`qQy<({hTAJX67cjei?{AWeK8`9je=Zu|JUA$wO3`!_g&%qc}jn!KfY62&m)Gq z1a===QO`O*69cD((>+dHeUpM1u1B`mOF?};V}|@3YWz%Bh@{QZ3wd6W>Gq=Rz1!dR z9$*+m>Wu<1@W+IntajKR+mURG*cTQ&uUtD|vqJPLmwUaqaHYB(J;Tz)F}*}SW!N35Wu_^mol1AJ&gHr1b-Y@3Rd zwbN6#&p!HVT)urg{Cl(z^f7sY0Pka7y0( zb^GPv=jBu0_Jkxh?B2v|9=AY#?_^D%Cn;O*FWGV$RIQd@#$|uK-b4?Zgu2}4Bm*=p zPbBr*5}KCn{XmE+HbJq@nuVx?|B?`CTZzKi{%WG~jrnz@%(nTqb^C~@f)ZZgjHut9 zAFZ?c0MP~E`^!o`Xi8(p;6NQ9TPH#<-#K!UX+^fGT;rN}3gum%yz1}k4UG{&FS$v& zTWzRqn3oI$eLy%PswIRa)5-QO(kM$&E{_UjenGlNF1lL`k1KK*{&#Y7IS=U>w{^D= zZ4o_tFw23XN&gpie79?p-yJ=ZZzmRi#ahd5EVmKe>nr*PM3cqh3lIco?nnl_OQN0O zRf2evyRbL;{qR*}k-TR@Dt^mNZ3<9$?Kh{4 zut9JC{QC6sFY(F0;^(JL3K!h=-@Nzhrcn#4L;U+c+drQE_H_At`r$*FEr?)$!Q%G$ z?@rc90p4s*qEOmwpI^71U!=5`_%Tu%A3yN=tgQ3Xvc0UA-^OKJ6TyK`=tu{}75q);pn`CKS6m@o)e792}^)?DXq1IB9SF z>CQGJ)pqQi5up5vy*1x~z10GL>{5G+-+{eRLd&K0T7L)jItXoG#Xfmtba-jw2eJ?A zHz-GflY&-L|LYn@^{L{vZG z2l$Hm5(SM|qvub`YSbtt1*2Z`x0B^tN0Y!c>qdDt3TDp)Gu{Z)s-?$&D42~bjGn2i z)iaQhnW(@=kp-_w#;RZn7N$m1HLa(8DRE*`toRfigb&)Dwj~TO9g_npm-3;rNeHY$ z=nF?S!q%uUhGla>(uTGLlDoe?BjP>q$E^>+@3cVIs*}4DcI^eCnomChJG>PfiXt5z zSxNZvo%Br>>JI3jf?u6~wxV|E%83$D>8RSq(b*1O-X}+aznNiEMg4|`wMwv@`F^)u zqdCX3_gIyifQ({+Kq;`LHMsoW;>f-|jv)qNY;$k?@(_sQ;oB%?{UAAbH~Q$b2QgEC zYVaonE*;9wfO}K%@`6>y?E0O&UWdocpq;QSx5pZ)q1Vux)<7$NbV^kNkw<;{c3Of9 zo#{}e@4PeYD(E)?*Eeu~_%IEZRN6>BHQlXR+w4Xv2O^`mHyZs|-?1kcq%)EjCmOrO%MXT1Q*g(YlzLK3@c zPsCZC{8T%ZWjm#Tc50QAr3k4+F(ZR&!5QTeEeI6PndX3h%u<6yC!v)+E+r99I}wY_ zS+0(NtWsW&b<12mr*%hI?FP5xX7Stfq2s}j`!j{?{!q}t3Tx*`$oC;N9e$}1AbUH5 za*^D#=cd)1vQ@1K8SKj=;lML%&%0HB7G`Zfcg6C&)uPJp+Kn2i9EH;qP1<>ppDvKo z{(RdonZKTEO0{!&{0P;sntZGT!Ig#V==n8d^R{_^Hp^adt-zfV8jzRrPbkI;YVmX{ zS6v9IbY0jQ_OiS2Et z&szDi|G1T>^E3CX2TZq_}a1ag%oKucnI1N4zNA)uK?Se~`4z zNK~*wr_95paKKiT%kCcKjUHVP@(Nu9IT}9ZM5n{`X(21^)hH3XFiWK^zEw z75I2gy7)s~DB14CNl)&)IG{TnE)-~$y<-%r+@IQVYmp)9H7s{u)vK{(cn1#G#&daMtej1&KP0sH0^)_Fl1%jDRYPgTD)k3*{9baQ9 zNhm(bYhF_O)iSW;P*#QpOv5f{74s_^K-2pq#~P=8&8*HZmdVJ&%-fifL+=?|xdxYc zUEH{V^0D7m_ZYOjTya7wJD+4Bddk2tsbkZ7OVkbSFoZe(~DXj=DN-3p4 z)2r3~H6G7=n11FkpBb)Qw7;W&iP73EgUz1?8%Y5Wgo_GJVw}fXJFJ6HI_wT#Z*s*n zjKh5JJkr`>WAcbSqisp+?zz4q!z($>!>-N4ZV1dUyba3t7VkBmYPxCQPy47A>h)o3 zhFBYDo2Aa*E%}$}EljzX9Xf#MI4GV@L<90(9nFYM3EEEo2Zk&2&YDDdv^U#*TkXk~_u@I&7r(vm$Vgo=V2%F<}%X^2#H-b&cMVc z?Plg>!@qt0@-oAX!3gCH!wnyK1<;wQ39E-K(-VHn^9Y(AdaQr*84yxp1qKSJKFK3R z@SRB7Zs<^eQ7jSqVGnViNfHzPV=d4t5+I|@QyPIG*jy)m8nHSHn6MtO%LH#l_V5ymMl6VK>N%4T>?f{rXKKh-eJ;NZ^hVvaZE2=WQaqjomUawr|2 zFEs6KQgW7|SMn_95x`0cJ5fUs)yk!)8Ez8@Zl_*7Fo?$9 zT2Nf(O+O+917_7E1uMP1O$l_^p#$0AW<3h)Ty+`uMmuO<<5SvC)6R2Jd+Vbe?ur9E&4BUN{81CkLCa6!UXq3f zuU3CUZ?cgZDsj@W-|3hcXqA0+N@?yKDsh2V!Ff*bturDz=W5B9tLk+a)>Du{+j96) z;MJuyir}JxEeiCtl*6}Uik$k-1inv2mTowY+Qjth1JzJmGV@sCfP$GjArWI;rku*s zLJ3j}9W8XGd_P?eB$@YaHz|%^tfzud*3W;GDRAharb$m@an_2YmieKqhIxwMsQobo z)TQj;40Igj5~&?SmTZ)>p5L0~cL{cvB-_a%v=`30!(uRJIi~V%#h|+l=}sk3T@Fhd zHCZi|y}?*S<&-RQb2yjsUD3|R>fRt`?(9i8H;z(G{M-;qS<1^2q-?%dXb;P-3ax+5 zl31>=1WT6zD7>r{c;+!{t(qN&B-7~@o8;NEvbiuujh^=oeF~xVR9|0t8tH|{cGSY2 zBH9*Cwlxxs-bO7;!>X5y1bOEgy43-!P=xZh{FyuIspElA9%ky%zV|g8Cu|hrt4-DV z?B_Sj73Wa1?w4OjvFoP6C78xU{~&*Nx;*o>JvA!foIe0_bu>(f2B%t?v-6baKU2_PrJyRFX(#k4`axWy2z1VYivG;@^v%n(y5Sj zM2V_R`K$D0BG{)d2Wi#MoPp|0Vs;nYy!11~K9;nGB8{)9zkQSz`FoQeEjNFT6hKNUVm#YlFS1>?ya#({ z#V9QR-1^M1PpkPmuCsI!F)M1keZsw6=x%*#(&=CYgp&i;cPSW>)O!p(BMkC{Qr@BE zCqgEi<_-QZc@6V@jov5S;q(S4F+aV*={HbYELWzgwL37?vgutOANHnNHS_WL@~_b} zwBNK>A{c+S{q6h9ufN4Ne~*8^Y*M)BpK_lRLsAAQRw_MjQ92M+c<32Ow7O}OznzkcI#pc!{%c-n}_4l$+*g0 zF&hhTM}$Xq z<`9hwWK!BRgip<~|2tlXJ_{5IQ2r0|{3X{=9-|Ihd8o>D8I($f=KlNlLiCrurU7AN zr99E+V0P3$o?AGz6<-pqu^E(tryMg{%4B~^TWYSdz(TCncRLz0g+*Vq+@JEzIp@@U z_TB>gB2!;>Lmg5bkTK|bnc+&FH*HKq%vpb` ze$&?s+=7*DeQpny1m5dgxt0O0^2jpA@36R&mG@IRTMwpLd&)xMGN2JX=r<|CYslPHfujdrTci#&7UvqUCzXP?AIS$u#Vq!?LH%fuv~kt z4EF1?%V6UzpRDX$9etIDZVNGG)m;Z_m>i?Xe*q-LZ>zJ5FtWEQF)%PRF*GwPFfk`E zFefP>FHLV`L}7GgASgsSGB7eUFflSQFfcSRG&8ej=rImPMKLr(L`6e3HZV6iH8Vjq zMn*+2F*!vsMnOVCIWa>sJ|H|rF*HL&MME|=FgH0hGeI>*Mny0&IYlu>K|(?~F+(#x zAYGGDZXN?QFg23_uN8kC(m795Q5eSY_qm|BZy@7_xS*h-j*5afihvt#ID+5`sB{_% zrFtrRW1_9mZ(vNcv9&SM*%=c$CB#oaXY~JC{N_&1+;iug`#%x!w}>J%I?ZPx)SwoN zuo!h%f~8o7$x7sQ5?d4#u|UHp6@+e3v9wR)+#zlI=R44>#}4d73wB{Q_Tm`Y z)U=Ru_MsgIP{v_&fb|#o9QIQ5qEoGdd4D%fpn}}*DdfJoa0X{_4%g79^1GaK0p~G* zOSp_HxQapa<1T-ys&wc5*D-`)+`tHX%JtvGZH!|A_ZiQ2_cZW4=RLqf#%_Bp@P*R(bNYx8VII-AaBou;*EZJLAHIh^GXCXt zj&m;Di7w5QLNm`oKi=jz%}sMxG+PszeH5DezaH9~Giw@}-mZdn9@6|oXrVv;0ZVFc XN(yCeWOI`b`5Fl{GYTaoMNdWwvN|Zd delta 7748 zcmV-K9=qYf@&mH+1F$F*0XC697JnMcZf&)0-mlm{(2&@9N>!z^Pg^8rSGP072m}+( zfDyk>UQV2>tVauC!k}uKWyg-+b|P=T-Q?~22U&mL-ygnvQ|1;#uweD={nrO2r1J5j zys4W4Ewsj)lU67QxA$+iAD^VO{@G*vZPfE4f{TA?`<#Cxlpmwh7n@*1S%0zVC!|%M zR%QHoiFhvsFG1-Dq3;Qrc2!>!gp}~s@bcc}3kn>&_X#) zY9RI!8D}FIBWFS674!UE$Eh0-MgY%7w1PXyFEn-i1c{RN?#+sdE=GUV6pdhjqW)*l4pt>hCA<;f@ z55!5^{>=I^Mz%W1_edNPclm5(XDmDBa}_wQs=R_g|ILQ)C&Mq08^aGfh7Z~`$q-ng5aCdj zIM}EHfhW4*z)uPfqko?et}#_WR_zD~H3&2t0VNh9;S=dbw-ShYgZy$z)mULMY}5jm zsM?s9^ak135~IPI>h)FJmwb}scn00D?i8=(#wU~!+Nn8O6yr_)23sTGPTGQ623#3N zfjteN89y5YG_sSQCFY<90pKA4?ma2?AVWcRT*(tXdmg-)(HVM(G`!_D__Swi#d>%PraReOTSK&mKlbOHAQIqv&l7 zMGs;cT-Zwnp>hn)Kg|fbrf*iX8S>7d63e)}s4gpm73LjV8wg#2k@^BJD>37cJV@sG zOD6bMtAFx4C(*&ij#J-T_u^sD$&TdBIN9>Ulm_>_z8O)bcE9aa)=K zN38)!AB#q0u)tI!kXgXJdPHxEzA)MLBC1tez`Cc$=1n--_zUY+TTBac|K%i!go~q9 z-S_hht5En@Xp_AkU{wE@5d7?mJEy-8IQFUzh<~+`4Q?iVq1pj-#h^yak7?o{iZDe0 zYjWStBUZCE;Bl^bFg({WMcdzY@loJr4e_=N(!q$ph67U|L(>A8p8^?`69r^MSOqe( z2xJ911u{p|0TVWZoTEUt#mmC5axaj%MIbBSXMwDc7-m%inX=m;oK@7)9-{@e)bS}l z7=M(y=d(I?nz4%Q(~VVCJh|)(wFp=j_N3y8*9ZgZy$v z6=YmDI3pg{+6`Gng~c|1LN=C8-E1BLtDMSz-HFI5YZX;e!BU#k%u1d}VB-%!c@tTR zDj`FzI(7&=a*NJ|+6)qF;?%TE_oOyrfxz(u;XU zNuXvEE^|{;Cn6LWhbeyE@!YQ(?G~Edh8CY$H4R6ubs1-;-0I7aFa3tLOW)Hj`ELp1 z-Z?7C!?Apn1C!fpk+cS(K=Jav%r|sR+%C{>T3w8Dl6<2*W&Tq?ZSMp;4tdP(kbj5B zSxvjp>Y$xAJ=RZSiQlS063EdgbCo~!sX^$|hKwI(8oErmG>aakPjDGjRDO*DV z)QfAMbdF+DVF<)sNSz-#@zyEKDr9Hs#>@)lhB_*)2ED>->&wj3Xs9GPnD{J)qIrlc zW^)`Om$_4U0jk^f6h3>mHn(dLP=CZ;XSd8LBH16_HG3LPf3;t$UdGFug}s^!{aUpg zDszg)ul8%z9Pp&fDasilw!W4oRw_g91p@BRlkth7$9zXr;Oc5~`iouBl}jiJTBPUx zrB%ELy;mxdng_$Isbo3LFLN3m=Cms#j78QtssSUD0$X*DVO0W3JNn9qGkCNgIDio<*~>uvxIXO2=!NnyA$MopTn?8h{9$tV{88yHpc%)S{5oyIC!1g<4Xu52 zy;+gRMQ=y8O1Ky)m!e!cxbZ@x*B!=bbrr-GBW!3ye2c*QERpw3G-SjO`}n&&EI#!oN8Nnn-_O3^ZYm zR?tUiNB0`z9VA^iP<6yDX2*hMy63U~DGUB*hl>h!23D{82 z>do7-DL7mmjho|9_6qd2Q^AksT{S&o1s%n2)o~i&Lld&8{@i5SRHQBd z@#ByF8keu{4}Wx4W4#E`KoA6YfBX5{!;e4355L5pA8s-ljl2DsLBB;Om%_Ugk$=Da z|KWejm%MFo8&h!1g8*?0F<< zwL$L+OT}I%mQ%B^bnu@M7VRogINRSwRQ53U$u@_N*U`!fo(f8Mg)^RheSS1PKSJBV zb3yq2dXf*5(rD2mn0;L9MCcVd$4yeMxK@>$S`&|;Vr!K8DE)Q0pD`lnB`--mtNp6R z_>xp*$g?J)Q8R?FWI0*aMG|Ex3gyu&e?Tm{Q;dEqVi^85vAI}>^hn#fTZkrzo;`=< zz|oNZ0;RdHDU;+KJpwQ`kwFxH#ahX3G`A7H>nY|1M3cqh1_%N)|40UWOQM_MlY{t@ z|Bzhr`r%e&k1;rE|14OS`_WwXo*TN)!rEcp0fmEp+z^RPl3reb!p1s0AElhsj09Vg4Tj!?rbt45hH3TBT4Gu{Z)s%5Y!n2judjGn2i)iaQhnW(@= zkp*u_#;RZn0H#J$HLa(8DYs!$toRQdgb&)Dwj~TO9g_np*YcsWNeHY$=qpDy!q%uU zhGla>(uTGLl54*{BjOqO;8&-usO`Fca-u|3I;ysDbhd++_sLPv9ND+WF~lH@ZSIZV9s+SZd>_TEA0!9wMjxGaCuRyz4gQ3{wL{q% zaBnJJUa-oT-Tp^jufyYJ&`#Kv+hYmU&`aoDYoHZ6rK*8{$fG`eKP|zP&UC2KcitH` z74(b1^$pw~K1_(pN8K$fL5-7x#on_;8j)=7(fw<{!T%=NoO$U_lJs52v?Hg~BEoS` zf*yoduG!?R6k;nG-c7}VeWc8sK1npLHm9#LbC(}?K3Mi2i=86=P?H##Gvz|5mqz`@ zD%^V!GnIyawTfMW$@WSFV-mazf7W!;D657Qam&IvxzUKT^ofhk_1PSUX2TzOtz4@LP=l+1nYEi{zd?H?8KB zt!hokU|$~z2cB7b-mUtxFl+m{E0*W27FB+?Zd41q;WR~)c3$MCi)d1k!!MZ!F7fDJK?X(=PQw)L6F6XOYUVQcSr57wyTpGCwE0bKorSZq;LncN2DtcYC@KKn+4l zhIg_O0_z1lt2#}&9MIQl4Ho{<^K(NpS|aSz7pB6rpv(;l_5<`YwzdYjXVX8=BtO;n16QWO}F6(>S#r$WpGW{U*X38EGdB zy(Z3OVli0brWEnv~7OU*XDX4HK&59l}4g0LCE!!?psxwF+o7<@j3H5*zKP+N5@s52~#0EgEiX0&9NCBv)#)<81r;l3svVXsor}H!S z)KG$jmp(nt4SKeO+>;xorm}LWcs5#pr|9&Fm*|vsldi71PPV!vZxuy!z0ncDqflt} zf)D+in9!Ta3}t1gK6OYhPg2~t-MC4+wpUX{v%c!M%)@_iihV*;L`aZ&|y*N&)><@b(2q83d^^^Lvz>%Xey9a>jZUZR`s( zx!-$3#GT$BI(;irQ#QzHIhA6639H16#w_OBvbsu`=-uy3n1v=!n3c65jt1|{| zFISw9%FZWQh#vAaaTrUEG@d>(XnQ$tgo&N>baHx=(WSH^xG1HR0!^=0+t+wJ^I`gz zhWX5J?V|mOCPwG~tJnsAn?DRTk^&$I7t}1qajdn&ItZo1=J4$nk$6lG8lw+C1!rzzoCNpnPxfUh}D@n+E>0k7}V_AGT(QwSl%->iFG~ zf0^FGl#AJ+1Bi~}qW;QzVI*?!a!-Nmg|c0~X98BGZ)|>+{66+5Zi!jkZ4{SQP732T zLl&6@yr(P_c3y9lE&V{4=dVJ752}*o$@2JUlT{`oe{A3n2Nizy4C94WZN}gCxS=cC z%W4XxuwL_jI=q|J<}zn4+MDx)ZWCZniu-=%5W@D@yM?!5C# zyZn*#Mz0YnRNo1Y`3{32UCG9hxq@NGclcpzqtk58@>};J`SRAisCf{l9Sj`LbZAyF z3;~6*?h<6a{O)i6`R4b}r~d*9MiwJGg|m4365gaW^PeA|AzNvWNb>Z_Cl;m^N*LhxbKgeS!C zgfh;5xrY%Ie&1ff-Qv9P_Q7)_wSJQl9(8`?1^k3iMiNziCdt(C$prrNRyaAPiz}vi znM<4_^ZX>QpE)uAEDzJQRe1!yMBcBT(pJo!hpo(;%SWFi=2sNggS@>qJ7cktG3I zu|(vCJ%oKGNp$#+wGdxL0W!)wr4i@|o9)C;BL=g83F`s7Oz@@1{?;(B29RdNee-Uz zM(UeR)mfl%eicD6|9&LPfU|LA9+3GMoiV6_CjpAhB}-4!57fB;KG_0k0gf2?1{Yj^ zX*8H%!8woIK!1);{@rT!L6QvLSuqdaL=2L+yKk= zszXXd6sB08f9VSoj}8e2XA5V}Hc>}^(ULHCcB-R@S+F>Z-dIQMjA8Bk;&56VKpF%4T@Y2wk+W{8Ym)>fBsZ?uE2M09E$YDW$n{sH6p61?M@zH&%<_oU0{Yu8Qk0j8l*y({lJy;MJv(gttM# zh6K4<%F&l&ik$k-1g=j-mTowYn#A<;gVa!5GV@U4fP$HOL?XnxOgWXMg%TtR3>G?5 zzMZZIGMe{pHz|%^tf#zxP{z%aDRAIW)1;@dIBP{x%lt@I!#qWB)c%+PVktW~106@X zL~6&7B^%|e=eK70U4q>u$!4+$bix{YSPbSYM_1mh7__$`-Khks%VFb2bykaEZ!i{7 zIVH>7EX}2SSG4o7x;KcKJ9`q&je}GZKRbj{mh!R$DVy&V+QYJct3qqDB$O*G!O~>_ z2`6g>o_Wk#t7gX`Nq4%XCVBR(Y%YvZqvyRtpF$u`_4Spfkxn>jN6qgkf^E@cTO-lv zZPckhzN9S!Y+!Kqf}>^$W;(0GUiKG8s7H#wTI zwoZ6=+%H2sa*^)V%QX@_?ILr&fc4-X#*puIkt4s>*nAG<>t@uYQ;F6QB&s&$uF{u@ zV4uDmq*Xt12C6d&*`2rZ($C~JXtPC+lyio0-OBCt+tTSJ=G1$OIj~@jLIo-RP8R&v z;7RL7dN2wXN?IKwjjO4@d6X9UTazj+H-9cFAS$Vd@oay+$adZG9_*bJqfh|Y^_gRz zR`YjSXX#PItf=w!iS~AZ-TJXfhu#SACkL+YQZOW`_vm?sALQ|+yvv0(_fh?6-rx?C zS3lp^;6Ca0r#Co>`RNT#zk%9fxiVEmdtj<%)4M$0?@hI8=KbU4Kg~2q3T6Fr+cB)5NWzrOsuyjZQZs1n-iEx;+TtE}%_ zz{g_#^^*!hPs4Oy4+jk^E&Z-(xE!9CwEn?zc$%%>>+EB=D4Zyy9b7s%!ykaFvNb4l zJD@Be;&_~Swhka$m}l$v^=$CMsDB;r*i*57O`)tX1S^V&q(exqOXc>L36-`A$#p7p zzpfcdBSsFOG z++ex0c-XZp9qHx=V$PBp(b0%Z?lE5sS!16V zdXCp_=+F^?A_2<%ReqZ@1?4DcsTFssTy{aJL*m^3{#l5A=_?WtCe*nTeGWxO-QT$Z zQyb|eO&VJ{DfG!PAB}lPX@4rsH4+#Iwf1gDW1L@fHOuWM-+OaL+~?jcJTLO>WiQiG z%;Jkyu`ev#P(oa_MLjn+TOwbA`{#%8K??$PbleNY8Xan$<}jm6lF8(?VI7xU_jf(k z%z~tmnCjHT9@mMxl{qJ(V}IHUr})%D(|QCr5;SP_>jX6U$NMu=1b21&I+<*ALG|3_SU{L;qq(* zn6u4RW3(;IZME*Lt*wnRq8FEeVcXm>-zfk>st2@eQRVtiwuBysM*8%@!mi8BB?sTZ zA+)_$6U}Qtn>C}-eLH$*=Z_EeE@$FCcH0lGN5?O+b{_$PU#>mp_4{?%Ww7y<4^DQj zE`C!-cJm<*#jbxeOb$`x|6mbece9!>vbQQQGBY$cH8?9UF()uECn+E=O>bmGVRU66 zC`39kFfueSF)}bRGc-3fIJ0)>F%CvUHZwyuG&M9ZK{YlqGcrUmLNGWuLNGZtIYBuv zLpU)$AUs1hGeb5sH8e0mH8wIcGDI;#FgQ3uFgZ3kK{+r(I59pTU6TPG9s@NnG?Ngo z6@MMl%WsTP9LDkA^D3=-X|-gA?(>(Nor+j zBf3WjTM=7{*a_dC#b@5hnfJVN&ig$P@wbQ~G_s1Pzx$E<>P0^Wa0J7ss{B0X9K|4pa2zLa5~pw)hcSkl`hPm} z{xcZCS)9Xp_LS?tfJ?ZFYq-vMw!5OC2RZKsZZeil$Mxf5zB_ulPUBPgoxY~6`Crr5 z^fl`+jZI^-F4Ng`HtRI4O>5J{^fsN%9-OVSGy5`aoo(5lThI#jZyK3K=6#snrj>a= zrlU(>&!(5NR~4KG)6BeU)6H~qn|~&TLldtJF6%q z`xLrg4Ly3F<1{tr%Vj-z6MEVmdif#8X>87$E1G&2dd2wLhdIu