=start and nums[count][0]<=end:
+ if end<=nums[count][1]:
+ end=nums[count][1]
+ else :
+ sum+=end-start+1
+ start=nums[count][0];end=nums[count][1]
+ count+=1
+sum+=end-start+1
+print(a-sum+1)
\ No newline at end of file
diff --git a/ACM/校门外的树.py b/ACM/校门外的树.py
new file mode 100644
index 0000000..b9b44d6
--- /dev/null
+++ b/ACM/校门外的树.py
@@ -0,0 +1,7 @@
+a,b =map(int, input().split(' '))
+nums=[]
+for i in range(b):
+ m,n=map(int,input().split(' '))
+ nums.extend(range(m,n+1))
+nums=set(nums)
+print(a+1-len(nums))
\ No newline at end of file
diff --git a/盘荣博/README.md b/盘荣博/README.md
new file mode 100644
index 0000000..3ff7495
--- /dev/null
+++ b/盘荣博/README.md
@@ -0,0 +1,7 @@
+**三个文件夹**
+
+数据可视化:暂时没有文件。
+
+图:其中包括最短路径和最小生成树的展示
+
+线性规划: 使用scipy库,便且使用scipy的optimize模块下的linprog函数,numpy函数统一操作数据以及使用matplotlib库下的pyplot模块
\ No newline at end of file
diff --git a/盘荣博/数据可视化/week1.py b/盘荣博/数据可视化/week1.py
index e69de29..12f7640 100644
--- a/盘荣博/数据可视化/week1.py
+++ b/盘荣博/数据可视化/week1.py
@@ -0,0 +1,9 @@
+import pandas as pd
+import matplotlib.pyplot as plt
+df = pd.read_excel("棉花产量论文作业的数据.xlsx")
+plt.plot(df["年份"],df["单产"])
+plt.rcParams['font.sans-serif']="SimHei"
+plt.ylabel('单产')
+plt.xlabel('年份')
+plt.show()
+print(df)
\ No newline at end of file
diff --git a/盘荣博/数据可视化/棉花产量论文作业的数据.xlsx b/盘荣博/数据可视化/棉花产量论文作业的数据.xlsx
new file mode 100644
index 0000000000000000000000000000000000000000..162f47d4b934fe6e413f8139efcc5181e753bdb0
GIT binary patch
literal 10442
zcmeHt1zQ~3679gC!3QT0Tmr!f?iw_>y9M_I2$C?ky9L+a?ykW#5G(|DcZWAg&U-nB
zd)_a&x997g?ytL6ckjKbR(0(yFAapj0>A+f0000fK!^i8Vgm&Lz`z0km;eN5EfHHA
zClebdJ!Mxr6Gt5e7i%k$Oc-dIbO1Eu`u{Ee#Vt^z+-K9lgx;*SEg;&W8kpfIV$WRy5BtDdlKv>(fD2^R(kh)_1u
zt`|UGP4Dpab!b3KKYxp7$m!y(NKYX3L#?SvfrV9-qBO~oNQEKhBJ?>{xqN-qHL>J&
z|2S5-xj8d6qD
zYToMI@_@%8LR8XUPgXeBTdam7og_M*?6URd6bI7xYntrJT_E1O;F-9e*}lj=!Sx#1
zBuQnCIC5?FL2&d#H=hUmXxPIzC3Gx?-b6e)Rpr1v#J!0@4V&QP3{Rc~#5)_{MwW1&
zA;Wkf?}|8>O`nGlUKP%v&ZlGw5iiCap+3Eb_}Rk)5Fq~#H?3A-B0q(2PX=-p3F4-D
z4klKPj0``w|8vj(VxRoms~1JdzV2i~_B(iW>)(4ZIUj*8EbT1xs*zOL^P}WBCf9?iPwb0GG_}cp`SMqv4yG68By!(z7c96(ut+^D@I!2W~P~
zJ!7l36Vaqr%sY2_x#V6&GB(g9%ZNk|W%}6%%__E|ffUy+4#dvF-orj{Fmc`wh+_Sx
zllZ|g0mC2;QVr2EG)T+1STQ==I#?Ro+FJh9u_EOK+axA*&$OxssH+t4RV<9JvMh;a
zwoSpe5|1KnJ1}-zFFT^bn!bi6(RuVsrZ@Z_7Ur*Vr>r&bcxWkBRD2F&LyfVC}rH=GRG4ss->ERU}U~2a+cp
z1nIs?FG`Ws$Xe$%6+tcgV#^S5%Nxg-*Uc(xN5n%L*G_Y2LOBD_Y7FfBQrh0usPrke
zQ|cAceXMyu{^q*e+TfNHX3rIwLFD*_kh9FjVXqWSnlUzEIT#bK<^dl?#QbeFNcfOH
zaGkiG%Zy#863l;|V;RwKFC>+c4~-8SN!yo@so^8ewC48y8c-mrH1bsSDek{{XhV>kQA4Nwojhr<_aqLEPm5f5ON>{eO?wG(rLf{@r%cXyJ2F#L3b}v
zXVCo|M?X6k)0dW~n`}rDtihx3;`SqEi1GRUXdy)cG;isl^WJ{TYpD9MQ{$C^Yd!~y
zKaRJ}*G0RdXpGXDll_V`bk+$8_y(*~{HbPJwP2VaR9_Iy?R=;=)g?Eju4OBfI*jXF
zyGPrlJo++=LT49@oUUC}E|3|*Yx@aD}&^W!*_cSLyYS5DcTp0H^N|yT8
zC?AGAf&WHbFaDVL69{D+AoL{wAV5K=`#Z${oxuM$+(SXKF^B{FcP~YXveI3UYy|1v
zpUFAt9X7^{6C>HK$_^SrU)A$DDpFR@(}kzB4La)Iq#1#>ey#^YJ?}1FqAmk5&)Vto
zfc?vzrQKq1Rc$TFr{|_?5A`B*=WuCYSK_e~d_+lJ
z6j#95<^(C-WxLop!g15BsjTa;WqZ~&@)}{G^s|DOeC~cuB>ue;#2=nVIj&_UHmV#f
zISJqNKX08oelc)*V7l7ZGr0ii>Hmy&c-5XYkaLWk%=llPk23I#p3s4PY%t(}OK^Hd_6YBS8-ypN0Xm*>`z@ACsdZp&*o
zZ+1U8HI4-pwYi$hN>)etAo#x;vVwfJQ|Us{6f=?O7LN&`A5~s
zX(c)KgnNERu#NyYnFGofUeeRITf7!)@*T8px~u|UU*yd%&;QkzG3wS~WL(J2PnH2&
z(^mxqW3RL(dSK6?>1%SH6|?aXX!2Fo>iJ{E>;blyaXZj>JneVmcjatLONs9WdImf%
zcJ40Lr%rHclD>|_6H{NG(_3@c5}#69aS+=sgg@Nh-Jc*|0`J!@_tGA&r@kJY!IKuX
z?|C{8K0MIzaAs{@VBTHVhc|v6x!d33ByRxQt)7C*K=yeUBp4o{f`NDzKG6Z?;x2&+
z+u9x2N1{GD8X|qOB4Czt*PW3G!MTF(jfTVSp8M^>iW9FK+1_c4B|fAA-Jc@Uw6#GE
zgW4*>4ehahfX%Umc;nHBDx|?gvlhBaXfu84U&3ZDN)i}%>&%qj!9xMwfY<$j!Z0g9
zX+6j8_FyC0@q}%QHY5JPrTm*Fy7dkTOqG{Jb=ZWTvV(nrhGrpO-R(Z2
zl^in#!KRzXdP^29P_7Ykb0hMjnvAETGQ#Jv;L~9q*(Fikwd3Ko#A@WL1zzXU26~YbY~%y;
zOUSfWOR|E+vm?l~yz>%GVd?M()W=vG6W*w%+cbU;D;bk$-FRm=@$RkOGfuLM;@44j
z7(4CkeOOKHJe>_XLegJYG$+{hgIsfc*@a(|+w_zT==(H29B$$;7N>@vS5x3^*ji>P*=P2R6FNyfg=-6%COC*@
zpA4LH
zBdK!*GwEiRm4{VX&YJTYgg@8TC@AbO&j0ZTHx@$wt+_%;asw)9#@<%2m0tY7K)i
z5kP3n8lNDO<`x9y$4y0fK3OE=6(uM_n)e3?m9H$gdEWs$ZQ
zf3j^GqQH>j(Zr1I^9?ndWMTqe6n$Z}CYxAR6upqv1*E~*kXE??-#0|ihpK%D;?S%d
zIY;8iJ816M_h`;(K8-N@&T{6`a*hlQ5~dfF!2goj!X-rJPTWR+X5a~0nww^g>ZSZ{c~ehDp(b`Md_!EGmD|!s=!tF)gjZmBBsVVv
z3}W5<&-gkH$EOUngpOAh`NsEC#BOPue9o>s_ryQ-=2xJS2^W&VoTBzsI0N(8rE@79DV~Ug}Kppgfvw
z3@l~7_aXVB%n`dYfNJJ{p0%zIKLJM!BLk?q-e3>@Q+Jn2(U66xIf
zuPQlEK;@qeQORhCN@D(2NhdQCYZJy_+g}2?tDzPAlmp9?@l*i$WdD+VWdLMb*7I)M
zlmk(NnlikC-YsS_WboCGP(-f?-dN#`h`1&!DZOiXDIf}471|x+d{jiPK&Hf}atY0W
z8H)LsDr092Q?|4){uIa4t#{|&ivzgfIhTC8>1*9{SGhT#l`{u^roWg?*E6d_#ie;h
z-f#Hb0XLy>qekF%@x?5NG^`AGX4K-VX+zUxRj9s7P9uJcoV0}3BC8G}g(~f<;*=XD
zoeniCSEQW`!XPW(>7s$IjHkwA=@=${?dfs9*ST=u3HM?Dydw0Oub*MNNqYd5TLr9@
zvhwtirv}+27@o}@72Udi^m_sk>LL9SHS
zAjAS65M>~oOvHjhdSpstN*E*^tJtdS`*1v^^tzwi42itBW))WEQZsUOKzs3R4v}E{5Gs(#nPEv}gElzb8|U67
zp-DGXC?G%q=&L_x*g!1|bTRkJLz!yNMJlCEXJKEwx{~$Y(M=eHEw6HC4nbaIFskYV
z6#^OhYuM1x){iEBxUfvwt6^}LRTHI8BiPyU16?WEqlE%cKB>_J!G2oCLz3_`y1~7{gU9Ql`?>Ms)lqeCXeSf
z?Yu?C5*bKx!=A(wz)Un_aw8OwnHb9&C_;3DvEYv-HjGVWb*N(+hJJ-=FL?CDPLFyT
z;i6C24y8-wa}0IBEz9c{<-FmET+eWwz-5Z~qn;w;?gPxfA2j`gilCjU}Tkkp_
zM2F@O%fs@Kdf41C_XYC4>#&8F>f^oGVV!bY@?`wJ|DapP5xVv@en&e)sOhA-L9<@s
zDegX|@K&n2d{gJ-Y)WSn+rCJ~ta4t;nguxr(h~C=6<(b=Sec00U>TFFqZxfj-%C$*
zZuI$x%gsa6f_@4eJr}+rl|TN15!Z>yskjcJY)eCy!qUbX>KqUu^ykHDQ>^^B)ul+$%|w{
zb(?DK1?dqeeQ95sX9Ju$63_#i{fo&K*&JNa+xURO028>?NE@k=r;XHZ@wu~fqO&9!
zIZ2Yj(w*p`_HilK?S1B78WQ~{(y4XI2~oI0->+DAX$JK&Tc?+oV6nYJ)v_tx?!=fu
z7}DH_Ilnu^8zOP8(>^5Q_GPV#d^HaBK-JG8UAIa0EEiQRGrB-X6h@9vDl?9*v9%wL
zfDT3Bdp|b1k8_+hrtz8%IlK^ucL+5mFX;VrHE3(=6dQ|w^2v^x%H2?V1yzzr-9^Vy
z25a`oDlHi6WXEKyjd{uLR!Odzi^?vw9#p~m5GE^=xVsG>MC(89Ao_;1-xNz{P^k_y
zhD~%2V=%uh`
zS<5tbT(mbBASRY;qY)HT*WmkH&8n6O=-Rr>4I{eou6W#5H7P|iL&N$4Nw@YZ4V$;-
z=h0%=Gn>|@m!YN)VLOC0Wm6?^y2Vp86a7N+hZdBQtz$1Hnx%5~Cg(y^r&^-vjnX&r
z-HlrS7qq%_AO5vkAT8pflnFUQiwppu{1!DwCs!*I$DiMO6RJaDbL{9XxSKraO_pay
zedQ>ULWHGW0CNQ=opd$LOe@1Ha{1Ge%
z7G-L&E%tiJ*1cbY2sfdXWob~Q4`n9(4PhAw2RqX;rUWWC(OqB2XJj2^H+STq9qBn_srAR4~F$)^DDH;i<3@Bw`rP<
zm#0P4GeN4IxoF!DrE(K6+g_~EN)iZYRON=p-aHsaAgj$~Td!h@s4-0{zT+tHS*T`#
zYl&eS#-E{)tSff=uzV^x3W^AYNunPpAr*JqOBghlJ%I_=+9vIq!9bnnXHZV+nKyU3
z0`TCk-S(3`v~bEBw`Mm8I#9=T@B$A>QqGqzMDip!thUUk<8m`4TL
zIhfnL`Q_7A5dzYkf_VPU?FV*Ejm>%KWX@9=Bz0Vy@SIVWjuB0`j<#K4+z7%*4BT%)
z+0mP$IT)?7(d$Nd)eKQb7j7;OhXMC*Kb6r%yY0w#*f0W2nVcfKBYlETqEpEAQ`yA1
z?ae4cLj7B2e}H~qTD}>R4hXC;8uq|TQoczYK&~;~JXThEdV+DGVdJ!FWJDu-sf$i{
zsH_Ep(*P~mL0SgAXJP>NK?Bh?mPAFCSZz()P7(Zpqjm2+f3Ys{r|x5cJgV12d(yad
zNiVDuMkjp#CX@{VJdOgtrHEFky*Z0PjUy
z+@invB8w<-kkzSd01dBa;pXBaF0k(0DhW;6*4FGs*4UG7c=Ml{qDH=$Xn^)zHNrJ3
zJ9L|+Zxt%%-2RS*NY5K#@RgzE6Hrc0DzGO)9UH0KSApUVuhX+@raTNWKZ1XKMl#Tq
zsqZTI>1a`bh4rx>d=;Zy^}&l(4>fOYK1GfD-7pVgUYo4e;aA5aK9XD!`uv%%xO&C*
zjz1a-?Kq#OT6&P+ZgJnBQsSnG5vrdXm3sP3XJrMHo&Pxga-o2fjr)*puFGRPhN?I|ezk!F7OfdZs@jRC1%8`~PmJJ{MeG8)-BnEW+`;D1GHNYlAT
zDM)uRVfik=K8W
z=W$;{?G%V_1W>_wy*F7_jurS+_VxLG41G6A*uHn6xY1mVWYRgauxF3}
z`$*|sfqhP+7NVdS6)YxBovl^mk~s#dn&Sq?(wDg>tDVf7YVQ?K?cou6X<+n4zE>Wn
z^7F@9Di0#)bQ$AEi%A~fHNV-qt$gZw)PlsuHer6)+ND7d?JBcDDT_}E#Z8(DC9*&8
zTK*P7t^cfnbL*U9e1Z@U9g+;8|DAXSc6R^c-7jzbwMmX@x0(AnHVk`>>bD=7Y(wKG
zsH%`n_kOwzAo*U+gd2xe8r((DmueDE1hNSc?DL=#Ox?zs10m;;d(TJ4_?wY?_Z7&
zS>Ph52L+=SjXg1!x|-bFj4oxmX`0lBB@PB}#-$%*wWkci5`Q+#kM-rkACQ`X0Sn-E
zz09*QM=~*t%IwxaBJdcDx{|ZxF_|fr8ePIFQW>N1_nE9lktCjrVCw(y!ISUy?&x8|
zwq26g!h_R>sAoMZ`5Xm{ko_GT5FXLrht3;kyw)OvtObgf2zY@E-2Yfv1ZC&qI5_oM
zhOzlD^@fV3mfV2YgL$8!xU*l6*5|YJGo0=URSYTaHqW^ma9ysL_*~+k^LS9}4^jit|9gnP
z^!<;rKSp_6^!tOd2>ONcxCHnZ;PD66AAoB7UjTnTw;r25PUrrZf{A{cK2Gi)BRtM(
z{vb3zd)x;9n&UhMe4Hfw0c<7y1^6gM_}7%-G3Y-v{|_VpAVvZJ{6_}x*!-W7`|sv0
cWPdaND~`)c!$LR+03bttR1g}6QT{yoKjtY7ng9R*
literal 0
HcmV?d00001
diff --git a/盘荣博/线性规划/插值和拟合/inter.py b/盘荣博/线性规划/插值和拟合/inter.py
new file mode 100644
index 0000000..4ec6517
--- /dev/null
+++ b/盘荣博/线性规划/插值和拟合/inter.py
@@ -0,0 +1,16 @@
+import numpy as np
+import pylab as pl
+from scipy import interpolate
+import matplotlib.pyplot as plt
+x = np.linspace(0,2*np.pi+np.pi/4,10)
+x1 = np.linspace(0,2*np.pi+np.pi/4,100)#num个0~2*Pi+Pi/4的范围的点
+y = np.sin(x)
+y1= np.sin(x1)
+plt.xlabel(f"安培/A")
+plt.ylabel(f'伏特/V')
+linear_ = interpolate.interp1d(x,y)
+print(linear_(x1))
+plt.rcParams['font.sans-serif'] = ['SimSun']#设置字体
+plt.plot(x,y,'o',label=f"原始数据")
+plt.plot(x1,linear_(x1),"*",label="线性插入")
+pl.show()
\ No newline at end of file
diff --git a/盘荣博/线性规划/插值和拟合/test1.py b/盘荣博/线性规划/插值和拟合/test1.py
new file mode 100644
index 0000000..542cc88
--- /dev/null
+++ b/盘荣博/线性规划/插值和拟合/test1.py
@@ -0,0 +1,27 @@
+from scipy import optimize
+import numpy as np
+
+c= np.array([-1,4])
+A=np.array([[-3,1],[1,2]])
+b=np.array([6,4])#小于关系
+Aeq=np.array([[1,1,1]])#相等
+beq = np.array([7])#
+bounds = ((None,None),(-3,None))
+res = optimize.linprog(c,A,b,None,None,bounds=bounds)
+print("目标函数最小值:",res.fun)#目标函数最优解
+print("最优解",res.x)#求得的最优解
+
+
+c = [-1,2,3]
+A=[[-2,1,1],[3,-1,-2]]
+b=[[9],[-4]]
+Aeq =[[4,-2,-1]]
+beq=[-6]
+LB=[-10,0,None]
+UB = [None]*len(c)
+print(UB)
+bound = tuple(zip(LB,UB))
+print(zip(LB,UB),'\n',bound)
+res = optimize.linprog(c,A,b,Aeq,beq,bounds=bound)
+print("函数的最小值为",res.fun)
+print("最优解为:",res.x)
\ No newline at end of file
From e0d39ed5533758d10b248525209ccbdf49a0a00a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E7=9B=98=E8=8D=A3=E5=8D=9A?= <2858829498@qq.com>
Date: Fri, 19 Jul 2024 22:14:09 +0800
Subject: [PATCH 2/4] =?UTF-8?q?=E7=9B=98=E8=8D=A3=E5=8D=9A?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
盘荣博/图/figure10_9.png | Bin 48412 -> 844322 bytes
盘荣博/图/例10.py | 2 +-
盘荣博/数据可视化/shuju.jpg | Bin 0 -> 2813674 bytes
盘荣博/数据可视化/week1.py | 43 ++++++++++++++++++++++++----
4 files changed, 39 insertions(+), 6 deletions(-)
create mode 100644 盘荣博/数据可视化/shuju.jpg
diff --git a/盘荣博/图/figure10_9.png b/盘荣博/图/figure10_9.png
index b184056b56832f07c8fb3a1b96b012ad365f805e..ca823070ae90d2e1250267e0fa5ea8c923d50583 100644
GIT binary patch
literal 844322
zcmeFahhJ0K_CAbanX#c`LunS8(gYNw1_u>G)lon?3J6M5Ksp3<1RJ1<(wibOf`Al3
zYETpmy+|)X3B8A2^R5GP
zv%hLo6*Gg{aI{fSUYpE
z3g$q!k}>My9Qo^!O^Ps!|N7%)A|^NaU;l!_QVfDWM>rZF5BG&w`KVG+)e*3R~fH!yix-|yV{8}{zgZy$x27@sD
z+G~s!`2{147WoAu3>NtXBMb)l1tW|G`Nc+lvdAwOVKB)r7-2BTFBoAo$S)ZA$s)gC
zgux`gV1&USzhH#XAirSbCyV@o5eAd|f)NIT{DKiigZzS#pDgkVMi@-;3q}|W@(V^7
z4e|>{ezM3f7-2BUFBoAk$S)XSGzilUEkC)HH~BX!+Km{e;BYCnWXeMG)W<*Vrmx%e
zRKn}A{v^_aouuMtL`-bBgiEA{qnJ2B|M~~Y%%IyupXs%014bKH20~sv^h4E|1s#?A
zxFg;118w00jbm<<4zdXshUWg=>5c9L`P}2+VAH`S)7C7?_lJbu-t9zY`k{6OzrMuk
zovgI-E{&=;(9!Bdm}(1^9VSM)(-s;^{Dw-!`Sw2+NK#GAx<=i#mc9UPya!bh_evJ*
zY$!6~*+5^d&lf}2@A+yz+#y*e@rV$^2AZC+A3rkrf?!(~LMdb;sDrGOjFJa%8rgtVH^w;+ys-dd=
zei;Xq@J?+rags!qaN)93`qWZ!(r%+ixm{mx
zR-GalIPo~O1&6r}HCWPLyd8sTVaO*R+eB)%<UZPr;I%JnW0iTqn(=>0*djz`J$^w)j+=y$Il@8nmx
z&yRA?j?RyfoXEbp-WchzQq!?6%1|~zMRg;1g$*jx
z@rguvm!9XQ3$w|A^j~`W2z{SigKgomBMK>&^$jY=wIthuWEY)NY+4&s=)ZJv-K!$b
zmA4)i@8PfZG{vn%dtlpOfR($M8oCr~s(}mk*
zvXL_KExG=BPJ({0RU=+@{<_`bj7bu`%eU{~UTH_kr%nuJkhW`ZYsd%BkJmI<9_f98`}-%lHxRfzAkDT
z@G-l4#6vvC~-j1oGNRM~b`s18e
zuHXlo37gpp4e601|9}L#W$7Od>8Dn$A*JOHaM#@jnj6ZH6;kQOe~5AHI9cU>>d
zo8irzsH2og78!ngZL=_ITI5Fwv;X;G2T^`iJ@L(l^h%A?9qFI@cjx87CQ3{ozC@VK
z?RV6*;N`8v5ELqSEIVsqHaS
z$N1%XclH!<@l9n|H&Zx&7=4k{7Vgt%u*;D~D>Y5o8nAWWZ>w}p<-c9~n@(QrE~m)9
z&R)3ib=Ua0w0#e>xcao35BDW$d8AzyN@r0K5N16a@ZikOFH+cj+$S9$v;Ov&X%(-a
z&KI%nDW#qr#Q|pJE#l^eN&V8=e|CipFYs#HEQX9MUD^0czlFp?+4&!nUw6N=gfK1C7=h
z)eJ`2QLQ7rGK^vMqdlaT*g_0zP*;V<7L4rcdKCu5I(rYbkJqJd6j3#t$};V(uI3r}
z7$B@>IM+mZ@lcuZOJ3+NC34Y@yL8JCj#(-P=BwzX@=6W8r|@A88PNNn0!AElL-`Iv
znIt!I=o>xltThrXSvN^;ZK;bDA}f%AKqWXrl{F-7JPI$0~56uE?#XJwU@L}<)G);Z>y;v$a|AK-&3@%T1%wUU=C}Nvr+g=`SECnwLfli>4isB
zbfcAo$_fiSa#G*n95p@TS)$ji&TfoG8#SPMC;fM<)}d~E+#g8WD|NL15ttNniIyIZ
zxH<27&Wnr=qh^X)l{&ZSZ>H5RfkdbT=I5t%N04sT^T-UG{pm}UsEz3*k#R-MuH{A{
zrv0;^eo)R>c>gd1J-*|Ix_RAxLL{)(IEPb2X+Eq^{b{0n*6+l6>&^_K+9Fj%MVtPv
z-u}MH>&H8l(t!p6?o-(@0>&fLML2z&?TBL3-
zupXuRY;1Udpw3^&XFoqAXt=*%ToJYpC<^5KLo%^PT-#ki+7qwShk
z+ZygZU4YD5ruXH<6#dTdT2+A_x<9Q3&!eKOo!_3}e1m#l<7pyl((uxlnRTV#HELMj
z4r|xu0-od%=4NBpXci+t|8eKvQCp~o4KWEuKWlYUg^zsNqUVozvh<}R#(Pjh+lD#n
zrkG-TH&|d)0=OfmPxd06(x@N9zfsF7L5>OJ?GD$5p}{1HM03;!;pL_?sA)9F#%uA!
zhJm%4$cJLz5E)i+({Z}bnnwf+>cT2Ekzbr5P36HA=!W*{zJzjNwW$UZl6D>p?d_N3
zZnlt1zYmQSL{W(PYHqfkpu{C)uu8G$pg%WlgoV+1(_APgd3!ZL5SurVP`&fWxcgWr
ziJ66QZQA$HeLQcz)AaKL~Q#7G!M)G!Y_mqoX5OvYc(
zLDU;bnJ~0ehqW3q`?0BIhUCE-^7H+aVgW+4tq6lPj=V&9s&RokZ7yb`*Y5A0^mf=`
zhVqQSbaxlKa;X>ruifxZ|L`ID$(%x&tUV?i=SiLJKt4+afAaTajG4w?&@uC&r37Kv
zBgtXy$Y15M_6r{LU>-$A&9(h=S;#Yl_^ft5G}g_RY7Wan_rr=ut@FtDys6ykwfWw5
zM)cnB0KFU=-Flu=Zf{i9W@77$#i#`cgG1Aed4z(#xw{KQTHqT)gRIpJXXCY#h#7RB
zWf~Vig%Mfe&3^naj_9!VZE_xMVPa}G-G{wAO;8r@p6WN^n`$`^17CC^=PoYNuSTUU
z`p)J(CsX0hUWLf#I?&HH|M6w?pnbhq;oLNsz-!@5(*-$th7@IlzO&4(QY@$YTjaBx
z?ng2gXBl0cj)Fz>e}Aa5n<=z}Vay&$6#O^~7pyumomoV8+e{0u;vH7rVJ_ubeB9!0
z-@8HLLp8S~UnURfBlkl>OQb0l--*?dU(h9(n&Qu4)13?bWw`f5ng+(=*dtBJ+)2t}
zFSuxOJqIOQpF-#y$TVl*&0gu|C{vhcQ}ESmt-NCKUkOJe7Dt=ja4|KWr5#&Wox5sy
zuy}U=<2wX)Jmm|w4^MB)y)k|Y1Sx-yHw=+Xp&2-QXj%2j2H&(V$<2ToN`9Ki`n4QO
zU98?Flx~2p=W$WQW7JaY8`%xN^cx21yO=Qq0Q%X{(yesFZ1htct$Xn&2E)>5Okcz|
zt56HM`M6yy@lQ@!ItL^sQoi{RL`@hec-p)2>J=Z@v@g)eX8w+Ex-dzEkRwA<$EvHO
zyf@uSvmR`knA*EycX;I$fZm6=?CI~-Yd6`I;N4|NhFJL!O5TfO+&37cg4tWBuvORJ
zi}jp{uilwe{K+0%!N!*7mc|6dwz?GY{8rUg*OV=vPb!UjjT{zLnsZ^&bqzdR0r1D
z&heYyev`JGi79rv8}|x8!Ht4ly#Z(|PZN#r^Qe7DvHu
zVIpQD>kC)>{4ndP-rYk|beB*lL2cxH!7>>Rs}vh>zFzw0q+hmXcGG>9ZXK8kn0C|?
zDAU|dyN4_+|JSIjeXg!}moa5+1x__;I=6s|Pg=aoSRL7ke(>3_75DIZK9rb^=Zk<~
zjK#Cz-Lo7{X1mUhntr&=h%DBmm6(@*)~R4~%*J+|#Y3d9>TQG9+H$JtLjn{1$1|>9
z>Rs&|5W&rbO-Xb(BV$KqSl$s#VH3RB)
zN_e(Z&x;+!+#7YbH5cWDP+oE$RQ5^RKE*+2uP7cAs&BgaaCe|^`<`?xwJ+9)fM*Xd
z?JslhYT!N};kgia7wh?ylJkaZ{hoWf%st5KVF7*~O**9PN~*(}AJPDyD3jdvJTnb7M2WM$YIazB#j`Cg-YWPv
zf*e)qE%b@0mpm$781w7pymvUE*LQ~6$KA~b_g9Y}&`Y!EaNwS?t8-#mqrp4l5AOLX
zcRk%idhF?L3UZO%X)#kgnbM?D?CBjgjqI^}Gp4=wVht`xM}@ziqWdnBM>%>QT=^}E
z$NSlq9z|RvWg_MvzLcM%^8d%2S24G|<)($0#((5^h;K1^|J?e2U#70rAj|87aRzs!
z2*(rCE4^Nhqdn0v3`uAcDhc&^ZUy9d?WR9sxf}DY7Yuyt&hP~(f}Y$krE#E`kYZ!V
zF~BeGbY<$dkDHx#$rJw{lS+p`xO&}_sa^88OW($tz1>*oELGV}x7^-L4ZkHRQ;TnR
zlMO}&(!aOS=Plz>=&1znXOgJq+9~Vif{$5SVaqmz5_#bw3Xv#YedK8Zs8U`ht|)&S
z8y0c*L@O6d6JnT1f%h|EPk^!gk~T{^({dL%6wD(GEYGUBG~D0huZtvy@kM&e_W8QREA|{&Ru-?!(%N`oTOZ0WY(&
zWn>24Dms!qrmC@YgD8ZeBI}W-gE{u#Gr`##B5j#ovTSZC7`W@Y{`LD(#cm9AE@09&V*C>#KG^ghcHo%%T
zO}B~Yq;QL0DgAP+UZ1c>{0ik2s70xb?jNSeH;OoB2Fx*`k+k{lnO+TCNGnizF3TT-
zA=mM8tgdoTCf5G;pNlHEWlz+Ze*C+7=cWU0d^3vAQ;T?A(kdIRJL~ia3sWKn$&CQ(
ziz7Z5S<8`*#O$FaN;ik+^tWIs`zzioTx~wj{xj0jzxiiTDZMd&|B!lmbE3oAJD=vc
zw{MKV93tIBydI>C^yYxX1`9bkIZ*QT?8}bTk8kl5G|YLgQ8E2}H!+Af6H4r@F{e*M
z6z`zpJ4Aug{_0u@hYddN8+px5=67Bk#g>aWd+Ie@erP&FeHk6?KvL07y`pCG{+oAO
zvOic0)-yZCd?;^jNay|aOVaB;4AXDzBX1p^ZTWFSQBi(=rrqI$yBk#kH|hFw>pY=!
z#whAq>ELmPTHfLS8a|fGur!SNKNHaIYO+ikNQzCVMbFr%yAf
zuil=16+WPJqx`exOs1(Vp{BZc4el9Ld_r+oS}9G9dhwgL_HKEi&;WSWZ9{*#$%}h^
zPY<^jg-O|`Tqz5w*3rpwxZ1lCZjoslZ>1v%zFbCG#+7=(6annwF;XDjeIM!Vi&Gx`
zQ`kk~$IS-`s)t%CcWr2!TF>Qv1bnK8V}81I*fa1-s?MA4yN~vWzjB~ofFr-5@?q9K
z$F@v|6V1*?NLXwhfnrNw4}BSJQPrhKpe$gub`AyMCl2njdgYllTy{kqF-Kx%S4i6j
ze<<*#8kM){XAh*P{J-ZPHP{kH8N_Z;rq*NI0zSyBp;mGGR&T=^>Pbf#q**Y%Y_#f1
zZ?@^@n0wz9Vrd7v>mB8dR+D+8hnP*v`)cI504qQF`%vPZ@juP>71e94`wO{;&)6B`
zE6f-8zkq$%y2r5PhdD;moC3F4?DlXV*C!f;&Wv?WZSgD(5tem2UKaY3kCpEk{C1PWM*Wj5U-j!J_dCHvxOh9;xoC85V
z{aS6DzEkVX+&f(2=H;aX4f)2R8=WX~FI`GPQz^C4D!}i@b)%vpB21gD2?)^@<1f=l
zN#1@qnlP_}C!VppZnWO|RSdR`Kq;=?UooPAmH$in1&39tT6JrbZ#`hjr|I7*%%N2JX}4{q-VoUv)bpd~%Fp(+BuGaba-G^J;H(Ot7d4;?46jV>R$Y
z^tfwHT$n^$T3T9KIhO9KOn1&|_pZFN&Z}UHIMZKW)Ub;hcpz#a+_qRMA9ivmb}SSt
zjHSkK*H6_1vvoXWrS*vWaMaD!L_|c)Ln(+PnK$a&0x;=9CGl{w;@Rf-puQpvqQM5B#FgXsZXayV^#Jrht%y968;yxeVM#z9Q
zh=o@9sR42eZ`cU>k(6R?Tu*aL!1P5thq6){p@5}AQ`_KKJ#leDC&R{|H)K_8TwFE1
zHl4q(j-jB$|0b5N(Xp9wpHDe(lk^xtRnU1c9h;6#>8wc-!oN|cUcmF=1=UkhF0@>6
z*1_(3#T{oS_TT21tpuLUIs<<7<2i(Z3jVG^EdnY&$*bDdLnXjUMJ$v=?=4k
zxw&1>b5gB#pzx)GLTzVvVG5!PlbU
zYt=C-D%zVaqU?`+(W?wCHBKz8h+<0*H}Q;EIwW+`^CL$=a@omTmv*)0rwxxvIGO6)
zJ`3OxuJK`OZ7^k?`-+9GarPiScdERnDjEXFnYqCXBgckIK0jd+iurp@NXrl;b6-2G
zRs4$Kc2ViQ=Qz~`kfjqwYSjCXAPn@nEtJ`M
zre6P&e<8k>ar)NzsLf0pEVESy&ZvFl4tMoH}N}Upb*;3M|#6;E5aeRL$<<0o;E)=HfW2JF)%P#
zdwX4gZbE>cpC5x&>CKYL;o;D`x~X9fU#cRO?C|C6=<2B%6Rx?7KxndZ<~v1(yJ1FU
zA;*H{+#I!%3=O2|vwl_zV{*$}dTTweBv~K8FNn)z7u#hYZt@vwcZ{Mpo|#3}CTH{%
znVQecLV=A^Hqe+lcj%h&-ecD;@T!G8h55$CiCH(LJ>rl_ci8pAdyyAM?xDn#_DuPy
zOp1UJq`LfXR3VABC+O=*m?`uj$?2jnDc$V6cSMDU@C-H3h-w|Ll~C-1ng15%)aJ6V
z^_a72(2@PHL*nATUVAr?*&Wf_)59N5e_NZ*qL$7%(K1Qxl`34Urv(8bT7>DjZvnU3
zeX)7LrhoQ6e%{w)NjT`&5S0NMf3
zgD|6uO%d_2e0wnRE+ZeRdG7orP8#6eEw_*rZ>3J$8$fvv5}uvKw}AcDvElf+VGU^+
z$v%@nL)WWqV-Zt;TM-uLF3z#axjOJ_M6}3k5WCs;b%~|W+mNo8AcDLe6ExpX3`n%t
zC~3B^^$U(WQ=XKSA|;fph@aw>5+ZS)QaO{dxVYH9K6JcF&nA;ciOa)bm#}_A(Ye8d
z=;(v%Ih~D%_nk@5DuJN5+lq9>D7+)X8kHt30tj
zCcZ?C&YWJ3C<^1%4e*~b)kcz=dMbR?l7%;T;ZgkrHbPK${G&II6gTM!)^Kjz^1=sB
z!+cIRZl~5~o7mEI{B?3&Z>q~pd=0x^Z`;l;ZbkVI*F?K
zynrxI*GSnoU~8q~6{T09XnV82Zh|B}V;deGE;ZeL=X`waUz(b6amBDFb*1SgfQB__
zN4>-%_Y^iQsjoH$mhLF&1^1NfLI^^NeDK
zbyQEOsYx2ePGVEYHNz&4_lO>VzB1F6_wpVCNw|f6D1Q%^f)F%2o+(>Dls()gv+l3>
zTCqzX|K7wV@rGfaj{Jer07kyIP32L1FoFiFtnN+aip*r-EJ@MBIb-GQ9^+M+W92e>
zRQCw7M6(s)_4(MzEw|ZkeA?D%S0cn{V;U;KVKQtf4aRCdOJtJxR2oeB`dY|s9%e^P
zbjlUb*1vJ8q`dv}W;O}I?R@I030f+eny=#y1GBd86{Pb{Rw~^@L&_+XiiDXl=)V!U
z^8J(PPz$6%qRV&`5
zXLXKYp_@WhC^VB{6Sb2xJxc2E4-{S%Q4u6cTA1R~vuR8!GK7rLWv-bV;lt(m-l(FL
zJrIiN5$;sd*Zzs4dwpA+JA8YgKPSBQuL2*Iic3BmfVi$kGDGi87|dfKfO4#cBV06R
zYWOhJh9fG9FcI@)njWR+?#A6+K_-5rGC+IEysxP1c#oi7x*!ZZyzmZ!nQW?gg?e<=
zndqu70Q9NuGt}G97EB^NCb0=x{Tyo=oyZ4TDFcl)LVz3WPT?7;;r
z7};g?XiB@<=s7pY;Mw_JXp*(rsaBI@X$aLu=U3!K2`TEA>YcfZ3uKxc*L?f>v9ISf
zo~gU|m52~!ZCz_ZCFZ0`0)$H5=%iL#9Q`Y)-oEu_y;*1RGmo>!-wr~Gvg}Wqnw>k7
zoKGRi1AX|(_d<6s`HlgbBF<{|ZrG=TnMklLyTc-XQ94FjNl7Uy
zI~$UsAbH$mUv0cNZgGCuufVldO$@gkMjUCF6$uHS?r#^r{OMk`4&ClJi;j2_<(nnB
zeK>WqR-dUO7b$KzWH6dDlsg5r8n|Q*R5fC`v0LP)+e;%cM5FR+5}`V8jZeVnxrPI2M33z>U4~aPPz8-b%Gkx;vAo4eSq+-=da@hG8ZOIhjUc|b6#Fa4Hog}
zRha>O=VDq1P?bwaSl?mo{3;fjcI~^%)s}V|0NyY>DcDd4JZ^BXZK~l&&&Au
zcm@=(+YU`0843
z_zhMomh@DSZm%V&%RCcqw2*}E4L_-_pcX)Y1y?9X4TZQ3=VlmH3~XeP8$WxcJS-Rl
zLip`ZBFbArZydlC5(`K2na?lTJ1%Z-Wq}Z#XN?%4;QVc`JZ*;ZNE|wjDycISd`7c>
z^*&IWMAOc}Qm5R0gPBo(T#Ie@yW-+!0`?0N^|4hJFAbB-yGnz5hlYg1YwdsqTY?=l
zHKlr@?uc16yk&6c5kWLeI{3>447}5(f>N(yY|-F32URuG(x7UdP_x=NO{w0O1gb4<
z(sseF4YSyR>5ArBupoxjM!LGX+CdH!YnX&wzsdr>wKgVI*QP%qqx|Wi^UFR4%q}b;
zy(x}ir4`YcmPCbQ-V^t}^U!i*F3H(ZL)csTAn=GtC{su!@#vSMrv`oV~j%3NTz6|vi^B7C*G!n1&_?Xf`O`xh0FG8Yp7$TM2(R3JPo$B7~E{c0T{
zNdPw0aOq?3bcFyk?;Z5}g5;<4pjmkuc{s>4d+zvtc*Zjb%#~&6q*<*VCm)<
zc2-Kvo9&bL7$VP?ktq+2<}XLer?$4>Xba0hVywGD1Acnn1oZXw6+idk3|R`qgK6g(
z0`WRg)K(t%9U1~n+LVN^=BYF+^w+S-liCBh61F74Fjtyup+{-#4%d8CMZ`?M5ltE)
zZ*v1KiXXOX$Ud=5%9ViN1iz_Q%8EfoLw5CKo7*t#=cR>CA$!inq^71aIM^LDWY3mE
zN1PHD^w~6(Ag?$yvtE!P_(A_7xeTGMASji&*1f${Pz@@7LPlGbf1md&Bq}3nJfK*v
zp$1@z$5g8}T)ohbBNVx7g!24zE}9`e9Z^7ud{MUH*Z*8@3X}_jS4h*-gXxJRT)0!-
zSh!BQRUTaPWXZ0!(Bps9L!gb?#&!6WUCn>2gpJ&Vh51{7#6HA=vyW4
zZ*=^0MO2O%WqZ?!Z#yqHQnbAF!Fqn0(iKX8=n}ZYzB}Bht0&sO9H2218wt5y%@QZ@
zk9U?w)aWY}5lDdpoEot?_&7g!bdr0gzz-rXU^G*V#0z>362*jG>0A{NH9z?*hqaq*
z0u4jhZ(itq@Ex|!*pL%Z259c*(;kVCgMl!rjZo5E&qgoTz0o0%7lxc(*Z0GX!>^9m
z8t>?)a=GAh#%kJ9qe2>RykTKA|o@Ljf{Ad5SCv
z$*sOi=d(SK?qZ%LA3`Vz1c|nDkC$XxsCyvhcCC$v3xgC5T*T0A@EIb6&~p(hUX;1h
z%FP0KaI>+1oYynQt116PL(Tglgx<0u`N?F^g2$wc*d(kj%1?h_>54a6xCXwf7v)!$
z>^jlca=l=4?wx%Tu5v1Y!hoN4B5sW(u0;xvu^}wTeR_oP%G~HH*S(JAB`?_YZeV3s
zmpcaLg)2Kl2o5yzbb)flvrwC?LncLjWk4PSGjckG5ZO)<6@-kO7>BiK2}{Kx^K#YY6bFC@fEB7w
zLbZ*J!FRSu^Do5_*msDGCPIG?m38PaLd+YFp(N3ey}k*k3NRLkW&05-A1rRJz8s?v
zQe;*V@T~k=W*~9C6Z{Q^U(bGB!Fw~C7JYP#vPQ!g?pP=(yX_eqM(F*6zyEy)K60MB
zw+G>5x)6Vmat2U%*gTNU1;F6eAZwq0rP|A}7V#s*R1EHOCjga*&XTE}*o1(kQ!m9q
z$3=rh4~}A*eO6s1;dziHy|WMDdUa5)myVBtnFie7&i5)VuC0E0w1XkCZrY2oIKN5N
z3(80V0fgy51zOXMBGd9P(~MSVvSYKDp>}41)PyUwsh-!e4gh{p)ZH1{1-akp_Wofkj-+}>7Wac8>=M$wfOrn%L02T;FFGnd&O|v2nCqa7Gp-Z7=%U+y%C}vXl$O>viE)(%a;Z@N}Nwkmt
zxUih5Tx=-Kzk1I{5YERcDzZRty{#flQiLQgUAiZVef)|4%T&l5I4W0b$c~=;H)<{O
zFf%YRm~;p-$Iq$jPD}#4{2Z?=&qiJmg(B0u1X)y;t_NA*LWLQsX5_y8wu)rKtQGsY4o|5{5yc@`N<4o*?4b_
zebuSmouC4Ek}7~IM;0T+BFdXoJPYnU*Wu?hK~LIT>R_X}`M64stu=n8**0<~j>^|a
z8?OFDAr(!tIJcZ1sX?QwBW-eM+riV|u`I(JYY?GfshmL{Z$jy^BWu{*
zncp7>h)Vld5DIe|(;-8iQAY$wN;X+dUGClR!RKC`xP|)O`D|jzF1DG>n^>E@
z;=KO3ixV!Ly|L!qSc2}8^_z|$Isj-aU>`&W7<^ZM1%^lV1XO+15Vd73Qc-yFa}Z?v
zj854QCHV`~Bygs)YOY;U09WVey~4dI-TkMn)n#NzWBa<#D)v}WQ$^ZbMnZDJO8
ze5!@Q%yq`qb#{D{MP_+9Wgs=RFUUm9eV}1ee@78n^xB00)zAO~%;IRy_aKwm>E3*W
zIxC4WNVuOvyaDb~r)P`A@95LM#dO>S1Ud%2$axnki01r*gaYF9XAxvIL5U)gn%-IJ
zIo5rBeO}zYtCY5Q7de7Qp2Oel*LCC_e|@O{&$W2Or9NA%dw5ZpkT?A~fHTAR)4dir
ztmM*2;xi|9_-iPco2yhXuZsZH{U~fE{L|lQbGTT54|4gsb$*CUG1gV4@DY8N
z_J>SiIz94@UM%(6k3Oe?#joAC3vs+)c@I~l{B&URc3#ylpf1k0hOwyTh=J4>$4$Y)u3BHIRW(_GGgXq&cdzp$YA^C;4
zPnKB+BAFe)=~Dm?07-LD^8sZ6VnKO@1{hU({D|^JB_FIWfNR<0PSmwk`Lo&PBs=`2
zE<5@u%ww{#g7*2;LwrUKPcTSSq3t|sVL|ir-6WfAx&A<|ybiyCw`5PVkch^rswd5p
zjeOCd>#&dC*D$3>G(S~ey+IGE`t)iCie#bGj^h7XV4-ic`Ww=)(oji}nplmBySoj8
zK#GfYs7^)N7(f{F_$Dc66alCBNNabG8|}yma>^5znj0`3@9AE!b22wC+!AG5>n=zt
za~pVasfZ)+&SC|P)WhM(AHHT26H-8%s5gpSPHKRYbXCC#BiJZNqsk9;q`J0Nlb(pM
zzC^K{v`h$br6I@SoyI%BUk`
zepjo76o;2{01Ana3Jq0(^eNZ6-%;Dx+5!nS5W2(>Om?U`<kzZ{GqNEFLWwGe=xSa--f)Ts3O*J;u6hv^Kg`txW
ze%1YCgfsi%5hj_!I+s+JT`+U6Q`72_M16MF{i_ckNCPio|
zGiuCVTMK-;hahPlI><$eS3mxN^|!YtAbki#l3-vD%NznCnJq#fWE`y!WnoE$NBReZ
z(i>jTOAK#=Q3$kYA7su>2!YUd{&sh%PxE7jb2yZGXDWTADedsbL^P(FFKgW0AR3iXJ4;l|-?hlk4b(tQS5tEm8e@Ov
z`RFsTUaKJ#LLENEee|JGDN>~A-Z91p{5W$Ur9>B338Elh_|r|vqiZETLV*&=h5$o
zAA<1^)L2f4d^j90p7vvBP=lS(hr}1G5TzXoGWIi_fr09WhM?G761mVAIZ<&5x@)h-
z@^pvSW4cA1K}Dn{*z%YZrH==7B6aftv&NK|*iGGSbu$mu@rKRBn>PhRSt_&H}mG
zvPzD$K@2WhQxSO!sU$984brlLBw+OH#`p}XWxdiLz&_
zjZjFLooWZMPhE;fC+#0xg;_g1H-b_sPQWbGc*@vyf!l>(++5yAAM`hHzcD#fM0PXo
zxdxKs!+oKyYrDh+9&BAP;VY*!pvY)q4{v<}LJu*_V^%$h5`kJX@dqT*2}PZy96&*f_p<^)NGxB2q@>GPb1A7%k&Sa%R>4Pi`Wn;}QEJC`{$7TN9y&k6p@K9VXO`&)Hgh4hj
z0tR6FE6WQ9;uok?BUtoM_=T-)#JhS==#?2NWqu6Kg^NJG9Uo?=Y&Snj3eXEkY~=6PN-9^>
zvw9Nl=BgaK!@f3h@v2`AobTPkBn06Qj=U3dp+@j?eRHWs@Zam3X{hq1mnTy8?)-bZ
zI)C`NPf)%=VuZuZo6po6Wy`LJxlO`p;mF0KI=NX6Rh57<&=JG~T{fx_VNhxjZZg%@
z2n)h+zEBji&uA9j4jFs+odx1rCbr&N>p6RtNO|TrZ?+UiI7S6Z9GHn6d~}Jal?Z3k
z*J|kGr6@03kAA%w=%dz=jwXi#rIH#e6<0AIPl!<=(57g3s4KvO)0FGelH?}O$Wxyn
zDn+5MfI$tP%_6h{t>T(J+xy7VsiRKMyrS8*qOPMTP<<7@4QOzP{=3}Bf~1MiQzcp=`|646
zuQW7-Gr5tz!&7(2C58d)9uCyW3_e?DMKP<3y)Wcz2YN{h2Tz;U!)dbE@zBtW7P0JB
zPq*~OoAuR)n3$_U_oJud5&MrEkw9vxXr&aX*3big13wD*H_R4m=iw_nhU{a+XFns2
zey1MpTB=4W_fL#-+jqU;S`CpC4)rMS-psk4Gl<>3bhiGR51;j7cW2z8^LCVX^#SEQ
zyEFVa!wqb*g-jfq6C5_=Mx#(CY|`dgcL<9592nLmGH-oN#aeWqmdt|=d~y5+`@
z{7k9T9K#Cx2ug6~lt-J3n1-Esgnh-FePl`YX;LfnY>h&tQ*LVFr@s3A1Y#f@FxXD!3+4PJ~gJ_D@RNqd%MBSYW*$re7g+l`^
znc@%%w_Xi79r8-lwk@aOouzi$JLRD_spZ$$n6Y?n5a{cUd3U1wDteBfuz~XC-MeFu
z%~pI0go;H@{L`-=?`|{!4|J*jLQc2dHq|yaC;FH?&wIJQ4kqKlyzXSq;>5NFE-9?)!f}-`Y{+?;j!O)@6Y1g!B?FUCBojWGb7Q_C`*B;`@%2
z>e@7wze8)~Bcvs*xVV^_Se=)acJhr8SF-bsPk0_8CP3J?A^G6&mB!v?$;$%`_il7}
z;vR8v-Kf*q*4gPIX(`DWA|dpuEIic77k{xnT8TZ|N@o+hyzKB{CWB%yT2rAy^-k{%z#^JhT)po+KT6xXruR(rzCwA!XA@4XJIxIob=r=JW#qX{^<@7mgXoUgigS<6N)CjC9FVY{T^JomrA_qbdBhA?
z#cO}M&$qaEy!Rz-c43eCyytX5Ls5Ksx^@z)>(Rw6{`glmtuLlN-W9bN@5za08WG#V
zDa%?CDB^!PnRUq-lc7Eh%d8K{@z=V#(|B&M9jrq#$aMY;mcybgXO377`W=jy+7Ggo
zc_G{41hMKtN=iyjyn|sv!nWoN+Bg0$xJA$Yx_ez+_wKBRoikeyokC^tw`o0a`0#;s
zo2CnH`P1e-h@RUPIaR(tuP4gCYIU;(^NwCHGjoWP6j5i#$iq^zzpAUNv$%E*_R67M
z50l|o5;A9hPPxml16Edh74td@y=!hk3E2uVU#qMC7{<}&I)HS0wrLusA}9LpSHPn~
zTesEiyrmVYd#b
z0c>o-Qww3Tl%ZCadgodRtqUhh!`YyPuT7JQ{}%K5EuY|+$w9T6W#^QIqY5tdhci#y
zS-0?E-m1eJJMk(voLGo&UbxsIr8RA^RO()q8#tA5vcD$ZlzI
zGTIa&B@RwT8366}p0~F*mXL)Wrf3p5V6XiFVXQ&YP!+Z)?$5M8nt@Bk#5p|@N{T3WmM>y!M&
z;el;`Crq1g_L4EDZOIW%z6I%-IkJxAo7!P6BpxtV6h~8rt&t!cvW0oU&fUCu^C(dK
zE`xZAx^(Z$bWvnpaPsM#j!v)>U2mQ;8k*N9yG;$T!u4h0>AEm2L7?&X;eK;09dr=r
z4+#l5=-C$9HvVdQ3W&=eN58|fa3?d0)?yZ}wjJA|Vt-O_rqulM_ijw2(@rMod$1>w
z-jp2=KQCEK?nQEnUtC<=VW5-jSp3Q7XYY{+d_|%~>;(EriJ^)kQOpfQ9PVpv?PsL+
zMKS1nyW~*MSv>fM_Zrlh1sd#vKAZY&m?W4x5|jQ(OcXvLu=sShR+8UhcLdurm)%mT
z6@kw_r^A$wcNYtcC9YOj|ITHs%fiCq-cmFx1Xt~7|8NJK{xy|K{pa;-B$mMp@!U5c
z^Ok;0*5V{NkU?w|WXXW6rJ=T7=9+5Q_Ee~TuETG^0J4PYul6D?Cm+wQr
z-+>__Z80aFJsAPC8?c5D$bOhBA#nYF%ysSalZM5w=c~rXYoe9fPWe@)r=&PfDq$Yj
zlP3}ZSSv{&@w{Hf2~b{+N=kMc#J@az`0!;o`1*t!+kB%M%hyQ{`?NwdBS{0-c@G-d
zcc=iAW*2XZfAi*%TByY5{9DXpiPbz{oX=3eHL_QSJ3D&p*eQsG>k^LtwGp1D$tyRd
z-*(KeVe+2y?0U?-C%Dnw$bQ_|nCs?*1bNtx;9}38?{^$(2}Yp4Q}5B?n+U}o^J
z=gf14h7ok$?m>W0zC2uiMvz)yZf0wZE+!b
znZyB5fD{D0A&EY^JM2Ma1WivkWE?;71nU0*NaLdIQoGn`w8+yok?4f1A#nJIpktj9@Ahhkyx>K5Mrwn5Zwk0p>ksq9sYdvDQ5~pE0rXD)R9v&W0?h>d`-J(%&HTKkCjYhXYhh{U!Hh+(We$lQ%HUJ4G
zT1k1hjLG8s%(A}+VQ`)UZMibTx;##kjpiA?x45x?Ks)Y3gwfD(NQVt*Tit@5*22%b
zjo2UV7Ac3AjTDFqkCx5AZd|cd%*RKzO?Zhj({PjleYkYdSMLsWu??9dV
zM7-!E616rk&7bqx!tnrMv&k2&*w(_cs?Em|HIdS({t7z-f?Ea0I~eAKejuXVBt(b8
zet24~Gv$er7)hr8P3jBtiU@=_sZ#wuA&lpJUtGN3tV?!QVPPSHh<_RUvE*dZ(_2p|
zrP(&8H{b@6tA_a_op2{*L1z%XS`wg2oji52V|U)x4k*Z}QkmK{6=+ymwl!C+
ztOOhT6DD84eiQYapI%;8n0VpRPD6+C%Ka!X`%*Plf#FJWYwd@_ygP#_o4Mp=k>=TK$crmv-X?}A5mLddpDRtSjTf^+mgyZln6xJ)Y<{1lz+m9
z6;28gdtb5A8Y>D5Ito93edK+AQt8u!P@4z8N6zW)yplGIdo{w2bqJF>?NA
z8ICRr7Iu||E;$YyYegIfLNRQ7gw{jwp?4e#>U6Tg776R79dO9x9w=+3cx}L*DKZXs
zL0g;lp(qm2EC||bkYibdv3XJ2C>IU#OHUV4MFH2pm=HJ*CvK34GfvDa
zc&WmDktx|7+a5xqb-9?l(8}eW^Dc&`Yu5%*>$V)#a{D6(b`eWmn4-iHcY@O(FP6|g
zTB0y87P8Gk=;Q>DfE4PQrDX?lc9m`&^3S1;D!22y!SRvHg^%`tXzg!?NBYXAfr+uf
z7HTQ+T!eNgU&weqBMnnhCe=@`!&J3zIYf0O7Qv
zqT|fmR
zZ<4xyanjfJQ;@%B8h2yaHc=Wg*F6dsZB#>k^7$U|%T0G!I48zdE10L?Xp0x2Jp$6!
zd}&LV2$`WDU^jip-G_d3l^>oj(p?NpzYXv>n4%VP^pNLRDETDV
zfu(;`LvG>%((51L+V@(uoJMYiQppXZJ0_w;z;c;R9d8O;^)Em0>yygP>SA91{jOo|
z<+Ca(uQG+URgL6Lo%$9@n|T{KR{42%5#&ZClzF(L;omA)n8MX8EiI8M=rU&jhKl4C
zPQz_TZUJ7j;qITR5wcRV6a9hok+~k#5|e*!all@Udvmp+u{po+{CsGgMV^
z+*HKWrx`d1@u|YC$Jh4JRVQ*d)+gZJ86z_mrk*zuxW$=e_6kYc#T@4w?8mR~gEi2E
zi~(u_hC4Rgh5GVs2k|MJ}~C$hAAXaRSaicHD-Bt5jL09#u$xcSBJ0TV^A$Bdl7pjv=m8d?*%N
z3GU)JoJW1M1)X>fqRv`+{hWjiNve8{ioT
zmP1e*VEGI^Uq<#@e3BqVKw2uBXI7%FeSc+b8thl`*6gA~Wo1cHmP2~vz30WJXM^2p
zHAN>Tn}Pr78J^B%ib}P-di6d4;K`6z)@w!0c?0p1<0Huv?7Gn9rcR+vpy$25-
zs7jB<{)<5rj~SzXX-xeVgEB<|@8`6;8;#BvE@jok=~JhD4{+vng}iTvXNU-j^m{T@
zYRZC(A_>Lk%c2koVpIYPArVCq*v`&QnhFsmqB2J2(u?*shRjkFqIe^jBjb0k_f;O9{hjanTwVWj&OYa_=Xuszzu~^`
z-@Oh!(qYG^aIM}!sEYiC@zDme+N-j06JOlklO*Yf4u`+A
z*e>g{#`}h=v8ms8SBY1&J9uNf7<3
zA#(?|%oc~PM%K~A=NC}$*m!6TC2n#{QrcS_uk#@1+go-mpz`%=PDx40as!dknD}^aG7^P;-Q3FJ>Kdp1Ye@^Z
zrJ7o0Y`b&CI<{o3+Zod!l-cR5I(&i8WXtrE>=3^=CHiok7#l(J=xIZgqhlt3Wg!
zr2cNmbe>Xwt7>ZAoDzFNeJOa$^?PLL07eW(=SdipuxshDq0sUA^6r_L&%j>)4Z6$7
z#)7uz)8mj+pB@C{>4W9`=g^4CMBt$xO9pj9S%&hi8{WI|)Q-DL9nJGRZebel!MeVN
z`+S3P`^LW5hp!B$hgYwlrANb{D3uvCN!=Ls^yyX-bhNdXLtA`RP$}%-TGBEj5lltd
z7=o0YZ(>p&CQrh7ZmLzC_=_`$``oA&RlBx?;dvisuSir*cNwurRU{RLG)rO%%
z8b|#G%4TxpRN>Z}#GW3H#narhaJNj{VT`S^@-XxgMy*FOTNni;=-*k82~?4)Us5K0
zU1+qf_0+obIV!_ul+s>khfofo-~<5HuDW7;Pz9=AcLLOs+^ltWA2M4rW&=#`AaW}v
zEdQ|(BciN&h;-nNTA##IW&1U@i#gePd=oIHXeKK{%#LPXpP0jjv2bg
zj`cg47y8}O5$2jU%`H3@%YX`aIpA7kV~PFEpCUp^(3ta}4p7zAt=l|@*a0xAV?ZcS
z&V<_nigfMyF~5fvMCzP?c5`13@w^%=_jXx&^XARK4?I!9+wAl5AR#acka5p;N=5dt?KW`L-gC^@lbw~Wvo~X|8A+_vEgRFmX=g+zH3+VTt>t4
z)3SK78@j#T4s96xu*SGpD|7L?O@(L7M+R@D|9OsW5v|}2;QN*PD^rb8^p{su_#n)-
zq2h;3M+9NEZta!sZIt(E{76|DhxxoPsBpk!;i6~uoh5>ukn!6C*pT%gLA1xf9nYLg
zDzDa(;Br7X1Vf$2xe+;3UkwH=#dmjX>*R_@tXhv8_jby|JwnU5uk**ON3}?NiG=vYW
z-U}?v{N>{Jag3CF$lvRC^XAl2sUVO7`)gSMv#}vMxYHNvh@Z_BqS^8~xh1VNYa$1m
zcLoesv#_O}xSiXQ2Hg!kZiIZ>*H^sO`io<0?o99PM!)<*tBtxadtn}AMW`8oprRi6
z2z+qX0&dQfloVFc$qCtaALB;#JgVz)nJV?evb(^+An#*G2^5mQ@REA{0`^VFo|cZ>3o1p3HGWgNYykbs4&9miY8
zM?wZ)rDd|C;tKpw?l=)PES7cH=y4}f6dI>tUh17ewbV&o*MFD*2*QD9@Qb!*R(2PNiqUTonwPdk@HL&3lCB8t!``
zxR7Sv@U^pnkL0!Qu-gxC9#VByrU5hZU*LS>IK{4{OL1f{U)GBZ#*
zOvYDfS+LfR&lRsT33k+Ln&%$^S0%;>?(~?pT)!~A@jpw9`f5|k!>t>D&bWDngHq&0
znqaPBGo%XyX2vhb#e@Y5r4)1Q`M_vTSwz|9A1K)AbD_ZiSf)I|n5#fcQEX<<&G;OW
zDE1{X=o7$2Qv5S|)ns%^JN@;u)E6sj_jAjgGej{S7ODMgv(wkk5G7t(nT^$(#8q5e
zT!{K0$p}>>1>geRSu~x#9orMnl-itJd0;BgG6kA6$RjE%2LRatZ{}pzWPVK$V{#T
z%0*rE07cu|sEE5lsR^~aJ95hu>_jet;(FBRIv4@5$&<06_Dw~@m_u1kyk-Km
zd4si#jg70Ss!TR-_f4DVrRpUav{&GF`Y?vXSw)uHXW9&-K`h;w#^+?|N+KRSSOv{7
z50j)-6<*d%#)C-KKUFLyW?JaS3Y`Rw2TM6MbOuw!PU9_g4P&Rtm~3E+bJqpFVqx!+
zM?b3dVmPPCtE;O6;c3;sxS;VW!mJZ2W*Z{~0sf+)0dLq6C{%ann~^W&a(lDYHPA&9
z{3hTgXa@X{wWA{=ub{e4n|~g~IXeH7QwovLU6j(cYaBP7GhB(gqZm#
z)*SpE%oSQD!Ia*(KV~Pqzjrxo#4g@lU7Ty0woS2^%@F952K56ZC@|84Zr?UWBftWe
z5z`6WL3#n8)f0k>2`nBJ%+zf~1r`}Sxb;OeKSHKIYF}buQ4wK=uaYQ%v?n={_H17%
z4^0NE8E?_(>C1%n|fzS+r`&EB`e>@SWc2l^%
zO-MYD`9gPIn7X5$Qq;7z7NnVKhNnQGU<{5enayz^u189|`ieh};3}AfeCG!2*`=?W
zaR^_zaPg0MCFZ|;D6h|G&S4j7dYx2Kh%eRnk)n>lA%y%iKTiJ{+SZe1!FGr0II-2m
zpa=u2Tsj5#g74
zr7!&%ltO_POmQm@RVL(n)>wO%7isSUKfv>B!*OV+pOBfz7vaYy>dphMNe$x~hK3<;
zx)$gc^?G_Hz==W1Ywd=*kL
z0Dyp~gmo6BTJN0tFU+$mnlkN`?g37Dus~5}F&P0~?Fh8Q+i;|b!v{&(@NHhvL}o=-I}!p4_GX(5#)oQ1sQ8W`REsqKXpt@~
zuxwAaOK_};#~p>lKQC
z+xFzkmoEwXn+s@qe2Xu=KI2S2Mjd#F4Tzw3T+~Ei8e{O!WMRtl`fJ49YY~bbS8hDB
zH}gq@(54WY(F5z2G9RoKP|PCuJ%DZoiTpFk
z2A8elk+xl14;ztuG6D*w4n|Fbuu5Hm4i53&?t5|CUoNs^sYZ*
zdGTPTw%KhjKYmQ;_1f0-xk$8>d^Q1doGF;+qyndQ&xH&ypYUloJ)~l05t{@LCMz^0
zd6!M2#0zQ9(cyu7xFWN|HbQjMixnIHlw;C@09g0+G^&RTX`KC5WLWY{;h7EGpYtIU
z=3%bDy(O>HtaM|yx8AvhVWhwhI}8sktAiO`^Btjh=Bf(R(j8ApNJu2lKQFAGE&)~F
zE$p}TqN3gyu#o=|aDT>nM&zHVB3T;5osgkQ#byE>E{?OK@JJeZ;^+kjCoIztSh%f~fK-X9b
zLjvK}rEVaoKL(Ohm;@3AcnD52^}Cf&PzY%{(a7A?GFVQw*J?)y#m;Vrex8W1@ZDtl
zzu-#bFYllUJzV4Eo5%AyMaVz+)Pa3YU!LykN%g;(+oEgj`5reCpj4DItAMo5
zTV}|dg)F1a07^~DF+??E_>i!;UIOf6_fC1T>zgKLcH}On0-z>&vWZLq3U)#ee`V{b
zmK-?DZhCQHoa7S&47dS-6(WKm`uq9T10At#DzLv1IOf%7dNoqi!|OvZr&2T#DGZt#(`!Y^$~%lLSzmUdJbM230)%n#7sq)YqPK=VY28QY~6hWS$qQMu1Ic5zeav1LO)A7h{nwb
zcp5pJM6$*NxG?vBDjZed6eh&)Iwd*ns(pIOOb?l)8wxxyA@B~6#FXn2K+UIDJ9eGS
z9PO~qpHFlmo~MmR2D=l?%fsl$%C184Cc11MAMXoam7_js0xR#1l-P&0pt&NO>>2`i
zI5Gz-rh#Pzlt>Cj95-*kNeE_yD7?c$V{jd21QpN+V5;v|{)5RSnC!@yu>
zO9})R8oU62ZNwrg`eeq2_=cXkgS4g(Ua=M#uwOw1mCeSp3R$tKCe)o0^f#!nml|U6l
z8!H2jZ3KV2|JJ*dY;9!`a{mTcx@A+p*~Zl4@3=VhZBWl_>jgW^0}c)hPk(!jC=pfeduH2N
zzXSV<$+*JNrPC9FS<|3}mt&w^;N{&R{qU$nW|HViuB@($oa3KV$Vqb~f5c$Oc_8Nd;3YdY$P(B7n?%Ky
za^0>AyQQ>(I&G2eR*o9of*rhCB?psQ{$!4?U8oim%&>F&5$;E|d;AC^Rri(p1
zOB$VNwCj)1U|`I84XfTJl>rWD4d}I7aAkzx!OF^t2rQ&2t!z!krGrEZWXoZcE=EKKriDUGG*eO4I#+h
zD=;^Obs#eF5-9;Dtxu6mmA$7#``Tc*Ea$*x+-P*D9|8+Rx-W2Vl>#M>G~|Wih&%K0
z(Gm}fQ!OSw)!b~oIFde{XGvR2^SVol5|$vG1?6BWdoI}ukdh>@XbTJs*`g_&5~Fyi
zEu=oVt%7J%x-qGC)MpEdB4(kA$0-tADE-?E{u3s=PNVI{wHX6PeX19;&F^%!UWzL}
z$!;uA{2v01AGOt+QcVgfxqxD77W(dRmWwmd1#JH7HF|w;lIZ7lBa@Sthlqpw>1B~;
z!Vlrkw_1Ax+l|cOcQ#|*E(9{7bz~E*8Dx#DAjlL~pgEiXkwO3d5Pgvm|0(%4c^f52
zpFZ*~-Hz<#b)x1~Kd|-V!dW{@&{Ian#uii24!JnW9(<|`T?A2-L9XSe
zRF8eoM94>gd8R(IdC(d<^tTw;Y3|Dy{rb5FS9|a4rP0i@2s4eDOuRUYuzD2_(dd6k
z8`h|7E~H${Y`c~6(t10F7~#y9Mj*gT8#o+!>)0Ax4g`z5G+KrDm)Wr2)az>IGxOgv
zP&y{edVd^(IheP`y67=O(nE-WmxwP%J+e`@ZHWRKoB}M@C>cp2PlY%y1*%Wg;DK0do#aTGkT
z{~<460rfdo*i=;c4ZbOLSq88K
zt&8-G8T{9S`!4W#yZ}a_VFF&f?~|BS$sOi1c-(bt3EWee-0}ZI@K3=&yrRiqggl4-
zQX*Ry?A&1OsLVv#APK|n3%)pQQNf{XAUI24G8S39w)0+Zsdv=E9ZO9=eq6q4I*MI5
zy$DSV!%e__(BYEq%IvP=Q5M_>E4H-*TojhlJc6?Q6^TQ26FPQhqzeIGdRj(@l?@Dg
z6--SJr5Rr?ft|RCb-m%ZoyT}>&B~Y;QI}V%ctu%Qf+Telc=h%zHyL(d))Ajm_|t1AC(~x!6`9EpE3*?
z`T;Y~D~P2FfxUg{0~k8*#t0TawD9QHN-($JR|0Blvx4*cx#a@k^rzv9`7@RMIj2pd
z@v8$FzXE8LMRO3!JB_mQe1b3%ODB37v}Yg~alybA
zcw2YMKfQfFn-2iX-ecVyS)2m0y@8BCQ01UZdV$jP6c$2{L2F#dgFs94-`_b6W2ADD
zcR-*jAn&q10`O^$9Zn{atrS_t6octir(mp>OGGg&hI*(y-Wv*|x;)v&jhwV|6}m%d
zt}C+J+QaP$7rkQH#hXH&ZZz5njpWqSJaUEA=2<=uEn;<2)=Ll9y<|dd7zg?RwL$G9
zLS1>eHI$ZlEeMjK8XKbU9vdA-_#s$e%WZ2fXv7f#lW_VK^AoMl3S2td7p{6!wZ0Qr
zvLzJ0kVG@TLD%;oF%}X@T(>rVuD$zT#IxDK$=vsxjRL=$e1V&vCag%UuL8zF|9!*z
ztYGF?fBduVmE6;icKd|KFS}kzlIgq0@KrUy9Gh`rTeX55vhF*4XQMZXra$5jZ10HZ
zVughHK|!U8(?}z$)6Y0hUNuJ>p;lh|-oemQ6#y(ipkl#Ja#0O5_CB_5xM9K}2%$Kg>+@{`rQS|KJgR|+-<2N#nL6Fv5g)KQ`>Q{53ElTXj
z%OJ+9XZ8wLX|(GZq$!wW9?@e;ooJLJ%p)pZLJ+aWTR`-oeH++BxvqlIM12UNkZB?g
z(-=cB^Rb5mL@rDSKjdBQT93l-?DnDfajrEPtvkwP!#PIHIc=s_1(>uO~gU?>i!{KuRL-J3M
zC^TS=pWi*(0;8a%7D1^z--oWi%3ZY*duqK
z{vx)Y*nVGdiN{qk?8t=d2#|`Jddj$5<3>u|@AaD4*boLnyl6Nd6LW*lXUkmI=0%9A
z^?i7z)AKH@1Mb`^pHq-HHfmf@o1$tr(#`zzijN^UC5fL1yD2kN5GJs)9y(Lf_D;z@
z@f4Kx#O^W3%Vmz!yYq^BNYu|I?(y2ZU1w&=g*rR7otquj)8yX#!Q=QrI^DWK>QsN5
zRNhP1X*5RIX*Ab!IYd}fNqIzwm+!?xwjD7>U^N_Qef$Cfrkwscluyq#NW3N^F1L+jE
z=;tAQTU>j$bU($_TE4NEVtfKey=F3Fy4vx15!rz?NpqLwoI|ly$&AlGv8*)d7^3n6
zGgmunCy}Z>JKaIX`+}jYW(^%)TEN5g6HV@RfZ{aPb&XIQNg<$ntMyX`5u9o_9!eNft6NZij@V#3j@Bg_$$!4H
z@%Iwx6a2pPe5bD-)1at*PC(ijG`F~i;M~wUma!@Uy{F>R!@6DR_MN=M-#}2Q)(e?(
z3f~~jP1%g&6?g*Iel1saqW2Pif#yvY&Xcm<9_?Tso}4W8`Ym_xa#HqA|UNS&Yy
z=Yl>%x>Pi*tC(LR9kd6zW)ey&rfzUTf5sy%!AggSN4U~p$xqap+i7Ybo=w&x8y;vd
zW@^BmgOCNrU?VF{vN4_{?ZpA93x|TY*T3%m=?9D*G8IBvT8ch`
zR{5}bA){PWEX3_JWnR7PAu