From 595966fc30bcac6a8b92586226dd5eadc852c862 Mon Sep 17 00:00:00 2001 From: Conor Schaefer Date: Tue, 25 Jun 2024 11:08:48 -0700 Subject: [PATCH] feat(crypto): add phase 2 outputs from ceremony These are the outputs generated by running `summonerd export` from the coordinator node, after concluding phase 2 of the summoning ceremony. --- .../crypto/proof-params/src/gen/convert_id.rs | 4 ++-- .../proof-params/src/gen/convert_pk.bin | 2 +- .../proof-params/src/gen/convert_vk.param | Bin 1256 -> 1256 bytes .../proof-params/src/gen/delegator_vote_id.rs | 4 ++-- .../src/gen/delegator_vote_pk.bin | 2 +- .../src/gen/delegator_vote_vk.param | Bin 7304 -> 7304 bytes .../src/gen/nullifier_derivation_id.rs | 4 ++-- .../src/gen/nullifier_derivation_pk.bin | 2 +- .../src/gen/nullifier_derivation_vk.param | Bin 7112 -> 7112 bytes .../crypto/proof-params/src/gen/output_id.rs | 4 ++-- .../crypto/proof-params/src/gen/output_pk.bin | 2 +- .../proof-params/src/gen/output_vk.param | Bin 968 -> 968 bytes .../crypto/proof-params/src/gen/spend_id.rs | 4 ++-- .../crypto/proof-params/src/gen/spend_pk.bin | 2 +- .../proof-params/src/gen/spend_vk.param | Bin 1160 -> 1160 bytes crates/crypto/proof-params/src/gen/swap_id.rs | 4 ++-- .../crypto/proof-params/src/gen/swap_pk.bin | 2 +- .../crypto/proof-params/src/gen/swap_vk.param | Bin 1064 -> 1064 bytes .../proof-params/src/gen/swapclaim_id.rs | 4 ++-- .../proof-params/src/gen/swapclaim_pk.bin | 2 +- .../proof-params/src/gen/swapclaim_vk.param | Bin 2888 -> 2888 bytes 21 files changed, 21 insertions(+), 21 deletions(-) diff --git a/crates/crypto/proof-params/src/gen/convert_id.rs b/crates/crypto/proof-params/src/gen/convert_id.rs index 5b1ba56bba..6355445644 100644 --- a/crates/crypto/proof-params/src/gen/convert_id.rs +++ b/crates/crypto/proof-params/src/gen/convert_id.rs @@ -1,3 +1,3 @@ -pub const PROVING_KEY_ID: &'static str = "groth16pk1kfzjt6swuq8n3ndn9kezdx3sqfa92tlaqlz7hkm3vp99w9567wxq6qvxd9"; -pub const VERIFICATION_KEY_ID: &'static str = "groth16vk1ln7qfpulmt0xy5vmuwsw8clflryuwpafqzpty57g7u4vgzp3rgvqwwv3pw"; +pub const PROVING_KEY_ID: &'static str = "groth16pk1tt28h0w3fv73f88f5zlfsc925yvfxl9m0ne38lawy8wwvdj2wmeqhudt29"; +pub const VERIFICATION_KEY_ID: &'static str = "groth16vk1l7quguzkufhukyldhwnmx40wkzzhg33a4s9fmwtr3dyrxhwddh5smhtykm"; diff --git a/crates/crypto/proof-params/src/gen/convert_pk.bin b/crates/crypto/proof-params/src/gen/convert_pk.bin index cebd454867..77ccef88bb 100644 --- a/crates/crypto/proof-params/src/gen/convert_pk.bin +++ b/crates/crypto/proof-params/src/gen/convert_pk.bin @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:e253e17cbdea9701d2505259c7b128ec545bab2d4fca0a54436e658bc6d750ed +oid sha256:ba3bb4880898c6150e94a253db0ac4e2bdcd8857b8a9b84df4f54f87e989eca1 size 7926960 diff --git a/crates/crypto/proof-params/src/gen/convert_vk.param b/crates/crypto/proof-params/src/gen/convert_vk.param index f41c4319f6006b88c25d71d59325f22ad1f84903..879185f54952664fdd3c073ee825723845027ef6 100644 GIT binary patch delta 1081 zcmV-91jhU53Frxb$&vzLUcEhSDc`!ryn5967#^azV8n(8C}RheAW1G=ARl$NnaVtr zJU}%DapXJzmI6o1&D}waB%oM)#5Eqe(CZFQ6`_?lN|2F5gl8B0xGm1Iy`nM~%!EvU zCk!P3208fXv9GR6kVm$-0sy)g$Yx~*U4Rgx(1pj>;dgU?D>a3+&z&mPgu0wIjfbh4 z0p(pT%6}Dzl-aj7c-Q0nY6oGj>xKMLO5qOI)c}P(^Fp#f2_m0fQZM0KAxC z#$oEYO&dD}mPi26PT|#HWM#+CJc3>Xbk!pueEpK;t3tp$yb&xSufW<$01~d(*5SkM zuo2EhLjffryW!Wg(?;;=Pxu5YB~zwTSkxE|&WfRLzR9o9IfE3K%<5Vo@0dSj>k-|D-F_QkMsbVE~k8Z{RF| zL=RbBf~t9rD_rdVF83)*?0-Trpd+bzb`-g#o>LKVwQd0VVjqGl3&N_+_EO3K4=)l6 zd#U@^j#V59AHqOxLrLRJUn7CK1w?X{pZ>M^%a#BJ000000001@GoABvN3XDo^&BH# zk{NZ;ux9hx)`(k-jhiwVQET(U-pm!v#=rXzQbfuqw`-v1n03 zhh16;(+b*=SX{aS7k|T+)0ehbiN4Ks0FLOAnP?f^-z2T3Y^|(wP5`lxy<|2t;UY=N z95hl4Oh=2XQt0&qtIaZIvMqO`0r94$3dUp9hGcvf9Rqt0t-#HdMWc>aqXP{ZR8R_3 zJwflJvo}x!wP$-oBctP_00T@U`rYuxd-g=4M@%4LEniw}(to%s_LDsNwljcFys8wk zR>25`>?Q{{dS#k#JOEqq4>`*H{I((O{Bzyx<;{34bNtlpCdo>Oi6B= z+DSn`Bmqqi3x8CB5aw1RWgYnReK2}!)mVn2N+=6n*%1RS=Pp%>08sYh?cT2*_8!lv zodJQlM`-voK)0<3dzb@XZnjgMG!us6)3vTfs=wxHDC6Cu?abEJQ3AkK{3uAG&jbLL zue8Ic(+xR2$u>3W4jr8s>Tgyh`ia5;QRcA#ZX2J3FGHh*w^FaX}vkML$I+BTOQ zbGRbWbHx>p|I22`s})RvssrIqKk@ZpXl{&uqp{Ox`3Y(n?EtrRvR@5C+*d11WD(ma zH}x(10<3$4Id-TCqyxQLynj|@A}fGXA}dMUfN;5_WsU(J)t^F~`U`RwF<2(7zufXT zs69HbW+3~>ftxXQE`y{tSzd#!kR`SU2x$O>bLQ(U9_InKnGF0~i7KQ{#=n6@Rb+DBpVJ4rvU3 zeZs3+f&Yv>1TuQgVip^7xESC9hBN?8YQV3z%Gv0E4^oE!mLk*<9oN%buj3J)whu`1 zDG%RmDqs)TJT}a~i;QIK3hkY1jrPOC4zrfV|D=%S`cLV_+0RLGhD2+ zY;A#|IYl=5=Wz@OPhut}YKvjlb0~B|-?Sy3pG=C^D*E`^;6t0DXb&w$~TjF^3bH3O60-2i(>bv^Gu!B{Mm>t6txY$aocMXG(9l2t6 zMcC2+b~T|jaraXRXiId*{HCl`8#?Na`QGuwRfsi-FJn-DLC^hB>_9G>{6U+dbPe(x z0pPCk&q?`WjT@&M{4mY~r{6VqU(f^nuzMzE(0Eh-_YS(lXBI4=Le%+a$k!pP0V)Pn z%=U(axw$3sKMkbq%o{6yYgHfaaPLFWD0{u4L{kozz+I}f?HmUkJZ65n0PcXkhQpsP z&WJ;mbi-F7-uk30rK47PGD9xkW))Ellh{eGASxb_KgoRv5*O6>AAyq~0lL2{V3}MpOX7~VlTp_o1Tu#kQmzn=52AxLd3Eg+u8vW}O*>O&0qW057)IKUeEZ@&a##dWz0#9zd34 z6ZF74qUiA=FrG-Pyq=ZjBV93~tQaDCwijxG02$4L!ZNg*+*f7lPmr7+TSS!2lHp{e z{0R<@uZ)DP1+H28zXg9=uk_CFeYZzYnt`H{^Ekt8>vCgNHgYpmi10i=>7Btb9D z&$XKl&6~^Jz@{~(@tg34t|1(Srir!UohIcSaT2pUu5Q@Va@4DH0NbaIo~~+kK>9p} zXpGAsR=I!nVjDjIDyW}&5=$W<(Ck;I#fwHMy4FaMM_zJ5#Q+w6NHp@MHY3u6sv918 zE9iO{*ZF1IutH|MmGu4Q-gsWk+9Z!<0BQs7v+a3TO=GgiyUS#Hn@8a`PK$*mNetI>Sc(@=V zomY4{ja1|fT=hS0C#Q0NCmD&r5UBxKnRxQ~IC<6$7TW{o7HK}fv;Oyq=$|;l2NN#R z788H(c>7j1g&a!s6P#AE)tU-{JSef3UB3XilW1Y&7I2!|<)ajtQS-mK!p3ehWRS0Re=UTIfs&f^KO` zyTkBBhzz=00ZnC&7;`(Eo_|zHzj=BbFD0>q-gRx%es`$gV}_B#J53&}vncHv(i*+* z6{;OufjR$=%e^ zUDvHmR$=jbZdg89ia2H)O)}%)wxB^EtyqzGF<50}?)+OpzAvb1qc-Lrivft#a%DRA zsoIrJJObKu>A~chSC}Hi2awHL(x2Kre0$D8Dcb$aSYZ-(Y_YhhU<` zS%W?2Ee8*V=@}p3Y%X^JRdktf$+bpFo(Ju&obq*k5a1K_*+3 z;n6nG|8v_~Y;{<_2-gE3__%-WsP5S$0Sx**u^h&F{QM+BWD_c!Y9>3qLc#^`?Ki=~ zJZ;y)1GI-Mg{QjPfYo0Z0=te8&mp)3Jj7yhRO;O{Kgs2)m49I*-Sv%Z zONlliT5D~Y&~ptqOSm*m0c=~hI+=16V6=b;*|%~pwq!zIG^AA0U<5j*j8CC=?rof!hMGuCCmyGy z#NVF5D+)}(ga9Kg>zUr7v2Kw%PYdOII~ja_e(qW^H7j=KDq6go!x9R>fpRszdx@y46qmPjq(P0CbTHT{MwBeS<;))3`0cK=ylWW|u&Yl3+g*|ft!jJ$HH0Ob8?ZD>O zNvLq}l6#ga>K=dg9+dq5H+i|Xxo#4yG}Qz_sro@0mrBV;fkB`pV(BT&K=5U&R^=Gr zGo7W_TO(FR$475#rXQ^>+`mArh>`=paf~GARCFnH0j5lL3HV?A!V^|df$ zIJS*fc*la(_$|&YEXMY%S!3QtCjaY`LjjB1z-P*c?OM&lBLn(1!xmuPC!DD0}c6|3CoheqQjp0BLB3O*m z&B$jC)60JqfJ65t0*5u<%QpcEN%Le;6Fw9KM`*#O8{KqGt$VIR(r%K0_3UE_}DI}y&TbSR( z+3Zi9t#e6%wskh%il%3qLQ=n_ynV-KnJ{vgH_+M)F)#wvqYw{+SN%zhbbiMi!mXX- z=Yb>v>@!zkk_;4G@yp!7b#`9wV-Aol=a{>0U{L86Ta-YZa13PhLGVlN)VK>SDdTa0 zRF!`%q|T>eXi{7p038d~ zaa}x4l@>%I?*-Wynsk!{4%)D=JP|!elCsLaAa2H&yr`mrGUS?GCNs2?0GK%?)a2Gp z5i0O?s`gbqx;K$u5bZzWGL!0u(Pmgz!M%U`GRhm=_iugR)yy5tB>)I(aSstdyh~kG z=42;Zks-CDhGVAcf+jIx(Wb+YdN44JRG$s%7v?Loqt~j@l7TJ7MoV=v-Z6=*%L(&4 zeLF3SqerhKBY^lBn3ui;dX^d>;U6;G1h7R#7$IIJ`T$bCv8;I-QJifVGzR}Qgx!B> zO75ub@x&2zA_VCg?w%t@6_pQK3RKo0No&#VZyNw2a}Wi>+A!I-O}n-kJ?ITTz#$<1 zE`kpK6Ge4k`i0u&hzwYVYSVcJF~l3Z)ItFcl;=+n@EdzNcbm?0=#F(c(CwkfN=Bo< zT^N39d#q4*DpAJ6P(IIXCnqY&oDF}0sn*=q@u|-ZDEF5;*{WN>YpIPSf~$5OsY_lM zgjnUPA1JQBO@9QzR9#cBiI$@Q%3KOF=yculVb&L%*1!9g5I4h&cS#!za}G!qb*J^% zqrC5Pk4%Pz5;v=Q0cZ@4)=uVai*M5h^+MJz{7nZ9_Y4qVz%$OaxWEE6zq3} z&%y5J3+yTf0FXu#0nGZL2&y<(r#yOSKU2cLJFQqhmc!{+tH8N1fQ0Bv$#6Q{gFrG{32UM>jdS`4?`-=kBFT_67&$+jNjf}Q0e32P=HFN8GIsk4v zllRJew}B&&+z~{A2VZjPD0hM^`xXk;6`;{2v3U5w%y(Q62)=h+q1ot0{L1ZNW_RKvT_oq9(mBZ^rc)ypVu=pf92m~*YvMqWjoya=LlfxzicyKCYY=~vb)`_Zpj8uaV!>-| ztHzG)1aU;$32Y^m4%xY0F(r{>VjBT?0Kd8^JLecDO;GY|$?NHCGEw`$V~v~cx? zvB@)u+0vmn1p8*!9$nzK!Ior;0j$dCha7+>VoWiCv49YKLp_G(^{D=%=r;SPy26_( zle0HMeko`OX(WGdf0&An%K*wXBk>QT6iUB=vs@yJlvU~o)lvQm3#X7$a|>8DGw72M zv6oQKg93`iSDOy39RZ5#s2IXEiIZX`IYaC<=$C`T z-AlG72NqfHSpcW(LBz*_QY5X`>=DE#GbX7HS(84da7lm9?7xkPOw;ZEJUQBw!U}Cc z82wrQN<;x&t0pIU4v$({<^A2$yP4Wm_4%7CYbd@u)&UY$o0H4SC=y?FI zV@0Jbo;rV`@bS}Qi^v8O17*xi>wId$Pw>#TW1>pSvyNfU_{pVlt z_74=wt1ti}-~}BO(zO)QyGF^fvV?~LO{AB9s-u7Sm-#(i$}7-g05~IphUO}-UG6!0 zFJkTp+(F{yp*k=oZ$p>TIKg`i1NzcKDj zJ4JHz+Kqbb_Cq#Fn-^CYmDd>g+lM_qq=A4E!&_Eax_;CrsbbD#Vo?U^EuyiDQJNMG zfts*;|1yiV%T{jZ8JC5ES{qSd#Q>IuVikXH-ihAd2f>KnaFASl( zpjb)kE=vQI|9^=W;)`jc^KyZg-`hhmaCOWfneL6S+b zS473s%T5~YjY}HG%2ffF)!xgjdBk%|lBb_iFF^RFo_8Y#Z^1e3q}7}O?KAoNP9J|( zqH1}qK*nV>0~?`%;SOIsI8dGw!kEkrmVBg=5ph?D=F^*6sXadqpwYV_t5j2Fq9!wj zO2|)D#qO#ByLiytE=OyPr8T7@XUKF=sz$vd{{Z)a(HkmX645gMf}xrZBW-LInFo-E zk5ixk$>noZvQt#aH2fWJ5 z0IXgs9YST~6kum$4sVaiV+Gy^d4!Yo?hkc59NG#v*DQ-D=V4@8XcQd^XhwBclLoy4;M*{M^5!Lyv?N`XzseC5CSvYE4Sn z25<&7qchffrd2f6UE&oN4{`!0A!`Z&`Y&if%w9tdhWNTEz<)83I^^x3ol^$tk^CF4 zTE{4*X`)bvP;R1>0)p}BU@bj?Bl3e(HZj*HHZ%OhUhx9FFfkFE^~-JcE*Mmh2SiT) zHNYVY-|Rf!XXUF4OhkVp0nF}Myp={irCaLZlNa>4%G);5q7t;3%RzU?LbwmY0H{Hy zN!T1T3_NfDWTX#=f!xZihXk?-MK^020g(<2(~XlcXEqi$$PEUMi%5u8#IJkPv-%$7 zuuVr?LFgfX0CftOO6ER1Q!d1`iF6*yvn;=1@lIgxiyHzqTReY(bnQV-;YEq8y9=;m z2}r55O@Zd&6iZXEQYDURp;`jfgM>gE_K)*v1;_!uxnYG_2rQtp0q9eF_(en=5BwjZ zrUAP=)Xv3{Dl?1sC>B16-a(1(-9CE&Qv(mXNX{Wj@4XxhZnMGowr}*q%Mv(q41ogS z?ST)PW)YHTjMYa-7G3S%+CNMGr0k2 zDCya1v~*x%c~Akt_(_5u_Al6*Mil2wKlu=O&XafDcz?Vxq*C0&}h!-By#$DB1q%{=+&bf+Nz9t=n?QUX9({_*0|z;fHe ztiYFak?^NZ89DIcZaMVvvYpq8>)gf!s$uib*VbCftV^@XHL{8M25zQ_th^ zUuw5S8D4Lu#|@Q%l0q03S6%Z>f)K%00MC2GYS07kAUyH&fp97Eob8|!P5FFV*a{l3 z@UyrU6ccRhW~b`n?}OD3z%QMb07wvD?#Q`zdC-4UmkKiPQu->NJbf4OL~nVn{0Dc& ztTfBHs%3e-QVQw@&MU{u}=~xK+hu-G*#g;eC{6lRh~1z0UYg0+K>>Sv=0{7 zG`p<3d-vH_hr!W_SpY4&#rPI)6wAId;)!O81e2l`@99amtZ{{voFti2P4tvUCf~{Q z0e^p5)(TKP&z1q>-qN(gN{jm1Nb_;Cm+@gKq753wdgSm5FDiZBfW<7faw(gMLC{kM zTR!k!PTPRj2ZBz1UxFI+fVg@GC)@^VtICYZXhSntYEY7tpK>45hs)JIsa4=Z)hQe< zs7nD@iu4B>N@5d5NA7=$Fj-6sP-H)j#XW!W1Y68-Rd0yaEZjZf6fVpiK}nb)HG&cV zUAiK@D*V%F-`Fa1olLN>xs*k$7v!T3tYYsz+X~ER3BJ5fLHW{ezo`Jmr10_p?gCZh zIxSg*Dca8a#k0+AwHN_6yiX-9uj+R>zpl7Fv(wjj@*ao1Esz9|<};;%j~;=Y*oc3* z#mqFn;7$(j#~6Ng2WI7vD_#a9=?pwoHe{o;0bd~I^DpPJo*qL}07U5v2L+Dkmfj>N zhy%hNu?9McaIHa{zn={O5)-B5%b9M&a!3sMuLjH}g=_3`fso0WJ>Ow9G~DNL{+O9A zLqh3?(zIm|Tdrznbes&FMxoS$^df(u!R&JTGY7tP(rA~le7f*k`F16Fa z1n=4+=QmsU0$=hkST^Ra4(1N{Z!`e+7*w^UG37N-o<6f>eEz<1kzj>J6jVDFay=Nw~WQSq;P5wX^_w8>P18Lt`_l-S7C(jV+S`Izq4;2 delta 7177 zcmV+k9QNagIfyxb$-rlm8SSwRT|U*>H>He|>6TR#M zm?#baq*nv?IlYHJtoVAa-*eM&ui;42|Ck{LbSB3O(FYuVBpA07Uv@zIA}O&AsvdcD z07jt^+X`jCu^E{A&9Fq{V2VJW1cZ4;SU=*UVlvNV+oR93>9MEnE1*Ku4tX9I0U6Tn zT3i8Ih}FE`5jP#83BuN1n*vN1#m+&zMW3Kd)++tNd1r*1mN0ClOWfRyG& zjDp6Sm|9aJa83%Rnv$nBp#&`@?e?bPf3(BM2}IlM!VK`(h`8n_(g2en0lGcUS*h!L>{XMU^IApmGP)ov-y~*#tFiC2m8OCc6NPWeVXZaH5h8 zAt zb%G+h@NyW)(+e?5{h>UwplyHb2Zs}Q|M?iQ+e2~X%XR;9Qw0L88SpCFMHJu#|s;iL|@V+le%uw%wG%Fzm-^MFgjOJv z6-oXxxTChb3-0^o6L1o=e}TTk9AOE6a~aWfaXwZ!EPQcxh3S9Yz=+{|vfTvptO^x* z`x(HXHKynaHo*kNzK8%{Sd7SFcdRM$oNSwP8VhaYFJ1v_i2RP&>^NY0_TqRiCaEnK z--A5?zn&?vHxPjWSaNK!?ra%pxm~Z7ywPL7IyXrmi1L-QRhb zEfC5pd$j;5-KT$(B0SsA8`Kti3;OlfmAFcF-`J&IDviHfWyBe}A@vochbs@A*}{5j z-9%Y|4o3RHssW-dLl;2oYuJN!yq?l(B#-0y2S{o4eJl(PDg7W$V=kAh@Y0Aba+VeW z{gUM?I5DuhSV>lf{YUZ7h5kw@mnA$g#%OeH|Lgt*1MYwEp;JaKKlXkev0~NjlNx*#hQvhHmvBB{irkphO?W;=U z-N-Eqnc-91=iyaF%72v zeRj^rSmFedCaz1pS(E!(o5+!q*31C#DLhE8248jTMA%pS*qCGaq-pRT{(KxNVa%I| z3>AM24t6iON9DnB~!A+0?~`>~HB8Y_|X^eb1d- zljR-V=}trFd=|1}*fyB}B-d%y6VH( zsE0Un(||-N=eU^wMbzfzNX`vm&Y?iXJgt8$qVZqLR$mLlB85j&Mxb@fsRUo@?7MfPd0oSG%$|%K#L7cRM0+KmKZNZQ!mm4Dn<9}sP_utV z#Q;Kc=rsE)ww~clCz+|Jem$2^Xh8bh0~e8Y>ett#<5-TuV#m6r^oY1sH`?5@N&pB+ z`Oar!En($FTEsX16X``xqY$H&hY>R*uZXep*!({Zyv*Km@=)^D<_-1<|Kc+cQksw8#Z$us^N-*fVM4kF!6xhL1RGpvcL%D z6zLL*lcXbg-)ozz803}H6Iz)wXoz(D#|Y_GH1)?i0$3%C3YGvZlT?}zlt#Up_b&nq z?)*?e`eFV0Dl$HW)xsIQ>!DxaD|xTkpUAVE-)%0hw3q;*B4ZGX^(RYBl>2{pn~2v! zG@M6+z(#Ue9D9+n?#g6Yd;0Fs87#{5JxeSszaSw1)2FHqEiiB{T3!rU7kKfmun#$P z6p0ozUvalKp8`{iU0by!yu+W3vBRS+=7z2?YAwX;}5MaCB;`&GS zZZCMav>y^EoUSLBb@^O8Q~Q;&8LNl4zK;!ZKSL2C|{ z`~Rh6#{e7D1c~5bdu@Lxx4my5&z&2Cik4!HBP$7?HXOT*Ou$B^toLk#x|U zu9g71By?$db!W9oMR97pqSY{dygZ*a^Pxi)@9Nr8O^g6;R7hd1pkC8iaXkub^R@s= zW^G;ns1!{Gl%hh%S;8-vv3tM~pVq5vhHz#z1U&jVDPPiaXk>r4>2lo{eUC{1tJ7%5 z6GRhAJE7l^d$8K$Mzj;MDEc~bSB>2G9=A50kJ+f~T=mWB>RLA3c!qTVy}UGs@O|54 zBHd#-RRhn%o#1Lf`?K1PZCA*^yAR%zGgP1_CEx`DXV4S?dIJGwlI%ihMJEs7 zq4<)#X=Nz3xLkkNK(6=lOt!aujWvb!+AHdv^*!pk_8Ije0DnJTzhlczMxqLVvSs0e zJh1jBX?pX&JZYVx*5T{<4Jdl}$1^kYaERXFO%NX@07E>oTv9lU{9UPn1)4yVJF}`R z2!wd}WzNX+uvB&>(q}7!FG^jdAa!IJVm!}(0K>(j2e5xnaa>uUlnPb6-pK8@C>qk! z|CE7Nt?=|OQRCZ)pGwQ-FPK>iG}ss#3QH(nZrGAFi8MK9EcfF0G#b*!aH` zObLA8@Isch&g~rs79)XND?9&Jq@&J4eQ^7r`S2&oQ|0=uN9qG<$8@JogdNZ=^ zNmB$^Fiuwh&k|6vL^|Q!69q0Xz1+OMkpOJ-&RN%D5S<3Lgq*r$&rv)LBKo0M%R+%6 z5t8BnPN%q89i;(UC$VmKrwog#-lBWu;ADxcaQcGYZbDvL$#V1On8N_W|Irp@r>Q~`catykGZa)XnW zT+d0&zR*o5&mGLvgcOaDHXY<+KoXflvC$ht-F2n^CKLG4rnRLPE9f2=()AGjgj#+=Y z?xN)u9f?7Z6Hjf8&85r~5Xr%!&{yO5xh>mvah!pVaJiSj`^}u2c{A1)irn*zaF@p1 zFY<*V9Aqi15%M7+F4?iDb9t>0S-oKB-wOd@?9~Q8Rr&T+aB&uM9Jqk78cdhm)X@M` zG8cRP`=ED5iHP ztHjQp>DGao_szRnrymbap#iKu52cQ#aU@7?91#y-_U}rw z1YJD96U$B(087y=E1V-)dOa*gGk@K9ct8;w<~8fG$Zi3_iaM>ep{| z=j?p~0FB{U5=_;B-3o2@s?2{Mx&DrGd<%cB-2=tu$X@C3>8nF2fL@VA1+qiICJN2h zM*wV)d|emSGmK02q?hvA>SRz3djc$aAW3ikkA(LX10{>+lGNYU$gd%Hou40k>ONQ z#ZS`R5jI!~HKuv;fmMG~6TsdWH$uQ~pztpR9ycE9GwABV#;U8 zFaF|WG(j(Z;Nta z@zj3}2WH1B0M*L%#dFz4HwRxVo_g5bT%6kgrCn%_megg=wF`d}GGaA($KAjYk=E_f zkm;R*mi;Fu(Jez5KUGxM-HTQ|Pq)-rvmRI=f_JAsJ<3bw?cm;Z|*nf3&>VpIY{_x@EH(2Ijd#9JKzrlLGO%#kiS z+lBU0t=#@;&M zsR&TIb*UgbZ>=mycn?nhwEuFlLQ`gguFXV?II`=>jp++B0KqG{Kv6vm{N|vKYTDSa z45jpQNAZ8_@lzQQ+|jXl6&?eRxB{apvNrgk`nuqffjo1RqA%qkrNhJ<)x_6Iiv`#& z&QpIG^SclBvVbl&bv)&-agrsi$p}5Qy_!`&DghM`ouP~dx|sf~-ezImO_Nb=_hn)D z9;S3#KS0i6mG`Wed75&?Xu;_71N02CLxJXIpkCY|jrZYt9u7YXjKQk<61Dq{Qn~P= znhn7X2QXqiSV`ZkEdLZ-xw(X-n*ihaxTAlz*E@UueDKlpKm!7@P(MKP&!$i=19`p^ zer+rtYc)0xGl8p(tY6P=Y#xDN(kM*Oe_AAbjB z4=(nut(67=h{XpEJjXwUZf0#fWD%e$H~u>f3LC(|7`99XYN8okS`!8{QYdOt)n{qV zBMTdWk*D-Jn(S#9+a-tf{IiQLCY^sOoy!P-m&o&u##E~DWJ`wuo#d{(dh?bFW2OBr z0hpFhsi&u3J*dQG6Z^tS**;Q{TU{Ch{J@V+PT_9KV&%1SQ%L{PdYkaqm1ueSfMWW+ z{dT3-3GrNO>idlj7gf~qzN_tesg@vq8pj=u*DfqLIb`-)<uU3U#;E4rN>^vAbIHOr_K-hT1}@i-p}NQV3R!rskN*)X8>bgVsU;@y~a-Y z{OpWNJS6M*9RNPpASDeMPDgeWNb~rQ`xfq?eSwns; zhW)@GLY*SYg);)?5r&HZU&?v)KMd%DB#kPlcEf0aWJJ_ZqS$#;&V#zX3mgE#6^dwfq8UOWyrhJ?3G4rIM;n&^ z(R6QpMpfeW0fS7%4R_s~$^BdSR32sm@KJ#~RvpGVoJLqlt1>PHv7vwKDijZUcr$!b z%cGsiuux@iip#o)nS&72B|U}WZ}1=hvO;1dO9S*;FNSikT3M;(d8h*&@1XcQj79xo zLn5y>LM7*Fwpy~d0?4L24U#DUcl@2Z%WLNg%nATKqUg4W{9U>*K}Vu@ly_u%&FY41 z0OUL8?g1h~-bhjT2aULv>9irncZB2cA>9Xev*X z>;R#xC8M4h3NtZd&#&kyia{m>3L3Vhg8vKa7x$%`Nqyc|1d%8Y@UzSqel!Fa4FCY$ zF9=RIYqNdMv|fKEzMUzf9Moz|tS>T@?aqrBCw8RL`Rq6DSW!<7Rj)XT!)?9&iRB19RxOh3+ zxiU<-u?K^wTtmsH^z?+Y3TCbms&1ef`|Yp(Wcak6t^R+LG|e;tLozcND0dGrlZ0Zj zpW1By71^<&HrSJiVSN9TiX8Vq-i>fQrlntYoUw%fd$I6#$mN*9qQ0^r!%UMu z`e<@BUyZ`hSAA)cPCdZQo?|jyzIr72Cv$H=xaZ{nEEtb{u0PkDiSN2RR-5#W#t?I1 zA8rH^B_)5YzA=+@6Y##BH*0t+3k21c^Ex6bfoa)7U+XUH8zuOh0_9^K|JN-*n#09+TpnYVCx^oxJIrObj5(%B|%$pozi>+e9_zGc6p zXTw9PP8`5D&i#99Ud6u8Ii9K#q6I=gMTebY8gS?C|Q$OJec?e%O+su zy{>;$Us8>BFt06;|dO3&!=MwaTF8{{x>O79ux@ez^1-Fz>UlP)8jAuCFd_ zD=Nac&T)FgOSjsF1{1#xzZM!B`L2`4aPve1`y=Wye&+z}U&5}qV#@^pDvoZ8f(d_d zguB^x-TiAEZ3rfY*xo{%s=BoG+dJI8`ydUSOQULM5o*g1{GrE!0DeFk<$eld%kT-e zfKG4g4^I&&Q-UoW2UWmm={TdeVN!?D#Z>C%^)td&48##4fy-{o;BsAp7vigABHiXH zB@0;{Bz%369kG?yrBa>EQQao*lxTnNzXqmuCm<m<8gG?*;kGAzUI>pEExbYalz59ih8 ztt`xGQA2oZp@%Qc)mee@o_$?OPp%F*EDLsjHoRfoYBYYCNVs@GLLq4+aZt6rX-%g{u+jDq7(vQ4vPcPvkoxF0^rJoxmlo7M*pRdH@S<2W!F Lp%>R!8O*QVePp9zhh z<^=8iz2I3PY)D`%avI(|X>@)psuo>42{cI~328rndY{Gh7CqN}Dz1DPZZ%8o?R0KLyzbIMt>&&&xQNos*BLkbEZJ z6=XQ}c_+0QK^D3gt1KShfV@p?9;-EC8NG1>?H>=&IOK2!_kX%oZkP42c^Ws$}0zFL7N)2}`I9?^lupwV2H=>Y>37P`bDwt?*1C|QZ$evW)c z%-AY8W&x^bC4W+XCf+LfclI785Y80-X;7h?3F>@CaGAd$|2QnCy*Cs$#Ls}I4&p;- zlBEEIbBR@dfHSS;GFVzkal(hF!SGn_#s4GMk#ta8G5QXmeL!qy^u%qJA+9|s!07;* z6XFS)HAtkB50Ll!1h#BS7PYX%Cs;uT?L>MUwUHHV5`S$EIEhMV?UbM{Y`hWxd|}}F zrg{=?@c9(K9dK6~-Ikva`4`E@GmX(3(HAHRTf(*}5vy{QO)V|~wZ4i;$|c>j z%{eADcn>A4%_*J)QG4%t^&`l{ZEjK{?&OtVx%EjBxIL1QU_n)ZSUOxJ6I*VDBE5wc znIFE@wSRA_KSt~`LygQvb2=Qp5q#a;Sht0pj5%5j`y5C z^<-jMr$hSC&x@ym$?!2h1cYclB%0W|rW zpht+77WP&X9jKsH^qP1LcK#6}oB_MF_}`!7l^r{*tw1i}1bKNRMtuT zI~SoI`Y1xizYEf77cT%`A)5D9hsu9@4rGF#2X$E3$)ti>fC-_k3;EN6oK`vCLK1Fys zCd4_LD#@DwzK%fKzpMIeE6?={mi;`GN+g~IT-Q)zWVxRTUe8jn3bOUT;@7BEyAExF zuH`C$&?3^I^b!+`Med%0?x(OZrRE38Tar9{u&u_?f8+~ZF^e2;4CLk0XivPbqJKuC z0sWYB)St&LfL643N#E%HLfA<*7p8iE-fCy9C(m?zI87jr6oeYgB${uyt^Y|Q301@gZ9Yvmb&vc_F{cxxS#?XX)Bm7G$0PK7vK%PSl z&IzUiQW!}z>WT&bMpoA=$*5AUqJJtF*q`WV1C!XR;QEuwttHmcu>h*zvKxEZ3*rc2 z%f@rtnpWqVZs8GM({w7hMmn+X7tQ^(hyqMq*(E(q^o-br#fBh&e?LNF=9 zg!_wj0zc`NPv6THT)p(J&VOU38xA@EUB|);vV8bSTFeSh@_}O7St{21Jh#tz{KXB@ zows;!`3QZ}Oh}>X7^M=6Uq)I0JyUhQtI2p}-pc}LZ%@Q@wIovQQzCG^;uk3U!BJ`u z&q!OutiXXIjc$Nfn;Ikm^fAn>I{2lA1^%d0%8aF_R^NGXre6qcK7T=gSKrPR(epW~ zX$N59y5Jz?N^!#JiimWMfCthmlW=~QUKh&w3jNcjFup0$A`l8xkbOpYp zNdb^rUxF})v}wkbLuI+J&Ca<9hXV*+cBW{1Q~!#8{A*ho`iq*CSdz8u;Ou^nB7x64 z@D@QwS+WD|{zGBCq?*nlHgUJdH)I~t3T`d^A50yS92SFx<9{q?(VEjJ@&W;W<-pW! z2?p2Es{ZMc`D=hf8mLJ?JiFflDS}tD1;>Q!!LxYG6%)H*Kp9LCh-86u_fhp7qg$p2 z@Y(iDyy~w|MdB<=qb7sDGG3o+^QPdl$CNmb%$zNTmIURE%|8LndFBrO_VXit-qFVr z=UsHBh-;YBp?}?f*)wbxLbv#2C#S+FCcnNSiDQ=(Oxrera_H=psa;_OMe=1!jMxSiGk>MDXYXep`0Vv-3J!7b=TPc--L?^SjXwm96lOFR_PTcs? z1V3SZ!^g~+ypf?_zUH4)eZVsjn|=BQ3d77)BGON0i0iipAn= zfRCOXJGOID@)s2Z4}p}+hYDPe?p+F3_N^MdqB{`ymE5VDjcK<(Z`p_YE`L3<+Ujvs z$FaA-6Rdg{0s(QPQhi6(EXdf0JQ(q%UK3fLV1MjYDBcgc0oqE2{5Kq&F=3sp!h%H% zjkcAuB$R>qMs%*{6Ue!m%b}4zka@-zV6>SxW@7Y{e^>{}Za~0dMt`V=m8OW_#DmJy z^A-UPm+4D6rMP~7@mW5&72rjb7|TQHXeIk)*NS6>|3*3(Qp2f8ip1ecU!PgKvOs}i zH-9}t;Vji>qUQ$-;{zdq4HAQLKGU=zzT*T@)=^oXK-hZz34k9)G{Efamx)ziG_@7}~y=0bjRvP)~tHqm>QQ z z=@MMmOrI+Q*(}MFDE^tIDFO9`sM)rDPP3xD{FB{$04L8=fZbKtT;))X>O@)`PJdi< zqUB@OpUa-6m7#bx!1t1%_HI#uR#~gBPEw}?R)Mm-=&wH^jhrnyWdCvK50>=N^}HN% zvEQ*Ey(^)Qp0v=tW5)HGYXb>)az`?_vjEPUM+}~`;w)r=ueHn#Ke-7V=HHoqL@fT9 zNS+gx^$qM=lFKh~173wmCOE8+Q-6Wa$LRKrg<%qC7JOf-oxt+~CO_RYg0V z7rQ08j?|XB4FP4qlvv8EMMeRlZD)Va{hju|J%AU@6*QH4<4tZ@mX{31YzS;o=%teH zKHx{);>MEh5Pk@74gG*Mm1K$s(1}SV$M6L!0f}Tqd$D*QrQw0oPwC`z8h zy>^h#fIL!tm_BpoedDccsDk~fU^is~3GJIg*Ge)Qf-X?Z!SV;HrvZ_+alpsh(Nbh@ zgmeTl+NA{w&7rJ1?NL5OLS08biITR(Tj}zJ%N{KvDeW&Go)H)hW=0l zFHWK*QE4*3K$Ogt?+t~n!)_nlLJQ1t}+$L$w7;Qawqk#M# z`7kOy4=6eg^litI&jk4Ri=y^eTpK-Yp1ych{;h$1g93_O-7Ml|8vQP=TD>y4^V)|X z!MU*5fz#ihD4G}^xiw;Bd&}oIRbk>&MwB-<4sP zT8x>eJE65C9sz&!A^O=e)R9L4P_;xwja;*MGG;({9MM73y8q$@^$x0D$X86MuW7+1x-F0O|6#P{u3dk~}M$!lQ z9B*+~izi&t0Jb$fT)TxALeLRy7=yZN2ogB+UrHsqMSm*aFN`%0iWb9gs^S>qWQA}r zHM&3$H35ps?*gIR&kb0qRhvfpD#;?n4ai+Q_``)tRl*%NWubSo$gy&_!b=+ZR7OKw zy#Po#X`Rw8TzwrQ%YFuEv>z|lLplK%pvgnWzcAL!_!x$y70-g1k=*@a^w0ynhyfT% zy8#ED`G0Wc@h3HwnXK}8o#$Oe<5^0+Y&-P6(%KhJa8E4WQjtzkGt@ANwkrTR&d$ZP zh31u7^Lm>_Uc>dz;@2mC6!^o?nJ_%(N>@g;KG5T1lC+t&8#POhJ*fe1rw&+=P!DGk zJ|Gg052J_hL($5$18n_eIqlkPoZTC*5kfHTY=82tLU%J>N?AjJIZ@2tGr|}OQPUjP zm1JrsrASu2d*&gg`0pO7IJ#+<*fgbeuI6LEbi)Q=of4)1!gKrvW7Cl-#J!tD-Fdos&v_M}9;o z7k?x*-!lO4_Iozb-iAoZ`OJpdBfp;z|M>ND`Cx;K#-i@vP0^@{dc{~8lj4|-$ z$*%M|H}wd>XpMaVnjWzQ0Hj9N0GfsNlYgv#*!o+yhzFx-Y(lxnBKk)-jF_39Sl2ns z+2e*teYeA5Wm9gG1@QY-LjXB^VAC`YHObXQS7egqyPp$W0HH^b6^gl4h1psf^yp?Z|NlqM2!r@rV0wFLlT{+HGi_6 zQl~%phtd99moI^v%g)e#<0j>T31!WuxFs%ND#oeCK+GZ%EJ#$R5`Lxqa`u93mwde; z@odvf4Cnw}*5U{n@xNo8d@%Foq}2}6ul?}Sy4+05GoQE$AE_}93sI^y=&)P-ylM^# zTvh;7aYIo$Av`DlO(nQwcz@6KiZ7AZ zCiOw!&Kf&1BsGmh^QmZ?7Zq6ZFkPqBbUAE6>ezwHBk9lc6rGtLfujXD+?|Sd*rc_8 z0&FaPIp0w($Q$_)mxYU9x_vSNuD)e~O=g}}q_Iy9Tt>qk04+%Xp_=)U5mQOD*^?}V zpxv`WQ`xZ$pW8kM=5rcWhkwUf^hi!hmQg-Gh!6}?j{p%2UrAED0A+d=_*YKEbaSze zwr6?eEy}`gWqo`JBSbOz+INu-@=ZC8jANZ-Q2|g$V;TrotsVW8f~ma|09c^mN`IvW zy*=jg_5Rb@h>X}jMn>##&~9or6p1v2^?-w2jMEdH;iqJK?+Er(>Mg8^>E z0^&9IgA)yew;9eY1av0pABZ&2mk9w1GvP-|Uu;NzFB-)<2DG#o6{cR-kET6C2pv+w zKYldP{`M#_YOf4$S-9+UlAeLnn48UM`(uFc=k(!m-kxE0SW5_D3Y-FM5iZNESv|Rc zlG7?&zqStJ!S5Qs=6|yQPQ$D7s&W?Nnp7r}58&B>64@22dA_XUFunhB2~`O5?9=3B ztlV3KT~h>__ZhMP{y-Vue4pX?^}hf-3Q!9P-bRLwmCC`_{W>F(vxa67DCXSpI1VqF zi@DJR0ftKe?zNh1ptt3byMA1_qyW)cKbX|1>Wv##OWD8Qx__w~0BAR7=^KVhJTIS} ziaK+cf#lAI#$@aYxU9ry?_Wfd0NdIv93D226THv7EwM*}PsCOaJq*WiDH%{6gs&@8 z0n1(GsGwG_>A^=;<{wi0svl~y&hOW9>*Jd0#M(mZs)wzF!3Y^HUcAwSbwNf-f!5rp z|BltifFgy2YJaBf8rcv!)ylGFN7m|C+ik@5sNyg9=!Uie761?c5MAcJWss3gVlHjSf&Q~;=zxqa^zJib%@ z5EhF93lnK8x3E*Jr^`c&`Y;%oi|0^3(tM)Jof{iO%zt$p4x9m9vF`tIIH5XXq`uG9Lnbx-rpVDcEF2AJaHeaS+N7{k?H7vvvR>$p4uc*92{`97)^TW_zd(T8}T4 z3-yW=eSa`&ym;dDNt0rUfkK%|>4wpOUg5j|@I0;>68Qur!dqCu!0&$|O z%4wQttHlc+BA&BF#Bd6vJfBf*j+$WstWC$f1)_2JgkuoU&&oOn>vwsK1X~sn*!6wc zZ_1C%x`tk@G~S6}6z(fUE?Iv7Snsf|a%nfo_J1PSP8o~A`D1mV)E_yXn&}hR!A<=gycC@8woAL? zIe*F|GPZ}fnI!ifg{E_W>Df+pF%Iy*x7r-=P+<0`>&A%^fBY#3c4wzCjI2LXKCM`LqGrWJxa5V1 zj{pzD4(^bEA3wXs12PPZl=$^Xt@AJ^@PEGd-F&m(qpnlETUlwTZAi&oxhv1a?u-C^ z3bB%$g=JH9#B>MMmRwSqXmroP`>wm5oN(EKrr5|xX>Vf;1DG>$DIiOz%;5khpHXP0 zUf23HPsak_{%19;qU4Cf#Pa*t)Ot&7Iy&g|s=Kg?qLuKJ<$bY6o zMV&5a1$R3-GT-}!kXXlE75leoGJjlkGvXT$@V->yP>_+`YaTNJ^r77kV!VV&5o4kW zeS2omEZ#l8pyZ);1!a=eJrXiF>vMU?P^;s+pO^@|e+iucz{1U%#M?BU;Oh95urW@c zFo_LU(+bDZ%zhMXNDC+cP}Mtvdw*J|qgKeTXt*tH0Z*s$yZq_)M&Izx$s9@2Ro&{{ zri?QbjkYoxfbS5S%_qUX^YtcPC<|Z;NUJk}0Jj_(c}tHSH7->|+=R->RJYNCnRvy8 zGuWX)(mnCe17A3H8G2kPqg1h8130E?)nTq6wcVGD9SX4xuTSjUVK2plEqr;^~L Z$clpez&LX2SDK^OlLIA@#<4j?vH&^ba@_y` delta 6983 zcmV-N8@S}iH^?`Ct(&;qT#H3c3BJ~^HnwZq4syB1$M1G^Zn!zKAs}nY`l!_}w{=a_ zF?T7LB-$$gEigMHni@I|}_H;J;@CKfpzkwEC{cV%l8+fL95bYLSY#nXhjPqPMI zwdYR&wq!|su2D|N9T1btp-gBsS#M~aCf>K?l<`D=@VT>KJ(yZ=RpS_cXUQL6aW=!GFO*eoc*R zM({bt45SDir1wjAWI`~((Yl6Y2pE2{sI6K!l|W=x={|P}2IZ{j4aH{H{e;%as6Ba464P*kLDN&ph$Tbs%KU zKrZ>kmK#M0uPA63N>#BIe&5{wF~q!<>Ob000000001fPe#mTFNE+H(Fpj> zCyl$ol(PaT=#ji%R;z@~jS5DhN+bh$sebKBi{mez0q_9HGR|QuI)7*}=IV6I_&kbT zt%2W!ZMs66I__j4=0Aqa1@5FXu1D_Y+}T~}#V+_n3l!XPp z`R+Ikp3_Jd;^X^D93i*!U6Skq0U_l?eiZ5rT@zp~0{yb50p2z^*KPVP;-XGaIp@!* z`}mC`BIoWIp>?k~EM|pL0MH1d+ezW&P0)C0`3N3jr}2y(GJi|l@Wm)g1~Z(6y5sw? zsFIKqyp)I?l`2AVPyyjb-dnLqRZW;b4dI*m#0eQ7lqBX2D4!jK?+WnKrycx@Ni9fk z_Ah51cjg8uNC4GFhxc=Sxsg%mG#U=BIN3T6jD&r53|OTe{+-{8g$q2#>EUjJ;VxX? z0y>D9r2(J&NPifYbNwi}uYEaYk)1^ydebm5{3d7U_8dtO?q2mgzycc$M- z);9pLLt1uKcUUoxKRrtj`~L>58VnlW1z-^|R?T=*qY7L;)B+^?8O~UFK-eZ|TCM=z z8S&_QE1V`Q%fN6l8-1B6#k*MxiSbvY-Nz+*IOKkLNq^cCo(%ld*SdUy7!8~N9li3Z zafuCO@mhpe7nqdHDLv(Jg@EVIz8*mu#-ja8Ab*dy-%yJ@mv?a^?h>m2#gvWeRe7Ur z8*1zwVY&oS7GtdUkGj7E_&6{t7Mxy5GDYFq*o#W%1BGQw|FLoaDH_}1zr13ejD?&Y zWlJTIOMgZMXC4w8k>fwFNiGLP&Ba33=X{MGA^aH1`=w`v0dxz=I8wtXht`jN49@WQ zzcBfZ4DnR%erpiv=ife>f*FhVV|J27hK543w&o%;04cp}m?L7}BK{rvG=pp_y=z;q z{C2R(JtqQjtl3_8Nm~*ga$=ptX{oizmTF&y0e`brAYu*BRH{y)mrnyR3)1K3N(cXS zpAR70h@~5d3);>nbwFFM97RyMl?r`0tnVCL(eQP2gR%>`MG6; zfM;gFM#=Yd@@pdu|D92&=OqfYp#WV}%BWB&38mFs)TH;#o6#n^b13Ok&<|=|HC0lC zXMduH`BE+uC)ATBrf^!Nd&B?{_E5}doGs{Zd%N!tQ>KL9(5n^0N8p^IhK(nHbow(LA%+Ubjq@lSsIWU*KYq&Ml>UhrHxT$~}NNB7*tZ^Ig(`VTx{U5O| zZf%|XFwplx7q9@1p>NCE5K(@yuzKbPIDcTVq9i912^)X@_*R-!9g_FqPksg_2ha@p zv#zV^FJm471_}|z#PW6T(o@t#3eu@-;49L3mTe1)T;bOGg#fe@#< zx%)s@(CG-Svx!GBklA1P@uVwX8o#b(3QTv8Ps4{6(k65Ln$5nVM}gBq0FfB;_8llz)H6z8)KZyMnIu7Qgs@gEmp?M}b%5N2Q$^+TfI?O^5(`I%!nc^RBnWeW#e~5j#`NxwgRDldWW?Hc9QFTBi$A9+TVHy&7 zB&g8RNVctgokfE~=Y@AceqwV7Zy2vWhPN_z_5}gmxM$m)G?+47A8wM%QBx$w1+lY8 znZNx}H3&$jeqRt|kl+t*x3y10pmIII9r7HDRMvZB8Amtp||2x7w(q6W{|pGM*X zqcC~%wedHEEYsAr2ydsF=6}SVBv_9CN^vY{A<WPMt@4!Doa#r7XB9X<)=7mqK}{3|&z_s@H3+7$@zMx!wpAo3W*CCPXLq=g zU}}XM6i4(f<;NOYI!hY?O#PYDP30U|cZAthtj;OC@cMVOZw-a&b$^)S`Gl7zRuC2> zwhMGNs0M#1#AM3lxw5G9Hs`8*qzC0J69fq|MxSb~ypzSWnU9 zP})~&f#`n9`()Ogcz?s+>-)`kuqhWgG~N33@x_plHnt+HK4pgdnD9S=Z!Wx%zu(J- zo&ny4N~;%OAs4Bv-)E}omI$-`T1It{Lx(q)uOpwzRj80A@_qx(-grko3T;PS835N| zb2^!B6Z9VL03}f5fmI=BuAU-eImzH01>SLm2@assvke(}$$xeq-4oEa(WL4y=K_RB@?{B?O|R z-gb4AR@V#Lm6O5!-pKlawhZ%CY2kL-r9iRT!qnGJj}jU}Pk8{RyS0?hA1 z<~KM3@P>Y_4Nc3`Jn~mn$zrwD#>$Nq0Z99wuSU!QhGXn}wOw!Ub>$R_4B zF+D7^ygH4sI2-ac-XAz)m%0Hf0PLw_^%PAQw7`VtKA#20dAsOPR4l~|#{pJDv-k=? z|N4zuL4TWEcK)z6zWCi<9|4&n`)WRtN_g_V(qev|+9NX1JO-am6 zDz`(bzgt$%%;iv94gj-_(ZDR#sH`O8&&>2Uh&xX!q9pkiHY~TAgxZ-QH5zzu0JCAY z{uVk67tZ?-G64NeLrZhmBoN4Dj1Vi~Nq)bgu76Vyx05|9f6zI#Yl!<12=~_xYTc$z zj{q8{hZ+FNQE-}%-+o?jtmxkrlCuQ`yvwGl{$7`el!^gqe(49X@eMVm#Bo)Wtq38W z5-0%^fvr^I1=!IMLh7_DiHODVy_&q!k+c1N(~@Kq2;NxQ z3)U?<+l;p#J-Na!t+;{IXMd|S6oH(q_C+@Fkr=!dM6Z#xQ1 zUWHBC_C^s*YJc_F_EGI6#QtaO=9nZc;eXZd(Gjx@PSF4PfbKJH07TPn6nx{JHj!`? zewvlyv=}!YZKfI-iMy<_>ME({H5{B9>^q_5W+fc_qsk%u`W8c5+1_6?fk_(b_Dnu-~fLBWRaP%YJy&o-K1F=;u zc#h{|CzQC%FVvpt;ybLtCx*J*kbeMXTQ1kw?|CJ(@T_MM*Ev9vLiay_>k5PIOD%)c z`%l%Rdn3^EoqG)dfiP@fYnK2baPJ2{b!E#6f<2gHd}MNQ8Wg=Ri}z?csq0WU{)}#4 z8(4@Nkwfjv!;p}MIc$MQNkpFY?LqE9iZ&HuRnS$!Pc*6UeM69g#$%b(=$4t4D~VjE6a8JyzolmM)~q@7?qVtcqhCmXHG z0LTpw1C-f}Pg2|mE3NQ|X7+j?BtE#c3R$rxuBML^mX}ER2`#H0HS_{ zbCygErv5cjCSem*U0xg*#j$-aE{faI3JAsvCbeh((GB>_>xmG6iF312Z8-=*@#e7d?Z8q6N_NeBB zh1*#j(8XrI1ICRGnD-7OSH5FAt_WOuK$i%9XMO-V1jgwR+|%!3Bgi3eM>DQ9JOLkg zEJf30!+wQf6yysGZJ7}OK(?LyAPKg@HhTcm4_ye`0k)cneSf8L;o6MY8Mk`{Dg~hk z4COqTnQZu|hTx^69@;1+UT^HkZFx}ugW)?;F|h$TDDeaTVtZ1j6ceXX0AyYCTEN@( z@CLrx+q|mVs?@HcouFR2(k*cS`JeTx9+%}#ZVW~ap5<2bn~1wGIJ5YxC3=~HX`6Y0 ztbsi%kt)2&41bS3@sGYsfs7};#Sz@?B@6cltRfxwFT-t37cv)({Ah|R!{k<7s>MHDrg+1V0#|~nB^R28pm-jl8 zee4RV43da90JeE2yj**QTydk<2=$rk@lk`AnF&AH$bV}-5XgDPtOtB<*VpoH-7({l zlBp{Bh5%Y?)?7c%Pi|4kN(#cEyFPO&LOK!@x4(cZMX@S#lG|YWjrWeddz8NfC2leR zh=G62QwP)a!rUBII zP)(alUmDeR%dM}1q@Py;x2Di+ z41dsyXm9LHm3uUz!L;9NHSU$iDPvSRECNSX0h^;zWYOMY23~+X*ZdjO>M9=*gN&$o z#^6=bH!DNg<2RH)^;CtgS~1OE4j`rUfVa_uIak*#x7)U>20z)F1-EXj12h(&5Bkqf zF|Gz0*jrdQovupzVZZ8u+)h5y05c=?jDI8N3l2I8yYngWJb!WinD-m$JBaVKa+nHI z(a2X0L(qN!1;(EZexTePGJzmRJlaFr*m=MC0J&LosIq)4EsW78fDttVYic>mvdvt^ z^yG~(Q+t1R=dj>rp#Tt;kF;ubznh`+s~%E&m*lheI2+w;kKec@0iv{>kyvpmjel+0 zj3`h*1yu;52P-~__*|!V$f%r02rx^4$OwGh z$*X~r0pvGkXr-J10_brcdD#F-@PEU#P4c5F-v6&xF{>QQD!Ko|t}9L>dL&VyBRz@% zWkL_Xm{HavmdW-fgkO}4v|V9`a4?S+dCW2vbFM022%sGr3(b@Ajv3bov6~u!mdAv6 zMx~v=EU#1!e!B=`A(u)naPQwdPuo!HcJ$R?pT)vt2Z*3A`hn)1_mWuw7k{=LM+D!A zMarPDp7p#&j!YJ-hnNaqE7fj&X%@+Y0)VD`>M$5H?9Yd64RQi8flvaJfuI=?qm7Xc z^hM6*B%pC1UgV0C`A8M3tDqez5v64@xIg&F^r091cY3B50JvqK8mHGTmQ$GuTK_68 z)ThoiN!+$<-+iTW)hyY+n6!l4mFe4;8aVtYSrN%q& zCT^$%d#PEJN{ACp+q23H$Ijkx!ke$7ZSb+;>Vpir-2i(c;$m13hVK4M}Cq6ynmgRPwk%UXjLl= z^T1OCUxX%%e`K#g`1=B%7hk_CiA7(9D3Qq|WbS&UNFtn--;j_c{dA~(9d}l60 z0OUdukhd!Fr@JT>5r%89kqVSj!MM?n>uiuNKh{>4GTvNf^O!2S*vR@WR#q>Afz$Lb ze(4eAT~>?v(|@4<^-_T%Ppi9T23t%9@=WTS4V|qyZW!qca79Z_2qn6YVF9<)WNBZX zZj#d1hZF>5#o+k+mY%#sO;OmwV}&3evJU5m?5>=O>N^UaZ4YaTU4c`l^Xgsrt;wb? zxmOXex63(fC3CleofGAx=fSX@R~b7E4v^Kcx>W9Sp??5Ca&Q5$mh^|AUcKT{*R;?g zTO8c8wG8j!pPR%{o6Mg$(RrA_C~N)_kFT$eB#N4Bmp*}eo!JV|KreAOstqEa zfKyf4LU_p>pU`v#kTML}tGB8;Ht}cNvYjV<&#eIMb~i%3FcK8ed*}t_oZoI&7NbXs z)rh@X4S%u;ScL3>p`Au(RK zL+Mu-44k?8nqMIVqGRyLd372|+L z7g-(jONy01RMGtQTIoYttdLKy>I+#-ano`|ZT*B!rN(Gp+}^(fMyP9jXmtRoV?z6> z%9o0(E6HR_n7U~WQ^S#M$n|9pF%k^xot~IxgUpFSPJ-$2>9r7r#%=&k%uUtSntz}} zxN%$;m(-tiRaAa~d~=$D9btQs12D_`hA}xIGLz_IQFn;2N*4?O?@Xcn*d#zL*0hdT zO2F;o|Dnq5{5A<|FGbgtzo$A~)oQ0uC@@;53b_Q50UF+b4Dy0bY!4l5c{brfM*Zv7 zFzd6pHmJNE@+=Z?T14EJCBk)(2Y>xh!t)h~-rY|k0k_(+^4M>dA?H0h70W_*H4$e= z=+@$lH~R*inqQt$r6VwuqfZ#ww?vek)cd5U0MA2izhJiG6KDYduYpM@&FETKByYT# zN+^;Az%4@-+d#f>=tmtUZGAzVC=nfD005=(?|cj|&Iyq$*Bg$j8wJ=SbQ~-3iF4id Z^B1~e40P447@s5YUPiAj-yr^6n}JVKGBW@G diff --git a/crates/crypto/proof-params/src/gen/output_id.rs b/crates/crypto/proof-params/src/gen/output_id.rs index f6e51e6757..567414b47f 100644 --- a/crates/crypto/proof-params/src/gen/output_id.rs +++ b/crates/crypto/proof-params/src/gen/output_id.rs @@ -1,3 +1,3 @@ -pub const PROVING_KEY_ID: &'static str = "groth16pk1ljyeur07t7mhtrvcpf3hszvs2deqe4d7k6jcu655crqf75wy83gs06kstn"; -pub const VERIFICATION_KEY_ID: &'static str = "groth16vk1yaruaaav4kcf4ne977gaddjzgkhqcp5lwvz5vwfrd2afu4yrrlls0pp534"; +pub const PROVING_KEY_ID: &'static str = "groth16pk1rkpwdlcaw56gvyqpt0lm7lvj8q9mx93gqpz85dl9l3u677k75reqcnuq7d"; +pub const VERIFICATION_KEY_ID: &'static str = "groth16vk1lnuw3xdngtwsq42wa5g4ceq3c3zyn6j2c0e57xzde43lznzuvf2sxmsdcc"; diff --git a/crates/crypto/proof-params/src/gen/output_pk.bin b/crates/crypto/proof-params/src/gen/output_pk.bin index 42c8df0447..190eb1cd67 100644 --- a/crates/crypto/proof-params/src/gen/output_pk.bin +++ b/crates/crypto/proof-params/src/gen/output_pk.bin @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:321db68f5b222fa980d93006e414582e1ba6fa79db8351590cab7f09933de25a +oid sha256:c9e97866edd6c815a7bcb2f3b5493713794369692bb96e5a2e682613c330e4a8 size 7257360 diff --git a/crates/crypto/proof-params/src/gen/output_vk.param b/crates/crypto/proof-params/src/gen/output_vk.param index bea4a0e2bc1d5f41fb92d74fe67796e76cbf53f1..f17bd74667edf223a037eb377acaae57f9a73e40 100644 GIT binary patch delta 791 zcmV+y1L*w72gnD165^m*RZPZ}gs+E=o&MX>6B?*zjdElUcEa?PKdgk-2;%|mQ%;kW z{l%h*4|Smd;--AtMr^zg4P7A>EN34Qn_rL~NuAsEx;cyCqKYs47sxf{c<$0Q8o)s0Q%z&^dZd8 z12~QBto*PdE1*YsJqs`i#^*r_jM=l8iA7_0lCx`B<5oCF1mOGp5a2(NI)ST8i6 zLZG7K?8OP6ZL*amdE}?PTIETWjpR8H+^t9U?c0$|stDQ?NRR;IM};vw>jz8HiS~P3 zXYl!72cLPCr1e3p%yGPX51W4)0p#m(faF-c%+bIl4%a&Xc1a`RytLt`FerZK@%?Zh zo4H)(te1ytrspC6XeR|Ami9sTpKwW^*hL`S zLhG1cYvxKmD5Zgu=1*b8D%JZiS#8o!!>eEWpdfo3AS@sOOy`dc6*hmKLJi4VAOK;S zA9q_go>$SxX9`^-_yy>YUTWKiJ}e7U^i;bd0QeAPBii;zQf&j!XyHXZw%mc8a39Ja zGmRG*>X)t|;Jea$aFlD*+fhbNRCRYXOaS5`5&=Ee|IA-gAQ2Ay4>4^30t~$^j4Rpg zPdu!Bx|il@emSsx6Y+~M;HK;s8UgHSN&}tlZ1%rdu&4%_dTE$;nZTs$8QUQn%Xk}$ VY}|+2yH`WPt{D2fpprr|(Ey_}c|8CC delta 791 zcmV+y1L*w72gnD1Xt?;V#V3Hx*GuaZ`QP)rPd|(Q6i?%Yb#a5|Z1UdKzXsP4`!=<$ z%F*pketZA`u?0zr(ip9=?LlPvYJBw-f0V}gFxT^Owf z8F`I?6qY9;&fXgpQbLWqI^UTLL{KHt%zPU7~-EZPNfTFT`a^yGlqe z0L2n2%zkw({ebK>vwjU(<$aJ?vh7u}AlC{;5;ftc>Hc*5^j+o(tig8$=(A_Wpo zZ%&`>1S}>_q6B&c{F5R#b4tX5>4)x0_dKR*0Lhqhp&@UK&(QYYC?GIgg~GJvJ+n!g ziC@eId%N)MuOYueGjnTu=|uL(ycM_=ga92_S2ioV&4hF6z|{mUTuyIoO#kJ=zc(dl z!+!H_Cw3(z=YK77808CBGIE1rodMsF)zo^(A&Z2g+NCjb_5;VXL?>$a8Tp*E#_eg4 Vhv4PA4F@}Qm}iuB-ygNJ@qo!3imw0w diff --git a/crates/crypto/proof-params/src/gen/spend_id.rs b/crates/crypto/proof-params/src/gen/spend_id.rs index aab54c8524..42e835b56e 100644 --- a/crates/crypto/proof-params/src/gen/spend_id.rs +++ b/crates/crypto/proof-params/src/gen/spend_id.rs @@ -1,3 +1,3 @@ -pub const PROVING_KEY_ID: &'static str = "groth16pk1e4j47ftt9vc5krfn6qac2whz4fsmg2xfeu8rk009m8fr958aklusk5g2gn"; -pub const VERIFICATION_KEY_ID: &'static str = "groth16vk1xhqwemk3wnkgg0p9xz5tp4wmm88x9qw6v468ruxemz0tu479fwysn22ccw"; +pub const PROVING_KEY_ID: &'static str = "groth16pk1ke43yax8cg78h69y0pn6kvjcktdakwq9m4c58nyam8hffweramfqxr94fh"; +pub const VERIFICATION_KEY_ID: &'static str = "groth16vk1zu2ks8er6fcj65y7w735wqzj9nx4fd5rsf2483lqyn0jqtlts2hssw2nfh"; diff --git a/crates/crypto/proof-params/src/gen/spend_pk.bin b/crates/crypto/proof-params/src/gen/spend_pk.bin index 6bebdd50d5..367b0f43f1 100644 --- a/crates/crypto/proof-params/src/gen/spend_pk.bin +++ b/crates/crypto/proof-params/src/gen/spend_pk.bin @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:f3c33594b988a804b39fe92d179ebbd2a0aa8b00c170b49b8a6d49390b707f13 +oid sha256:87eca85bef562803fb9684c56c0a6db84aa6d0791b1c00b909e6f2a5c2cff452 size 21673392 diff --git a/crates/crypto/proof-params/src/gen/spend_vk.param b/crates/crypto/proof-params/src/gen/spend_vk.param index 02c31135bf0670db384fc2ee5f4810a3e8a19509..17ace2232a187756f8959308aa9101a9e33a73b4 100644 GIT binary patch delta 985 zcmV;~119{435W@Qg$g#?hA_Y1mlEmliRLv^O4H;g#WxgD;5r?)$Lpl-o}Y4VX?qPQ ztC#v9AF6o)`~L~3S;(u*UMeY>I@2BMS>=hXlM<0k;9)5p?LL90V4di#ew`t4YPjf*4J%IJuYz-SqjGXc}XFQ>f9*7J<$~#=}hb__bUEQQknffxQrc1poj500000P&w{qj&j%a@9JTX z`8gU#)im8>H4jI4g#2}qzryiKN_=T$Ce574CUE_*$S$7%%A+Ns;%qR2x#Jq!HvF6du_pI18flOvW34}STKmkU zOSw27uuq}OOQi+q;yQwwzz}s=4FCrzg=b7H8=kG{H}kiL=ks8wJZ+GFEMxp}^f1V_ zpqrGZ%!|9GzN^r5+btg6fB+UWO?Eeo;dR3*Cd1?>wW=bjVRnCh3KXrW*E`2u_jhBU zzAzew?6@YUXAgP~6_^1gmmq=YCBL3tK~NK#Kh{aVAn(hiSB#s1Nz^g)09l*txmbNp z?bieir1It7e=~v3u^Az{RVqK0j5qGvZQf^bDMym9Rccrt4|SDU@UXocW?jNe47~9cf;cPafj*kMe2iT H$I2doPMzZA delta 985 zcmV;~119{435W@Q^?0ddGvO@jx_VtV(;P>2pX!Kw|pf@0cHp#g%KcLhyQ73%Xbmq9C9<&`-^8-ld#XBbf9Th*+P0WaiKa0Nx2 zsI9zXZ#HluKP)%F`Zbd!xON1DcII{Ozd4+up3n+&(D@_>nNt*PEC7=r0l&3$we$GkzTaKM(=YNH0afbV~`C zpsBG)Ksq*a`E+;Cy0FjezRYnd9s4-eq_^k>cgeT8-PO#Eqyzy<3C4*mx2tTlUDUGy z4!AxUqvt%C$)r|#^vo+F-J5^VWr7#Qr7WS@h#>>dk!x@OHJIT0%P-dNzHt~>c`k1V za@(K@l#~g27S=!i@pdm+)C(Ma+SsHjI_89uP(<^91poj500000Y5`-u3oV@85>xLv zdz$xkI_1+*#sjK%YNBMq(bQNog#7IM!wUIt-$Q!hp5D*^jq<;-pT&PM5?$B%Is#4b zu*#12_R7I>e8w}n$Haobq`fCA~VDc;Sd?@Xg*p@LCn+=QGr zpxdtveBao_{7V~3*wF8`tjTJlzmpA^m^_u30T=(7H(k~meXOP?2(ABH0?f4Suth%6 z_lN!5#~C=O9BU9G1oVIAU?C-4MFZ-!8i9P~*un6Z@|QQlWejq6j(?2YiZ%~cEGuOr zEMSBvv|d$&%sB#4dQ3oU=TE)CQ~~t7$p&O#rU#iEw&YXA4Vbl2BbF%nVRbz!qnM38 zDC|`R{D))*<5Y&-Ds~B4Vu3Ct1NMv_fxNqZ3_Bjp3oYzh+3J7JYf?40KztruUVhhs z9PB5OPsDhBy}ZG(StkI};^kndY_A!0cWla5%urm?|3w+TTb<#s>Zo~pttpz^Sl9N{ zZmdBJwY#>MXe0ph!gzH4vjh(rr9HF!d^MIRJ{EzuV1LYx!x{81-BH>nuFpVTHT*#_ z@LZ207$N|~rSmPv_T(xhc_w@4vY-hQP};8vx~7DLCu3$p(C|eGU;Tn2&f2uDiw0l0zbJ3Ml7HRVGJSo#U7-nat)W+M@RsUNyyll!I~r+#;106 z6y6NTV;raf1%T593D5Bdol9_pj3S!&P!Z1YS95Ag9{MRNi-7>^Y;D>|r`jSbU$8+X zvr05s5${R+C!@x&}l#Itm2O}=&wGwq1tFbm$|oaUE*sX{iY>_aQjQ%G!ZI6IGM z0DXXR=ke8X<&;aPNihA{Y*4t04-}N3xFn~MwG%6Yn_`b0GB0t1l53)^sCVd$01e-z zfp-$kn?$U9H%B0TiS9^~Yt5iANuXn1$k`92450n!T@P%f-D!qqsG~EQ0J#ti%(O!- z7#zmsUo+Vu)3{W;KnZ><&ej&R*up^Z7^3VB5b38g#LL^e{lWRi){`Fr!G9kYb1h=9 z0FSCYWMgev@1Us%V}@4h;-pTnrO*XDI@Dh=7ev3bF)boKcYRU#(*WBT(kw$&^;N=ykpS=V~ff~;=Tw~O9XACdU69Iiv6Ij6kr|5&^AcG8D z#S);>PH?BKsg9f!Y+~_lihs!Rh=`;vV#0G0$fH1GcOwD)n?QiXP7?;ih&^EBOXCZc zLnd~W6at#l55*9cL|jaFzFml=0j{O2)7zv{cb)(Q0000000029SB-;{afGx|TDG;w zJI}fyj!vJ0!30JUU3A4Y`_j)l%0>lrm3@@-n?i?LJ(2;NQ$thD3V&l!m+*#)j%$_y z=s>)jTMA6v%@&dJx(nP~?SXN8D5bO%Wy%Y0d0bh6soz52+}euwk%#+$E|g7H)|2Ki zx!p$cif8;CkZ^w%e!xCRg>fzk|f$q^n!d;fWOkrHfq$=LS2f z2emf=GXfaP2d!2fl+O2#fv+}7-?8+*k8I1}Gfgf;f_{{Z&rGTPR=QWG%D3IMis^Fo zwwe(3`geAMNZiUW2>`9_R`lHvhu~>I`gw@c&pdbtpV6!OSQD^!oM6zaaa~aI96s@9 Ng>m3zIm@xmzW{}FtzG~C delta 887 zcmV--1Bm>n2&f2uYS#TIWMbl3AT|#KK+!+wkiFnGk`yCjMdJ4)YAr$bUYPW`KDU2-ki5S|b<7gB z#kNR+uE5j#e@(S55Y=65H8F~|M)thjomD=|cgN#dTvh0Q{qIErguENJ8Y!6jlP!e; z01;c7<>u3Tcl;q?C_5z|@tY?qN#AS5Sa3g@G2bGr+Y4d$8-?`b}cN8Ho!@Sj& z!24K}-l*`KBX9K5-QAxT(AsGUHYk7D--*z#(N+p@#+ z@t%-V8{s}$IXhmwi+>@8kgi7oOLv5G0APNjgb;0d1d(e+>2rg53$JhQ-Z;WfntPN04y(z%t5+`H~Uui;MGr;_{Sx3yzxsp+Su3Gp)0?? z6^`MYpHpg!Mapj4_x{`_00HyY5k#P>hBxdD6`_X(pxnokBuv@Uf|cK}W~bAd=F**hDxzj?B}9Ux&jECA=6VB;015No$$3UYBqMT zG{FMhsM|6D?pi8x7;zBK;`!=fSoSfd2iQ?!Emg+!uS-O$ISUnQ2<+HmHHT=`7712{ z7hRM9D_Z=zsSyDIqj*908Gl4In)I9_-D*Y5S@OBg2yeoFRK?ts4@iyI{NyEX7C+XJ)Op~ z1gqv$mV{{`o@$PXOXd}b1h)Cgu3eu@FKkO3oXkmTLO09K$P!8?jFTS$!G8xr-RfMN zS9W}BHw+ugwgw7_z-K<=Vd+l8nI}DuZu_wql(-E_E!C|NlwVLs8v*y4}@Ylo~~ zKo~6>;U)HEa}*7(YbmdySAQvY#Nz|vI_N4heyWb@YhVCDHX36#@!jEpBHuaYb5@+* z0g(BEUSPETq!2W(PD$9fgd}uZ-ZF3*6wJQz*%g5o000000001vj?p^}euS_?jsfb} z{PHADSTxa#K>)i_C}D96Cf^L`HrmsB-=$HF`E#3)f#vS z!7a&0Ed;OfEQ@9{l46cg^{vtNBnDZdZA-}j@>*WzOP@mTI2%Q2GI&rjg+;~{^SLCs zMo+47x=v6MFxU%rnt!1>4pj9p7`Q#f01Rq`;Q8M_HHTE#0ta-OyaOjyQ)Cx;ZNZl> zAmqf(3q4a|(M36;RH6bVwzGRuvufuTc$HL!Gl(}Un~UgLQwoR36U(ti|S;=KcI;<6>3zqo^) zRiG9|bJd<&U7uGh=i9Utld41SmwUFtZ%@4e?s|X%Bql)=HjCah%`XFP7;HNA+iC+odGA`3r5&6iCjvCSJ8$&Li@H6g6Gkju`Jof+> zSA>pv&eE?2oPa_!y1&#tde);;;o=);Usza1YVNW@S;KBA0zxk|LRD}rwT$WnrQL690AGrk8o zQ>sV%Xn+51#3aB&mTl)%SMU6;7+{!g)HH1rXY6n9t-j8@0G50!pkIgs)!fp6zEs(r zTvIy)WC%!`x_Q|Z`E z59xg*n2Sp61?9zf=!hk?9Z3c(98=#duCM4E0DqXJoMC#hkR|=fX^Nf_#n=O!*=@xd zmrXg&$p*@gw@E5QZ$xusir!==4B+8^F z3e|@R21aW&iLwMpQtZxrvsEMjQvsd1=Y2%ok$4&U8JG=ALpbOwA4#fCF^0%l(5UR{ zOMk^~Uj5u5B8y$Rp5NtbhXsKi{Z~{+#Z&Yp1=iJKMP>7o4RMfNd)(y_da=w$!t|Jp zOGkYd=NkZ9&T|M$iNyfBAUav9HMCv?!BrLDaqN_0WtCA-fyr>0)-or(vYT_&H8h%9=HA%)xYWkP!8ZMTEW@^@Z@#5#T zSz_{lN54{is5p7#Hq_ijrEpv~^Jewr^>O)7oVuQ2yV6H}fd6T$&&P1C`s1rSX@4|M z01;KS;RO$@ljkQ+I1Kk#z>}0L*TL#3yIr)=fQiyj;}j`@#2a)o}2dzTtO zilxkl44!!rRXWYOp1dJKfB;7?0eG@I@=`)T z3nsX?XdM4V`M)=^ER~>2oFt@5^s0p0_Aq%ENU%coESOJ=TeFLoPpRApEG^h6S&`I(6@Mm5z1kW0f-q7SkHSB7u66MI-T|a=G>~5r51yY05ok z_`{a<@R#B7knRiXH*5|?4LsZv`XouuP3rzz?N|U3m-B_08z%Twqq1Wn9o|KUJp9HE zgHXteOHY>DUX|h>sL3Q;Bjsw-u4Itm=J9|JM{RQsYc=2+(7~f8o~tUiLhwv5AksrI z=6>EkqupE_K4Oza|B>>F8-J(RhuGBsF&@NACq6o9?n;iAM?MihAq8lXasJ)WZ#dy& z_BpT4RskWO#qcRxlI~gezFM9Dd~Y{C4W2Qpm%~0QH?}t0CGFWW)L|0e)ejhJ^dkzd zBEFd~lz7r|;m#t<9xb{6^NDiYS3d_h8-gHts|iijYAIY}3v<X)BfzDHfA(zD6upFfF%v#ek>AUO@U@| z{+Ntq2%^E@@nB>ltueMt9s_924!wfX0Kls^nXYBSYLv1@gnzk6WfUIu@;(4q9DVV} zbAdrRRwBDC?gj3r*0s3^kVE@VV0bd`4Dfu@`5FUVE6Sl`^L~0v`+9-H7c}o@bT_2h z9wmq3F23M_StI7>;rVO-syCFG&F*Mhs{$YAgmqk^GTUnSWyt`NNU7VQo?!*kPJ+3> z*wa8mm3b-NhGU>(H{kqvg;0Ymb@?oR^+RZO>3e&-QP+%y6)^W|O zv|yS=!*Y)45|=Yh?2uTNCUnCr-NVSYS6{5n1c7G&K(8CC_ok88O$?2%Rd&l@THFMV fgiH~Gpa6N9=467Kf^q=cHek4rrhK*Gf$35JfpH<% delta 2725 zcmV;W3R?BZ7RVNVnAY_M@SyrsGN$*{e7ygY%S|DC``f<|$L6P`ZOa`l$4&htebH(3 zV-aA8kqiw1n(wB`9Oo6rt!@X+edZ9t0?$4eO4!9bOT=zA4_in8zbhqt?Mh@6saq4| z8>5MVF-DT5WuQ340R6uPaPZt;AeX2og)q0tj%?me$iS7SuQfgQp-02W=W zn@yIhm?nEQ{c;{Fg#2*xRwJ{`ATDrY6ZSf__t;{=3o3Sz#)t!WGg!dB0PuT@vhXpr zJwszh9VWXW4AO`Zv+3A}0dRBkMTFsE2~NO`c3XUZYLN|TE?}c7U6UUH!G9C>3O&83 zGF_CS1+>yGPd(9(lJ4IlVeVWg)5P&!Ovz8O%1vV}DdW+qobb!;;Q+yD*UpP5S$}7+ z1M)_Ucdwd?fgz1Vo$Dm8|HT~ucNvhe;2-OzGlCPFd+SN_y#P~;tVrA4dnVqAcnhV+ zoB7P&&gJ`GntBWC0*8!m`+sxh#Kl{a8|73{<3}mzS=0dXygHF_7p=!tV}d$OzkKKl zAr|QMDUQ0|i0?~@@$B7%>GeLm_P#Ze6|(>TUq40wWwE z)YoW=M?1@)GI-!1dOL8#&m^y}PcB>>}L=dpi4)kjFp`yy!1kQm}$pve!2exJt>Tc7bOmlWrlXcbW|>U_p= z!6*D+1OXMAPJg=5otd;IK(uggz-lQ9_D=mdDqhtR9y3B82mdU5P{95Z2<)FV50E;c zLwJG3pP*3OTD|zu_zG<8?vS_&Tvll6(Gnq^`#m81-vrQ$ZSVbo7i?NJpayW!eNzEK z>_A=4EhyJ7q6u*f+DXTuL?o&t?lA{7$Jm zq?Flfy}1qdu!|J_G)>^(w6LAp@e&1lIEkGdFq3?5%93AbiHzld?~J+&UOG0+xm3aU zV&cn^K7Yvth)3AE7-3RX(z0!d@<98g z5dxnR99V?go@Dm>Na%dTtF9-O?}q<`Es&p#6?c=Y03FYx*fGDfz?n5_SHIuvl&v-6 z&?*jbUN}YuujiO$`UmdMG6EoJ$(hUxsj7i|0Dqgn37SZy;5jMsp}RF4lOR9L@ChCp z!zo8dkfG&8fW4rofs1zNt|PQ*R{)!SlbW|BhC_v=kf@EVZ9sW25@8gs^&EaFaADYs z%zrqHU7%{%@lLiuA=DZ=N>Bi~;rH+FyqeP-+No9X!gwAik`=hM<+gV(uULWL$VIC= zU)DX#=Yf+IaJgqxbD01=pc%j03h;VxFL-hiTzS6v#J$5c5mm!#6uC4buk>Y3%-P7~&i2K8-5zo7AdfTOG2a{kbcL^5m=AFBQ3xS+ijQM&B6clmh;sJ`Hy4Hm&o69p_fg zJ3}P$fe?75hu%inwTS}Ket!%mLM_q&6lS|3vFDE7bd1l&|N7aCSLd%g26!$r*N)+@ z^d)agvC_mS*qSh{98-k%KxJZqlSZ3TpAB@XLq+E>GEMW@Yjmwgp1E*OBYyQ}4TOFe z>!aO9acoG+XHY!xb4;WF)b_sLC1VY>FejgT#D%P66#j31RfI8i>0x0KXqRMPa&0cNr979?mtQp2EMR$SzEO$_c9BNez+$^fPRGvQzAS zdHq355Kn9v0gcKtsZ~=ud(02ACXkxjI%M&!W>gqY$(rBLWr(Gk498tIc=fh6%-l-_ zAfjC*01Q97tx)LRd4JxLrwoO=uKp0T18OscGLzMsO+(xV_Z(=NJ4}_OhID#Y2Zrtg z7y();XfTdO0ZSIfAnCVTd3SB`&4v4jbmj;S&xI`;N~Dh7EgRyoAOSGgcc&N(FaUaQ z;c7`C