From 7532003be40f2ce04fdcab533ffe2e3f503eceb2 Mon Sep 17 00:00:00 2001 From: Dolu1990 Date: Mon, 9 Dec 2024 17:26:24 +0100 Subject: [PATCH] Revert "verilator fix attempt" This reverts commit 02cb70ec41c1b01446ca9a5b76d519484c02fdc9. --- .github/workflows/tools.sh | 4 ++-- board.info | 2 ++ ext/NaxSoftware | 2 +- src/test/cpp/naxriscv/input_nax_0.elf | Bin 0 -> 53904 bytes src/test/cpp/naxriscv/input_nax_27.elf | Bin 0 -> 53936 bytes src/test/cpp/naxriscv/input_nax_3.elf | Bin 0 -> 53696 bytes src/test/cpp/naxriscv/input_nax_86.elf | Bin 0 -> 53792 bytes 7 files changed, 5 insertions(+), 3 deletions(-) create mode 100644 board.info create mode 100755 src/test/cpp/naxriscv/input_nax_0.elf create mode 100755 src/test/cpp/naxriscv/input_nax_27.elf create mode 100755 src/test/cpp/naxriscv/input_nax_3.elf create mode 100755 src/test/cpp/naxriscv/input_nax_86.elf diff --git a/.github/workflows/tools.sh b/.github/workflows/tools.sh index 4334aa5..3cec3da 100755 --- a/.github/workflows/tools.sh +++ b/.github/workflows/tools.sh @@ -11,9 +11,9 @@ install_verilator(){ unset VERILATOR_ROOT # For bash cd verilator git pull # Make sure we're up-to-date - git checkout v4.216 + git checkout v4.218 autoconf # Create ./configure script - CPPFLAGS=-std=c++14 ./configure --prefix ~/tools + ./configure --prefix ~/tools make -j4 make install cd .. diff --git a/board.info b/board.info new file mode 100644 index 0000000..a241d92 --- /dev/null +++ b/board.info @@ -0,0 +1,2 @@ +// This file was automatically generated and it is used for board migration. Do not make changes to this file. +default diff --git a/ext/NaxSoftware b/ext/NaxSoftware index 865b8c1..bd48a1a 160000 --- a/ext/NaxSoftware +++ b/ext/NaxSoftware @@ -1 +1 @@ -Subproject commit 865b8c1465cb24c78423d16fd6dd74d12f643bda +Subproject commit bd48a1a41b9fd34c96691f60c1af0e7f8572188f diff --git a/src/test/cpp/naxriscv/input_nax_0.elf b/src/test/cpp/naxriscv/input_nax_0.elf new file mode 100755 index 0000000000000000000000000000000000000000..9b0edcb536a838b2437a55043630e99539829718 GIT binary patch literal 53904 zcmeI5cU%-#_wer)b}3Q>Bi4wZf(>_g#d(Sy{X6NoK zKA9CXu&-1iA?8g=9uaIADAUp%Yz{x0v;`yYmBRY zyb!aW6#Y<}?ai9?3pe}8&=0lQ-mFRRzR$PSOKvDVgVeFNFn>;}fI_O`NZ*|x@Q z_I9%E*>=Y5_V!7n$~Dhk3UOpVQ$ie>1=&Oiab&K|mM9^P%yrpPCB%`rK3k@QI5G>f zzj4P_6&hPG8;17o zE?3+N2yGL$65s_|sas)))U7yN>QHQE54?1 zE2&d}ua#S&gBAE&fxi{_+kn3f_}hTL4fxxFzb*LMg0DUJ+JmpXY3%S@?u8D-9maNt zvD{%CcNoVV#&Cx*+@T+L=m)qha9iN^!0p|^-@T*``*5johxpwgc6W#!e5Bwbb%(g! zAzrXmfUN>-tY9oF7|RN5t-#g>#O=-zxKDa*}I|s&tlH5GVPK<9Tug$<2s9E)8-G>J=0jBn@>9?G+js zst9Tq)Hg^MqzG*n+BZ}eY8})esDIFBLDr!iLi>k)7HSvd88kR3F~}~|GjwohVyLo6 zLX<_bK_n8;AQCBP5Qz*lhy?DA*&q@N&>#{8Xb_1KG>F6!G>F6sG>F6+G>F6oG>D`D zXb_1lXb_1VXb_1#XnR=^A+jO^2$6sWAyUvFL#fHHqh}MK!cEmph1WuXb>oSkpYA>0u4ew01ZMK zg9ahapg~9z&>*BKXb{p2Gze)98icd}4MJLiZYlGT5}D5&5UB(-h*Sz1L@EOfB9(&% zky?NTkt#rgNR^;Lq?VvTq*kCoq}HH8q&A>IqzyoWNNqubNbNv_NbNy`NF6|fNE?C% zkvf6~kvf3}kv0MiBK-g~h_o?i5UDe05NQ+8AkwCwL8Q$1-g}tgZw$jpM(54$e)A!Imn-b{5i;L1ZxZMi3dyy%9tP zb8iHZ!Q2}`WH9$e5E;z95kv-aZv>IS+#5k;F!x3f8O*&ALL1ZxZMi3dyy%9tPb8iHZ!Q2}`WH9$e5E;z95kv-aZv>IS+#5k; zF!x3f8RTw+8bJOWK;$rY86a|)y9^LH%v}bE9Of^h zRaSUbbXIIue3m{dH7h-9Msav?ba8BPe6hYbwK%~-Q6&V3m4qGF?nzPg)rNC8%>!T1AxnFnxOp1d` zDIGoKnSCSm;<`93Wn`}04L z442<_9lpk*#_8EV{$(R?lj?pu9f!+{J@${>Ei3a}PMnS@UhhBEOyU(YMjCZ{xzp@^ zdG3&V=EgY(GgAyN9Lvt{mQ;VCuG)X*tk(IV6jmeB(G4BDbXsSX+j5^Qx2s0mZEmH^ z`Jo)nM2=Rrk&^1brd3XM2Y}JFi))ad-L=iv^~YD$E27-WPJbvp*1~;l^%8?i z-b+{~FZ!|jl9t=ozASK7zGz zC0!02kEqUURyDvgLR&qjg|>RxjDq`i#9??7#k%S($DHyW!Fu(Tp?yXyOY1=d087!SFJ^b81YQldT zsg|y9Z>rMo8smm}uggwkNrz`xo~FHvn^*y{0%8Tk3WyaDDxWR#0rQN z5Gx>7K&*gR0kHyN1;h%76%Z>RRzR$PSOKvDVgSY;}q{{JIjV<+pXPo^plI+=Qkdyy4ecHN73EzkQu(+;=&%*EJTfSe?Y4ng0@_Q-mdw*~w`XN$aM%xn{Yu?(jDaHhvdXI80^NW#u>b=N*{jF@5{Mb&aFA!mPmS z_xeZ7`g=v`Jx%(ns|v?`Bja_at?oTpJwEzI<0(ah{<+kk(jh;%Zu<_=3KIo$j_BjpLhr126>w6{Y)6agNcJ}!1-<)^#biUzI%#B#E{2SjCAD>SP zeDg*GOu1!w;&+!%CaiF-8D-zF>DpWJz5a)5xlc8VcV;f?kb7Zl;HL%c!%y!F$Vte& zcrvDKUgL(dU1Hs{wJzsM_Fw8b!XmEGilpybhfW^q>tdg8H=^UfW*xMN(IdMB?s>8! zJumKzzN7L^-&T?X-|q=`o-yuRD}(00@tPKM5-T89K&*gR0kHyN1;h%76%Z>RRzR$P zSb=vdQ1om3kX?m$UwyUnP|QK=oc-~a%0CG>-DF#z@}Kt@qhAgjxODb{3o(tjA7_=d zmc&ii(R-`@`?e=1eY9%f)bbwtBBm{$yEn1H_D!z}Zl~28>VC7K+m9OydY^eZC-|rC zxm@V}D^($%?p`+Ho5$X3Dgst?I1;YxSCeweWo_Zq@Qyv&l-zB0^eE|)^mo{wyY4i9 z^5vxw0dY@GyWZNfX2Fv-nF|_Phn%b#v?incb+6+s4=b7n*eqEYyldE_qa=Rb;9c#5 zf4y|!NSwb#RNk)_HD#-UKH6(z7UuKM!lFyZ!e+%X6!&Yi^Gz=bM`k`ljCv_!qk`fB0_dh56T4m+$@Rb)4_S zdA^YzF|+#3kG@e^9a9q=X*?fUF)e?mZ+}_8k@ufInN&GCzT2fohnh9~-0nu)GIIIv zSsM-{t^am;3!e?4a~Hb~PIPO$Q*PNZ*06ihg*`+1>W0)@x2|oa^Z$0$m|hkQx>)D^ z@@dHCsm*@hQr$ew`-t+p{R2;)`#`#`Y(mGUD<@8#dGFi10p+LPy&^;+RzR$PSOKvD zVgR7I70kG4O3X}8-kIwF8=Y%@O~SWEq3%uzPPfzOV9iBD(l9qi3$9=-&d`Ne6pjtaVe@cVFW5;D*QY85a+9?QK)Gb5GA%Q+IAWGq}r2 zUC)rg(rT|ni#4~-^bc65vpKiN{m}Id{Xg10^RG_+K?ei;!nY2X^in%>(K)}5N39vs z#jV}*;-VE@yB(^tcv<%4&W^)ck9|#k{krIf&#$)Xoclxfc2cWx-6I>Wdv>vC`sedE zo%?0-0*Afxc2AKj&sEIWVt29d#^;}mKb5r1b5+dWb7#MDT|eYO@t_-hdJUX*_R!w^ zc6WyUzM;dVx}<{sw~syUQMGA^v1f~ss>Y437JA)2KR)g9l6D_%uPd4BzN_S8|0Nyr z(|5I5pZlQ4QK_L@?5LQIlV^R_{@}-FJFd?1zhdhUEt(H{@S`Sso|CEc12SRHfaUR2oF^ijjUvF5Ii zZ&r5s`G4azE#@RvK&*gR0kHyN1;h%76%Z>RRzR$PSOKvD?^Zy0C#u<&Nu{mw6*ta# zs+uJ34vU}4Wu=vkus(cel(li+Iq%^w9dC7+(l?p&`6G4mzNgQxG>o@?Hrwk+z^O0d zZIeI$z1!-{fj2sC+dMIKN`&drWA`QiGDU%l3?%ITs|-jO$GMYt#H z4Lis7@$7uH;eLvhX>SGSM0HkEq4xG-z` zqCOjsjq8~n71sG-@v)IsU0SED+qXQv^B~XiyG@k`^kY8o_w&1WP`c3ZU|p|82et%` z^ZfZcqhmnSpjVv+y(m1jBJ%8)^GcgNx;bWFvoxR7(GRAas5qPK=QlTgt9xzF@3+kk zn^*PM%||vZRxEAuYi_gs1NUBPx+3@9{9on|2piOIPv4qFffv=&m(Ftc7~b&w(rIH$ zl_&CNj#6*^XvVRhen{Uk_vXqOfnBc4*8Xu}z__IC5xcjITBvTGzi0E3WXIKYYsT1* zy-`#!BH*i0`zASd+1uZ8`L|2q|I1z6#0rQN5Gx>7K&*gR0kHyN1;h%76%Z>RR^Wd_ z1+IRd9`aRFZQxC}olc9U9er#)^zWe$?s~Tmay*hBckb`HzsANnZm9_<)Lk59Shx1q z7fV{)`>7`F@};NKs-+u0tJ%A{>%P_N(snssNxRt5uu}iwsEdsP+czKD^iSKqA)jTq zhsSTPTkyewOP9~=*fDQu;fp%OxXe4w-!|LQH`YPZ?8b&h&Kt*m95-Du;9#I0wab6p>t)ikt3x|&eX`W*&w{bDIxHOY{hAA5?Wgy) zn0`c`|6{iqZR1_P=|5$nYnLIN6^lN$Pl}kOJ(arPR>YP|j~91~Z}#+V#>Lx;@(FhB zyDyCQb-CPHnYKDMvg)_>$CrI^Flv?WmhH|{gZG{3wrhFm>sAg8+NGat{705*V_S86 z&qEi#T~NAt+N)GYyY&eV8^@m1{ye~CS2UYv9iA-~Z@p8(YnGr(&PT4qbnH zQ1GH%*V0*C=e2&^*FE?3{vIu-j{M3ad5Y}nkVR*dSsQ2nZ@9+A9K{NV6%Z>RRzR$P zSOKvDVg8TR|9ZyAdyBVaJTDi@0b;h7wm0oin4sJCmtwEyn zwAAwc$JW95t?WEMoxe8Im0bSRVrH@Zg;#B^RnFg6oAu|uk;4PK|ET;iaoFWuYT3Yz zT;fyxBw_N3=N1P5X@As=9 zjpk=hZlT=AiSVPD-_X=%G8IKAn|S7z!LUP(_++PL$`%NMm>dj6BQ~%&+8n^$K7p% zI3!-Zet~qqr^3a(LK~=r>JMQdt_sm~g=d_(Vb;iuszVjYM{L}oo z!_YR{Z?`24C$7qEK7Ln=4W~Um`Qpj89Tz7KntVn5YN4aT?`70i?XI+1)bHr{IR}Fy z`(H?{?Puv8c>ifp_4xUU&-Rb|=u!8yZSxN|afujSHuuiUNuiHNf1MRY<_#=LJYZd7 ztIq$-ui`VmsK_x(>gM*W&DXVQ614WO8}7gKY}a@}+0rY|8q8npVq7@%m)|SO;%}cG zGLQK9hRWctHL7akxrx6ghkU`6lK%mqEeDg2fCQVs2H#Y zn2?Ybuhy%GrNr9iKipU{BB2%r)=Wm=Kk4i6J}x7~<$YWZT}a;3j|Fh)dpP{3Xo>7S zTnSwM9&QQT;yv67xZ*wB8n|$ynaat7*Fs8210K9vhr$2CNAdjKe06AFYAvjf>A(0Y zAz4hFXQDmJp$*%+bz6b$=JJ^ z?OO}`_u~1x*Lfh%-@VR<@Z1ujwJ`7@<8Brro0S{{V23&dDOq~3CJ^;ekLN%Vt5krg$z$Yp2P4d z$d@sEI`Vvm&qBV6;YQ>I49`Sf$nXWoiy5ASyoBM)k(V+Y?nD0ixza#5?`x3nWb6x( zA7S_=BMkLKK?v8vQ!#g1lVYnLk zCk*%Hxdm}y>f9aeBN_WZZmq44;L(lHnQ13m85Rc_G6WBQIunF7gtF=kuIC zOoi*-)o6d1v0sn;D8q}9|HSaE$WJpIp7*dx$Z4j|yOEz|><=Kn$nfuYt{^IAeSQq> z|6uG-@|-RPv-)hlb!Sr(%xi!NdBDZ7s zGvtm8{|9+9hD+o$MOZg7T!Gw`;Wo(IG28)p2Zn#Za|OA^)V~GVYZ?32$onw79r9p? zcSJsr;VR@I4EN!=1w3Db*K>EYAIsPWB9CTxU*xe2AAtR*h@_dFrL0-UcIsIx4^HR)kC*-9JcSXL3;cDdN4A&yBVE7Q^RSX}G{5-=G zkY8i?4CJ*8Ux2)h;VY3pXZR-Mq%|?nikP?E$SoQE19At3S0iu2@axE37=9nQ2g6?? zS25g%zVd+i@@IHc+&RAg^P%9{F>I&qB_=_gjqI(p7k0e2LtF;Tw=QVfZfOE(|}6+=Jm& z$W;vg6}dmdYmsXi{uFsI!zEUx`3hmUE%H$eZ-G3V;T@63GQ2BtJ;Q^Lr!#yQas$Jo zk!LYH6?qQB4aoBuz8HA{!@oja% zuQ6P~|3o1pwG3~9ypG`>$e%OZ8#!?kUgy1#TQYnIatDTwM&5+samZa5o{rpu;hD%) z3}1oVpWz#jYZ<-^c`(C|A`fBsS>&S_ehYax!=ECLWw?U>(M(443~!7)o#E|}8yF7n zqxsL(EQWuKJcr?>kQnGl=It7CEyLmcCT#GYis5&Vhco;kay`SJBR4P{-edCp=P+E(|KKMl1q`=F zUdnI>%kUw{ z!x=sTxt`(UkQ*2tjXa0p6Ok7%JQ;Z@!>1xIXE?l<@^Xg5`!7D8Du$mzPNc%?=Q7Wg#D&NW z;8?%GdoI|N@O+dT;Gll1MXn`sLp_9pd&t9y+yKq`?J;saksInE9Q=hmhsX`ke6!in zLnS=#*Eu3j>t5ep`lI#qgELwG1yn9>VYq$io?4f?Ut=9mov~ z--A4d;RlfyF#HJeQifL|FK75Erz0d<~8Q~Df~Sv{O?_E2mF2Zj%W`j4fP+Y zaNx>w2}K6FGjHwxrJv6K!aGQ5Jn(XeiC@k4FC|*$?{DGn6v3X~8O&qyIw~r%cVa|b zKhGr6CjI~QkA~wC<5I)YlVc{3u;hru=%j?O=!nz^6-kasiAfEc921qAluURd9W|;y zN)gzrNosP0J}e~_97vchZQ8W3lr)_#E}ev>s6f;p8W1lM9i|GS#2dtigvBIAn=Sbs z68IkAubji8(-QQA9weou>eEvBu!s&ois=-MS$K{D-it;mIQ4dF5XM`HdI?$()LZ9# zNPJR6G+&&s#E5iLi|@O>MdPb)Bu7No*YCYl{a&hhFZFsa^?on);pvp*xYU@i)TG#? zlvEOy8k3SrtBbRtPmbYd1O7}rOb@f6hcf6Pd0Kz-Ieyv_BH|KBSUi};gIPS7#e-Qq zR3;v#E8Z8x55ylN07T6jQcE>8_2rw?K}|i>)J08w)P6AYnlKG-NuAZyTSLu(MTdEZ zX{eWmc49j62C5F@A?-y&d(qILHPl^0-My&07wytZ1J+)=wHI~qqN96JKQHR%MMqcD z>n`4ldV2*xTNTE~;7zGF?Zlf7?oHjjsk<+=^rn4y(>}cE*xr=+@QeoFLw$XyuMZ7C z9Yzg(Xb(Po!T2Wi3!pn6-kA=q38Ox~G;uH9$CnQ6PkZyFw}^Kb)C-RJFz9H$v?pJl z(Q*B#r629Xk2?BMALx@mrapeu$B+8>Q6E2lIIlKU*pK@AQ&)de$owG<*`HS2%VgzG zJMgC+_|p#jX$L-GYTk@?5I~0tpiu-+{{T|}e4F+HrqnHf_7dRB56)i?0ki@Ev;(yY zjOoS4UvKn&O;_P93m-kuQVUudLCZ_f@)opw1T9}d%TLhq7qkKdEj1I2FdDTm9JMeW zwJ;#HFe0@uB(*RmwJ<2PFe;5ODvdBIjW8;WFe;5ODvdBIjW8;WFe;5ODvdBIFJV+( zf~a(YlRDu!LBKjeygEU+IzhBLL9jYOtU5ucIzgm5;jHS^!f1rEsuRwtPB^PN;jHR} zv#Jx$s!lkoI^nG9gtMv>&ZV&hZ6V9qmIIBA0tm=fbsuRwtPB^Q&H?x|S zk{XekmSVnL(&A$359zbJzL64@9FZCoTi=e+zd08bk(TndTSR=lS)AT{sMEzqOsF46 zmz+?4;?1gnqzI!)iHVMhuYdTHlsKkYKPbOaF?W~}m6Vp48j~E8SWlSfQ{IX`MG!r7 z^d|b0H_@j=q}FGW5F3%48W(NuJV6+9f-vR;Vay3{>dUW<>N|NS<^(3@gtuZ&5X1}} zy@@&DP0acPeUxrO{T*v+*54$iX8k>DYS!Ph(1hhr^4rd|{kAu4zwJ)jtbhG&kNwr( z_}H$$^|4)l^JBaI_Q!Vp2LQI;d<2*Q8{wOe0kZ`g;;sUsuk5$dbs^+6q^HHk#DAi%GSfoaLl%R0^L5G1B?H?4b7EB8^K0JUl zNm##_-1#V>WpdZh@StUK=fi{6Tj9}?z`~Q?)1fqckQzQn4J^JWF)dDMEi`XbTE1FRRu^>1!Z#OBZd|o5)@4r6wMbDjTn}Fre65sLd!HT zA2GCO!k|ph_^_e%)-^$^;=_jxD^>oOI{NTo z`|x4=@L~J#Vf*l5`|x4=@L_`&9T$|zn-3dWrhfT&p+(~bMdJlUOD$+=1T8N?%UjU$ zA)frddiIP+O-+uAOoMN#g4Y}Ww~glDNZ-=%e~xJC#K0?fzd|=D|9;kVO!wM1hx}1H z*i(Q0p8-%}ejnpP8-xU#RQ+CCe`GrF1SRk{zeiG;&R?tV7#;anN_Y&)8${r5{<{G! z+Q6$I!N&Oaf|Ejj{QWZoz5atgH52;d?_A;kXa3{g@s}HTPd&ef2|#UDO#Jb{h2vWo zcvI8o BLL~qI literal 0 HcmV?d00001 diff --git a/src/test/cpp/naxriscv/input_nax_27.elf b/src/test/cpp/naxriscv/input_nax_27.elf new file mode 100755 index 0000000000000000000000000000000000000000..ba1c93db5f6d0215ae131093e9022131f0aa68ea GIT binary patch literal 53936 zcmeI5cT^PT_y3>WSy(zKDt1>lCiY1CQSc9U*7&U0Dv6tA(_dc_C(RnoI^E)TMe{#;uId|_ouetY`_r1^T?l99>Lz=eaB4!&z2ri(HGdWzFL-54|e)QKHBW(g=&kWq&*ot?bQkx~TjQ;s&C4dZ*^Lke&ZbO!nd4sDnw=v7vywTN# z+mz*E-sI{!l9YPpxXM9C)-xsO$jHkgO3;z9JWHko9T_XKOlcCFsc5l;t|bBqQ_@g4N2Je!0TK(T2D?9(`8daZ}*VXb-t9ahG3t zTX{+gU-{*-)!{2!xwPdBn3JO-WUh%g8tM}_&-E&Wp?-*)XMxJrP(O^0!AH4y=Be!9 zcool8)Vo!I%aW}~GgX7>s{DgBAsN8DA8B{iEh$IjJ>Qw|H zz^e(&ps-Y@y6Bll=$Lq}2c8!q_gobw_biB#d#=~ZJ@ZTo&sEt9&w@OK=lVj0XI`m76`}+e5xR&xHE8P;I6=3y&&If{R5msb=eE_dx3T@ z&<;6r$dP-2ZZFUav9=Iv3o-U^E_*naJ;d5WtRtM$5#pR7&KdRG@u&}1i|q2z9Po1| zNB{02hbu^alICI=5D25rwb zfsrcU!AMo`V5Ay&Fya9oj8q2?MrwcuBQ?Q;ky_xvNNw<7qz?ExoWGoK{!_r@GVow> zIe0KR2OdnW01qa&0S_j(1rH`yf(Mh^fd`Y@g9np4fCrO1f(Mg3fd`X2g9nqlfCrPi zf(Mhkfd`XU0uLsy3?5AG4jxQi1w5F%DtIt?HSl0^5Aa~}>fpiTHNb<(Yk~)p*8&eF zuMHkd4z*69_0|OsCa(v+9>+udJk-xa{XEpqL;XC|&qMt@)XzixJk-xa{XEpqL;XC| z&qMt@)XzixJk-xa{XEpqL;XC|&qMt@)XzixJk-xa{XEpqL;XC|&qMt@)XzixJk-xa z{XEpqL;XC|&qMt@)XzixJk-xa{XEpqL;XC|&qMt@)XzixJk-xa{XEpqL;XC|&qMt@ z)XzixJk-xa{XEpqL;XC|&qMt@)bG#1+MB^RSbH-V2WxKz<6!O0U>vNy8H|IqH-mAo z_GT~+*4_-p!P=X_I9Pi#7zb-_2IFAu&0rj?y%~&ywKs!tu=Zv!4%Xfb#=+W~!8llZ zGZ+VJZwBLF?ag2uti2hGgS9tw<493CQo546(dovgZYi|bQVC~Id9IU+= zjDxi|gK@C-W-tzFH$xAgeje)Qp?)6f=b?Tc>gS<;9_r_zeje)Qp?)6f=b?Tc>gS<; z9_r_zeje)Qp?)6f=b?Tc>gS<;9_r_zeje)Qp?)6f=b?Tc>gS<;9_r_zeje)Qp?)6f z=b?Tc>gS<;9_r_zeje)Qp?)6f=b?Tc>gS<;9_r_zeje)Qp?)6f=b?Tc>gS<;9_r_z zeje)Qp?)6f=b?Tc>gS<;-dxWv$}ZL}-Y(HjZ)dbivm5Un*I~_Y4PJZe+8^vI+z01E*(q(YnKkDfVE2p zQ^4A#gDGI`(!mt4cIjXWSi5vE1*}~0k<2zw~;UQJJxs@tKL4`b=YHTITqIsDjvn_=3a&eSxtctzdjfR7q?}d`V)7zQkCP zRxTeovrrjLR@t~gv{XFRBK|c@rdC<>;ejfDmpq~f*Jm}{^KM(qO z(9eT@9`y5|p9lRs=;uK{5Bhn~&x3v*^z)#f2mL(g=RrRY`gzdLgML1}-qdy;u5kC! zxNToqo{Sj6h}zI7lm+@ua%?pr!e9-i%7zEd_GGoXNSoq%t==VY9?v1(?q>IByG^ZwmWMkMJNJ_|A>lQrGzo8W z&@tSlc9Wc!a3?bTNZ9h4EjAsIl~t=#I``q;x8cf6@9-M?Ye0XifhOBSO9jop0eU>W=Ut^~#bFFnM{IH_5%%;0{aF$Kyn#z_rj{`eD z^ms0ZDl=QQ&urnhFzRT7ugp2Nu>Rj%x7%i0{*Ir`9XtEZ>zXh%0I-nb3M7o-*BI16W2M~riJIhcHxbDRN-?Sn}pY_S(@|62Ck%itv!ph zq|E7|cg_pw*R;dFC#JRdX{^fQ33NwswSA>3f%fI^d^P*5H z+O70>2kY)S(ueDl1(n0T)B4XmRj*0RoeRX{Z|Igyelt&XRnp3%o~(C`G1@XmyDJ{g zphHTpCSHv@zYU+ct!cPJ%~KvvfGMu3xYp^!w_SZQtH)U<-M3S_Znp3B?W~a9#P-|A zo|-Cw&Idws9zYGIkN~*TewXtM)MRA%?#^hjbKCOpuGRO2&uFo4r{e_@o^JnO%bL!l ztbtDTb6tn*Rs)*J%C>yIk6yRZCUrpSfYbr015yX14oDr4Iv{mG>VVV%sRL36qz*_O zkUAiBKu$%!F;U1zlEzqhVWw=rHZu{G~5d%P!kbQEJsqt5to* zUsi9AyV*(|T&dTp>AhOrC_j0y$}Vo_-A2aw@8;#~k68D!%aZQ>R}Wh0e9-tb?9D*m zsT;~0IO#_0-TBp0dFt<~t+U6hdb0V{*rIc$alhR=a^JVov6yCG8Qf$p?ViNNUOPXb ze0x`8^)WyEmV2yCb; zN2lD0`(}mfqRG#7+f#n_Y_Wm&S+JmKrSKOad2g?sP0jplOl-g7m(QibV8i6g0e=tv=0bC0<@>*9++WkJFzD|MDaB2u^fRC7WV<))k^7!#uY05W zcW%H>;5u@-@=ITiD2aNyJoUx9p8xjxk@BSuNF9(mAay|MfYbr015yX14oDr4Iv{o6 zztMs9Gj4sMcoV;;@3Qf~1ZTMJYqj{@%W)T`Ra*4s_e%rTnLC^cZZzBY`>zwv#Pc;A z{1)$RHvG`g?t^dDIc_T@rUvy|M$c}MaBfLGAw61Wz7fGU0B~IBcg=;Gx z-j`wDKjr%ab-&4X=;!>ye7jKxx~9av?Vj#_XT+s|)W@k8zHd_Y%Km(fRcpUIIPqHl zyEPm4Ogm@_@8~~$@~NPixj%kU8n4x11W`_RMMM<*gYu zZ=)jZhW2Qbaeq|bZLu@YT|G2^V(|~(U->n1lIPLwLx1qAt|Tx0lP0$?7;N}Ib+3PE zyZPdPmai9uH2Ud&VXeh4>pS;(*KW>waqOo7_Ie->Ma_>s|l$d6$~owmPo<;!Gwd-`=P3(A!0qLz>OG=`~@g zf87z=U(}D?7(2`%<-zgc+wRrjHe{&C@aGMWdUu@q zD0e$wuc*rL+PmvGoR0de^<5WFw;3{ZT91Jje!lnY+g_6<^lP!?!tO^0>#e+_O_4WU z;@_jH`}n8FZk!Aqv)1WPr;^%hn$+2{{W3x^tSJX!fJ`iA_YgQwMe%vW9W>w;RvlOKP*qhv&O+Z}7`4_&p$Cw)rIyEio{+ZWF|*!1Ys zKPJ`Rni2eUOFPr?7gKN9430Z^ZuM6`q&aJT*w*0U%15uxEN`Oe-7`AmuQ9fq>G9|c z&8>z`F8=y;&Q}h%zyH`6bl5#`P1%szO}`F{EWNYLwPx*KCtY1OCw;=Q1$VL_FVk9dKbV`f>GLDs)Yk8P z^G)YB6EmG<`F{KAIu$N{`gzSc=bHR9J#$N~= z(m?Ive|!B%`BDd@4oDr4Iv{mG>VVV%sRL36qz*_OkUH?+=s@F2C)zT>iF`t`4R zfBWs$mwT7B?4mn7y5AnvpSQh7JwMc}{`0R@H)I1Ee5pQn@6wVDOEZ3p+9ewnTJvU( zdHUhGE^)Pz)|3SF%M9z6MKTv|D!KmHY1IXiOM%Yh7teSp2>jwXgK+=$e@5IegaMzL(b@th?&vyZO(WI#zW|;`*$u zvD;~qL(P7p7ERrkR4uV*Joop~S+kUL)jKENos!W0^RGRYlch)JD1KVE%l_E%7soVVV%sRL36{%r@= z{5502uJS>zdo8y0aK*=c{fMjP^H4ET<#+-0fk^`K788gy+pZQk#;XOtm>G(R=Y zS^Rp?lImUO_6hxZTF!y*uRD5%eRbw|N1qPK-}cU{p6BNo(e>nS$`=cc{#ozKCSP;% z=jOz+@p{v_hRq+Pj+*MaFf8)sjAP^NZXdF{x}?X({OOt#6B0ryK6D%jmc3*&g$+YHFxjla60(t-5*b>NiVTZtD5X#v6a! zyED@N_)qDJza4j`=+ShSaXrhA1bE6WUYs>=x>x{UN?Hx56(Gl*EL=g-^DaId_$*_IWPF1ePlOw zk6D`NQ*Uxx<*3$qzf8LBt9eJ7Y+iZy{MD&>V-t?Pv+KV8#`H-IGP-N~8#^eRI_zrZ zFwpqrp~N~3gXg;)>$f$qYf{6eqrThQs!@kwEh8GGyN=t^b)Q$w;N2IuomU>bR5;1L zQvSH=BNwE#H9Yg2eCx%$O^jpIw$KUJ_#CF zy0qoI@`R#*VfS{8s+-;GbXVDt=109NZ`pe4;i9!))|eCUvRT>c0~_l2OrDoJYgl{l z!Jj+C+xC||YUh1*NSlkNI*c1LJ!N{gC#TzI>c0+rRQHe*KUwA8v1w9h_Kstxzg4Ba zn)AbMrF*HOn{Lz3BQMLF51Bjmi_|+;2L8Gt+2r8!_}Pt}XXc*?{H{~GC6DKx-LrJZ zluEa!c^b>=o@(jx^tWp}M$9u^{ISEHj4CTr&3+g1$2If66>aQ0>8qz*yZ`m(z;8WX z-Rsn$as%)C5o<=NToOkg>FR&9#@2z`e|^#>ddAYC!k9~wsu)hlTHnoWf9tCE?A4LU zD~&aF-B@$?(4Znam(AW6p871P_v?>YJF}fHUGmg7PfO|JmGNTC!8ccHY*@1aB9pXwb!0T%(`ohE$XNOkL)o~57(M;DhI69>@% zlaf*sHF`C%lQ}s4k4v8;G8$oG!#Dze!q@FnoFhc_DXxGiWS^MF2Dtna9R5Ts;Xc8Y zz!jh1cED{u!R>+DeuBdvfn_#Yse(Lw$6(?lfRFpo>mPW3fqz`D4&#d*#Qm}SbyXS3 zWcoY-<5>=4*go#t0*qJ5#Pcuz2fpzi_-5n{nR&Jf+>YciecpxfS|+|&;Pyl%6ZijT zj1OVrk0S5L@L!O3VR+d;@IR1;G4X%>1BXBR3maUw4a9xpge8}eYH~4${=z0BJ`8se z_{Z0OJ&a$+#5b|V*B8&M-T1)BZk*QzL|M{HAlXS z;Q`3IIg01+@DIE*@-Qa8JMz8^?~QyQ!^8i9-&9!YGBNRy7|-(I|G<+4t{_n|@#k$S z#?NNvAB%hr!zUnL!0^e)a~VDr`F9MThI|FXX9-*hpC<|vt=ziJ#rTa(JpC)}@L5ix znD2$97{8B+Uyl3`!}F0Za2BsSygy-+kt0m}ChI&*{Ex^_F!9@wpJMoKfh$QiQJCOF z725%fFK6NpBfrY<6Uc8eybSprhMzTNyrNro`QTm!^a>mV)%IEhZsH?`4NVHgSLK#MO#D;iQ4D`2a0SU`zE9=&eVxd}E0OCN?u6XP@Jh(j7+y`_^kzw6f)Buotv1Gg z!^GD|K8N9rk>@hJnZRvHDf4}*#rV}se4xM;#Et1g8;sw<#CH(5JyA3F|J^YD2ov91 z;7U?R6sC$|VJ8CP&oc1?kzZkWB=VOGk41i+;Ryn_h5Harbl#B||A>h=$XCtr7@VUtAGJGNOAcikR-kRYn1P=FOGKHuQYcakH z6Tea5a1+j~FOTv4nD`yY2QqvQ@*xaAfP5&!4ph3@<~T%6za*T^3* zd^+;y3}1wtG$1BgxpgZ*ZpZK~$lVxTjJ!I-OOdM>egU~R!~a6AX81GYK@6AMQ^gz! zVYnOeE)1`QJdEL9$on%q0C^O{Ly^Zbyf1P+!y}QWF+35uiQyBGXEJ;?@@$6ZB45bx z0_1rN=aCmMycl^Q!;c{^V)*aKiy8hG@)Cx>KwiplJK!0DJ z$h$DS9C;YSA0Y3~a3cJYjU!PEcS9b}a20Yr!_~;s7#@P$#Bg{{E!36C@Mz@O3{OG6 zkl|+Jc?_S2ynx~P$O{?16?qZE4Ii@gA7{i^AM=>0pR|@fZhF3>!Vt8HT*$i)pJdfe<98;LTkl||N#S9NbUdr$` z$jccXiu?h?;kl=9Uc&smAC6qb@PWwH439=0!ti+HVGJLMT+i^)$W08NfIN@k@I2Jg zH-^tZUd-@0$V(Z%2sx3*CFg9J z$Bp3*$W;ulgj~(=>c~SFUJrQ~!y6-yV)$psO$_%#p3U%9$nzN99(ggtyCN@Tco=db z7hi9K1a1r0A!nkUvTo7H)eIkoJcQv%$ioLSu3|WkT+Q%Z$U_*uA9)zV;rXVZKZ@Zek?R?L z4!Mcpe<06hI6TJ`=FemJUF3xfe}cT2;jfUFGF66j7L9Sg|!jt|tmp1%w?9@?xSe!LVY3=bo@B z;rX`01UnU5Tjb?LVXAV$P}gu2s?d|yD@waauvhjIVNmMcpk1W z(LL*yfINiZdgNgYAA>xK;S-VT89o)ciQzMmXES^*@bD5oj;NXE;oFgiFnka4FoqvQu4njB z&B(JEJ`H&u!?TbVGJHPrVumk4Udr&5$R99#9daVG6 z7=9eNp5dpFXEXeF6t5x1lxTgV!3YT?QkObzT%;jYr%Om9kp?xGhQvntMFzp17WVujH36{e3+4yr zPa@-zW336oL`lL#@QN}RAL@UO@t^%^i}gC2^f{kI+yRxc?!A(=!bs$sR% zky?mOgy=+wPK4-0Xiy@oT4Dek_NB|37zlgXNXqFbm=YSSp_zfO*ohjNuc52&8yQG< z={y>mprJF-3nEb?90-CKzevj=I+1X8t#EoerIsdYX`+@UYH6aDCTi)KwKT(*p4FFT z_|g+AtKbq)APvs}nN;CXuh9AxFqZxiQBS1JB zEU2Y<{=y4Q_NU4I^sv95<@^GrbNJIa{OKJ2v`%;@2(k3!0kqkELJtFId;mS7Q470N zLx4XVhsB`t2GD5&=rjR>6sp2ElEOf$B9JBp`U2EO3XKn>I@FOus{`pgaAKMrNY~9b zlAb=0P83M@g6J87s2Z)Xwn22ZAgU&aPU9!6Ul6S(h@LTsP83A5gJ^azP4tZvRw$Uh z@BJgSG&fjyp;HIbYJzEgFwGC9`N1?lnC5HLPyxLjg-ejWh11mdE`|>!7->W!t!U&c z8u^Jv{-RNUXcQdakX~b&8tEv;Ps!qJBI`OLN#H*?kuc}VGsygwi>cp$66R)aHysA3!s_Mk6 zsuQoOPQ0o*@v7>?tEv;Ps!qJBy7#M^YA{9{Qw`R)OKL(~#V-9iuNW9&QlgD9@fG7Z z{rh7v(W!h>U7ap5dRWDIbSX&{2j1T(5QA8aAucv9vEqJ!7!sIa#Yu&G z80&g!y z?!G95?{UFd65ysv7+Lb@Eg1dQw*2%!Z@TCyHIXzEZoq_BdOnSyS0m`vz#R)E^pqMw zuSU=dS(t3e7W4wNjXzNf}7LDNW zgqB$ZsQ@jr2#to3WtI;W(`a8ov9F*QZo33R75fT}_7!x)QK}LgJq?EL^fch8 zSa9?-;HX$|R4h0u7G}51B8Y{NWfnm!j4bJbN*H}`IZ!olLodA26hEP(eu6STp`(66 zFCm7`56%)RsDu&b)A?aU<$= zCEObe`!wHQ(CRPr(qB;QFDUjGt^t4HqV*TlLl#vJ&XO(2hLL4np}8=kdcje>a9?am z5cI-`)(Os%AP9vKEf?GeLj8%}s3r8hW=I&84BxmZaX@^@(70g<$saKIX&k;>;E)DP zO>`+ElZ2lMiH~7yk}-NHcw>si$6NP|acM>$`ZGT9!Ji;~=o^{{uRfL^iq)c#Ml{lj zM!uqvpJ?Pye1!iK?GtS@rX&nag&$Pu6PEuETP>J_KCKb{`JrV#li=Vv3*B}J&u=aJ z^fl!DuCUh_UTMDY-v=nMK9^C^0U=#1uHrSMV$ZVU15T80eV(MY951h!7!!p@OSlit z4@{JA{r!Fj#=s*X(Z=MrhlApL{JmosX8n(R8Ya%i-y=o+zvU14C|_X`GWEhMJpV#( zb&UQ*;NtV!n1oQv>;KFj_ffvBB{N%?<$va9LKrNORV^lgn`7CHcu#~qM!uk(Es+NH z$NcBbEECXQn;(T_;h*=xesv3`PYB;%d&sB@+ie-Zb3)O^p1%?tWiK(BkbT0EmTPep IuWbJR0ikVqF#rGn literal 0 HcmV?d00001 diff --git a/src/test/cpp/naxriscv/input_nax_3.elf b/src/test/cpp/naxriscv/input_nax_3.elf new file mode 100755 index 0000000000000000000000000000000000000000..93c49db4a6528e46b40bfcddd0f106485e669b89 GIT binary patch literal 53696 zcmeI5cT^PT7x$knuoNi@3YI8}0`_Gof)xu$h*1n;SNaM{S=q%O)~qZFHWoFCT~t); zbqpE{)?i5_Vr;QRO(a%qvFm%E*}LdGn)7>q=Y9XlIWyGNPv;_z z)d70k=x!I$x>hp!0 z^Q4%E-W+fCY+kfEPlkEu&GBZ>=4s4%a?C?-jyHQY52K;GxQE^xZ}x0nKEcfr^U#~) z%^vg2(V`bSAa+3PfY<@C17Zin4u~BPJ0NyI?10#Te@6!j93*6}(SaBW9f)j&kr-Au zNMtLG62nRdsce-|YFOnUlNA|dh9U>KY_(BtSnXgTTVu2^tZ}fEtucZ?rb7cd(IdFxnV4IM~WI8f^_59csun8EY6eIoQcI8|@669qeUW zjP`~t4i0Igym5hp6m%G$D?mq1p^+#+N6rePL;*T-RvM)W(2=vsC{uuroFb!K0XlM4 z8!Z%|BWI1#QUN-0)*2NG(2-MYv{HbMoOMQP1?b3GZ?sW>j+_lfTLtLI*=Vex03A7- zjCKmpk+a!ouK*o6TZ|4_dI_PA5X`3iXrHnIH$vv>iJi7FadhA4Cf7C&a&#|tv(z>Y zr(^KZj_!qSR&d)wx}BFC=tK+&2O*43fGRg-hLwqowW}HB$FNz1+PhU+!L9 zD0knuRqkF`YUy57Zs}fp-O_zyl_lg_yB9fHL%ucSTSLArgHcq&H3#Na2djiaq5blMyG`&65Q(IhkvSJLw{~AWrgICko`2 zWNvo+32AVX;BLXO!P3Ykk=-I=BQ1kHf-r zfCrOUfd`XVg9nq?fCrPZvd0Q+8e-Ru=WNp8LYhl zOa^Oj0F%Mm8^C0+_69H+ti1tD25WBslfl{>z+|xY1~3_{y#Y)HYi|IP!P* zz+|xY1~3_{y#Y)HYi|IP!P*Jl>(C&>Kduy)yC za#*`;FgdJUHkcgNE*ne^YnKfshqcQFlf&9&gUMm-vccrAcG+NZSi5X6Ijmham>kwF z8%z#smklO|waW&R!`fwo$zlDn8|6ml#^)yHCg*B$b-9_j6N;mY4)k-N zp9B3I=;uH`2l_eC&w+jp^mCw}1N|K6=RiLP`Z>_gfqoA3bD*CC{T%4$KtBiiInd96 zeh&0=*^Q=jb#Z{Z505VWC4~~A4JS%%v!F+k-wWV35OcFuO0@akD7E2kU`ntcrG%J{ zNbv}9EqMI?{oJfW2{dwYSBv0D7IA|uhy$r|n9_BwRk?*EnBLWyqGDqq%5hWd;;cE2 z+QKHv#tHQ;EcE<6Qn->ltlDx;>*%(XD)7#m60+UWf4)UXs-%}E`_$?0oWf;6E-&HE z$ok6xvc|{Bj{B=*6;^c){m?&3QUEp0opQ9RqU5Ng;1%2@O}FWNZu*v8i@HWM_bc}~ zwt&$7N93Gt*|UAe(hesSvI>ikl@Sf(g%w0rUhv$4%+0y|&HkLWy9YFmSke4UL6r>d zxl8+a7M4rmdPp5AY;A8iJ@8w;48(R_3vfSsZ zQIc6bcF8>!Yuj~jc6mha;wA@pdekH?@ViAP`=4d9Kzrijn?ZbHYRYzW=g8a#8!}y< z!rh!)-bLnhg`J)7>4`1E-wdE(O6InH&7HSIx# zBDqQ2H?UUS{*t=90#!C6eY)1$(jm;c;2Csb%9KvqEVitiA~AKKFmN_$yP-7Z2lA9u z)Rb9ZC5B8$K9$Wi3^!WA{u6|`thjb5!E7YVh6+yh#e3+Aa+3PfY<@C17Zin4u~BP zJ0NyI?10z-u>)cU#14oZ5IZ1tKE z>FQedzw5PrRmJZWWb9#!*K;mLdF&bR@@d%lr>%F~nZ4-zkoR>4l;%_{Id|XRs?`*$*78w=Z z=FHUdN7{9~Q`fb;u6A-$eQLQPZJ5Kpk~K>Q{N$fnvVG_AVIeyc>^t=u|9Ik_#}?zh z3M^=FWZ#%dWzs(DfueZ`FJ zds1CbIj!k_=j-v~OHanlpL_1?;zPObTu)rtKfXa~UH6ucvcB$n<;aQF*?mHbyH9VI zm^n9S>T~JnU4F-^>UQ^YJ#U+Pu*LFk*XCco=Ukee-BVi;;9O%%z423CM&Ec^XHqcN z?OuM1R(ofJWv=SK_&-H^Hgp*?yi~pJd*e0_)%JG5kBe*{{+9B~u2Wm`rv&=8cfM8h zW_RDt+`31)%)f2@4m#Ye~sOp?9%Z~a3iI&#mxFw`uQrl+t#}ptp9a{ z$M21QY1Ly#guch#D*iclMf%zvzS0`nFYtoqV-q zVEx#uzdUWW-FSbZ!#e$6otKYrpIp!D*9OJ+gZ@}|d3o%$M;5Q@|CPS?VRWZ{s_kDc z_L#l5S%{7L;PvJW5(2Hhmp41@JtXt%1NGbdd1XXif=_LaStDNVd2u?Zd~&0dX$N<< z8x}Wr*4d7I<3?;OUy=Omc!#4S`ZRd@WciXSR^G3rP3A6Hp&0rkVcD#SO_hZY9rtc; zJJN3by`$Y`?a(u+) zf^oY&CU;P+o|66@xAIQUwn2uiVwtcX)UnAE$PCu=yvuNDOQysf?b8dS$CbQQeWn6C1e-5}cJ5knsS=N$? zExbyyjG>DHJJoEEx#i)~m)>JuzA1AqzuPFbxA*=Zo9-!bzTR)s!Ub3N_8C3>ZE4?c zvI={Q-8n2Tu+lDR=)R{Dzi9ui$*KCsuKl7Y7;r_F_v59y7ke(;Qx#wpxODJ>|NV*) zGsF&v9S}Ppc0lZa*a5KvVh6+yh#e3+Aa>y2*n!+9=|$@z-@ZAuC&mAgar*2!_qIn_ z+`eyDW8BQLre7T^+0fx`RM55Nk#oj*+HG5Fo1tqlyWN6a9sBPoi2PgTUaMEVr5Rn1 zv~0Zd_r;cT>o+S78rwc5?xofJ(!2p%T3i}3f9k5+zmGG2m8$=*b(?sd9`6!z zx#_7zTl>$kd%5#=%V8l`0%~>iUDspBcTaYukL?pZDQreq@m8;9%iM-NACmJdwpZ7} zD@`x=etqb~)$mEXV*S3omvv%VehcZ6tl&dC?!N73+hWczzd?OxA78w)wEvX!fQ+S+ z7V92V`jnh6+Zo$p@W9t0$qf!w+}xl$-DJ=N&!%0xgNIybqtR`+)@bSX8z+62v+Bag zBh$7&Zd7EqZM(|x%LCigdlxJIzBb8v#J7JAE%~yzeGBLL0n64@E?=#m@%rKSgKnfg znZJF=_<$}EY4Oh+#*7J!4y(1{;BKr z!v3uJeTT_?iw=A>xP5))uF~X#vj=sW^U86eR4X0qc)cU#14oZ5IZ1tKgGg zqs5!H{L$meUaxak(xXNmY;T)oeDzhx#)6b$NyNP)q5p8O?fc`~G-Pq5ahc zPuF*yy1mb=*oMvCxGY$*zxBMP18bxv?dr6m@4=hi!#g(kp_7GHYT}uAo)3*Kf&OUi%j7{qlqncg$ ztI}p>_l{2Q?FXu+g^esYQoOVF>hDXApIgLo0{o z)OJ7hYI?Ee$n90<_t(sLdt~;-pQqKklXSQvC?$-D{2$9c9Y-M;Vj+v_@G$&zJXrtTd&&Sl|u@iqSFH>CNVW`F30{5m44mi+s# zo9$>mG|aD;((aF=$J6fo?NRlnWww*^{_}5_9X3X}zVF#x8<_4@Tq->=>ns`SdZ62Y zLA~n!J+sTD?@xIg{HE~_jbAOinsj(o%!HncxBu@~jF=&IK^j|e9`_ri%$}R7PY<_Y7>_PVM z*6Z|M+3)UK|JKaA@<-P{Pmj@c>UG!XMHl{OP5q!v(w}Q?|Jt~#t>^ULw_iS0b6(vyZ<_Z!k(c&vKDlJu>1FRlQCw*^ z8|!b^Tsrcn>jC%jh7HL6gX7=Ta8BNky(?(^Uz*eFLY0k1)Jl#TvUvO@r#shPhn{UT zpnbgU zpf6X2J6Bvh&|f#?UsC;swpykeSC>4(CrXs#Gsj`s~Ze9DgI5ug!fuq_m*; z-M1@(UdI>AZrCt6#P06y@u7O@JD028O`V$g4oj=>9_DPB;I!^|UfPBorIPJy?zC(f z*W%mK`Wxp+0v$TPc-nZ*IBsVBgzri=$J9F0c}!IZ_q^%-{M)~z)jN1`S?|bqua-~$ zZhqH(aLuGAY2(HaNf_)}q>u6UO;TyRqf%5FWmF8^Q>!$psCfDkN7=ZfIBmLVN1c!w zmjKZKQ&KXLy){Z=C9$#nFPEW=NN9wf4U-Z0FMb_A$7O`LeU8gv3dv{Yu>dap47UU> z`wUkAmw$#^0k`-JhyQ+;Sbm1v02gkwQaO3_UPuY4!Gllx(EA_wK%ReEuNvbEZG`&=Xeh5*hCnA6yyJ9=DC5~ zUMh?)H_yXd55HslbSD0;Ili%Qo;N)I^m?%2m*msy!IkHqUJo8T|MYtB<++5!%7o|b zhI}Q%!;v?U3*(0&uVo?RS~Is4@@ZzS5c1__ZYAWLnOh6_N#ti3{yXwH%=PvF`4Wc1 ze?ttLgtV{~&Tj#4_0Mr@%7@d*pK%-WmCPhId20h~XhTw<2357J6EVdHWjUi<$VoJhvc0jLrcVzl(_< zg8UuBqmdtDcs%kG3{OP}z<4hv{sQt=48Ov2_}q~QKd*0Ld;k;w7xIn_ zf53A&ye}kr^Lv8&XBZ#K#KV6}51WMaV)%RH;S86+ho?DYriKU))*1Yw@_(CRr5b`3159hgp6iVcJ^BmMCVEk4lekAe*%=Mp!d?ypH zLteu0vB>u_d=l~#3^ySEnc=y}&oF!z@^cKIgZvW13y@bbd;` z4Y?P?uOn~8@IQDiC*@2(?_qprCjJr66>y!)^|a&W?FGh%G4XGa_hz^h?_0iMxPs>v zB%1m8X^-)-OuQ5FREE1EAH(o3kXzaly;(c;?#Rb6@m|O$F}yYMEQYI)Pi1&J_$!%JjcG&#j4u`FRqC^Q>X!>BDmc{2Z3+X+7qxKgRE5;)ftFVR$t1y$nx4Udr&1 z$d52Q4S5;Eb;wUKd@S-xhEGC%mf;5E7Z{$)bGUw(&#yd;zs1DQ<+(LnZ^ED3i!lCg zCVn~ccMLB={)*x2kV~2CZ42@m4ByRjc+)W72Y*Cv#qeK|J2Lzxa#w~wLhi=!_sG2% zZU?tA@Qi^d8D1ZG0K=Oj4`O&b}?Mjp=ae#i$hJPvs@!_$!`GJG;}4a4)1XEJ;_ zay`R0BhO{{KIHifKZSe&!+%3w$nZPJiy8hB`BsKo(XaZjE+q_iL0-ym59DPG_d{OJ z@E*u7FgybJb%w_xuVnaW>r7D6kSiH}7q0*3357czV@@?wV1M81{b3y_yEd@b@)hVMdN#_*%a%Nc$a z`2~hwLw=p%_mEdI{2lTthTHSMT9Ac`S@^#UqBwsaCrX9$Lkq>3wb`n;dw3}U&!z( zzn%e3sYa#_+nxl?-=79>j1@I4hObBN$UM*4 zhTM(e@LZDDqh$C2mv_mcw^+z4EIE?VR&ogdWQQT&u4fb z@`g!z3$401lr==c|OAzA}?fkA@Z#ZUyHny;hT|{Gn_+Cq{8bBp7+6~fa_4Mhn?!} z7;+_%>#HH`z;iv=;5j6b>tUyQJA*u&$o16_cHsFPYzlZ@C)dMH^>!7xhRF5R5O(1C z9c=WE0pxnvsow4&&nI$yHH4iik=fIc z0-lr0^{`XD*&x48X~12>OtQT*>eZ(#VUn18toH)>Ti51CbxB_`0!|jom zGQ2kOa)viRPNc%VdGg#Eu213b1zIClGTaAw5W@qJhcmnj@@R$!BiAteE982H_eGx1 z@BzrTGJF{FQijJPFK75Ds-GkhEJLWY+h-^%a<$jcdi3^|bs`|t~JH+X(^o%z1`D{#lp@SFb-e;ear zGQrQ!=RB9tH;sV5`-gd?j-S`_1g3B#@bHGwZwc{^L`s5~ziYkC$4fu`d)K%)zY+ey z-;8UMMw({+zy2|9QfiVeDlib#h z$J76$C+QNRbZLocS{;efC1`a~390cUN}VxoT$Cm~L7kLIqTuhSqcq-N&;|_@4-wVJ z_`sByq*M}>tR(SK-cjvf4}y~+I2nSIeS!K$sr+Eqj}M>+{K32f;e|#AfYE(#I8U-S z&Gn`+-Za}A+MDc6liTrod?J5}0GLb_#RsWqqKZE$O;piD6%7yMhcsK|58-}M^i(RE zuA=GQQT+5OdU7ACUTM?dR7MyU0h;%s@Vgrh6*^(kqj{80niiQ;F|q_yGeW zZ^1|<82JcBzJigTVB{|twG)g21fxK~$eR%(RO2m_<1N(VEfnM}ROBs`l~9#Rs7fVNr4p)A303(BRrv^1sRaks!eau#YJpz0K(1P# zRxJ>#7HCxqq^bo<)xuR(dkfVFS5+-sRkd(c)xuR(3s+SwTvfGjRn@{(RSQ>DEnHQ# za8=d9RaFaDRV`dqwQyC{!c|oZS5+-sRkd(c)gM+hL#vC?WoXTBmyD!@>RtN5UOmvp zrN`*v6064vnh(d~VluQJr^O^!hb3vuyJ~fE%!umqsMAxb4}7>~AX=dsZ9;rPa`l}7 z(Izp&>XY*KBjyRUacLQ;x`gzE)M~=0*M6j4D^L#;eNeCcpk5oJtF9y^F(zG?6mOn9 zMW{JNs5wQbIpsrt`5UL|Nj}k>!e~zUNOOunGfebBbIJ$JniNf(dPMa*)-2R}by1yl+qt$N-^WkbhKiWk!MzX< zO?hyeKu7S2&pXpBa6`tAOtbK}Vh{qK-}Lj^^c{fSV$f8$CF5UBHy!ju-n=gFC^|nJ z#UN7@uM(gsnwJM7Qx-1|MtGxVO6PUK%?#BA&XfoDVEl+y2hf!Mu{?S*6)z8N{rG*F zuZp7SD!!2_xD})OG*`v9Q^m_x@vw zIxR07j+xTo&YBM~o%&(3@!f`z>9o9T7*W08K3aY{p)W7gmlq0O7kFagv`k-K zs4p+nmlx{G3-#rNLKZzCI4TsJDV-MzBhv)DUKmlm;HX}3^y&adWy4ubv+%NEWSWJS z4I|Sm{M7-YkJQrxe!O}=UOn9J@`S4Q3Lm=Z2|#>EY{H17 z)Q=c^xrWadIOGkcByRqKkE6wNsY@QPHa~3x`ASBe}s$YYu_e?u&zzOor&xe$z zi61*Zgsx$a{Ra@(>ty|?i_v8efyY_m1zw7<$y`GutIyrNH=A3)J=iHNI z7-*f{cR)X}NW@q+G4qtck&&=+5d=%nP(a`SQebvOkq zXCj`=#W*ws7;%sD?d;7Xi?_s)JS%d@jl96-z!=~6wT|3~vG~8`g_w^sjL2x-LoY^d z@u;ied=ZvBG3KGS#9KU_7j4OtU>RUk9n48!3!M_Iv{jF=z!1xp#wq(gboND5IP`qKfHkBzGNe<^UG96ahNXm0;Oyx>j$&nme(-Ebe8R3PaxBN*bWEvCWvbotm15A5^QXK($z&DeF!C>yqO83+B01>D+Lt4igO03CITAVO z$l9MHm2XkXve+D%9CTzI$gz@dRm!st=E&usBdaJ!A>XF7&f1n^Ee9Q0+jAPpK}Xi% z92+_4$STjVm4l9~BRO_*(2=z}$6mfism$7wqnv9LG2{_~#q{s(6PEABFnLDCPVde* zc$B+I_3j}K9;I$pdiMx21|RLKK>J8 zV4rb?7{VSy3>m8+#ujo^a2&i!1;@dMsNgvG2y)yW&P9%cXZ+wecn3c?4&KcVjyph} z9~=iC;>Vq<)Xkw;yxvWwf=C7;K)o9S5#Ut}%pf&a=XTwrm?2}vqa1i~h}dI)gxI4r zTI^A-6MGaJr5^ipr5>dPQjhXtsYh{zmB;>SE05AzE06L=R*-A$vERWO@~t7?8uD!* z-v;t+Am0Y^?I7O{a_t~j3AswhRhrKoeaCCF1LIZX#(3@2iM=-GO1+8-q+SITR$iN{ z!6IzDilS|R+X1%&t^}_1Dymg_?R9+oS17aVz@%Yb*J*haK+A@aLPp@ zVH_nlzt5LQnLJbM_byTy<0!rLUB1+c$;*uUP8{DhzIXhDcyW5$^xo+c(yih>60TYS9 zgNel8!9)`9U?M4aFp&&An8*q|m`DyDOr!u0Cb9+(CTav8Ok@KdOk@ilOk@WhOk@up zOr!*_l&}mVVU1vn2s{`g1`ozaz=JXH$zTLyWZ=OVEAU{996T7K01w7kg9l?8fd^x3 zz=JWi;K3L>@L-HRcrXUeZ6xP+01w7A1`ozG0S^XkXN_Qt6L>JDDR?l(89W%{0v?QU z1rNqF0}sYD2M@-y01w8r1P{iv0^dsFFJ>hEbHT(S@L*ywcrdX9JeXJt9!x9)4<@z( z4d5 z4<>d34<>F39!%^E9!%^49!%^C9!%T}JeasScrbAb@L=MW;K9UD>s(TAYw%#=HsISx zSg46u=XY}39P*d zOag0f0+Ybno4_Qn_9ie1ti1_L0&8yqlfc@Wz$CEtCNK%Cy$MVLYi|ORz}lO@B(U}- zFbS-^2}}ZOZvvCR+MB>6u=XY}39P*dOag0f0+Ybno4_Qn_9ie1ti1_L0&8yqlR)hz z=mFHvLj5e%&qDny)XzfwEY#0J{VdeaLj5e%&qDny)XzfwEY#0J{VdeaLj5e%&qDny z)XzfwEY#0J{VdeaLj5e%&qDny)XzfwEY#0J{VdeaLj5e%&qDny)XzfwEY#0J{Vdea zLj5e%&qDny)XzfwEY#0J{VdeaLj5e%&qDny)XzfwEY#0J{VdeaLj5e%&qDny)Xzfw zEY#1M+9;wGaf$>*l0v62C^8f?Iz)Gf>yXePse`VAp+iQ88DY_3abXEzNnyG$Ls&-G zjD+ZfxP*j+qy$}pAt57ShQwbAYnKTog|*8Blfv3%f=OZRGQp&sYq93D9R|BQ59VkSCvqeRHdsjRAp4nxEp;p?ry@}q`SJi zhPxSeXGmDk&w_py^s}I!1^q1OXF)#;`dQG=f_@hCv!I^^{VeEbK|c%nS>2(Ixdm* zOS96f)VJ^J^mMqw$$ZucQhja{zd612jGM}G&-nl2zYj0j+pW)+k{WreyUQCf<7hiz zTrb-$U9VQ;{{i~-oV)Bf$+*0c!m-8SLt1w6?#{S8fk<)TCu;E?&)#2r@BOW& z+iID}{%uEnuCpJ}*e7K4p_;6N?lpP7=kouO zFnLP`_C4FGOW{C8WMg?5zky|Sj`On~|h|JC5H=OqDZ`bSa@b==*n~RvkCXbMsg|dq9 zer?iRUcgd9NYc+fK2E_((Plz1MIMA~feaCr=MiQESqk8!*- zQta{;l-Lgnc5mIq&nMb<$ZD~Q+?*QeUxj^Swiz{|Hq|v>7CY9ocvDdF z)i}m?d>Ero@8j_K)r?*>s()3NobJrb8R*gy?&EBeQhV9zjY}N6z1%83<2h}*EHvK< zI+S@Uxl*cURy4_f3%Zut2UoW4vTaapiBF`YWYa<>QaY$@?9XMA$o}W8Pk4Ru+pZ;c z1Jmq&TdCjE*NI$LvGa%9)XbMX%D02LmfV-!S!BnQgpCw+lU(Ul(rdQ3Mn20r(qU8K z;nC+r;h~KV)wFNnp8s6NWtj3uFn4hw9N0< z#iMY9sK!=SmnsVp$@=6shI7ohF`*LTe4CU=Crct1Nx$%Y+*DL@Zf{7ecs>&z+-O2% z*2~7JQX^Ayx<_@5jr5$0h}^}-h>o|*|AV_CJUqTU`PK#WI@;NZ^bW1KtAm_b*n|!U z9S}MobU^5U&;g+XLI;En2pteQAap?JfY1S<140Lc4hS6(Iv{jF=z!1xp#wq(gboND z5IP`qKu&pxqx+x`Au#s6Hro#!^rSY+qeY5&)2UJmqm z=yA0=H1+Vl)pOnqFx|{rvF5plL){yJ;>eNCpd8t)M^&&+8o!7P-WYm4}>$)r5nw51OJa5G* zL-JvN#%IF07hlfl6E^#s8&f-vAH3_PO_HtEOhuq zm+?b?`i7mBGH+)7CzX!d>#h6wjhQ9&l{a(U{blHarN$tIbMB$;A-8-E+4ehA?$@uw zZ=38Drj11{XS%+6WA)_Q4SUYFy5YZWaCm;Ge6;uRNI&WKve7-qj_A<#=rZTuJ@RhU zuj<#lkkwp$pkjv^8*7ez_VTD#?3075LMltf_jo#3I{AuI^HqL39}Mf3xTMB6-*rjM zj`k}Iw{1?g+14rhoBOv4CVk!HQmgN_YH}niJZ9xAkc4j@@pD~Vq5iYa!!myIg8zMk zun8RyIv{jF=z!1xp#wq(gboND5IP`qKs8ZBZU%2((Q(Rp#T4JdQ>=B_uwTwA<@XL$fByB5O^;svwrIY0@#}P5kM3Q4 zrj@Sil5^Qu@03$&=saRZa1*zKCn^_R+cW$x`S{Uwt-pDE*nP{`2-VXbho>zb)q<&B zo!q~?$qSnn|9(Ai@bp>F3+`8X{QhP258mrLmh6)cdp&RZ+sHj{dBLwO2M=8kyLjBVMcGTo9XX!=lkM`9Uo$GyUxz+udF;X3qm`K{ zjXzy{r0`p}MZauzp48)c?WEpsIt>aLa`@xZ0jpKjD?c_hett3Y-j*4&tY)`Azw_56 z!~a_DoG{b--h*GQhAuhz^)TzJJCA$|6I7Mv*f+@tgLz>~uRt>!o_>0dXs`p zi*NM0X|3Me9=t(om;cIr1|;ika?j;=QUpa<@%VMDJK?gIQRP0_U1DRJGQv) z623jxYG_r9s+ayxI^XTz>0X-0&AyM@?+#?YTHPtbLD$^sW%S!9-L<%$Q--LbjxKsS z^Jufze<+*n4bT2{T1U!F5Pap_tiSvZY`M4Je-<1{ME+}XWMifGGtTvm+}{O z#q0at9QxJlDL0BUyHEVnr9P&~?IPK;<)bFI>Kd?Xact@v@AKp19B&>UbzydbM_tI3 zve~_2rXTknG2L(281bZaQr~_H21*wS?*X9$LI;En2pteQAap?JfY1S<140Lc4hS9i z@9040N2}^jn{2x+803Ntah-TD7injU*myg zb4E=Muif9$=dyOq;)=Ir3tR2$T0ix9Wiz|cYhQjn`P!k%jf~;qNagn1HZS|<96InU z@7`HeO6sYUJ*s<$cUF&J-R_Tr<&UY%nW~1a9;kl{9xI^@4xys zt-QSZLT{hh_Hxyx!fCllWkD04?mMp8-{tl2q**_IHuSvh$ItTXei+^7+L#qqO_KM@ z7H1T0d_KB$rvHT*y1XxBlWk9rJyd=3LilGTLl)&{&MvyLvE;1Nl-M2a237o@O)s68 zSovqaQA@7pW%r+-TCl&{hz*P7mFrZ)W#jYSzR?}+x5u&liE+z6irIJFdaK>fuKRx< zv)T3En^LFW`mCtz<>BTr%hs1K+B@#|&s_#z`Tp(RqU$sKTQwaUP_@#r(tp)bP1w47 z2et;hT>9gJTbC}lw}@v`?z>L@L^pe7$%`9#f1UG7TkM==ZR==V9@@3PZMP{_%^#FT zhF)5Dv-Pt@n>X4Y`!VrY=K+h(F5kZNc*VJFk2CYO8;+M1Mb2%$(|b&q`?=u`&!y|m zceojDwM#Ux%aF_BDWCs%HM3^q+qLyMzXYWax8qq5h-GHm#1jbolSM%7rS04hS6(Iv{jF=z!1x zp#wq(gboND5IP`qV8Q8y!QocYwWTd2Bl~6jSk`4nCw+^7b{7{;nKRa7+-Kzn7qodD zyK_{#qPrgzeZKbb+#09E1ef5WLvJ|`x%@>RhpD~tY+m*l_$Fo6uZI_B%#p_reA(x* zZEDq;kP=_(y*IkQ>|)*Fx4aWc=kLi|of>+DK6c#Nb`=jU?Ojp)aDLWS z;}3g2ElN6;=Ja-GNt9bj%2Q>Zll!NJ?lo*`wpxG9tB!Sz8rn8uqTQ*g7yd^_I?NaU zRh_@Mlk>C0GbP9FN2JLMjl-uVpQ;;{+iJg6_JwvI-F>qE?2$z0^(#AyG&7^?&n$Gl zWXy8vaMQF$wxd3>@Mm8;&o8|cZ)AVY%gt+7^Qy|={P3^q4}(`F+TFf;TddWqogeJ5 z{z@~tCTnkpOLj-xn_l!jyroOQMp<(CmEJ!uT)y|zC;Fb}TwmR8GdX-)vqi6s1zQem zwqEr0VD?(sfKTd<_gs^{F==PnOY!M8pQfy=y7u<%9n%$??~ciO&Aj2fFHp97Mcrt} zSAo{Ix=!1_#%^gw^BtaJHry!>+@4=P>x^4KSjj@?o*(TEU#ggUYwZt7dzUTo$(%fR zZSDF+f5=SHQOicbf1eQE@t)%Jyyzhjk*VK(Y#bf2IdW+ezb$ioCd9N&zx}D}aQ}%>836>_a9ysqFmi5?vu4u%U}MS+oUi+cn1g_5IP`qKdB5i7 zB;TwqllFe`sKj-iu42hllQO&UqQ36&s=-o912R??XLUwLYu28@Nbfq zdkzVFJ#ueB7ysxVgXgvi9GB!7oBR9dU!RqDv>lyi`nR~W%soE1#|3uyCHoP9>+hX- z+~0mn+WZcM$yqLnH6LFXaO7a!ncH(N9l6m$5w!4`G~l<=*VldX3OcXv>#*jdqE?r- z9C3JcY}2nJC3F4LMH5N|o>^7by0(5?IACGh znhq^A0Zfbdw*Q*Y}fSRO;j9ti6v}WVyr&RyrYdziH(P7fXT_} zNot*nQHUDZ{D-%Wgn@sIlwpi?n1q3U;@9Cr9R4?jZXe=Om_qb{d1S!FAK>th;WCmB za5-@42e<;b>;v2yxYY-EBjEgvR4Qd2*YhdE*mB_SeHio)d=$t3UauD83mWnJWB!+1 zMNBr;=b0E!a~Q++_r9&dcsCJ${xAN4@BRl~h8+I6W+S(YFJJ!yKh1Gi_qP1_pE3Rq zYM$4~?Zy1~UoG=c*Uu}AUr5DExg~+~y7T90%JIKnKOP+a`}L#d_}{Oee{uZp*UvzX ziUTWbAK0j^Y)_i^o`8kTeLcW~3 zKIQOMhxabCj^d4xd)n~lZ~YIvEpl%v-V=EM#l4YtrMS;O@ZD0gP9qiH72|2%_aAtF z$E}zU>hmfIgx@@k4NM1G#)Imj?T~iSatDf+b6mj`P~Qv3F}^Jo z{|$0ail0L6P4TnHwG_XA+=t>Ag?tdj z>yhuIxD@Xz#!%cE`FM)kBcDKVN92jw_g4>bf0)@kLbpSmYHHk49ch z@p$B4QG62eDvGBfKSgl^@@k4tMSh;*vyfk+xC!}Hif1FgMe!xbYbm}Q`CW?VBY#Wr z^&FSN=f8;e`M(L{?d=&J--g_Y;w2o1Hx2dkS|xG?#m^vjp!hZ9t`xtA+>PQdk$0fD z9BwJ#nE|7scvIv-6!$Rc?87=Asag7D1Hlh5yhV(FQ&Md{3s6VQcCg0$SWxBhP;a6U65B( zyeINY6d#DZmg3`(-=+9uC>*s@JU?m+SR$XzME3b`A_ z3z2uAcrkJn#g8BlqIebZ5Q<+w9!BvS$Rj9zANeSXzd;^NaT{yW5ebt(@#e^N6mO3_ zgW?+GMv8|b&!+e=bJ{@@x#pfe0rucH?r4;`Hc?HFbkylat81ib0 zpGJO(;+K)vQv5dZyA*$c{1L?!+^-5G%nOP;A!j`J*Lhpy3W|3@?m+Rb$XzMkAGsUF zMnQ#Q@(hYw zalgEhFh+_yBhRL|7xG++2O(cg@&3pQC_V;x5ydAXFQ)hm ze?wkOad`dxsKxNksB$#33)EXw;?Z}_#WiN z6lalFP#m6z!X{&?DSiTZEyce>{)pmdkvmY&&*3>HH@_RjuOnAc{5J9sir+^bLGfqE zqbdFxxsKvuJF^}m#jTO&QXHORa{3D>?t;9S;_!PTF1~`|?U7egyfbn}%)br;Ic^2l zr^HBRv}`?)t0>+Fc?iY(Bafi?VB|WA4@YjK_*mq*6puk(K=Fyliz%Lryn^Be!9AY;# z9)Vm(@sY@l6d#W~m*Vlr3n-q1yqMy8#A2zf5W8zV2ExGVBvinl>tL2*yy z)fE2-IV0xxEr{dRa9#0#-`x|risGTjLn!_U@(7AYAlFfR1ac$A$05(9_ypty6i+~2 zOz{-t6%8Tvitk4r zP4UCXbre62+(_|nkrzD(=OwG`$xTrDT#)tjI{WPOjKG-N?dAkR9uW9M#ZGX>*EbkQ{rO{sc8%s zq$NQOdwO2HnlYrs=%VxnNMNG0>C>h~>C?5^#0(}XJ|)hw&&4EjG4OZBQE}q{VXlf5FceoO-R)nm?%TM-axvG{nn+$bNz-t z)Q-}r!JrK~D4z7+a*SJ;2nGr1@-6L(e(N!M_4 z$N>$>;WTJSBK*laypU6Cf*@OMKCgzz^(BeEB+-{Ege3Zs^ZG||llYQ+U!vbHiaUuf znZ}o#*q1AppD{v^Yn zWcZT|f0E%(GWV$NeLn;LF9Zv=0zqsK_okfoF#~42a}Xw zk`hc(f=Nm+NeL#W3MRq9TpY;_CTVIF>7y!&Cg%;iCmcYTii0 z8~O4^e!P)CZxp~A1@cBgyiqW3q^891)u{P$)Or((qMj_^LE~Rla;xzC2Z0-a#$@7*DX4r&r69tL3TH^2BO+ zTD3f>TAorZe^s?=z8e0jYWb_G<*%xizp7gPs%rVGs^zb$mcOc6{;F#EtE%O%s+Pa1 zTK=kP`Kzksud0^6s#^Z4YWb_G<*%yt-KwVR4Kapvz2)tao*3V-OTM`q2Kv~v7(;AA z!#G~|?pSP0y8ivNn52fVM4e?OwV#7PuJZyNAn1>DTS@W>r zO$$S~`AK^}nT+4hCgbc-!NA4R3rLH@x+6-0_ZB`EsPi{`<)B`l1 zpHmMb^DOVHCrKJkJ>2JV`y^k(sn>A2HJok@r(476)^NHZp6CW=&f|2$i0B4KP7IE; z4IDW!I3izT77Py0XFee(7@#?UQwpQ^`b@%nIioC_Qg2acQs98m?1r~*ft3XU`t&S1{tG{VSyLQW%$%qQlg!pJ3D(=d0#@@*47Pm)rA%SCS7;e9W8W`HP!*7>3y5LM%JzeZceb zEzgZq=78FUi7|nDgoOLx{J?nmmcKU$!5Db-!`rC*-f)ngkH4pkz^wm}Pr~^5`1`2n z|F`_{f6JE|xlA4R3eUOFTO6f72{`}!G9wpie*KU6)BcukWzNjyX8Di#*$@UxWKoMr z;Fg+X|~%>8*E?7NyVc@p^U+CxU%r6cBnkHdQq acIops21Z|EB*W@7d1aWjX4mja=l>7JQ$9}s literal 0 HcmV?d00001