From e2d2ad6ece4611d7e548e14ab61bf0fe1d70bf11 Mon Sep 17 00:00:00 2001 From: drh Date: Mon, 4 Feb 2019 16:36:24 +0000 Subject: [PATCH] Update the test/fuzzdata8.db database with new interesting cases from dbsqlfuzz. FossilOrigin-Name: e467e4c8fa256ddd6c26c1f21bc26289a21f18b781737eaf706bc813ed8234fa --- manifest | 14 +++++++------- manifest.uuid | 2 +- test/fuzzdata8.db | Bin 915456 -> 960512 bytes 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/manifest b/manifest index b17ecd0a4c..d6e9cd36fc 100644 --- a/manifest +++ b/manifest @@ -1,5 +1,5 @@ -C Fix\sproblems\swith\sSAVEPOINT\sand\srelated\scommands\swithin\stransactions\son\sa\scorrupt\sdatabase\sthat\sinclude\sfts5\sor\ssome\sother\svirtual\stables. -D 2019-02-04T16:25:40.994 +C Update\sthe\stest/fuzzdata8.db\sdatabase\swith\snew\sinteresting\scases\sfrom\ndbsqlfuzz. +D 2019-02-04T16:36:24.587 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea F Makefile.in 178d8eb6840771149cee40b322d1b3be30d330198c522c903c1b66fb5a1bfca4 @@ -992,7 +992,7 @@ F test/fuzzdata4.db b502c7d5498261715812dd8b3c2005bad08b3a26e6489414bd13926cd3e4 F test/fuzzdata5.db e35f64af17ec48926481cfaf3b3855e436bd40d1cfe2d59a9474cb4b748a52a5 F test/fuzzdata6.db 92a80e4afc172c24f662a10a612d188fb272de4a9bd19e017927c95f737de6d7 F test/fuzzdata7.db 3fc78e65dfe0be9df9e262075d5a335f18f627da47dfc691d1a7b822f34d4b99 -F test/fuzzdata8.db 411f8398e0a4ea1a219abeb18fcb695d670479e787c997e7d54737a5c8e22935 +F test/fuzzdata8.db 3f7c67741ba91c13955609700a44608d2dfe4f037e508f77d236ea9abb431a02 F test/fuzzer1.test 3d4c4b7e547aba5e5511a2991e3e3d07166cfbb8 F test/fuzzer2.test a85ef814ce071293bce1ad8dffa217cbbaad4c14 F test/fuzzerfault.test 8792cd77fd5bce765b05d0c8e01b9edcf8af8536 @@ -1804,7 +1804,7 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0 -P ad84ca24ff760f7a2b128f2eeb4d799a97f84b8b8a8bb8d9657c4c555f6ccf47 -R 68d02601b8536e27df485a4b829962c8 -U dan -Z db686b509623b6d0d2c5899e5840386c +P b0da6e0dd1f9a9ba7646ee6bb3c14945e570303c9a42d20fa8a653570e12c3f9 +R b21eae45a85440732ce3f3facc693fc8 +U drh +Z 0021583978ed0d812f82afc74ea54b8c diff --git a/manifest.uuid b/manifest.uuid index bd87ae8034..8c8daf91d9 100644 --- a/manifest.uuid +++ b/manifest.uuid @@ -1 +1 @@ -b0da6e0dd1f9a9ba7646ee6bb3c14945e570303c9a42d20fa8a653570e12c3f9 \ No newline at end of file +e467e4c8fa256ddd6c26c1f21bc26289a21f18b781737eaf706bc813ed8234fa \ No newline at end of file diff --git a/test/fuzzdata8.db b/test/fuzzdata8.db index a03a672df46b046f43c9b52c0d90553fee8095fe..4e9ccbf0d4b5117ff5d9b4201727bbfd4b266c2c 100644 GIT binary patch delta 15125 zcmd6Od017|_xIiBoPEZNfP%AfaY9t!US>iCRB{$j9Lfn4O-%(1%~?=0Q&SLQl{tW> zR;EG@E6o9#EH%Nh!E(TcZ)KTK+VIWvxAryBwBGmq<9(m!#pf(M!`}O|_Zs)wi`<&1 z+^Prin|Zgh+2ogPcYf*>bP8kb%F<3(V2M?(W!Zi=0ox`D7v=KWeirkd95F|5i*Og5!zo z&LFaVERjv=M4lf_q;M3GZwLXDX2g1`+9$LZodH zk(L99H0)1A?Ps&GU;7Zb*o(;NL?W+u?oJfriR_Le0$qvZKR{$z43S0AL?%ZO85coh zR5+33Fe1HNMB*0pwVv#2F}ftWWbA7x`%gpZn^H134oe2akKpUr7%1^K0jgB4GbfyE z$G?<9(;;sz4`SosVgUDpU8DFCSk|7;fzr`Dj5xqz;YfF$09~F`-h|E_`1|l$I&T3r z3%D2DSgLfv8;QI#gRG^B0&|urf@!QX9O)^VEEi3Jc_S8s7kcqe7=$?a?>>>y(b3LZ z|C}yom`M$~z>&VxU_no=qjLg3&sY?sh4Et8HHkk?NaI&4J}eXp!ucXN@+fa32I&e% zlEff|%7btuf{%qA$vhk!%Xt=yhJxih6Ko zwxEQ;EA&iqj)$i~@uQ)3fD$T&g~LUT88F#=} z*}M^NACS`_2SQr%#!_n=OM!ns@ITybnXiNzv(?;d$AdQ z`^NO3Nieq7#@6okw&yc#Pfw>}`>sJ@+4wlf_qBAGa@q0*ukNfF>?mRNuw{wz8Plna z5TyiEs+F5E>xRl#;&*pcz7@ZFpz?$Gorp?}`28R%SH_0d9)jBDW^1gT%^eJGELP62 z4Di!=tx%?9NHcg0&|nGnnDnT~XlIx+)EVxAjZZ3#$?UO*qsKz}3Z)6w>p&VHjU9{Y z$MCTX(meP=DZ&Zsmn%)hu*2bo2ajga*eRHwX1)>5P*Mt6${D zeKmUQ2n=jrv`ucV_8u@OabPM`_{t67`Q@@5qFZuLPgf_GE3i}hP`UzR%|HmeZnlAe z=e1V8blZalNlkRbgtosmMra_^df9_uRkf)#d2ITW_KyWk9yj%ooC)p61P0#5;ee`h znh&kJY>FZ5u)*7E2`>#bJm9#mY!nUQmNR%-=HnAHI(Hs3=GOmcjJu{7{LEHxGm;Z-~t&m&}( zUT57`;^0KSQzAzpj5m_;ev84b@w_AM>%;pqHWs?963;{3&nNK|JUf5~FcR}RJB(z9 zU(|&RT=M@1bixu1We`1_ALZmv*(1pQG_n|yPjWK1xq$G|ypm0*QARDX=+=kK9HxV&LgZF88)_ zPQs^_@!5<$h7~Ei3xn7qC5GgPuS9(%|AVm{NNC2Jqa&YxsYx?jU@uo*!Ln!hK$$&W z=t@X~s?Dr1Tu|k7sQQVSki1PQh2(}zDVoGAEH&h<3`#3mG91z5E|CARJwRZd3FYhg zK-^)M2gy)=Sn&tXmQriDyqPy-vv9bVT*L6{7Vasr*>L1LB^P(>=VuwFz05Z=HU~;x zG>74cSNJxW&4sSp&Bwqo$Z|pH8)jepxs-d!Y#u6mIC-4;sJteAFMv)>Wq)jYke`=X zE_5m3+aUNeX+_aqsU4(!$aL7SiI2gf6}+>=^1#0{YYpW!W;JSW3x~20oTII1?EEgj zq^r^7y)Frc=Rxjfro!oDiXkoqlABEWfZ`7G1AdKhiW%7xyIm8a7{-3Y-<8-BtgYp5 zGkot1e?VeSV(m5lCc~rW#DGho_IDnSJ*xQ;nLP!yfATlC9sP=%JVvp7)n#|tc&A%V z7E_-qcE?XDXS>hO?JS9fd>Z~tlbb-?ONt8zT;+RZwz4qj`?kCD1GA*U^Oq09g#*mH zaNeP3#mB3_)mLp-7<;%3MrX)AP>M=2Wc5=U?ap8Nvb0BiP2mqHwzFfg)|*)pWX&~o zQYSTp@#WNdH5B})HYzNCq&^1e>c=uG+@0|4NLJ{ae-cCLsizrRQ|JgleBDd!C9`J= z9UV{Or#@;&nH3c}LaL#%zp57Q8u1|>YNGzE(vp=q)FS&0TXiht6|19Rr@yM{ z8(wYSndUwC)}xixnm0I~mK#CxYCFl-tEvt|TB%!=XUj5Ti(0EUc>#fY4l;e&*RT3g zcu;-9-iQ?)Q~wZCUJC_N)hf6dY#)RHf$CX_Jr5<#Sqv-)Qa{4_L29kU)Zfke*cQB4%Sg+!_Nn6-EFP*Z zU|V6dFS{m?10kP;S%=kp231X%F7R&y|6kZytRA7Zmf4Gty~ZAaF=^^CnZ1Mw>+F6E z@_X1Xp~raj7tXdrHhQdrny0PLpk|1=2C@Rwd`O<84k800`$GOR>Qk^VQ_W+qK=vdx zwC?G4{3T2Ekl7B%Yc2U<>m0ROW;?cpd?If3+0|t{N4eQhYU6CSbK=S!N!O=l)|Z})Ec~+t9r_;3|;foN(z7i z$;I#dog#L}BDFVM$yGVjoM!c5PJg+hX!UAg!Kxnn>Pur7lwW2FmM&2nGJI>9>d@3U z(mfl;I6~|$>{F!fXKWu_OtFuJ{L!k8na`>o zI*Z47#p*(t@1dsqp<<9d4yq2(+xYcrUk1(q5}Lm)To!B$BCvC|sY}@baGg-6;fxp6 zm6|ErrrFqQtdDJ4;VC^suW)rIa0|ylLZUVsylT|WEhwP6`^RMt&qxoajURjK$h2eqE zIE=MvY6Awx%GIuLbA-Bm-vL#Y*bz+GqwbR3s{z&57}*gUE60@ARE42lq5dJU3cOgR zZf3Zwie>~MM@fO-K>tJP1xX0sJEF&-qSc$|Um+eIdf%f9Ix5vK74|l!)TqTW3jCT4YAF=IMcWn6L0UcN)L3(fF5bnI>*{{V>+UtA|GVJ%N^KmJGL3`d zqWYfr^u4|DS~(5=wMquW#*SgU;=cdx*8Opa*R?Pa;NJRiL2$gb9y|>#RGT?lnibH= z0bSc_4PnqXaxd^2Cxye$bG3df0D6`gZJ}nh;R#+1rG_wXnBnIWkeCrY$&ogDM3iG# z{~6-~+XMszz^E9b1r$fi8myhEG=@J6EgE+Jp*OWVvZhU(nls+fX;!D1Q1QFg7;NgZccYx!nje*X^W4Ae5E2E@&i;Su3c;Smv`q0R_rMCcviLlQoT!N~x*9=5xt z9&$UzO2`h@TH?+#>cIbF=_?dMQw7;mG=Fd|H=4QS5J?Wt{O_c1v}kz>7hF_**xpOp zw{8d@;DWE!eiG!n^)Q@<5%3oN9?%iV+p|ERou4{`;$ zgT(tW!cCo^>tihQ(2__fPI9BLc(NiaXIB=E-kr2K#>PWRkmfIh=@TsT)^rBRN3~Lz z`m4Gc$)vvO7MV|>%vak1exX_x&^!ROjDK=TIqQJY4i7V|sI-R*ywM`g!$+ z==cnHdmAB8-9($k!lCx0)(V2F)!aMQ6v>+QbPMojkohBCg2|&bAJ0zF5iZ)g z$2eocLS2y&uwu04toPT3)om;~rNhcc^(e?)CRxT*7ui2TeHOjj%Ht)N*GU_S6(5s( zXXl`-pXLW6?YbR9K2=Z4>^!XBu8oDhK|XKRJB?(ggEgg(V*3?J%H?>>P1N3J%5VEUdqYZ3 zZ6~jxR=*csoY)AmqU`-4`AzMW)k*d7#80$W!ohvCos9h#Xl^I4s-G4nvp*nZrqu$n zKBsW}_FQy4lC1TR*>$Mdsa=4nm0BY#zM-Zu+;LGI&0zmftq=PXYF^dy|4jpZ-CBAB zYxap%OpBx~UD_wwVti$!Hbhk_X(QEg0}Eve6N#LL0iHGZ6cSn!-M+b)4AF-nct+&b*L>RU^kLqI+9H?=nu=undeEGFp*G@{{1o4{;z%pLP-Xq` zLb>KAtK#I1GJdZ2>0IIYpVe{yfPd3H>O5GIn*6)Wy(&pfp`cc4hJGisF9}97n0k|} zSKay|t#21emzs-YuhS*ac9ZKweUl`$fK#os1lXl%DL_Ip4fQixD~%6OY&SB6;m#_o z8L!vL1CWYtB6BS@qRRobv$-#>pKOhlA?q6og`J9?DOS%POWPUA3_ai1eHc!-q^%{c zw8GL3^boEXdLh&-F%UQWsAbTL)>!tEr84k3PQIi(#E8c$9=f*#j!*RGMQ?4Oe7rss zhhNnyHJ+r{etcX28-~_XR;>i1i><{1ksnJ@0xsn1)4{W&QHun}M`9fy!B>mK{5AS^27Z&ZMo^q&q!jJdqiKt7&2jhB z5lXy_p9Bt5-shtaRd|YGyOK$XtnRR}vEEt_+Sf9fa={68@IDi}YpESw!EV?-Ivq=`+N~jvw@|wNq;N|*9tPdV(OOJ)bzwTblzK}9WYJgcg^?Z`YM~F4? z?PVQ9R_m1L>xV~zj3^1#Z!zL4R7bX1}Xb$|bF{-oy;rdW`y zVRZ_jVn`PwmE77&-_>T97YSpQOdF%t8<#lu}sv$p6QYz$-j z&gv8gj)sbc%pY>U@i3t@ST*)m8LK2b`i0(^(HYID*D2a}i&eE^IAloH^w}_9H(H7= z)1l;&)&O_uMv4qqX6hnMERBJ*D`ZO^_(6Y9W@FJS)Sztq6>ky@*!8oXN@p~us+8qW zy-uG2>wS$Sxcr*VH8uuzy$Z*sxiU$(DC&XdQsV511%USwHfhJg-1ElMY{` zOib9MH)Yt;-}qW$SxCwu?DuiK+Km<*=|(T8`BrNn0AvFx$tC=;z2PgfY2baCBBbK} zT3cMOTGtsq7-Srh*ki!9Tl+CN+4z8Roi|hpUqfVXAgB+EK61o*Y7DIi<5`Up|9`dW zumRI&92i2MU85}(*(rfHK;-`=QEBox9iX;IfL#>WE49L#naEh%M|X$*q6mBw=M za4u9_BdKVVYW$$l2}luu2u^wH8{C6S;MJ08 zuy3f*2hw&@Vl98Br0mNvwyAss9oFB{O0hhKdwHmcM_M8_K8`x`y_#Y9Ji1$dKzmI3@?(V&iX?*Wvx-f*h;Z% z1g&VjF-4+N8UG_zTZj+P2jSde<4Kw2W6BTu0}P2tZ%eFzvaNb38NR<*v;hNNHqJ7( z8odYT4H!1sVKmX$D0J;HPRe`*4fzaaFV)vdxZ!{?jtDJf zhq^!}8_&K$62_jzf===RhKt@dawR%Z$$rX;gvvN02+AMkbk@AyYKv9x8nmBT3(oFj ztA5;Xq%%DKzR^ykcoS_>BIQM5CGGXbln?tQ!o4QK%kF^qPmCjc4MAHE1;fmaZvFtd z*ZM3J6XqJUn-7Ik;b!C2t?NN`H{(70af+2J(jj@9tws>vN^dH7vH`MQH}dcGk?4rm zJGyzg5ehD8k;1IjlcF=QAVIj%l@-QTQGnpxLmvfRKWdM$vEc8d&vM_i9uU12gVSzo zLh_@5ObT;Cc8IYGD1s}hV|$VSl5Fe~UzbqvkQPLtOn$I_fMT7z8lBQNlyTCNFq0xH zkrcTxkHAM^NIyML;G$Hm(}y-sM@iRv2?eDvl{7eAVUY3) z=|vQrTBv8X4RQs$!eg9K&dBh(N`MZIoUpnZ%K3JH=9lCU9*{GE3V&)-BuC32XK-Xx z-6yvaDpW9#;b=dm6BR3zMav;gha_|#Jh*?|M?HEEO6@&>N+)tCbTc(So-=LwxL9Dv zcw?v;K<7sLqser|Q>j5vtl4`&YLX)-;!bhGUqj@~${LqBzI{3s8BEKZJ~e~tAKZg^ z3`!W1n4Cn-9GO$ciT)jlIge3N=bjn`n&ZHve*L;7bnok+5$M}kGu9k;r<6fVTofxw zHmY{})z*hjTe@l`4bv6d8!q?hdPorM{+tJ;;lgom-a9Fc^zxxP88oB_DiL~v`H3{7FkP!#+cDQ^ zo@VHK-uRKRtyuev=_%o#xu%_=-u-`=2Z$_mI#K|Brjkmycogyc7l9`5!hnWjx_BN#FnJ?jv z5#|t$9ff)w%y;luh8ZKXccJnX))+6>N->nBnrKpa&U?W28+Rr+n&DGZ%-I^BM7yNE zcZR1my$qdam`n8Io7zoOY;UFf?cMi6dETMx1h@v8J;2K{f5584Le|8ZBdz%&x7@rB zC7$MJyjdYJa)^J4VWIogNhoO`UcD_fB~FYmp9aUzMm5aOG#7&BC{t9NNtIaqo-~@G zzG!nk%sVdG@$wU9Ly3-T%AAS|Mn7!Sg9{@p4f`xL_iO9}ObIr3x%KxVd>wD*!7fiT z1!(jEu&2;WVjp5ks7VzA#xv%BC3YH89yDj-+-FU4!5=|Ewpjy?%~S$$eVy4?=Z`A3 z&+d{wT9T8PzSZ2o_$h++DY&Ao=@62@B5~J?CY3CnL04x>IQbnWIr-1%7}p0pYAqcd zrKX`PlNDPfC5EhCIQ=zqnan?-PR^ln(4=CO^O*aQd7i;!&AtYz11twFxN1_ey7&aA z0|%RQ0dminL!oK_>2bze=0=%SL+&{<6te2sqhMp1Ie-p`%`lTq!7Cq_UW}imMqfhu z>t-X!UrGKYzcZVTM^BrbW%dz$sm#8C@(D^ibX+p4iN{}>lX1p>%s)Aws@N`%+k4TnBwX~PIhT2S zK_g$fb*LBWf|S?I?GS(1G>~d*y35k{k&yj{*${SqV)l2J@F11&SPWmdW{#F9L0z!Z zY>dr+Gs|_Bx%ZsaO6K2De^=nfr&b7tDOQzC$BY#}n{m*8yZJD#*RAm~tA&bR>511) zQRMlX*^KIs;;A@DOa*8vsdcNg2z@*)P32jN?RZ-Peb#L@exwnuLRmxm1K72(^|s8e z0jqC!Vt8|_Qf9wEb|%HIjUCqaGW)f#q#=dLZLA+;_8Sn78p5Cc)?jchQoL|Mduy@G zeutVg+H?2sWOBPXXI4g$TfRcC2bI@d%l?|Ea%Tond8Zl58NQzh1qQ@S=1Y)kspjdVOEEMIdDBR=i3Zidbwl z-KwS(vmLY7=(HmDWx3WcS@sA={~CRz44%JgQ%G0jdXT-2cG=GBl7dya)_IL2f7eng zNmgZn%NrA#O0;XUKW+U&ebgJ)5``>k)c-M=`{ph zf1IL=E)m;knVzNW4;>IR5&1l-_WEqSmCm^ATheI;#Ba0?tFjl3(-2CQTU29IY;C4l zH3I){C;^yu(Aq%xrUQl-);nzdM1p!rQv_%#s+_JbftBUfXPEJlwSfk2g866ka||!; zu>9$^DL6J-O+*OY0G*}Q2eg*Wp~Bm2BgR*jCK|gX zRGrk9A@!X@cYY8z+X|_RbkCsI+t$+>?IkyyuqJZZf5(WKXn)`ONmAuz1gsUX%Tgee zx3fQn#Z}fA>Y+89>M4i7sx-#o!Y5QcH1xE!ou0QruLEXBh9PIH4+(HvICY$IhR&C$ zU@rfhG#FQ&wQ>k`032V$sHW*F>pf~jr!|kVMqvM%_Mm>#&cW@N;Y#D^1HDmzna>uCfnDFq3u@p!{!6ATb5IB5zAH72dZU-t18Y{>1GX+Ila`3u!P zj#qTMkH~H&c-oIZ?t6SZWO>`8G2O$yNuuq`?I$DgsF!_*X3kM;=N^r?Nk2kFT)3;T zJz3_#G!mV~KFou5m--C;t5|K{F?FnPf^sCJe?fVY%wF~aSsN2cCH8U@q<^lofV5-w zU0Bt|PMfdj!c$3Ar4*zb1Kw9z22SW?e_mz}z(rjS$7rYhxJ-X| z;rP(%3du*f2PTEvDG}QlQhuVd%jCz^7x3L^`(mBV#r_HQS0#}MmE#KYd`97z9`+KE zxy&o4@+`+%tCfI7iPZ$G7^PC+7T?zHuC$Q56(+Q9SBGaG{S^Sz4p!$tO$&Q3SXb@w z9Hs@?H%qL?-Ix;Z!}Q?Yn9}S&>FPW>J%6?fRus^l(#RlS^mi$s0_1?ZK_=Y|ao+)BoG@{V%mB!+>m==4ZRPRd+jLOc!!@4 z-3`ml&xh}ZRci05sj;GhES9zlAPTw&4QX7sgFdia>VQb_0+v8#~N zz-zZh4FrX%ZG@D%3u5GS@b75%hYlA!J_cv19iX_KIu3t*-)El1$<6Z^ z9xSkTm-skZt*n2+nSCG5Y4_rM>|UHX|BQ3`-8g5|;k<1T9{*RI(qA|;3Fqv8!8zwX zoOAERIqzPa^Zyy=g1d3%-iI^qZk$W+UQhWioU;h$;(x*U#C7(cdvQ{2_CHy( zr|!nN>~5THL$Ul{aVme|Ttqlm{;MZgb-yRbzt0mC{Ie%meYYnlyc_45yK%ZL$1`{1 z6!NL;rBYf-<85cg3BNoptOZ$oVS=rUDB&HRrt4X(eO0A6ooZ1ZVdTA*xh>vvz}8v` z!cDZ2@R6M!>*(*w;9^JBuV{%n04|*Kh!OSy7#=v|;i6#Y2GxLn&~+ov#m^gEALZi}whe=w_77yS z)E&eZFJkawT29>cokyy~UIHp)YARf>8|EQ~(vKdBrfRg(&$k6y>GkM5=|PFh1uLv4 IMf;Nf0VG*WyZ`_I delta 11511 zcmaJ{30PHC*S>q7dAJNJnj;tInR^YV6anW{6r9b0i}MVWTF&5XPT)0`l><1N1CYwn zN&z*sG=;LhoDj>*%mGX-zfAviu4SZsKhJX(&)w&oz2Cj2z4p6LV*V?M#m$o|``579 zgju$~|LiFZUuHG3+?y122(L%&!Yq%eq7=e|c|DK6x!yCX!_nEoq$KOs*x4l9^t#Y@ zCW&q{NVJ_!B6u2!T5pl4{3Z$iDI}E1B-kXIjo*8N#PtLc-^YQTYKRBUqWDOBBCuBb zM2Y^jM$!8}6h+ng-3CR|`X7d(pY=Z+#d1A7b=A?rOQXU zOSIjCpgBS~6g?C}ys#i~Ba@+8I(4?AjZ{&kzT48(6@492i2#YyB*Pl78~WCi-e$PG zgEX15Nbnyj-9$oJR$$%Hx1smZ1y3LC0sdp9ZWt9M?GacM`cIUW{Rs#NP%Z?wkc{m9 zk|464;D3m}1mUZs5ApO{Qd5ETg3yKH5r}k4%dyW)X*XxRA#{m&1S5w_#~GZtA=bt0 zIZ`BJeIRs&)jnD(&%lu@b%GDZNPB=rmGI&MsSaa(A=D#wgq&z;7~C!vL-5KXX_6|v zEZS}a{cRTS{E_D0k3kEMbX|#ks1kX5C+{8bq+B-q;$;KAoXT!Fa{Ni2@H~tNb&G^mADj=k4jk(_KUa$ zPi&RiNm5hM_9WE8GR&Y+WA=^>5p6#W_!n@$GRrU&Aj}O(2h5is{}eMV)J-}19oCyL zAgBqJp%pNAQAZk&@%tr@z=lCy zl5`(~yIJ#Xa8vZdmWQOz85<6dlf?q|wK<*(i2z;yY z8gT0ZIl(v_=qD62ymv|RTSbblvpWNZSY_c!|EpsUhWflY)q1C2Mp zA($@6eBJ1Zzg(C61Qv(lO)H4wQ7pFpCqTnWLJ-!vClw0pbqGBtZH30?`O?&Vyf(PM zVk)dVFAc@x52e}xIGP~~Qn4{n5dvPLF74Y{*X ztPR{aXZS-8T~<-o<@-#ctjXTo;~L$ZVJo|Qg0r`{v|m_VAG+bseEMX@hY+|H5YAHL-%Bjbb7spvN)TyCwy!!+fz8BwKsdr zhCkdwMF`t2y0Cjgd7r=%J&k^@wI{h=JogmdIs}(LV*Z|)2UlB4PXgCmxwfa(p)80Q zE|h~z6r&)1o?Ky1@}duTb_;pGD76r67l&bqKQlPQH#AhtZzBgYiIx{O4^rkR6+F44 z%3z~#`5S@F-xG0tF!MNPoyOpf@>#|fcpP;QKkh7d7T7|MqrqAHwwv5QV2eDC;37CP zUzR-?gTBIp(ef`cYYkcbtJ59DOZ z0u`BR;eQu`96TrGbtu=g>dn>~<{(mnGA+SkbsB(@e3M)|CO z;!yKE6fc)oL41sy3{e~8UXU3h1VHi^@?w~?RZe2-AYp^t0x zW2amsurvr-s5FJBc0#5nDoTaqCsIAUeL&V3tXu072HVF722T7?euuGiNFOKHf?Qu7 zzOOsC3s78})rIiKY^XJd4N#CL7vsJCvai54qHCXghC^;WHUf4(WTD{rSbi1m?3X1d zKFi9$^hlwB_0}d&%8K^cW%y7Axwn{znTO=^438d`9f}-EAqZoTT&4`S^6477wnD@m zIS0~Ar5uKDk=xQ@a@llYm(%hA#|8^y&^sxi5FZ z@UP{r44g6KFaOY4Jgjd-IHzBh7qOk-5|!6+N|C%=Q90{kWBXZ`J^p4JCgi*x4v{~} zW7XYjnudwC{c#q)P;SxyAJCO?=FFMXaAgs9cpVwZk#~~yX4pIJ`&hZatSM(=$!fVQ zgU^4H+rX1m@{a7gvcOpuM&Fb(1n<7t10;^`ZPbXM6C!28 z2Ek7#8uwz*efcuCJn5L#V?XPyeHir6YCJg8Clnou@;&u{{n#ZYy(w?L!DI(R)CU# zyQV68WGb#=6O}mi=>CpvMO%qKM4VH+tLwpi)gx%>e-%^8sX-jVcgqfNMk$jmN64n@ z(4PzI1*IWAu1@;%BuCaq=RswuH)ZBvkW;xVfL}eKs)ZpJgF=*EY)c$PXJP|E2EX#k zYp}kVqWr(}YiPZjhe0hAS%AVpOo2m_lsi`AVc0cUxrV!|DCGr(ejjP+91hVAB>??2 zbr8ox!^uY3YZR)RK82JNRuMBNscFnR5u}OK@WMO>c{xfLtSeLs@tmJ>+1q#=@{Ukr zd}Uq5sHI9K`9yzRvIac?u0XvKhPP0DBvbwg$E)MdAn&Br(G6t-5T>5!l+}DnFx8ZY z){CD*-Weqf+wE0y6?O_8-Ia+9<7*1by#sy$C1aF)n0Q%PiN&v|ehha1uJi;)ZOs=> zmr+t+^bzHKb{b12D8Bre`eY0|rd(z043;E#+k=Ig5GSZ9P&9~1NQ!#d>+ktkGTFKx zKU}E`@gFL*f~P8{p7RDEZ)k5JEx?kg%6Uf7qx8j)FBMf0JBYSlAw5?J$Ha5W7fk%> zfNy(@gT(G5)OTdmRRUyBg836e)suS|R*DAy8 zX}Ui|R!~wfxTboCK^Z|U=ByC&D=AL$vQ^3l=Zh+?W2At(Z(gPoH|Bg-yQ1J5to%yUl*kF)Y4)s43g!5JPB-(Pvl^M2tOQ## z`$_=5N?8v-c2HNsrz6xy7+hcdiUD7(RK#7QRVpkezOSs}>?eqACX`2aq?*R@qb6!+ ziL;+^f{)VN@`Qid0C%@kdz1QaLf#;?A|{Sk!nlQJ3lrEa7cgI~I>g10BfqHWCEkF! z4Z8)k=QBTF%8>9?rXKI4#*%-}9Hq{Mi49a4DciLt%@$L&N2Qp1oSJ6AU5UG9DrHCo z-PJiV>x`FstAT>dZjfSsfgoRH?!O}L$^RLay)3KJ{;;e<9{ZvLeaP8;2&$k|!|HCe zh(J7mi5_L8mA2M;)rq9eP_D9HUCt&>r^~|HRv;hVYxVmZT&b=^K*sw@G!WR=QJtVx zSEN@(+v7MZN5^}LN2<^44-|15tjv6uuHT{LLn#2)RxyVO5I0OMQ=V_6M!`)Cle=`XJ0qQhSmbA7j=4Q)b{7Lo0@3n*I$=tZ%NQ(&>^q z&+6z2XB4T6XuJKUg{eOpEzJ_z(?yx{EHM8i&VggB+x(28ptW`#*HtsS zS}BPOkOgW(BwSw!Oa#X;Z9ZJCsZ9po9IeEQ1PDoUoU=|%VoZXF?MgFDuB+`}?*yt9 zAnkiCI`vhpg@tOmw?i4yH)(e*K)R5s^&Ry5QfNQfl4QCxy=PS$){5?_~PgJ*#=x(W{QQrPVON6j8x@8LP zkKw6mF0I)y+7PV%rFw-?QRW)Mt7Cq7-AW+Cv<6uGP@BTg(MQ+3lPnAF5!yJ6`&L~g zuyT-6U!xV}qPj#SPT|Z|bp%t(?`aq*+O7?T^v#qx?&NE=aN9MtACr7($O`Ccrk!L^ zT&SxMJYKJY;eL7|?L{N?Wfr8D@W~)8hrz6&`ZUZvr|oCH&7GESHgUe}B=(0_gp@Iy zK$O=r@K~`LDzHirHAN=}zo%XiSY;@A&0L5}epBC4SXC%+NRu%0lo}-fO_g>$HeL;5 ztC{O5J&{vd#y`a%?SkfpqExktbw3bdd+JfxTh%fI=D^t6*29iOtrDcw7gk~qA8jvV zLFl-u&1ZOd0PW*3f3wzsZ7HY8tOv46+G8eFp^j=|&OR-I!<~23V=(wztp+p>)V^l5 zFy{a@TmJvCSEIEddMq!C@olwaa?#((KH+r*6@zPQw9l%8IeA)h4r^QLVK}Y6wwO`1 z?MhK-Blx-43gR95c}TpbHAZ(MZK6Wd&6yC*DM-XM@&=gDUt1xhzAIOS%vM@2)({g0 zX;k*Q^VN!8K)57SdyBJ15dE&&4|Yz~R6H?NtHkk6iAv_*)lTcn8bkD2b&-XpfPwE^ zbuJcl)M_vm4AJT8s%N+s&|sF6Q1p%V8QhN40SG}^JU&Hh%~&fa=%EKc^|PYYnnQr7_tj}IYmHXT8l*L(&!Vb1 zV~rLqz#UVw_U$|r+;i1t_)4PonZ;829n*@*UbFOCuscxDvDy}ODY1$RNef|6kS{KQ zBBwS5)^67p;F86fq_AF?lB`V>EXtC%^#r}&EVa-q2StUt9S5$`wh62q#t*R^EoueN zL^Am&ULS04fvFBf6?DfljoFc)&KHQ@ET~NLsAkvJTfiC%7SN7R5U2-Z_+*o4PG_)? zkFy$?r@ei3f}jAclZ7%G+)HS&%YCfIB4J#jNWDedf8X$$7%4HVqQE+(-m`LG1YKP) zqM25SVYPkQ51iOc3LJlKC8r`UT5#OgIz#acwX6l88&CkVrx5)CUa1>Y5a4ZCdKzScv*!!cnc70J{Xe7lc*UmspMc zAa5~wN`>p%O@(OAlKxs_W{r5-8w9UG!8>XQ9&Dty<5+x-vXb@AKrC@A^E$|n$ zCD6$4S$76O!CJKiwtl1?7uaCPYABRL$}Tf$pAe`!|F-A>3q)Tw1PV5*>%4<=@T*3f zpX{HtF5qsfSB2!axR|Z#TV;uMocErFu4Pxvs~+oUAQl`sv}Mu=>RS`w=F9xzC>9ftH!DIAjL=|io&Iz7GoK!}{DZ&%;^_$7*k2Ti?-vsUX} z5I#=Nk>cp7w{X@ueHMpgt_33H5C?-El0k%rjZX!3M0c&MVPayDewJata{V@A)3Bt2 z;mh$4r$MJ9fgb&;$Y$Wob2=r{e|FNw>SQJ+ePP{-Z=hEI#}Qrxjzd%l(b>XG>-Mat zy#e*+#C99>gVy$!Cqk@XG=ky_x>>4EBw$Y$g(S>B%qgU-u4o%>9PviU9LPV$Uj>J0 z)Wa!z^|zJOnuaJd=3`?%#Oa7k**tKtXgk>oqUY%wta*3v)@F3<#^=*G#^Zk*agR6F z7C=yt6ael|Xfu}oM6QHkhk4%L0PeEvqxuy|8bU--(6jC*d1GWAb-x(%3iU8%%^-`z zABVYVP4jI!Vxm^ak06f!_xrp7gPPa$wb^I&F{0!aZMhw+t}K>>FJ1RijA;9$>9f9* zxU`7cmz6qpi2sBqQz2fUR|JP-SX)ZI99$KQGgwVFzGFzk3Qr+h>i3#>1-L33XCQNs zRQo9aBmkEsB1!)~&7f{uaCG0+iK|~}^+$zgu}+JI$9nk?9=@kX5Lrr$g;5t8KjhOP zFkA0~kABmqD$-EVb}HZ*=m88TbE67VQ?~`jinjb=-uYR1HkmF!*G~P6Kua`lWPx7| zu1s31&Ni(az;ymt${N;*-Lng6G~y5wigEr#LZs>U=$8cv04S1%+W7g!0cYa0vH^&4sr6KzMMpS34jsNSP1 z4P4x4k3-(oH*konV59(PbH0U-Xwn=#2A||{Mk(h{SM+$@Wdo!iv2K0JE0M-cV;ML$ z>P0Xs(3k_hKE^8R^^KVJ8KDB_b$u4hJjqSG)zm1@*(S(xiY|z`t@%*YC<=CIVH{A{ z7K|>`GrZAx1%4>jlOQ8Uj|LjOJM3*|^k7>t`a7KnbFG8%UrrQh^aK4ZoYC2!B)1(> zf{bEt^r91hN8OCBsx(5ho%edz2E5(J@aNKILPTunbz?FFN3dp?(chp$&|T=dX;|5F zutC{#H@J$8V0_taJW#}uqU{XCUNbu5pzTAk zkpwG_m~I@h%-GD?N09Zt(F1!W8<_(87;;C8wbAjOQAFDWk1-ynq#A!n(rD3kYXn}& zGz^Y&*BLXIoj6E-$m#uS;)3XL#tsOdXlO{sN$mul(+m<`H_F5Ag+`?J)C%d;%3!!@ zvk}8tu65Q>0V{7a@>E)hE@c|k1?eDlcmy6VGD(wrjeLO}g}jYM7(@;E)^JIBVP#*eM`0m4`nHj6UF;ONWiK zzcuCw>!+D4AQO{U9jFGgBGgz&y338{9X!%qLZcw8NVA*(isBtHQYI2*0LTtCvg4^6s$BI z`)Znn^y5E}a)2xxFPbaq*SC;z(4Ye#)vT_G6Ghv0>*Srz5B$xtT;=DtCQPtAn`lVy zu(hl_aF(tM5Iu(nK$|{%Dy}SN#w(m(LSi63{F`$a&Nwf$Du74XK_;i6EyLac)3*E0a#tqRfpn zsh=Tey4oMzz%XJI9MKUp2y(>%yop|7G9a9 z2U5PuAn2?{b;n zA&3uv-Qx8i_Z#yKOiMI}QV+jEK_?*?R=9};y8ItHHS0Ie+(GTXq2E}e0mI*sfzN=z*M&ly{I0o- z-u?qpJ|o7t@*49;LEw)ao=(*oVUsj7UoiQT<{>RZLYfXECInI@_|%8(tJt{IZ=^LC zw%I&N1QLqd%n6!2NwhtTZ3_OIecHm4r9xNOHAi@qy2pGhbK=1S0V2{2(!`%xawnGG zXWrt(eOYPPitm$nXTMoau*j|)GY1lxJQCvb%oZ4X(A>ajT7R_+#^br>E=8X#+AfW2 z`h@;0cX46H2{THNIE|%2>`JN8p3HK6{ye75=E^W@{S$PE{f>>sxZlhaK^fYNcB+B_ zu@}Uu;GSmB!2Gi&5%i{~pa&5qW91tABJFzwrCAdqe*`=D-($mZ^hNW1i|D$d3L)5{ z$UG@9UvSJd+d$N>k{x?oHHioFgXjec9l&MCoAAVSA_LhJj4Uxf$R?=^DF6roER<}?QuN8oKsWO#h;a{5vt@2SQ?}?~U`!6`z0@<%*nLHhezc4$) znq;4M(S6C>$m#2dQjn<9dJa;h(vbY@cUAdKI^A3yig^+CR$LoS1C^nxD)?8{oTXHU zX%Ea{j8%I9XCM&Hb9kwyy*6=G&tVLD0b?UOVXR&nV~x@nL+qrsnx!$eu>Ydc=M0}j z*xPZ7(-P|JNh&w*Z-d5q4O$lx#`+w^^@Ds)Fih@Ze}l1l5HZbu8pxK*iH*00t^XXl z1}~uVYOrBxbd5@*^BR@dsK1TswzpB_)^sduYwameox6Rd*-!3CEJxJcU*8VABhU@ZJ0(+!BkLdY+WTe5Yi)KVHqInAZkqj!<&{IdcS68# zm`^b@8Y|Z%&%Ew!YYIUZ%pj=0!si=sigtjsA@T_Pb*A0qtQq(#lso?VV5TOJzkUIk zo#_)Vcao);=8#fAn>=#b*BE{|-|ph91w2$nO6GWRDj> zMm-NQ`Z@f;L`Ah zl!oU`2QmMI*W8fkV^3k||4i<~UQF)8Ur6pF{x!LeES=m(m4-FCG%Rl(7*iUSWm++t zz6hX={7$Bx3Y=}le#FzPY7B24LWpDO8jmG6WU9aELyS?3mZP`5*=qu@E@p%k`qep( z8sf8t(T8SNhRK1chve>Xd6`d3EBJxoM~i)2RLMN1Prx#V`ScRvT=gJmh#ZL3mik<< zNKqjkl19mOAWF3N#@VBNs60-9=tTP^ys*kA(EG&e7(LHEf#JA!eO7o=#~aTkQU|+E z@@cElTE2XyPXd?5QHN7Ju7I;oGZo?8PTNIVqpUBSI$FcM2|=~Aa)0LCqWL~GtWVFf z&YIa?tgq6iXHXEVRP`>Pkbj>(rlQYYYFckjgY+-VNkAA6V$&3#)0_ggagq6@U@5x3 z^~4Np9Ae+WFymdH-ki+@`f!BKSu$iV%7YB~Iv-Jy87cbxT0qO!T6E6xp`(=9t<8nj H`;-3