From 856408abf447129df8e5345dc1673b2afba5f9ae Mon Sep 17 00:00:00 2001 From: drh Date: Fri, 15 May 2020 01:02:00 +0000 Subject: [PATCH] Add the SQLITE_ENABLE_FTS3_PARENTHESIS option to fuzzcheck. Add a new test case that uses that option. FossilOrigin-Name: c49a33db954f1a3fbc1889bbe9f3f3fdb8fb00e31aafb91cd6f5d1602db5c2b9 --- Makefile.in | 1 + manifest | 14 +++++++------- manifest.uuid | 2 +- test/fuzzdata8.db | Bin 1489920 -> 1492992 bytes 4 files changed, 9 insertions(+), 8 deletions(-) diff --git a/Makefile.in b/Makefile.in index 563f25860c..1341dee634 100644 --- a/Makefile.in +++ b/Makefile.in @@ -619,6 +619,7 @@ FUZZCHECK_OPT += -DSQLITE_MAX_MEMORY=50000000 FUZZCHECK_OPT += -DSQLITE_PRINTF_PRECISION_LIMIT=1000 FUZZCHECK_OPT += -DSQLITE_ENABLE_DESERIALIZE FUZZCHECK_OPT += -DSQLITE_ENABLE_FTS4 +FUZZCHECK_OPT += -DSQLITE_ENABLE_FTS3_PARENTHESIS #FUZZCHECK_OPT += -DSQLITE_ENABLE_FTS5 FUZZCHECK_OPT += -DSQLITE_ENABLE_RTREE FUZZCHECK_OPT += -DSQLITE_ENABLE_GEOPOLY diff --git a/manifest b/manifest index 51af44edeb..896cdfc10a 100644 --- a/manifest +++ b/manifest @@ -1,9 +1,9 @@ -C Fix\sa\snull\spointer\sdeference\sthat\scan\soccur\son\sa\sstrange\smatchinfo()\nquery. -D 2020-05-14T23:59:24.284 +C Add\sthe\sSQLITE_ENABLE_FTS3_PARENTHESIS\soption\sto\sfuzzcheck.\s\sAdd\sa\snew\ntest\scase\sthat\suses\sthat\soption. +D 2020-05-15T01:02:00.869 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724 -F Makefile.in 280cf54350738dfd567bd97ae1bff1bf68c64658c4d5ff21be9cae117e92f063 +F Makefile.in 376f53999defeb32b7ad2626fd58aae8f3694c38ab7ee30c2289e0d0525a9238 F Makefile.linux-gcc f609543700659711fbd230eced1f01353117621dccae7b9fb70daa64236c5241 F Makefile.msc d9232f9339da7d2b82611cb148734d36be4cc90e17a968882e71d9bf75e512df F README.md 1514a365ffca3c138e00c5cc839906108a01011a6b082bad19b09781e3aa498a @@ -1028,7 +1028,7 @@ F test/fuzzdata4.db b502c7d5498261715812dd8b3c2005bad08b3a26e6489414bd13926cd3e4 F test/fuzzdata5.db e35f64af17ec48926481cfaf3b3855e436bd40d1cfe2d59a9474cb4b748a52a5 F test/fuzzdata6.db 92a80e4afc172c24f662a10a612d188fb272de4a9bd19e017927c95f737de6d7 F test/fuzzdata7.db 0166b56fd7a6b9636a1d60ef0a060f86ddaecf99400a666bb6e5bbd7199ad1f2 -F test/fuzzdata8.db c47e5445e331bd4a3ed66553d4c10673a285f86f37389436a6e145ebca4643ee +F test/fuzzdata8.db 209623791b0ad72ab39110c867af2080a79004e493c4da14ad661e790b5d1ed8 F test/fuzzer1.test 3d4c4b7e547aba5e5511a2991e3e3d07166cfbb8 F test/fuzzer2.test a85ef814ce071293bce1ad8dffa217cbbaad4c14 F test/fuzzerfault.test 8792cd77fd5bce765b05d0c8e01b9edcf8af8536 @@ -1865,7 +1865,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 eca0ba2cf4c0fdf757bae19c6397a48245adb99e8017ddc28f01804072a30b2c -R 93ec1508046ac4f2440810e7eae364a9 +P a4dd148928ea65bd4e1654dfacc3d8057d1f85b8c9939416991d50722e5a720e +R 4101535aba6c5042c0d4f516e5579ecd U drh -Z da65f05a0fff3a0cfb59242dba1c187f +Z 949af4778c40886003cffdbf5f6e2f2a diff --git a/manifest.uuid b/manifest.uuid index 8ed1accafd..2e69efcb1c 100644 --- a/manifest.uuid +++ b/manifest.uuid @@ -1 +1 @@ -a4dd148928ea65bd4e1654dfacc3d8057d1f85b8c9939416991d50722e5a720e \ No newline at end of file +c49a33db954f1a3fbc1889bbe9f3f3fdb8fb00e31aafb91cd6f5d1602db5c2b9 \ No newline at end of file diff --git a/test/fuzzdata8.db b/test/fuzzdata8.db index 0e277a8359c7a95ea802d97619baa389d8f6ef20..350ffa26312c32b3452ebf103c8b7bb90ec69ce0 100644 GIT binary patch delta 18358 zcmc({33wDm69Af?Bb%L_+1c5Pa3#p8v#iOL_vWB!5yM1e$5Q4kV2L`8Vj8x897f8TrG`@Z+G-}dhIOxM*_)z#HC z$-4J=R?euLx<+L{fV?Z<(O*(->j+j^oV?A%@NG57#WFYgh6V(P`Mx34zT_K3ZH6zA z+DX3t)DHIbqqdXpF>2#{J*kcI^`JJy*PU92FM(Rs*M-^uU*~`T;TK;=YJc#xr}nZh zn%d8NQPh6qi=g(P&r9tdpNHBVzIN0Ws=l`Lk?U(s?JLmWn)S-tIm#5q_RfE3dFi2r z(OaOmNNL19TOd?M90O1N2Nu0VBgui1hjf>Zr)b zC=y^)RCsutXT0Z+KgH`&MupRlF*SW&Puhf3>Yn{5k(Bfcw(zx-l%9&fpAYmB#FY~ z@kV&*rQfV^q)lx;-P5|+teLZ#wFnLEIcQ-2(CMDg;k|nd>cPMCPZ-jz zcWCI$X5r&JDWpx+E&rAhp5hr7HQqxlz5G3Y`#z4iNQsE!cX?96WBemB{}{r5c&cw8 zW(mk2-@^$^^!Vy)5#zj3<5DN2q(uDz{1KRcfkK3ht)m&5SCCsdP|My47Okr@#^ zAtI6}uO@(QCJW*8dB#Q3i?`t^k>e($MtUN`!~Fm_$UlJ6=igp6ME|QSYOZqlr1Mdv z^_daXoJNgLi%Oj^KIRd)$h4^NN5A;DKS}&!X!xHa|5Ud>@BZgV8b=8EXg`F%lI+Qh zBu@E75)MaK{XK;w67J`de#cCRPMhH2uLyrz{oU)0iJsusu@De0fLrx7s|JZa%+;o;us z$m;Jg5feNyX%qafnDNo$(^9Hm(e$0ansrb#GHu3+16VN{L)a!3w4#fzl@zc=gu)}r z2*~Ug)S}gds2DQHXwP^O9GU*OR8LxDv}ZzUjAuern!k5Kc%(9lE{}n%VM17=e=H;a zvam#f_mEK+JRJm?Tz_G@&=R_ARb?1^#Z(T5@32M|TI3eddugO62ErDpjo{E(OEZjb ztnL&g>R$$>>rC}9w7GIwWI6ELOtn4~c$F5|r?uixSZjPDS}A1m61p`H%C0G`pfb~K z!jRcY1>1W<8Npy`2W16Y0YA=Fvhl@^%3P7HgnmDm8^Br@b79+3rBZ+fFDPGdZ28dd zhWQL0e^H5HuymK$2L>!uM&sK(l|;q>!_Fy#84Osg?1C}3%_g+7SKFM`IWKN_}faw&9Kf;<$Hm>24$}*h>1@r$qYu1RR-Y1$CcHLy$)m3 zlymsiXr-CR-hjesN&?u%C|Ni&UC|jliM55Y>B@TZy8FF+ZR7yoFHm*X5)b7^l%_DfOOUbWH6=(0BCyNpy?)QTN~VCT zW0kpns@|*-b}o{r-2&SHOSg)Vu;i+_4`yd6K9OyNr8~qiIH{|W&uRqSp0Q1SQ6q_Z zkH|KoxsUQQ!{3$=Hns&?UsM+0k^#!I)RjwJ@>UN;9q9R5DP{Q&%qo08SgFOu92Cgj z0+z>?KzdJ01Kjz#GDKwCq00%e3AQLuwgt)Uq=5Y$xW3QF(OZ=Dg1n6wDT0JULC~#;GTj6(V~lKU;CZq#w)*Y;iFQ*WI%s zdpG|@OU{Ls4N#v8bW#ta3|W??KjXF%%!XOxg>ZZkb0y(PPSg;Q8C;190gT z#S7tIDrIbc{#~;d%}bT(47XfR9v9ew{9nzFVgGXFdQhO36k$;>C^TDMf`K!XhBWO? zzY^>vnoGd=R@{a=uX9l!#=|=lm7%SQ<9;6w?^1q-N~c9d(;el$z&^mkdzE$!c22d# z;Mm%he7`h5gv0MD+0f;T`Be=0oy+hD96m@hTED%;$1r|{0)NDO6hm8DE;CjN#y;{diO0;>pvx|07XIGG5-6}TF!r-p?C7x^71S;JOQG zGRzE;_Xt+}Il)3E@d@$zIeJ%HS}<(W!}7Vn{tHH$}pRse0 zdrKjA+RsAn^b0ViST4!_pfHu}12U1CjGBr`fj{Rzxa~ zXJ4?i71(zWwp%%apD(nu5!qD?+ovc366)Fv;?I~D!p>y`^m`23uVhfqpA!V}BP_*` z{saxsrLKUSalU0Y}V#ozNQB zG=krA0}^g2&tUqSmOPQ&gu|09cm6uBaa%1X7^{S$!5mPTxjr1<%u?}_GIO{9Pi$jm zNPM8QgsfQ0Q4XyN56`f4Vt<+Rpk0>V82bqlL{piz&n0?HPKO zs0RhSf7D`<*gcd^TDAtUj=1wPOM52&x+2im0dJhO7=rvWA@~iF8gt2?ox{|fBy*8vcl33V0v61zzD8Q}wIB-MOEuNS zklU6kA``JnQ;#q_{)?r(z$C0P)DIXQ{oT@0U@}y>)Od)$Vo~-CP-&S8gsR%=2Y6Ic zJDOM!>gO$0WolP!Zp2t@aj~0q?lf&+wc_Z6z{0bo$X$ z3rlOO>lhx0QZZ0YkOIE&;~ISiigatr%Eqe6-h-3bSXcPe5rKbpy}gy0Cs^{NeF)jZV= zIZSn6Vn6k56RU%n!`$^4h7MIP3#=~Wu2W0#vk_`Lk=29T6>1w;R-&qqIYvE;_AzRe z!0Ll+1&n zr>K+6p}U&4QNSxygi9e} zFeGlH(Dl0nbqyYxu67q$BiL?JW3a~^!3gcF& zCq&i?Do_o9n;S`P?MACsD7j1mPhO?2H?cODd&Kgz0HqHF9n!xS+z@hG-3DFOs~=K8 zm$60-hobLHF335qZo|88s+!2!LBZ?p5NxzrEf;x0<~=P6#(r!ngpwVkOiRb9#ZdX9 z8U=^8s!w3h9`$4HhD0wErm7T56{+V%77k?x)JnX)Th&Ecn7zg7X#oljnQOt0Pt|%* ze%M+MLJz8MLglqU9iE?OYN!ng?K(1a;`j~_H(0OhlR~JC7_x z%6o}1kZ?^s1O>O56XVyZT`7#OP`%jag!&F+v5@q(+7jEIR0jmHo;de2HCvP^u_kta z+$yyf#+Rvm8F+@PrI5Hr9bChIIy^jP=|n4?x{!5T>D8v;b6=^gf~3c!fS-7*+Z!6} z(VW1(QG1$u9-8LsO-_3v*C6h+#m=us`FcqK`=)YAJNYT4l%CiHy9{%WW|;iFx?W)M zShYfRFgS5r?FlDN77Z=(D?ZQ;)j-q0I@43T~{TBL3h;O1lA2JzERgR zTqJ1=8MOP2EVny`RjHQ*upL)F;t+@PQ9Us14)4@fYfYe}qZ*8%qIOwgy&z?uHVB6W zY1>80)1~a!dc(Z$MH^fkuT6mT`C1(Qs%mDDJqEs~v|FUhf&trG2ngx3gqu*1XYByx zv)#3!=w)p(gudwN1nCc1Z<{xcl6a9(lr@TqCG>s3_l(vUn>)2HMb;OS7S{&eS1OxmXvh>$6Zqq+QsVbXq$Plc}a=f8(z zQi&GG;K2b`IGmnlJ&#$Fh!M!yp!ps22u%7=dq=ew_ z3CNJe_u--4Iv3tJ&*E_G0c`<~i^Z|%eNjvQ2U+tOO9t;Etq>B+H5-)fF@-_$VZxiU zktU$?W!4Kz`fH#2%{2v#$Asxn(7;-NI})|4eyHQX=r07LXF1ogQi*lKOTUQyS^jD5 z3`d#@thP8Bi3@Tp6R`NKHc)_pldXMmO|~|Hu{13HLJMM$xXfAvhn^GO#N-#X^^83U z#TT^g5b~>*4q0z%_p$yW?OVp40^=9G9h6sSv+#jS6DX#Mvkvl8HxYC1Tay^*A8S?M zxhHnyQjBJ}FHdV5DAUAzm&qq~BgC8Z{g4(v*9`6+#?$*5EVfzSq!{>~rB;4t z+WC_Nr{du?T35yY@mSj1`ZdK2Th&nTWNCg5pC&ZV zLek@b4X|jlwV?Vc($xn3Nt}*h=`XkgePj7OmJ|sc9VDh2htb0w%6!)W1fQ%XV!4{fr-tAq)ko-lYs=ZD)-&WN@3Y~X5|ia3MSss-WJ$= ztSThFxvb~lvR}37j4i;b4ZJJ<7b}Iwo3%3k_!qEh3-3)|p*4priA6y9H0{K{X%2+O zXhEE`7qM!)cAhNkIc*q523k!fd5{$F^OH!%VD_&$3*XUwNsy#lcgR^Z;AQX~qeVOY zjH|MS`gRP5+O0bnTLhI;tS7P5X^jxsVn{mZdIt{#TYHM^6-avDMWoiV(mrqr6iPxe zCgx~QiQFsDE;B$}3WY(mIFxK7$6AzWP0U}Zt-`mOSceCSInk-;ZK}OS_Sao=;O;io zfdb2gq-H`VsN7;}2u00=M3~Y`Tb@_+vl$CAtjVMW>5>GAd1RTMaROyx0>tIOjtJpU znrHPuX^gEd6sTeplvdDgr0A}d)Odq70^5zSQb=u&u~xA>EZpKMr0pDczNK;22!Yai zh1*>ezjw4!{Js)PhiM*)!pB>K7jHZ|gKsUPh=_!Oc*L zwMV^dEfjF_UDne-U$1h*YRLR^4dtB$4`$ubu9ErvM^N%JtbI7qtGTh+8IGRD{m-9F z75y&;+VC;2LDKU=E6&PiA|?CC!rp-IW?7fRkyowvvE36^3ew-;HdYI_ziu5Y!jx3& zO11{PCg#RuAFZ(XZkqKmnH50%8!pOK{a4FDa?85~RtO0Wp*Cg}Xk7$O(n zhA<_M5d2?>b+O->tcM*j)ARX*LWhv^F%!!=!)*Q~5%Y4(Y2bLDdruG~v7XO0tRGMNs&a^e%*y38Nr= zC&kGj)AZ}O^P)tHQ}T3uCC5+ zqMiYU86Vhf0u4Q38;wPKtb-{hh{dzq6kwFzv8wrFq*Gw)A((JV9rtnuX zw33G7sQuQ{CYi##8~@=%k3dTcca;DkZ%O{UcJ94mZN@VHe><42K9>&s%fU3}d~2P~ zf+n*$bi5$%0`;o(oWSPf8TD3W%Ej3YsB>#}U1~RG2UEK?yB4*tX1l3fmF=K5H``9_ z(rlgDtZXZ_GqcUqPRgbUlE-BSQk#-3Q=6Pkf|7@3i_|7&b99gSGO3OC&84=3?|Et? zeY2^J@Xew&)8m^N5Fj1#{fF9TeKV+?;+szGIN!6>j`U?vJJ2_k+P=QY)b{c{Lv3dt zt-exw-$ZI7d{0r^%J(F-jeKd;*7HrER`ZRgR`!jfnfu+BLhTJ-GPU3Oo}l&%-xz9- zWco(Y$3fo+YWMhtQ@g`AjN1RNiVGV3kLrSd78iWO-ocbC_i^&8Ir>$u`F;JC`Y!ku z3$4*}()y`LndDH^Uw}(9^%+o0_%E0jlQ4vuX6iHQYGLkFg3)T z4Jbl|Qk%6YzWSqelE4l_;Swu(ic0P&-UqLf@*NFsTWQz*0aQ(sC@Xo-`klx=giaoE z;gR>PJ%i*?Qoy%kAftC+7kEatwZUtWKAf3P;SAs7QozlrJX_ZdmImsL%pdJ)>l;bg zffPgg|-*e76QTAD%0bw!8rdA7m%WolzASfbN9 znbpgd1zpl?Q@LL_4Za_QI#4uCAN9y5jlhO2^$MPA_T3QfVY$cl8|6;6*vx+UmO=76 zI-MAJbUHCO1G)2bigY4%igZ3h?;`zUTHe+QP4MOp-C+4E=`_vL%T@}PCP@B`%ULKp zA|+sau|AKYp`%hdW<6zlpXo9FV|+UA_war8=TLTB+5|<51PfG#NjChbyWUA;lyr`l zXkvQnG%@F(YPS0&T-;B$1j%D4pzrG!Ka%+OF*@}V&+qEvqaE2d)oFa{E`uGz^(6UI zy7ncMU00@KQDZ$(%s(Sg_B25J3RA4^wY2807hGH|PckT3BFy2JE&sBMOmJX&zMezoGms|EwnYfScC&R_(XT+o`@#WC z|4g6F;Eg4=E;xIh{xW0V09!0Qgz}?8C?wAn!l0;?RF9T+FhYP}I-*CFYwbwv$bFOpiclydOLHM*OzA2FkZqrOb} zroLHUdNcFQcVc~GDRVNT#;kJrqWT@ZE3vAn%|i1t&(a+) z1={K}Oy8mBF;)c$K6hQPS!|Wy`9bIfo{Lf%T=+roK+YoJ44gJeUMO8G)CIk(ewR<} zPmowEun2OBrJri_Z4=jd@(Cv@g%Kvo{n2f=;M8W@ES$Sfe^I2&wC|2ihm$4Kq_+}!HevM78wV`~CC7Mm1oaNha~otb^9 z4`KHq`4H_}O9tsF@W$`@i@5lLE}K{i=3ddKi1J+m@(_wYvPOb!q}~X=sw;&;smmZ3 zSA`1bPP5ZfyOAK;v3R5BTzk≻{~E1 z2~bgN`UDQ?lJO6IQW<5@EB2T|1e{vmeZdbv0`{2Hi?fjQhyf%97Mo<+j{W*6^V7sMHhVnDkB<$(39pGto_PqNYOpLXip|pTo3xvt_-A{8k>LZy0$^0Bz>f691 zkEhL-rG~)Qx#N^vQZ2|W6C&||&(=-A$~NTbcyBOP?bde- ze_6Oaz4YdAbD?cDzg!#2%B*xOnP{V9$vTkRN^l~1DmqIk-(w0EIR0Ujk1zYey2g)} zcGMrMCfM7>)(4XFZS_~?1WJ2H+cpKt6X-m)+7WPp7=D4c2txx1Gnqmm3x)cBUviSL zWCD@OLLf_*v$)OIdF0f;gp!T6_c(>2P}NXs1DE#dAN_@in&<=5d+WXYoQ6?iPB_cG z?J6>#4C#3&>Ml)&k@&mmx=Bux08t8HRWqW5*%C!*Y#u(iRAbbYk|6nm|N zi1oHop17Z`FUR~hZIgMrK4YeS`JZtYZ7w$BS6gj#MC!qm?LsEQ`P*$-0u(o~m0@UO zy*1C>Na2tYD>X$jev%8pu7?-**d_+aPe}oHqiQ_&9*93=J0w%)U5bLRf#j$9me?pw z8x6ioQYO+yXs#bx4EQcf-LdyE+j}CV;SVQBkq|mnT7{)2ZIoh&gRq`L8}ydijs?jR zNxCDeG0=Kp;D9e|#ey73C^|w|mL&w++Ke+|zGC7>^-?EbjSS+r+?E$4lSRHyTvN1` z*KT4ElngN*rwqK*<@MS=%E|7Fskwx7iH?$Oy3v%IUkzrT{sQ>mgVkZiF%z zIMSd~!2pVDd|~`j!2qci)~&Fm`8B62R=sLamge^bh6lUdwUx+}crObyQK^C_)~JJ_ zBaOHHCe{PX6yBTD%|a)wswu_a+Y`#HrpF*O*=T{!Nyh3R_6!=DaYK;15z5EF8)G_+ zrvpviN8rBpQ!~u0!&0qYYHHGjzEh0Z#%tk#4+qs4?9y>PMH=8YxpmF$la*8>g|s;|AqG zi7wg&lceZuB|sVs-l@iEC~9tLT1^}hahGH^^zVQ_#N@69rIUwoNE9k}H(n6ga6a}R zzTewO5ZMUuK5I0Gb`wp{Lr9=86z}&lW}4&-Dd425hCwd0Qo;QA=61exDWEj9=7OJd znX0;_QRuyIJ1s(T9mNK(rJ8siRT{n0YlK4J6eAfIj5abwHU?5&Ft*_KWMi0#jRk94 z<0Cxrlo2OVHqy9cy9x0HbYPflGYlvnXX=GRCmU4hkOC?E6t3ikV&lw?W%zQ2G0P-B zOIwiY82C@6rmBkB#*60EbxnQKq<{~T9uZ0$T;mf?`$=g$7RsivLX9%c_iN7tDjndx ze=4Kb-qG%X!D*mvOynbtl%6ziG>Cc1fGt@Jec|#Gvg008?^;W z)E754dtq!>8znl&Y9{RSit&z#O~RybW2fJKD&U*$h7Zcyo7Tc^Fb1-xF)7-R8Jb@; zeihg=kkrQ@clf$N?r<{X&M+z=bdwQ;_X~`^LGpAd;QU_{khuEhdH%5 zgmWCi9AGENtgl!$CTTpVR@2#NjebmVi- zcvEBxp!kLnijD6Zmqhl$9?4FEco8N4=S#5gBO?ww1=&9m#f2UZjID343mZ-t?QxW9 z-z>71Vc{nR9f;cOXGM8YgeOgbSI!vSv7gh9Jn@@zig*tRwo{Vy6p zXD3>gpcKlnEk&s@eG1EB{$QlJofyeMsWtVQb7QGsHZ?ZV1H}zUTunXp3nE)ihjV;r z9!jzNa|KEr`R7W=NU#&ec)}>>)2Nv0Q4PD>X=e!7^ontwsnOrJwf^RlqZ8^vOg=pFktI%Tt z9w?h*kHpSd_9MJJvT%mojdd2-zZa<{GI;|>zmU+g%`jl1JsR7;Vm~gjEs#6O-WKLe zwl~BfIdyU+KS#)cGA$dAYrjR4&u{EmVG}X_3Qh(ovda%N(Fqt z4oJwe(_!wLb~?=63C1~lGi|Sa=L^Y1UKJ{Cyoh z0$c8JExpd|;xHJc_BQZVq&*1ZD(zHs@jkF82nY@E;K18Pq=@(J zmLPIE9VJJJ<)arCNBf?W0~X~^^}BJRKG2KI_83Yk|2&Q-S~{pC zq@;mkDHODDgyXMbsT*e zC6(fB4mz-{=U6X-*xJz!5^au7I5pHk$)8Wqo8_cMuASS_CO^_4quku_K%}%$vEA_` zRJL@C+zZo1*cmKHmR?`=n z>^$y|RL`New}Y4`=>_upo8^yoH0NImq0d5R<7%lA$e;b(o#$9B4E3Ro+XDL%eY2gJ z6u#&V8^>^%HsJRhZ*dO4;`B!&q4~&<<^p<0b2KDEGl$-o-*l1F(u|K>Ly5V04%)c> zNk$UCehE{SI@Z!MtUKys$wUWjgUUJFU=D!_*jqXk%$e*=r%3g;j=l&ZZC=?2P&c?yDTmchGN(V+4*~=-9-oBrB#nL&$e8b#~`O(4n>4F^k{!Jti%5 z)+dD?;Y`A5xsF_(m@;lVjzMy;qZN_>&3;<1ak6MXpX~hD|NA;7^>d6Df#k&VAkvRq z5)F~aewp$tlN^4D-2k@M@f3v4ca%fXWKy8?4URm43LO((a7=*uFF7tF5s3n;#4xub zhN^KqjwAk=t>Wm~pzT#I&I_M9G~BVvF_f1wQhy_kMin@5r~LA`h29yC(|(H}3vfGv z{k^w2Nls33wRrhSt#pTXhI96({bi2%plSX=ccG%O;~E!rrGNVWGPzK>!SNY~@iQbm z?Pvs9FOvNoe8JIG;G&+4cTPC0JnKXhhHwgpP~n8f@vvVy5)t~XbadoEfBUEA^UnL6+QyuPbAGA+&K17=pW4Zf+ocB_uZ!cg`!(gPA1~Eg zF7RX7;>RKfK)mMkV$^lVDUqJ-z=U|`A;0d~xky?OAX(rzDaYw@{!TSZj;{qK@*X$F z&vljvnDv;WDF-b}XzX*`^bh9iyewlB+_z zry0}S&NmpPiHxg`B)@+130=atv!MXaO@58Owcwre{Isi>@`RI2nM|P`2bSQcLgVz+ zdZaLNzQ-BIhj-#?ZpFD-&N*U!q*H}0VUA)TuM^B6_*G;fXUmHJ?c;30pvzH5cO-w{ z;8mPEUT`#plGe_*InViUZ6MKGI>1SJqpao5VEnMHvkL>Uqmvdng2kyZ`xWP1Kc#le z$a0dMk>dDy9V|KGyy2Ks=@=;fgFQ}ZOD;_(=Oc{s@g>(9*@a17$4&vuLmmD7K;7Uu z>UgD^dm2Qw=GFX#I+_dlL!6PE2ueNv4+dK^77SHk)hybm=;3KvP{GJ>(% z)qK`Vbbd#RU9z)&HJ?P?F+X*6v9Q>oF*HUxe-fy2G;D%1kDGRqU$ufc1NFHAQqYp@ zq-_A@rgTSpPT~nl?9X%D<9CE$!YhuxepM^ZpXs#Vu}O~De;P3N&d&-g3=U5r{~Uk9 zu?I(HIJc6XWjWi`%;a*eY>mbI1x^|5!A^1m9==M@1PsE&+0M5aBZG81s2rV$^gml7 zH{m3;<@9~xXQ}C5m+%!%1D5IzJ7gVkG{?RRo%=`(tDLPlLOWka;%Phh_f>=(O}Kxe zT0l{2=LcMIvZ{^adb)E8u3GMVnkS}GPCC}o8dlpu=QIIwD?aP3xLh>9x^%~^*PQbu z)&{(xt{K?+j#FW95@jnK408p;=)2DO*m|Awzl^m-Z)4YT%8_kwQjV-0c$>T0VZ>(V zU6VXh3OH@%kx^$TswBmoQRG}C@`RHdPTM`F(=5{}vaLhS9R@ygz)3FNySK!7k+Io$ z>9Di0Knbaox1F^>kD@xdWw)J$c=SVON0G(Axd~nh! z^So5?m(GDur_`cha;bB@Nagw^)6J9?JMW~$IsH@TGx*%+&fjJEc`4w>34S7w$UH?k zwTsRg*ZB=Hiq}XG1Y4VeK#<9b6sa8RRZp9!+dCjvf=2yV7w6{e^p} z#MQaY4;Kk;H&N&o4P{52ZrE|u*&jj&y1d{y=G+UVajv2G<}c2%0_&bf1P7QI* zq}noPS9I#G2wBdQ0@iCa^RkE%adMvxiN1MKz{gE$B(;X0+RF48yxf;6gPrtzpx3n% zZM9vu0!{rnM^Q0Q80l&RMUgIzOX?ZKC>I?rc*8;!74uG&@ z&LdRj38RD)LOcF z2L@)-`Nk*yB%)vA`ao&1TL=Auvm=qh1y65Ti4uWLZMMpd5wgYK5NsgG+kqnsG2 z8|{Glxh{!RpPFlSQFb!Xl}DwikgK^|@JT0E1}+-nnq^|6Ib14gAMLs(n#b^GJ?Rl_ zFXYOucGPbq zSoBSI-H=!yrq6Pb!H&;kRispNT(rfTfRDfHqMGKDg|0{ezMSuB&e9;`Gb?3L)@wO6 z#flPG54nD#NAScgkhn-waLkLYjl8NfCHCybZW_6yX4(i|zU_kewXPf}n6F8&Et5u*K({b99Wq*Kvcnz0;LnR-JIY%Y{uV3yPk~Y4-zN&ZS6VCT0(WP&}p%2IwyH3 z5}}lb{SThr?(&jsud#ZVbix%KD4WSYR?8OhZn>zWywoL&@-&j=Y-C%k1FLIQc_r&= z)IN9JWt3kl+paW&O1oA6H->;1YJy|FaBZZzA*@>G(%Ik1|BGI5dGoRec`j6KbfrVb zms}s#u=0vO@|p)#TU}Ig@|!jE@9Y#j(i;C`v~ng^?cm7#%!L-YsGP0K53UyiWvYW% z_iP?BdEl2y*HZHf%QCVlEM5B~b$Myy?}{?de|da1W!>}oQ&%{6e{$_HXTLN)o6a$o z_4lh7G`{8X2Kn9z%vSz*v>=*`>lrp{?`@YDMCGE=eHT4C#S?sP`doG@@SsR#qd z@k53Hc?o1J&}n=28daD~IirQ39Om9)Vmj_@?oJfdm*|!p`o|pJ@YvYA_=8Q*)7t$o zh)yg$QEsvy*xV?a^4`(zN%HdCCfPO^7~?LoP;sT4=cRx85S5mf+ui{eivt^Cmst0Q z)yY9O?O<1;6wg2NQR?otX|h8KSUif$8y`z@*B50s33~?pZVbzYxVxHPdwE8-i-bM( z&#rn$Gb-< zaxE!f!$b}Sw@z^nW%3(DY#|mdaZ?_BPPRJ&cBV-xcFS=;;WvwQSeWa+OZ67VB^x}L zC|S_;ocji&d|u&7cQV8Av)pT`P!cQ7*h0vVR|^NRVy?R(fATp4g~d=X-WCIy@QqJZ>Tr>IQ=Bxu&*ywZ=ht#2%Hk7IHH(X|;e7U`4_-AcIAJJX|5 z$*;I6ZrSp8Lg~SXx>7(+LKKAVc6X(Ga!{y2gNrstWY?jikEf#^Jbd^Nl12u`z;mnJ zE!AzS`)1dc0`}C6+FXqn2=6a^0i;?;`7Joy&oq#-mZmuZo?hdQWc2)W`Dr@8?Xuhy zfx`>jZ&A(=ePdjW8O*!nG-109?#~3u99Fy;7zJx`1B2jDZs0-48E7(L;1;*dB2$G# vb}uN|?Op;?KT_48agvW^YuWX2|8BR9kzYBr$Gt?BL+G}F|G4cQ(f)q`w%@ai delta 16616 zcmc(GcYG98_jm4;Y<6~LXJ>b3X@L}a%`SxA61vnxiXbhaC`d~XP-?Of5vd7*97KUc zs?-F511OLvND(DLKtzN@u+Wp|QA9;}&)qyvP+x!V=l$z_`F!RsxifQ5x#ymH?)RKY zO&^;2@cHy=#@(PGd3Vs$e{mU&nz6fi3EM5~gZI@Clcj9;4-5(tH~0roo9XXQ?R+vg68`YFr}lxrEww-R zTT@%?Z%%EIKbqQ){Y|O;!0)AYk3Wjq?W(^C{jBphrgj zjnO60CDJ9)CDRp5mxZnnx~%xbrpT4WXm3l1$Wm*<(Gpu-jPa_wMTtgS0)_8dLNPpA zxh}G$@cVqVI%Kz3>SNDVic4V)aYQF2hslfR(R3*KMQI47i#-+$TcDJ%{TG$N45oBf zRU5Hnth!_G66r54s0ic*yg*7c9N z`y0tY{$HW2#1;d^MM@o*)-lA`_qGxugwU|d>B`=BNJ$ZJO&4WufUBGeWoIC%+9R-c zVc9k@8kYWO?TKki6u-zez_MN9aD1t+lEo?%-G;G^0aYWZdY{NPp>>e*3&Y>vB5G_i zG`gkC$ED9JFH_fA>XNs3eNBDny{8nitjAUrZjMwcaW#hov-f~yl941mYpa2~w<-ff zwhcO-7Hebu9m@6)xrr3?VOz*4QeMMh`;-lWyp;sm39&Gx+J;`yum8~JxzaTagxKek+(O3BGPxD}Z3zX*| zX|w3Sl=I4bk?n(OJ(LMJ<&v^eWc#z0DJHyh%c{V8CbMzdy&y8oTA`eR8uzUYvf>pL zmgb2XI!cs(3+w=-?iIuF@hY-j*z#}d5Xc>W2eTeneP~^y zOk?=oP33uk9m@L6`V98DqudDz_L3ni>JB-k?G5PXS0ZWJ-2o$bpLjkD#`ofO-2ITN z`Un;rQdEYHKRE59P;f-~1xmwhDq5KBk-+k?;3Fl9!S30%mN>GuEi0hS0x0-INrR5( ztZ!kM)kZq}2ntTqj8^Yv^D~Uewr!+Vw+#zsO>wPhi)JCm4k>=06!a6sHVP*5G;P

Y2H>b7WsodBba?G6%iE|Hx?U9$0) z=9Ry63XD#+-WXTU_P)qYqtVT_^gnz6@sSTv4x4Si*CtBr3>NKW18Ml<))N@s!gigp z&%ii94k7NO^)_@oqRhlUTHAsJ_Bj|IvR2rxo$Z9k&Z3de>M?8-Yx`1Qg>dww@&zqa z8oKWVYdb95!NxIY(wMAdU3c4DiA6(bZ`%jfbNfU5&7`0^CembB86@lz?D$I`8!d@X zN!BmWx7k*oVdHq)MS-0MW2)^5ZePo4Fqm+{x(fFXvh`u?0%SZ<$ej+hkvqKz#w^<= zjH+exGMN1}8Qsm{wyFaA5;80{7gkEJ-4WR(Fw$&yq3uO$YshV6TZRY5+Ik7>t4!a7 z${0G%_Jf6e4LPHX$`G@}wg*2?vNadkm5SA~3_0W4 z8*a4?V9;u@?Sy=pl<_Sx%}8Qc_?tqakvXJ8^m5x-b{!)=B$LMr8MY<@y8#jT$~nBa z($-jH-(kctMG=rlS78uy&bknGzfFUFj}a%8Wa|0v1VPLgTOK5RE4~8v8rh=oxX;beO-T6!fG$cRiz3V(-VjFZo+YK{tn# zPbFrTSf?{?#3gjy#F9<6Y62$wN?RDW;#-j0-xddbk6Zsdp%t!aFn{JY#6D3bVp6Ux zQ)G9bV5aToKhJCH{kGGL-G$tde4rw0bvU(^jmFQ5tW5ydJcM{J*Zd8x`ClA*|X_sE6*2A3!{TJ)}VoMB`+e<+= z+C%&-buc7+Y^e_&8mqgx(jTX_^S6_N=Fcs^M`rV_AUpy8XiK$yVd@Q$1z}kg^*F;* zvf4&q49lvkA2U2*Roe+nfU*cR24YHW3ief1+NVS)tF3;FCmd=!3zJd*-d09#B3ivq zrqV(QC8ot-&~MqM;^!@trVQ@4R1HvHS5>6&rHH}J1?o%uAq(jDY^Bh)t$G}8EmTeX zJVI?Qun_PqR_kDcTI#Y8xq}pRW%N^#kVGmFWd61d^0r$lK_jo?#KvCrqR3Pz_+F@r zQPGMaU{nkBJYyOhtga${&`RwgGCLfMP|xF~c4|YB>CpbJr4km_R^MfKI9A1AIYtWl zDnM%_Uh1LN6l5cBjK5=6FZD^VLIjvt<_C1_YL($e0iXnE(m5b$Y`%d!si$`_bsdvri}80 zG7L{tuM4a)Wb9H4@%$JyN@P_aBU^0@%g?APq>NWDpmV%hCa|jDAEge(krUO8qOIB} zuh;v+3!{{w(a`azB^o;=sZ*?SXDO&;Hu#Ix<+QZKnz_~douJPw^(AZdJ@x#tWF-T+ zN=L)Uo?0dF&QeWql&A^}nXPV?J@iJ6%#3I^R-U8Y7Fifv3ll3t9I7(>&_`W|M^n`< zA`6F|p=wKPJ6}C1vIw|(&sG&{EL6V}StKqWq9zMCeVMvUX0qdbiQYv&7r)dBx5^$Hfhqt+BzT}b?1Y>ut7)zc!Y2PGe?VQ_yB=`CuU zYKQ#$r0|4|>IMsIfEh)$2?7*85p+npDR@?eY1^UWZuJ;z2+7;jrjYxC#f0<=>UMmP zt7;-^1le0XVOVpoS}an~7jZ&s4kJIc@eunx25 zSt7M(!#fQLA3vrow;~@rKCM!SaZ&|qa2E_ji+m4ou;!whyq{lDgYr$5EbP3=@7U6)uFNIa%Ji-X+SPLXwm#FJVNn0Hfjz||ye zEF>-0TH|k(HLJ+Ffq$CzZ;0D27_hUxfRHp(xDVOu?QNlWfu{=OuF@t!_zJTX?HasRS4(Bjpf^E_X4tB} z_GvKd1trI{`MA)l%@$ejRXO(V*ehB)AhJGC^u!(o3H60OnA%EvO=Nu`qD0d}z zC{D8@j&HB65m-NzVzk$+!M(^tQu{;30Q)G7xENC4^Y^5#w6VNv7G&Qut&q}F>n+Fc zar>Xa!k$_blY7#W&tm*BEn9>XSscdI*B|3gYJ4K9X?^(L12F!K7R=!BDYGe@ooBy{ zsWV6pNYB#(-gzL#7itFuJp8=Yjj=&cwBJmIREypavxjM;MfM!VT+;GINLpt$frR;* zoew$~N`5iJVB{6ejV;G$XDsY_D7fIR1nK)sh4c9gPM)Z(64_8lmc@_YNe%m4SbLeZ z#*wGA`8+HZhoNtUmh?BiUSn)H__DMdh`XaXpm3ih0unwW!s&Zx0yuc>CCz=4P3Q;C8$gPaR zyb`US0R3j#d*Qle+E_*bL*92<2!pt{?R3zYA#B8i71{>I#z5XpZ6|~U+mj$QS9^rj zv$XFS8w-Z)h=Ss~+Dv>Lp$QbybhSSl;O+&?2+`vi=wE7O;C)DIh}77E;eqv9lVG{G z6!b$1pV`e2n-UE?t?)V`5IU`ef%)qzg!q`@gzuubd4*h`QX zZYSmcVNb=FIrdNi5;C=HNI#()khELNWD_8U>Di#S(V9VwM+o}|v!9P~A@+|0oKD2N zdiD?z!ZiC&Tt|~IuaUhrgO?`Q6|mP3tg!q`ExAI5ZyA32ftD$;elRj$n-VhPKsSG1 zDX6T%yM%>I*%#?2+q(sMKL^KP;Q;%$6fx{q!@;{m3rIMQ$Rt7h^T9PRcdtFW{4Ubn z8i7en#)u^Cnh3@33Dr4AQ!!$i)}L+Ot&x*#t*Jm3JOHwp9`irRNQb8&@nwv7RSOnj zL=}q#j_lR$^Ui6Ilx6O$Fz{L&f)S@zNcXXYy#f(Ul&TOlQLB&3R@rAf<*sIcyH}y$ ziPjO;)v#Z!FzFoH8mei5cx5K|zhRRxe3w@If6FZe%0c2R@RzUzaC~OYdur`K*8WF@ z0D$)3bbCka{F9b%Ve=rP zmGCQ)iP4fvN3|NJJYcT|=063>-qQ+U`DF^6$cs+KIA(ueV5wNPQ_}^m@Hx0V*glOh zKbGb3t{7RT5P7dw6nH-k%l7f!q-?Doq)MzA6wlL6|C9MZcxNqyv-TR69n>zdK&@V3{tq5yi+j;$8Y2;lLX9U5vc} zrL*j3urS=-Ok@io{GMh_5TOhthqHNXV@# z#KGkL+KSBFU#yrt*PcLDkR(YEx1N@#ca#vtDJ%zeTxbe~>+N1B?Chup*{awa3QOoj zk}K$B%X!*hj2dI7sM^`tUdGZfXP=ovM>_6;3%lBz2?Xus95kz8SPwhJ@GG!zl;)*C zJjouyuw7q!iOl*#jRE$TuT}AdTmK?V9V7U9RM!4j#W%jgS zHUO`!w1_lBPNcmiK(#re3d)^U_HqgWSutyA5LP`fCtgMQqP^;b_p0Xbue7X^*tX z1ErwHQ}}L@1W6lhA>|VeG~s*scCwMKose@yIs{=w!cf{GC{_-er{BTdS0&n^5>oY5 zoWd^1I4R{rQZ+|9ge%f&NZR9=gX50a-)3w#WSo&YKuj!oQt$JI6(84d2=wYj$1uz- zu=gii5c6L5P?%B3bTw|1z~B{ZpwOCFH&32{{pq){;||n@sFWa@sFlf@behyH-7@PxBVljz3v}Q?M44EYClTxKTkgg z{m)Um$3KYL|F;RG>i=5?>F)`o@7Q7RXImn1cMXb8p)k~52jBYD{*u6sK+aosauAQW zgE$I4w@`Io4V{kL`A{}hB0N&ke-K##wD*$Zjt+gu{ zIQYJ?KiMKyp>yvi;47h{$_Jr3;VLJ<_nn;%JK;JVc20utCWX!YYUz7Lb_#rV?Xz%R zJ^ghH`xK1Dwz`o2P|=}yk)wasH)<`+eoLp_F}1%V6*^9JOyS<(4ES#eRUvntKJ=+4 z8jO)G^b(FT`|k-4vACV%cLGiJIjn(&`Z**V*C|)fPG3nNGh{5%DZYu(DZVK}UzYwU zZEEX<+IatvZm_Hz%A_+HT?D&E>+y0S-Ma)u50z<{>(%4LtaAcksX^jbm{`@b zo_5*|g30~c83y@Fg*p7zWk}rPh{FLB_1z--8WSVwxy<~BVL(1@DfXMH?`7-?hIeti z&hXknM^l1?Wk*-G|5csv`>X$`5SoD-FuawcCNxRWFR*KPw2C8E2snKtr(ZLm>te`R zF1Rr1T|J%r@KBmK$9qBuMlH~3A1{HDkA%aRRIJZpu=XuSN1U}tf0MCqfi0GvK=BD7 z91`XV5s=$Z3Z>0mpKM{n@$5?7E6U%HP~Tzl0ev}bZZt=^Z|nUDgHHZXCrBgvS*c2Z zHC((_e^p>VKzxb)IoR=)9)c&o(yI!1KVJ7T*ttO;#D0YM@9YaXON2Jw|6Fx+n$uC8VbUQzld*dcyVO$+9F-iU;Jqbu z2k%ws1^DKc;Dz)>!Z|o=k$h0NSf~biU;P1}+WQb!DL9u-;?ln=>}?CTd2$J-ONGG} z0{!T*Quu7IV})FZ13;UG=$ae<7dxpCJAh z76E713kF7c9HgPYFy+D%7xi|G{R~CB=?EJzyyAy?xCo9fg;_A~kzRuj`~c#~3J4Vz zzJ-`tQbSn2+foOz^X-v9{B*!=-{?aG_6ro$k?3f?$3i?!sqLAI*@7d1bTn03%}03% z1r7LetK&$epy8^cHtbq#QLx56`x45Q{h$wEze2*N_H4)>p(nyxt78E!zNyO=mVgbO;*>OidV2V~q9YQvOkQvIiz zN7DRehGb1225kH>WZV~~K+2bb4N2npq98tjl03`ja8#F!zsWP25q@5>&k`o!l=_}; z_y7_E_Keh>ixB@*03-nxTjWG3=(m?E{6eN6|4uJR7@MV6Wmv;>d?zp&N{&lD48LkG zCK-p2Da(9tJkcjX@%Q$4>=xlT%<**ghUXy0 zb#a^{L?BWNhDr536ZkmRr#c7H`6aZ~cYsA6O-C+U1%vN!$0gYg4f2nYf_{da2qlL5 zvnZamk!b&yRLFTOY``tij$tAJ?ga!-Jr-KA9o}+WPud?pT-$%MR#G7^n0( zkGv!|WE2U}czCI!vw)?o$ zV#^%?SBMc%2nA45HHffS!XXuf>VMsG;xRv&SY@G*s>`W-%~yTu)W3%OJ&q4Jht;7h zQfds>KGHw=lMoeQEG7-my9Xq#0Y%${3*6hTrsb0?&4%1A(j*v?;@HN*uw;Z3#-Mb! z;DFrswMy92?|8=|kClRMr&LU?Re)xT9cN^U2c<|XZSHW8i99O}!AZ*;S&Y@>T3tbT z_6)})fz<*>y6`H_S?PE~B>XiArgBZyi9OrE2!5rBgDRnTm=qmV=Psrm}c%5_ZQKz;Ij{rcYncsf#S z#Vh+AlpJl0i93Z9hOZrTqzbGF7X2Yq6QH=A#r6-157<%^B({?3Ah`t67Euhvs|Akn zA@Yk-(1Yd`{(K+AeCjwV6A~{qg@}ISy?UK-5OCWJ{MV!uq(jkM4h>1s;J+?)!5-%w zABY6Y7sOIe_!Mb17G81?+|U9dx(SWZcg1lsL>@;vA5u<%b`b;ne&@&&WFL*v8X}h1 z!mvrGaZb!qEH*xJ8(>ie>EVteGejmR_M@o4tC>;bLm)rFc%A@xsogtO{No9bZ&`5* z=@zAy9o39Fd|?t|Ew#tFt&J1`(qGWSu(*Q}&Y<5|gEDGCQU~-m=C`u@N|mtMUB?Rn zd+LZ~n+!s1{zx~x*jX_0Wdh=hf-O|K;O$~m#qhDl`+#b_ZWu%ULLXz${pJ z$5BVzU&|vOF{WvD|80Mqm3|YpLLb}lc+wX+y?$i>kcH0HX1`|TSJ$h zp~3q?#?Oupf72^P7X85Yig6ZeykHOvN}SLcm~`_D=O+$)vyHQm8*Qso&JGeg*JSo= z#ZWZ}9`0)pn%tj{Lg8|p@w&(c@b`}3M+1ylkqrc2ict@u##?4Xn9~@Dj|LmBTI3`t z=!{t*4p&j3V0~_Dl%E3W!qF8s0&>b!7$*%zUx;y5goLV!1Ku8O;V`N+gc3qVI0Vl! z5^(-FBSj?8J~6|14|h&923goJu(vTj!PC=>)*_+s#%;%ah}l8u!h}%6fZ|b>?l^F! zL4^(@Adzx#kpG+F;F6AH_~u+=rbV7g=a61cnISHzsA7S!z?$%G9e=VEbS(ZaH*fR# z9ZFXs=E#qIFst5$s=hd?MU}RqhVVn~*3-(-X9JH_(F}{PbJFr|z;JY}( z55;XP>tXK(qaPcG@tq8rp>>n-o503H{2+sT;#Pxv;!BX>H%cM=eIo=P?J#Lx=xZhaEWPX61gwg@yiAboh^dbM9f>OTmja8Z^1)U6>5U}=X<1!uO>Dj4c zqnksD=IlcL$RL08GR!fYlyWUJ=nOaw=9tb_kks30!|vye4@EYe$`EKsVTKRN&KuP* z{E9(P=PTe3b<%<_HhvV@t1zcFAK?ZcVJ5JPw8CrrNPmd4n)x8?j!_wF+~N0TL;QWG z8eMX43_T9>u* zCVEG=iuOWY15#I=cFu1^ww$ta{MB@ny71o&lzQ;r6_DJ=Nfdh%MLCn+YFYkPWSo%>v(V z2H{)7oP=)y)_KGSxjNceo2`bNhembM?O_qTFFIAY^`f&1fvkB?jJDWuob#9{u4&pD zb}?rt#8{jtUlL=a*Dh35nC4l4*#mN<{|;>aAo(}Pvhoi|0c5fbt^`ISVT zZGyhjoh`7jvP zHN?yzRrV^T<3O*iPFghEP};#?*bcGlos`SXby6;O2N*Y;b+O@I=OvNtq$SCp*hNc{ z|L%r}ea@;7bAlL*&Uc;_sn9X+gp+LlnDe@5&1>1JWh(**e2{dQOuFky=Mj&52`2iGsP79>?J`rnK z>O3QgA9|ZY*{ihV(tn}8n4g><;KZTuvtTRs zGhDfXoJ^*B3?(;z_c%(G`7iAwEnHL%lHb6!46>WMn&NNOT~=O~=&$Aq!Q7?cMAu#c57cq>VuUNjgt{nQThFzD3Kbzf)YSyyLS5}~N+TB` zK%b&-iJNx0s7M#jKuBj$iYDS9HgZKlX;qh-Kis>5d@yY>oH!Ay#In3D8Pck`+~~dR zDrA^Gz*R}eiZ1VL%Ae^)$=W)u9u(|WbvepMB1SHALWPi1lSo`?;UXXR9}<=Eetj1e zB%SW&YRy;?L{xLt;=|AhH=&(N!h20zlu#j7TLd<;b6C{KRfQtio~{FUp|7h6V_$IH zm>B1EwH08;i!Oq%B3*6x{|r7*m%w}H`9sYxe4_hQAU?f-z5y=M0jV*VKVO&gcQHVn z|Cs|lSGsGJE13rVB@n=U$!Xgd>WQwO1a=Ai3*0Fb$W(JVIGqAIl1uI#S;JiQc%PHg z`XoT>GWy1GTBJoQAG{W)^)+XxE`MC@WBzm( zor}KV>{aF?P%V24w}R<2-ANRrUT|eY;%wKu>?%rgxD{Q4_-9?=e7s1`#i0Nf#pP z@a3*z$el?>l$7Vn6sY7eHp4X*s%N^cBk_m=yNeN#u9j4m)6R7~Ft7JGxyI<&#I^a& zHJ66Fj<^Q$qDJbk$;qe!XYR9rI!e*!cbyHa3BnvBU6lj9Wt=59XSrOvJYP%j6m>S` z(og-<6!Vv+244C%lz3gYxu#14v;U{Lh0;9Nc|HaeGr!`h38^b+1s=(8brQIyC*jW* zU3QK_5r<)%!vPc|w{yK281@0i_ja$MoszT+x30OWuwSU)!IdvU?;KY@>{vz=hA1v z?V-eQ;qz_+lv3BZE90>?ZaM>sUU!RC;qHS-%WptnK^$UP(QXxIE^!YF*iS&z{*t4$ zuPMeqa`hAcCLNcvK~_6=Z7#vr0Y04=-`=%bz~V-(J^>M3f7WcIi^|T+1#9H07nl%t zg?b5*{2#_rf%|>NA}~DCMFr`^S3@By)!me{^tqTd-z{U)CG@}lZr^gP za#K$&a@E6LE8P^w)dtqgwe%nT3X)%G8km+kklV`rF*lFY^2Kmxj(ak$Ugw^`ajC>h zuJyEI)piZfTJ4VF8qfj;(FIetxL=c41MoF6r(+{#Dh$q`Y=9vEXYN`8VNQuhsdi3}HEpYwn>l!*(A`d?k0K^X z=C}C$d3SY=JWUEQPZ7Fc`tb23x6F~JydT{Cpz0Nyh6z{P6d<*P{ApGKzP@+U9-MT| zJrQSo>;6NQXGuYK#|C&n;_@@X(r&ruFqx8+avMngSuwHnM|UQ9gpP!Vj;w7yhJHug zJHb1_w64lG7jn~R3q^-Kr|`2?=TBR)&(Lyc2f${ZBp>s6$&h7M@Tqr zq4+z*tV)&0q$?m@?S;=0%vYg!pSu&ftC`JYd7c!sL93XQMFh0T-8aSg=So4J)~?Xg zI$nn)ccQBYWdz;BA+^1^8y&UHe+OH7a)Fw+gq#?&CgjGL8tG{wVysCC0k2>-g33e8 z8L+<0?ZqQQ%yQ@33nI?Dk5fgD*^^}!PqM=OJoie>ZEE&stT&eRFyjczdeb7qHLJN7 zwH9WN;9!4>6!duj77Q3zPbfU>(LulIri$EW&BG*PO|v&w$#Kpr0ar2sRQKG+V0TBe z55!C$y;X@dZwV|8eb1YO3zC8dBGsT~n5536VP+T(pZ~<%!0^mYGg^SJmz(t%A#Oj~2`JgE zrB~D=N?`xg{1<&>C%y-9S(<{wSD2f5;b`(5yNg$@*2kEYCY{R0;`8U|4y3Ntf-(0k zv%f%idH%0r3_)Ek`}4SNo%x|GQ&9V$J!h>suH0y*G3&Swx~2tF!bUIe9I)Bk&Sa{8 zkjI1XXM%5u*~<*WwwX7mKooO=#gQyC?!iD95+b@e?=1x?3ymG9ef2j!f%v=ziSL{5 zvWbvm7hP~K({w`NOsySfIGGB6oniy-113S<+gd|NI7iEK{sA+E<5_H*oxam@G|(1e z(poc_VenD&4~Zph?x&FpYNie571}1mY&X*(d$}gT_QmuzDfB(Yk|DW;M!|iEIDiTR zv{YU$1-X$_&oyGV`7YOVZ77_s?d1&r%%=WTwHs)${D;Mt0=vM=nEDo#zCwF2r*W1C zA~8x>>oh!j(DadRZ?jO0zi74ymMNsYTdrHkd}317_!UzY%lSwm+!uu z$t+&@^^v*EnzlSSjX?ADFH)C}PWNVWYwDY0(kKm)*@wECg72}p&zkbam^4KSTHYsM zVo>Xe=?j^6FgVTnpKk|RaCJ>&GxmDK5avfI#6#akaR`t9zK*^zQU|KB`lk{z%77VM z<^??U^Jsr{k0?^r=F`j%CGHwvWQ3|b$p-?r^ zbHEDo>!-P-poPy-e;s6_JVG#Gdf8{#Z78-<8dMnXVHQH|>(wflOXQ%&x*TD&spYa2D@L7RP6kYXGCCCtjCIHVFKyxKS4B0y{v`*XaEk4~d&vpl1iyq5Ud1j$)CL7v-)c2ZCJ6e?l0hr*Q2 ze`S=ueW)r0rN=gh@O)1vi0cy)&g;^4Zf%xUg|ZtHnm>N>^sdeN5He&Jkg9kkS;z;Y1)n}EY0w_9iANo z3!;C#S&PBE+Y~}a<$2Bv1P+#L3~mnVGJ-?kXh!f6N;_CA7`)Hpu*sA>N$U>z`JSaP o<(#U9jFS8;O-l>K5A!_^#;W0G1)im{O!X3J{r>jYL*o5^0XtL-eE