From 5d1f509fced51a1d9017f0e3fa9fdd3d7491b400 Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Sat, 27 Jan 2024 16:15:10 -0600 Subject: [PATCH] replace circom1 by circom2 tests --- fixtures/circom2_multiplier2.r1cs | Bin 0 -> 264 bytes fixtures/circom2_multiplier2.wasm | Bin 0 -> 29071 bytes fixtures/mycircuit.r1cs | Bin 264 -> 0 bytes fixtures/mycircuit.wasm | Bin 30625 -> 0 bytes 4 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 fixtures/circom2_multiplier2.r1cs create mode 100644 fixtures/circom2_multiplier2.wasm delete mode 100644 fixtures/mycircuit.r1cs delete mode 100644 fixtures/mycircuit.wasm diff --git a/fixtures/circom2_multiplier2.r1cs b/fixtures/circom2_multiplier2.r1cs new file mode 100644 index 0000000000000000000000000000000000000000..e61b9b091d3e08fab09d4639f9763e776451f221 GIT binary patch literal 264 zcmXRiOfF_*U|?VdVkRK20AdgTiGlb)@L}@Tht3lVc2;`4FxH5TXl&f(8n8oif#Jg< zzZ3(QUJ#8BfaIZS2%6^rHAn%X2d{b-h#IgCkb6OV5P-Q$0n9@XFn2=z2KF~d7696s BEn)xw literal 0 HcmV?d00001 diff --git a/fixtures/circom2_multiplier2.wasm b/fixtures/circom2_multiplier2.wasm new file mode 100644 index 0000000000000000000000000000000000000000..7ea487c35dda61de0272a262f576c463808a5ab4 GIT binary patch literal 29071 zcmeHPdyHJwc|Z3t&pWeoclN>TdUrWFJ`^G zD%jn`Jd!Gv5|uPj6BVZsqJKb0DumodYB!HoRBcpRRTXMe#ZlTkT4-IBR3t%hf8TfS z+_{f)?u<9cB$5|AckcPlW-lVo(c}=u{=lt!8Qd-noUn2WH%v2X31= zxUl!`xvTcf-M)WjUer6H=ApapzW;{1_RP=R{=S>9ojGv#{DZ==?wApVX;_wJ+XW$t zrE;NwEB+V46h@(3#-(7E48t&mX%-5Wg$%);C=@D{YN23s61ZeR4AyD`?m)dU&~$3G zdc9u5ja@JfqK<-Xh~uTww~Six0Bc~1>YXzSH_gl+g399kqqs?`c*DY;`2}%fbAD#e z?MaEaY3Tm>y$ds`)SK{WPh7=ntvDpg0l{Z`EAkE!uxxu&AW~=2)2`Q#IA79GBof}+Q z&IJ%}uv)w99dvcWYdO4%U5$b-8cz3v?zl>WnpRf%uAoY3px*1ldg;auZ=mM}s~p}y zeZaV0)y%`OdfspEK+6Tzl`Fmp2}Y0rw5U9mBS?tl2wIHg2ohpB0yS=GIQ&N-PkrmR z##;YJxbLDA7nx8D9}l%HX-aDwZjokFn*ETprsXFhiA@sV!beI1lV4=kNK#8lY9s+$ z_()0M9~YU!BpFUghDp*QNh>93kz|4-6Di3AtNOI_DKmlU;Q-b23H&tSB_0pK zMHylk)fr+?)fr-l)fr;I)fr;=)fr+ms53Adk3a3a+Ax}nz!|_N@`P6)`h-_pB>I1*J@2c-x))I3KGwx$N_dILH{B}wYV z!9-vyte#Tj%xnDhyRAa`dLH>rLCxn|4rd+M$eTd9aZg(^VLXhJUTq>Uyg+ z^i~_xTWu&~H6Df6X8Mn#r@pSIzM-dnP*43(hI%G(eTKxkp2UXU^#}DN4rNGWI?l_` z(a_T|sHbBnLk9!flmRxV2R4)e#wuQzQE@1vA~&|B(-;@K)cLtRMm4XZAwmXonv+#FUn5L5dU53PEKAia zG}0-X=PG3$4wV(=E9>@FcGz?D^wCUB*=%`LIP#UnY@-*mEuK~?H7ZFhjxvwVs#1BR zSF{j&_-v~;jtQ@>V>XzYs+5&wJ;Y$vsw$NSG2b4TION!)B()IA{NPb3BP&`6d3sj0 z2JB%9nG2z;hY(D&l@O|{f{;%&CJH%JSM+*TwN&Tv>1ZMJ;B$Sho>je`!3_%u&@~tc9(R#@@_O(mYN+9#CeNcEB3S)*aZ6N46jhOB7xI@KRXt9Xz~CR()~ZJy4)B zUH$~JRefW&UFBLT6ic=VM0sc3oHp7OU$m>NU&TLSx&tIMWpy9WR>x&QR%d0!Z7@?` zG7V?RUoqPjK7d`c9sd{z11ZN$*Yuac7Cv0Wr`t9Ehy|1a7f4nt&~(gdm;4nwRJQEe zP_Tf9BtW<>K2g?oG1Ni98sf>znBBVN@QbWM8&q2_z@(7yt0hfsMO7M|EoZusa zIKf8-ae|Kw;shTV#0fq!h!cEF5Yw0$MTio7$SxmthmUfa4=l@~(g{8?h!cEd5GVM^ zAWra+L7d-b zGKdp=WDqC#$RJMev6lG2OfRx-b zGKdp=WDqC#SWkQev8%ws2|mv2^5J&)7*6vM1kx4$kwKi`BZD}>M+R|%j|}1j9~s06 zJ~D_Ce4IyoV7{yNk4;@ZhC6(;(tKcv9F-bGKdp=WDqC#$RJMekwKi`<3i#C zYlXbClw~;jZ+FDD)%M|(c_w)OhG`=hZe_d z>|3VyHPid7McS3MISfWqKlMIql_QucIkod|Ha7pX8?{~SV1W*<>_#3DhUr&Ff6QQ^ zSJ`XmKnH;cB_B|!>CtcJ5C^Z=-bgcn>`TBJXLXa4WrM*juA> zk*Xw8l`b+MwLaI>``l=*&kcLyc|J#Il)B_>NR8;X)5e%@RfWX&YqmGpkEdc3?(#j6 z(opHCE$>WZQ@TJ^k|~s;0XBtF)MQgAMWcHE9?$jfmN%8>-vm_I;Gj(VT;z@;nJvFa zG?v+Vj6{>Uz2bG-YxmPDXk8Zd3Yk(~*()Zzvye^Y9T-!|fJ)H-8&D}~>ig2DzAugI z`_fcyUz+f|yuL&nDAgR4X(x{SdxUMPEH$Rz5}wrez;F2FQ@eV($n|Lx+Hi?4F_e~t0RXWVT&qDjp=*qq`tSd z^}TgnrngeKnu1+43xf`wUO2#ZQ2J6+-@Qil-D_Omy{7ct%hPwSK_*+N;Ruth6piV- z&!oQlwDsL*U8ei+(Fio2n%6e~XzkPw73|(|h)a-bcsuK02xQ(YD@4*JXT^ zy$#E?l(&uQy=`3YZBu%0^Yq>}ruUmkz2CI;ezPv)H|zmHaEu1=PM;drd%%?513bM4 zOzLgf*4uJj#+GaqEQC{5nbKRu(_5vj=XYI(UuG%@6UCYG^h~YGU}o*H6c4oL8WC7{ zy1N-b8w<*vgTrlOva|LsB1#eL4D@rL2oq3&L&)0WJ;m6{yi*^|TBDUYl#b3m;Jv(E7%k$U<=19^<}G^wod8AN51 zja){s@^ALz2!nA(22Yj|mm?uc^{V_JRf+N#SuimG1O&{N#h zyXr`;t77Tj>c>^jh*L~~lDLLFDQmrrAh z6b%j<$6-gJrrt0kdc(AG4TIJGntlv39yiQ*ishb$neb=@tOQk+TAS7NHgi{Hvwpfo z8e7DELvOPtPnwnRM)Wpo>20Ne^7_$` z){=eoqcp6TxwMuH!bVDXK|oC@YUwSxMsLX=q7<*t=zVOyuIJy?^FOpI{(JX{hSZYW zlv!_CGKHRmbXL3Z(WJ}NF z8a^kPqHKeC&bX9cq_O1~Tfhy56>1qlYk+fxuQk+(55qo-z|!1NA}mR7Ou$ z2K#!EGQla~30a^Z1WtA0ATS?aq_2E@F-pTJ#po#UC{8R&ob<#&Pw<6G@Ve0i(!lyTIpQ z4PPE4*gNeV4V+>nO+~xN_2VS!m8icct&KulB2a}z=VvX6!??5IVO(9~s43IBGl8R= z&}F&qPT_;DW1wicj`OXf&Qqpg;xMy+q>f|7mW$a++h#RvI{FI(NSjUs13!*CyJrBy zvhiM6hpzkD1(ag};SS|1B9N~LwOj^bsg}Bd)KyE%fwZia+JO`Yl2v+{fz(t>Lr^J9 z_RhM&XOI8cFf7pI+T@t71)EK@P5%fE6ccY?v*hC>WZjkczCz!Z2XM*_$EuMCcXEq$ zxNhA)GT@%!8-XL?rX#^Ol7xn)22roSGJvXKlznW8z$nlM=_EP>2bRe~>`oSxq2xNM zM>8l4T}Gh9K`o=F9;WU212!Ep&j0E}QW=lGk5n+HT1-u9`JAeItI6tF6PaqFRa`@5`+b_>j zF1lFE_nByNqbR}2?g8Th0@vP2>QUzv?{apb$!T#T$)xt>BbbUvfU&}Ix-pp_ICn!rP0O9UzvxnNrFzT zL^Wf`BMU#0U9%c)I`+VJv)Xylfglb zu3e1$%yH(jHKD2)-#yxmSLI`T34D)?fjc%w)9L6IxXEv_); zseM~3UAMwo1Us@8y#{L#q$>!&sid(yxM%`iirFeebslSn^VQ-C(6 zj)qTsqt7m1rEUYEH8@A`Hm!)&SgzHu`sQm85%lh^{!Gv~c*E$ui9k-%!~o90FFbRc zgoxgOMk31MIOoPo1tO~D?TT8Gd4m@E%bTt@sX~6esl3mch;o}-+^zrz=Jm$>QC;36uM|X)HW6F9=f9gFjPe1)GzoK9k_3UH6$^hVe)_|Wx zm;f?1=YjguZvq9$I!s@N-bs@Q^S+DmGF3E!WtgBQQ7H87P3}f_CyKfje(j8(cBV6+;70d~AVc33hWYgshAleiQiy@j+f6wF0gnss zgSU3#9xCzMN=feG9!r+)n?Z5kat_-`?jtk2IU{lEd306Gl;qqee#CI?h}55`%~>l?|y6iDBJ9*^CLyu zeLoC-g|3rrHs(k3xqkF$YCOVy!jEvD@FU!xYCpQ>t?{F5v!~9F6m6dhKgu>6^P@v4 zKe`w)ey&X~u@mu4nQt&8@e_@25Q^i+8Q-*=oha7l^NSx4Jkh=`{BuSwasmVHyjNAjm@;NVGT+8!G;% zx6n)!P60uO?2+&-A3d_xa4_@`-3)X-510Va?3p;lm-EidX-=Dwk_D%2*yf^C?Cr-R~ z;=?ke>1!{I!dq96YlrxY=fD5*6CXMH!Y?NN{EJte^XlI{ z`K8e5d>H1oGh@44mmn!pBWKP@g7vF7Uahn-i>_4;4`{P>ryI{Mv9*S?CJ9vx}j^+Eg5FPP&)=l|%6qD4Am zo7<6JyzK9nZ#*=2+drMyxpv`y&;6s9tv{JsIcMihKl<5i8=m;@-J}lZ2-}v!wUTger<#UI;!)#-0KK6qV&yAx~+%&SIU=OpeG@NqC?lO9Q z!&z>Hx2G?s892?rX$DR+aGHU)lz~sZVmx-ucW-;nd`q?X&1n3o{{dIuyX`rief(yq zd|J!X44h`**NFkdCJ<1-AFVrR)D6}$pWfoEr&Rnc^NJ++uKq+k3&9ThL!iNlK3{yN sBX`cv-#st)&dG(D0|)o-S(uU6-n)Nc@4@|hXXfAW(M`yE^fE{MKk84CFaQ7m literal 0 HcmV?d00001 diff --git a/fixtures/mycircuit.r1cs b/fixtures/mycircuit.r1cs deleted file mode 100644 index 0aebe9115cde7c8b8287014e293f9dff14dedf6c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 264 zcmXRiOfF_*U|?VdVi4^B#2}ym#6bRs$zLBjPb}D3>G8r?BQ~P3ahq$v4$TFI4~zU# z3|Js)fFuJ06A**=AOJE4#IFExfB?n^GVz)RQU`MfNFOc$QU}67fY&^bSqdOkNB|@T L0#N;6cY^o;&hIT^ diff --git a/fixtures/mycircuit.wasm b/fixtures/mycircuit.wasm deleted file mode 100644 index 4a28f0c11c19939b3d70aae10d311b9d7078fb1a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 30625 zcmeHQdyHIHc|Z5go#&a^x%>2ZUp_O~%{sAz1J0u;B);p|iAx@alt5BSvh0rSUGKx* z9h(FtUQ;`-DpeO1N>q>nMJW71h=V9fi$q;2p;C&vt*XjZDG(un=|dO_sws%{_nrHg z`#9&$dWj5F9w&3}Ip24_^L@YXJLjI)++`C>a|UC~n6Mu*mf1tOW%*$bnafBS%f>R@ z;X8wT@4}Ec0jjxtf<0srKkiSQFiuET`aa=uf}HilF=N^Mkde!zRw=swip4I*in(gFnyFS%i*W>Yp2=Rz_bxs-J>Pn8 za^c7$Ea#`**IZm+`I1M2Ev#7a64Of$5V277(#@l+%TLT5n`KpB_R`T~6N^n|+n#JUeb4L^>-PDlrjN6}ZeN%A77ZO}5xZzXT~aNXk(O zPq`sduAL_3hWov&1B(lDcP-4f4lc|!7aw7xyNomgbA^ZA<(A7Pt){-vXfEw-iV@lP+^ z>-yj~EQE54-CsD^Y~6j|#Nra0F467&WAB-ro@6tWzjyJ@<~%#xja#>k+;iZ-QnU5O zH?RkbxO(kovI{V_rf&~2rZ@`hf5&udzPYr-W(%mgwXhGZ<+?Hv-Zt^x{fkhW&DltL zY~#lc9B3}G`C{H+4&%l`>B%n}GgmWV2(~rDZp?Uhg&Q*kH_yH?W4m{?8#6UN$^;vi zeDYFoQ?`4l@i&6JHB;Mf?V_vgT?^io?XPAXR^{z4N=cChRjm|xyDL%{ko#6oE+uR) z0X?^73SI*0!;H78s(CCV=eMn0s5vWjm4fd>hT&$wS_ltuxEUc1x5f~Mn-Su0)wr+9 z<%f*C{Ix$2s{Nk~!#E+>^(GX<*Q51}Fh%ATB#~!Pp7p56jEkoNibWLIg|8R|F2CL^ z6QvxZl!*eg@D-yVKCUui{fZ z6*2BHD)FReT)+^rQOyuCRm~8xSj`YJT+I-&U(FDLLCql1c=CDvhjx#Fr*@}*K*9xx z;AM?00n8e?69kUs#en5UhlP-!e7}g~wi*R+gBSU3!~}GRv>JIq(!z98Shpa|D8MK` zBCXIU#p({|c|jG0)e1V=I7j4ev_lq8-Ck=>}MA+psF^)+lA4tYVED{&}F&6Oms2ey(5 zY+s|Q2DVQPY^~9wLoYALC?$GDX_S)0_3o(X-BC?-N3GGVc1KO^j^Re14)eSqdzF|M zrM*fL*E_MIcVboV#O_ol4mWz$PINo)a95BQWUA5=MQN&%#PzPN=v`aYyS7{J+TMg~ zWoIK2t}9AYH27=1R?&N{s`pyA-fO)HugP9`bE5rlJ@gel^i@6d-FoPI6VOW##}Xh` z^dMICq2H|su{QytgkxI*j;bDxZao~m2{@!-I}(O<>kaEo7$#NRnNYDep`xtpCciRS z>}LK&BJ&VVUC+ZM_3$nanp#PYb!-Q-? zsL0V60|Npy?QqGpRO&x~LnTF)dI(u9T34rP3v!flsnzC%PFWb~j+@jP6*_BFZWJ{@ z2zR7&smi8ngds>LjBGjfQdJ9$bjqfMNB?dZ z(h1p`9Be8z$_uR>1=(k-N~M8b)SB2KW^0}87;aQ_$hreom9nCsH_;u-s!FAqnC=e@ zCsO>87g`ev@^Pe6MijLsr0H4GIwE;0v5}rRUn4tuUIy%{V=S3#jmOaexHZh)C7Bp_l zTu;h-&pc9|Ms0P|+?ClS%>5NZWE^Y8=Q9(0Wrl^xGiIK4gycV3Hd+=YmRHSsHtVcr z>RB!_NWyhl=K{XDV8XIo2nq%dw^(RLhbz9$Dc6_?6eA}1x}oV=8fBMCW@fYqtojFUgSm9aV= zd7^LBScC5qok}O;tKZ(zgQ~O29VRs*e0>$ydQ(!AO#!S5=r4(r`+9D&$dn)F* zQ7<~IUXuD1oimo*LqtoI4#V26L6H@u8Bw%*C1QVO@&GX(IeB$ft$GGuzymu7&IPNE zl`>rHoU@XxTlli6nzC~y3(FZUpsZ#A-GyvD@2uuL0}6HlN@wu^g<*CdzEL)3R|SXC zWvo%Jc(1GU&*3P}a>0ijb&KS<3f|LNXNv?im0G z^F#@)xL8L=UPqTzFN-Yl3otYflZvjFrJe>&5}+Bh!ZpYFHreoSUqNlAb0O!E=~ikG zb5;Ny8t?}G(e8{pvynscuDU7bGBi&S<_T|@4rOHqEjm7miil`o zER%tZ_R4pgidjsX>a7g7saR8NQ>pP|1-wlyhpArk(4m%f$vR2H>d_1s_8^r??r$Da=9tn#hcqA;2;E}L6f=9yQ2p$QG zBX}e%j^Hs&NMqy_SQNoSwDGWfJPL6IfbQiz9d>ERNujusDK8!r}-X35z3mBrJ~L zv6=9|NHFkl1dp*c9%Ua7JB~-V9Y^p;SRBD4VQ~bHgvAj&5*A1BNLU=fBVlm_k1@gn zgHbge+uC^8J|2B>Jly4XMSq&GID$vQ;s_oIiz9d>ERNujusDK8!r}-X+XxSght+uO zXyei6<57#_fhlxQIuaiViz9d>ERNujusDK8!r}-X35z3mBrJ~Lv4ik%mm3xR$Idn$ zH6M@RI3DiGz9K#n7Dw<%SRBD4VQ~bHgvAj&5*A1BNLU=fV<+K(xkTXMNdIwD8;@bS zWsaD^=wyI@antK`>#moU?~QISj`GGdq!0FL-7Q;Ms8sHXWP?XOJ>A?zO9v${qf4r+q`O;RDiT?9F^65dIBJ1fZENUB;ccwDJ8)rvN|eiuURa|- zQIrH3sw8#EB@rbF+LjwVTHlD2JtqA|5@GPOT%&(29!1+~V-VlFRC?5IY|wj@;0dD` z0Nf?vQIdKjJW3J_u^R(vaiHCUbT^iiQu`BITE3cu+{t`n<65GJo+Cl@)M9okqo=Pi zqzjRfAW)Sd(j~Mp*Q1ZQfz+7mYYe8v99g5(C1oqDU%!#JQR1xB(k$xvm5-69@yK{)m& zHX8%d#>A#)KpIJH6;I_G^|iDLn%f1fLd29;wu<4#>%gXp4)m$yKqaY5I#5aK(YK`m zeOnsTx24h4wlv&mq_ri&K&fW8hzD^H-~H0J%2FHko6#fs7FbVhfzRX{Th`J7H-}r` z=9pda7FZJGR%PgRNw+FVJ^FSzpl_Fh`gS?0Z4Ox+T$CY3-X9%xDw_9sE|CpXg=~#1}cw@YkTyOJ)n>5L49P8>La_MkL-SZjBeD&=!iZ> z>-reol88|mZJ6@KqHRDQZG-w~8`Vc!LmzD$^>H(zkDIzaZnh-iMn-_Uz($?8-=+rj z5iqKcfQCK-M)ba{>wUQ;;Y;ZiOr~RA8P$8Gq4!E%kMEWQz7i>SsVR(9Lyy#!gw0ZW zOy^zgr9>=FJm20_pbZM;4#XGgBbPQ$4|7YecGYuOA#ryl)^gYh16PJ))7qm)xzLQ> zmq(-BU`7vPgL7Fao2@w2gHo3E)KA)Gtp5xMowIQdWQ7&N)W0kr{$YiD2Am-CVjdev zL1yxxMMnb)+CwR62CV07MxbR`KHgPUksq)|;GX0--yMNOw$NM?`G7f}&KfBp<*kQW_%b zIdR~d4Y1+{1SIzeuSy%?E?B5YgyYG)xALN52t^ha>iy@5d;U1g-x0^Y#y|}EKw3$T z8N$*6lDnLwBBepRmY}0`7?oU6)kEB)57qwEP{oo#Z7rd?Aq+7su!J@22yv~kF;*nN zu_UzUSG4G-L2PSdACE(KJ{{6N+KVHKPXdi;CWg@5NZQ59N{dxRF`etmPP>6^=t9^}yk$P!6R@-Tgo zGZ4j(BWyjAy;>yG!gW9k@*2XmM~`H`9?6;>$ss+GqX{G>T-dElfvZ;!*TA~q>KtAD zdQ571OosHBj3zLVhGR`2#qa^G;c3CJQH#kMf}y52d`NG&yYiIiPp~nXVx7D47B1v> zlWEp<_T7-)gwccv(hFE`(Ce9|%&^u$Yk+z*p{G;^`+rWIL`T1!}1To;v8q*5jX;hBgygrE>69^rGf*jj@XMcs;gag z9cPKVpak6y;wUMlF5s3{UN9TB2aqM`pfZZg)U)!0uHlFyWc(g$R~2VzNncjaN%=Sr zyBG3txOF>YZ(+6{csbp$}IRB_67kUwvl zWGSIowdvq(U6^%CDq_*GWSkZk7M)fG0yvUw55bC)#y#*7T@S=SYC%o4Tq+JrtMoEms;Q=WM#XHh_EZdcF8Uir#tjJsNP&XX&ck!V zb<;UhbXEyFU|Mu=BC~4aFpslJ_bax&nXp7ALdz~y5XM#KjBO7&h8s>u_!Qg`#d9}R z3c1dz4bkX34oh#ij)6|dC(;lOPm`BqP-UPDWmh2{)u1qR8H5s)yJFjeQYLOT(cx+w z;kRoz3QboWV8)SQX&7D+f_vvoflPt=_>v0ponVk}9+7V`p*#5k6`3brpd#<+1u8C| zxG^KRI>6iTfs0yPf3`Y)64Q1Hmrr zAr+}Hv)lQ8R6EYzPBfu?!3u^Z!g#E1r15~p>>B6qz?CXI%TOV`E+t$$oxOkb2E6Bi z6mhi~0gFuRG?{&Mn1FlYx4@5H>$&Jy6P%n#R*}wEta7RMxqeJw)xSrZ<6y~A*0?>I~> z_72JM*-XL^Q)!dTjhp9MWCmspU=7{ACS-qtfrF#%9V4ANj9yX_M1?T#P;Xe2^D$uV zh9G%_lCrT3a9=w&jMk?pi8G{hSx*}q(ii!%YT5wKklXQK+mCTU;CA=72pYF%q}%yx z>$45n4nEu9qvCo$-Di;2j`+CGHW0vT_E|)f#8TliDKZqXYxY?}y2@u{df+p9q0qX0 z_B6fED%P-Ml%WC&5w~{Sw|k3r*BZu5cA!+mE}>oHB~|hbT4>L1M=@b)*Fk3$Q!Z+y^o0pY zv}vb50BLtSc-YF}P+U5RTTe#{$?ZpiT5_lpr61U?yAwT%5DWTHeaA^HwQUKkBFwx8 zz8UIZP1zaxJ(t@L2XNzoWB2jPR3j>Lo!Z9_uF*!=M00-`3Ye9*$5d`~1tV`iXzWOY za^B~T`!F1_Z>8}(oOm<8lP=d>B6!hQb%d+aX5I^7<7e3e^s8PPIt$|oMcz}q28v_t zqke*XFgt?@PL+={K9|Kb5 z8Ouch`qeRHp(mqXA=|g%_q*dr;P4MzR)C*7iBHaN0kby`EY=V)Yu@7L_`x-zH zm0>!A^>%bcVo|qjk*3Fda7KZ0juM7np55YdU95=e%jZ3AZTdMfh3M zzRuo<@^&6S&Bn|u$%Eq8*>|`smnPRMlqT1!nxlycbUSEma;*Xp=%wBFmm-bd$IAD% z65U1`zlUtUBNgcyKV?Nd5jf?w>78TGs5?WBrBJ_=_`Z~fLdR;`PnS>}UM7=eh+Y0_ z;b$59_&SQPZ%2JRj$~&iJbR>?DzT9zi_b(@olGR?mI8xNT=10RX&~%d3 zhT>>3HI5#S^+!lY;t1(T93g$V<7odcCytWUUcNX|)O|VPC|PYNj+SC^bOUJexi-Em zgGeR{GJ!5hKG9?X%lYzgCKENj2gTO-{E`m{IrM&8ECl!nq}W^W0N*MX;bZgXHdU_j z#;7zBwztX&b9A!$K7WtxgtM7?VdnH`mV;=FT=7hL zYXzfTyyeEpIOj1`asSyEw_rPD#w{neL`=LQh-7=^v64(;umk9<_M$>-cE(wjKnvE* z82?+tz^L51l{pU|b?g=>&I)>cy0W?bIvbIf8T+cB^toQg03%j;0u`3SDxd(i5drc$ISD)L zR?c_86vTpQzk`OQWVv}ebg`U^Fs2O{uz>)QPdlYl;DvGVgvh*b+J4}YWMG>^A>&;N z8O9~*@$O5Kq1NLezL$LI`U4KYyQ9csgq)LgoGiLI{()CDrpHM9VEOl)TCrg9=Dyk2_|I)Nz2nv*~CH z%`6BpWYdbe!)UVNZubQ=LDtG`WaSFg+25;8gTP8PW$vo0u zWM}O6Ac?4zd(+$wfWmOp!Uj0f%!Qv5XkI0XOzm0uvi&h8ssPkQ8VH%+wDM zOVPRLv3NRKXo(zO27Qh35mH$YGO~q|{n8@_sm!z3rO)x*-o_$KW70IR(pDm~XX^mK z-tMgSptz7diZ=tKg#}p2}QyIA;N0yNwvmX=+xEySPXk zrgJXL;b5Db9AThwVI^z)nSXim%-=lyKQFzwY`+_sKa-iC{5CSb7i69^i1UZvMCMn# zOcFq>t{mv(81|G*j=8xIN3l`jfY)`_v1Ed@bn4$K`UlH4( zIJeFYFvege@57&(nLI2Oj+mcT6lD67vf! zabV%t{1h@TGG5s?e|%zgdP=k&InqSdQwA5#n|^-p<0rpx z@0(BUd*+k3-M#$M>HxgH3a(x3FF*Inxevbk<yNo|5et4;IO8OYP-D|ONrH>bam~fu$!vO>Lv&*|`FJ7r#oulAe zAATQg^Ba>dn!oC1Ip??W&D4X~CC2DV8vFM&{qgTHS=!F~4uR_s&D!w^Y;!)fom)A| za?WhWLJdAt(wBzSTy9yE>y)`Adn?E0mMre{`8hS8XV}ldJFd^j1%l1oT9G$n-1?Nf d*~YCJG-1vT@X%kFb#`)VwMaKNaqApz{ts9GH2(kq