From 3edc95eea50ef5520b6e399b1b9409555204933d Mon Sep 17 00:00:00 2001
From: Paul Mackerras <paulus@ozlabs.org>
Date: Thu, 20 Aug 2020 18:14:16 +1000
Subject: [PATCH] tests/mmu: Update to use correct MSR values

The tests were using MSR values that did not have MSR_SF or MSR_LE
set.  Fix this so that the test still works when 32-bit and BE modes
are implemented.

Signed-off-by: Paul Mackerras <paulus@ozlabs.org>
---
 tests/mmu/mmu.c    |  47 +++++++++++++++++++++++++++------------------
 tests/test_mmu.bin | Bin 20504 -> 24600 bytes
 2 files changed, 28 insertions(+), 19 deletions(-)

diff --git a/tests/mmu/mmu.c b/tests/mmu/mmu.c
index b91a852..ef00824 100644
--- a/tests/mmu/mmu.c
+++ b/tests/mmu/mmu.c
@@ -4,8 +4,10 @@
 
 #include "console.h"
 
+#define MSR_LE	0x1
 #define MSR_DR	0x10
 #define MSR_IR	0x20
+#define MSR_SF	0x8000000000000000ul
 
 extern int test_read(long *addr, long *ret, long init);
 extern int test_write(long *addr, long val);
@@ -445,10 +447,11 @@ int mmu_test_11(void)
 	unsigned long ptr = 0x523000;
 
 	/* this should fail */
-	if (test_exec(0, ptr, MSR_IR))
+	if (test_exec(0, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* SRR0 and SRR1 should be set correctly */
-	if (mfspr(SRR0) != (long) ptr || mfspr(SRR1) != 0x40000020)
+	if (mfspr(SRR0) != (long) ptr ||
+	    mfspr(SRR1) != (MSR_SF | 0x40000000 | MSR_IR | MSR_LE))
 		return 2;
 	return 0;
 }
@@ -462,12 +465,12 @@ int mmu_test_12(void)
 	/* create PTE */
 	map((void *)ptr, (void *)mem, PERM_EX | REF);
 	/* this should succeed and be a cache miss */
-	if (!test_exec(0, ptr, MSR_IR))
+	if (!test_exec(0, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* create a second PTE */
 	map((void *)ptr2, (void *)mem, PERM_EX | REF);
 	/* this should succeed and be a cache hit */
-	if (!test_exec(0, ptr2, MSR_IR))
+	if (!test_exec(0, ptr2, MSR_SF | MSR_IR | MSR_LE))
 		return 2;
 	return 0;
 }
@@ -481,17 +484,18 @@ int mmu_test_13(void)
 	/* create a PTE */
 	map((void *)ptr, (void *)mem, PERM_EX | REF);
 	/* this should succeed */
-	if (!test_exec(1, ptr, MSR_IR))
+	if (!test_exec(1, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* invalidate the PTE */
 	unmap((void *)ptr);
 	/* install a second PTE */
 	map((void *)ptr2, (void *)mem, PERM_EX | REF);
 	/* this should fail */
-	if (test_exec(1, ptr, MSR_IR))
+	if (test_exec(1, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 2;
 	/* SRR0 and SRR1 should be set correctly */
-	if (mfspr(SRR0) != (long) ptr || mfspr(SRR1) != 0x40000020)
+	if (mfspr(SRR0) != (long) ptr ||
+	    mfspr(SRR1) != (MSR_SF | 0x40000000 | MSR_IR | MSR_LE))
 		return 3;
 	return 0;
 }
@@ -506,15 +510,16 @@ int mmu_test_14(void)
 	/* create a PTE */
 	map((void *)ptr, (void *)mem, PERM_EX | REF);
 	/* this should fail due to second page not being mapped */
-	if (test_exec(2, ptr, MSR_IR))
+	if (test_exec(2, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* SRR0 and SRR1 should be set correctly */
-	if (mfspr(SRR0) != ptr2 || mfspr(SRR1) != 0x40000020)
+	if (mfspr(SRR0) != ptr2 ||
+	    mfspr(SRR1) != (MSR_SF | 0x40000000 | MSR_IR | MSR_LE))
 		return 2;
 	/* create a PTE for the second page */
 	map((void *)ptr2, (void *)mem2, PERM_EX | REF);
 	/* this should succeed */
-	if (!test_exec(2, ptr, MSR_IR))
+	if (!test_exec(2, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 3;
 	return 0;
 }
@@ -527,10 +532,11 @@ int mmu_test_15(void)
 	/* create a PTE without execute permission */
 	map((void *)ptr, (void *)mem, DFLT_PERM);
 	/* this should fail */
-	if (test_exec(0, ptr, MSR_IR))
+	if (test_exec(0, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* SRR0 and SRR1 should be set correctly */
-	if (mfspr(SRR0) != ptr || mfspr(SRR1) != 0x10000020)
+	if (mfspr(SRR0) != ptr ||
+	    mfspr(SRR1) != (MSR_SF | 0x10000000 | MSR_IR | MSR_LE))
 		return 2;
 	return 0;
 }
@@ -547,15 +553,16 @@ int mmu_test_16(void)
 	/* create a PTE for the second page without execute permission */
 	map((void *)ptr2, (void *)mem2, PERM_RD | REF);
 	/* this should fail due to second page being no-execute */
-	if (test_exec(2, ptr, MSR_IR))
+	if (test_exec(2, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* SRR0 and SRR1 should be set correctly */
-	if (mfspr(SRR0) != ptr2 || mfspr(SRR1) != 0x10000020)
+	if (mfspr(SRR0) != ptr2 ||
+	    mfspr(SRR1) != (MSR_SF | 0x10000000 | MSR_IR | MSR_LE))
 		return 2;
 	/* create a PTE for the second page with execute permission */
 	map((void *)ptr2, (void *)mem2, PERM_RD | PERM_EX | REF);
 	/* this should succeed */
-	if (!test_exec(2, ptr, MSR_IR))
+	if (!test_exec(2, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 3;
 	return 0;
 }
@@ -568,20 +575,22 @@ int mmu_test_17(void)
 	/* create a PTE without the ref bit set */
 	map((void *)ptr, (void *)mem, PERM_EX);
 	/* this should fail */
-	if (test_exec(2, ptr, MSR_IR))
+	if (test_exec(2, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* SRR0 and SRR1 should be set correctly */
-	if (mfspr(SRR0) != (long) ptr || mfspr(SRR1) != 0x00040020)
+	if (mfspr(SRR0) != (long) ptr ||
+	    mfspr(SRR1) != (MSR_SF | 0x00040000 | MSR_IR | MSR_LE))
 		return 2;
 	/* create a PTE without ref or execute permission */
 	unmap((void *)ptr);
 	map((void *)ptr, (void *)mem, 0);
 	/* this should fail */
-	if (test_exec(2, ptr, MSR_IR))
+	if (test_exec(2, ptr, MSR_SF | MSR_IR | MSR_LE))
 		return 1;
 	/* SRR0 and SRR1 should be set correctly */
 	/* RC update fail bit should not be set */
-	if (mfspr(SRR0) != (long) ptr || mfspr(SRR1) != 0x10000020)
+	if (mfspr(SRR0) != (long) ptr ||
+	    mfspr(SRR1) != (MSR_SF | 0x10000000 | MSR_IR | MSR_LE))
 		return 2;
 	return 0;
 }
diff --git a/tests/test_mmu.bin b/tests/test_mmu.bin
index 5526c40992adc360f9d2b5d7c08a4bab3013a182..7f87578a8479b4001d9aec97edf42bde0e9eabd7 100755
GIT binary patch
literal 24600
zcmeHP4Qy0bc0TiiJvP`F;<U~ZEzjVn9@kY}*4w@T8^1Az^$%nn;{cmYHqRM*aUdHd
z4V7l%H}ROAtUw|vsak16NpPfi6jdQ2DwU`f5{D4FY<DF`O)I*EiAkKw#x$5E><(+#
z+wa`>o;~9~*sxn~weLye_wK#to_o%B&pqed>v=<@RTDL~oz8BI;NB6_8{3F<)a^vw
zPSow}pthZD&D(ZFYiMWSyC3X~6w>Zs!t;3a(pEAwY7C?V)e<RHM8*2)?BX!)?euD~
zPDJVz;Ytz3z;7S;?E}Ak9b+5zwIw`zqs89X{p1D}QGJ4xXaSYBwYw-9UiNJRGN?p}
zVHfW0E+tCzT1uhV{WH^jFJ;rsMsw*e$jG4a9551|9~dP>8>Ix!pWjOa66>0y3HL)$
zAM7~cc_{jSZV#sY&m;D_%4=rc1ekCA=X?Bl1Kt|g(SN>YV1CDU=KuE_e`o&ZcmC&j
z^m&c_^Q^lZ-m(9=XW>@({I=WYmhR45f7|lkDgQgy@Kzjj5a=#iS$=8p?w}j@VcdDI
z4AJXu)!Aux5O5H15O5H15O5H15O5H15O5H15O5H15O5Iq-9<nd6HSm#FEa1HyMj8B
zIS4oiI0!fhI0!fhI0!fhI0!fhI0!fhI0!fh+%W<!(yC~%R!z8lMoL^5CmLLHI4MF)
zNv}GcExM>8q+fnpY|k4Ip#pNH-WA2E@c5_Q3iYU)2Fx=A!gmI$Xt$<N@d%~-20tg<
zUx_Z|cMB@;K0&kJz&it|TNNb@bto6$9Rd%&W8lMg|M|NH8WpSGUq<zAJbx}EU)IeP
zbKy^#j1=pITz%mdid7X;pH3BVo!=E;*)Bjf{}h=L?$yzjG&vM0$C@a`v}*azgVxwl
zjQ1aGnRt9#Cg{U_hZ7#3k@h_)SBwQqlZkN?;*&Kj!v~PTMcw-tlSLS-0zCS^MD;KH
zA=RUsJ~W4JW8&R$<`rJ{955W5;P>Y@&UCNM_CJ_IIpyWlqirRB;Ar;BXu#rmL(~Lr
zh@A4H*)`D*g*j$D#;gF{+4S-7g^qN&)5jCyv8r5**}F3&v1C2&L*M@x|5bMdb*s4~
zmLJUy8SnprsYmlzw^2bMmFwQJ>Q)20KI@tFK6Q_zh1!@$^LsD>qLOmV!KMLPhxbVu
zpVoj;4V9Ft(5pRbZ#cYchtV(mf!!bYBQD6F@c1*{Ghv!$Wv@}#7&4ARKCQXL2(R30
z_|QMRxgqMJ5xh5|q2GvcR%o?vKHx!JV<63@Se_YiK($T<F|{D}*swj9n=nQ}Y{f|8
zA1lB|2_zO);9V5ZDKXUtx<9eneX-h+0?3;STPoe8MQM=&U9~`aqZVZ>jumBMkv<R1
z&xbJ{08MIFSL<86#$W^Cm4}S*AD=MF&ibPt_ZfJv#$R3syyW<hlQ90_Uzux=`x9iK
z7{RW6ksR{175>y84X<mAN_n`wz#pL4itF}xrRV(7q1vIYp>_U<`(!*^vix9Icr<PZ
zp#|J0{gM2!x=7*2e)NyweH_yF$7%!3(8Wz<BQDAblq~m0h;m=#w(p~@tl>x9Z<scT
zD$IG-%s2}XQ`x^Pr2d-kxq4N_8*e2or1u|AhK9bI>|*TM&wM75p$k$!#<ExS_4wNk
zC;RY@QD2z*6P+2q{B~bE`=Y#oKHV1#>Hqw%CLTOjyatcK&nR?Z)Xn9w8sl}~C&zc`
zRq10#<T$<RQq=Pp%#+7qo;(Kgf5hVLv3Nf$dA~dA<#KARu~E(qctEz<c-&+0SYYue
zl01SVB;_lE9q$fi;hFtmxM^iHX09g_&so+l5o{J?vOd%ce|RLMvmYnwUvsusgqntu
z6TbU&cCrgNZ)a?uzsXoB0q(na%-<HidaC<$wm)(f{m01PL5uxuL^ao6_)#XNM<657
zqa!A!Wk#>m8!}j!+A`b+{!hYBbN!o3;yUvUTD)uw+a)hC`Xo^`<M`$hUmIyP6Iilr
z=~yxkdp>@0#*}MDEK}35th{^nHJBdz7|#I4<@m>#-h3yn-xOvXv~6=BPlVRr5KT;H
z$3vzGSTeEgsldgKiTunlaW%)H+l+^M3U4DGTC%3g$ue>*>>D@dcMR+K<~ux>G4*gV
zuCvTU4KF28e>yuJzWjE)on?2S?l|fO^5VK1&j;}A!95H==EZ#r?hA0Q#61gl#P>ip
z?%(;LIS;IJ`D}XDPR9K&5@UHyWx)rqpZMxsRA0HYw?>G;HPTmZIT2F4V(aPb6J2cc
z#}Ay?emI#7jU`Wn*xtkAL*01;$?Zh%z+WUoFZ@z8F~9KD_hlZ#JbV5n)5iD9xeHF%
zcueZ`Z{3{JNZZvoXIN`=%KDb57xqh9nXwIJ#yNcTy>7<Z#+NZ&Z;cUI_PCWJJ!8<=
zO2f1b@Nk<vN+pj+M`(D`hS~43KiIaE>Uo`vA?~o<593be<%)Tx``gN;{WUVD*pdt}
zUW^B0b^JhbJ7X{goU&l!wp}w;j0e$2;~m$T_jG^8?eK@~SciJU=}g?r^=$fg)}Lu@
z3_bt`L5rR-;8>P$Z$_TTdh@z3n;nZW6ARYe_KodJczu{y@SJ2|F~wK1t^_?<o@)hn
zW<Q%!)9oktekKmTuKkd2Zu?>E7Fc7<W<QjBYx^mJ?!RgK@y=pD_x<A5_LFle6SrI0
zkISOJmHkY^Vg~yuS$zBUvkLa(V*BB|3pQl?*x=70KlUW65a&2wAT6%TeF<{mm*30O
ztsb#%6=GpJAD7+VHNF2MR)3Ds>|2o=Xl(DiFJWH*8E$KDQjsouuPHm{_s?H5Wv{Sh
zNAAF~vwyyD(v&^2tQ(0ZuhVCd?<>`G1aYK(rSXKUn|UAAj5evG5>t!k7$a(pVe95W
z&ceBJc>I&@eR;eu99+YG&W(G<+ID67Ii4Gt`%IaezRzc$8&}%c=6-c`bQQ;D>DT?(
z@3GEl`W5_U_KCC2#r3PAiQ9NB@!o=SxKB~Xwl&lI1mFEN=O;~mo}UHQI6ZTWalYRi
zW2X7JwD9)l$Ikb8j_h3DUOz63&%W7L7t$N7@$B3k^AemXSO3Y+&<E?N0DbPBknxMJ
zk;<h?^~7Fyi@!~Xe#A+CMDZpOC;c5P-&oS$mf`1+E3+RUT6?`3@^H*&x|w3$rgtXi
z>M3bg&lpR2EotUjg3p7k;cO%q_J`cC6=lYX^KpgRQs=Lj{P8@To>Op4xbpV&Ig;@a
zYp5=FjyXz;k7VsXQ@c7_%d`gUZ_DH!y|fPdL+lOJ6P>NRA0*^^L*7uhtf4;I{v|D{
zOnGlSeNSuS$+#2(m(LcPdp+8ZoB%$Eip;$p?^EpD<Kl<O5T8A9-pyxD12}WKAitlY
z1eizXi`b)BXHT84GWKW2&zvyzw{6CN%_uaPx3Qn%zC7kV@Fo15&SS6D-;Sx=m#}x>
za|zB(3Xz+1zG~(s<{4H?lr+NJmB}+K&cXP+i1QCSFZr==GRBg5$@7nNd@3QwL>$;Z
z8BeZUhCW#Hm9|d?UhI?kjBL{sUH3p&=0oUTjs0r|Pw3k>2QSwYz4<o~Dmf3^Z|Z9L
zzi;B4%sfv(e%4WpGX-03)|d7EBJoJd$+<lHYfE>IN7p`^S$B>{4;-Jg^8)D2cyO#}
z&&F?uxPRGQ$?Iu9ucsO#F6VC2cYE=>CiWR$C)zl^<lSU`rVLz;SYvbk%W<5?WZeJr
z2b1IO6KoT!qkP6WSA6Ic{2rCA>gl=pl$bTSK6szbXDcTs&imj~dMK5HGt-_R$9~om
zbuaG9GSA-ltfgf6NSBMmnzH&GMiBeZAE%F%wzlnaT^=utSkC<H^@cN!RKl|=n(%xj
z`W^IV97aY(6Y58bD2O)mH(KyK9Km^139#dH!q;&|$hOY;2l$R+e=*8uq@Q0DP3Afz
zsQy^h5zxhAD_%U0`U-kZo)tdtHg(9Q<v1Vh(eA>X_diU34D@e-HsOB8xPm*^^`q`(
zS@)L)^WnO)%op<V^AGVHmF>?OC#?1X)IBcix{SGSv18CpOQvhkU5MRPY+KYESKr5)
z;<B8}*0}mlR+-POH$E0u`>e7T<s%Qq)xWdK3sAnXC9Xbim9tPjx;3u;l~vA0`QWy=
z+F_M_C=Yxiu0Cj$b5K6_P+VPam2*)pcsQ<p)haJU`8CLQpH*Ij^1YA5)w`{79?DOI
z;_3pcoR9K{Xuk%VXMGl<eC%6s^;4^iGZs~UG_L-;RbGN}dpq>E%7|;~HXZs~<-1T$
zq1=bEB5jlO-R7C;ocSo*`LWmv<g%pifeqt4b1&gcy8`POF=wO@=cjLY$@qu+6`ZyD
zpT2~3M6_dA)_qww)@FrT&6rar&sw?u;v}ucv_70k%X-icOs)wGIhix!aYi|Cb}>y3
zWkQa!5h=&lb*z2<y_8HDd?uZ?HtX?L{Em{Oy|`7GGe+{hoY!UM{|-L-YpnHh_&E8$
z1Bj{`u+Loja_J(}@!TRQYU1;S0Pblz${54v=iKMbqB6ws92v)5z=ZQ?34-;<jz!c@
z)e8JNJ`suA28vQYd})?10-aFrH|v2jV^PEyp<SEOM*UhfSnK>b7W)`EY$N(MMljFU
z@8!H2<-ghNi+WRKk@priMq<*3BWFXuMQ9`XqnDUICKS^KfZZOPS(})Xe0HDoMZC6+
zeBG?`ASYQgQKv~dK8H8^ndNNIK$nR+Ie)ApeeES7e1Re*O;7MO=NFn-*92BlH@4rB
za+0>Y_fJ6rTV63zL9YbiAK~{kw9CC3VpL<>q`Y>%qy+{s7ud^zHlzbnDc8jbyRt`>
zcYRmKGrJT#HU~Fv&dVj*5Nz1UWu-3I!hkDvn;SOcN!i@eQh^G-{~7K~J0ODNXGPoi
zpy(MN7OzTMW1C~Y$2y{Y6z!vEA7x(-8tKPvpUyP=%x$)h=eh!n%a`lf7V?IJu4Ri{
zRDyC5K1V(g;x%rp%L&pUS3|zGB>3Ex+<Xdtloeb^bT67Te9G~Uu)oEfn(`G;wB}Q7
z78al6qvPI-cK(N%#b;f91*qyK`IMq*4?g{%dy47SW4u?~hg@}%a+9P?${{7sqag8q
zDuj_vyFt=6vv43K*6SQT+dzkZ;K_^i8pCG*buq57$5}7?w%C0u&{X6iD*bOEhHbjw
zfvmq@aM1g*hXsTDwfW84^Qr!$<oR>|_0ufa3x0eIea@jzGw$>?ONV-inp*=XEEv=6
zLc156V5X-=i*AFYd(I-0dLBf3>4*@=KxSdrB&ohJi5<_uDbO7Qos_jv&cP0Q4q)6g
zg!b4)Au4&i4Hz#tp~brV=4ZhSqMbMK<+&(C&JiCK0;XV&`-*#=J^edOYDvtzHPE(S
zx_#bHfxh#9Zq1wZItbeO&n*2Lq+Z|3r*+b{6to{l`ykqf@Jx+z4iCA$Ed`vg&q2`i
zUKZkYrZIVZ)5b>OIu9_0Lrw9s&0}XKj}p+_08Ot+!#2LvmV@!CL%VTB2ruJh&%3!=
zI@92iHu)52TYm-{VP3ene;jrDQKwAr|8#nP#^eZS<5w+tO?{rUWl_*RfcA&+4^kiV
zvh^`nki>+?`y4ddH6fnB^OQBPK7Bl<RlKkr(DHhaw1-@;xa*`9HiNb<3(L*+1sg&8
z#LtCb`=<4BzT8-lpdqO{YBT%{uTl0hZ~Q`tJ=}<k>)5W8ln`;Qz{PTC`0PiWj{Afh
zlb%GbEx07vpY=KgTJFae^Nith7Ioz;8!oP6pEY(}h%i?;mxF+VfP;X8fP;X8fP;X8
cfP;X8fP;X8fP=vQ7X&J-%`I7Xd7wb_zt|Pw!2kdN

literal 20504
zcmeHP4{TKR9sk~4X^%psVBI>=`3jhDm5dI{_RhBSl|OoIMGF)#Ze*`sEB}TQVae6r
z^B!<BbioW3w+Im|kzRy|aTz8iqtJ?U;xsE6E@atms5NORlR9uaEco{M{@#1-T`8>&
zwI;qM@b35T`}=-Bzwf`_H}{T6DIuz;Y0s#r$Fokas;D7S(YF?TYtgs1jux%0sd`|I
zR!VFATTZU6&!Np_G0$r4+;R#lRN+q;G?z#!CdyOWGx9=s*3ynVm5Ahz3|E3k2fb~e
zw+-~R)hTyxtBH9UwY)U_K5}CgQ6NT=mQB-ZYF(s-CO;eo4>D1#%Y|pHOVWt;B_z`C
z8+zW8347kP=A8Q>g;VBuc7<b}KZK_d-77e7{`*EE5Sv$}#oP~SUg&Ym^Pu*X>w~HP
zqlmpKv(1be1EVefXzxF2z*`$T@{jfjjPCx<`G2$Vcg}xw&wrG6AJy1D%Cd{?9sM8v
z6h^}5%N`$|yXznQviZMW`qwYvNEB2|P+c^2#<>Zb%iMT&;mLPpus(mJ#m=~cfP;X8
zfP;X8fP;X8fP;X8fP;X8fP;X8fP=u-7Xhi)s04RvuKE1>GU{;VAmAY2AmAY2AmAY2
zAmAY2AmAY2AmAY2AmAWy-3YiyDW;COa?I@wFDAWMq9&ONqAGv?KAT*Lca6NnI~``N
zfbiXbLfWjv+;?e<`MrSxyem+(Kaxv(&{w39qLfH@mw@}SX%D_jpvqo+x1YaDAW<IE
z>xy~2;iT^zxpYX7%tOL>w~y#d(ZRS8oJ4AIdxp_K1wr-v5o2XmhY@6++Q3t&?}La$
zo8%LJ9^kDQyh*gTixSO|V!_j$+N2~tb41@P!KclmCy7S|JU)6e1(@%PhM>#%x^&mo
zJQ~LPMa;`d@ZzG#HlpWejtBh$(3k-l|N0gMuvYCHhEA{1*2nUOCO;7_hRim-A6z~b
znUfK$9!pzh&Y<1Oatg|aGJ@fq7R}2>ssFOkIP*|OsdmaR_dN6+3KU@8>E!+J1&(BF
zllL=>hl(??XF)?yoHNUDJJ$ZS@6$*DMZ|tSYrjm2+)~vW3^RS^W1`i67jPP5eP+1}
zzykw@KbLNP@5PVzHfBn+XJH3T#rq?^^$O0Yl=j`ha@D3chC-9qgj)@tfAdLSy^DPK
z4!$qty%L^NB{ha~DuUrd;7^hEN4!`Yn%ao>H+*<6MDf40$fLQe_fSp^$Zs-|q~Esu
z7*Hu&m$UVUx@^psVqLaAr91Zf0??BDv2g{Ujd_wTdogdeHSX2tc4vdnOz8Rag^EVw
zCCI4wYbz8@oPBO82Fds{Jumh+{%r~*Ha1lMj`bL4ADa4HICMu#IRCUyd#^c+_h<Ic
zoDW^H`6TTB%BQBD^Lhdgq*F<IhPQq!d24e1=F>v+Dm1|lk7xV*q))kI?>GJLKFu%`
zf9KrJhR%7u`f0a4+i*kgihB2JKKzS@a^A!Go@jXbLLKkjkh)!;>#xFjx+%ZgMPvQb
zZu8X>W$xgyXE2su{$@mi3~2M8OHWVLGsDnjw%sRPO|q00ttKU?{sVf#@{Xg{($<6V
zVCR;2!-qyZ*e&E@44Y){CST3Lcr)H1Y7W7Ui-=D2oj=lC%e1mOn$=LxzKFLhsJ`<j
z6AL~kw!2s1Yb1KN$Ib2DqmdVYo#4Th%7Z5MYLX|RpZ8&Uycg5teRz+0i?+w2{bND9
zttXA!i6fDF#kqh6c)Avi*%pm477h4E@K@HIF8DhD{pGWj1jeDtsoI&FlCbooVmY9*
z&{qpnYJz`$IjFLqBx)@>-DCtSJLCPnu{|T+0E|~MzKvHHE6LAmC-nMiLKj|#%)a{5
zSl>&&I-20a`(CA&_P?2m>C51m=(#Qv(|wU9!83TUFtvH`f&L?i8{GfW#Hh-2S6H-c
z3~L1~qvsK#62|eRiQXDgj`m~8yfK#S&-px<hJ7C0CrrME#4<5}CHrp1^2MAaEC>0&
z<k&)_%YN+3@rCvD%F(EL#W3TH9b-DOj9~d?qmt*@@rLItwRqxqC?~}n85qUfcWQTW
z%s~wNEb)fG??~~+<~5m5=8<Fb{yy`3dtu*Kj`CUR^1*miWuA%3cgE4*o)Hb5KN78F
z-d*TBjJ}SnsOrY&UHI(5GXx)&hUYRo$KY9rXF8sUpZ*Ly8{aU`fn}ZnnTM2ft||Bb
z8~fR&(mDTtzc@IF0)>;BN)6*ok?@ntT7puVvAjK_rGa(+@UE7X2jlTzZ@eYQ`X1`*
zjAV7hR}vkC&xi+id}35Gz0if@B2QqNyZ@M~<Imu{IA1Vzyg9N}oZnv}oHGdBRXCS9
z5_wegFV@nazoZ<9sAx0Jp$o?%jJ1s~V_IYFQ9pTg*vyqSgsJ!Wh^ZT(;WlYZ7c_p-
zO<e~>uEf59b0xM9_PwmjZ%m{B>wWJ)Ompc&_=mztt)(K5SQZa5UW^B0b$C~NC1cPF
zoYJA=wq7$<j0e#_`&M6KOa}a!ZG$`xe^?7URO{MPar>#TXVb^C{5;pj;3P0uVa;a@
zI46s_mmm*gx!LXyTpNpC6AQ+GvEXyD?fO(U1^7%-uoz_DEGt1y=4Tz|UyuGQN?ff!
zD~_k)@Okxzyu<4cW0z;`aV`C!%+IbrTPJ*R`jd7I{qg;GWc|7Q^;FzO(w|$c`6KDi
zRagw8KTqE<vi{71{<v6wkQ=fN**<o`e~ijm_T5M^??!FMQe{$L6SEKllh<eQI+t$V
zsjPL4);i&Hkh>rkK%ABQd_Q8F$DW_*j#QA$Ym><<=kPl}HYy8jUXdqoY`MwWvwm_U
ztO|R49J#zyLN6m;1fGu|$GPhM7C@hnMbhO3L(pt{&6J<>FZg@KgIt7d*2Q-UmZk6g
z$h0iB;WI@kHtR~wZy0lqYlAUAdGTt@7xwQta1Wiuu~zu$q<d)g7jqB27RIx|8;`L~
z@cn>uu{_adowbGg?lu#n5phrAmvJ9s(S7^E)n{35(Hsu<7sri^`%pQ$t?x^*FZ)vO
z{Gj?uYpR~(UR^d+Zk@+#p#Rxev&mX>Jvv@ENh%2~^VKjPoUbz0hj$@gg<bZ>eKk*I
zQot~pintaarL`>QTpl6j($0S~zt@gUZAS;rWR<W5j`y$yg>B(T1i30~0X2e5=oNCf
zYP4BDnLfvRzeRs=>}TIyXVD(&Y(yM`O<Wv1#MyWTY=Usd;yYeq<ErX>r5tzA1LFQX
zeZEiQyPMpys+#X@eCO;;3x@K`16u9PiY5(uhdcG&smnRGoo$Ezg1=Y@J~*%Xa6(h5
zxJTr+1i9wYxuvCnbK<k7T7q12=|Ih8!AFc4`>3{}RXcn&OpEhjzDwY)+P7+NP%S%>
zswZLS3Ez2y4j{*Y&sTUI?|m!snPeKg-es+~eZF1CfnOE*Lk<pi)m}4yF!Sog8YzTx
zGjj&cli2@oj$r3cTfJsJmEwPru;!XqA$aQd+1m$v{vv!YrqK4Iz>I5HZ?~k%7=nzv
zp0KVQcgqx7kTYut8jTi>f%yKQRtVW>yD3|)koQMIHVJooTRxV{&WS#6tPp&0Ud?gM
zl96M@y7Q?ra;)e+Y|3cquy_xM{rLkK_>B(tCy_$7mF;XRN5z?P-7gJ3*sl9M0RGwc
z`^CM}+>_fb>?MH*&OLdbP5t{!o$;(;))Xl*v=7$}vz8c2&VvWVk%4<M--)?~@mdl4
zGnSKR&L&DU;y$)p#9EdIeLGOM2=H94X-vDVyTL_9QGQ@eSi_y~t>nE1<(c+gp{aYq
zA;eU+4STPcXO<T8+^Ma@dX~HKoKYF`oPe#og*s_jA`icLf@fDf>ORxpf4B~pcswXG
zPaOL}y9c>^57$Yb?lCIO8V9L7k5H@A^(i|v^cT<*q89fHw<$v=J%{?^ZskTiWt;)e
z_hSAc%#FD>gm>V{ec9+M5q*z^nGW|&XS(2*Kj-4}tz!J~@Cs{OLf=@?*AN~K7dw8q
zJSI<1L3YE~T+Fr;RipB8*a)}z`~$U7nQL0y<{Iqj^-;OmYNw(7bX`>bjny85_L+yH
z@-M7*I@-^yjLJW^+8Jo;tD<t9)%K!&XmwOxYPH9r-MS_!FR<E~XkT0#m1kS+acC3x
zyWMJ!=k~g&e3RAA;`xt7<uO+K2DD$m_{Y$3=6?d(8y|_vA6RYFGvx6<i^}g<?TKig
z+5q{jHe#B54&$#_?HkeF_9)~>n{AtQa<f^R95xr^d9UhIPy-`%D|DF1*GSYjvq0pO
z`Q16FQ@)r+;RE+csA>AvpEEW?|JQVhzVE8xIqAV_Gj8OInkM(39hj@|TrX<Aq95}+
z25bUbrpBzH_?R&SA5uRb`Q3t#`_=GJJb2A{%AEAo)%aZ^G573pY1lYt+ofR~>$iOu
zeflfZ1VoN%+Px}oh0VZT?idd{;j=|TBW%@=XOfIo4IA~Uz&ym^UyAxZ=jhBY*Q&d&
zg-5Fdf9R{hzj_-}YK4za_tksh)8W_6{<{gZyz4oZ=i)b&s8uP!?<rxt!W>_Q`ZBM>
z`SQP4_4kl(n(Mdf?n}3D+(7%+^L$!bB2a&9g124=9mIY=uN#jsqI-7oemd$r0`Gei
z4Z31t4?OuZ=M!nDpNnzPH>KMH8slyKxu4fe>DQ41RyzZ8a8Bkr^oetX3`7|_4b=2=
zr6gH~IXhD}*5iHOvvrvJcu&^lY4qDNH_K$*mr(1kNgKQ`#?Rn9ykc%p1@?lkv;F!7
zib;P}WlNT1WfI+8R(`L9erbN$Vg_28zodK#K1oX!FD^g_KfjMB&*i_3bsIKHcy<_N
zeW#6@zB9(AzAj^LpRIfB0~rU5_h7sS<2~%xF-Q1x+rRT1{>)>xzZdxNCeELOfP;X8
Qz*m7lfy>&(dP?T=e{6|~O8@`>