From 86d64f64376df8f1b53dcdec92c436a1e256f39a Mon Sep 17 00:00:00 2001 From: Ratan Kaliani Date: Wed, 6 Mar 2024 15:13:45 -0800 Subject: [PATCH] docs: veridise v4 (#377) --- ...AR_Succinct-V3.pdf => VAR_Succinct-V4.pdf} | Bin 843453 -> 843553 bytes 1 file changed, 0 insertions(+), 0 deletions(-) rename audits/{VAR_Succinct-V3.pdf => VAR_Succinct-V4.pdf} (98%) diff --git a/audits/VAR_Succinct-V3.pdf b/audits/VAR_Succinct-V4.pdf similarity index 98% rename from audits/VAR_Succinct-V3.pdf rename to audits/VAR_Succinct-V4.pdf index be0a6c579eb1652d4aa237a153451cd51570e6b2..ac9895e6532a15bd785d81970ca3f9ee344d15f2 100644 GIT binary patch delta 11507 zcmbt)bxa(<*DbD#+v3ZjEzaWZ?(SCHrBHlvx8hdZ3KW;(?!_I7ySumW^?P}e-+O<) zNlr3z=ibRoa_3~`=5%&K3c4VP?0j5Y5D=>@$NN9;hj4I%j6kd^Aa-7MJ`k%E z2*St7#>Ng}RR;0>bJPU!LO39NTp(fLHZyj!e;a{t zbFf=knOQ-2IXL;adH6UiIg-y{X$=u2>raBDUPOyc=ps{?;F1(Et;HM;?661cVPrX^ zmqV5x_CXxexHLPj2u$eQ$;68Kts$~z64>AK5!D;!Fb8t=VZfQeJtr-Jqvxinv7n>| zq%(^AN+1;77(Uq^jsbrEFKPNU4mw^-Z8Km7BiRpoAC@=W^#PG2eG45OEjb*A5(*&; zAPAZns5XK}v|Ij=$bA%2WyopgD3@3R*WTTA_-o;B?KG%uXEB(9rFAFC8Y{xu>Zjpx zngrVHgn0EIW;6V^#l#78<~=H=JJZ%Ww&43%ak&D*Ph#Ra8%CV6@@F;qVjRw4gtN#B zN37PK`qRt$)~G_-_nzg=Cri^_C{Tgw4>smaI;a(+HMY}+k>v;Z++H$G`3o|Yv^KXh zb{PDBGCxvKd33i#RGqw&Qyoe(F^3sy>fyRfM|RnctgAJ}4m+Qf=&@b|(IuYZM;R+t>BogVmVUTEN1Toi64d|4Ex z9rq;aa2j<4+k&CI(lZaIX+B!^TX%L^iC=-wRQPWP_sR|d|yGQPjY=nKolq~#;0k&@abwAM`jw^dtbC4N`L6?vgL2vRaHoV1L@qn z2#@k(4*5Xh=FtE-s@P-<8+7v!Sz9=DK39qLSlcxT*AT$!ef|QYj}=bQckN3e53cI~ z_AJ7z`;nhIq{t*>Mz(4U<~ccJ7DG0AHV&XLg)knhEFEs;LId~e6AUOx%mQit?Qcow z?fugBp57BIB-~nY+k@9TpbPUIh2FVuG-mvgr9YW|t;W7(C9`fTV|drW)7a`@Zs?=vvN&2xwS?`6imH#9jN{6;l8OGIRk58*mX z>DJEL_JY@=mDW>1U+!JwhP|OLQwtix506mq*P4YDq@nT0M)%In+kM|^)Ktef?c6V1 z)m-Zsey@9Zc&~pq-{Kc=*wKyLeq~h0WPiD2J7R62aENOnAfSWt&%KaBLBAGFOuBz7 z&+=HG-j2silx)5=8k_h({T&^R$Zlx3jcM@s^K>j?!WXe=Z2bPSZOCTyy=O+FCXiJ7 zP4W}3x6)+5vLMC03TeOxG7`uy{0d?Wg>Wm6ThH^N_vb%5n*uaMMCqr#5<(%FIk`XH zuWnCX{tVw@ReE_spWnR7&G|@*RgwqLHs%9y#wDc!J$_@I!YdjWvgT`LpNeB~ZgI6} zvDifp*XX_BEdFgB{XIpnAZCKf=nUn!yVL|biX@N8nG<{ML_cH>rzS5q|T zV^WbWg)l`ztlcvw#TyOgnzdA-(hn`($787q*9M-#b%?r*0ckm-^)*;Rq8WK@$Q zO}ESfKf?yp5AIMYN5$rCSyT5(U@$9v9aZZ7KH zclsXoVZVYUNh3x4TQ7mL_}S$4l9bvP@aDPor?7`MfOvLW&Z0&0ioMwGVYfy=u|XP& z9C3@Yo;(3G;Aop^V)-GBRucbLOr!2uqzby^v2MRH(sUa20G?ybqNQl;p04+A>a4nR zW~o#b4EzNWyu0$Ad|;#q5>1lDh(Sw+CnpzLkgzI@gYj4SQivHQJYJ2W;r8!Y2`OJB zY>tBrkkFv1EXsf_MFqN9}+m0oh>~Sa_UeF$D~Ch1j7j$GSNYH>iCg z#l1OlP3)cjls@`BC;9X8>k$mMIe%mxN^Ca2Mvs-n=V4$@T;DPVIxZ?xpj&~m@_tU2 zGd>(t4K|~J{F5nTd=Y$yK#!HC$3H)ihcLA=8?TteAJx}A&B-yLme?PCuqFOmqNd(S zwe<*QE}?1BtYZV6JNjTAdrFLq>X^g_ux0roAw-cDgBmqWo|>rtamrIbrJNq0YRD8`}&2AsEUg(Fq=`Gu(oq3xgspFKU75BY5xufD^0q)hJoj#by1`(0bai?HjG6Cj_bymW4{^K zqU5)X7(H`e&IEpC?+T$&LH2`9YhGbsXBGpJVQ;p3|Hsmz{(TAC&p*%zUKFRmr$9k(tYmXCsN{ILsr}*cuv%`I0!w`9|TxTL}@S9=&U#jdU z%x+SH%!!Qy^MH^$fvVpRV|k3R)k94T%tL#ER=neUm)AvOoTT?oZ*Kf>pS0}4R<9_Vc>5j9}8iy zoP>PTXe!Q+U&;p#TUeh(k%m7fe!$5j>(28=Ucvp^-6w^nGHlVc8Ga(J;AOXeo#+@0 zu-N$;!Q>fxJz<`e8cPd?hEY}|@vN`_=f0ZfZggg&|Lq0th@Xq9KMKsR%0L~s8Hp7J z-o_-;T~#epW_rzFcUD$%Fy6BBv>3n2RC?yXW;W_g=z?D&f~8JfV3P6)ba7J2rzQ^^ zp0JSfr3w%JK5(@xRw~Mev*5hjSJ%BLXHqroeU+T|aN{UTWaq>Kw@Nkd0!ET1F7Q~t z!Y~-BaicH|^asi|^mYDQ1?m7NN>q%tl=5J(oJG5O?VNl8G62I)OY#+=2YN9iQf+Nz zP7F&NL4|b_;8%MFihh{JZVFDL8 zTjPEx6vNB{r-C^`C?9v1$>01vIjq0DJ$put$ZrleNT$*C>luL&q1e2m^Ut2BdUy!{ zo}bU`r?3a=Fq^QrlA>}C*Gxfr*(DB908vw;F{OrZmS=AeJ%~jiH zkMEw(LSYXEPKOiQHM>`j8{DLuApEVFrrt3>sEXsI1>ImWkZEo2p_}C^JW7s*^pnjr z+U_A5-yo+Id5<9`wAK|S8fNVQQxxBA?VknrLtqcVwT>Rap9^zJN(TMBLg zPrV2iJ+Lqc=FupN%3Oa{;J#za~3ZZWk{{&>3`iLaG4)1ZNmB!)kIEC+z>F}H#a3d)$QADzlynQq z_bnpQl5GJ62)P(ozt=j!#HR zgYeQI5AP!#OlcxwB3<$Yk~epF&YkfcY)bqfXCKTTF-~hBak^2Zg9UeO0rxYKy0rlz z{9tX!ePsBHqNl18eL7!vLv5a9ZFRvf^ZM{)O^Muq%(T`qy^C|3aR1uhG`_OXRlORa zU&fQT*ZM*LoOMDuo>+kr?Q0EL2RPKZ?BhiSe)%1PR3B;NHpNjH)gOLo=KrR$(R^p> z!t~D`@TYpN!)v(-Xhfzjfg}r?J=g7SEA#kXrHN;{vao_nCfL5K5*TDd8!FCF{3p%H z_OG^w*8QpYO6TU>mNY7}=Gy4}H^y4O2>w16P7g?=GX${BJJ@~KOzpwvFzEcom_qwx zyp3*VG5fHY>OudRHNzmjB7a_cqf99SC$C0a@dUj{+c}4yt3q)pG6PW@S53Ch?+cFp zccJ;m9PRvjn>{MCJs;S0Xb_(by?%&7a59r)ir|Z(>X;M_PUT0lj1_6Sn;~6?Z}4-Q zogpuRX$a1IraYUS_@=yFpYtxYDv$4+@3tL~tIU9j$rY-HGW#hVC@+HJ>6O>@yJ&<*HUfMwFTx<=Gh(2Lgmm!9Bf@6|BV zBYP?o&$!@DyfWp2^IlpXs^|i|-LlbF;Y@4C?9)G1VbkImbQQ3ASToJlTRgK7hsW6B z1`M3R?j&Zg9+|{Vlw8igAUi?2q&%c&;7JizP zC+(UcDkSdGwj+z9gEmd*S$YPzq~ljeK=YiW<#T;)(ltNN&W{yPOP?+@&kD9#YvQ=E z1O9YGo(t3~sXsfS;zeB^oB+t)vtkF^4k1Z0u6FNfIj+$hvp+^F4{>e##?Nh^rLb>o zf)DkaawOzlO9SOsM1*NZ*5nH21h8&WuCxTEdrz|?-dI_*q0zSARJv82#y7mS`_oYy zm!dElvbEeBTpLlX=c}tKKLq_+YfJV+|81@{h;cVwd$RB+S1~N%Z;i<6NEbT(AFCV-&W|fY+g*LGjj}3m;QPhp5HXMIH`TkdA-DFKNyq* zF}%-6(>RgJvtG=IjF{QCFO5{NT2Py9|E2s_du^6NPb3-BThcP6gY_kN?{t%5ZfKMh z`iFSs?6N*vE>Pk!Zl2@ImV&O_KMo`ELVEk;_QQ+$u0MOrO*#byUeYCTY!l|V2i^w= zANuhPPAlV7_rLirBpwtI4}xup2f>+@L)rd=_GfDJOGWE9=~#$1tw0^Q2O-V#EGX1w`myjop> zBwN8IL(0wZ-Hy+v<=68)bbmLS>nVa_4A@MBSTTKlW^%7Z)fcFu-NVTVk=FNt^zWuU zjN=`R*f!_;Fe%z*xF^7e59Dw*WCODP_!9-ydRwR^VX)PE%d!3-NqhfBwQSU6PV!dqr(?Yd6=l+=0npJYm+*|1$x4q8V zVE?U!u`F1!lvC1DLMC_!rjZ(VBUp|9Yeqn>kneuP^Y(r)qN5-re5`|_!y?YZwoTeB ztIcc~dsrd@inZQLB;m_`vbhFc#WP?)mM68s501*{VTGP{9Mc|3TkQmN{mD< zlS`KUMSE1lUMF@Z1^4j@`_=? zRBADT`49niwiNJ9+1#ywEVhU{eBeU2R5d_IB@NdcMbXSBY1rrTylb66q9wAR0SEn% zlQPb_4xhnF(~3#z8ABeDWfLV?_&tfir0CI0S$L0VH**sEH?4SkeXKm4nXC!aWg)A* zkjoy|b?_>70F8$^YAfSOJC&?Snpo*mTz=X|a!{JdSbfF#WNHG?Qr_} zJ`Z;)V#qxCqC_*RNvF>X3@^->;pEY*Z zosuCe==uKry9hyh#e=^BP<;(Lm1-}1)(am7#y7&PuKmzl7M%tXDL26`xY7X=a}V(t z;doq?vhYZ)WvmjRhNIiRnBh1G=cEf%*&SNv@GL1tl3yKt#cC2e;&IaaL>{2C>`z0s zw7BjNcb_E~w91;@7NQl%M^lFEV@=5cJQt}1|9HoW=<7a}wV z&Ac}+L?0P59e(|hW%}rCDPT>Oaet)Q$*iBmrua8>FH?kXch(;@Nase=r^A3!f>ftp zc#@+7_cebYiewe4HebLV9}yQNdlj7rCwOAkofykyJV<3DQYXG?Ny#<*kZWPrUB;V5 zB|6Bo;AO01gy>xI{ywH45}z&1ZzM}y?nOga^g%~rvpVRP+$nCs!=krjge%)u$nUbj z_uM5*(`R$iWu}TXC8CYdU>NF8agWbkk7i29RBL%Pw=-DuJo;d_fAxaA|}K=UshIH5f_cfH^(Gz35G;e0z0&X zR(ot8P6~I+ck^{)6=Um&yKknQ=-oRApAOe}x7?>`wGTP#^bAX!-Se``ubW`z^lngO zi;{%}=PVLhJDnvBR4b|rEDGe&Y>Y^td^(zY@7JS|VK+|!6-pKJO2m$mSx5p21tYqB zGW{hHq&VK&A2@j67~|OFio=p^)$mS+D~VV)?eNro!jye%Yl{M=N2;nv2Q?nInrXQq2jLPxacOQ}20Dh*!m z4VRTZ>!o|(i+3T+r-M`g2m!GP$dU5l<+xB`(eBBnj6ps|%(Rc4LFT`aNZh3JfxJwu z5y>>NazYezbRP;I>OC^550E+zoL~}o2_vuEZ${*Mp8RE~d#HK8aEj)Lv9M!M{H@oc za6Ukon(d6^Zg7MaSGeReoc2XY$cNZq)MSeWaT4P5cCMM5>|SRUY@VR5 z(^+eKX^j5uAzo;(2jhm(D?3if7hQg3F*WY-y(LMT?7Lff9%OCQ%CtwOrH$~a(n&}N zonSd6*q|EQ9)$*`V3aUUYYL>Fs?%=`zka>#>z%4NRuAGPd)5#WS_FUE4UWK4s@a+m z$E0JHACNdOdii-i&VXasJ^M=9e7O((%S_@{&H|vtx_VcWVl>f|7Y<66Scv(ab+(5f zajYb&@DYcbQ|I=kQJ=Pb;d=cBxQ6}6%=ob?9XiEW*$r^Hk)NJc-U!T3Pv)_7y6)J5 z6PUW)Ki~JpiZS3eYwUr*nkI}CaP#x zdGPSdCOc5QAU9&2&g)3cDHvT7HT@h8*PS{KhUvk*_lj<#PIDUHMl)VfQf1^g^v{~huuxyiC9IZn}RzSw8wmja# zz>J?vQKXKIsyWL3bl{M;>+c7(tBK1i!*M3OMK{NX0T+c$oQ8|AE#+J1+S`=mKrFAB zo+0UHI&107K@uxDyAF65eIQYJfnnT8dt=P?KyiGPBdHI2WSBp)zp1S-#^%^Aqre7z zXW3|IIpNHf=7z}IS+_v%C(S8uwJIGM-{L8v$krpfy1<+xnBNgv9$L)h97Oy$8+tytnZ zNXBMv)WELH>C#1vQC;hMzAS3|7cl7EA|8bor#>n0RKC~u3va7{QVp#FSnDN}E-7Ii z0Zc4ekoAyw0#3qqn1DVv0g^ZJc+VvUG^dAI%cY}*67N?s8@iGPEdTPf8;m#XI}Wuu zb_j$U&L08wTrfmEma=mW0qvKwb4gZIFawZZ6&0EwSQ^T1MR8)ycCx#Q1>YLSF|tHl zj6GtMg;bjGI4Ro6YGn9Pqo zjF2lz9*)ZC(l>kvUME*3U0WADTPDY9H3)8Jfkcq2+q&9h)bdgPsDhd2w3QNdJlZd1 z$_Sj&cb|8C#fE;<=&??QPusxn5fdA-J7pLyIAt&tOJDDdy)pfHlBMP6d~t8u496 z)=n(S3W9pke|PKlMc=6-_zbNauC_Q^BH@EEPD=3UMWIp%RcD{lY0d~{MoNvqB|DYd zHucY7OG6u*Wk$9}2sNqiS?zC|RB((8KznS-RsiOm zy@gvRx{3wGNcF$Xx#|3bJQ{ZSm}nYrgrJn9>u^LoxKYN98XL<{C#EAWt$TZiplEa$ zic_8)DXv8 z`DUa=o`M66&yqjY>pKyqulOw}Z5rkHKzVa^C`Q*?HEHe2SH8OwP=;Qw6>JfeKd>Lo zf;mHt981be=c|{87Nru2tqx&cxf_P(CHog_X43nCthq8wf}jd7u3{3+k23;s>L*cbKU{qH&!`K2K1cYv zpSYZyG5#oYGCTZm5@1&^MDiGaM0%N>AhgBrLv1{Ocq?{f_DT$?IlW(eNlpfv5e|e| z%=1WvZnTazA76PD(MJX%dI9-v{{mB?{)lCWd%Z6U$3vRdr0iLvo(7gZNx^2KvU?xw0LqgiJj_2~riG=gyVkp|LmGCwV zUIoAp`*9?E0+oD|-sSKB4d8fwd*$hpe@nl64UcK+Os8+>_SaYHT)$4SEI0U3e3;7TE&6dqM;4ZoYU$**Y;)?($7kNHhpoPYMT=5%PdG@Z6x-aD9h*-zOSl& z+!`>WM3%7;Wkj+4aQY+U5_@evbCfzkQK{v}aAEdS_RFw;8?kAyeA_hL)qSpAaNA$2mO6VcGpM$g=Xnw@jnZ)|9Z~JfzF5#&k9KYfcy_A|A5-^tbo>0 z495-mA9{oI$tyGp=$aF$46grX&C&24mC*XaLJJ5bkynlB3=W40c?8jW%aR6C$P34( zzxMo+W0w?7%RxAryFSsEXdSLG=ib)FQdTj{R~G9QPXNI*E(w)TUBro3TRC!7jCL5p zfzEs!mi7+jH6Re&%hUwN_9^R82Ls1(N68bCZz2J<`^2%(QK}u952Vp9Lk5yVq?Qe_ zr$4}WRJ(FGe69QVt$Qwg(Slcemjq#AA08z4hVIpf1FtUVxQ#A48|fKJQ_6x6`WgH7l z4C4=5pW-0V2p=(@;i8Q0t7cD9NMxIdP$f+ZU2E^EO4&6Kr>OZgSIG4#i$ z((A(PFXQ9wGsR(#bw&aUEtfBsEU#*;-Bi?Ro0Dx)CZ&E>w2zh>12K>o-q`WRR!Q#O z)HTE26PG4W`^?{i<-=pldq$)t-MXI8RG?4(2Hzhj8 z8sToK7bT~Vn?Ho#c|>CWin+)_hr$P@v4bsHC~8S%Jf$>dlZ-LZsk{0R#3(=06jKL6 zWZ@?fm@TOFV>TU)$i81=pc8;l5g8}Y@N?AgMidCDNy2C=;p+_|k@#St+(!)$ zrV3OzcLXOcgCzcDuyQEjkE*~C{X2bKQxrLLnJPFddkzAst}s)|#2`z%+7hwA)+|j# zx^imSM?&BmcF--`h+Etc0E{SWX<8X}q!G>E%LmViOj&LquK~}LY$dtD%*N(Xo5+d6 zCQs0lD9u%V56||nQ_2abRaJq`2`;NhGFzJ25zB4JEUM>{BcJ(f_y?>{lr?zswCa7E zSbc8H_0Nx-E;oe1U?Pe|{bMYkF$!{=Fi#Te5lxi>*(U)|0TS}oXra2k`Lp3$`1>4{ zo%j-Pp%WW`QC^C#aIa?MV1=;xhQ)rCpeI$r1@;Wqau&tBKLuok9}}TYOtz>>-lOd`QDweC|R0kKWr%p)nAIix_)t9EzpI4x7SRp6$9K+QjcW#VaMwvLMF z%OR8oKLOd-%ms8XQ(P!e<&>%t|ENKLpM!#A;QB=Spb`dIy2rqdJ9lKADgo1ww0^|j zWK9n){rj3#Pao9VwsXS6O%uZ^yU567dBg`ykuhcdgAoThhBT#^prUxra$M<(}X=Q|G2L!+$yCh;X;nAq^;j3s;$4O+mR>_ubj0~w(Of4?B?3y z_^P(5R-f%E{(2qQyn0^+br)GozG&84SD|YdEY3?9sx1AyD$MwHoh$tMr9H=JVs-!e z2Uk4;miLi)bR|?@@uS;(4wl1YPKv}g8fhr@E$xcmSniuN@q-%rdnTa0Y~2|f`?2}; zizKQh&uiJ)75**zB}?1$>#5T5z`o$tu}d zD7DI}?IeAMjxtGr!Hz+rWrE_kQ_%oV=_iGr0M6VNpI~SrSSsv?t(Do>>UbB(PCbda z5+Shu1KnRFUk6ohxT;c4%l4H8Q7h0)&TY9Wlf0G%im$_%&%X)Ffsx}u6}7)=n20tk zq?EHuLbd5!qUBEpsnefLQyZYHQ*r`{SZj|GNC?y$?cYXJEVp}1SKlW-x`G@rjT*^^ z&yRcRkD;s`F%>Vl@s0O-h*Sb>uK1?<+>0SHf;Xu~P=f|ioJOgwhx{;n_Z39ts|r&l z7j4g4d!IK0!%-WV>N`T_c;QhxDNB*&QjMm;FhQ_MW=bx--%LO4{%!XAiqjGy(bY%< zVTqChEZ!cMRz;;p|4@kbN|B1LD z#-hJ%SOeK1FmWp9bNwk+NpX5V1ryUk=>@F0u)wqW5TWVKH}FT)53Z*!7}$52`3!iA zXvqn$#l(d61l*$Y)(Rk_2bHpvNxSp1k6QaDgcA}}kLBcD^* z(eWcjp3z!Hp3$#bP$6vG91u1x4$k!6I)Lc^8MdI+1H@oqIsca$lP^7|0e}tt|5siL z8~sNi_B>s{244+7{BUx2^5WNp6&{`%;~+|Ku)c0&SmZYb!mdP==*X~d(llLJ_~vL( z0`!o`Y#_nnGD>h|DuNgyI;9kLTpTxASK$DP_Q4zVtI4$dK=#+o>oW5bdcv^}pd_tWSX77P_$oG8p&55~(C(;t<)^Wj? z>kvg!7pFoi#Hn!0MQeXQ3!Bpt6Mu8)!e!Ye$?T&@uSnF(T$L?p^CU&F$r}pg{r;D` zIrs_Tiu%Zaar+0AA@AmwG_GFhBa#bVs|7Oaa2xc$eKQGc7ec%kfo+L0qJk-^H62Kt2cxS@hnNTOwj&0bRpfQS zbt0d33;V(pBpf1`{5uGxy;wC5pq}1UfOWDvtUclTpkmx3l3?vvM5%eK!AQoZr2nI@{ki-b*ODY1#rw98CGmOI!Tt zF5(5~D&vY03fvGRkvd5SE)xRacRpNeA6+i%`ibFq3acL_ICo!#UHbI8_qPgQ9QN1_ z8?XdOQ=ZxN@>W>)*+7YA?P5l-%~!W6cz=FNpfTePBAtdezBNEG4sOAKT2~D!80Y9feIk}o1kHn$RB_wWnVi__O3KtNRTZQL+oUu2Q_nBrx*MC;l zit+!pO05uYQ#!@}5ur_)z!^J0S$7)L`WHGEVYlp$WEQ~ZJK~SD{Vt>Bo+tJs@CH+` W_)Y(Re17)L!v6wmUA&$E delta 11362 zcmbt)RZ!h+>?ZDBw75g@gC5*nio08JitG8|ZpE#5vEuGdad#+g#oeXbZ}(#7zqk9& zJQtZ{GRaKlnIv!WyEr>LITJX*T-=-#Y_b&k6uj*0d=wmm?7EVKLMsxVKL<7UkmzHk@OOQ5Hj|NUsf|k?=fq5wY zpT{OANue*uZE4O823vA+bFrIR@S2-jSa5 zS&;N{@bdjW1!x+FX6FTtxgA$buPs>CR069k4_>W)4r3rk4~i-ysOM92z{r_NN(@C} zJ;Etj-cLdRH3u=t0fqtY2${IG8M+y5A3ezrYaa&8o~HVYLY)+bO%7xeLGS`+2C58U z;cb^06L|gvR~T^FI>;qd2k~`x9gZ)&)vQvq?JSC8rTY%jPUR5gWNf>*@}e{DIpQ~5 zZ{kRAcXO9|7s8Wf#F8lz6I1JGbIGGL5)y;mw%4V^l_PiY+++_rr>P%$@qelB=fQuk zbZ=re!@CF{(|Y4|BLgyEmvCvW>Xt|(6aUhQHDIYOQ1E!kG*T>B|D=_@S+PY2y=HtO zqjc|XM#Q`7j>}t(`0*o8Dx?w(OI^ zVz!g^ielpMJ#l*4FAD)=eOjon_$EKY^A9{@*kcUP z(c*_3?DyIE>BIqrK0>$LZ%5i-2O%1{J71JemKP;L-joB+ZGHz6EaTO!;TB$cOT^ys zOQkpklpl$U zDZe5StOhBNc2v9Bhh0{to=#!8;6Wlxs?z>5&cfc)jvJa;u0^@#off+(O~$` zxs!##6&VBnj=m|jDmJGok7lE;_6~@vyH8VJU&zTLGw^EjwlneUHnHg@aI-(ie;Ice zntTTF0C-&{w($s#1KxPG-Fj+CZ=Wu^BaMZ;ag>d|S1tWKL7nvV?f-c)R?qvBJLhq4 zq5iO^{n;jV$QyW`T2L3hZw9M-&$R{gVAez65@nGAMftmD+u#?%{(OEUe9eC zfAjll9%4=L5a$GCpjrf$F7+IW zWLt!&s!J@Iu6hK1ere2~YvCFf!f%BX0EQogj}{tHOQtetf&Ct?k>neiAX)-*PrSIU z;2`6-rw=>!7Hv;Y(BCM}BfPTb5$^$;XRY5*FB_R9bPIgERe9KrMEW zd~!C%$w^mSy0=X>YB27#K{Pqe{nQf50W2;&b8l;iFu*|06z?m^+12@@6jT&gpl2RL zhR28d;c6&AG7-)F1b;5BSeh~c5hY-PNlg{u!y>!$)o34HFN=^ygEdsXSse1LI$B(a zq`i#li1JGRxK*@lVlqPnwVFCEATDk|BqP&gNdZ=hFqKLmUFdZApq^4lyLE5|UBPHl zTHIN~0G7h9)64I~RkBE4z1f9c;|Q~FEAFsH>uDk4hPRgnH^;1$*2a?H?oUtzBU`HE zaP4Oo^>4}`)?m+xy-S*S7*sxP_E=fC4G{*#_N<_zs;M$$u+7VSyu4|^kSL` z8g?nA&;ngovk7zFO%bDYz|7F2NB?KprQnK%&$6E1lcQ^)%%c|4(fc-0@u6?=8<{o_ zgg&x^et9PB9R;xUB=Tg@7Ske0K<)VQP8rY9naSri?BRlzYA1Pt^xC4%7)FIte#Tet z$Yf(|V)c(z))mpXnk>dKLS!J%y3-55{3l{I_c@aCv6Kc89 z#cHJZD9avDQ92C37{gq@n62>At9#QNS9ZQ{tXa5HVaELJfyvH*8Ey=nmNq6!rU7I( zzA`}mCjc$*C{K;5&hHg+Kx(02@g9Vg;mt4o1R*X*W!WxE8Iov{1AUH^A*);F_{AG- zqXkMGeue*9YPGJ>ZlWk1#oy`6oAw;cu@^cUSaj}L`Xe4#w*SxQEi{z%CU2CvFt{IP z;9opS?^(H;Oy6XFdSpZEI@V{_O5S6_M=xSSxddsMNNHdQ+D)w7l0%Ei#}&Ms**R7& z2{IDZNxrk`ncsZ}N!W}~N4BKOnJZJ8+oneD{h!=<+EqFvp(&80Y_W7A!moPbQ2Jgf zxB+Was4xobkm82TKKzN9I3UXnaRmoHfM%3P0%|}a01X*&%3hcZbchx-I)^NUDGv3% zFE#mI%Mr4G+p@G~hS15iX_Aongq@r42EesojFxO6}(PLF2*2$Yxn z@WdRboAtv!5{06_JtWHtUE=yCD9G+RI#fMgKyFW$RMT$7?Xc^y>u_o*G)R0#^p``J z$x6h$nb5P_YT|HHBtrS0i)pw}Qn z1;MS|LsOvcHBBG{(8>qId>$yg`fbWvsxt{c>mG>% zHA(x!D>ZO7E?0E$>nrjAd|+!5r+H& zHY-g{b7_;Cdk$>22E>r+&WS7ut3_n+f(YtEpos^)FUqn5B#Dxk4CC~fDfj+&;RygW z?n`2oRyz!Xn`BBX2!Q@IsVJ^)E|#VaC|=p?n!bwa*0>_gDx;sOg9L-qinYXk6QTu% z$VD%RdLzNl1hh$~>q6zb#+hn7BCrbb)CReuEz`*31rf3rFmHJvV|{ZVVqiB2>*-;B zr=6TIF&m%M_BKcqdf!ya+;E)&ci+5xcRhcD5{24wfa8FQ0fJysS$)_L7&jtUxi6>E zwv7EmefoO1)qcy2>P(TDk{?c^_3UxOM5xO;6>_0UO#1LakZ9*-l-S__EK6AG?K<0i zrEwmf0p@k-S;y+t< zhJLRb=?A%3{ou`Z*>eEnT)!n(H&N*0Wb)gF4t zVeSoDC`r&*BA)u#DY$>)(sV$dKV0B0HyUx;!NZ>F^6lT} z!q`)%z|&dt*N2|mMGs}oK-3)9q_d0#RaIy4!aIeF&F5k6JfMeRlgZ7~%a9mL!{XRh zn+1zJwnOU=o9$M4v1Yab^<#x4T^QfdX=aAG0ZOzXvGu*3N5;~J`I;H< zVHOAfG$M)xzT^H)ssJnAn60Wgv(tet_lQ0W=dYj`;l(%Po~_XQxoN~9J(OGkdBQ0B zt%5n@5p=}OXOsQ`LGXJgNkE^hqByB3x!Oi>pBOXz5Y`ASrb}lj?fdcva&C8Uu7M(Y zsE`gGZq{FmFR+Bvn3Yp$r*`*rX;f=0KdZ{M!7_*Sy536-a8ir=n}_7@H>YaqFxg8y zJcB=Kut;{l{88cIzJtuLjy+EUGyBDiE{=6;W}T(Sw`ax79u5mQm0A05a~3&reTZ~;a5jE4Vs=oYILOwb3MsORA`>}&*XytBU?)+Vp@w3v z5(G9P2m943Y(;%uX5t;MqsxmQ0*_`4Q!;nH`f#phs5WAsCK@ECq1A7IpFT79iHCX? zua0x`&Axlxt}aq5TALxWmc%Qn9BSfo0{G?}I6e6VHV6q8ja{k3Bk3zA*}mV(D36L@ z9bt6XUMgAy{TC;y7|PrJRN)(v*bwB%P@gk;+A31eVIv+bo?@l!+_A`O3xD zV9EuX%=yD5)f`vU^i%uE-pa4?3V6Wl)y3Rs=!k!2oq0|SH|n!=H%^p@9j-cop~}+1 z2tsm8^xD8=jj|sj=Za}5`N{yQyWpJZ`WPVUKWPU*aZd{s|5sXg;bLPj{{Z_BaLr<4 z@bP>A_y1d9V~%U=SRF4+UPS>>#g7RLxq8j+JGe+N`d2@W#8NVJDp}wQj_KZ>S;;+4 z7yYT|adytf&&MMQ1SDrx0>WGk(87`=os&OPxn$<=;9G*_QbY~p6OlusXno>KX2N&O z_*B6`L&;3~X&=Pk^ICwQpURtQ-;Ja>l5kZDBzKyk&G@9dG>Z`{zbe;BQkK%H$;Gq( zRnv4=ziaXnMNX0DkVGECOL3NeOvuOh^*%UvI$lYYKt-kbd-gLfeT)V82JL58H*ewg zG#uUa<>N#>JU1jU2qy=LP(1)=1z_ZWyzajDJ;b`-l>MHMy~qM!WzB_`nx2M)iY*!1 zV$uiN401nZ2EXP(h`vU4O9z=%`p;?7JZx|+l%MLYKT;`wwP}EjHoXZL5;8JvJ&qmX zb8=!hBu?+=xUhqL5I|k{IJTK)MSv_|XKlQ=>ZOz;cDCd&*Z+wfOf!USm^H&GjRb+g zXztO1CdTUgeOv_?ElMYqufGb5eMMP=y6tvoj7a`4=3{Zpv+Qq_webdn2pa9@4qx{Vkd>8I3_`*5{cfB~ z1_f(Efz-!Q_i5iHa0mMS;ciLjUx)J5jdc6ZUD7{FLivCk|5Zao?_vvn!u=gFpRnCJ zw`(Qx&*1xr$QC)P3ic@wQ8S$>O{iK}8&DWPui+MucHwo@|F^$Hw%2TcK}<4Q_G=hn z68uO6JF}M<@Wu{AB1KtTdG4BS!)bv{Q{|Yf=gLjzrwCMXx@PGLoMDtT-M->+uwv&I zf!@qMyfr=E)%^9W6K2uY*cyy}e0*{tC+8UxVcih+_BK6Z>y`vQN1Y0D7KZh1HH2q56im3214#qzoKYx11j>zE(0H{7R(vU#I^Xp`H8Q)ff96tNtS z-z3!Dx>9`dn0yY@_qD|zuCod=YfCbBv7sB~LG**oE@{fq%swTOc$Lf}Cp!nVz>N~& zbl`k>Swkj4CJ`W!Oc&Klltn>+&O^a@@3Pp+Gn_?U_&&}#`Ao#Q&UMi&;@l8Oun9wD z<#x*goJ@9gvU?Ew+pqFRQf|T=>wjiOgX@Y>p^uOcE5!kX#d1^im=neEWSCNVB{>{F zpnFRe5W+FH4kppa$_ag^qhl<%Z&1o)O+_d;unLLe!;iQen*Y`qaJ3dFEh=-lG6MG% z!7kF~=+BaaUz;9I$1=HnlkRC4r)CMPlrFgnNh;Uy;$@2xu8z4}VE@S)eOQNy=zZa} zBF5TOm2^Ll25aj`&+IF( z8Tli+yipn!6a>q}Y#11)xt=sDZv<=Flg>+t(ky~p zcN4=^Ci3=XC^6_*6b8%>?%pAr+PYMHU7w!yyU1~YH&P_920>V&z%9Tw&5xgwh>5lL z`Od7|3ej5`6Aqk$M68$h>Sa_tXYcPrnv0XQ-L=mhihg}T9n{Xl?&jQ_r-I>Fp0GVT zv_Y_*wkL1oSaTkG&eL0CC9Ahk%Jj0*L^=H`ySp)CE$Y|0ttg94(Fykur@+?bN>@T4 z+kp$rrLsP(xh3TwMAVFedQG)-i)s5tbP;S(rCTv?_Zit#MCil!ej94PrqdN0B2`9k zd{!m?a+>c-a}bx4Anc-2n&L8ZYb$p}^;TbVnpA0HKK*%vT3C-)mWKH=GtR7Nfkp4C z7)sQ?oKOZu<$P=fhS`~AesN8_%ot+mht+F8;cE6xaM(o zLuPhNY@vGs1X)^!#5S+nf9=V$`*9a`RCf%2J3q847ydUhQrR>K=e&263SR z8-I(+^o@nxhZ??1Gdm$@q0?nGy=?(IJ$gOqU+T?~61Ak~qUm95LZA0u6Lo602M^yO zPy%d2^FR>6unOq$--(#8l{-Y&riAzkEPi1*7xlZ|cI|kw6e~wM19SuS*)nJ8qmds< z@5jyM$Mi%eSZuJNSVv;|Nc22tDr7RpI~BTE8QB|H7}kta=EYJ5KdSG~Etdgx++Bcs zr-0qvL{^_f2q0GXaJxO6>Q7E^f&)>C*fsUs!yi@ZDWBnrkxOyK}apjF$ zHl@p!J8>R@R;k0=OI=B_Y0Y7w(qpUy~ zjH7(`XJ|4eIsQ9l`cn%W4hdkALa2v?NE@6=5)84*!O${Th2mLXhPnvtCHA;?diYYJG0f28J)NM03* zLYQfJQ)uRwd>6l2A*kCX!*7uFv%FmL7vE@jYB5C`?=t~b)6je(t zr{0~k56wmJDvc*J|6xSFp|?e{=#1<1 zRv(Fzs9TS4&+s+UXdiD|tJAK)ud4IheC{*Bz3>&;pF~88O58}Dw8?LJ%ZSU`1@8{L z1nFV%A3#O63KB}6$7HV<)4RCgx&mx-1EJS5qQfsQqOW zGZi`oowev$=Jc?PRHSxvCqSWE1aa2M!Rib23*5L`jpOzZH7*HRUQ!LFb6nWjLU%2c zT|Rcv3$*fL%{_^C=9tkiMZV!yxI~gu2JJm4>_}6Kl ziT1bq1)J7*RPzWn6#L6tMYoL%GpL5k{Lwh0&StgKSBShq%GznS=H0h2{18=ounQ|XWS}*L&YtY!Jo3D8Sn^UOQ{@cfECB2PGP`pHse4AteRIHEm;$-|d zqfJ~hDg|r;joUfIWMr?l!CVVr*N0b(tsCujD6Re?a!$0 z|APB-Nkqq4g|PPl5&CeyhJ9{C8&>jL<;R1!Kc>8XoUKaJr(@74)GY0fMBd=MBhdxp z9o3u*Ez&NH7IoJZ!T^jU>BEgHHJrYU<9#cpubII2t?qUxPvE0_RA~%Kiq!W)p@yV1 zWW(R-yMeToq;)y8>qenu@pI1eoWogqE#G?F+gKmsNikk1eQ!x0QZ(~hAGRj9jmq#> zwRkx~d`puXsJ4eoDvTnlOcZBQ5+`}NO+Vo%r9HwU( z{&fXL2B_9(!taCyR$cBiP7!45E!4dZy?u0Y=jM=_=kLQjqNfH(nz3qrQJcA$1>q2y z#lX9wa^To#IeK~Yp zKPe?1+H+daZ2$heMzD%5d<}N25&1hmAmjsV*F0#9{8B+4zYpS)t)0yzkW2kldA3P@ zhB>$VhJD0Ov>mfLK0SGfoPH8R_j)yn<)JMnYK;{6n`M0J^t#rFe&`w_?C|B(ZP`ht zC69--0o8BW)o>b0XaiP}I^Tj1)A^;|wWup)K%Z)qxN~E3`P5C`^9Ybx)I@icco_ib z&8k!~xnev~@HQ~9$30NE?=Z1D;^ON&|BDn=_`22T%MO`KZ^2G3^*V5OHtFGi{B@S5 z2)1qZiH#mKoqJLxyy9OsLb+ZvW7#dW;I2Wjv^Rt(0||IAJaZvp%4T5PHWQmkWFKb_%n%cPV33vQ3aw| zi?Ow+^AYNK1h--YtEwzXVUkXX@6V9%#NW$m=JNgPXH?E!GuxM0PLuwBvel)*Ls3MC z)oOi|3@1oKrS`XcbW%LK5#3)>%nJp@vMW)@t`$FFOPiKdV2j0AM(z>BC%t16&5m*s zCP@GTa%w!ceMC;!L{7;QpsMC5#gG_!sl7e=l408L4_bSHQ{L4KG=k^B1#obaGE(3% zb+6jH>tquI9RiCeWNO5~oxM201ZTW#1CvBC2!y1oEu7xO@ zSoB4XGYROb(${NHqD-y)Ot2^hmwpMc{!9|NUlQ^G?Z8E=R-4ip_od8adKhjiOar(D z;q7Xm(SRxfP;Yq1=#4DcU3jk5HAVuQdE{{Ae~o+^Ij-gY3S5` z+$=TDE2~M=E`Po%$qm%(XE!rZY5~@Nv!xwt-|eSi))Cf7E)q`Y#8cKy`=b|QM$D?K zGIZi6`7*zxtO{O@JVV;5tk(-1xa@u&scRaRAGhDTqpE89uU8%1p}=OnZ&sK4P!^rC z8kHX#XjZdBo&PH3yp);D>}k0poF3cJXTgWP8hf#Mc(2l0=*FLjEjM~NGzPep)`Y^x z@V4q;&=5LcrJ<}$B1)iry%(BDA*I|R(MKF;C+=uw>=mYr&Pl6ke^euAN8fiH9WOu`kn8pr4f>BjFXm(`JEJlF!HpA-So(W;{3@1bJTy_Mvf;MA z{(MuO*<9b)2fvzl=`Q4s;5rnA2beGlET zGS!O)BxR>V{ zzWU4l7R5CMK3;>?GrR^2ZQ}aW5kp1(3Ipnk)z#<0^6!R=pp4_4EP&IbV$(f+=WMSH zLaF|E^>X9{()GT3V(D{o(N8{XM(TVrJ;ltHc%I{>L6C4xZEX(l7pY^*OvK=tk9~x} zlYGvjrX+#R79(_~`y$6v(AeTM_9`3cKq2}CE+0x<&jI*|mm8rs3WzU&f;!?Weh3O+EZ^0= zy|x)n5{!9x)C=p+k9m9F2U3X_x*U7C??#Yu)nt&kJ(jKGZCqfuqeaw;SoHg$08ps;Fms#)*vWn+dr%! zDH#6d$Zcco2O!Oy%dV|uIU6f^?_&92SSr5M#XQn~Pok{D4>f~~jvGf%N!Pee4MUji z1f;M<%Du_US4T#r`jhS0AFag%Awu!5&woq$wp5dL!TlR{5wbgs4*8UI!rM^cVA;iw zXBZyfd&?hV*kQf2dt(DC;cqHsnje3i76v@~cG~`30UDgr?nt8BbSBOT){(lf7)ij1 zSb>E}sdoEIO#)`^t%5aBg)5!9NV1gAu~PP$YK5AFaJu63^1&i1nF((br-LFa;FyN>SuB!mWJCS_mKUWap8s(QZW(qR z0vqmCv(`;7KkQZyWRm0*2p_CVwfh0sG#$i(zKX^p# z#BX`Pe>r~;DykHyN#PFq`KYfs%~dlD?npT-B5p}*B}v_qhSd| z2LElR)+Rm6hL=Wbs2|>$>sbKpIWLt5Bt`W%g0XBmY45hgm^+OrTEL#drns|_!6{bB-UK8?vVxWrkosGxKLe<#>Y09%cs*l38FRFB(}rPaSVBZELZ?3^565O*4F9h&I>6`LLF(8QqAu7ptu|GR&b z1OER{9EA=4$6E9(P3Q}*DsJe*#CX<9#>&Jw0`-ja08&s84~m(oX-PyVAPXlo(8v1e zs=F3T9Vpcyl&p(XHC6g3=G=&btxcmDBi)-T8Hru-+Y{e~EHWj6joLFher)CD zJjeTDGWgErV7F}AY05jcd};cE=ho;Wf1SN-_lbHryp=jUW6=4vkQzM%0RbpPaDp3;jfBe%C<%Sv0s+9dt2=l$cmx%o2W+2tull0t%go3p#A-NEkcW=AUN>Ps0cUUqjRCQ~(&{Fz1c z=Z!vkFBR<-!l;#vClxuom2FeyKNnZKfTNef)GZRb+y*5OF&7;Pe2eq?$_)|cTi<%_^=ZaQm+*hkK4yz8y?DPUKZ4Px11 z(!A}*;OabjrG495@k?4YoIb%7lTgooBXHTF6LTuM