From c44eca460e3acca8ea13d82c1c5cc052b9a621df Mon Sep 17 00:00:00 2001 From: mattstam Date: Thu, 17 Oct 2024 11:09:52 -0700 Subject: [PATCH] fixtures and contracts --- .gitmodules | 2 +- contracts/src/fixtures/groth16-fixture.json | 4 ++-- contracts/src/fixtures/plonk-fixture.json | 4 ++-- elf/riscv32im-succinct-zkvm-elf | Bin 120188 -> 120184 bytes script/Cargo.toml | 2 +- 5 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.gitmodules b/.gitmodules index 7a9a1ba..a7c0e0f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -5,4 +5,4 @@ [submodule "contracts/lib/sp1-contracts"] path = contracts/lib/sp1-contracts url = https://github.com/succinctlabs/sp1-contracts - tag = v2.0.0 + tag = v3.0.0-rc4 diff --git a/contracts/src/fixtures/groth16-fixture.json b/contracts/src/fixtures/groth16-fixture.json index fd07864..e4d175d 100644 --- a/contracts/src/fixtures/groth16-fixture.json +++ b/contracts/src/fixtures/groth16-fixture.json @@ -2,7 +2,7 @@ "a": 6765, "b": 10946, "n": 20, - "vkey": "0x00a22fd3af2b4ec77de39ec50023cf6c2b64984d0156a3df1984262984ef71bf", + "vkey": "0x00467584e2e560847e9e96b5102c082f5e07155429c6622988799df9d95dbb47", "publicValues": "0x00000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000001a6d0000000000000000000000000000000000000000000000000000000000002ac2", - "proof": "0x6a2906ac23e4480564d34dfcf7005e26d0cc0d530a1b5029dfc2152f14b97841cbcb738a03a407d4104ced929ce6474501da24e7e1e5267ea0e1b2ace137c28a053febcf1fa039f5f964c2ed7f82ca582574f761af8c2541a6991d85190450c02131539f03747b06260cd8bff401728a923fc6f980c7fa8bed4a9de3c9821f62328c243e003d00cd3b8eb153f1df4e5e9f7fbfa9b81ac4f03d3bbbfdb8204ec9e25b520016d69ba1c93b90d86da73111123388195d65ed14c8241cf8a4390c416bdabffd165b92debad53ca3db689e06e533131364e1d9652aba537d689321fac966d32e1d2e7714067217b2cd5a3d1df81ece476eec70bf682164102de5e8d652221d3d" + "proof": "0xfeb5e54e08d5ce8b93a002fbfc89f29003bf4a94d504e30674682a1bc9699ec0097e76e82b2c88a3841c9e498946abad576a3441e1e59251099a2f958b14a07881389899094b5a48ffc34608c4719fba1367b05985c668e1d960816c72dfaef70a33ea2a261408394e1191d4c5cd0dfd502111ab6232426e439c9c0847c83886085817620388bd7b4345b7eb65de1310470a907e11b9af950891b3494444cd88c8dd48361b54d46e02b57af4892b164535bdda23db428e1f0d18d90437cbf56e705e65a42fb8ed7ba78005546f8019f706cc586ee42e5781fe544975390d38deb61b99ef1309f10884fed2a0c4613410f58ae3597df856534c6814bc1d5f247edd034e1f" } \ No newline at end of file diff --git a/contracts/src/fixtures/plonk-fixture.json b/contracts/src/fixtures/plonk-fixture.json index 0d381e7..42e5f5b 100644 --- a/contracts/src/fixtures/plonk-fixture.json +++ b/contracts/src/fixtures/plonk-fixture.json @@ -2,7 +2,7 @@ "a": 6765, "b": 10946, "n": 20, - "vkey": "0x00a22fd3af2b4ec77de39ec50023cf6c2b64984d0156a3df1984262984ef71bf", + "vkey": "0x00467584e2e560847e9e96b5102c082f5e07155429c6622988799df9d95dbb47", "publicValues": "0x00000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000001a6d0000000000000000000000000000000000000000000000000000000000002ac2", - "proof": "0x4aca240a10e48d547d454301bd5384e07852d60e6ba0f115f65a60f4443c4cee1348b695086b30d01c43bbd73a4026a1e2085b206e16f2e996ea101e35e116501fbe8c70003cef43831a390fc7d551058c6b186bb29597eb5d4981d72453a1c48c9ef3b90f1571cc98e55ebac36e5fecb14f7840419de70cd9a4c5c9692ab35b7222203c0f146200c674ffde1bb21feded6250d54d1bbbae633d1c4d070ce21384187ee60e87d43ed7a580181615ca48a5dfa0704ed429f690e0cb8f4382a16fc911d24623dc90465ed642716ffcb0cd53ff149273f5c511129f029f4072371572cf3bcc1e53ace42dbd6890319597f31401c96287eac3300c5930cfc150e9d81bf1ee740e5b7e8ed8e8e592d9f779f35e2be0208e209ff9b728ff3825b1a9b7aef826a525f9d755f96ec2e68a88b4da246b425ebd4af4c3041ea12c5e4c44ed9e83a4ad069f674517a08ec7bcda9c7672978a2fd056956c5f48e9b8f348028335aee6db1c105a306b0d03f309f406ceb824c72133f186a615849b950ab9baec61bff812034bb448565d0b789adeaaead1e5c07b9224d081a9c42dbe3bf0d66889dda3d11fc11c3465d952f797cf9a26341edbfb868de65bb51cc3e4445ca084e120c4b406f30b78f720ff785e6592ad218f71b4382cd6cfbb4d653a64efea019e5c705e1e15f9034b85b02b5c65d5c4a79143982b596bb1dc49d2799c581906686042780ca366da2fed051649bfa7fd0a350bd5953db403e2b638d992288cf2df85adba29442fd8f5fe7db31bd22002ba1e9bf59d5fe848dc66242191c070ddc1ba6e9d16affcb406d1b765024293ee018e48a79b81dc26c3219a7c76a91071fc1abb67096561ba7cb68c5c7f0eb82c3aed59c413abb7cad01a2ad2c6a3cbc87700f01716ecb7c7b42f6d5cb2dd20c5ec528236fa0220500e07daf5138a8ede04ee206f02912f9571ef693a699811a9bcbe544a5ab6e97e61dcff677e631f50126868460715fda230220afce3ca030a8b561a0863d2a1e926f8b07c4846e858690f593a1713eb06cf21f1a3962ab2a9086c4d8761dcf0d8c2c7dcbc35ade5b7be2848ff1861e824799ace0e4ea39031ff336e2005373d35a9549e5d9cc4191f337f407f0fc4ce65a7484686747f6de7914eef3bdca97cf4ca0013c3af4097e7d768146a1bfa12db65d818ecae20612f5e14d71f608bd19da830794b7ca09ff5e00b0722" + "proof": "0x865350661628ddb69371fc7c9073a376b38903c7617210213158b4e2e45e205b512fb7f3036e95aa96a81d41d603aa7c43a2a3d7e2ba0d80367bc341a2b742f39aa7b3820fbd2c41e1ccb638d37e31244eedbc3a0ae327e66be2e85e88c2db616e8d6cab18fb0f0ea87b13ba77d4f74373f262e59f2fc1a3b6efdcd566e27d07d227cbfd0e641247b8549ba90fa21dcc3254b201b0581b5f10d0c91f3116d87552d5c035091810ea278254675eab7407f42df022a911099c88339ddbfccf26dd0e73721508f4ae8abf4ce2d487a796df1d1fa3845670fa73d47de7710303ea099a1f5eab132473c2666c1038188d76696c35d6a5123da47d6b3661a7675f27d574012abe17846cebb7b514d78941669bcbca4821e0b4386f7317dd1c1a059de9f24193a72b2ccc27d09485c268a7117e6e072852dc74dca498fcdcfbf7dd76966acbc3ac28ae942309476b7294d02e4ad5b8d7fa98665ca670825478bc9bd047629649781cd9a5057b25bff2f708d191e1dd2fd1206f76731e814cacf7e04683241b36dd2fef9020ac6dcb3c4953633a578923ddd907c35b4350c4a4d155fcc44558324407ec1d93937db2d6a45f55bcb0b3f2f7f1d5c6c7095d88e6b80618cadb76df6a0a6e102e8d260bfaf1ef97fadb440f1d9f4acc4e5db459c5ca3f80e32166c460041fe238cb33e8c688cda38f6efb7962ebc1851bb4ca2ed3b8abc6decae571371baf2ee68dd2812312932a1c14c1eab9b03192298d0c20101c5b7517ff92f4312bdcaca5c50b27d727f1822341c7ff2c31bc4d1b388c8939b1226f4bbf2631ba2da814157d71721d11922b356d2d0e6b321e4138950ec71886f246c52cc527eb10a95f975b85b898892838cfddba3be9109c8cbcf52b85affd937fdd5c8d5c8b294860e9f1275a44c45c857a16e337a5db20962b2a197bb610e4495039c4af621b00e0f0c842cbc5c9e9c859edf1093e9427d51d5cb970ece9a45bad0c0a3452089d62e252ebfd5d56aaa8a609d536db4ae79e51b901291d41925e4d93c0285728498bc4fe78a8b1720cf0bfa406a7c668155e1d0cec04a4972a71681ce3861330138f66ea1e7c878ee8b3a0b85c7fdca54da9d2206c10d1bc9340ce309242ea009e7daa6aa0d6556b15867240fa29997b938fd7d8be734963b0e431bbbcce8e0330e9232320df87f3d760184f7b68d540ea06a3db5b06365ddda1621523bef5" } \ No newline at end of file diff --git a/elf/riscv32im-succinct-zkvm-elf b/elf/riscv32im-succinct-zkvm-elf index f04a32275eaf632857b2356ea9c277d0d085050f..b7819f3ad9abac32cbcefc1c069cd6048d3d480a 100755 GIT binary patch delta 40548 zcmb`w34j#E**@MiyR!#!%(}pGGq7B8EPWq}iV+YM1QitpgqiLhK)Do9P;eFzL`6m0 z*dAcOprGQFMbU@?QT)6`1w};#FEGJ;Y(8U5)Xe{>K4ywxcW3jR|6rsvnGgQoT0%iP@=y)Aq!<%4oEmyVm2FTv;6DoMq8Z>Uy<)wkT5jK;6EIzR`-^ z&ho!!%=S@EYu5wp!@qReRtZH9@7(Q-tTIYhQPH8NI8(0e<~&^0vEq}ZeWIU8-@eM3 ztxIB1{)w}zs)~H#9I6_O&kh|-d@kxRxZ`I|w3w@0Ud*|07R-B)YOgN)?S5x}x_{zU3OXmHvy5^OCnYTq-Y=LD(4-entlpy!AJ-aKH;ctG*`4xMr zZz$)q_SEhXd*GQp&RtUuw%Y5W2^_55KBnlA;=Rs_#P8dD?372j>d4pss-*U>bWThT zE?pLftCwxBo0I%KX$N5tZhL6A*`g%kIih8BuM>Z?U)@-%j-Xt{sSohw?47!$-QMb& zyMC&U_xicIC(K;lj;rpobFZ_0n$-P(XJBLxXO1lCa9+7=aOnYO+21qO1D$_ec1!6_$~k3b)RRrE%p=Jon_w)sqTfp+g-jH>E~4U#NWL?z1dl2m(+EcF`=mAZnIOgWp&TZ z|E`P<`*(HC`d_qA-KyEIXH`#`W3(CS`DzpO;?h1PA37W7+);WyZSbexP&f37Gic#g zT=`v5DetwjG0v*{J2&!!!5K%HsS9l zoc32Q>HQpR_|^5~Yloog!JZ1Pdf*bSvY14)Z)h=hzT|AZy1Lc2%4qSweNIky#xMLZ z!c{u_HC4`&GrBtRg3lvES2=ALDy4plo#%{Q*r81O779vU-R?}hrdy|%CqsXxx)1dC z^7Ip*JmOCvcPA5_DYadkUDqTdTyN*_gx;l2CWC_Zbbh(E+wt4K!_dGLQ8_|LWt8Kb zwM)A={H!vk_S*iDp;tP)CY|hOU3-DEan_*H(>*tJuj3b?$Ds&rJ4Jc} z`CsR`bnl|;m5HdysEm@ZqK)IuWl~&O1FMl71`r# zT{eJx=p0%$fqd$zwU%E?_Bs2P43J zZ@ePkxbx3W^r;9sbjIbKOKujNgEtK&e|7rZJfPM0PLwP2OE`3mGv(&Xk^a`v>73&f z-!c{HGj2JGpS#If@1?g~8K(P|q~V6HPGV(y^0TvGSC*IE{bgLTDRJ{qqx*d9J;$szURgWInLR7Uo|dyeFMiT!g_jO5E$Th&=c9SJ zU3L4{R!6(Gn9XgkFx!?EFMaqXQuNT7q-evd+!i!wXSsTu6Mxw0T3+2}{V%BFfBB?^Xltt2iMBh=+4b;A?T)J~iDR@Y;bwC~%YDku7EXM_WLR3e;Z1yw+Sr*|z41oU z!a1^$mY~BUOG&x2`jNh@G*|3PKXaV3_mQu_we?X6pGO`&AG{N<>F7*)tcA1fxpPXl zXEK;C?sVEdKfU`-6cK|Ito*kVz2TSYew+VY-GBYRy`o2>G3Uq=y`3G;>y^|M(cTp( zFBi}%oR)t)v$L1Jv$8tA9wQZxGSs&4>BB3WIe)yh)T2k+JH;d<-8gW*w?&!>~yU(e7rc>#Uv>HkrM}8(z3X8GU zah%o9ToO6se&?rW&Kyh&Q4+n=iOv~RxeP;}R}ik1=BM9*)kh?kUVEG~=h<^2wcDNT z&)zTml`c&jbOi^!uW}idHM^+ShNdtP#+E*G1G?8Rvh?Ad+!in2XI^twZaF9N@)OR! zEl#_vFe7+@bHj7tz~Vb}x^vg&GpX5F{k#rG^lX8KT-cyWE`j2yF zZmTB0ICpH*A_L2vH@01Zk-YczzGP9|=z zXU&^GIAPA4K6}>OL08V7HOszo@MPz#H)~3`A)g`-XYrep$2^0-G-PlOzPsXkH?nJm z@0p3|v+%{Oye7`I#5c7fn+wv|bRD@LzBbXV5#diQ}w!X8_q+_xd~clZtWs<6LL(-CE9ZeegZb znZN6zn(avK1T-4|FfnuS79p3MZ`1HgUoe#vh zDnRjobMvP?PZDgqoU~NlAO^^jYyCC&%qsR=nSoWuUbN&yrnnuguTAAE&zs z&N<-x`O{N+ZU*@{z-{=ZrmgrO&XwW&8{iUrgYB$+-P(n0ZNH3j?Y-nUN1P=ewe2u> z-j#!A&bDfPwZO1Bhn!9y^>4Kq$uy@o@ZAc^1{{9~fAvGkSp1{khYr=f^wH%-15bo0fb_Zb zaGZH-?uU3LL(52?F8DVP|He6=?dwh!IKS?zCWo9JpH)Zs zIho9A=iGyx%X@*o75~;dGe7HFGJakrvp3@W^}BB6R5%9R#m949IvD>LS=Lr1O;r2{sh-Y2w>*A;kG|DSA4>SeHv$1?*DcTlLFHh-f zK!=@$Usq#*T7%DF&W^9Wy2j@)hkVnWjCFe8^DXDJZ>ppF?#yK3UJkY26nm(bht_^m zO!hkuebYT!hUK}RwjUfVfjocR`E4=jjPF6U*@!8TDj?Yz&jn9~~%=`PHZ>yvF zy;OiUnf>3EA?xqH9ZXg_9S=$<^XP+piR{cjIDo8n)*YmkzvEyvmapF&931`W!Axcz ztyG6URE8#H9O_H@If+BvF|aK;Bt^Sy44dLxhssKLpk17E%As!2Q5Y=uI=_PPYp3gX z-6KD3bWZtBB;%bczUzymd%qhD`(FR9JGsmG?z;ieUQcB*U(>2CUx88gYap+9B^!Z$ zdCEEEaHsOu@TdHACNt7G?Qm7eA)tv*JJ%iVR8odx)74|i%Y4S)7}Hk09r)9o*vO5`n>%nIV1^5?232&rF{HJ4 z4QK|?6yluoRr``dfSX=&Ivws--V(#>ZmcI4IZF;#l@A2scfd*yjRLv{sFy>&>rf1^ z+WGZxl_P(@D?JAtB7%|XN_=x=ar%jea987VC`c0LzFN!`;w zwkbi6+40NZ9$OE`{oJ`CuJc9kCt_+S6-Oe)+!es%>MDNSM##jv_x_DdY=__0lXuC) zEjtKF6S8&7X+`8ol4f;OjOVzPANn&ViA1>bfZGE5IwPC|JPg>YL(nfwqK;<7IXx)G zjllaak9$)aE!LMN2AyE)r~0Zbj%x?`fu4;K?yns=cXpKAF^Dyy#{`b+Fgwl-36xq8 z+C0mjGpW)|?w}HaQPDlOglxlCMJf5B6|3NJ_t#Q#I@#);Rz@BpOWg0vNOy9h+p3%l zuDBI7V9kp|HGMEYxueTT_w)l;V(o%q{uANW1Mg<=qrhJ?_$lBY82l`7@kcrNt-!}I z_)oww2EPUz&*3!p4iflW0=FAjW$-7!bFiif4crfW66h63puOd|Zaxm_6~LoFM|bw< zLjoMqe*-)rOHW6*nL$FxFcmm4RA=`1AHs!w0lx{uDg#z zdI|8opqEp68Vo{^5He`M4}u{a50U{6>C=E82fYPV0C^|CA^l$9Eudpu_UNw!IHbP; z{7N97rV9QZB!mn<1HZ#4=o9yGNFNCNDd=GdFA8u-p9Fjm^stIn1URJM2K*D~@Nn9* z@cAGiWY`AWVz0mKr3U^vz#;tza0k%aBZ1O8_waE@?*Uu`dT8LN0EhJRfKLSdIOOjs zSR5pT3`>EBgTbpKWbj0QL;7amb36sU{1*WZ>E8ff%+O;!eH_x;16!b1A%D++(}IMM z;SAtw!4Q_<$^eJ-1;95l^xp?Kq(1`efF3sD-2o2ip8!7udK%NKXF#;tPY4-~1FmB- zPy-y&hX8K_J?v&v102$40>1-#WuX6_0EhGkfDi1Ar?aj6bw9zU!{zS+ABKXk7yK*0 zp#l!;&wqd(w(pAzn4;M`N6*$=!meK;PZ6>*)WVxcxCm_;$%UkhAzMKFy6 z*8@)j9tH_I9o#t$D;D5zx~QG*59JZi>726zc;+sDs-?K-GJj|f=dfYG>G=%9awO2P zK4duVa(`?u4HS+Brel9dza5y4^;qY78NLTh$NG?7IfLV_VDw)AOvnC^?#|$9ys@9| zQ>ld?gMp6yp~B8H{W)tK=(NNK-BvNoXhrUz7#U2;+(|&`*1fTg`y>t)`b4<4z$+Ns z33x4oLxDPP*X`Bk)lYGF_@nCSYCyM*HwT!pok=YPy_Cr$D*h&VPIZ za~L)GG6Zr7KEu#F0U8rz6|neq$g`O8l`V?<>@e_M&}oVNC&KLkrUmjIx>oxX32fUu z0Gxa3GY5g$w#m=-Gh7WO+O*aK(<&JT+bRACn7UjK=m$~rw2BW0xYIn}!<24NfwPf7 zJs<}R-!ldjbM+Y{A626AzQAsecBC_D?RIUCVYAX5O}{$0i`!$6=;p2gO7{XATdw}V zxu-tE1GDAYfj-B>ajU>Y&6;=##=OOG?ydlT3A`Qj+5o>f$v3NCfK^66%yv(zA{FF3 zcXSm@y2zc0uk<9a3<-S?*PFl=gQo*8V(@I>8_+BLr8&p9fCI3WTwU*6ovd7C*z#InZCoGkAylb_e+LGxvM?^`+aYBRQ2E zbVqkY^&fT@cZ8GwmZ$QkJeB{>Q~AaOj*DL(=XM7^Xgv|TttC19Z36A0*5Bt+A9YP3 zgf}Fy00q2l>k$^{}gjAf!Rtw9ys^ZXF38ibuMzd$NL5h0T(UMlPEB?75REN z&M2UDG{kMy8P3L5y)(T0v^$BSXWhm0>#yz_`t^VAi=g%XCnQ%aiwC(AE(1LFv)rz! ze}9fkxD{QL31oCNaF%lBF1nvf4TC#wFy9Joq9^yNJ4>9;& zV7A)V0_UFk%m!el+PN<;;<$M?giAO~Jc}p!786L(zW&=weT&OH9O3o?(;A|Emo}5_ z=*#QTZZ`$^(yM)s`F%UWtplbW3gy2BrXC8%g1!rUk9VZ{WegUVAt5}iqJzidz-$Ij zFeRex@ICkKZm8=@_xo-b-a8C}Ls!J1j6Ud=z^p%d0_UFkOkZHuAA=Y=)qZ}S{KX8N zjzp7>mQQmw!$1|>lBeJfhE5f@M=RjgFmx*aa-RGf44ulqca(g(h}+9BPz8U_Q}8oG zrwT~T(H+YiPf z8XOhy0v#TP2H1B>gc|`&HH3H+a2&V`5-9&w0S@VlfQK;r*8{T-T>+eX>cz}$NMPIK z@z?l87zr-g0gzE%63i%#~6l&Kn;Ay}Z{X9Gyc)Yu# zCrW;w`x!Ju*CJ(;i@iqo)g-i*9Ny$Ux+;J4x(Rm?&!WqeBND5(KdGtMLXTM@zwiHsQY1cPThOJ zH|)>N=05|^b9?k714wUobU(-saA)>|yx^_@N^26w#U9Mbp9~z{W1tOxYJfTKK^z=- zHuQ&hF7UElIlK^f9z#z9Q+q=GWx$mI;<%C|cMB47PkrVNV78%*zRu4eTp!;KObv)a zh)!`G(g;Vb%dI6J1EvKEw?3}B<^+^_v-{!+DD@xR@A0K-{Ryf$2oBl_>!o zKRyO7`ydV~eInc!!1U^l|3tWNfcG)@FTkNkU~36ikA&P)pZNzc>k$hB7|kFY;2s91 z3PXG;3=HoIQ4jsf=%WU9QgRv6{NljD(;naTnLbEhGaTqXJ_tShOe9-O+oUpE89auH zF__YeH^u1}9>QG!I*TU&a|Z&uJ$GZR!SF8!oxy2tB@&K@fLAm4+yWe9@Rz_tfW4{) zy_JepGH@wJv&V=EJOwx&V0>|VAE$^u#QS8i3H}_$vYb9g7=h_vVDW6=+5@>5|9!xB z0mmUn4cG}h@XMTmM}VgQdo>4oXAR*P@b?S&@x_gLI!?d*v#SwcpjW*7C&G=Q0{e64 zE>{IOq%Q)dF7_Wp27zM?UI9!!>OT?gHel+p5Z?v7@qHhoZAQ5JkkI*nf2qtXQGi2% zH-Saa%aK6oKL$9Y{{l>_D8v!;qH(|>|DXVebP1SN86M;hg$5F+i~T3UoeI1RxHS@J zhL;66q|X7SSJ^^*6|i$44ql&sU4TRS24GrcA$}ZqGjR6oZf}qfGJFoa4Gc6eMhz%8 zd>qo-0Dl8|NkBg_z#)AoFs<_tj{pvD%~5?<1lTJ-^}y9gpp7ULSPUHAq@w~G102$y z0H%#B#G8RD14O(3AAxgEeP%l_+xuS)=+yrl9Y5%IwpF6cUx9(e-vQslwCc(e(TEsK z&zxbJWU=!i)1D(Zdf%oR|&tdrAJPGZOO`w|A zZ^f#Vj0uFECQiUr59MW$C_HO4QfzqE3 za7f<hg_2H~NI(4;$GJjK}@~I*Y09aWBM! zEC}~2==2h?|KRRU(aGpm--QWi^}ulkw*lrE+zxm%gF6E=CE|Jj=N`ntfY}1IUFPfe z8a-W`UW5c{fR_M#A27`j-P;=%j$7_$_))~iR{)3Cpy{|Vh{=$8{EBDoi*fIp;)Q_%KOw@Uf!Pu+2hKh9nOlL`5`K8SpTQ_t;6+s!ern*; zIem2eFX6T@40NsfVxGd689G(4Kc~Qx|CXUs`NMhge`DxjoAC=w^GAu>oN}}W+5)eF z3&Vlw6yWe$Ic??B0!*c8x0@C4hj<<^>#=Kqb5DJy7TEKcmp@m;EoT@)3%k4&4`c}U zd(c_D5qLce>;MjG(EGsQ9e0X<39zpq!bMK?`9oX=Obzt&M-{Y2Lhh;0v;}7Cv=c+8 z25P`;2~TF|vikPzBckvj!|>=v2WIz^nmv44uk9mnZ)s zL#OhGJo$83<`V9EhJh;h8!&6YKNvby&~xa~2J{8aJ@uJ^z^uFg96nTjB5>uPFa=eR zKtk@R&!m7^1(y$XKR=mtOW%$3^)JN(R$SEuW<9YMIQP_N9s*|d{N+4fz89Ei_k0xe z@S%p$zh7hY?-_a&PJ6t&7zUcqZ(H0;r_J$`p+_6EA2|2aXTAky4cd$Wjb=CnOw^#m zpob4NsOmIUU%G_rf`r^tpXmY2D(u71se*HlQc%KO$k1t3Pso#>!qBPwEv$SRRkey? zpbCDQr{F$@P8IBA6+r$ChEC<*&6D5F(5ZZek%#|FxZ>aB%1;%P1G64z&Csa=1DI_i zr!aIXe|nz$NQO@3=jP;T{g-eH7zV0fah`(f89G()cus*Q{|AOn<+tR?Z)NCI{$N&~ z<_`l7GYnKgeV&3J89G(alr$ge>af#^M?Vu83wB0<2(hQGjyt;eAv+*Xbqfu>NAzV ztOq(UbSi(kFCXL&14c3o)PT`>3eIEbRKa3jL6Bz&cRfR=@;BzmuVm;{ev2m`<_`n5 zG7MC~jywggGIXk--ct~kxrF~YW9U@=qCEMD44ul~I0F7>6|7_!sDeB4 z6x_|wse&EAto*ACoyxzNC%=oKQ~96Mc?!5Qj`lzlnDsylhE5eIz^nl$GIVOdsd@6l z7&?_t&(2dYk71w+7Un6qj-gWpkL1Ze!O*FEU7q}N3?1_6%vX5|4lxW=!S{Iz{>IR$ z0bNHP?SY=axd%HYVAg{J8G12?x5uO~7Xc_u?v0>2Cx7(mswOn?T^? zF>rB3+S$t+a4iz(Y1Xu$PPYK}YTW}=sxZoJ1%B@C zICodXSMWFB{cHW>XR7eT^C8c8;7Z_;tI)^-{(FIG#B@fG-{-(-8V}@ygww|P5z>(1 z24EUb3`=+rm~8`RTyS(7*Z|DZOD{Z{J{5Suz5dpW8oc&G%>VRkd}3hXXJ9zAA=e07 zTnqs;nlczjtLX9x92dVd&g~0Y_3wZ?z(XxPdX$?6SFQv{$BZFnGX`Nqk(9h!=JS4F76ped+=sqt(heH8d9;CX=pJ^}i)TopVD zJRZ0#Fi=mTS6v?GY6Je$fybhX;sLHqn{e4PxjGpKOaqQn0)rj`rY9XM0{nw@bd_9e zAMNrNfZ1+2J%vyY#);72b-*h(q7euB(w`w=%gLmra>VZVb}(WrlU%(h;xgA zDmr@(?g`%H#}lcCisy3N494Z#kQ0q9tqAm;z3}LPX(KQ_G40^f)7+;>piy%<$l$wc z{E=yWpy1|fj~ovav-n%{= zs4#x6y`CP?y2(-Gs`jdx6nIG%lSVSBCQNIPIdy&w@6H)RwDy8zsG6;+T2hvH%}fmE zdMyA=IG3E@{^=a@O?$ysq?D>BWL-;&rXY9>f-kI^8j>Z;R7IIjs=7xLec`juA$ogV z*ORub>x!vJvSs_ik}qs12|K0Ol9{l@L`uNAA34h&EtU`!9@gk7!xj`tlH4t0$her! z8woR^Dh4m;ilymp=domR%t~rn(n{!xVWv`snsjd-OD=>4(bQBSrHZy8Nw&S^$XN17 zq{0$;$*?qyH$`5BKZd(I#*zM8cArlK($QF`%)I=nYwRm5&6>J!)=YE3OhvmqX-;*! zT|la1vMS34Z>LPbQYA&v+;cA=XzGe7%3{Kh<)oxol58dwSyZiLB9&BC!?0>}u4YtX z*6dj|1v!moa|(RO8ZV^PExM4X$J&18g=B6Uc-}T_gI5yCB(Iz9n-`MP(~6KtDz;^s zye7*EFAuNDW~S*%Dw&ck%jQMNvJ_p>Qko^CY!lV2$Wo1vEkZ$7QK0oLsbN7vfpp`_ zHBZ9-)Vdv{CbZW$A&nbduxga(u9Td(hRuh>7Yyk&s$tzlEV6z*$gmh9H_KQKw&_o{YluJkl zy+K*O2u(WQeF`}@>;}PeA$lb8ho**{=$B9Msw4146KtMagObdhmJn-Fa*Ed_Ln_f_ zT{RN!mo74$yJiCE9J5tZR87Iw6hqW3Gvz)sfs9XEysalKMKY7gWJ*h<{82jW z0){QilEE92qMI1qECbzIOb96}DVe$;C(--SPX(>n{MjKO(A=?6)$VU6lInON1Khn6 zNw1iUc}o_OW)d!tWL|e$P9nWy3g#5s60M{qr$j^2-P0zKYh${kNR}$-sw#+*Bq!Xr zCXr4tBW0QiBVi|#m_;N#;r=*@^gT9p(4}Np8`aWORkl(IQ4=jgbZajq(_^-%BrQ!c z1u>zU(C_~9QgT5|v3Xe*B|{TLlTS*rd+B5{F0Cr5gr3qhA(_HZsmuPX=?!^8b`+5? zF>484Rn-J057AQ1R8r94eNmSMBdOJhQt0)9tZ09eFF8k=JI^xaBxboIHj=jPYg0(~ zVcIms5ER2Q1kDr;LpS|dI#;2ERcr2v8%dn1t2xOu1QpW*COlEsRnul>heC>6AwjCr zg}7?O>~vF@)pMvnlZY4?7ZmnbdDgq`uI8DeG`kMO>{MUS@^Icee-@^|0EH@|p-H!#V~YrZGa_KT*DK~eU`GP&8#ac?(?QrLdcpWVDHlkr&Rn;7gXI41YY443=fz(k`}fKHt$Zc$*IQ-gHPDxg7*0Xo;S3q zZst-l)V=&w(yD!fW1r@x$B};NtQX-?Rp2mO)ii7~ioXC$7kt3`3$P%7fZ@5u@ao-A znh;jQu~13Om@(UwM~)eDwxCTD_}02DTe6JZjFOOqgey!XHEB$Ysw@anLQ7Z*<`;h> zlI<6Qq9uf+rdTN>g?&a+Q4)$`>8dTM7~!$#m9mvvm^Hid%(12$Q;U|34UxaD$+qvD zTw`M1LPX29?}7qpj4W`j=4GU3+jl`ZzoF`$u>K#oz-!pLSCu-gN_XEh()O5n`0nYX zo78aA@ESzeDzG#O7bx(SD7#~)lf(%ob|ZqCNGO7)TBbF;X2y)GX4a^>AZeO z0(NJT;C?!tO!yDjr(8yc;f;)NM`tE!E3mQi)1lYk`IM}qXE0$y{_vW>4vfi(53 zY3WtgwVHpm-fmZ+>kn{@9vd+3Ci|8^xV`@*zqYYPqyqW1eQaf?!`a1;W*N<|ZA?Toi{{t1ANMl6VM_4V34%1h zGgR>Be?jte3K)+YTFkjSuOOq3ncUr;SCVO1_Z+<;_ZF-EY>rkLEc}4OI3%suSFG4`TZ)b7v|*d3zfeR3rkVVa8r^L(ms~d3QcUc)d0kB;jZ`Xy3o6K*Ms={B z@YZ1d2EZSzW!^olmQ=zX<9NVj8CADBm^ zV^a^zBi5-V!rxj#MI2XB5z7h8&o&A~e-c(g(-g$$MT^EYl$3~KBI;mB34}pzm`{X` zVp21ch-^!0QcNVIB;D4dsmQwf&V17S*qnczPg0#FQBieWMxfr3H0&Dug)=Rj;$C+Z z>6;czK~@vGXsd#i5)41`zglQ)Xx7{_Q-?6Eq8%$kx4e8n5;N_I8q*Au13W%4P{vOobaXo$|W7jpL zq+Npy?iEWAvC4oR%cr~TuBA;dPpv!bTGBh6pXz1iZ5y*qOEXi7Y#?fAU{8Pm8_qk# zlx&)oh*88;k~P^8qadf(urM+NjaD7gR)=bz3kHB*~rL72}W4xFD;Tt(7KN)4t6ZmYZ8V#FFU*=@l|JO*WB*pF=K6d=zWCArFQz=vk=Q0?x){ z+FZkP0cA#Oy5TzXH>bInDkIUbfY;vqm9@WI&bB?;0=;!D;cfps|u?C4MuY zxi#*GJ#w4Q269Lr-FLk(Mvd+}qWN9T4^3bv2}k6%hYe(xmz%$3#rBZOc~zc`A=4DK z;epE^qP$fcPCf!>NU4-)>sav`Hm?{O?!{Osth!T4Nl0O;Rj~aiP6G?6 zc5h9QD);_zq*of943_&r4jivEIPm)RqcSnLW`|W#6wD-|{R!OfP;CpBdjwptNy$l! zsaPM%HKNzW{5S$T)MJaC%O%as#C|q@S+X6;Na9=;YxtCnO_hp;Jg&|N8dlo4^JAyP zWQ~7jm-B030e^Afx5_kb(-fBQs?N`d4m21|Jss3*_&Zxs1r^cRk&Sp5$sUDD$I~@A z&N{=!P%saFVDaM%G`vt)z-s{rFZeAOpNMT!Ao$%8_qw=#xf(mB!cZn`a=k90>hArw zkS^z=2h(zfy|Qs(W~FIL0#1-bQ_=)YfLD^5C>u#WDX2;U*9Y8n%SmN#-!9%$Ebs=? zkQlSvkC!*LPVmjl4(~7$Lv|D9dDWclvRFo$3U<4^!6%dGsaQ)XYRWKDl4;>A+srMi zL~CFHR&OOAo@aW2fOHdfcnh2C0tG{btO=?t2{<-S3MRItww}O3)5O6OPM~VCt)(ER zS8aYhpYDex{PCY>sv8lN zrAD&5`_@MNBKu`)Ok`#HQQ^qv)V;Y(eVoCa=0n?;}DLg3mhc0UJuvQbkos4yV@*6x}^Copf?P zoPcmeLXr?;#kIN=LW(Ipk;-{4QDQQJ+lX@0Fa=_Fvg)3@4(q^w-a}4mg_%~AEz!Ul3q$hur%5~a zoiU`dd-gq~z1#0z(y{^}*pwirbOVudBZbR6fq$iI_~}9DmQ`wmiwF4Mx7QldyN$w&sw&x-ZgJaIx83n;NNr5zWr4RW5o!?+Liatih74*WqHL0iDzKA? zIz#>eXiX&)LrtU-ypTk6Tu!+cJwSR?Xt-agCu|)0W1*u;!f+T~}RnnYb!gET2d9G_rFD6N!lu258!Rv-Tx#S*W$IL zTN_nKBt*DL!u3-tA-ZGN;g>j%tR<~c+q{XZ;3?V`5b>6Lq2B9I<(8r)1qGFj%Zvy+ zTC}l_Yl9H8E*dIs(CfH>YP*})k+Ct{Fx%9ENPj1BFPIPI*lfU{b|(iNkz=Wl^zr4L`pKj zn<>F`uc$)G!0n4X(nYUmIw*QX*vu?xEk4{)6~r zLc$q}kicD`q+x3~AMx*$VAaj*vVju>RabcdSO3vLPhL+(46q~>y+RZc5-$n377|=S zX;5I(di-bwUXYL_%YX_=v28&e&Uvp56uPQaBl?!W4oSql7J6x4;#Kq-zL^RnPr(HU zSWmsT){Zy+@>LlJP7Es;=@==drxx^F*Br2e*LW1WvN zHf8aeZVF9k8L)wjh$$)TU=sA4z(xx*MR&;toH^(+`j^FH=&@zfK#O~70~w6*%QR%1 zeHpfG;ewIk{_h6#Z(EnahP+ayZt)m>jE(f#G6p!h5yoXLF{Pr{&)kT6+L#tpTf=y% zBvB$9z3kga`nlUTl9m`e(Am*>l2S^s#H2?$t3tM|BpR_|DWWK)Y<{@=*Lk>+d(k7L zeN3=;yt1Gfrfj0mVUk|_2pKQ{TuLIL;nJFIqbca20|Z6J+b;&*`Vn{$SCg?NaX)y3 z^f_O{A&>@Y%943{AQrSfTf${zYzq=NAQZ57w^R&NI*-u0n!>)`M!+EG2n|%w=toKQ zfP{p~!5wfxmXbE!76~oE^oN3KIF}MN*o2;f85EvugBN^~7!T0HaWgT=yI(y@=8Q}5 zvLXp^FOL_MaM?RBui#OcqzC3Tl-E`m+7D_v{5w~uXkZ;!qEr@9`}l;Fx-xRpLCB4!i?FoFP}eW^4uA-uf|+s2oju+ z^Ai!xnOAN1%BRSnG^QPdk5GA-sjzO*nmcF-jgA=29JFLlLEDA~E$|;vR~>0lfiMi3B+kh+8Mh*M+b?$il!S8OXd{JD4l}M8Skcgx$kCh0=o4hg z#u2WHbp-}Gm2ZMwzLcDNLf#7#O|WA=XzQN(43-`U!$_toYgowPwLPp%afMiOca0^n z{^;#8)}$5==j88>sZ;tqH+!eZ{6ATUwc%hjJ1aBFT zZt!ktGgSoR=YL^?nD(30f1x7ij*V*I@s3SG6*U|qW2K1+0An8}O7wkAPbKjZB<}kA zMhKXLF}q-(!@3F!BP=S^W_m*K`*cJ1beq^r{w) zar3Tf6>4)$w_Dn5gVl56&6ZI?FEr)1eX1j9x6RVgh>D=Xn^uAA35|6@n9)Q@+%-Fh z8AG>}>6_AYcWC28*wuHCUTv_)F|gh+aFT_6q2XS>gY+1u=@MR*kg*T8kf(z8*SrCh z@kJx$2>M?`<#20WBr<(p4!d~^yUL^~V(aH#`6B7pUlZxo4rG_WJ`M|tV89m|SXAzO zk(`j`F{!5#nu4tt2BAcDQF$!CZ+O9FY%l;ekYPg#1~sq{4oiNl3GSMgu)V`^8}6Ve zDZG3l7`UU-co7@Qv4IT5V3=v1&FKag@8RnBSfiV1M7RwusDR!uY>4|8hJn*m%!D*XBJe3b z=sYo8Urb?#i1RNVtrQ`N)jNn)!CQDe6uVU&yaGDaaCgskaz6TljV+*oQ)T)JzF@eq zKarkkEEr{kQgGQ7$IA&B3!u=^6212-)Aw}+x{*V_QT*bh@bd#HUO`9x7T={KRHkcx1<(vS*w)lOo$tzIFm z(~5|#uZ55be2Z6&&9K`xu%Gnnq41V8^kH*Uq#M2tD}{}_IXW6q5e`^Qsz^6^D>t0q zX)HT`Gv8cqgd=Z5Dkfjz-no;^8DL=xW!RR5pWd*rpbYm=4Q1;Ne3gtsd`}WA>}RpV zN~nUCa96yFSgxSpw?hm&C5g#|pxK7|!m9|@82^uzq| z*?w_M-hqQGS+NAcz$}0hbd0aOjQZj=4WTq_rm+n37QN#!Vk0&qhzeFAxG;!cd@;n( z#|2e{O}YUM?i;U@k!gfU5N1UP41ryQ5u~7W1#emkVdddi08<9q5dAd=9AzN#6ZDlr z*E;ELGfm%Q6#fex;bQgwQ3WDCHA2{w8`V+h9&AlG`Xb`0<2M>Gi>U^Fs6c~Td}lPK zp;z{5ZfHaUD%{84Bq|P9Ed1;dqJ? zHi@voH{eFM;%#zK1r5~EpX0&$9REicnI8lLs&RvO4*2Lp+*!A z`we8;%x37-9bz8;O)LDbt>~KDx;0P|cg7A9Pa}eiUxmW(jh7JwRm;xZ4G8!}FE}~~ z!JfE*(SaTU%k<(6euU#n!I(Q^x;ym)Qdxmzp^CM)WMekMNsffHqZu!FpL!5{|yDNwBSmgH=q~1kQi=o zo2Mb&&_%^CsM0(Y4QdDmoq`(Djb5w_9A8jFqYC^`-OQRMHKd!o+!+qxjjEsr?L2Se zI1qz6_Imi)GrU%%;m5!XTT+q&Uh)ZdJDP@2JeYV1C)DWRcoP#9dg`p2!aBlrJcgot z9qt+L6W%R(pR^x2JPnbw}?e)#W4c3wyN-zX(5aSxymy8CvM n7}#&*saY delta 40666 zcmb__37izg^?%o}v+N?sEDJ0kumj5_$I^HAh{vj6&;UXtiU-1+fFhuPqN1~eLo^V< zHns;5R8T||bRnRE;(^g<6crQ`RE#L7khs5}cQEt+zCLzpXOG$Z^6!t#?6=;lSFc`G zy{dXuJ^rwv_3;g@SA^NiD|;>M5vmjf`d1*}2?+wjmw62T+Vv95l`k0V=_h||-P$@( z)HCqXXzO@U&kkolQ?^hLrU+*bcE4ZJoaC1_d9b7Vy|AY>zvy&UZ9Q959yq)89Yyi3 z#S6nPuu{eXQ>q1_Ro|dcHk$;!bh>p}aks!r57*2qJ|n>1wYHxyl)YPXotOK zxVmbd)ur9xz8_R<2=1>~AKV}BRwx+z!a`{<*vWP{s)f>mpkOTyeo)ir#6PwQ2yWSU&SR>0KuJB!@*5v9g)|#^Nk`EU43x1${ z{)!Mku`mSTA6R?J%Gd|ik+Pxq?9wHU&-q=3c0FJP3xv`o1%eG@9j+E0BA*!6%_eaSG?cgH2? z6m*!mzO?YYcFKs|g7NV6W@%wzfz@$RuhNUmxuvadc}h9wbHTVp36!?BAF@VH>d)S{ zW=;Afd*0eH>6a((EiHWc$BMx(|5REy=f{f5mw$@?F4$%pG;8(nh`m-JN*DI+EnSSi z#mN_x?5$W-EEt_h?{oISGJCB%Cm(M2zKt$$xO&(5tsX6S-&z`dsQrGcI4D#E4*gV0 z`Y*Chi4AQ%Hw;tnzPV;r>><`^uR~a}Zg0FzVZbp&0V*5bFra2^qK2Vf1*v!OW$mA` zt<(Dzm3RJ75$^M^ir!FjNhhJAa`$`I+NnzUK}W&BJ|RA`u$$E;D3mTGev=)Dxspw<oUU$8TzEe=sefp)Xy1pCl z7HnJ5d&|E|gTwz_QMvZG;fq@_^R+tBlV?TRk99idZ^()Z`xWl9*3Vkm`fR61_pPbA z`WICBrPqAXs&$oP(>~UU`?^>wt{ntp?6|g~_&qAR)g$M;XC1k=N6DH$zE|FRbx z#^;b%_{#Iv^c%{%PDE*$ihd}qk5d|Rspq@^DqO+Ej_h3v}>bGF+qt)dB zhR!!VYzHHAl!oKAX7_GE`D~pK z4+RTa^?mv0g?$(OY+Q)(Te##YXIwAA_$|EaA*=1u)#$n#msYgE?)GHzXjC#=c04YCg3TE&i818y7C?x+C=B(kH31Lwbn^*yR3eC7{=&fMVEDEKUwpZofoKDT=Vj> z->^W{XEh^#w~dvwwSsFfEQ>w+R{g#vwBoi_fvV?gR#__xT032C*W4QQ?pp$^jkV+6 z3f89P;JuR=K-H@L_?)_GHVf7qSoM0VNbAzY#R7Gf(j{#KuO5$-7KhMrKK{X=W^X;B zuvOpT|EkYZy{_iqnu=hL;+ev(l6c3~1q&a(m9<)TE^GD3E5bH(YHNw!#tJ`d^(d<7 zxAr(%`X|?MS8tDZ44z1Wtzf4%)}Dulb!t;u7)CcK6lMxl#V%!cu@!z~5;U!T^$- zYh#`N{9o;$hhU?zi!YX=-lD>#-`a4ZGnRID{S z&u#6PV#IYQwC^B+hDX(~T=!-bg16IFp|mIzATz=d&bPWe6Q#VE?B-k5&s-8{z1TYN z%(+9IHrain6`VDsbTLfjh}MRhzA~&)z2;qh)}FK4zg? zmoCNR;RkmT*im2sXP4< z`!$(BxY$ZOHm>z%`n!6Ewd1jA^;>*Vw#88dCe#{g3oEs8SgC_Q+k#;v7%pv#wPoYE zCpmvF-c}J_i#bum(5P+d0R>7SmpCOmOw-CVim3CZON z?zHwl(aTT2V^d!@dGRaO;7vD`k(k2WuayRiQ1jM;?Nn!1*xI$}wARkw)orbU&7b($ zt)rVgQNbxz$0z%`>Mwq=V(?llR>qRk_{e(oxyhC|J!Fl&sa@+bOOTt|T(mlp3i z5Ed?koK@DDe|bOf&4*UEH+!>?b=sRV*+T2_HwUqeH6OfrA1fJtFf5z|zU9S&&=23k zt;KsTYPT7w-GD~pU(h=9osQOmcgi{(Kx$v45Jkto0|#q1yz^zS+n+HoIuOQpZ+yS{ zPMG!#z}6G{2c8x_92PnQ>iDMWo`Qc2|L7TyH2T~BJ|&!`%>pgp6#nD>vJQ)Y27q%c z{?YfM!!^A>xUyA`aBS|J@SLg1@U$6;xs8d@BKB%CxHAfeD}lm(s#o` z5x#pJ4GV?%2HT16^z7iXjYTrm70IW+)4N?YAXztvIu5p;K2YANpjReC`RVD7e}nNa zVI4bA&X!v3KCECrSki|T!KzuA%qlB-_@v@KpzpxHE!IsR_Ai_|CzIJ9u>So;&tl3P zg4mAM+aH#*QC2NJFSANMD(_WreI~OERAKCi;gJj2(!lVxPKjY8tw4@h*0_%L)(an%qnCVw&nk<3T+Sv~z3@5TI`iX-;LA6AN?Bt+EeO65 zz;4i54r-P4I6g14{({eW*0GN(*cz+kU^&}vN%(x#8h5ZfShOIM8E&ooxGcB_<883D z5|okFlLsq;YZhiQC^tfBg-Q0Iw<`!l$a z!|*ZIlZUAvynVQWePexlcxbTbp-g6u)4o+liqN~xJ<^|<*40PK*&J)-5hXZyz27Sj z94RWS0@@>3V~+F;j)G%6Vzv9C9D;^?Q64CI)Ee`J%%)lkzUYsnN52>f{XPJBt@Yy< zgMun1x; zeif)Y&`1Xz0UBOMD{2o92(*++D;xl{W4ra{(Qa)<;?FKmXEKwSb@`{A3#S53c*fdr zv}fTm{E2z|iZ8nrZ^WP5caY?(zAP(#1Lz=-qj}*`pusz>KZC6;T=JafGMO%t>MS^q{(*#;Hj^{w@^fg9wuCe&oHov zZ=yf%VSM3X!pry^%hB7y{}6T`CX@hI15ZW*<-gd&KK*jwMQ?@E&V0havJ?pikztmX zVULIX4Eunq;L1@0h=Y&9e`A4*Jv<2bVqo&=M86PN*ek!qMs0hWu{2{Fw~cGXHnB7>q-+8@;(PAA#R380V&IOzuF!yR zAMkKs$7Y~Uj=?6=!-9!IsU9nV4_+B|re4BFWu7aHo zvXw)4B?e!Lt~@g=oazakg-ly!xN|xQ-EN;&$gs|`qlN5weD!M0K5oYg*k-pYVrR3B z_P8SU7^}8_E@I_uiQS`^4J}!QUYnQ`hG=@w686MmR-RssRn{IT<~{*o9q?WbKL&h= z!%qT#!{Kef1@C9`?*u-9!!H4cIQ$xLIE&N5TSySI3Bo>Lox^_vo`n^Kuiz)Z!$2=V z0`<b@X&VnBgV(40C|507C~)z-kZs^mV}VIR*B3 z*r&e-yc~3RV@Cm2?qZ+b8u%X2o#B>74P-CDXE1>u1cN{R;vV+t(|{iby^UAEogVh- z_X2MN9j@9@V7G^T`s=_id->C3!tcBUpW!(0o1B3DVHf-KA;5nF-LK&U5Bv1Xfe(Z3 zH_@#g_UX3+{{T8HoOU#P#!K)Sb^*89?=Ct?!LK~*(`$jdfZiDiMDO0q#Xh|^a3$!z zf}=g`(=Px%1@se8z9ZmfFTrP61Uv!^zDwNXVV}Mgc#I>!&419tKK*mxi#d8pZx{RY zGT;R0WhmcK;4Ck}XBY{5BN+S|%=WNPzaID&j=t8zK79kQ1-jpf_j%Z-{|$H@=xI!{ zjsk@hZi3Iy7Py8h!0@n7KMnYK(EVXH)x$o02JoApQzVm`=pGOI^wq$h?8mI-_wqlx z2`(KO_5dG+0H6LZ5BmaGA3^vYbibDm_OMS^fD1mz=D*y-K0OKC{)2Q_z~a@>aD|f) zcIi;S2JQ#}egQ9f*cb2`a39cpya)JI4!;jfwRfLF;UnPeQ=9n=cw_o#*h_0A^q+zy z)GTkI0C#^YaM9J?#1AY?#ecxVk%Oj#2Z1*N`_skBX|5{|fKGGHyTDiNapzjXov(0R zd&r|t08Y>4816#?`FfwB*Ojhs$HLkXm;ff<@6#UvCSUJZ5Cwb*OupWy51B3qS99`b z0h90d={3`ZO2_xpE|E0+4h-b`eSwjy+&ODJ=+3Na_XuG|E3!`uv7xM;eHBo;v@cd; ze+`3$o`BF5cqxa=f!A=jFYpf>9t14>Elip51Oy2<#9;%NZ^zS!zwW6`XU;|fKMOy1 z3ACPzhzFXCwEhTYC4n80iE6nCwc3uEcq1^;htF^o?&8sJ0VV}$M@syE1||i4v$dP) zR=BG}FAWI&XSp@J(93YH{f82mDQWL4VMEhbK)tosg+Zf-3A2FvaP_+uSmp41U<$~% zPeAw$@H`GL1)hNQmirV4zXPUljr#*pHW@r+ { z?81OF8 zt37;*eOehxyU?CUUzgf9;VT`5(7^}7V4)`Qa>U`b1yIz=nv}yz*L~? zhyp^-YuyS_lhZJs3``a9{m6sBR6%F>1kT2igVTtbtR_d}r#ZR+`tvyo@3uee0(*X9 z|4d(>+daCnGuT)5#I9)IukGbsVdU>}L>|u(8Gy394fb6s2;tv^g}t5)x?YCu)q*Vk zI*OLBb~m{*tH7z? zq6$5O3X`rV*TH=_0n|oSc8`-_?9KLRC&9{F?W+hqV=t$#|FIvZukY=@fY$eCci|dsSOphbrNtj@G4RQV|TlKRd-h2D>4WjjAJ_k zcq1e_9Sn?D*pGva{loqXzWROxDhY8PCj11v1Kiz_Kuh$#gR%a!OM0Lc#^TRau)6yo z1O&XD!mTr}3#T<&UI zMZewX;RV;Z7IVjTKzIq5Eac}8&T}o~`+{Eplf|7yoeF1h zD-!$@DsmpL1M>wu#np)V;XeDro@nbb`{$lm^mQMC5Zux*l%aH#s`x-&Zex zx|MK%V;})P<_O4ebP^D(tZ#u6fc=N^4*=#ZSjo{TzslzyF0>L(;TTB3ML7Z{a&!_9 z=LI1DH2YYXm7lo;$+NhYT$Ur|jvO&}=ZLxA9^DIr|5+s8$%)woT=bFGA2Im91RiX! z?8Q!E9qq@FBi(H%93OgY39LZwVYr7~qXdNWfJuUn#{!3dyCZ@4Z}6~BuLd5>@h<`9 z4Y~|C`_#&rJCMNl$)Pv6RTv2_8gh4Y8OXp}?VEbDa;=L9`mJG46cc&^pNeu%Knm$K z5_keIyq|+-1CO-d?v0w?Zy$q%;98`tvP&x92;cHDyV3%}K4Ru7@i$-+=F>j`UI^?A zV-(g_a=UZn+S7s~%CnBb|-5?(?A z6&P|8gv5<*fwVy&S9bb*SHY7!d@EM~HRQwg=)S1OPe>lVEDR=kn2-Tp`*GMoGz}KX zIQZb`A>g$f?gD&#xz7(D2we2LEFK8lox=)npDYdtr`pG$M{oqv*V-lh&_T|#hxCK> z&$mbSLr8r*2wU#R3cT1}j%2pR-br8U>|^xxnBAj4vOH;@Mqk_PiT#nd(_T*KCHrwg zuh}2stM6M7_sy!TxP8EL4rXWb3~<7h2CzZwWP9QOErX?3S8*Mvnq(Bgvs9%U_?3*9Rt|eatrV9Bxn)~d>Pe!e`+kZJ3wSLb28DHAV zC}i2Xuvab<{tWyOgtj7~sP#9%4*)xz51&0DZIvAz2rG`Xmk-1Od5ry+fsi-e{uy8C zOF$p|SXSO-;6=#qJ^>*GyqvSrbdtx>uK`}o;d#JRzMubQVA9XWi+~@_;w!0M_zB=ruXr?@umw2#q!C|10^e+tZgLgyhwlTx zq##2sYPL^-sX!n1MYB?YK5kp>TCj`9U%tS#kS}jCFj>ICX$X7(2~;DW;ZtC$G4llU z{f*m1CNNC|ySN&V|M(EN=-n`=^guyix~}6s0pSbaH#q!HVBaF>a)rXTNXS05nSTNE z7O92=#Jo^~usZgR?d>5D9#NqP=qnM)+tX zC%C?O0dT=5Ub(2~&A=TwOr_qrF-%{0$b9wjqu|e_cYh-6@Dcwe(ES@t7)xp4124hl z2nZholL9{e444$~@mIioI9v-npTpk+SN%QgvZDe&0|yReaVuRAepQEYSXYdMYd*^| zvMUR?FbopmMZi?v5W>_qUqM2j zPr||kFGJBHw?;2}_&i{$(TkpdUYtVI^k5Ts6Q2$`kB0-V{ye)nA^zcBlb~-hVI~;- z1j2KvfWz57Kp8f3ZMX(>9zP5m%Hi+6DNNb$FyU>`dHg=`aF^dbtRuFiT!w&A9}|7Y zlVSS812f>^aS`}=O!P!en7;71{5(Dp{4PfQeTF-^3?0G1W8yl%(Yt}p<1jFp*nI** zKVbiU9?clzJnYjiqWs|RP305AZ@dJbVJR>*fscO&Oc(rod?zrO+{gC<`#1hb-fj>3 z^w)v?n}9_B&cjaq$)O!b0=0>sAplRvkAh$ z?Ut}7fe9+;z+U;V!6`_X00p{$g)~e8`}Y$Gukf%dAt2o4@%wlcFt6}~z}crZvmTgN z_z8#ZmG5hKC#T`-VBqoFz;mFWUbK@8sGD;U}u_EMM-1D(f2nDxgjeJbd5f75+%D}m&5cn)xS2bXXI65il& zHSpLYSpiFc`5G((&OWu7JAnBLEQ8}B`Hscl=-vV*1$^9LG3rkRBHeL~3m3ZuzK>~| zT;&(Q{tZ;ZcXI`jMYaO>|0)dQyG=mK@D}(ObRH9Z$M!IN;X#BY0{fEy_raDG8TcC3 z0%xDv%n!hP4F@lA3m63rsMlvWep0aeDfQ*`2F^Z+0Hl$?3#{ZANWd?11dQY8G^<~f zlYb&d_xlWA;~PNdvD5!LJ{|UyVgf0|V-aDii|tEpQ(20N?>$ekyS7b7A_z zgV_~yx-0EGbXn&{B%F)_Iyhw9m-4X75fB~&CKLPkNno;=kGBDnNqxK%m@MYwmw?y5 zlf|zA`?s@Ef9z+x1V6)1z%wAA7zsr0dzy=V`XFFxA|Fe@D>(kkJnYkBz|>?uo(fDB z#zXxNo(T#5jc_XP9uE@-(N_c0O>y^ug@E6J0BUXG-{WDQ{vI$jnU4BPUr!#@3CVCqAj{|^Wo zk>Fojrws3V*w64GFm*B?e+tYysxN@EPi^L(z`S4imZOtj=x~Oc-x>e3U+98_?1TLT zFfX7FM<)Si0`m&|f}@jT8l98>0*+4kZ+7#iy)p}hg&YG3SPIN5u$-flfbGD%0y{Z6 z<$p0J|DQNI<^LZif7-8eq3}J&Kmv{f^9rykpBEbx&<6wa3P>EC^6S8S{$U)Q@~0?& zUHNE&D>()dFe^vET#ilx){p?fe+q?l9G&uS0Ol3g#L+4LUxCxSfR8x_5^yL-z!w~y z1av&Jz5-o=vk&?ZFt0!bN2mN_&P4y`6}W(7AO$Am2$;yxNx)KIKL2u#PWkW1$!~LX z%Kze-us<*0PaFdYcq2!^+Z>$)90%s}v$L}Gr~HM$yai6+=#*biBY_t%jAI}HRXGAi zaC8zdD<}V4j!yY+$jMLT`48onH{=M|#4(V7Eja?7KFgjljP*<(LOMUIkv1mKy||eQGlzFmHN|qf^Z% z=j2avbgK9jIr(RD^a24ft$T9>tmYU&sI|0pN_ryRW?4Tckk z*SA0^aQ3OqbOGiq(1W9s0wZ(skLKv4z^`)hU&PVVB;YqW0&d|LNWiij0V_E=<=>H$ z{{@at`CrM&|9Y05c3kjxIRgHbWq=_N85vRE0zqK^Aq7NWe)MS^o${ZOlmCo5I{XF+ zxFScu%sK`trZzJtN5J(Qo${~E$^R%vr~FUkRX@(aQ3Oq^akepP=Ak3Udm{P($Z zr+i0&S8@cro+DsSj(~j}ofL2?!Z|A87pNGAgTQ;3$odKl2F^aU83~xTsLs(Te{^Kd zx*^3ekOEic2$;puNx*%;yam>9bjrUjC;tYHPWktZg#CE|f8`iRz{fcP4smo6(Ei-| z`8xt<>-`uc~1U2I6CD|@5~YK zBF8`i{*)u&4USF%zR$^joTF2Ic3yo86at@mLRdJCr9}tC&4m+?5b7Eh*1~Q`5K4g$ z0T+3=0{8%jD}lEF5Af(F@KKI_7VtM++-*F`y8yTV^tK*<5_oA@SeWi8fPM39B|EC%dK!2Y z@KldpIo6G+&i8N>_`uSvLca&z+W{soa1~qy{6@QMlkNgGU4_!PLsB3dp$x>}Wr&V* zPd@xMz7zPHu3=%v8Lq(Hz!cmX=_&9(zz0zydO}e6M_|XC9zFrCoT6nDfT=>K0^f}$ zzKr(ml&}~H6y2KYnfL|Zjwkj4I|&R5uK;hqD=gd@aQTk|A6(-eKU4nU7a)GfSztc! z$Q9^h9{)qYbTTvDQ{V`&)2GP)lYn22caLIxhTj3x!G&MLT427@jr(=|PWL1*PcON! zKK*LodH1->a4K&DFddDjFY`1!jD#bPWP54p#fWU6jf$WkHPN+~3PSkuuyDW|6&rwy zV4=1SJt)k+42NCdM+-Xq?I*$lH;08Io<+l#W7sWrI~^%7U=j{$li{>;+(rpcA>p!A z*tse~*qDsdv?0fBZ0#3lRb?$0n-WSQV$Es`c0Aq=1u-5VBQa0n?eB?*1p0|054mQPVCA1 z5_n{KLs&TEX*6Z38hQe6NYFn1x|;s~cq}3k;qOe$M12D2a|{mU{B0 zUSHpj>;|R?Y8Q|G18|y->r}6R;EnY?)x*Gbo(cs9G2rP^%LLEFg*U-s=;fv-@Qa%< zY90s+dptb48omC(?5Noaynk)hQLS7ev_i<%zGf7=wsSmcL}Wdt#`UD8>Tz>Oe9GKP z(XKw98J#6bR<)Rvif9Qrp{A4(LZ5j)%}hn5lo(TWGZr&a(Wpa{+Y|tLpJ58E=H1?mJt6qjy)PEkzz(75{<~olq5=$Dvz+= z9?u4DJ9Gh)SXXKG)Elm!ebqHH=OvQz?5h*gu1iIAWA3$A+Lga%6``0c#r2e~LdCd} zNNINT*Q_+HsELFqX?j#ih>1u-k#$9t^++-*>WYRMSDHfQsOXHDGb;0PMq11%i9TyM zpH#c_LZ&y={o)JR?Dldp8i^Z{B&MQ~lx*66yO5ooj+)6Nx{f3ovS^4>YD8sSVG%`> zld_pGBB~ULM8#-ai6xbooHWHmQjDsVQe74DvdR*50Y&#K;%7)VE!=Q&xSyuefg0p) zI#*rVM-5C9I3tXkNDp%^Kg{ zg_0XLgXEYHBNF99Qe#GR>nAzQ;n|`YHpi@9O=eGx%9Ro7E_y^QG-6UD8L=l_%6gpW zCwghOUCK@h$)*{P#k8cBjEhM#s@hvGWfRhBJduLa)C?^u#*J9a_1pds(2{VZT0%19 zsGLeEilUkkJ*h|IaXDp}S{$Pv<5V(Q%wOjMJjq>~6m74&j8%m5DPSMDjP(gA$(Um3 zO2m}qRLoS8cK3;_Z^($icd5FlsY*nZmgoW!Xp?$%I{aIqTmr^|Z^`@b-!h=ccP-!jM!|P1q|gXVXG4F{zmF6lyFHjV8^w zT|9~XI+T)?q@$-W%iszWL9*B{mb>ZUA})ZD<5u56-7xA zMI)s}m1xq4s;(||4VquHVV|*{g-KlHFilmJWJ1%$WGb0TMO1Ef$S24?Gs?=+`M4_O zy6GlAt7A}iCXwM7=jFFpah-MTgDq1>YjGRMbyIy_&HZ`rf*Gi9o?f6hBT$iAs)zkr zjP=NGXV)F6Ew7&BI3~4a-S-sgzv$|4imKzwaJ9)>2j#1(f@1J@IM_q1dMJg4cy>!N%rf`xem{9C%WB! z605Q=e}%Q{+^Fv}?1kgmfHWG4Z0W3DU{ScM%Eom@_2*ThZRgQiXC4*=$QE&I5^-8Q zVlFgzckKS;vO+ zaA+FqiMhW1obC2!^dW2>`M!Y#ieoKVv7^&ibYRp>XmRXlC>;hs!~!6 zIU-_L6A?{WQZVhRrv244cIkh@Kl2JUJYCluSQ5w@sC>XWk}aA!d=7HwOnI4>Su5~r%^Yd%=nNios>HImIL2A^k zU-D;g9D`9eKAO#tb}Z|TjJo-&*&LKXbw@_s{FOh0J1`nHcDkw7R-MMn4!-B-Pq1=SW`&TWZd%B#-fQbw7j)-XW(JFZ=!po8@O34u&9WZx3(Jz!YZPP zA{v(9v|Yq$>@!ugo8F`3hw!9E$=t*MB8ys^H zY%7UQZc=22XS z7J{B3qp^e%k4G@S>WZ8~NIF7c4@Hk@QdCw9(OnxLB-H}`LMMY^cb?6z7@8ENc+$Wc z53vwUjLPm#8TE!Pjtbb}q0(;Em59A*HY+P@yaJN__t|Vn_r{6ntO$MDgXXX^8(L-l z9M-d8>V`Q?X_$I!4ojSolF^!pWZY1ru_U7UuGV$dilvg8ti>XdW<+#VQ?!Vbh|5YW ziYU7w88LgsTqbqJSwKpTiw2f6vLPiCw68~1)rkGqxvacl$;H>Q)JZB9J%*%fam1C9 zQN=A8{R1m^`?hOY|8yj##FV(I;8-APDyDm!;8>FS4Hj{APQ-xX@p!_FtA-jwI0qXM zM9~q*N@;RbGSo^;tzL8HXLVW(Go>wF$9{phP0EmUIWEPLay+Ri_DzqoE6!D>B2|oJvhe8A>Vr-y|~fTl{c{7GY~$L zl1e-xMobJ=O?TJr+}MFRFpf;Y*`HN5%I+?{9H)b2A=nMA33j{Jjp(AeLhP|Ovc71S zMl^A{XtqBkup5r2%qRk<2!+O#h#ZGEF;&Tck5SFaI_GNS<8(S60>XYzO^nYY+8JbS zBnIJ?x@^tovPaHG``#nUXHsuieb<3ME8Uju;g8j;4}wM6qY4+3DxufXkE-6#)sSjhGqW zoe=z#dma!u3Eqf(+FKUQz3oA**01^w;Il31&2UhV?-rY)U;GY ziAuVfLgy1BYD!iku^5i#6Y+=_wa7Y*Ml+=O9EgrnZR%RF(H!+MxXoDCLGovCy`xhO zZJFn#Y3`-T+97zm!Zqjf{8 z#PZ(LtB$o_le~_d+B}rY^Q`D<~Q!yiA|MOPXrE&j|9quW( zX~d{8S4lElU@DPFm`O9G=#jXHi!P~3XQpwzkt0_Uo$iE74ph1XyEknu5bY(mVNKs? zEhO2N=HSLhGx?pu-O9RNr_P$XDk~`|q2YuUw`laFsERm@PQ_xeD3;G6%_h`PbxVh) z`O{toj4Q9Dn&$Oc>$bUhS@UabB8|d7G%FZg-&80eH*^TzQp)1Wv!RX47Hmb?;=^zv{R15l$ z*Dqw*-W6vZ(|*;OmJHVq$uFRO-vaa|B{W==e45S#&xc*PQP>>*MMCzii4l0Pxo)9B@9Pz zM4OxONUn=^GP%)5gcNhxdphf8X9eS)@ghQrqWnqMUb&2whLTz|p^LbDfqkKjs|0q{ zGB&VtZmPE?EV+yI>C!k&HtYqrv))Zm6_?tuv>v}>1DnbdaU?d(v$E+ts@R+ss^n11 z8n1zBFIa}_fVo6Fx}r%H)n+TLK_X1jP~!EsHz`rmo5=IPawa!nD6M%dTr)P2SCnjV zd6Uhio6VWiXr9_^xu)At4Q;b?Ws|lso3iJCNmt&{w4`Qri!|Gbu#coxZK4xJ z?CRSa>qN_~CY6b}%5=}|c<#VO2pDs#(={7!LIiM|QAon&U?|j7R=2k`MQyHqvG8i9 zZ%C4>R1=aVw&3(cx3i}sUi@UyX@d)etBL~C(h8hcs96jDmUuy@^yo6f(zm+rL1 zQc)}qbshJlBZi47`d;>{P)dyBRyLxzx{*xA48xW6_1$b(iLN1Xr{Y9g7U{~fI>NsE zRqS6Otg~Hy4{KYZCt`@C;-or3*QOJq!*HhE^B&f&1gGFJEfv?IdOV`z67L9m#cC)i z-pzWJ=yBX$i_0-Js!J(VGF@8F$aU9Do0IgSov2_`Lfjc~6tj`p5-KPrM-c?m_sWdy`HBJp_A{@wko2RcAPlOicyH{-ae zh`Tt?-p@`6A@UT9D6*7F;-)<|Z+37si-e?@rm48bZ_>67ck}EqtJ&aCESl2HC_-Ae zMVO4HWc#+&xI$?rq<92p1Swoj$IWlmer`281DYYwnM^5WLX{J8OtRapVFPrig{DKe zA`b3Y0{0iuNGdHHl+;yoG^YnptQ(t0gbvkIN=8&HW?#7mcg^F`n2F0oIEzT?kyJ#Y zu6jX8k85afLy4vkX;Yzp#|N0w9z9)FV<{8ya#f0n_U1M09DDf|c48Lu~*uX(JQxUPj#vM;1 znv`S>M=S1qln8dMQp7YhSwR~pxKnSBSj)~iS<*ByiBYc8sF5SMf$v;jX@vcjNARNq zqKK6lI>C18cq2o?s~m7$1G<}2u9h?ziI|>9DJe}Oj`Kny z{Ffxf4b8-bUNModhdqiH7Yy8D!qq@*3-HQIGG^Mpd6W$rr0S|^AXt=2#4%+ha75_d zs>0zK&JSb>_pqgiYQlV`z5h|xZ#)_Y-AaVPlL**o@bpf{#H%r~25+OG!%OhNDjchl zh~r2%fveQfSfw2CBsbP@<2JC0fiVs5-$Ydj4V|EXxTlJN%j@Xnzft z&@chuW+i-~u1D?K$Jh-aoC&6ID6C`pibRuYl2T`sd54jyBsy*^i97x{mc*2D*W>J} zP(n+XnrOsv8y(l$^*9}0UR$Q?$%Fx4BOy#q_Ys}G5s~exd2Ey&9*sAqhOEZCWukwZ zS}b9rhB96qnEwPD5{l!1OEcrCgs6a=lC0 z$4drSVSM}!mPr#fvrq^Z^)apD*acBB89_<=#69>Qq};igmCzM0ctD);T1{s|DdgO zl8v{@RJ@3nieqh)R7TJ(WrJQQ3=P6bucFIl6t8Ze>lu;eWWB$YO;4kv({OX%Ac>hK zUYm5hS>9_vp0jAo2rZN#(Rv}>#0AzC%J5xkBUfNsCLvuZ`3r{svkZja{XW^S#auOT z3kB~U#&8Kmj3Z7irSxbN9Z*c9u_`wd1t-+HFGJC#2wt*OWtto%I=*OGRd9Ufi)c!X zhOL@==TUMNKaF21ZmAk|HEDqwc+s@6`^A#+pI0U4GN$CO!J2JX+<9&0nzQu(p_ez` zMXOqJ7`HJYi3UH$@#mtY>lxhH1*L_Ds?qS6Ta*_lE-$jUgPmzxtvlJbTYi2A;(P5zvee+-9T(u6T5sTQ$q@Bp<-Esx6?7N ziYYt3lMNVzHvnWcMXMKtX|R>^CxFHlom+RZlhe35CTVz04{I@878B#mWN;lo-i5C3 z4I3%4p#;2&-N;(muY4mS?AxBh?l2X>LOzN}3|y&>t@D4cwd}i`M#^lUcDjirzV9zu zBBOB;{!njTg3;_o!yCfv?%JR+Kt;LZAtNpOQ~_R`(#a{I@Z*okR`g%FjDAUG2>5H^s#(c8$*(`|?Rdsp9x z4Y$gTNWi;k4R7KqUg!QVl<>S(UI}Rmk~Df9*q`b1ifB@T;(6c3B>2Hj`?lTeih+o! z8MwovVQ+=kP{Ux*{fe=?JiIZTr(08bU+v+iFYVH--+uw&1>nq&L)Z&Q-bSzQdBh%M#s4VZvA^l z4pnK^K5a~m;${uD=eXe@rSJox(@7)6x)Klu#<7E%Ku9>L;xH|OpYTvM zbO~%OjYt9;6QlAnHzI}&2|{t$*WyQM;A$fXd$&}EzX)zbguUZ6HWG1>2!4nFu>|^g z1~uhRNqKK``dcqt|95nw->Fg1R}|lc=a)bxqHXAZA;Md@{@*2}{oP8FBJ$m{t@Qja zelP-22LwfAJczL2im%&9%?jvAH-Ei>)QALo-Rn#*LBrrYM8vrTR-IT|dI2JAR1pPL zOhhkbH6DvnfT**5?i=iclVc_hE_4L-l8D2~svld$)ngT57lh|k4F`{idfWGJV8g~y zjE#N_16R~B&H54lye;VU@kUH%pYRuUQ3-TP;e05DGYxu$0SgKwpJ$&xiAGiuf$0>k z+0i9Ncrb5VyByyD}p>~WSO;%dK2KZ_NKzzeBv zk$LYu`$G$_leIuXy3u>t-r#DPh(;y&yNi5E;3edyE{FS5NInrwOYpZ<%}7Y+xuNdw z(VG&XL=zDOKcb@H_tIqia+s{+$T%V6chGR;Z5VO