From caa7c0e2c0c106a6886bc3cee846e43b40f24494 Mon Sep 17 00:00:00 2001 From: Hristo Staykov Date: Tue, 19 Dec 2023 14:24:08 +0200 Subject: [PATCH] Add ssz files not part of consensus-spec-tests. --- .../scripts/compile_and_run_tests.sh | 2 +- .../CMakeLists.txt | 5 +++++ .../ssz_files/post.ssz_snappy | Bin 0 -> 173686 bytes .../ssz_files/pre.ssz_snappy | Bin 0 -> 173688 bytes ...igh_justification_and_finalization_test.cpp | 2 +- 5 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/ssz_files/post.ssz_snappy create mode 100644 vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/ssz_files/pre.ssz_snappy diff --git a/vendor/zkllvm-metacraft-circuits/scripts/compile_and_run_tests.sh b/vendor/zkllvm-metacraft-circuits/scripts/compile_and_run_tests.sh index a800fe92f..739810eb3 100755 --- a/vendor/zkllvm-metacraft-circuits/scripts/compile_and_run_tests.sh +++ b/vendor/zkllvm-metacraft-circuits/scripts/compile_and_run_tests.sh @@ -9,7 +9,7 @@ CURRENT_DIR=$(pwd) echo "CURRENT_DIR = " $CURRENT_DIR -cd $SCRIPT_DIR/../docker && docker build -f Dockerfile_zcli . && docker run -v $SCRIPT_DIR/../../:/DendrETH zcli:latest +cd $SCRIPT_DIR/../docker && docker build -t zcli:latest -f Dockerfile_zcli . && docker run -v $SCRIPT_DIR/../../:/DendrETH zcli:latest cd $CURRENT_DIR diff --git a/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/CMakeLists.txt b/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/CMakeLists.txt index 9ca507cc7..0f64748ed 100644 --- a/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/CMakeLists.txt +++ b/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/CMakeLists.txt @@ -34,3 +34,8 @@ add_test(weigh_justification_and_finalization_test weigh_justification_and_final target_include_directories(weigh_justification_and_finalization_test PRIVATE ${PROJECT_SOURCE_DIR}/src) +add_custom_command(TARGET weigh_justification_and_finalization_test POST_BUILD + COMMAND cp -r ${CMAKE_CURRENT_SOURCE_DIR}/ssz_files ${CMAKE_CURRENT_BINARY_DIR} + DEPENDS compile_commands.json + VERBATIM ON +) \ No newline at end of file diff --git a/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/ssz_files/post.ssz_snappy b/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/ssz_files/post.ssz_snappy new file mode 100644 index 0000000000000000000000000000000000000000..2991287033d372bdbe7f2c985ddf5c6809eb2c2b GIT binary patch literal 173686 zcmeF)WmH{VmnZszLvRU_ph1HZ2pZgjOM*K@@BqQxCAhmoaCd@BaCe8G!7V@tT;9Cn z-nzHzR#(yebX7l{HOBeC2bg=E-y#|Nf0%o&&XhbT2m}?%{TbyWbsJx+wZgJ>n_cSO zlj^2-6CNGX0*qyErXB^jhcu(oU_e745ExXHK`6+fz+u-5h3{NE2Shk7uPjWHc}>2) z@bpfea9d^Oe4oe^TW3?*02|EJt%Il2K#mE|Sm*2FP=gib#-%LRdpxyL$qE_#2)Ti} z$BPIGvhR5J1K(l(<1d%*ig)jB;qJ#2pWowBck8;lTL1sp)f)cCu9kn_t2t+?EV_5s z^SD-1X;l_@*V;1FP|^k^y^ef z00jPL1o-am=f00e*l5C8%|00{io3S5B%00IyY00KY&2mk>f z00e*l5cq=xKmq{mIzRvj00AHX1b_e#00KbZPZ9tL;6J?E+)xnbfA49Hn-YBR`gaAm z@09+-?BF|r01yBIKmZ5;0U!Vb{__R)p&)Q~%|ieA7Y0`Z0zd!=00AHX1b_e#00KbZ zzeE81r2u?n4FrGy5C8%|00;m9AOHmZBms~B{-oXhFA168qCfx$00AHX1b_e#00RG8 z3H-kjKs^)$1GVibM92{e0tf00e*l5C8)I>jeJs2Lg}){!h+$|LcBt zKxH5R1b_e#00KY&2mpbqk=U9 z0U!VbfB+Bx0zd!={Ivog0e}Pm1b_e#00KY&2mk>f00jOd0gwRxq}~2&(<7(`1b_e# z00KY&2mk>f@OKmd2>>JjAOHk_01yBIKmZ5;0U+=v34jFfC++s%F{6St0|6ia1b_e# z00KY&2>i7IAOU~`00e*l5C8%|00;m9AOHmZBms~B{-oXhYttjB1_Xcr5C8%|00;m9 zAnq6aWbT zBmf`)1b_e#00KY&2mk>f@Fxj?1n?*A_TMq1f;9sHAOHk_01yBIKmZ8*wE`dkfCK;p zfB+Bx0zd!=00AHX1pXuekO2Oq-TrISBd7)hfB+Bx0zd!=00AKIcN72#03-k)00e*l z5C8%|00;m9An+#%fCTU-?e^a>qk=U90U!VbfB+Bx0zd!={Ivog0e}Pm1b_e#00KY& z2mk>f00jOd0gwRxq}~2&(<7(`1b_e#00KY&2mk>f@OKmd2>>JjAOHk_01yBIKmZ5; z0U+=v34jFfC++s%F{6St0|6ia1b_e#00KY&2>i7IAOU~`00e*l5C8%|00;m9AOHmZ zBms~B{-oXhYttjB1_Xcr5C8%|00;m9Anq6aWbTBmf`)1b_e#00KY&2mk>f@FxlUs|3Ie1%W{R zj#&n*83+IYAOHk_01yBIKmZ5;f&ZXD{eOGce-{HNP=#qBs3Now1Q-SaNWbIVx4@y& zK=SXtNRfw}^68<9(n2bm#qo+5_y@T$Kg;Yt<`hfZ-t;PuD~I$e@oc+_OI^yCI;#<} zK*uwM`I9yp6k5e3N)34Te$mK2!Gl{=SnWVEguZz8>r8k$q>{Md)giav!`8u_2v#kM zn}!{{%r8?BEh_R1GT$OKFG}o=39}tY4E24Bi#$Ja>o1j>eZhlUk~fAvipDGK6Tx$? ze1GyS?8GRBc_L^ygb|A6hrZWP@@9U(G6wzI&7?FP8K~Qlf7|9-pX{P zf8vT~asBjGX>BV;VZGjMG4D~?LYBqcd+6N(f#>zO`04f|11#r1>-+7Vy_$L&UExpi z=uua;vG}3jX~di1j1{qVZJ}nrHrm8CZuaL?(J3;#D6ZC?O-NW`_O8d;tP{Q#DNWor zs>i>cv2_@zlW975X7ir@REn9=dnwQCPFlf^uWKwU>D?<3V1UFE8g7=AY9o`_+_->Y z6k(_NL#Xas&dt_*qo<&DvUIbu1KcQv9X zI*2o#3Gj0hT~72ZyhGBRm!CDgjpU+ZaCy`wBX`QA*$NYNCrbJz-f#zs)O4mX5p3r= zmS$>9svC#7^)wyb6(o?OI|D&)IOtgd;sgkCdG24})wImcr+Ej6*pr*s9g<%Uzx zwp^MsU${O^4~r*A;LL9e<5>Q>&DB*>^nTfr5gLk)g5XOxB}$Zsxd4qZd5Dge&nKtV zOPmb-i{{4I&E-Kc4sxNOvLec8YV4gB8AOv~0jD|pi&{K>gnS2$ ziErWaN!zwK35T6ZIg^KzM{72NukB!$X9FW;8)C_Nv!Aa+F@eP z%Gx^3x*+k<5mTVO80hOM4s@-E&eg%ze)Yaa_45q51%<3-+mS))v=lskNyxSB`K)!Cg)zgkh_khJ!tL}4e?M8FEFTN>U(=$(-)%eC;M=A zN4rA*>Sg}ehe;Y_)6DT{v*IK()Hf`?dE%NxzM6+8&QJPM!c8HUOdq0m`nl(kzEZ34 zs}hGWEWc}(J{xZN{&by#36-2(+I%co^KB zisY#mN#Ll|`qlkN&7d21u;&(ixUsfCu#ssii5l}N&pT7^^gCSAdp>VC1a%Lwa1{?? z`*ysB7wG|IrW5Vu*>AhF>|diD_eQTE&a0CVrw>T6byE}cj9R*g4uof5D-(^sJ&ro2 zTzUB67bD@0aiLUH9qew(L%y-X=ZLS1VtsFp^#(NhCrqsx(wqAf=$%BN6ustlY*Z&R zxy$x`#*=Xkm6lAEsx$n2=42WgHD4NcWPc&ot(0q0&4IMt6u#entK-J4Bf)+mx0RkV z*{Kp7I!&tb;(!}!wfTUrg!_|zukn}kyb|b%4!hBY(-tJivrvAR4jpY`ldc4f)tbUK zCE5snftqGT&QaLYK#BU z@zKFg?!yOjPr4dP-)anQ8qvP#VQ5o+=z743K-C^o)^=985~gz-P6|`A8FoTarOa^V zMk1z-^l&q+Vg$Ye7S3D*j$k@{L*-aOE9)WRns*X2DafJT!Q47vhYe95YdW`F2 ztuh9b=a#s=*)6*dOy&_bP-ssL2*s`6>{l1a-F`vIdQi7ZARjIsNEO#i#g=HVzEyb( z`6y`_rH~|9S@p&*z4ohw{R+ms8{K$>ZYY=C(!5eAVF-VK;44bS5-j3^SSt@Y1~{>N zyT!H%W%yET;tBT_ht}d6^YUH<6DL)g)VwJV_yk7G8?yMLWqPeCG~;5#cDh1hzSdPr zM3^%B$L_EPvS9hNfCE-$rYfHAH_8tKZH05K<#?8cgKNlF`Y`X=H$)WQQ$`6j>rsIM4?0oW=+v3MUW5pFQ5L4CZ`x(K zSc(2SmXGPlyC19szIaLO!5NFy)jdvZ6ZFZ&eQR?O*T?^?P=_a#si1crMNYok@I0&F zf*kkbO)Hk&c#5@3dsVf^Yjb1XXH_aI74tECXWZM>(=Wc^b&liZo%f41C zhvs4xU(@k3G;{?`WGzyVyZc@$B0njMW0En+a^aVddk{Aa*`Gdx3RCd5i9ME^K}fKP za5eY8u@!u%{qEL_ro_@j=OGy-sl^)YPFd8mBiA0vJwru_q+_~$lGn^JeIv6QQDOp4 z10mWsskAKz&3Vf%*yis_UuZXKEDF!@MA`9f>1r|yrj)B0VOzS&+DJ6W$Cv+r(MuAs zN{2~RqPukC`0&}%OAc|YR;~vpS5@s7610_uz){X@lUvxMo;H3&A@}E5iTK$YPq-8} z_3<^^E+c;Id>Q#UGn^}C3pc5?aTBl`Hf7&O^ZazRU`wvr!K=h$mU8##tCWh{LDPaB zf}_X0a48Hdlm?xeakU%d8=-FlDc!c?}diyj3!Yq z_A|GiZ^R9#>lji=d!X0#3pIlMk(AX7W>Pz^%*e#0;J7+2YdzaN#1q!$}`K8DfU- z%z2DT2>&1}n03~PLc+B~_;Z<(b-TiH$Otgeqe@FZ-w&P?{m!cHQLK%=%!`tFe~1PVU=k={U_$A(co-PDJf~EY_oHt?d{U)+^;gUzB}-oL9v3NuZ)$$s%|Ugc31o3>=Tl!#P9bu|O_h5>SX z)1i7n`i_`eUrz_=+1kSw$#go2$K9)&=TR0u0>b)EqNRwsP6^?N4KXLJEdgUWVn}w$ z>+%ktR%-CWq<&dE{6^Gij1v)9wsFc+?>z;7Hpm4{%eMBD5tI8ox|6~>@MEVUqN;*N z*Wmd}swy+%$J7Vn)#3W(N`4e7nhdwF+MO?xpOI|nTdRJkrR>aq;kk$wR~kTh;xJO) zfyPXrqlYLckWgXua_o4-T7i$qUpk1o

@UM(Ib2UUy~DTuBX`G$v7=m%~x?tgI%! z7;V4npwGaY0J-|}>RwO$KVWd_4TDXJ!}WA7(%`D69b&ejhTvkZ>rEA3+nQg z&)GW(38lP%)pEJ`vGb}$l|Jl!?Q=)24kq_#zM!74Pt`R^k2K}?cpA}I;p{RV7W$y+ z5+Ge^C^gNX*vP`X^5x4nj}t#gbQ69XRK=d*SW!H<)z7zg<0XrQvr}A(+TzrPKACXB zk_5}ApOJDqaa-Yvn>zxH(GluB=@@u&5d}{kTTWjYnt2#$3KIn}2tYjBwwP_*rZ@ORAxI|G5CwhCo!}_Qe;LjGL-1+PL&90dE zSR6r87g9qIuL5G-`rDvjl#d3&q5O@PV-G40w2o~8MQMjr?9Jp8b(xlhx;7SE zu;f|(NVmQ)!c}n(()mm1vYEN>Rqb(nJh+AY2Pv5{F9}#I@U*n4(F@Vw|;7y%g_zmCE;C* z;RWyc4eeeLyDq11d>p>klfaq&obUg-{gFJ9Gkr@>T57;@Jl0p9Bzw;Cc3wm6=;0Fu z=GO^qj*U_M+Id=LHzR(@{8PGvAZT*dqc{#T+ zSf!3+{eg6hBwDk|`#zI6B@?a?4L2;?AALd=^=NIirPXrvc0N0bLEra`*G*CP)y_tv zucTwsyU2D6uVveVQwS_5~qKs5=qePuX3KA^5J6n@PTjGo6z66wF!N=GWoSY=VTt}83eQ)fVY_C+}K zhv!4`XpMf8UZu^PlC-TC-oos%XjmkIX1WwvLX^D3$?nPs$K5|>qQoudIFO!iSuyG; zM7M`pPj2YE{YblZ;<<(E;)04lINa-#K3P|<5Oa}qSv-c5JB=KU4?n>I=UvoV8^Sj6 zeit|SVNcqkWvj+fZrorJdj(2wIPsB-DL(He6^_d5r{WqaIBtX-x=fT)rlmWahm}Uf z=*Un}QN;s+o_)@e=0gR#B{9Qa(zEHG9*mE#ms_4p7=35+DbGKdb`EQNE913NYjD#6 zC6M9i9L1=jF=NuX0mIda5l~XhU5)u9WU}Yu?Q}MVr zM?F{K@8DC8L@x^$0&~!g-D&eYo$qM}qqQ@$_B!z{c zG9T`%w1Rk17&IIoDWVzwCFYPZn`=F0RYR(-A>6Eh*r$i?D#VmG+s`?_lQF-<&_&h! z9)}Q}Y~LQ^l9)-Sf+{Bnr*E!i)qlJyWyKC#lsl$S!_c4g&Fn+ma?aH{!Sl;8c6PNU z-mC1AAVL^kX+`nSAf{&DA1oe1hmI$?xio@tu5x6_%E#4tJDoS?_LgEIA74Co*tE@j z|G1UhhX0d+9op~@+7H{?hI413!o?O8XpV{be4HT_aP*iH)rBk6wT^agVo@s`G^Eb1 ziB=p#wiJUC4^WK{hN>Oy^m4YC%(4{GeL6>7LZ7AdU%^GmjUbtjT1y8=z8RrSp-qSt zQB1bN8sqfBqgsbpoUb2|I;$K%Ys`UjpjcoV zI{UKaM!=jdKxXa7y~MUoFMLxt^YA+kkzF%xqk{X&zOOAE7A)rNm2=(eAvAp@!|jX- z3#gNDf5)FwpLs%3enMdiChsZXkLac{OmpbgR(}FV2Ok9)8iD{kFjxBKtj7JsBYN3W*o|109Wg7HYJw;Og_OT#OQtM&DJ# zUtm0SFvl=?bsH@HtLCK(xs~tI&ca4N)dcTrQrTOh(oF}FI;$HfLA89=Jl`j?FXrQJ zEgg*3*{2Ombo$l1^B#Q?TTg(@XMZd~$Nz~vUyee6I&PMC6A?`9Jd{=oTPJju?om|X z)=HKF9a>WvY(Rx2(KW+087%W@w3S=VJp-i|i;*);&)?56H54V!Kb2_gwwz(%hn}LY zwAFRELW-btEUy@Do$sw-@z+e!p!8Q7vTDBJ)dZck^}}+{n7VFM*tircz%Px5sW#&*I(%87Lks^_X&T%jMpw^%9hU)Eaf&>3X4e;S$Lr zl1@m(k72w{RgTIj3By8`IdRVe?MG(eP(oTM$7b7@_3X#b#AkYtCxWUa2T zK#xBZnnba0vg5sjUO43W1FjFsOOW2xgH5_8MW~Z+#itgf_6HIPWY8^fzb%P9F!;Qa zVYNLn@!;i-ODLRIlzZ5)f6%&}8;zJdvZn`j(s+K#KHNnje4I+=rt?t#ik?o=Cnq$_ z%SL{QX#wnm5TB35HHM9k6OYt5M^ehdNii_lHR*7sJh;-1t*QIST5Fqm3ncRCyH3*@ z45}ub)?c<4kHAnZWWsh9*KG?`qMF-chrvWf;mjp&v$sD1vDP?d8YigZnve7NVNdW_AIJS^Y( zXrcH7i^b;!6hdk_5%blPwIy(KlxT|^$(w6~ly4luo;aJCqzLCN+7Z@h0%iNWZvkWyHF_+vED|UVTWWYQ3m4SB0y&{w6YY4jAGPM!7~_af&ERbN94 zSI|Bk_sJ*$_Q6tCEyOUmJacg2oq{dGqqqVL*eLx^amhyCR6=%>)Ci7So)Pl5pIO%s zUp%svC-UD*nd}O|E{7?HhiICW?_QM|Y~j@R!K+$HXpt5&7+rc+zJG%^!pPkEz8Pa~ zjR>z9HuuX|V=!VijS7_8L~q4svi{n$uum~V2A$c4R!A)zt2>0RFOASzm}{AS4cd;` zTFnT3)9@boX31+%NP{ve+y%9GT-}di_45Jm`WB1iSmCQrtf@ibd3H6SlRbq;hcMim zkNiVmi(U)%qeR6&w^#6PDJ6HXTcx2EYDD)~4|L3H-hVGZU5&athq|nkU@*lrVW%6g zyM}le27ZY2CHA#}Voqcp-|3HCNga6XQ#u1r511~XVw511HR*@pjOfD8i z1esl9{+l+U2xGfDuBN;~J6iJT=&KKXnev0`Rm=7mDG$B zoyO-InXW_;+t^S$P&OdF5xU{?9fmZKmxfhR8qJ}#^>Y`pJJ&niP<|ZoaJuT}$B;b@ z)ELuXj=o5TvN(}nOtqE>B-cI^*EXF&_HQ7Wvqlv)068U&Xs@tN7ygrFF=E*|K=4b$HF1Awl zLw4@GWzKWic(n5a+iQ{zmbz|c_63Am)A*-9kUzJmiZ|6rQ!T($?!xx^M>m?KvP>b5 zlVd+^J5h-r7kFv-gJT>4qO7Z}8Ll2#fKBX9 z)3<0VFQb{Mx*4tn94{h#i=*-srCX`I}`pWDeHMt38QPRKF z5?ct%c=MP$YOA+o4jWf!m3!}(E#)wVgL0NaaeuVU)&8yzTPKR%>rNtGG;d@y(qsJQ zDj76%7xqt+$nB@Dimqx03VI!4&rq}W+-pi;^9=RM*Q`d;_bzUbQUsdMaI%?8LcbKK zP2!QTV7Q$ym!#4^a<^|Vc+kWV_wFr<-o=#;T!yp#dHOH+felqb*R#nyg;@O8uGiwW zLK=956!OI=m~KnvDfDm?t2^mc#{v=*~FjLs+=6~;)MCf$Um|L z^!7An@x(3WU+smT_CX;q7ZY=q`Sy=FBGnd8(y#KoPm+jY&>qvO$wVo%O@xuWX{U;2 z38;F!hRlhdG~OV@I<)+$KcPu$Sn53d98K$tbtW*Y2L9q}89wwYi&HI3%kX}h{X0^-0=_`k7suNMX<;Mb{)>BrNLGiZANb#j#$&#^=2>=Dzbf7K9IK(rn_`< zPWq|54H&1b`AU?pelBm?Uf(ku5O*6HFl4!(@?d=l$42yJ)s$jVfz=!p*-C9CvN+4T z&X|C7f6gBHMH=&5vtO6<6p>|$)}(0hbIsx9a(=UU2no$?D zSJM$H@U;YvqJM|N|5!(J(p2}HV1EcobT*7fAgjlv7gA1wRfu}h6pnkqc=$3!nQN{I zltP|}Q}%_7nNR#oc#M?n-Iw;xEbuZTB7w~>c0i&1`M_X0QVOp{G?v-V9`44UJg;-F zam1ZGA6B^xQ!4dX!_mJly&1gnc+qttgpx>0cw4M7?#k^*C0pFFXV*qV!UQ#h4NKmV zo7dEY`w*^P;q0de#fOWZe$ZJRMNH(27>IE?k+X(kHhbku7%>rO#eJq4kVX4}(5xJr za6;-HWq-xlCq5CXXoYi2ie(84ks zRa3B`A_bZVQjwm(v|fyAZ^uR2cV5Ik5k|vOMdw-jRvNf0_1IIr0qenr@8McEZe^-~ z?=~Imb3txwN0!FRh;Kf`1D8|M`^ezH2RC4wxFc!tG9cDeL7tw&5L)}kma=Wu)DQ`(rJ%tM#2WQ!i@G3i?w+;GfxqYU? z&L_uOdd!g@^zGTZeYA2@OUAhr<#i;dG8xpH&&2?WJ1txZ$8?>pRI zh*X14`Ud+f+e)9!9$WQ4d6;b%nUm7}H9~P!i4e}Usa7{`ttu()p=!y*`J!wGjAfs| zB7%||{h&gGW zJ~jLjd5g{yChN(ySsA$F5>ifT(0Jp|NauQu%z?d<6+F$xv!}@Os8U%Er^$O5J;02$ z3vT4x=JnRNL$;M8z<(=xZl|B=Rd6QQqFU zJNzYf6^A1_N7FRg)x3m1p7?d)@Ib0GE zn7d4zIq`3*+T%aKr=*G1@~t=@ZWHAStPmR|p}=50Oi!M|_<2M+H##VY@~Ekb-XNKt zXL*-Kt3zaRZwG2{)haFojz}|!ITqG9uygYo(>V4kIt3d8j6!rwdO^vt{w<)E$vWYEIQ5>Hj%$TJS$$Te| z5Jb5rBSpb%-!qby?ff%doCOM_nk#-qN*Ubv_}01=%4=n<%a6E5+AS!OOE_26j{*Ks z3}L+9@v@0D#c@ZFhEja-^%UOpb?lCN*=4dI$9Iby$6rdejGI(`CU3(|?d6AX)u4{7 zMf|>Hu=2bPL8dZrOzbf1%qx^cH-F2GUQM0sfZt*42ZJy~5`&S@9INH6G;c@EpHMIU z_4~WF%1O(bWW%kT8e)^>c8Xhg+@eR4Kg<25nyEuNV;*2el+s=#!-fa5ihPu-ppjBa z_g%CiD+!%wkX;QfQs#;sSneEf%ic{Gt$X6V!H4ldxu2q0a8*GmBLlg2t!M&H=(GB! zk*WvP*_Q4wLCdQC^Ru^kEiL8Kx6CJ7{=GCc#6SwLR^%H?<)DzhEH9fn`eEa@_#*`XflZT4o#cMH6D^4Zc-$n-VkK^rT168 z53YUlnu5U5o8D>=+6i4yHT`8u{Nm~?zVw`qP!LCpd7sDP zXq_q2k^(_>r{h=k)KAep%0S`0@8^6mUM{8&zcO2ewl1P!xVC=|32JsRo2BwL(nL9kEj`a^2VDv)xiuGG(So_P6?y_B#IBq6_n84z1BCq5_^?huref6lhBD0sj~|hMUtU=%6xG$9s`O(Z-QKTZnZa*LPI{=@UE*Ee z(3cQn9gcQgaeMKclb*-AZz)|2y3X3szX>1Jeu9!dT7X*h$eyAGqL1#_BMonm65bP3 zT`=WAbGYlRb#dT{qJNdTQka;#UH;J;##~lpt*nECe7jD*W;NLPk}HDOrm1ardY*Ps zs^BHR3X86nQty~B3i6ZBy8*Anua$3A!a3;$bT3|z<78b=Gu3QuJ;~d8T0dys`fARu z)2Okc?onm&IH&6jXBeE~8ycU1YKg@X>y7ISj3tj&OTN;)zCFm`koFJ_tCKLh7Yg&& zGV*5-xs-nQQPmqwS7Y>gHoC}w2ij@ zxA^@H#-~ZY$72G0J$UF($8~AxsoyarGi4UJ6Kud%Lm7LCF1X(wpcQ|OK;!yebGBWa zM5O1ijg@GrM!sav+~vj|*4N=HIgXH0bjD@PrHT@qd*0<%4dot@nMyHdo}*W`Gv(f< ziMlB`m#{q4LVjqnX5h1EEbf!#oEm|xo$2DI?x5~j{6q>eZj@4Xo>@w9?%VtoItZaT zf{TtEvre?6eXM}Zm`G-IvGB1@k}GOK8=K5mmaIlJ;vUkf(jPWo42^z3#aG9CWTBUg z%sg3=zma2p&-d(ml1>P><+sg_+I599d3V0f4LiIx9gG<3nh5W0@}BZnsyV8L%Tvt7 z#l5Bb6e6Bf>kG-52oU#-0H|n}BHYrE8It?#c>Q$*T9$+g&wvn#KRj7BMYbl%nGL;6Z?C z>5>Cle025qqXP1;so0@Hiq~9E?miz^w&6aaOieE?4%_y6*k#y>c=yZJO)De1Z^vZa z(eR|!(85>i*N2G0wwPmcn_?yB>1=5lQFQzXhrN%qGs~Ux<-Ux#Xo_3*YEvY_+`Mv{ znUS7jtXa+!_iuvMlx1XLQ!DH&N*jL$*ng>W z5jFhiU0WB6B_{NkDRQRJFo<|kO?~>Ag?lRk+e><%k&mXMXC^l8P!qqHE4QRJAzCMp zFcb@&w?i~uHft~V;o6Rn&6s{DZ!>;Yad}lo{A4i0{)znOMi<&svtk8yhxizA9h87>wtVWiM8AJd+mvMZ|15B7}?>Mt}UZQ6i&&XaZ(D8gZJ0~`paHZLg`$Q*!ubI%9 zXl>O9*I8xDM}TO$b5IpqyITI3Ilpi*IB1)0G4QBv347x6ULZHrPW8U@h1XP^Gm(AE z)Jzq(FS9bq!r2-{^^hb)ScB-I$XiT`>&>pl-qy=3zpJ5Md-4)aj)w@rX*`_HZD$i| z&I>Nk>S->e4>;?TzI-?5_mB2%q*cs zt0C!Cl+Oe#Xv&yzRTYY)c3Q{6v;pMlYn#5lN%lu?h{sni7$~6|r!l?H~G=uX8SFM?p1M2sQ?&qoa zCx#3zcG3ZJf;spvn7%om$q+-@hw|5X&)G8R`zMA_9$0T{FN>nL59>C(v$scY)?uDm zO(^uU8JQ62=vU>hmK<)V_iY=kDyVGX(sCgxL@anj-yIEuJU73wM#iE%e%vk5KYNfq zH|k&PZ9exi*Ueh!>QrMMMN4x_g43>W&5*gCkaP^8I;MZYR*G(O}0+>u0GXK#PYBiF1Q8;!su zLl+Tr`?BGS)l5D$0|^FNgko0V^QRZ()m!+9(K*QeMu%<*iPo3FT0amKi1^DM}^ zGnZ_qM>{K*&Wrb}H$^M`CHF<1G-FO4ljeJ}aRMHnjTq&JIAxdPpwZoNt@WiS;3gg#Gh$`s+ z2mSw`{~z@KgZ_We{}1~ALH|GK{|Ej5p#LBA|AYR2(Ektm|3Uvh=>G@(|DgXL^#6nY zf6)IA`u{=yKj{Al{r{l|3B#e2mSw`{~z@KgZ_We{}1~ALH|GK z{|Ej5p#LBA|AYR2(Ektm|Nr;z|F4-HYn8Lv*uDs6Bk-D@JrkTrCF3UL6PbD#zz}CGN%v2UW?C*=MRTZwjZ1XA$V4_5lz9HERR{0|F?> z?cD(}hjRCwz6T*e+GEy4cspV7m}idi1nQ|f^~H8z2+HVuW0$TKuTzG@UD5lF9D^9o zza*9}$aGeoFr&cyg?f?>eIbz`{doQP=`S6BjGnuqod3-+CY~@Y&Jd5UiU@(U!Ragda#4}1^% zyXbvq96{8a1!BrY+3DLe@rb4D-;3TVdC78wGl*}x(bbE4kp3=u-@z7;6|0x6UhjN1 zf7ZQ0zA2K5M=aDm*RHFeCi+w&?=yOSR}|$R!*q%*t(_q)&4%QzWbs;^CLsfIdkMZf zGTjCvp0_XEZ)1TIVYO_xzhU%rh&K`v@|@dn%tDKLmc-Df%~<4P1wrX z%lgWk$IH%;Ncs0l?>n6x;=5*xevC}uTtFmPs1X4HK^+W%7F^_Z=t-@eW0N zu`+Ub%g6sz2#ftC4VK2vuZn$n#1Avhfe03~zl+{?$_b>8>z&!?TQ?Tk-Y1YxBi8Mrz~Erh*!2n< zzh+qa^m_&Oea;&aZ#1wtjBt&G<4`#)5)pk%6pmzg%AOW1`h3zdthn)?Z|k1JJRw7~ zz1c@nN^-&c{)EHNb8-ruSzYZ2QSotOb)@=s%YGNV?*t{t0;anHg>8me?e`vkvY7AF zkNuAghXop3l{~NY#a9Y{7rpPX3=qM?5kd|EHSbCl(_EK~2f5#HEc$7&o##)lh8VO{ zeSR0c?`#mrGOL1buQ{Wi94%@Xj)=ajD!iuHipa8xEhQ|}GjGS=MejR+1M->QgI+7+ zr>7WUEj{~H0-EHWT7{&ND*VdoFj2AdKmWDgcPcF;vbQe>PO88s!AEHLYJm!#qSGR9 z-`c@}(f84T-30&Uy`Y(KK-~W zs`+o7N2mQ@$QjbLAh-QOq6e$YQ#y`oSt!WMuA8K>9>v^3GYM)^PWtzv?mMssqM~xM zbTrI~A8Nkw3BR|abG{$-2th`bEeVC1ivelou4vkScxc_DPbGIZE6gK9E}9Y;kVe9$ z*K~!*qDKj_#QK(-xKOnax%LoV_G1}EC56(s`Fw8Zx63Suwq3O} z^RcXi!@b;3B63_XAtCim{?3rKWOhU=85O2S2H#Xq$gu-sv?VM*NVA?u;7r{Vpu1-r z-`x}6cT69I_R+T|m+6FarEsz}^fsYEX?rk6Ybl7)aisb_+a~|KdnM`wldP)a+9AzowElT5>VRilTX=6aJ=x z{b{U8(l{)hjfyJS@1pmeN)5Tl8&>~SyyWf}8=rJao2M-P0m|C9Glq$MNTV*^I`gim z$iJSPZ!6V$cUPZ;T!J`fd;9jpuDHudp5~^?cwGQVa-8WSg5Xf9@$co__s|JQ1$Ru( zntHC(oa}O6TBAixU1mnk{v%##l~kGIcHh#wqL%;N!O|}W?*5-ZkK9>Hgm1}&mPhIe zeCTKILi}T=n4ofCOvyTJ;XBDcq3$_;4U&nWRa|?4;yd<%q|yvYGxUv-4%VSf*L<3< zg^*(*wtR41Iso5fKy3h>05aB(JOgpK<)Y6YwDzA~i!Ejwd3q8nf2o7%vqqw3qh! zNU#!d5%~SIt)hRg^uA-3AU=MySbhTef^6Y({06-N3}-aaW6-l|9cRN!Na)4?yj8jH zY=6kmSi#IgW_7j#8bfC^9fg5>uleJ>*;VhUnca9OuBf|}QvA#LVlkG(&JbyV?S{{u zMO7cthS8-7y(Db?uwlarfB9N3jKa&W6a0Q}_Z>kGxeg-lo3Wo#L~i`vz!qi4pVse9 zp}pn+XC*Kli04dvS5*H0_t+ZaXMN6)!7;1u8B%>k*zkAacH)%!b}=3Mj*~1}-*aV` z>JN^7ujsx*Lm`9Bw*~aZvZ)oD$U0CBRQWo?KaP`MN9Rgx3e^|jxq zvAgTKqY9;nPbicGB7d*+zRw^++%{xozUHGemY-)+EBN2S8A_Mb)DpNDTFl(vnsx`qgn#z#9SCV;F7Vgh z+?9#@4^CHnB3$DPsXxeqb1!_q`u1@^+j35pDk+*|4O;7B4CmgZBZ`ga@3(s2)2tx# zrJM4jJ5%GDWS7dy8E7~-9|=P$wl~OgqeQyWISucM>i(N2(yDjP+e0|1UOXE}oFp@- zq^n%1pLfR2BTCK28o8i^FxjRPbWD*yzRy-kda&#_ zm@M4Cy)tHIN>c`<2mj^wa_>7!8`8tmG3+ohTlN?&Kc+jU>nl^rG$%!uCPaFrHDDpMelnm8^mpJMA(%? zs>;d7#SRu>tHMfRR3l2zXzl?!Mpy*q;_ssO9X$x~G}L?RaWa89vtht`yUfHXHxlMx zB+{0+20x2(D!e-T(a)L7(6K z%Zr@M)EqyR2+t<99cPphZIFrOc7N~A9eY%gNZXbb`+IfwJsTCG_hJB@m$4dK*4Jt} z?4^~-9(T#`n_Lb%;q1lNi4gg^Uz=WbvZ*edCqT7x2H84-52*n54_Pm218?p zu<-iLbufhb9sY4oVDsNUkyK3J?mr9eC_kbGG@bl!j$cG$3%~s6Be?!NrfoByk}w+xCSY8Q2TfWaZS z2X_e)JV0=Fx8MYVy99R&?ykYz9g+aS39ca_xH~}t++?`-)~U14-u2CoQ#I99)G$xK zYgYFx?f0>lf|J$M#X@g5zIzV&E}->r0xog-c@}h9+(za8lLGTd<30j&GCH%bx)>H3 z8M?Y?AW&$NR|AXmRDD(=`i+$+i~b}yBP@(BLF7o?{e1+LA%`J7hY%>V1}Wfp^g%ws zOj*_&*=z9GE#vZ@N{yB(h3*e5iTqc-Dm@S=v>GB{AfciTe!p=RlzaMi+S0(`dzQ`E zaO;}o0MUkKL&#I>4DGWXfNFdFvXkrY1Mwx2^l^4X(xT%r{`mFx-vO5b_}Id9NTkpv zoC0(`;b6bu#28`PTsn+j2BQZCFzR8s_GzcoCM$d|>K41KWJAzc z^B=zH5c$`+gDYuk7U=K>&Wn8|L==p4OQSwtGNQZ6(+w9Y*(+}HB=4t_Z+=`T zDs7pi>3qB)T7W>I&B+UdR#7;us!V`9&a%`gHIC7btE(PPEr!nbow^(bZLlFwXvHv;xxG!Z{P!iRso>_+s~PWGpjQkK#-~HUVZff#2n1xFAqyy^w$v zJC#_T{?D!Mai1*%%bQjZ-|F&yl6l6GAs|J4@vp0Xq6Dq%3P?7;{+);7F`BA7YbH0} z)g)*konPaJSX^mx|43Oe27y9rzyNOZVm9el*}C>Q4TYXd6kO!fM+ejN9 z=gZvV2uraCCEaxmB!eJOXyw^J)(6wz@^^+hjI~Zb!Un$e;+ii8EtaZcm;A^p`_%An zr_6~Gv_@7SPtI2Dg=)2&p~C18>9^OR`+>QuA}Lf$2bN}~qIPp^t=&O^(i&x%2S>$8_g>KEA zz;?ax5)+nr&x60s?20vD7v|(rlf^kFmx{3x4Ng z^!kSNSpuM5=e){g^z{F9H3=yyw6b!5vm!X2y#0BJhZ{#$-Gj8RV+2U76O&bU#V~cJ z?zamB8fb}+zi9Kuw2Zy)C|GJ32GpNSreYOl=dsd>7tz)?p_PYhJaCVez)d9QB*5m& z0{qMf{j*WmIxbwE96kake`kOvV9W1+8}!uBp5>8F52b<<12|up zYnRAtQ}go_l0U>0U;_;%$pct-L`H?bo0|M0KyZvA30(|}pZjoEILaDQC|qI~Va2rb zM}sbMA#zWW*)$GT-ftSp$H&V*i5zehr_G|KF0X{(t8+H&8nC2Hx!2 z2`Bk81}f0lsQp6BH{tYyNoK0?#WGQ{%WM(gg#-m{qIKZ7E$_GJMrwkla?faW4~G~A zwWkp&#U9dk+Z>~*JOc<6+U(~*L9{WEyej-Jhl{12%{X)946mOojtPjKobEUY_ES$+ z4YW!b;Oove_$tRBmS-0)31SS#iNZ-OC{|i*!%ZwVVeEWF{zgjj!DQH~E5EGfLXItEKX@8e_t1!Vv}8MnN=I(E~s&PKP8B0eROe0<>(K zuHA&O9PhQgyIt2$tMcg0y$so^2LOO5Ebz2hPXk(&48ZS0Ry0H~&)43`8D`Xm>*sY= zy*B_R!jg%}d9mpf@N@=I_kSn(cUeKJCInth|C!h#eLtFJ6X<@S$=?@QzvwV`pBb+h z&G)=+g9%cDDVcI(!NXm8AJ6f@t17?xkj!ANIqomT7GfGnJ2X!C!*D;1?Ijr#1+{219NznM ziL)sC;Qe-67&a=26d@VZGf5TNA%Z{y^igx;IJjS)pkfCSW_}2wnX_NYOx(utvpw>c zmN)D>j*=rC7*MJ}r#emRJ}%n>4$T{;N!C=2aURF$)wlUVIvxblOqFJ|=&vrvHOBr; zhMXuts}};eEb<;r+}qVXm#2XmA@0lN>}U7&K@{fApUe|Gh5zkCI#Ghw;R#GeMWuCz z<0@@Q+FpOcE!Z1Vn|!-b@|qr6qIdx{rOc{jqp7Yky}@+G2w#1PZOP z7)YrFgnpfT6>a0E5cR1uLEv)9#W;mXi*{pXspEcj-45=?aU+@Ol^OJl*SMJWdTrsun=Ba~0JH8SL zVRxLuj*_qY@}4RRTG=76j(VP2b=GVuepCP82E&Qu;w;deFx{auBDoC1sBQdI`%oG) z0Mr)Run+5Btc_^q)JB$h>Xz_S8!q%@{?3qx5k=@cjbIXbwUk*DHWKx(YuwLBK6;Xw znS@qX1-kN^{HV3QUOZ0C3FZK}D_ZOmPX_=@osO^>*e@Mt{UQP2uZ zfM;U|t4)6_yd`=EG4)X-9pPsa%^yX|a$SUZ&Fx8^eo&ybasbM2-pC8vD}>m->Lnxo zjkPvwRYXlN&}`mkM^|~$Hn-GFkrW-aQ6mC777me< zVdk@0%x%U+Xn}n@gl|xh#9i>*41+`_bDmnnWW7=AVYThzn!Fu>U@>k*bSyFvTO;Zs zQ5r$gY=3oxv#-AwlcXG$d62kvoL(5J0EhxWGqp zy%s>ob<1^c+dAgk3G6b5_LSbWtz1IGZXQRq@}Fzf=TFT^q-(z_qP9xF!1$FcZIi7P zG2O9LbG%8tS{SvKKFcGVLBDJ^2ica1v$kU^O@Fxn-~j4_!IOxh9jy7-@?CZA)y8AR z>;Qp*2C2eEpNrkov>vn$P=FOK8%L22Lp!rs^_sR?4g}x#p^4dOpMo;g;IoBrGo+%R z6~O{-ztgFAjNIWQ_|k1l_DQFzOC`l9EsX^PXq#y}yPs~;0@Puw7rc4K;bHG{V^Pb( zbDvK?*8f$38mk(~JN=1Q$q|uH6_mtl3w<=J9xNn}0@~1h;{$BjZDl2rT*_}Vr5Peg zUHQ}Biw#*b@7-MWLn4J%83}aF)1m)toE}S>zw4;YKHeKqG9_|H-7y5g`VEH!^+BM} zdeecEA^%$5_6xIPT}4fXeZ_!cVWRM@mpdiXgU`rXVRfG_e*2tm{s--|dk)S%Q(X#u z&%lp@7k6qYi^j6bZ2sg8+yq8eVlu(Q!V#uOuVUkEfv`lbweMOT)be*DWz3emtjGpF zvNW3(dBtv2`IgUPAkh3VInJ+ighNvfJ`!W`1=#A(XDrT=&S=(f9q(U|>{(UHCAGmF zx-hOU^%33-v^to^d6k6>uz;|JjhnNuk zQdz_T=_Xf+Ofx`5@OIO&vh#i44=D{&2o&1fd%#_1zd@0=)k#<#jDYdOI0KgAX{>|M zVT~~D)w>Mdr^%Z@D;ygx|0XFN@ptvog!*x?swF=+$P9dk4(M{3d)E`Q;ru?%rwF zb*$NT^iu4bA4z(I`ZN>l#6FPXHw73?uc#AF&nxjeImPJq zIqo2C+h8@O(RYrg)ZIXs8F#~qD{l7#C&*=Tf;C*vM2sSW3PHrD%(M}+@c{yb)?W$K z!En~`2E)8~z9ARf4`v8zBE~!p2}>9Aq#Yh(mEVIvBO5O6y7Ro;@xfCHda zkMDOQaORwb?8%3RVu_PKbw0rc-(O6OMgosq6#a6^i(1;ZMhrl}EAdEH^YU6#ee;f6 zu`4RDue8Fb3?y;9g)XwX`!rV)8I08Bv8QxBx4!LvkXTrYzs1+F^zl4B!46@ZF)=Gj zDl}cjwm>Hnw)D<~<3rsNFl5dthh;ph-(ljZjS4P2 z3%M?>`HI4<$DFuR5%@Ox*nq-_ApG{rRPWf0lr(B8VrEel+;-?pi{oJ02Uoy`<9&PM z28y(Dn1O5}#T_LEgMxDW+LSKVnUOr@{?lSHw02;?>IN32$t5OThq7Sc&hdjv9zq56 z=_OKmfGCzs1xPTdJ5izTrj;;7hX>IuCqnX-o?mPrH?aR8(B2 zg+kC;tLZ}@NVp)-JL!d%-lBE?7A#*sMnrqly}0hrp^X1EPcxuVeX_szCmPi+S_<4h{`|;M?G~LsqG+uo9fe(gN^@~u<}89WuIFL# z!#bYU${SWvgf97an->H&@cU=*%dSQxyUPtHTvl{W;|6y7vDYr&W67dlHwW3tN6=$w z0Kmq9dLH&DLulL|>AsWny5Mx`Vm!iOqOJY0qgW-udPtWOD`Z$Xx(i<@Mm66P;{HYc^`&uIbt>_|4>sDaTGhGRolc_ z1ph4rnlDV@9LE2HbCX%@p>h#-ALqGy4_>E=|JqTg8xs~B=Hsn*o8|<%iJIAN!K^*# z9KcN*E7*Hpd%YO{LO&yV7qN=UWO~#a{J+>Cj=VN)qhRz9?0WXDl!(680L*` zfTB?~-dlq+WJn4%4WOYY8g@8_agh{cQ6NI!d&fm1o74W=<#T@@8xsr z0m25FJouyisnCk5L}CaO+U!3-|7J4&0AcOWEkS2*I2!EiULgZ!5eF;; znnS#`AtF zoP@}_t&3Of!SnE!<9slToa=WlF!`^N`>CCQxQ4%v{k<^>Xmvi(V4`i?7ExJ3YqWXz z43nQ^T^fb~fi|2ZQ@!$xRcw*lou7P_?2np65vJE4>s29z6pR>fcel2W&B1+Cl`EOO zngV-bCkYJrP(DQ2r(nOK?{<=SY%|=%v7p%4^A2QNG{D)HW`jVXH97(q+WmSnCZxT! zbhM-!k6+g_i$Qcl9bF=YiGn7`l21Q<=?uS7N_+qFG`7G8*rKU0LZ>+^O4>ixLPNh4 zL+4Oz8da?i&M;SL8lM(vLcX^c+=AQ7oqWtQk)|x0;jb|mJnb;7H6Ej-?ptJisGLH7 z?0w%FrJWVjBv*Vi2O^|9RU#REvOGOgshR5xIMhS=d|vg-*?P2A*I`h==TZ}3!npwi_!Vn_SXGDz1Ax;Jz)IqnpNE9uj|xSQ<(29 zi~n{dwFmPF3iOObtQGBZP`-}Hs-pbQA}xR{NW4#EPtz?4Ly7zSaH|@>^(5NCwI(cX zH%9L|JMjO_e**wNEWn>dexmUhW+j=w9vQiDSC!TF(z<%;w{R_4MN2Rh|F3JMKdFqz zJ^d0f0qXG;rj4v47FR7JfaZu!Z8;HVXDxRWMdmxYEk-AXmGS0QzseUBSWaqPkW=ux z0AP?1WLmZA-A{)XFd!ys!mh70s7V2K!t_>DF@`}QAH06uy!v&(t@YjJ+v*~Lf=!Af z5{nQ(?3n18`%dC;8P|7H1Lgrg_|}IQ_t3$B$;Rt08ez4-8g!x*7xR-B?<&$`atVwY z^ND79=`)+L$IPYF;t zs6cI@Ik&08PhwAkl?)sNsXu5X@c><1eDK{S@ox4{n?Xq_YEm2sG|yHk6;>RDTW@8<08#wK7k@l` zWtA`J*%wn9jw6N2_;&ItdVHX`Pz$7nT29`~|Qhz?w(r)vc0% zB-{(*;PMlECDCK+1yvQ6+Wm{=njp|R7E~?=yy1_%2gued2wSL(7p5dq&To&JE0i9) zP>Yb;4hWUwr6Ot5dT2Q_J#=>f{^?315t-o&Biwe6lsAr@^-USLX{cJ!`30}la9RG} zR%Q~u4-RZ64kld4|4)>S0Dm0k#Iz9mdJOh2OT?jR`icw##=Lg7XK)r#t);b3GxgAV z#eqilP5H%aN6LpHo$H~I@Rw&2Oc=_8?O{YP)+9e==OD!op4@N{G_9mZoe~=Wt)4ZH zqB`9n3vTYP%S=~le0Z4~B~|9$5<53kd3plNzfBYl)Q??KQFAESrrR7)GmOmJKVWVn zZ5QUKG8Sgt?Oo|Zpk;0(L5q~*i}4!X>Db*rx;d3|2BJAj;;9*XZ|vBveHrrO(g`zo z%Rk5Q{2bin8vx36J)UjgV)x&`Jxg%N8boG!MyhmnO`k+gM>VgzcL9NxC^ecSm$b8L zp(FLR!oAmix$JfGP#m=*Ogy6@21oFq9@32>(w8~??pk^IKAmJ8pcg$=FDIYrpBlz6 zVJk&T`nhQ!z^*zZbN0Kh^QYregHRxF87YQlr#gs~Grr|&;rs~{w6;DFM%p6p7nR5- zR-zro0#B4el5TwV(^{VTtPgPG-*B+)nW_FBs@7j9ZdWszFv20mK8#q{pdZfm?%&?7 z6D4Sc>%da#*EIDgl`nDg@O65y0kYn~7%MMA?AmA zu>96RX^%CG6+fn#1fy6!_a7^2u_Q6CBSbW4RBNzED^i_+UnR1BwLg36ag4SIf9<&3 zyq95*HEk_EL+cj8M^jCLK%?~3(yRZ><1hS4-Se-z$rj<+w=aHwulC=iiUrhN2Ez7> zLun8hzvr4DHqPL^y*0UCHh)IIM)8h2IRgSsum25eoF(p*51XsTbmPb4Sn3d@ggD)* zG=x*4t#gkA_5SW%i_!+NZn|oMm2PZFbAljj{8D(>2$gJZ} zz9tDa1e)M$7yjTTf@@&;7(`#=U~Py?K|^l8&bU{X#Bu67M004SDxG!4bVR1fmNGKA zv<3J`8^N}5T9w^8^}-cm+`Pg;qdYRkn%Qm~r+83*#Q=eZA2o08(v`~;jfv(XIp{0j zY9I2x{K!bIY_B4rE;u`1$Jv|9jRWhy8!ZKR4 zVe6Rov-ozCkn3ien_H(_@b+U(6bY=LysA`e6l+iDZ}tGullSK(Kqahwh~{X=XkWdm zM1haIHJ$CmrT#{-VN$|`n%Tk#B+|r+E7KgA48frFU)*VdmC@Zoh>E^$ws^)A5iY5F z-5beHLFS9|ZHs&vI6=<|>`wt5i|LIz;#@x`8UG;RaY>Kt9|a4e_b)o~`8wEM2Ju6n zF=5u2Xpz%8sd+PS@_9m`iTP^Oshu6IV|8QlTd`Xq`>^Dhg7hzCYEF9Z@!2!}skWcpg3L zDyFwIPJ`cHlsBAef2snD`7N@1s2Nve!yY5dx#0yVeeH|$n+zI5vGO%goR zgng~@1v3U8n4YE3r1E=Y>Tc7NeHcc7`t07S30z`Uvu4OD#Ox-fZm@^shn`t#Z3Z*N z{^k5%4^zqDBpkckC;hH@G#gHbqUhDchg6C_9;wKC!GJB3|ElT(IKwN7=X_6-FE4&Q zw1*PhF?7h7XyK5O#o6o>@EhF%IVI>PO3@`(1AfgQ|AfL^>SeoPkZmRWvHo97nfwSup=GTqQ6{JZY;)4d1zW&KX~crEd;08S_Vm60`r(V*W~FFyq|5I;(J8bJ(Al^kia%RPDX@* zpszVQkm6S(eqpL475emx1`)Q-gV-PLxW3Ad!hm(>q3!0t;J=!ifmnsF?RvehnjBm| z4C+pzOB>k>7AYvA^y#xKU>rJgL!c#_9IzdSR!e1B>c2xxXcAV+<>z5`%ged+q9@p> zK-aB54#G@ylZ_CvUq{y<*t`L<3rFE$QMm-D2K$BqYKbD$T5))6N^XMPksFv*6+{R$ zE}*;foArO50~RPpmGb#0!S4UNB7 zTs9GY0iv?a-zm!|$YDHiwW5YIA(2LebEc^G-(S5wkd&HEBg`5=>WC6lL2TQ!h>Ava zH5H3}-FY*O+;IHnjIky6P)!P%EOM_TpQ+Xc$39shva! zv_41e(F-@3M}^yg8<-O1X_%vT|F|Q`T4nL)<;beu{GZ!TXse)0B=NRuwv2gq6~K=B zHJk#;9YI45hJ6XCPeG~ay3AK1ZyBjWytJCKr-yQrzr;GvZ5dj)GOnKo?%?_Opb?CJ z8xF~zYin0Yxz4(&p2jIzK#3=SpJfLJSAA*)!n&Oo;6E8k!Xl%oJc|~WspU^owU8fg zck@c9*XwzD04=tt*d?BXZivko{&CdP7uT9@sioL^dmS_}FPNIhetkHm@G{ldb}EqA zY?oLeK?=~y>_Uy+cJ8^CRB249;N!-}yy9EEsc7wmgGWjedg`FHZmL`=`wR7Nx#NE} z#7J>&N%)^LLIdL5eLQV}+`}wOGaqLIThTY{Y)87&{gx`C!JjEMv>@MUGOAAW0Nt4O zm=EXA@8CBz2}7L`RQmjH_$x1yYEo}Vnxz8?qMX z7d;<^sbsE}oQesUt-F`@Lo5JabG;$`jsE#MOf>KGKMRI*<>X>Vj>l*??t`FU!lz!J z|IYR*UP$<5rQxew){5a3R3+uFW>-ZO*Hn0}51+8yXL6jizBDxlXxdo`ax`hJ0UCtA zJJqqn_fBJpZ1r9b2I53tP({LbVu5DVh<$IL7Uy0d1_2E;%ZodaqTE`bMQ$#f|2T zs{|Z^t$Z5QW_)=Tn!6A37)G0m+TMadV`QY0prc2IwH9~=PCr+ z7^B(s)*N}6R0-9xMdI8LaWOChetCAli@8^DLcaf|R6p2UDLDo2mCjt^UY$HAK(OEO z(muO6pjikG<$Wo5^ambw```e%chbfkOfxPW1RAK@frY#kdb0i%uQ69Rbe9Q^ON1Z$ zJ$vU(!bS+`*v-8BQQ_QA(|I6guyqsejt#h2B&J)JH_*~{3}EL|^=CPiOi*5IQh&e8 zFS1xFkNgxV|kwLGpbpI1wAQ1Sf z5OJnVe#V{gh2in;!ijp1YZ z#y$T!>C*(e_a7p1Z>=+q&SJ19^>@yR%dQmTSPGB?;2O2U61I&ww3F1Hkfz^>fAa*buhz%r*ISxWZV*n$9Fp*?IOkf?b zDjFvU5kv(BbFcs)G!PMp5=@4KhQtd-1%uG&F)2Y9XbxahOhS+tCKHGk35*F3G6%DQ zFhOvC!}<3?XNrjj5b%HRbp!$cw)cMzqOyMvt;s{{6M|_f66`Bvk(|Lm*7l z7a)Ly7v}HA)!~d+FK_@M5a2&LMQQA}T!Fx#s&1{odR`KcTc5>@_<2^K@eS8!%u+_p MzW^cSfB*Xb0B6hjO8@`> literal 0 HcmV?d00001 diff --git a/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/ssz_files/pre.ssz_snappy b/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/ssz_files/pre.ssz_snappy new file mode 100644 index 0000000000000000000000000000000000000000..f4877da8190a8e7c256e6ee51366dd3b5fed2a3c GIT binary patch literal 173688 zcmeF)WmuM7yD$2i2I-JcQc@a0Qo5x>=?0ZXK)O4myBnmt5s;MbZjh8N0TDK@@3HsX zd(A!9oUHY%IoGos$8mq)1Dw~me*-nlsM6kgM> zFT8wGCfrwQe&9RIfBfb8UGeVSE!_Q>;`4i4>TX?kSL^>DyISM_*wqT|do`CVl|_&4 z1|GK>Dy^zQpE^5+T1wjBAur%P{wN-DfNAwQt~?fdCKy0zd!=00AHX z1c1Q*i~!%=9sT|8<^N}{27VR@00AHX1b_e#00KY&2mpcqT7fH&06+i&0zd!=00AHX z1b_e#00MuI07w9!T?YsN0U!VbfB+Bx0zd!={7C{J0sMz|n;Qz^^6x#ZaZ`#9UjMED z_np#zm>qm45C8%|00;m9AOHk_z<<8LJ`@D*u36|m|H9ykKmZ5;0U!VbfB+Bx0zd!= z{FexTzZ8IvtbqU!00KY&2mk>f00e-*pCkYhz@N0+|0N+4ToecZ0U!VbfB+Bx0zlw@ zD}n!40%(AOV4$`=g$Ox8L0}f00jOd0gwRxq}~2IW>m0d zAOHk_01yBIKmZ5;fxlJ&Bmj^AfB+Bx0zd!=00AHX1c1PwBmfe?pS0V5ZF&UNfB+Bx z0zd!=00AHX1pbZ!AOU~`00e*l5C8%|00;m9AOHmZBms~B{-oXhJ7!d{W*`6rfB+Bx z0zd!=0D-?&03-mA0Du4x00KY&2mk>f00e-*pCkYhz@N0+e{FgM)qnsH00KY&2mk>f z00jPy0w4i^1ONnp01yBIKmZ5;0U!Vb{v-jA0RE)i{ySz=ux20t1b_e#00KY&2mpb< zRsbXbkN|)H5C8%|00;m9AOHk_z@H=l62PCd+kb6(1l5255C8%|00;m9AOHmZjshS7 zfCK;pfB+Bx0zd!=00AHX1pXuekO2Oq-TpgfRIp|s00e*l5C8%|00;nqzg7Sw0FVHH z01yBIKmZ5;0U!VbfWV(50208TwA+7edIZ&g01yBIKmZ5;0U!Vb{*D450e}Pm1b_e# z00KY&2mk>f00jOd0gwRxq}~2IW>m0dAOHk_01yBIKmZ5;fxlJ&Bmj^AfB+Bx0zd!= z00AHX1c1PwBmfe?pS0V5ZF&UNfB+Bx0zd!=00AHX1pbZ!AOU~`00e*l5C8%|00;m9 zAOHmZBms~B{-oXhJ7!d{W*`6rfB+Bx0zd!=0D-?&03-mA0Du4x00KY&2mk>f00e-* zpCkYhz@N0+e{FgM)qnsH00KY&2mk>f00jPy0w4i^1ONnp01yBIKmZ5;0U!Vb{v-jA z0RE)i{ySz=ux20t1b_e#00KY&2mpb@qTJycOzNL7nCUNHmzAUEbGnf=F{VoBSZ-WBl`kbWheZ8veLOBpj4 zH6j-11g7u+(k6o<>)0fz0iWK_8aXF;aEl779Y}`I7tem32~USs5jVa%*0d9}1pEz8TJ35o^~LYVmKQO={z2e@+#XD#MH7X5-b2geB(ScC5`h;b)oJ z%zdMJ{OcK8hk-horlVI5@99sa*crW-^2{EjmF)PsCc=_Fy#j#-NIYQ?=GkesGD$5> z3m8U`hPnb-&zPFoH)xvWA7P(S(@uzHNFG|MeHL`REP2E^{860@@g^7bRUnIrHtxzy zBg~vAw#m;#UW>Rfc}l&f`_DeDvBrkGcE~)zw0rt?I)sl#;K$>t(AS^e7(JLHmP2`0 zD|(`XIOCNFKR40kOy9~oB;9%WNz=zjE+!V2M{P1{r(Bw?C`ossv~S`KcaTVJXF3zX zcAisNmd2ziQlsYET~+!(_wTTa{l-$*%f9|6w@Dhh2|r)LOc9XPGk-)&}f%eN!+o_R7j6YmD}*gC zf`Yd7(t`QI?P*4M0zo2YL0dS-^4D#yuF_)TWh+K#C^`y)&)t+L(Vi9pG$!PsI^Mn? zomVe;R(IJ|7R-hhXYggrV#Sac_%c%!AK2{DoUVS8m+xWr*e_XkI>HDwO0h+ZYag64 z`~G1Bz7I0BN4fh1-?l}HTs>m+25oV~jO$ZG1H2N!Y|CnEJLGKr?5iBhc_+CDq8xG! zs-qG5m!+-IOv^Q?k*hd(7N{*VS-IT6#Tc?iM-}ZU>Q2Yx^JKi1HAUr$MpTV+h14z~6y<66~EGvt!*9>J)}qcaGes)X>nU*)6w zn}}ts1qFTkS)5$YYFaY-L!gYLu-1p1d-X!@I*#_BrBgK2Q#qp0po*#Q?RjlqsJ_4K z!`U6}O8u*s1!M0gX^_pb#;46olFd=yu=wSRYZCcs9-g>7=}V0;gIqGbkJ;(xo=5sh zt;VlP9Lli#u0{H6xb^$fbq*#}a(3~6ee|U7nDjwz$xJBLu&h>^heh897Jd}TM?zoD z$^LAejj%p*<`WA`GQ%`8#g-1&e{Fy&(jG*xizf9tSsp4UT{^Emk5IWv?k#7YyQtG) zNOu~NmtGWslhT*39!F{h-ME82x9G!7b%laWOk2s+m{<8eS$e16;gXH{eBcn&J;fqa zJc%9J@fu%b1eTjkv{&T3?b331jdt7{vw}FUPDY$DAjQ^AP0%xH5L7PW67C<6>LgJL)b>xk9d(8OhF4j3Z8a)(L{ai z7x1NakFbG4dul)^Zu4fprcmzoGfMV@`dtF~2=O4Q_!cU*BnS1a zs$0khNvmjuWXY=PH~txQUnLw?Fy`Iq#v^sZxa^namBI)^`2z)CQ7V>V5f{c;d(tt$ zi51u{woNF*mthl6c(gixDXF!n=tVGfR;5YHpYnuHWW>B7OE_Al*P22zDM4(fDB8uNBqlB8xs6e47ohWTg+Du8qdJ}S>O{R+f&KX7iJkfB5NBM$Q*VPeE@N6g<}m8Db`fx~N;)_19OA z(M3q%4=F`3)2cj-A?I-nldYB7o*Lna@j!_t^VjGMb1oD|@S}pOnWl$(Uxl@=M4)h#!XRPoF`BEBM&P9m~xi zB-%#0Sp?kJ2|m<*ck4}4YGtbPkc^Vla*cMUJo?#@TMy-)p`t|cG2K4NYv$O#k=c!C zF#+d+Q0<#E+SY@X{AE{ci+5!&w3{>*h39yp?RmF!HJJrdE7Xjzt=wd7B^u=uDt^G| zC5u>Rz@#bBUAl9;|77JYhd5Rz*MpO%s`d*B+FC>4D0jBmJ^WEm8$Y6u$MftY{G5#^ zT#B3e_?m5(kw11mkNlh&&J(kPo7CF43ET~za_FOZe!5z?C0FCAp`kis zNEA%`Ega^Xa0BZ*hE&oY=ym-DfcHNwKXq6Q~yC5%p)%U6!B1 z`B|^1+N&0D>+?D>!)AN-`34(wj?rYJqU!Cxdg@9Eb$h)Io0x9gqT@JxPy@^hfkG&i36<%?sR_y>+$xXABtGDc5^ znBhBfAEOe&KgbSYopq*=a4Qx5RIX&xuCQvM)!ESSs*jNvO3pjck<(6gb@BZDXQxgx z{$S~3R&_G-_t`EZzCrllqe z!7K4vGeHA`*LP+EJ&qWz)A`Y0i|A+LcU4H?W~nzhFTTyIJj!O%mTZ?2kxHzoVZh!n zKu%~rR4>ff5p(bB=^#B@d-x)SPABQOdv)_X+R|4*Sl?N+3{lrPF#@qM_T)=z;8?C0 zl6}g$yyM4}TKsUSUzQKQ5p|m2La>A+T7$Z^?`UzgnosRKZS}W!!4|K=gX95BpdoRs_*M4I}2WTEuzJj1yY_k zj#PA@F%#(MAqom4R$9LtJ07u7;3Eo<4yGMg2vv9!|s#dKxmY|3z|0a ztKz|i(o$v_L*2qBV{`* zd;yj_znrSTpsC=i9hJF91oL})N1y32IDzuR?!?u>rZ)MJru-gH6B;X=edfa= zUo>3;q$>@j<{1=QS(sOTd<7Qq;s;6Y!f%7C*)yFgO9r?4`SxzSWwCH}O3F}Mo!ihS z6Hi!@VfpkkQ*S43E8TGOMxZe|!h9y3f=(`?;mPAF=&QoA4x`Lqq9F!>h-ce&GY-#U z3Z_dFyP(focrfxltuzH0MqRs&Mx9D0RD`g+CX~RBmxx&Rbcr0b>Jjh~94yLyS>`B^ zg58gLxw_&XpS6jXN;?MU>wH2r+EE$#^3lxkt6Qnuu|Q1c7Ea45^O9l*1OAbmTf-nwV~?Q)%8{hOd3o{i@bAnqoM~$LAf^2erTewpiuPU*~Uj z#l*+r36i^z8iRQi5bM|928W=0Fc1#oZ@L_NP+guZl;y4MmY|ihGdGUqYunaDr$>vlkcnF%;n?W80^VqDnDz@0|0Rinx_14*U1} zy+uR%M5mZ-ev%HJULJOds^(DdQZ>wEGnz^JjrkRvES=S}J{oj9UzNV~SKC~MZrm=7 z=vs^@H0C$7e?{!JoU!p?_*zc_XZlk?!0Yx$@<=Z9tv%^!fy)V4UwM)pI4jzD4Ygy2 zPZXG6C$c#;Nx>ZUVSS2tTa!(0rA;q z;jkZG56NRR`b~S4HgikUw_f-Nv&*7kkqDaWQe+EJ@)DTXdcI}N zsG|_m9%eJSq4V|w?b?ag7Otx+D*oVbuW!a=eS<>mMe=3I7*5_aas)p71Ph!`@t3+# zwh7~1+?0ns>5EohG>-D(2b0+=QFSV&`JDYDs!O65sc+*=M@0B`( zn+_;}OfQ#cMiq@2)6NYTu1<`=hU#A;>dQTe^+(kRQp)dWdpa^dMB|l;==X;xGg+F6 z$G*nlhmP4^>oKbuQgsdCW(USSJ@il^ro7pH&iS2;`6Y%f zs^<52gqReE_E^`XEIJibIYBsm3pMNh<5ekZcG%*)F@;)&{_Jn&@8g$quht2kUyiY} zt2Ogp<&*{!!thEfiiZU=wfOyD@f13AI?2nU5sY_}BTG>}uF2o&ys>bw5)=9G;<@9d zU6%3VFXXoT9}Vo$hJVn$-`+NyI|~yov7|tAN-E&v46THt$DF7sTA{9UvVRkYTIr}E zb#_g(;uN~27?N~=YH~1C<7BUwyTxRlt%&a1IqDkrEVcg%E?RB`$&}PaI#BY>2yH5D zVw{L#iZ#|4r#B`yN^w0>%++(wI*znsA@<@i}sE}SF9 z0^88p=Ph>v<_rNc8-MO4wsm^po1&SA-*JfSTX35cJXZGo?C7vyF>kM2>R%6`=_?s- zXHHl`okRpU{ha#56Po%H3R5td7b?y=RtSoy4_!Hm22VvlCHj`pK7_eqzLw zSWiPu##Nu4Hi(|xybph}QD=Nk{1A8A`;}iUw4JoL)WMc-gf*$?tYBeG!OufZw*mYh zAEeI?J8~D3YnvXsQCVep8(fXEIVTB`76^m1QOUvLehHH1nQBQepML5;`&d33K_`MD z^TN|U9cwV7Ulmic>1|ADdm#G@d*c?tq-cevMLSWyA*wIh3Gh40-mWl@J~2rUd@>E} z>6;ue+*Z4R=xyZJ!uipy#xT4%7pi{vS$p=|25YG7_c--%uUk@$+MvqQpUvsc_IPl| z&Q(?tk7_!k#Y+2FK0uaUOJUkynRjQ6et@rEowP0@UI++sGV)!h)xLsjD6n=lN9O zai#kgvQ+4>+Nux(DlCbv8Lr6?nUAAixaB-DQF^f$In(t5{GHOmQ1S!Ph{kR!7#4o$ zDe6jFUq>jU3QEWEis9D#-5QpB%_0rXc%>n$<`+>z&}r8&EccA5>qa#`htp_`8Oc_6 z`T6$nHg0%errnWFpnX;v^<_zW+!pmL?p=_9;=xjntq`|b?wwjMMHxt|Ro9(v5PBCO zks>1Lj70nx#`{#|sDhF(Jam~8_dLj9WEKu3^b6(KY#Xzl!}yu_Ob_xzFqdy8y5)hq zYrp3q#uT*vOkv@>9P7TFaGAGa0f=9}%jb)t#F5Q0N6n_xr&?!&Sy~&+VApeWMECqShA{U7*1f3pW5svl0Le8qB>C=_G%2 zM#H>p;+L2fz&;4|{ZLYC*z`E*NR4wOwLF3p1Cw2o4rj`fEB)Apx{vHjT?=oaL;-!* zX?mkU^`!Iq%l48H7^;OV*v^vrZJ{bu3p)&PZ~J!->d}xGj{>#z9dr?WA8wu#ri-KD zs*8+@XY%76OP#O1_Z4&AtBohbfZ4HX-1S$1`4P1cg1K&TNGq39jS%$;O!yLUPBg8?@E9YRp4c(IBW1-3kV^PoER3bI-$&uIW+^_ncLau~|}v z<-a^yC^^Am@qGb>kXAuCd{OXDw`dgk%c6fci5^V7j&BLt#Y}I4dCT{zwA@{%M=?vs zqaGDlG#y}1*oLV z#o1h)Ze4QfA$Er>Aij*)NadLe3K!L7?kd1ph8m8XOX-OdyS{!h;FI@q_S3ZlpGk|c z^K?GXEaP_ihoUT)OLsLr?eQ(E81FbddNer#;8L$UQ^V z*AT-MbjZMcGD?7bu#{Z~F$}558eDj%V2AK1z7PX8TK{8wiqSWf(A{J;g5%a_g#7Ji zHnqeTkL=`$0`^iTyF#%mU@G7tn&uU|SLFsZK8KG|)J|o|(cnykZP)3Ejpcap7`cbTZKHy#7Vv!sxdi9YtEm%C?zBX*Kr|9Sq zhI{i-KqzeSYr%e$=!EAE3O=o6TUaphQ(BuU#jM<)&s6j(L*FFkFYkm)n=l43_&d!S_%Dbmg5 z;$TFO*)`_BX(Ng-wtL`e$}6;^rJRnwdf%5NKd4^4?0~T{B5sD{q%dV8#vFs97ScsM zpgQ2nw!8qRRT|mT6iBYgt;Jn*7F`;5nOb&8Yx(>cC+8cg{kLNDGnt|OrkJQfV`_2f zEhHq*{%A~3H+J>HS(wk#%ZNM?P3CDV zQ^@1w*iYL|R1(GoUK;-3*v6lGwcpJ^8C7_0kSdwT>%F$h9`98Y(#(e_>t<(;t49`S z8@JQ^Eymj0XlAN@hAR=rn+V_Xs3KMA*7;!!hXT75J7iRdqjHkQK4(jesrcA z)b-UD)J3Q>B$4_H=ENy`g_v-Q);EZeZEyy%WW~xT&B&JaPe-68It-HhWOk66-G#C# z>ECLJEre&jdCVQX)mu7;jVrXuz4yzGau~x=Ia{HmKgRZIf7h3-6GiWJClN35oTn`Z zLqw-;daYxUY-pSTwx|^f<3dRt*EN^7bBvt#2foW2A_J$U>u|g4dL*=Wvxu89mo7Kj zXT}i(#=F5oWs1ltNIabp3N@(;kiZX7hWf7pmz_VRS54^+hCaugo8LyZt*@Krjfz2f zjNei%gNE+P{&5ny{nSm-P3=HIuS4t^YWAK-Z7FQNpyQH2Oy#4vhv6nmOX%y+zTxxYB{kba6P(_~kLMp(^NhHkq#whyU8` zTHH=Z1Fwiez61r+eaRwqzp!d=1@FRiUyz5TqSfVsk+W;J6bFK%H28G5tmpaTSXl9} zI(D%UUBuz!y-Qtmm9pX%{e__MoW#Q)k3HVoz1iP2whc%yeV>y<{BfZn177? z16yEkPg6Ee{9?h?Uc_l16asSzF=x47|Ckd}UCAWjO0x_ zRSZjD_2V^UPWI2MkSgwyr}a+Wnth`a~+G z7~@}Yl;cGvwg2KyfZ%vOvkxeSMHaB{a6v5#vCeEWdgFM+n!&C&gPB;FS@@DM~J;QMPF7=DJBX-NKbwz`2>oK_+#jR8#Ld?Gcc|Op)UW+9tg^OhT;%dNt@wuJ3 z_L@K`^oclSU+9>{#LvXXNGU#j>F>;gE;Az&+5F=M6xyE;3}zsu@><4Vng8tJZu-gd zI`0}s+}Z14wd*jYQjZNBy>Z#i;Faf#t`i}YBwE7T5{+>;ZYL_)l8!z5HX;%xs3B}v z^47fk=4RZ7a19D)KRqelU;Olk&h98?B45NnjMs^pH59Ymt60K_jYKQyGt+=9It+wm z=h{XPQui?H!Qb{fx;-?do~_Mw*<6Dfn&OR%V!7BGkYSC}GavPOY`FbcCQ`hD+L=0r zpaGSp+{Njct=9X&$~^zAR9Ky@mjz408Djyg79C%aOz{%j9q#_N0Pl(r#En=xyP<;? zp4Ft9iVYPd&`gkq^aSS1#i;gne3V1yMcfl%G%Qtgp0#gfLCaE)z0@1A9&Gp>u65&9 zr3v_L)4@I$VlX}XO3=1V+qIVHWHHMwjs1xfu{w+{Q0`O}&5g9Q6ujGK#}*!Or# zbB4>WleKhk1GkAgk{2%n&w^OY9m(8YY`Yfc67_m>;5MXbL^vXQ@g)LDy}LK!nrlq>Bg^BC#OGDEuA=DlJwN*@HJqwN9*l7=EHghMP>Q6uEbg8%=rv%fr>mk9BpM>| zXYJFchM%Ku(RspUy|^~3f_7X(D@YBRZUPwT+^&&1uvfA}rrCJ*6nP$1DeK`h`wXK8 znzMGnjhx%Q-df#@D&_4Eiy6&3)oKnVi%QWDc({ifhmGkoNN{ahcWc^29zZTp^;O@2 z=I$1M3V)N4E>@6-K`;N>L|H>%y=@s@T1hZW@)2c%9QA{v+GMqfA+ph}PJiD|OGukk z>OCL&Xu?RHr+JI17-kmz>?M%o-V4qyI#|i}+UAkW4E11}Dmu)t&3T`mgoilsZpoUmo7^SZADO=X^XFv2(??U|j>uX=iOk+pqC9~WVxwdf7_5gGDN`6fk4Wc62L(|cHCNLc zq|oy$@6u>>h)nM7Kn<>1$A`iZX(n?VTJAX3o8~xY_CB=kPp{&pQe037H(9y!D z)HX`%$V#EW)D6X2^@@(;F45R%CN*~y5pHIzRr%KLyUX~ zd%ZtLYV&OYAMIpx=JCEWp?bhb=?I}@QT0d95|k3g6d4gy8>A=X3FPgfwzB)G2L*HN z+v$<7M9YKXoraK$#loLgM66jG=dZj9;x0pBPbA#bh(B?kQkpBD*fJBv@eRg|T^f-r zaP|yElzTE#9K!ZJGkMuQAoImpkT9x+;#Z{9!Ho}ZZN5NxudH?X6W2<+2S;%U=c)QL zz(0y5Owc=CHkGD0?g-XUN+`LW!kfO1+wmyBOcCVxZkg-!OUaILlgi)pZTP8!{1C1h z)RB#d|F=w5p4XwsR0d8-9fqCxMUv zQc4+qi`HbNVH1tAt0Be8TyX=-odfPUyNRRqPkc7`Fy1ToQ?v-KDkx=UBKNKpPrwO% zQr|RE^`tu6(j6vfUDbbn_BOw@wPN~~`DAOHy&RD;c70Qff%L4I!|<0lpUUM>)sqW| zY^aO)kW^PP_p8Tj5fK)G8eY;2@ItT?nqoRN-tlZ%C$2$}@4L0N8Av$rgH+?sn6@j> z5mRWhh*KZ%ubNTQFZN%VqTT?MgVF{TQ%EToue!ZPtFt6dCQP1#hWMF#&&C zSzw1<$HJ9BF}O~MixT-=rC{3dsVj8LtY37&uLl&(2C?6vX|uS-Lo*^wizU<>gUvqo z{%Y{Wb!b^rFu0<${wk`(X<_k=O+jF%$|7a%wlifv54PvpUTU^qV5P_& zKA~5Xd!`X)#5>Co^ezNO@FO>gTynynV@DN;m|Okl(-zh^<(V zqD@VQM@5e=R|y@wUnd|_G3tFoneK|mk4V5TuPhaY>gGUI_92LF@7J)*;5Q{_J=ET`ym|8sc)v70GMc+_pPC zPrE2p_>y0RMb}%YcT5-s`N^l^7caU>+c8Y0 zpSm?Y(AtF;{qVS& zociNy4DQ2;oP5w!SMcE}OR~nC(7!Z=DFj^o+8K_1bqEJ2v4_+Q<_B%A%REUc!j)l- z?0Z?i`27vW$4URkV*-6Wc<4{Zb!q9T-!Y{yWfgl6Y{1q)nRtsXc-$VKm3)mv#%05$iV~7{-sN5c?Sng9@6TvAGV(jjebBS)Wm*Z zp_h!xI$4sxkz+RId-gq9CzRXj+h#}Iy26>f2VdugJzkp*MyyS3q|Y{aPsJj!sXX0+YIYdITfh9U-E>VWhJBf?id&y$`fA%boKTevG(iidzn9QzXLN zymFdZQC?%L*)A00F`*g=%`cmM$)(jtYJA@(l0aiW(j$E`h+=J_Izg*6XHS09HZCiIvoYNp6An0Qi6efpWD#}@>)m-N0PAIwJ2Ol>`&CVnwjZAooH zv`!%5D3&^JhiJTQ*Iw|$wH+awGyPEBX8fe$`l_Dz$zZ0#6Zua~uC%A-B?<=f9!{sh zU#Ulb`PH_&u4fqzPr$adB|d&Y!43swO4j--XE=Vl%4I6tdHxTaG+%#+|X*Ux&6C@cG zmo1YCFJJtU7`|r;2Y)i$LHV@8inKugMO4E5WVIoRTXAa1CgntkaD@2Pkf zB8S$gnQCr7W@VCvvo(sEAxVg^2GK>akC+tKn_Z2)t(V#US3|uHjSQr32>#bMap=eRDaJA%?UM6|D1~vt`luPYj_vu-VpL7DaC#)@^*};DFwu z!#uN^SmbXzG9l8@ugYH|Io#Ob*EU*RSk=m<#e8>#HyQB?I2i;FtYtl{@4(=y%uMBH8b{q5f>LUuC z4Ae%?S`MtM3%Ng#Im^yNUFD7s*4FvjF)ea#o&aq_<)pkorjq2Go9^fF>%;f{2V{n+ zEcQ)<4~5Lrza4A6qxpFX6C&d__F05%k?)+y>PPfDXRL~e_i>M2Mexb)ntsz&6GJrT zJY$&*+cB8ZxmO?K>oAkx(GMNh9bAGtL#lG~cFDq|1rLyee-pIphA+kxX6h;Bd<$*P}O zOS=-&!EBU|thVBFeW0E7(UYNFZ&G`SVvw|FYC`lyOV|3B#e2mSw`{~z@KgZ_We{}1~ALH|GK{|Ej5p#LBA z|AYR2(Ektm|3Uvh=>G@(|DgXL^#6nYf6)IA`u{=yKj{Al{r{l z|3B#e2mSw`{~z@KgZ_We{}1~A|M&0zubmzHB4@j?eG$S&;5|KiCODBs)Xl-SC)B9F zt|svv`LJE~b6$LSIi6URHd6u71bANH|9M{EhFKT9fB+Bx0{>|Ok<7Y?s4}!d0j+GJ zal32Ph%SCy@oC5O~>PZIlg+!wC%c)_%~Ks>)HA_UQn zGmmpl?Hshnik)%BJf)0nTuE4+8VPt=clTqO|JL+H?du{Ji24^>%Uo3r1J+lP&?lSS zpOrtB*AP-odXhm6F7S0({eCa^9p?%8NO~!hepz8yO{Vw$;Nm&YrtOla+W;1cqohPb zkTLA zCHn2ibQ_F#-M;ilP?ktii~qfV`%adJWKpy4OJQlC%oJ&Ct9_6$B*;Cgh=tBbG?X+U z-YxX`UG%<>w?bOptwhqtDX&!!6}3J+diGwFaQNz&^&w<9d383itm1dk`_3GIuwCfz z41D9}$0`YxSv22g)@mcei}XUPuVG>5oM`^%O7Ajrh-u8w>%D-27-|6fSzcoAbV`KuCLLx!b+JN97`bWI(G=uBndLCDSH3QFn z7rpODWJr?ENCr*uOw)Czocvpb*uv!K*F>)jo)$lSZHncD>;JpxeVwOu0-s}IFWoBv3?f?1_ztQ zzE{}fHN(=!-z&K9bKZ~yqk+X?gljAu$EsnG$e3HA2qeQ(_Vf_Z=aW|9B~AZ)TlXC1 z2^pI0%{h`%k_+JvARK<4n_J|<>Sj-fijNzoBh|NC{=4XXCn!M{Fg+9~>@v;kzV`%> z#eScD9B^znEYRqtv)MD%4<;WfopM3zRz+K8BF!{oyIZRhW#OhYl&zE&~wybiFWIK*T0u>-?94;dv89EAB#Ng1xG5jYBE^5 zatbpN6LrRc2A_sIUPfyDE_&ayWgxov3NueQN68889lsq@KoYN8HoJ;=4hWz=r%+FQ z{Bc)Q^WQp;PW!=-3#4m7Zu^Bq4_3LCbUfFxP_VasH%U_iiiM?SGSsA;^zTL8cVG=f zMdfDcXqXc}%wppses4$Td_U?Df{ZF#G72>p1JcZ0(e(fD(7Hz-OYd%0m`8?OH6<`0 zO@z&_>57m=j}qgE^{qB>p?X6vsMhZay8L@nZ1_6!93Z^x$1;ja3T5&01>DeYmst?) zy6R}=<5&rYd%2%P=DK1+LK~U`Tp(*H?1^W<8O>nYt-N z_sBfHyC=Tym_7*Yqi;_xGYIF(;ACs*ZNq}o_h5|HQW0a~N%eiVP5*hvb>CSw5NK#? z?&o0|tKH4UYQgo~pU!7L!@!WhS?kZ#+A5@a{ocR(4m5?-?o#!?rjj;Va<#yUrg@_i z@urgfX`E^DI4qv6iYnRfqW7Ij4Y|l4R{vG9#nHCzn+|LC-vp-u09#L6mib(_U(y%Ntd%c%}uq*x&V^oIMW9N!J#yh-^;o0p%aiw z?%19+^*pIL+2y|UCd=CTtjyf~N4(N1X)?#{er0z>t^T`%rC$!*{Xc;owX>E4-o2= zq9NRCPOIKyknhEw0Nc=P!yn%>mK=GeguK&avumyMyXbwVUqYz#m`B=`UG&_bE?&bg zR@7f7h`!$87_t+lHbb_r|L1S?eMfLYzOTHEHhAwD23Ihe+^T&I$t3FdRy9rQS(RVAQ_?Pp=Vy%Wo`dlD`W7gd>r22}m5%0w9#VPgeV>|YpCRwz; z=gBTL931^#(S3)8LIzuI3+YW{(<(QSb)Xul3Ur2l9H+dF$&=U=sx6Uw_q*tQPu74q z<)%)iL~_|(GvW;|*dtE&_8L_{jZl3|Q9BM_^!Vp}@qNdQLEt5xhuoy^GE|3M@%4+@ z!=frn%$4mR6Y_`vWevqkmhbxS#M-tuemn5BuK-z&ZEG&+dJt+urP zb+!63HU3p5i)2S$rJ0*S2}5ntOQ|o{&sKgHz3-8*5W119>mOotyl@fZJ zJuFQhbKDSh$8WUE?}|G7JIA~TCEopJu61tTaIEf8OW`-w-W?bd{@J^CAf%DC zz+ZQBS0?^HI9>6HaIFiZ;UF8%qsVym?c>0<<=kvlQZ&h0v@eUXoO_o}D7K=%-|Br& zvx3Z*ZOV`COpR-jT`DVQqT%3tAPlYC-XPD57U|01G`uUS`){5|tKK>90O6#1@oXSz zlFXoru4<)W-UU0KC@lwTcKcWla|9zlr>eB@m$i#CG z3pLvG%y*)1;;J3HH}WbtNUP_P-18u;FkE7mci#`2?^DyZ=mLSlWSdUZF+=`foTHNb zVA+2#MYw-^Wz5`+rW{HS{`2qU-glNZq=%_~yckoZBc+`J~+0^4xIWFK<- z54T^3>1AJ!JRVRX?i7f5jGR?F_`B$R2mM2y62maQxP+Ui?161EDk+XW3>uyi#e82c zERy&56%yL-qW3)w12W8cWWcqV)sp;E{|D{F+i2dxNL>g~#;>Oodv*6c8x^AWVgQ|&u?Ab# z&w4uirM2lEcj@q(JPv!|oW<8k6mRc}8vfh!&|mv^xj;5~&Tmh*r!|^97WYICe9%1y z!(xZ9@cJ!uFogOY|8Y-X``ICmK9%olNMtHu1@#ekU;gRM|5e*t2gMb9i@JM& z!6CQ@cL@?aKyY`r-~@uZ1a}MWuEE_Mk^sR8t|1|~J3#{6WVr9ut#{rz^_xF#)znl` z!+d-7^q%S7-D|JUUJ6cDQx^-p;rQ-3E~I{X>l8s`%enYBaQnA%*p7? zzUpFFXk_T>qJco6EnW>Q(o^+WiRd?0qAdE8;Eb>^z66mYb@%rXRE8Xe^c+H<&>EzG zZ)C5*XSa;Ydnz?rsua3Euq5(d`Kt6lpwMcFfPsXHI{5v@Sy1lj+i6P! zhwoW7W5ca$mIFi^nhhaOqcgPkdH|~J^~+AKzYoNhNYcmI5lM@V$N1yd-+u>O3gBZ4 z(;<;UTW|`{^@M}{f)iteX>;i?ej%v4`3aYXI1^1Fp&d#1?V1q;3au3upb`Sa!xWL- zz4f=_pI@X!qG6`{@@akx+Z-D?mP0>-K%rHQ12%oyVNFXo)SrgoRp!09bl=ye)$QtJ z*YfB0r1F*ILZHz4!htC;Oj1kfbMumB4hjD#trzE-&e`vwqYEvn}(`Tdc5Om*k z0ci!a)(3z{=_@&_=TyqBbo4vLX8MeP4%p)}v&_NXQ%o^UCwT}IS`{QPAwG!N{*Hvf zRdYd@B_nuhjy+&V)p%7eg}%E%1w{t}g|m|7210yH2{X!V^y4`76?IIhR@$Y!s&$&*pq)3oa+Do&V;uqIo?1=nuAqEf^tN!$M0R4jwH3bDJscU!jMbw!6Oc`SnN8q#ITduAp++q{@f`c<~BeNIE6XPafb`&gX^$$nqv z)(tObF?+BeP-x5Y0|M8acLM>*!xc9v*{N;o5;B+xr_2Ib?}-l%fPVOY$sMT4d!zi- z%zsabA3Xes!UT0yB_As$fkK(Qv?7HGsqA5{Go1b*&yQ-50HF0g08?iN!WcRWatZPv z^l%$#nxDTQL{-|5|W; zF`B)Bpda*^_rc#hqy(`)*6R39cF&Ol^$}5?wBrw_L~ri@z7HpU>H&RqvUu^z8z_sM zOrX%Mxf9r~7hYn*GVgitx0zkB28>)J+SYgft;vw&9SAv=5EiKBoc-;T8BUt5)A%vg zIBCJ}e2iY-us%xw)a#sAxs0CvpROh$O@&rg4scck$CI}|FY$2W$f|pg_H~Q^iFIPK z>aG~3?$rHufj|Q-@$naJ-k6rL_Z8KHkR>RQKz%ag-L;NyF5%@HeT+F9HO|D3Z{{u=u$TcZH*@A%(&v zh7ndwJAYKj)c)TV-HDPvS5YRx$1O@e)ol|3{m(ZEzxTQ(?-sw6NVsk{HoYdYW55Q+6=Mzsy*jkSVcx$5-;=J&X_d-s4MnADB#!d`S|~B>FWP?UULJb zLvP^CuAOj_KVzT*jg8tb#C#J@KbT~u8ec3ECA-WP0bWQ@&=y(;j@$Bni*BSQXe#%N zR`+m-VNiP-ky7j-eYedqn#wbPK%uRE4irQi6UnQ>|8lrk>e-AlN6zs2$>NxR=*j7h zlVCsfbk;ztlmWi(e1orY3}Sh9@sc3MaGWTd)PiEA#Wvi;audeRN91p$Bp*zMt-A8d zYEG13X8YWyIxc#V0FKz#uziLGq}Br&dcRsKKdUh&ye1q`kZlx1V--CB)Z%nV5)qJh zy&^!%w&~hU7|Zcq+q>I!{j@5N-rUQOWWB$MdZMuZJ6TTyT9pjI??YBJL@>|S-pLte z)Q0QlbymGM04BnciOG4f=@jsE1X1^Y2l;neL8~SNUQPd**dl#Dnr0K|exb?V7g@jP zFn6CBuNckuyl#UD(t|0Pa$~{6U3wqS@xiMqzxt5OV6HjtFU1yO8c91ePWZ!cKaKAt zynI9b(6NVK*fkG?$wuWcdh~yKByJ)`Px$1rq?}Yt>qx?UwSF(2^~Dzgg;wealwt+7 zXfqt%`*ex3DEr|3c3T)WDv1;!8PqdL71|+!Km+tqbK^L;U!I_12NGs}2%?#@U&>6} z#__W~@|Tu3>^qKUItRE=>S$LQ6!`9eA#1ky~EX0+(9 zF2^;-{w;=_C_$?i0=O*l9!=ca)jgM|ff^z1%jN86_w_*(=FOkX6FY_fP!$g9VW}z7;?xnBNmPiE3P5X+CAQrM)T@tD4?XI z>aobc5pNm0i3+2dly6=6ADJ1BXJ$6*9nNRX_c=rA%g-0Q0rvbPU(l7iGcQ+6ZM%8u zV9<`QL_*jdr?8{s>%P3Fj)GQp2&|)?r&gUcn~LAmKe)kgBDpvVbSF%A=!{4%!!T+a zKlMJ8#tZnmM(RWuCevJk^E^J(<5N!XH@-XH0GRjp);LVq?dY_bO<-x0 zb&*|LO#g~=BG45^W9SzZAdy1reg;PB;#^~6FKf2*yY@EKT zd%X&X)@QY9#ckcdoh$QSzB={4lm#H<_g2`MYGLOrOwf-e*TwdD1qw)J%~S9kx*; z0y`ECk&|KOvsuh-#zkm>eLIA2P?5x4@Z1c8L?&~dM#N;jQR`u~?c$oe9f4pmZbft~ zG7(!N>LO7ZLDFo0b%e98zZa9F9F}>IxOSXg7^(n>2Hpv~VT4W505Xc6A;A)y6?%(oNRWe)8ry=z;!gofQbj%wvU*Q(E-hLcFwepN(mm4Jcq zD_PnmTPtF^W2xqNlX|rvCi*=!E7EfZ&L$5xvDasj{r)CYqn5k)&#^ReZ- z>fEc1$BNkj0s{?Fg^fNJyQgJ6XdR#cD_k~?A{~ZyX0z%wZM7T-zVAa5v(Y{UWvanv z3*lx+M?ous1>An8Q|}nL!%6U^+m`H;PF0smicwk`3kc9Q({^@0eN78chp}Gp<{5{F zz0ZwBEep?mKK)q#R|RUUY9#OUCtf8-L_Sqe60a@v(X4u~kUR=#L-&mjuw}QEl}K_a zzs;0ph$MC8Pk%2qWX-&HbJY)t6k25@&^1qo{DfB%9KMG#lsiiC$%PO<^lQ(b^7+HzQ1P=>Gm?FK3jkg8D61mpCYjse|-;I

RCS;KX_e?hWm zRVkO$26vEyD>VINhycEW530R|+UDyB#iX@IkuAcYA!XZ#-wZ{P8 zg-sq}Li9^z5euZ7TqQEi02RU8O~=a4_kBO4G)N&(Xlw5Qcb)wPMc!5?VRbM9#t-8R zSc<2y4n~JH!n9ZKGI*aBZvw4wY`FZJq;$mJ)k_oV$H9^tO3!=jaLU)5;@4x;i>X8~ z>miTxW$?c}-2W_3@C?9Y_CV5fM@0a;Wa+ehK#2~Fl=QY+)C9!wJ=DJ~J?+?+n3%}* z2e^&hvcv|NWJY+^Td`J!J~TZe7BLd6U-s}470nTVd*gHcdrzZRn>p?sFdOrm@MYwe zckH-(r(M^vX4}zAv2T7P=@IJFOt2ICK$_naU^Km=PB@W&_CkFV`;8Ly&49W2k~%-H z#P8%3qub}WgSc&j)tE-#Ii5;)17T*|4J)p=-4C1~m&pm%a6J<-iU=wM5uY;CM$EB~S;$S;rd;^Wyo2TyQ^_A*hKM^Ef0dUCfhqc#Ktk4+4#BxVY=i^K!=rpLsPp zNE0>p$xGIZu)6|3H03beZ*9L8PPxLj{hD*Cd@3pmY*cpz8#s9Dm@ePfHuFVpCE6Pg z2&q2`cOH=<9^wAmMmbR`%5_o5?CJcDVV+=SBwWbB+ReR1->po9eM!eSE0HgAVz1LB z;&W3?#QW`oE(PKPkot~nM1kND&gJv2z$2$%O7`YzCB{Hmaq9t&XbkVaEAA7e;&u+@ zF`BLj^96o6-H$siQ_GFk=5O&wUWqSq%My=rR%x%ZU2MB!dm<-zK*4j=jjP{ z2;+>2Sy57<=`ywjI+?JgcP1Pk>Xv{Zb51!dYr3ks0lxQwTt>KwQy!UnkFeV0v61@@ z6HjAQaN$|Vb!p946lOi<#GQ)3x6#K26h;K$w_m1u$8MygQBx5!i>lzZLuXnX2h%>d z0yZ4)+Z#7fq?N-AWD_awC@~lml;hW?bg|Bilrl#0Z#l-OqH(~%^nzhh*;9E;$TF`jf ztsJDI;yNu9g4SA1ANoMT1%cj4FSPU)t^2oN`T8*;+MDjhb$2yYbEI@?D|uhi}NyP z5v*}N4~rkx@w8Xou#zHl$-mpYAh3boKZ9R(H7eO%ZaCqxqH`KIu-lKlcKIGl7X7+8 z$WA_j9!moNHV)MDutym}5e^e=?T;PBDhbv@B866a4&?GqX3GfK zd<_z8Hf^~`#58O(Zc#4VmG4ZMPRd?-0f9p6ZUcfp^Lm1!+YHY8Fm%fivqAZXnxcrK z*deXjCe9-GZz0fpVG8Fk{vVv1%wi9fi@5tZ&)s|QI#vAFjzZm-u;4HsZ@t?zC(upQ z%ytWA?Lp@NZrWJE-t*e)#rPNc86g!80W}8OZCmp)T*;Q(4=+6-(1@=7YkK!U9=B4F zv6#d#Z*&6`jjHkXni@6*GouR1X{Iq>$z9O{g>a6&60X_^DnM&a%Rw)9tUWyzTXeLN zSwcvfC9#W@mjT-;N7m`>Q(n;rzI1lq4;E_cJ1Hug?S89eM0MYb?3drc9E=Hbwc`=w zdrXe8U){Bjx^rmEGbA?vWc&mHDOFNdWUDwh+ozPk7xa|DPq9d+gKNr{KISkhC%vK!k5RBS|G(T_^J*_r^=G=3#z7L&^(9jrB zL^z|tNp|{d(pg35dANKOUCjl|7_8dw9OJKzRm%W2!2t~KoOh!NPK&YPTS{fNOKyoE z;=%jLZW2uB%qv<7ZE+`iMd*0ihX|hK@`=1Nl113{?AUdM=$8(~` zqtU*X&#eat8))+2kM^fRE2$#U2kZI#1;-LnhdU~=i_i0E3$IAT@);+Q2Z(Vx$Dv%1bC1(*2dx)~Ss z5!lv%BH<}w#oN0$4zKYqO3p<&mN*K62(_;kGtNWXm5Qe!&|*m>_v}q&&kt)Y1aWfr z_P86*`>k*iBI~v;UbP3$!(Wc`!7y^J-@U-(ze?_>b_U`a{@(WY#w4KC`9y<>wryKP zWeKg(=HW9;ev)-*7zPB|aFR^*$}?86MQ(R~@>Q}wY7#}5UVp4tg%naSV!++q+CDZ1 z_fb`@WcF$b?1`NuFyKS^5M`f&{f55VN#e21a1+OZVq?!ckZsWbXJ48P0)^J-2w-UU z>&=*u_SVwTl5RYHUC%5A(G7KUi4-OZnjlL){q&_X{6;D5{m;wT0v}+DrosrF=By}b z|5ytR{Zb5_L$PU8wLUn*T%~Dz+N25j-ePbIZZCK8G0#MrvTTOG#$fQY!?4zPjF!4@ zk@cZ+3jMM7eQT6?pjO_&0w*Vd`RoAeTP`yWXT&4A4~ z4Y`cnGiT~8Ss5+8*BE~3pWGyMTA0;1ezvpJJoSEB;WmB_<1{$L>zsC~uOUJ9!lMPQ zOuPv1qEop09oa{o#A^4ITj7kQBf0TK*dKL3TB$y1h_Alj^`T>4$=8}oet|j*93~l* zPUT70J(iBAj)GE^4g5JcNqfW?(hhX(xcjIqux!zwPn4FrzpO{hnwg3^4uOU~oEeYl zjn3LQb>#Pqs4#m;fK-E)_gu8+3i;~}@6svwCTeTuYjs)fIJ|6PlU9JCFzX3_;tPT} zv%eSh#=ZOPC|mm|v&&4qlTp`JgDDUwv=Uwb9avn9&d;{D?hopO> zr?#5Hd~aF&cPgnpm`_lkXCz{+XrF`fbwpMb<$o4w0c1hqeIk3BZb=wQ-0z25)%dL^ z(GIRPVR5@Lde_;3|7ZOh0Qg}6{w(qnjmI!6$^7-m$c?+IthSfd)l667 z7YP(>QY4XBgaBg4M90qRHa zB$g#&j6_ETY75P|O%;9;dlIZ<;2=o32dvwzwQN*ZCw7W*<-VztA> zth{|BJ=-3d_!`bV=L@CRSrAPYniazUfPlc@{!7D zQ5|%@^aU#QaQTe=LgbM(gJ8tpH|$pB9bZe0EJ)BJRWMPL;y|Ezwo0k6;wapDD;oxg z;xE4VkH+arACV(Sd}Z2u z^!=P$N5JI}XweWV4g<@*>XZ+kLzAP3t;sx|2M& zVSmsr9Dr;a7Pl@n=3@6@0zREaFG`N{K1xZDj9E&f!wt|$fIv&@)SSPl{O95?fE@wW zJUXv#l>{W=UKj_LpWrKr9$PP{s<71VUo6)If!490ayj4)f9yR#wq8NlLS?)#C6RJ| zd(>Q^^w@=3gxq#Os2nd9Nt@O~%bDq+y94k~R~m`P3||=GwtJ+!aqO&b%D_!S)r!t9 zc&&!Z^1nx!N%%fEu$?%Va3TLcQ8ohnahwy=LhS1?*uN|hho8re7H7qcBHABuFYhepC*o=GraC=a%W5y4oK{FI%8G(UK9!$Hurk{)$R zYyh-+);x;pbcZasxx+3qU8(WmWp0#InR`p@+)(A|2`v9MQ8-XPc1cCep=6tGb3n~7 zGH?HYxs9}4n4`*An02>zr4NCYxse1dQjRaiYj~$)cmL?-RL&WQ<}8V)X6(JOW4rcc z$d5}W%-}8m9LMu>aF=fYDA)CPwtou)Yl64Ui;;;*Udw5)Q&LmjD{E-!Gn58H;PDK=JdO3<>mWyl68Py^i;i^ ze5QYD7{i3E6fNoJrhx#v>X6LY@4n8Tj!y$Zfxu;?7@D2xAX3iwmaB#HCs5GZ`al?I zi@aY{BA-}^b{GphQ3^@A@!3yndFr!1z>R;y!M10n`g^Eaf1$Wt&1Av|hZy@XVqt@R zINQ5_xm_np&QO3R;^yJ&^k4&Iy@N4UUWC}YZFs;`y)Z(7KpP(cR~d&S zl`NUYrnh1Ft%K4YYZxnjOfv~av3%}7R@7oiVqQmxXwazEV3Ag&Isv~*Wc_M?_SEAT zZ4v(3ak+Uf!yaqeT6~7qErgGzngoGH>8Yhx|Cz^M_>;QlUw4x&!n1E*{Qh3;zbh3B zsJje=?H7mAAToZ>H9>5g!Fzjaa=&c;jDU^e9d~jD1e#v|8`d~W+$kS6SB>e$kH@jp zAxH^vx>acir$k%l9tp-tPx!QWsoO7(Xz256L{T6xErswiUc)x`u+|PvUgSWuLuoV0 z=E{&+$De#n5^M-G!PhSQ!A%6$!16JOzQ)1Y5SN06+)OU#H&`ec2>x}7$ zOp`5TWO8W>@R2rxZR4~myLIY?E5x{Yg@Zux6dF{nB@VS2@7+P-cVZ_VmB&eRuX(F&<~S_Q zVrYEO5$?go3QGLGmkr+dR2)6A9-s!+lfp4jbg*3gb6jXg%L=ki4|9-IWif7LF>P`(*i4_yM+)Hecf#F zj42{qQun$ylAVIg7w6j+`7&^Vo)g%g0y-Ac8+F9Feoiv}LBivb9@#$%7Dn%1bma4O zu)Pf8hd^V(tTE9dr*%^EX5i%WghCVZ)u>ZDJ6gx;#^kqRw?g(|$ukA%U&_d%dw%*< zI)DOrb^3-6g!dZlvX>wGvk#SL0ZrBThP#ib$j4PD;Xm^T+fp`i zRXbVi-WM&TL^Iw!Ev>|ugel@K?HM$f+{%_uJI>Lg*c8qz*jE2{o@HQNXkOCNJ)U5q zS}J!md|vBS`^q;#9$ojlk?Z~4U_VHtdGi^!Uw=3~dy5$G>zNF-y_vcYo7aF!*cf!6SBkP`B|g> zr~KoJ0452>RI@UhH^LTR(8I0 z>hVnyJk*4Jt?~sk1|OK7rO>4Edt~Zv)0BM}Mu7V4-l_>)Vpg+e$STC_CZ=w%hvbKz zS!!(tGsXVp{ND^y$>1a$yWA)Ju6Z;YPKToC)x?KXias8x$a}$nEtCJM>H|2#D~jiQ zPm?b%em%5@65KI#$e3v1kdnpO>=f`D-2yo!=qF0iC07G}%^?4T!d&WQyJF+Iy?Ou7 z`e@rC%Nai>dZ|vV*G)rKt)xPVymJ$<4GMjLH;8FCu#aS0c1cAf(zvNn3^%d~STrpp zvo&^K7R}}&9K_FivNtq0dB)XPaeodR_7UZ>pueUPY&?Wr4 z?)B4mKf+(kzN}PDgiv!`}ZB0;eo<$fT>y)TOnHKWO%z z4M1UxHgOcR8!_0J8EkiGAW?#e4MmuO+ptB#dnCAc+EHp~7|ikzT8rvs&`>l&4IyxH8%sX3SZmx zdS5j;xPBPaokW*5vKK5;P(w3)^HGA`|945w?<1X#Wm&ZbHn~@v$aceAbnt^u6SOp` z<4iv>i>M~=a37Hh+JkCBg_~HRfk$467 z(cgYlwuHEBBK!hGWt+cKmQj$yc;IS94QE0kjR@yVQSZOMdV3%#HJwJ7HGtF+C8&bf zwrLR+jp}MD7W=yMW*WKS_{|w(RrY{$JlUnQqy&ruSDK5QiphHHDymXgLl0Vnhu99+{byGc!Q?h^(PXIs54i2vR)Cz=kJ1@Y0GL(cxMpJnfEiO~b zpQdUdKi=-fdt5|7?hn;@pz(KUahX#JT%;+5)+US(au#&IY!kZ`j$6bf^0*RYZe7Q*3BKKGS4W zo#+9&G3_xQ&Y$1GZ)y^TIwPp``QPwYUMAI~-sIGtFxqo*@bbQ;J+hEwUMv8lRCcmM zFB`~syvnEs8b_5mXQq5HidYy7Q`Ji= zF3NTv@yeCi=Z|E%TAXR6zA!s~q)> zO0$X^%^Oz|>J012ctNFKNv7Jw2wR|PKFAIkLxA$}zvHESc5^_p5FE<;Qt;>xJnHtr0dnu8jXRiTTsjCeP`3jMc`Ni}{VQH$u5jos z6C9TaKlXd}&YOgd5Yn-mdHJKlxu2%rR^BN&Zp|naw?gi zyx64vewSZlu~Z)UDN@R7KrzN!YC>)xi(iA7Gd|u@@Z2Xd z!SU;p*#JmOmw=OGjA`wFG5E1~eUyEt(+t}!QBB1wVKs7?Tn&My?$9ma{hcC%USa9} zC%Ql&@Kqt=Oqu+QJL3z(`rKjLBkVc?9AOipQ9^Hrl9DslZLIn^21VUI4GJpVjjzkUs zxTxr(6i6IM2uMU=HUI#Nfp|c~NN^xB5Hc79q5z?R!5{`O4+w;W3?c_{fZ)LNnB+)E zU;+^Kb9xX6#Ps(SL^LNb8i)f88H54m#l!@0Ac4T@NFWe97!Je+lEoYcA)+yW5kZ(p zvLGg~4pFi~HC01{r9zlp2E8LwX8074+Ze{_n{*l)Q4fk9Q>T7mVvBp|mwiy86rtU%)% SuFsgIjGBJ|LdyUC^?w2K6!}pA literal 0 HcmV?d00001 diff --git a/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/weigh_justification_and_finalization_test.cpp b/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/weigh_justification_and_finalization_test.cpp index d67109d5a..ce7ef405f 100644 --- a/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/weigh_justification_and_finalization_test.cpp +++ b/vendor/zkllvm-metacraft-circuits/src/tests/weigh_justification_and_finalization_test/weigh_justification_and_finalization_test.cpp @@ -207,7 +207,7 @@ void test_circuit_ssz_json() { using namespace nlohmann; std::vector result; - path my_path("/consensus-spec-tests"); + path my_path("./ssz_files"); try { find_matching_files(my_path, std::vector {"ssz_snappy.json"}, result); } catch (const NonExistentPath& e) {