From 6aa7515c46f03f5e42843864cf732fbe0a0b284d Mon Sep 17 00:00:00 2001 From: drh Date: Fri, 12 Jun 2020 00:31:52 +0000 Subject: [PATCH] Remove a NEVER() that turns out to be reachable. FossilOrigin-Name: 44e573ecd5c2b60107133d60c51f3a04a3f904e9c1cf926e9b8ea977c7acae8d --- manifest | 12 +++++++----- manifest.uuid | 2 +- src/btree.c | 2 +- test/fuzzdata8.db | Bin 1495040 -> 1502208 bytes 4 files changed, 9 insertions(+), 7 deletions(-) diff --git a/manifest b/manifest index 4f90c0b7d1..55bfba8acb 100644 --- a/manifest +++ b/manifest @@ -1,13 +1,15 @@ B fd5abb1a7b5a55127d5c0d5ff448020d8bccab44e4f5afe1eb88fc19578af735 -C Add\sa\snew\sassert()\sto\sthe\sSELECT\sprocessing. -D 2020-06-11T16:04:10.746 +C Remove\sa\sNEVER()\sthat\sturns\sout\sto\sbe\sreachable. +D 2020-06-12T00:31:52.711 +F src/btree.c fabc215bd1ebab0e48108e95e0f50531da9883156b95888f479f6c696db032ad F src/global.c 0409ae635839e0bef26a69b68be64126ab6cba62ac19bd7694f1652e591c4c17 F src/select.c 929e1c0db3cb3d9f7d2304c6596868abcb6dfd7c2a0ac1bdf12a5a4432078ba4 F src/sqliteInt.h fe320867c4f48eeeca523062c5668508b3f9b88d65690d42610bd138a5fdb5c4 F src/test1.c e9f68f157f8fd027ee4c32c4b427f4eed274749bfb745427e2d954fa89d95ad3 F src/window.c 88a63e6948ea924b3cf9ad8aff5ea1fa53bebdb2f13340867205fda16ed0f19c +F test/fuzzdata8.db 9ce2e5f0d7e5e61d5f8f0817346b2a3db2aeebbaff20d04043521623ea0558be F test/window1.test 9d7f4990e5b36d95af93b189da4aa75216c6690ce95cced3c8b6d3234be51c2c -P 32a88bdd4be5acdc1b80856bf6e32724dc3a467d5050bec0fe1a3dfedcc06f34 -R 2b3df40625e1e1ca91eabc824248dfbb +P 98cea4a32ba558c137d71a5e373a6803d764d34c5640907371dcf6468ffb2e64 +R fe941a98130365dcc5664681cdfda93a U drh -Z 5781754b9c0a637aa77d00f970b7b71b +Z a269c334c0d41dc18dbae6d92c570372 diff --git a/manifest.uuid b/manifest.uuid index 73df9f885f..8e39176095 100644 --- a/manifest.uuid +++ b/manifest.uuid @@ -1 +1 @@ -98cea4a32ba558c137d71a5e373a6803d764d34c5640907371dcf6468ffb2e64 \ No newline at end of file +44e573ecd5c2b60107133d60c51f3a04a3f904e9c1cf926e9b8ea977c7acae8d \ No newline at end of file diff --git a/src/btree.c b/src/btree.c index f269b3deee..6ec97f2edd 100644 --- a/src/btree.c +++ b/src/btree.c @@ -1751,7 +1751,7 @@ static int freeSpace(MemPage *pPage, u16 iStart, u16 iSize){ nFrag = iFreeBlk - iEnd; if( iEnd>iFreeBlk ) return SQLITE_CORRUPT_PAGE(pPage); iEnd = iFreeBlk + get2byte(&data[iFreeBlk+2]); - if( NEVER(iEnd > pPage->pBt->usableSize) ){ + if( iEnd > pPage->pBt->usableSize ){ return SQLITE_CORRUPT_PAGE(pPage); } iSize = iEnd - iStart; diff --git a/test/fuzzdata8.db b/test/fuzzdata8.db index b1837460297bbe7aea0ea95aa6946c523c946fa4..b943b2a99c2a7d48e1553cc8287b06e8bc43ce44 100644 GIT binary patch delta 10236 zc-nnh3tUvy)}M9G8HNF7&U?fsgPQz&(*rGZyddnk14R%!}qWoimN%HNKPEl*!$>jhNh)+mOlE zb0e87&NZ1_muoPIxhj)Oaup{1x#3Js&kbX8Qf?@d&*$2hd@eVH$)|FyOg^3~F!^XM zFxlUq&14_{JSKbivzYAef04=TuKu|ei*(9AhsiAe3rxP?XE3En{+UdU^G|1Tls}Wn z;r^*irue5Y`G`NA$=?1+Om_D_&t$y+IVRispJlRz{~0D-{)tRF{S%lB@sGDy#NYhm zn7rZlF?rcPmdUd;>l^2abgUg2{wS3s$|D5uV28a*8FWNAFEzxfN@1?VI(~u0QId{1 z(Q*&ygvpEK9YXv#EVv-GhVfYafn1B(-K03Gy6ltzyciuOA!Zy@bUyY=toAci*;|B$ z;H82jxsiaHLyAWCxAGwLw30{RhC|8~-t{Xi{zQtQqyx6TOif|wt@f0kFTV*G)z8@g ziv}vGn6p}Vly^Nt{xU@Xta(Z*WRS||$#1{}jP^R4llwC{41|f}FtgGbDR@07cXYKz zk5^8Sc<^A3S3b&+c>J;-uvk@mm^)N%Bh8pL^Jy%Iwl%PK^myEZlZW^2hou+IR+u!! z5rt))6o<%rR5pNiD(~AZtpAW+=@^N&jzl#`_#0lACE>*>h;ck*;*y)IzoNogyVyex!cO|+!Y2czU3B2=N8 zBsHVvW8`WPsmS+p_Gp7FFd<=J1%b|3lnq?8) zcwF`XzV)U&5`MwdADxRiq)NaWr=$f`wM&ix_!U!YovZ3`y~KhfPRger-s1@=eLGkzhmZW zu2`JvVF_IHqp}~c!mmbR-GfS} z+4K^sFgwVi7o6@@82mJ-vXHC&B^<#9Y8+bcONufJ1T;I2Yj z7&W`;Tn4!NhCED=tmylvvk1#3%4ztTs=P!?Yh|kq##6y9d5UQLlW7UX(lgF@RMO=b zJl9xqV?}F~DY-0s4d|Y$T&ZV!A-8GAf~!IcoXRTrUGj;MzXgaz*n2$gr7$eGAxy>W zFNAPnKIe%Lj@1Wjr|^AQQt$I;JU|3hAF@RWG}Y_+Iyl~e&|i9lyO4SpKQa7EZPp2r z<=@l)YvvNmTsK(RlFDjO@&>sPP_w4Ww*shGeN6I_`#Wb9bL+TVRUam!xkU}DPqL-w zKLOK^uE#2-2s-*JZ3|JcDd|{s-I+=cw^j}bU?9BWIzTCdlurfp#W_MS-Rqjf^_X|( z0ogo!N#R}vZPtmB<+t$vx7@U5`vR%K!IA!_CCjf^+&V1j-kvwCGV2hD#dm~Fw6(i3 zMudh~UhaIHSf+0gp%IoJb8f}cTZFclaYL~4h>sDWG5N>HH(4z_Xk!`Qvsn2TN7;lj z+bYdOd~1?2412w-Eai<&vAoi$Q-c)cnhm0;woGmh+|nt5KXqe4r4UbtRx7;)s!3*5 zmbXSz?Fo60fESj@GqGfcOJ&7TZiP42E9>~<=2-coGm*MaP>zcbg9U8_gIGnG2UK;) z7AbK1BOw+me|2sM+7+%!b$*DnFGJZHVtq!k{4(=z2t38Ah}4W- z4`8%xb7Kw(P46w$sZ=(HVTM+iBU^KLxHh`GvYf@TgUY*s^@@zQn=`lL-?Fm?KLdtGNl)>q>q%2k1tYoKpU!lN{V7zi`{~PCGR>K z(10b%dYkoG$#OOO|DF8+b}Cdpwzgyj+EYyrMPXs}sPs6c2b2In2Tu4(puk!sUBKdH z@*K)quPhSTUL^Ih{2&mU*JA>7q||G2N2s6G4fMbkVB{g?8kOJ9s$6&^+HW7SW^fMyHl znjc2!qB2H)Q3^w?>5}D0hv3k{4$p;R*|X{sY?+h#t#9a`ELrwK&$*Sz$0$I&B@;nlngkMDBF;onUGXp-PRn=06rbnKBGpTCjB}R=RBc(LF(GsK8oI6w$pUlY4hGy_f635F!c7eoyMx0V55p(l$PSYwraIin#vr+ zv;kpB_xjhE`z9v@J4{E$sL3Lvp?8tm3Oi)lUc{(I>Ik~+Q)k<((oqMjDf*E~$YS0~w;a)eK#*HGOUlB@b?VTPJ5!bD74t8S;aW~d`=@GLqX zQa_*%v(&C4JcsJf$_-4~6A^~KSXITU=WUPB2*0{Zfafvo2f>A9Lb$>`9SgK1Pn~14 z&Xg?Q4ZJ6Yf5dJp)R*j&UvKH3Az6;5-t+J(pI?3~Os8UpZLClqEDM6cGKGp&-uj=| z^9Ea|Qn6{913dVaqdQ!!!ugBTT$E?2tN7y#DsIRCp(jP1k5gX-J6(BAZ74t{mbSHf zaqLLNi5b%!HX2Z*9QI{(HfA-{8d0+^)o(?} z!K|iQB4!NN!s(H7>U$#iNvdKhgLo>`;vN5gazo2)mXw`RxgXN5VP8G4cEAa zJa&j?EH|rRU&NO>c`@o2HIkbB!k;Z-J5bHQj5S(A^4?;V3KnDS?`jir-)2gMC5c!$ zQPcNEYF9;g8LRK8(bPiH&Wo@V%l}Xl&|}lWsCTGVCc-j2KUHgvDQQ|)8XKX#A;NMj z6*M=+D%u4RR*+<9jEGlAisbivTzp3DNz65j|72 z2)r^?YY3aM)TVW#UK!d^QQXq8EAFyuO)yE;Wc19^TGAXvdsD!e6`BhpU(l|?R_r=k zYej8mYhQ@44b$dnEvR)CGa_zhd}h9_wZf{`8868>+7S_UAS}?L@YQWvYZ|nW)BGmF zOIimko2NN(?ncc)Ll$d$Mc7HwGS10c=wHFC#^q~YiMCydVIFUS2P^Znckj2N6opcYvE;&&)$94wto^t8r8|6}cCR=M{JDuGY;o{tUjtmQj;&W??osh=^R&Gj%n3eOY9k< zhmfa=Pwf%h{R8u`qFU3a&n4}B5&nVjeK21&maj*#^e0AI;x+9f5su;HLp*J2c-nkG z(l1=)aV-BA%a5wxn6WOmw2wvcgr_6c=CF**|C6;P-PZmg!b#j7p*P+erL&~?5YeSP%jg+M>O3;+HNU{xz)Bkgam4+Qv}9bNS?hPi0;6;*S-b0ZMED9zTk6kXO;7!CZY_i@C^32zdE)d2 z!KLF2`eSsHJm2UQK>1_z2EonDS>D=-_ZkS?d_T6!ZLTZa-XLTM&hSp>u(*xh0nhc+ zo7X*HE=AG}udWL8;Sjwmz}FZZqsMYJ?10Q%ljwS9T?1kmJ3}Bte-QIy^ax5x)L#+k z^O1UcfD3haSW`CvcTUyWUN(;PW1m#6rw;^X>uu_Wxn~$BgS*jc@{ZA&>#Q||cYh#| zqc;im;opjJz^88#Xsa80Gto47MZvS}(%11^Vl7g`|Z%X0BrD6S|x0YtBI&6a(Az2AFhK z&#Lz*RSfLZ6aLc1vPIN>)id4kak-A@}Wk;PcTedaIoJ~cS# zkUomWtk<`SP)pT|jVM;PUpM-2{cetWPM}QJ$+zBcvT&Ykq|&s_dI5{%qq@N#R}tgS zE(T68T3DwdMp!$&D_8w1rTX*y`EpDMROvBX&x1l8mR%p{BLKxqY&@eULf~LN z2|9n9yi4@c!5lC-O_30|ribAJF}jnpTNR9<&_IpeiUY~{%VhH2(}Ftw#PT@(Dkroi z_~>MzR za9qs2WJa}MG<+U38cIoPf))`E2_DMsVF(P0e? zH@fnHJ$MW|Y2GR$OAL%MB5-?xUW%-sMAk>eV(yufzIe)L4cP0f-iKI}=l~6I*IK1<(jn+v;682zxM24h8`>rp#5w1hL-5VN#Q> z-j0+i8AHYUyyBnY0+Z|Jz7hA~tQg2Jdh<_*#J~*0#r zVxhFmXoSAL`dpr{sli^6fqcWLFZUNk6jvD?>Q{{q1&;hyV2xp=hl=z8!H_BqtT)2x z#C$#R{`BNkZn^+*Sf0zuY|?psFFl@T>=2+0R;KA+a*AVFeKk~S*4DTLbw!@h{3xZY zFx~-ZNA5Vi5;(dx!60qVL#{nXc8V`V)((GJgZXz)FwrsRE4>vBTyL;Vm=~d&zWi^C z2eIPO5k&q2X68ezI9ILHdu+L*3!GpH+vXYVY0Va65`VvxR;6zYrq`3)N<6pHhV$VF zMnxaW*=;P4pfh^o&6(8JZiWHQ8)S9j;RG`h$Ap;+sO>)E3xF=7_eWhLyiRD!pM0#YUIH9pt-Yu>DSNEX%UDB=>cLm9>oTjmb3Yit&flI#06v_;e5i zF%X{sE%?dE0&7o(^I6%NdJ7v@;-l0+>3kLg8#PMmt6xr!G9gS zn0nlJGpLuC-rk}xs54fcW%Y8`Sz|D|$D3aCoHO=e#b9#;z2Pv&3NW~^AfBz3-Asv^ zDCYMz7>X(V_yk0n6(Xcy^hd@(8rsBUyU=k z#zSPpn4PRvRwOn#>gVO<2!?Xl=9FBEWcjE?JyRP5{#*DEb`8hMO5;h)>1*yLrJeb6 zh;1bID4`1$_cLR#q@U^FOid>0Z%QmD!pyc9nP$$yjlUZnI-F+KRo}-j`kZl$n0o`D zuxh0pZyYdIQOSemFo021n_{K_RutH*ctJJykfW#BKg7y%=v0S#qywX zo-hwFAKRFNI3>q8))DL)jozEaQQZBAIT(|sGu|5ZH?IgVhP>lUH*kVSQPyB{kpNGk z`+~tX%PD5-P^(q4?Cw%;rx{)uWro=&Y|YG-Sdc$c|DXk@YV2kym*w(@j{khFm04y3yA&c>w(~b8 zJ?UzmX$bI4V6oZ9YLhH0UgTaRl7F#zU4l@`SZ=ZuO)rF67Do9dE67vmiBsk#ppW;O z@dBPjvlXzjOpVjP407b-)MQ5l=FE3U==`Vo6J|t++c9N>BaEJ0XKn$=z|3EqI`+H> zttn}}$&Oc<^u!tV1ame!La3zJ945dtD*Ihb5-`89^9kCp#eC0d4U;T4dvIt8v}&iB z3-%fB_RY0Rmfz&M#^JlnH^DlY(L58qzd|wxdj=@#ZSxYqEGiBW$3kJs%@O!`sAzEP zT?BXmlb>{abstV-I4@w@yXNaK8;hNyj@Mr`HLUPEx^uvpB4%h}9FN~QSh~s427PB( zdM+$8v-x`|c-v_QR605qQ^sa96DZ`k`G*8qTOM<;BGk<>3g`bInwa#CnU6)tNP4r7 zjb?;y2bhPMJsoV{9x4vUoY9V)!jj+YSQ6)4iBFOFI%m2CR?Ktk;edaI`S()03F;v} zAIz?7$|-iRGS*|GIfFwUK@8|7fE+qqZh9HFSD^`|o;N#(Si@OGtm767ZLY5L?@Ojt zwDP}USwL{eITSGIa0J`KuX3y-#})G?z(TAn4|@P>S~}&wa|oG3E$GP~%`F1tQSClc zhI`@P$M;kY_$918Xl7vdSIwjKt}F|#nTxRYu$hWEvh2Rsoua!@(7nj-%$S zUDX1tqRf2x!~6bDCXuGJcdZ6tbv#91lUIm1bexpV6$UVKjeG)quL_ND%6E<^vL?8; z+d!q=-CZeSL_X`XwoB(u-j0chg-M57kSEFYXDArt>F;9sQ?xB6SI4RWuIH_<7PQFK zaOgl+N%$HzXua3#@g__xEO=1I^9MqjQ?Eg;qjm4`T>L#ANyGVlBT1uNioYG_BUYXn%gFt9tQxY#vT zz^s6)6YicUMNscITu%ifYnJ>Gp1MH;Y?JghCgypV{0=z}l z-ziZnk=F@_sk*?`T!3AeNy1Vrnyqxf>mf`T5$fiDopxYbr`#rzrD9UToj?El6EnMobirA>TyYV5)(y;UELrw8PS{pw7n$AP z`2twNuDw`3+%}YkWZAL=I{mgQ9$+6F@S{z+y(icUQM5~q-NolLJBwbK1?RV~Y-}v|`zd6s$UC#NR|2^m2d!J;TdM+#f zx!l_7Zx)MnhvnYCrw zFIy*>o2`({&X!5e%nm0xA=^Q6WVW5;h-@3l;n`M_1F|KOPiHfdJ+ryRCj+xdb_kGp zYn#B!B;x`zNoKYT%&=Ib&jQm)P7Az5GA%HTk$|#S-yv)=C(xej+ebqo@~>g@RZ92 zlf6`u?E6-=_M_>!3zoGmy!2|wTLVYM~CPkya zNSQ{*(+MVBjuMd{abm77=l#ziTn(^g6ZXQPom&ysb&ZoE-aC!3+!h|`N=f^ zw%(D$@ZcS}mVno$$zBHAK9iqizd*__u6Z0%8G~y_rB|^0u-uTbtB_LVT3(IoRSK7; zQZD{-RCY6V4bv;R=^K%5NZu(A*!7jX+a{$-mP)AlDI&CjF_8qZ>Vx=zU$Xo<4XVb; zlOM9Cv0*goC;I$~RnICBv}Vg9I^+2^N*#u2=j1%beuJbUcWqFfP%6QDS$GP(=cLha z_OjrG+y%mMIA)i8P`Xg44e}KEIw$>iNUmWkgxn(OS14Q{L_lSIX(N{VmEH^vR|*5| zUayyi{Q+N`QfA<+OY*BCyN-cIN~VCtQ=~+S_g?M}T+42((Xg0<7cVL1wp(GC9%>|Sp1=#U`_7so`w0bil1njBCX(R z?m$UXo|`?CECzl-Z3OS;*~1}oglt1+A2+Sq_6X$}LHrB+U%K+4I9pDIRgWsK;zFll zwX@;4)KDgg)|*s07!;jxwFV_eZV2DjmON0}MGeQgmxQwnJVE7hHRp54uq43JD?%ff zd|qmDZwZi=U;{%6w2yiCOCl`2CQOFRlR^ZN<2fRepyC7jQTRlb)CZgz!I%{*_SowQ zIJvj`Y-qj>Sa<0u?n25v{7Cp0+NBYagef)R}&ReWRVakv(Evg zp)wK5uewsOYZqmYz?{I|aesixW0m6q_?tRyFtNA$1+K^Sz?uN9$#IP6t$^J+O0wLD zcvxO=4}2_wrYj#l8yG2B{(yoe;s00`_i+#TM}>mFgtfSFpfW^c8kCf{1|d~}4ID`pNB5a$hJOc?El!d&} z4JBnR9cxTbezvnHtol}djB!gx1>Rc|mX-;vaZi!bNx;gXR7ZJhEv&jI?-1bpCV3hZ z9&oFWHdt;9*LEu_d3S9n`^6QH?X#56L>3K8n+XO|wVB1Re2+a!;P#(ob)f7I*Xod6 z0ZPwD+F{pZr3d&AD0N=XwMn}cDI0Cp(URr&f2=SYI5o7jQ$W|3?HmABEy4+2+*eRyrb{nFVP|O~3|gyfVKG?oyi|`t<#s`V!jGIau*Z7kExUD$WVw?0 zPZ6=2L96Y`5i6Zuq(`uFkfKnmJuMBwiSH>v#u{_pmoW_PR3-|n2`IV3bj;YT%oSNv zOp%nw8PWpp7g#e)38O8pdU;plBcCeYGS(c`KC;fR#(t%yosC7`5#^|8jU{U>Fg;&h zDZut~((BObOQn=~A<$o5hQY6tiIn0Sg$|f_O8K|QT4L%pA(P=NXO%30wZgJHLTv%c zJKG~3LVGB#T0?5Q6pK_}h$hk-xlikrTW;j zQrRuCcnF-AGSRWtlPDj$jLaVSY5bDqhxKbPKCT8ZolsNYq1bf-@} z7-k($)DPnJlCh6NEfTDBx{*3U{pAt$@UcYoxER#z5nN{iuxC_qT~YJGtP>>5r!62o z*_M#kVq6#$&rt`{t|ukERWm^8zq@U97gE;_3X_D;h9`BP&yzT7sG2E2?yGV=EFZ3V z81$X5cH}lXVIYNf<@b?lU~N?$9ZILpSanF11-P?A^YAy84 zSKkk1<5O6s@z&e{5fd=Yu&0JvyFr=T-W@!-Y7=~^wYoBlO+>YWdR4G?q28Y0ORyiq zV=lYzp1SWsc6))Zll>T!UuSkKRn%BA+<+%;{E>B=Kl4dPhTte#9Smd!oG=gP8H^s$B!sv63}SvJ`i@M`!t5wVvbY)lq@T zlI7#Lhj95b_~)vRLgg@3w)P?A&j6hv>O$#bHruWob?O6SBCDyU(@j6{y{R6F&0^%^AZhztjRqN+mqc>7b>f0g>Kz(zpoPl6kYg$RYaJdEM|0(FMnI#sg#(DT0d z{so@cqQ2@F^>%FFMai-+<-X19bP-_ZoJQOu|_+Z!+#RX|E zI_=owWAy_&n}8|9)$O5Fs(|mOssSi}(!K_Ee5UrLcuyIvS{XVHska0+2~uXNR3eY4 zR3azC()DU3cuuNec)L{X8D^a(StJWH}hR!(gMU>KPW6PGkQys&yP>`n1kerBtd?(;*{HtA%xcSHBn849IAw#Y0+} z7J*OQR6iEkOq6buO5tT6RNYi-@APOFM3w=8M2%{Jq+Jr(EXe526@+P|U^cK@L~`9o z`XOev@bqoTDdB6|fY zYH9Vckw-fxvN=#vQ;P#{LoFOT#c0JM%YkzXwFZzpOKXS28f)uB_9_(B)jSx}Tstqa zxhQ!xB4Qp&t@(34%)73(!w&J<0a0Aw^}?{;T5VW=OMM)lYp-n**+Q82m)ewSt9C-P zE^6f+9S(~G;;2_=4MnyXa_^|Mv0gXrqR3u@dEr_+Nd8l`VW(ak%o3E6xs_a$`q5KZ z+V;Pm4CJ0HLum-LI`ZPZsooLst-Vmxhxm&1YiC8a9Ho(b>gyNxXsr$>caI3(g<2$BUZ~Y%tD&f& z_5>y@()NksnwIV0-9}_Fv6&`=cbOK8Gn#Af2+(kg=7y*|?F!3>cFVQK*nGKmQe*{? z`i9mBo2(!!;@iY%`cbVhl<#VFf0ef3(0mW}h{9!Ny-{--xUT)G+-KY<5aJC9?M@ zC;5o?DJS`J2h=~U)q=z;1hDl*?U=}RLeUi-{g){E9lP4bw~hC<^7;sf;a@8L~>K!c>IyTU4=)KL?_9NJC)gOb> zJDRq$v;K+5J_aW0JY#jr*ga6>(pzJEnEtuQ_QHhIJZ~a(%9~G6QgqT-3?;u(f|Toe z6t*?=BcfR1Z3$IxQOf1krnbZ=oz7RE!sf<01!=TSY4PvZRsB)eI#LV6b{_q($o2ty zjdaj>FZPYmcZh61N{zYp15i?5r!Z`;M}$%RY2R8ejyRaJuub4!R?C9mK$-$vc6no zrRXa(XqRizRezLEE<7@*Fr|UI@ zU^l%j@9D|7&2Dtk?WilXSmuEQ1F!A0=^xrH@MqD{zT!m-nuH_;qiJq#=eI7 z33?1yvxtuGeqF+=PwN^(0@fzv)=4Z&)@#z?c9OmuPfXDtW9$@X!o=i$`V#_dU8vJ3 zx2yg*|E6+9okR0Z^Fgi9lWQCbol(!AZ@Nw%6KOU+{t@2zO~^X`SpYqD8!>k&CB-*F zN4amg?Ffc)j{dvA&SGGTk;(WNh1)5iJAY$iYcNfJoSQiy2B+#ye0-69K;*1BxZ0TD zbiElLyqclsUA>%D+fU&JDlm1gzJ~GPb+Gsiy^{c9mR^(hH={)`!ZCN1kwyp9KlOY_ zU8BFvE})dp7wRIUyrg@$wg%kzhan%oze^1LE)O|s59aDlSdgGMRgkn(9|d(#zkq}d1@UOyI!catwz6bqJ8 ztX6Xw7W_(Y!`+zj{}z%DoD!OT6H2=3S2(4Wp{}TVYY3Gm^so4sKOyN&y&+`nqKw+R zQ-4z6lupDyZs|@2Lb+a_W9lbx`14utqW;KT_|!O13=s;KMI%a(ZewD;UMxbd{d)W0 z&w4nvovt7He~}%m)Ejf)r$RyTHxJ_S2g9!of01sfP9!Z94JWuObZ|@D5mJ9zZ_j@V zkl4ZSVO+FvRAeG1r5T@ujAaucF2DhroLvZVb!%DNeH$!YTt_lYcSqu$iKMx><&D3T{x@I$l!EaRVYZ& zKL9EjQPpuUkGtZ+lQWGb3=(eWosr@~XH0{4cj~cFJj8gP`x%5QnFO?Sw&7)v^{Eks z`<^!v7}Fu8o8FE?afE{7Ll*32DBR@TxClA;jAXX+wZs&U(N}!HHU6z>Fq!+%&7f;o z+G|GcUH5p;fM7qP-9vlY1qT|D5Pw6TQ@z#HW&d?IS#Qisq_rkbSTDzRmi?2{%^9l& zRVjDfRv09|N&5sPfcqhyw_>dJUEia#3_1x!qk2id7UJC*oItU&sY16gROcJN(%PpP ziM(L-<7u1{8Wa_rYPcWj&5+=9qxIb$DDQ0i${o2G%rNZO`D49XDENxFM-8xKrJnF$ z67y>KqQDwL$!aRaiMRBfIH8Kc7VOX(cA$<#N#KE_W2$;vsX8l1K+;g`<=dq^12Iz|)T3C<@OUqEm zHiN<;#=kj}S)qCeKj#~haK)#_3;cak>TP`uZAsnrp?vJ4Jh_^2n9fl2bjGaDjaMYr z0({BlG;H3;3};j`0%^-q636K1jJ>yc5!k zq_>kObZG-+Hw-ttd&B4ro=npR-kZiQC>>|^$8}B2VFK%#x3o3wr2|X}qnn#Q+F3V9 z9?AJ{ZI+6xJJkQt=!t#fO*)eHfRbh=Idt3}#mClSA+mtT+5un8F{eZMY2!&W63kXs zt3|S`byhFSf=EKyYkhJcQ?h*CsG6zO0^P-|Ptm70l>K51g{)L_J1X7H-)#22+@rX* zP%zSL2!$g}CueE`;wV$1!%eK&9HM5KFTonq^y1!G=A2N_CPV$3#(pICdeER-M!&rB zi7wn0Fr(-sc+%(qA5Abr+f)ixO)!%glrFVf;ryfK4s;GSyW6a!cZuzX1HVM#`J6|_{YXncQoR>4O}l}Q(-*p{3l$+ z%=!$C8x#sPpioo(5qDGEIMW=$*kB%Qbdkw0=_2zSENw^Bre&FVA{zorJD4UMooJ@x zf;r|4JA0n%H85(Cc|~*#^LpEOTYBm0wKUF5#9p~3@|RU9;WiVzF}4}FY=v3FAz3BM zX8tmzBVH*m4T1TC>&(tpn`C+IW$r~h2G*HZC1%I8%_gPm=sZ?MF}2mC@;n9yUpCh= zJW^)17T}xr&Bkmjq*uBONJD2XOipq}Le^}j1g>l5uaFigZieL5&Tt&M%iO@&I7t89 zr9;OHtO+LWHtFIu9tU5i9>`knv|-^M^BIA?fW?1`i2_}>T!V4-r{>32t3$F}@4%tO z;qrrKHgin;s7rR3WVs>VZR~g0e1};_5zUjp_XkVjV9zkDchtPd*kmlQiNjc4^7Z~O zC`>ds_O=2`gQTI((+}VT!g(H2PnvJDbSQ9%I$T9lgVKPrJqMgFLYgKvYQ)QO#aG>z2|Z;P+B_YVOoiq&d_$jyd$w`8wSvMFYO8EK$!iLXhPyKGZ*rK zNP1^G%_c%OGxidscXZPEK1}QfS|5tPny?%;s`VE?+G z+O@12;`mUiO~BvB~$JLjvo_izdxWC-F5}h{pb;f2vSxNXKP#NozALb8`KaFsx!@WVE z;#hUul-d30AE0|O$D0XNUz=&r9w}S@=gFebc_Ry|&X_5XCCi@sy~)29G|?fS16XyA z8w>g7DK`~{3ANlgHmfXI-hMHU*}d?m$NidP?vnIumtCZ?g=7xu~rw(JPW@+<#Sd>hWz1orZ-7`GV4UPY<7 z`)_;bEggR@K;KBIBZGQn!gG`vb`$EoE&q($&q*na{~b)_fEPmgI{EglB)2HCMUcKp zzEJ(gyr$Toi@QQ#i!ptxe3v&PS}^GcXFas0xHsFGg4+kWlf}sSG-O%ZHm!UuJ-Tn;K?oP(Io{-nx8gqihxWj&T=8ETu`W`+Qzs+~~ZekLz&m16u=380+45_YI$$ zzu`kEjXzhQG}Wy*t%hV-_#EdOy9eBLL~9Kqdm8|! zxOY3=n$slPlq~ZGP2UMcLwif!%&0^11bC@h5h0ui9jT-LWA|GA z2Jb$guQ+Vck|j4O4m=m#PeOA4Fpo-;-`mtGyS8L0eIf3zzyJOl(x0%kg_jPyn?`P1 z*)zMAWZ79eZqr@6Kz9G+``>2zybC4$?0vCMhCM^TV@KVs8QTu!C+!|cSZQyC14`Xn zMOKJ`#bykH*|KTJ7AM?a39JYzwo=e%T(UQT@;7X&Aa{V>j<(ZoCBj-yvSdF6#TVU+ pVe*;C$gts3fMq+g>*B{3-3nuM@Qd%=i>+1<4eR^Bu$zSa{{SMF9>)Lx -- 2.47.2