From 10eb2e30d6e1ac16e5b598c83797183f121fb393 Mon Sep 17 00:00:00 2001 From: Serena Chen Date: Wed, 18 Oct 2017 19:40:41 -0400 Subject: [PATCH 1/4] all parts for register --- .gitignore | 1 + multiplexer.v | 52 +++++++++++++++++++++++++++++++++++++++++++++++++++ regfile.t.v | 1 + regfile.v | 16 ++++++++-------- register.v | 37 ++++++++++++++++++++++++++++++++---- 5 files changed, 95 insertions(+), 12 deletions(-) create mode 100644 .gitignore create mode 100644 multiplexer.v diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..5761abc --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*.o diff --git a/multiplexer.v b/multiplexer.v new file mode 100644 index 0000000..f2ae345 --- /dev/null +++ b/multiplexer.v @@ -0,0 +1,52 @@ +module mux32to1by1 +( +output out, +input[4:0] address, +input[31:0] inputs +); + out = inputs[address]; +endmodule + +module mux32to1by32 +( +output[31:0] out, +input[4:0] address, +input[31:0] input0, input1, input2, ..., input31 +); + + wire[31:0] mux[31:0]; // Create a 2D array of wires + assign mux[0] = input0; // Connect the sources of the array + assign mux[1] = input1; + assign mux[2] = input2; + assign mux[3] = input3; + assign mux[4] = input4; + assign mux[5] = input5; + assign mux[6] = input6; + assign mux[7] = input7; + assign mux[8] = input8; + assign mux[9] = input9; + assign mux[10] = input10; + assign mux[11] = input11; + assign mux[12] = input12; + assign mux[13] = input13; + assign mux[14] = input14; + assign mux[15] = input15; + assign mux[16] = input16; + assign mux[17] = input17; + assign mux[18] = input18; + assign mux[19] = input19; + assign mux[20] = input20; + assign mux[21] = input21; + assign mux[22] = input22; + assign mux[23] = input23; + assign mux[24] = input24; + assign mux[25] = input25; + assign mux[26] = input26; + assign mux[27] = input27; + assign mux[28] = input28; + assign mux[29] = input29; + assign mux[30] = input30; + assign mux[31] = input31; + + assign out = mux[address]; // Connect the output of the array +endmodule \ No newline at end of file diff --git a/regfile.t.v b/regfile.t.v index f13815a..415e895 100644 --- a/regfile.t.v +++ b/regfile.t.v @@ -2,6 +2,7 @@ // Test harness validates hw4testbench by connecting it to various functional // or broken register files, and verifying that it correctly identifies each //------------------------------------------------------------------------------ +`include "regfile.v" module hw4testbenchharness(); diff --git a/regfile.v b/regfile.v index b8a3c74..9f6609a 100644 --- a/regfile.v +++ b/regfile.v @@ -8,14 +8,14 @@ module regfile ( -output[31:0] ReadData1, // Contents of first register read -output[31:0] ReadData2, // Contents of second register read -input[31:0] WriteData, // Contents to write to register -input[4:0] ReadRegister1, // Address of first register to read -input[4:0] ReadRegister2, // Address of second register to read -input[4:0] WriteRegister, // Address of register to write -input RegWrite, // Enable writing of register when High -input Clk // Clock (Positive Edge Triggered) +output[31:0] ReadData1, // Contents of first register read +output[31:0] ReadData2, // Contents of second register read +input[31:0] WriteData, // Contents to write to register +input[4:0] ReadRegister1, // Address of first register to read +input[4:0] ReadRegister2, // Address of second register to read +input[4:0] WriteRegister, // Address of register to write +input RegWrite, // Enable writing of register when High +input Clk // Clock (Positive Edge Triggered) ); // These two lines are clearly wrong. They are included to showcase how the diff --git a/register.v b/register.v index dc9b8cb..9e24255 100644 --- a/register.v +++ b/register.v @@ -2,10 +2,10 @@ // Positive edge triggered module register ( -output reg q, -input d, -input wrenable, -input clk +output reg q, +input d, +input wrenable, +input clk ); always @(posedge clk) begin @@ -14,4 +14,33 @@ input clk end end +endmodule + +module register32 +( + + output[31:0] reg q, + input[31:0] d, + input wrenable, + input clk +); + + always @(posedge clk) begin + if(wrenable) begin + q = d; + end + end + +endmodule + +module register32zero +( + output[31:0] reg q, + input[31:0] d, + input wrenable. + input clk +); + + q = 32'b0; + endmodule \ No newline at end of file From 263c78588314f901bd262d3e6002ca86d147121e Mon Sep 17 00:00:00 2001 From: Serena Chen Date: Wed, 18 Oct 2017 23:23:20 -0400 Subject: [PATCH 2/4] base tests passed --- multiplexer.v | 11 ++++++-- regfile.v | 75 +++++++++++++++++++++++++++++++++++++++++++++++---- register.v | 12 +++++---- 3 files changed, 86 insertions(+), 12 deletions(-) diff --git a/multiplexer.v b/multiplexer.v index f2ae345..48ba578 100644 --- a/multiplexer.v +++ b/multiplexer.v @@ -4,14 +4,21 @@ output out, input[4:0] address, input[31:0] inputs ); - out = inputs[address]; + assign out = inputs[address]; endmodule module mux32to1by32 ( output[31:0] out, input[4:0] address, -input[31:0] input0, input1, input2, ..., input31 +input[31:0] input0, input1, input2, input3, + input4, input5, input6, input7, + input8, input9, input10, input11, + input12, input13, input14, input15, + input16, input17, input18, input19, + input20, input21, input22, input23, + input24, input25, input26, input27, + input28, input29, input30, input31 ); wire[31:0] mux[31:0]; // Create a 2D array of wires diff --git a/regfile.v b/regfile.v index 9f6609a..228f3a4 100644 --- a/regfile.v +++ b/regfile.v @@ -6,6 +6,10 @@ // 1 synchronous, positive edge triggered write port //------------------------------------------------------------------------------ +`include "multiplexer.v" +`include "register.v" +`include "decoders.v" + module regfile ( output[31:0] ReadData1, // Contents of first register read @@ -18,10 +22,71 @@ input RegWrite, // Enable writing of register when High input Clk // Clock (Positive Edge Triggered) ); - // These two lines are clearly wrong. They are included to showcase how the - // test harness works. Delete them after you understand the testing process, - // and replace them with your actual code. - assign ReadData1 = 42; - assign ReadData2 = 42; +//outputs +wire[31:0] reg0out, reg1out, reg2out, reg3out, reg4out, + reg5out, reg6out, reg7out, reg8out, reg9out, + reg10out, reg11out, reg12out, reg13out, reg14out, + reg15out, reg16out, reg17out, reg18out, re1g9out, + reg20out, reg21out, reg22out, reg23out, reg24out, + reg25out, reg26out, reg27out, reg28out, reg29out, + reg30out, reg31out; + +// enable writes +wire[31:0] regwrenable; +decoder1to32 wrdecoder (regwrenable, RegWrite, WriteRegister); + +// registers +register32zero reg0 (reg0out, WriteData, regwrenable[0], Clk); +register32 reg1 (reg1out, WriteData, regwrenable[1], Clk); +register32 reg2 (reg2out, WriteData, regwrenable[2], Clk); +register32 reg3 (reg3out, WriteData, regwrenable[3], Clk); +register32 reg4 (reg4out, WriteData, regwrenable[4], Clk); +register32 reg5 (reg5out, WriteData, regwrenable[5], Clk); +register32 reg6 (reg6out, WriteData, regwrenable[6], Clk); +register32 reg7 (reg7out, WriteData, regwrenable[7], Clk); +register32 reg8 (reg8out, WriteData, regwrenable[8], Clk); +register32 reg9 (reg9out, WriteData, regwrenable[9], Clk); +register32 reg10 (reg10out, WriteData, regwrenable[10], Clk); +register32 reg11 (reg11out, WriteData, regwrenable[11], Clk); +register32 reg12 (reg12out, WriteData, regwrenable[12], Clk); +register32 reg13 (reg13out, WriteData, regwrenable[13], Clk); +register32 reg14 (reg14out, WriteData, regwrenable[14], Clk); +register32 reg15 (reg15out, WriteData, regwrenable[15], Clk); +register32 reg16 (reg16out, WriteData, regwrenable[16], Clk); +register32 reg17 (reg17out, WriteData, regwrenable[17], Clk); +register32 reg18 (reg18out, WriteData, regwrenable[18], Clk); +register32 reg19 (reg19out, WriteData, regwrenable[19], Clk); +register32 reg20 (reg20out, WriteData, regwrenable[20], Clk); +register32 reg21 (reg21out, WriteData, regwrenable[21], Clk); +register32 reg22 (reg22out, WriteData, regwrenable[22], Clk); +register32 reg23 (reg23out, WriteData, regwrenable[23], Clk); +register32 reg24 (reg24out, WriteData, regwrenable[24], Clk); +register32 reg25 (reg25out, WriteData, regwrenable[25], Clk); +register32 reg26 (reg26out, WriteData, regwrenable[26], Clk); +register32 reg27 (reg27out, WriteData, regwrenable[27], Clk); +register32 reg28 (reg28out, WriteData, regwrenable[28], Clk); +register32 reg29 (reg29out, WriteData, regwrenable[29], Clk); +register32 reg30 (reg30out, WriteData, regwrenable[30], Clk); +register32 reg31 (reg31out, WriteData, regwrenable[31], Clk); + + +// reads +mux32to1by32 read1Mux (ReadData1, ReadRegister1, + reg0out, reg1out, reg2out, reg3out, reg4out, + reg5out, reg6out, reg7out, reg8out, reg9out, + reg10out, reg11out, reg12out, reg13out, reg14out, + reg15out, reg16out, reg17out, reg18out, re1g9out, + reg20out, reg21out, reg22out, reg23out, reg24out, + reg25out, reg26out, reg27out, reg28out, reg29out, + reg30out, reg31out); + +mux32to1by32 read2Mux (ReadData1, ReadRegister2, + reg0out, reg1out, reg2out, reg3out, reg4out, + reg5out, reg6out, reg7out, reg8out, reg9out, + reg10out, reg11out, reg12out, reg13out, reg14out, + reg15out, reg16out, reg17out, reg18out, re1g9out, + reg20out, reg21out, reg22out, reg23out, reg24out, + reg25out, reg26out, reg27out, reg28out, reg29out, + reg30out, reg31out); endmodule \ No newline at end of file diff --git a/register.v b/register.v index 9e24255..1f721b2 100644 --- a/register.v +++ b/register.v @@ -19,7 +19,7 @@ endmodule module register32 ( - output[31:0] reg q, + output reg[31:0] q, input[31:0] d, input wrenable, input clk @@ -35,12 +35,14 @@ endmodule module register32zero ( - output[31:0] reg q, + output reg[31:0] q, input[31:0] d, - input wrenable. + input wrenable, input clk ); - q = 32'b0; - + always @(posedge clk) begin + q = 32'b0; + end + endmodule \ No newline at end of file From 2a0d9cbaad3b59b282a54a6b10857fa9cb79feb6 Mon Sep 17 00:00:00 2001 From: Serena Chen Date: Thu, 19 Oct 2017 15:12:48 -0400 Subject: [PATCH 3/4] finished tests --- regfile.t.v | 111 +++++++++++++++++++++++++++++++++++----------------- 1 file changed, 76 insertions(+), 35 deletions(-) diff --git a/regfile.t.v b/regfile.t.v index 415e895..70baec4 100644 --- a/regfile.t.v +++ b/regfile.t.v @@ -102,47 +102,88 @@ output reg Clk Clk=0; end + integer i, j; // Once 'begintest' is asserted, start running test cases always @(posedge begintest) begin endtest = 0; dutpassed = 1; #10 - // Test Case 1: - // Write '42' to register 2, verify with Read Ports 1 and 2 - // (Passes because example register file is hardwired to return 42) - WriteRegister = 5'd2; - WriteData = 32'd42; - RegWrite = 1; - ReadRegister1 = 5'd2; - ReadRegister2 = 5'd2; - #5 Clk=1; #5 Clk=0; // Generate single clock pulse - - // Verify expectations and report test result - if((ReadData1 != 42) || (ReadData2 != 42)) begin - dutpassed = 0; // Set to 'false' on failure - $display("Test Case 1 Failed"); - end - - // Test Case 2: - // Write '15' to register 2, verify with Read Ports 1 and 2 - // (Fails with example register file, but should pass with yours) - WriteRegister = 5'd2; - WriteData = 32'd15; - RegWrite = 1; - ReadRegister1 = 5'd2; - ReadRegister2 = 5'd2; - #5 Clk=1; #5 Clk=0; - - if((ReadData1 != 15) || (ReadData2 != 15)) begin - dutpassed = 0; - $display("Test Case 2 Failed"); - end - - - // All done! Wait a moment and signal test completion. - #5 - endtest = 1; + // Test Case 1 + // Writing to registers + for (i = 0; i <= 'b11111; i = i + 1) begin + WriteRegister = i; + WriteData = i; + RegWrite = 1; + ReadRegister1 = i; + ReadRegister2 = i; + #5 Clk=1; #5 Clk=0; + + if((ReadData1 != i) || (ReadData2 != i)) begin + dutpassed = 0; + $display("Test Case 1 Failed : failed to write to register %d", i); + end + end + + // Test Case 2 + // write to 0 register + // should always return 0 + WriteRegister = 5'd0; + WriteData = 32'hffffffff; + RegWrite = 1; + ReadRegister1 = 5'd0; + ReadRegister2 = 5'd0; + #5 Clk=1; #5 Clk=0; + + if((ReadData1 != 0) || (ReadData2 != 0)) begin + dutpassed = 0; + $display("Test Case 2 Failed : wrote to zero port"); + end + + // Test Case 3 + // write enabled + // should return unchanged value from above + for (i = 0; i <= 'b11111; i = i + 1) begin + WriteRegister = i; + WriteData = 32'hffffffff; + RegWrite = 0; + ReadRegister1 = i; + ReadRegister2 = i; + #5 Clk=1; #5 Clk=0; + + if((ReadData1 != i) || (ReadData2 != i)) begin + dutpassed = 0; + $display("Test Case 3 Failed : register %d changed when wrenable is false", i); + end + end + + // Test Case 4 + // Broken decoder + // All registers should start with their address in their memory + for (i = 0; i <= 'b11111; i = i + 1) begin + WriteRegister = i; + WriteData = 32'hffffffff; + RegWrite = 1; + #5 Clk=1; #5 Clk=0; + + for (j = 0; j <= 'b11111; j = j + 2) begin + if (j != i) begin + RegWrite = 0; + ReadRegister1 = i; + ReadRegister2 = i + 1; + #5 Clk=1; #5 Clk=0; + + if((ReadData1 == i) || (ReadData2 == i)) begin + dutpassed = 0; + $display("Test Case 4 Failed : value for register %d written to multiple registers", i); + end + end + end + end + + // All done! Wait a moment and signal test completion. + #5 + endtest = 1; end From 5bf79326e3dd0351f56d7c1f09fba7276226190e Mon Sep 17 00:00:00 2001 From: Serena Chen Date: Thu, 19 Oct 2017 21:22:33 -0400 Subject: [PATCH 4/4] Added report --- HW4 Writeup.pdf | Bin 0 -> 52663 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 HW4 Writeup.pdf diff --git a/HW4 Writeup.pdf b/HW4 Writeup.pdf new file mode 100644 index 0000000000000000000000000000000000000000..27b139519bca2eddc380b27caf3dfe2926e5a745 GIT binary patch literal 52663 zcmc$_1yo$`k}nD*1b6qwLV)1z?iSqLwQ;uucXtcH-CcuQaEFHA!QJh3@;_(pxpU^t zJu~yxeXPaWwLj{sujE(NMfKj4pG3v!nCRKyDZ6gJy}+{r7y&>dD|lXB0E4WhovERt zrKhP0fC+pDU}I)yX8|xs0<-}foNNFlHZFiJfI$Jk#0X#z1F$i%vvL9$dfc7h1d#>Ljo3BU?q_~dA6VrlFQbObOlgG~c4sDnMh1YidL zg8d+6XJYCOUSJ0>|M82Iof#0o%mP+J3BaHP1Udsa|Du(_9tE(l{gLPT$5EXBMW5hJsa83#KvyCEYdJ2NK}tC2C28KqoQ zS^o;dU!V{%bT+gBn*Re*x&C3te~1ueaLoPW_bRGC0}(mqj8#J7-fnXD4tj{$-RL7@>y3z~4Ch&BqP~DhC(yZ+Ly=EMfG&>4V1N7uxtP1Ngt9X@3;x_mFantWlJ^_r;@~s>EQ^Def0qX^oW;SY z|Lv#WBr|}8`49P<`I95iSlJY;kT#eW6$e)WQ+H=@ZrFldFZ{Qw$ltC~ztz%EFtRc= z{_6k@MgSAjUs5%g08D?S4p{1M!GA^TcLe_-RDZbt9$jHeXQxl5jv_!?d!XHKQ^6Sy zPF|p+vb~}4pTu^xG&WU|0ITsIhE>wk(%b^)3y@A?N<~?QQTE6ILSwMuJYucfE28 zcxKJ|k+2yIu{KJtS+9=+2>+TdYTT@<=5C$QQ zfY@JxB;Q14=ie=&TNO z*vR$*x{Bg$b}R_xwEoqwmb-}!td7IT6_wRI94`n)Xw8W%rY=73>4c;tcE=29(OWLa z?ziYkJWP8pH%sliYFnl=EppJ^mFuZ17%&^38 zoT|!-y|xmFRI;O?EGCp2AX{ffI90}q3dApS{gXaIF1}wA1TAs}#r2uL*G#QXDx=p5 z9o27X?35wDW`SB*b~zYcr<&y`{jRk4ApJe99I1Anq9)81CfN8(YFrQ?XsE$<^7yt6 z9-nW&yL8Fn@K4O+bTcBO-1+`V+}D_F zweSGyOGllk!jzM_q3uIgaT{QP_cvE(twKhNoKVE_bcYRPy>*1)L~BV9 zJb|DBa}N>y6y27GYI&0xx+(>5^T&wef!jv5Cv&9wyb38V`rq6{p?osl{yH3nu)u(X zl)yv5N7sUYg?-2mlsUl1kxgyOdA_)>*)uWmEVbU_y}$HX4#2j(>AEnp^)YT8#e&^6 z_v%35tL1aOVx{MdMLlrBp?AC~$TGB3J`8L@kO=SZk5An)7eKARz`Ng=@oGr1?U@e) zoGvz)pXD+1G3fg|dW)(42w&rO4529Gchl@71W{!{i0!aYjp-^%rQM@VaXTDiPH2nu zlUE)#+N@amie72z>_49j=kw;4q&K<|x zR<3^tUM1D6VWA~m9zQy6;qlvYI)6%u?#SbF*!6h6`pQ}Qd6Wb!cB!<%C!2xO#FO3+D?>LNQq9AuekWrto;#}r@O^uiNZVG4fd(jOsz)ezZTV6P`1p}|7 zGV3y_im$i>*feoN!iN=&Nh0w0`ObZ`F{=P8Ntf1>rqn7jO3N`M9~{}fp{(X)?Zqi- zac2h54muE}Xt@Bi$a^((V^gKBQt9?Q@bpQ8@c6)mU|jDp5v)BJ8dHuO_V-&j`aE3h zO@0nGr9Z$S7W>xqngDv#_fQVBb9$Y}UHI0jPE;MfDkWLyCyM?0OV6d7=6?pKe-*f` zj&7C~oC7H06mEhx+wxy3SNXioqQ1q~E-0YH^9Vwp}vMo;($;9(mXMnK)S@J66Ik_A9?B2=r{fxp)Fpt7`p2;Oya7+UNnt$KQ#nDs?Z*)`9^XWaoRbkhjae%U{bR1nt>|ZLUVy zDy2$12M2-k8y%p5`Y`ud-S#=dadWldB3yIRiH+Xk`rgSUr$#m0iK9`tptM^7OA9-vmfG|c9v|PX z6DK*`q!xlEu$cb8#Ef*VhH(t#;u)S(hmV-G>JWpd(j{q}IP4O7c*FnFJ&C9Vz))MjCsHDHNp;2t{I-FQ2Gn>nA16|@YdUXtYC~}C) zofz4GowW4FN#)X#C)tb7)>~=`ctLUdc1(RgeSNBrEnm;Ydna<@5XH?kgnOE@|mepxBO?3vhE=1xrZ(O9EvI zj|1J5)4F<{4|!Ai_VzpHoIoqrJ^F09aEDhOOq;&~AGS)wf2}9AFS`{})TZMZqmR($ zgtPZP$m4GerNg_GuQh{F+H$BWnFpl|)V^dM;`q5i{G-MF6#WrTDHx|EW ztPhy$>Rd>WAr>h|4}V;__x<8W{qOXQ|MNYc4*Y&L&463zfA??YpEmrz*5yk$8hZRI zZT^3`v1exC`ge^zlMUGt(crnCkdV;EmmcVTO!^NxpPIjZ6?EL_35uZ8DaVAzQ8N*v zZ~SV{6jzP_9p3m8lU5il+&eyxJiH+93{;b`q^2VL<-w(*QI7Km9bf<_{koZbD4f*CsvV;{58Zw!TNhHH9mje z{ScE9V!BGCJDYmT^w`W1>`SBw&c zHaV#L@8BCjeAzZRqocBH!LBP2W>tl+`hrHNvAFp}N`#VcAj5&N&O-e=I>(EPPnY19%0q7A$vE0AzVaZfU zq%@9uo9rVg?0xPixA`gjk|y4Q-|HZSGkKaff}(HfGPJKnrI2KL@o;ZNa6BIW&PrM?-;qQFBjj1V$fF2JZ4Ie`#= zcYx6;Fv-CoId1gCp`)+4fV^)4K3E8SlfhguEMT1RIJU5+we9FJ=2nw_U=My+GqQ`y zVK%LRNXhU>oByp;WEY2Os;i{3HYbFXUYgGLT6hroC`oG84LWEOlpHDlrm79f@`lct zF1d}_TDPczK4XbTKya$|V!S`hlxR=wb06SO0HM$Wz;FRDS%^zkrN6Vt zGb)<)=uTC;t50S>*irfJVFTCegKIk{4|C(sGTb&Hm8Z6!-Ofz!DS2`-j%qDhG)x@7 z*4EY{NaKP+SG#s1Va2tO3Juu*lE`G6?Jg?wsS&u*Ph zwwfUhq$d>%Twv{!9zaBg{xNnS9vI2TCUFiqy~5lldt#;`=&3Ded%O5|V#B)6&^cVLbt<+f!@Q5UgIeBFhg z!=$vM{)UR4ps7Vr8tq%_S+Op>DsF@VDk6bLRE%G)(X&L-ygD1qZC|Q zwj&WsCO9JuzW_Ls^6numraV=PD5eRRB$3dB<)xgD!9zDsh#*al8j} zXz}=xGmR=}ci$0)TGNtv;-`(gVC&KgWWN?y_%en3*699Bzu-%#V}r)eYDqJP?N{=vJJ;FN%7;9<*m0D_ekCszn7 ztW(v=?-ll+Ha#Fsa-;ra5xb;Scs%YD?@=SE9YsyZ@Z?IPZ$HcAM=2E1c&@8ulwy6we9TjbR*H~j})sNSUzqt{X#|BK^28aRAE@sKvZETRYpTQ=rA&C%#821 zuv46TR+vguQMhUImQ6PMwGLT(MlZRTSd=!!VhMCDW}D1q-TQ(}<9 z6X823@65>aJ;_)XHyvbH>mZl;4%#o=S=IL>jAlRjR-%vwPKG{{EFyo1{^w5X_sI3X z)@l8p=cz0l|29wk+vNRUnx`^@$JYNgPi15N^Ig)veUEVrI#f`($Ll^<{Z7Dv))HC# zRSDDnomsF0Jz_5)MTkC+%%-MU%~)$J-h!=0S6#gcKM&*?)|k(lp8PAlw86o8u2q|S zN)&?~f7K+a5#N~ov8NBGbJ6c>7dIT!5SM?_9!&3T0u_c?^L8d)XQor|o69vX#>DKn zv}CjMwDuF%U4?ICA(BE`|O`}ca)lS_6BKN2f=Ag?CodqyM9h1jA>I=0HCh^5_ zE2i*GCh;qT-u-_>1WQ@tw4G*gx-|f2RgV=BedK){j30}-mKv>JNnS5v+7$Gs@#|$| zrP;0MR#&+_MrN0sc1xt1OiEG4o46|1y}osjUnvhxvW`lYm--kTKQFiM0;&gk59Hk@Z=n1p*1yklV zx&aUgTMZoA$_aHJUd=Q7N;;_XEJ2HvuFmW2e3*7hZHezI9NL59*jMLg=?+|vsr7|7gAc;in(Kv~K#5m|TJpSPW!uqN>>tMr>TS`3ZS>nKguEzl z9Rm~hvG0qb!CNA8=4FHD0siwANX!;d^MHW=K2hJ~db>ZGd~I7FTwK)Au%(Lw_W8I@ zr<8T5-Lf`9PzJJ#@7irnl?Bq2G|(CxL$}9KFa2j8)2LVYn0bI8(Atat@KfH}qQ}q0 zHS(&^}fMXK24ZR1yDK)Ox%DNho9=w|O2! z5L6JXSc2snTf3$-t;-}Hcm@Z8MXOtz)31A9sxOip^OWz1*;^n%IX4u#;>^h#cM-Im z3S2^$Ss*D&$yi%0OdZ%G-Bo^S9^UTHus||SNuG~()3sRd^y+p4!(R2pMaB{ds=mIE zT~Galm(ddlhUvP~d$6*A_2sW!jce`3r@7-3mPm@?oeiCrwUN6I9aQhDWF)O|^R~4Q zc^F1bX61LmX4D5;kgaNUfjJ7duKMM)1q#_jF*fEOvQkW$!H_?~L)Qv`*qC4AWf--X zbv<@pfYuV3jkU4u2Ja9*wk^$L|F?VDLS7ZW=QRv15oc8EAKUF8^AsgqGu(~}*hFD! z=4Ho6JwrUE@x|$C=Eo*RnbVO-?06hbXevnIhw5+UU*$!2sLv4LDun!Htpl>br+*Gl zKY5%0+nyzBEy4vp9@*8|cBLU_o^c+op1tq4#$ZSr0jVnt%P}l$f9;v#{b+5Z>wV}a ztT4nx|JzFciPy%inpSTr`*a1;Vf)7f#kM%0PoIP}E|Ss=vv_^O2KX#iuNdbOUVEEu zt;=_`F28FRb)6ChIy$`W8d~~MkN}ON$C$aV{K;1mWdnxs^e+2AY)2`@b0xn|w<4cE z;E<5yGytf~9X?kqUXD{un5icK>u|8!qRi}Wpc-%wrnil4#tR}+FkgV>VyE7u74l7U zHT7R7OCEFo2NMH9mYfOo^*i6=(%pk#@z>f<-J&>rF4KTwiZc zid-1pGpZGsn_@jeu@|lAYUwE{O)p*u{TSI5>~}0$F?aI-6^sgR3?$JVvNr-%bLRrp z7b-3EUN3*Nxe`rx{Os0X=HQ{4u$mYer-xJ9!Q!S#4!I@X=XE$aNa8^`;rCg31flT7 z=>INxt)_dQjlq#C=oB0cZdBms($QUS-W()3x_|ZnSwlp+4wsZ9w`d+j9R)?`u1)7r zO_Y|a=9+&ZEm8^nt}~$ZPZ6J)iz@V*W^yirf1xNIM;##vIc3yBTPHI67DVr6(g;m%nY|vQ(RU zoE3tdHYcEYN?lRE3|d-J10BL!uvjXUw~mdC5a&*M>Oa4){5r|y*J&H(Q*tr~T|b=4 z$MN25Bt`$#d|OM|=_aQML03;*O0yDF=@kV@^j=;Cr?Ykh4T+BV`$4N1vV>l)$SwC9 z{QP{=;;bQtu9qf3Ypa=L{a?<_&x8$z-ZVFf@PXKAwIe$R#XokC4)iPqXZykuW_L=u z)={mGe+}1Bey7QpsQ}N66~kEKjg5=KgXSL(p0;^2I)--Uz;n0y)hDRo`B_f=tOir< zgWr?5VmcmQy4BwWE;`Q+D{fM1hPd{is>wt5koCiw1O`BS8G#Q5tm2IAad=Nkx8OT4ra%j5(5gePz_@UhBr z(gy}Y*sQ<|v&B1GP|T&*ij7`BtyNK1yz=GM_zJr0fS~L^P4%OG?j!R5Ac_C|)^6Ab zh7!z?m49wafA@|5wYKzM7y$n1OaGMt;6HYvOq}2ccmDB#k7E#%1-UvgcmT*01dm0p zBD-M(|GiZM8Cs{#KQ_Hi^P+GNyi;m#5Q0c!su2PXy$Wn?(3{P1w_--O&&s6e z`l)XzIU^9DMNzqkWP5@!G9?o;n`d+rw?G+j?F8D5zP0Ta87{s#J>*g1b-+#@miS~M zO_NUF_4JSgu9ycq)j8gJIpDl?zc?;|p-o^7+Q5H6Eb>_;o*y3)*Wv){HoaztRL5OV z*gz}goXJs{eIF zfWhuDf2!nt|E;tA&g{G6EbYh-u2D)qmcx_ykE+@;x9*J*lBCsnS*&Iy!xpAEZYea^ z1%S@$H+jP3+>;}6nnMSc12r<&<;`Jpaz1B^czm?hJabmAPicyIS@tw`6X;7;YYXDX zAdA{^X1lLNolV%zqu;Dv9Durx8}wM)j>oPZzj;@y6;VN5RZ+9c77y;TAGqgd(o$`dbpAd1l%$=cUEw#KIqAz#Xi@qU;*sIKKkpVi{6Es&98n+=M*!laH=QH z*Mm%DxHtqbmNz(n36tTB0H6eD}j|0UvR;yUc*@>Kohv2Nx0l#2h@*9YYhN#`1b=#2LN z4$c1rwf~JjO^KqcmH6Br$E?Fly#7olmgeO;eR(cYPx<_EsQ^qP{&Ym)_t;wyVfuP& zIDPeXb7$e0mY({g%hpqa$%x3Uvh(c0XNEi?Du2D>W6? zrMmYmg`bhHopbTtTZ!y?1}KX%*}n78Cn|kSoJ#!7!LQ}1(?S+>g(~Nyph$MTRV9lu zU42W{UYO-&=NW5O;T?!k^1|>KsbV2FCD~!^nJVtXEk|~pv~QTcJzHpXRTa4Z89(vW zq*VN%2282kdA5povG9Egh<-Q2_Aq%Rh?IWfoUhUgCLY{J#Me`ai-l%RBwiW8EQQZj zKOV15(>Qwng9`AU_;L}ZWB+OHN>ENaXFpdz84joXT&of7e*zmDVc3_PP_$qG85tS= zNVCj?c@NrXng`L%S=%y3T@~s0yuNe5i>8(iWpug+oiBZQGk9@e{+)L6$4u6b?5%2b zxG(h+$>LE*nLZAmkHRIjaH<`LbsmNbKiYWR2M!Gwt$Eq(?=*E#;ekHnT(XBmmCFGa zIuBwzm6t|{K=|yn89_2K+ZkkH4HRVzq77F4Ds=~{83^cacb?@HGjHPDScgK_`F-&T zgK2AM>EnXse)g^0ap8@eC&zA;1>VR%}PwQzu^FOT$QnWPc z9(g`!%*eds>WDY`io7V=q%k7Q`%C!wNk8I?I|FVa8o$r?w| zuV9xCs2e2PVe?_8jnGBHZ{txYs8&W8acxE)R{654{KAe7jy)M!EAR!yW3?9inBu?x zTJQHGhJXK5{|}$Y`}@;$>`edr^aqrwA3@QA)V;o^eB}htlSzJp5jHS4zsbgU7k^9P zhT0sc(-(MN&z(j zX&(olKf~bX^)LgJe~opbM^o;Oome1xrNrsAe7xU6DH_%Hz2Dy-MR~cJ>6#debR3gd zwHH7px(|3dy0|-HG(;{+%*%u5j){l=wid594hs4ezP!h+CI3qp0oDy@^;PP{g`9SVcOZXy_#G5%!Y)2wKg({m@k`wo}Mx~+y3Y9A&gWK_BE{_ zmk=xO1I{p9x8W7jL}X_;Zqs+#FIk+*1^sZ;Cuq2;1l}jwv*r)%lD%ut^g?sP60rQ_ z;RiD$x)~=`(52aPMbck^;>E>%_Yh9LN+&zq;-R9?ikyV&?E@jJauC8!hw5w)rH|F2M_BwQURBQqAuXSj2gw zn>3aKm8iQuVn#i#bmY$TofOQ}oN2zo@qy&ujKg+~Xbm$SnC=1D_(Tc3K3Vo4dHoaT z`>Z2MKCdEZRP}gVA?@0_B6j_kBL#+6Zz?q`t3 zoW$)c*qfinA?o=1a;FOq>j4rWhVz5izD9<6cqzzRno{x(3?$ugt3!_?^YyV-P4f8k zVmDNRaa7Ws+*JX|21Ia)i1doj-WbBG&tA-_C($I2T`?BQeZ;H)dek^-4X{bh%hWcx#z%?m&H$so?vyYP6m{Mb=9!ETK+ z5!B(txx3zmeSIEgDqyT?WA-~{pLUb-#*^6;u&*U*r8*BYm##p;?H%_ul}vuiPf=c! zD~_GH5xbtW!}Um0mOm{(+(|vCk14Md?Nx@{Hz_qekuTpLV}KZG9%4v5F%+#BZm$=Y zXXu?gjQ2KC@(usY7;6>znAOPI@GI@Oo5H7=cRt~drG?8@@E3AYnH9bMl9l;i5O$Y^ zG(sR1$#CC{=i}2Dwcomm1#V9or|x&`!`9KmuA03?h+ZM97nZp-pDb^txrnY9Uv4kJ zZpj)_L&|r;AhH*FL)XKLe7`DsOFKUa2u+eV=R@AWmPIZQFTp2Yk5a&B9~*_X->~F{ zEt3zxxebNH*|d$|RMAbBw+`U_z&4+|vKm5MSz9%&Y!9X3aDv>!i{w}xGR#8?JA#Pqah^sB$Nz1+( zxu<*v*JS?8!EnliqyHqeul)#`iX&obN5uzfd25RRiJ({M5SNhq*GpQr$q+KJB;%aDi& zilGYvOd_582c;85#V<(x)PsE{3e=QH)iDZ&7O+Aav4Bmc?sqnuRC)AV5;=+VZqt8Oic_ek5Nh9%xK2R=0@jOV4GZ3Q1GvtqNd7S!wjh z#Hc{j4&YQ-Y5w%&059)osh2td25huayuP5;*(){^YcFAZX+GhC=gY*vU}QBkWY_fZ z0ib*Y+f)*@ySK43?AuwmVySQidDYEXOw=t7v`aA}50OVh2yilHk)^MlnX(bKnw;X| zZMvsE&!rCzw~kyJqxf4>kJcG9RUXn~ZPAA|{p)a7Q1sji%dQtLJf5%M8+G$YudSq- z>26iL8@@Y}c>{5r4-9Z?WMdC2wF*~Ghqw5f>bio>tC&qH<)6~5NJ?PKZa$U%B;1;% z?WQqmH3x;EZqaJDu?p!ZF&9AR9RbFykd!!QcCvab!LB4}r^wsCb{O~d-Ks0MxF$B3 zx8wyPeW2yGMLk%7HFJ~qpcOErvHXN)MkK{+YLq&X$M&}C1LgYULI84(kP;2gK;t%{Ca-TPrV5(b4pv&5j1+=mnHXZn#`SmPtcm_LHB^cvT`3R`Y}rL4 z*4xbjsTwifuQhdfXiXo@C^=nF&4>(FYg2nA(>#&zcm3R*)v!7`kq>AmkQX-3`D3goY#R+M;* zkMwBW`lMr^!88Z1Co1qO1Po3QJou&d;FW~O_k{S*} zX<0~b$b=iV?!wVk(nr1O|Ws40FEDCVIf+0*>l}Pa?p2Y?=*pgE6aB0rTp86Rw zR{b@e#drG@8V=!3>#Ry(sZ%%CK{{m?WcOAd9`I$a`SP~7V;;~$TE`RWF}BuOm-`uh zN{7)#&0`yCjJJ?|yL8fbUV|IEBogT^dDb#`%gMhCIBlF3p4n& zkiR#i;5XkG|FY`wjnN=Gd@QI=jfsd&~6t`bgVcOd6y~s1aW2IO#Mh zw2?^WL|S9KEL3{~)Fee=YK?aVG~d3#B6C7O(R@IL^+c;mW^Qv%)hk}G4O8f#L7ZOdtYiJ_2fCW*L^QP}33AanF`CMR3Ayj?s8%a3{ zSzInVt&!w)2>eJWR1tELR3@^9Nv5}7Clnxl3`FAdyDv^<9@5tI2ZUnhF@9$rZ^!Cg zKpoB-kjwUU-pU6+Si%|TzINZ`25hKTU;!54wlW5gviXHBKfgGP4Zd_={`~3Ct4~Gl z1c`kG6Urf*%IVz`!z11K&f?4cGX78FB9fP@vo8qN@6sIoln2W``?32b#1HIew~egd zJDLBGY)NWG5NFfK{s4VeX{Ee^v^;vYH@+;}qRQIwLSA@*$%F;;V8j&t3J}4tfa$(k ztb$MpSIgzPhMk)D>B|mhgyvR;Zjio+@{kb3=x-O4MkoyRcF8q0)U?T{oo@QMoj&`H_)&r%mH0IkD=aP(x$r6vllohV5D3#1iCB+g@yb#<5O<_aU!IbkqIEzqDY z@y!-vC)^>C5yVnE;=CrMZO~lm3*s(HfBjzU&EVZTM3g>Hxje%tD?Cn4G0D_5h!sur zEMWKiM-jKXoim^^c~YeGLKX%apA@-P?{I>mG|ccWu6dP$LwAge z1IWx34c5?X20zE5!i5fmMubL%)`Y5ss-u=Hau{@dA*=epqQj1LFSvxdE>66;h?y2O zw!vk}NA6`NQct%QqrQx6oOgD?e($@%9AUhqy1>4!tYdaiOtx;^vYMcO$J-)1r@ZQQ zB=Ku#@avIKVg>ieEm3sZX^3h)!$;v(?43I_`Z{lKm&D7U(exgSRSd;+uNj>T8n3q{ z5I-YE9>`tlqj9dCF>QL-BML~1mFGpM*zvgGVtP`dc$dEN%L;i;idnq8$HPvbRbUiVe!rnpw&M{j#Z zAEvclG|gljq)b(O7}P-_34omP$-?aC;~c2U^CG!sti0{msGcQ#idR8f`>4^AQGkf( z7meD>u+d($kW=#9+c0%mF9g!Wmx9p+anYFdG#B%)~ zJ&rp_mXUT(jCeJ|*iT)mmnBI#`~4aMK>-PAz_pmJHgxZu*15;o`B{Uy0%QO;_I00> z#XzG$n#QD2%QZa8m$P^>oc0rq`iNMZ(%i4YX~)5)?p_3m+(Ol&_cc-*K}saHX!QD- zIE#gt2pyPSn-UsSH$h$wD7K%Hdft^VoU~{xM%uRfUq4*b81NN2>IuNzZoFs(wpyYc z5PsVB6KvL648BZ@_9P-rB#UYMtou=nI9hc#dxDJHm2_R8M-A2J|n7>Hg4=>15^hr$0% z8=7c@PC(?griC&6Ish>jk24hyzXrvj>IG5(;XQ6&bk9sVdh!Kl#Ag-Kz{@JZmG~l( z5Mtge-@x-ZM*kh7XR$K?!P|sD-49+l{>f3@4FjH=j)@5-<*&4j1km^I-oZZG1L?ZY zNH&h!Gp8lQ?(~r7;qa-i?Y=P2bFZ?SE#uw0qEu2xr-T6U7@`||GhK|IGR~KkJC{V)P^b%AeE?&2}H)pkhG- zzk1*f&4km76xSKNh!>W3JWnW3zH7WvMGpG$428UmtYsf=IYFvMzE(EchSy%zCDVmx z#Jh^W{-%I%TdO&E>*iu;4|`D`!4>BM<8y6uyh!?+H!8{w&q|DZXe;e>(a$E;e2lvS zQF{WP2}26uQOIG}cn4dr1@Uk7e~!t`_F7)q-1)I~zVdWmX9avvx_e~l6E_`_1R*i3Msjl% zr-Td|5W|f2UWBe}9k>}1hg@Orc3hu2+)Vp*Lr7xG(-=dE4cJAH6Crt>;luPOo z^Z0!UZ<)WOs2&g);Dyw>q18i)JI(HKNIXY1hgH#W>enbxcG>wH%e?Ny_f(eCm zSM!FDi@OnDZj7EEbyLw_CA;J!ztAJuYu(v$dMdwvWPg2qyUHVh1|*Mu z@&n;4FzZMR=_q6h@lc=~4<%UStir@V%zmYBnR z*BR~1mi!8N_(SADoTAGNb)bk0+2~0kQo#RL%tn%=aU8p7AK;^g9~MlL#LEwqXTPkM zj@R>brFzZaO-|5L8qRcD(OIF==Id)mN+)a-U2} zWnd=d@!nhKD1T`kr>4xdbdB`pwY=LtcN=09M|vc#l#Ssq zM>|Bv6OZlHd2P;x6|WpOQ@*{iAub6eqeQ2Esb0)+j~AHn>*Bpt=~vI!dCzeov2ma1 zOl#GNmW|I$DWN@Fj!CK*+d5hobFlxszKi1G*ah7UMon=rLv~U_-95-|m%QBH zhf;O5o<6l-`gu3pKe0x3d=c#M>^yoZuPV$WaIzb?e_m(h?Rr|>bt)UL(}$%$ML)*q=7WA~(Uxnc)2XCGr}P>-ln@L_we1 z=lp7+eSV+32qnw+nDxf-p<;$1bIqgmr*qqktpZh!JohnQ)~|BMm;EPcUnIJY1r>(U zY*oHIPpt;E2Jr^1>q@H-s{kvaZ2ff^ThS}|pj_|McmjWR)>%QixX|!oQrT?MiTJ%C?pZN{&|r(O z=wHL)7rZ(l>%;FapgiK*McEVROlX(H8xx4OO=mSpYaq9#V~u{lxn<8X~AVTOdzWj2SDE@(WW2+35pT`u0$pz$09qB@{bc_a|N zKkpMmmn8FuAp9)wQ{fK3lhkgLR4-n1?fq%2+pyvVu?LCEE=-?9d|1xgAqU4V-je)e zBnb+W!jhyV`H)fp2=;NAfeIUh-jGEn4)V!v>r)m+eOjsZ88Y07k`mz^^hcL25yZnP5mi-@V^fjAS0tKKe#54OkyMhVWr5fbKfszi5cfWx zx49b8i>`i)sxVJzoE&?rH|SOyAnv$BX5{eEwM<|PSZ}`PT5XN*xT`tYp--C ze5Z6L-Tc9uK?l1Mwrf)VSJhR{75;OSUQySK-;}_woci=N)cP;-lUw`3_DUIx2uET! z=qqE5)fF}bE90&|OKKB>7U|WZshpr!dT(mg&oY+=Z??F6Vmn6kj6*cAys|pJubG4_ zX&=FQWpwnenMy2q9r?IM`gBLvVH}CvpgpGg^vKsLESbAY`+S$LnK?pyjL$ONTlBcW zdQA7}rLT@S(!L>T>+3WZs3uubIAVTG(=}9IVmMO2QE-iV7Vjj*S#-JKdBk}Pcpfe_ z#7UfCj)(R#U}z6po3bnR?>$3tC&K1kW2sqB_1^w8UaD!yA(P!>Td(htc7pXCtJ- z!Cug=Fv3O-)GZpNe=AOZ;AYfXp(~@Z!MA)R>w4~v?-ubtl5wqVGJl-d54549gNT9g z3`-=EQns2w$uI90_&y|KF^y2 zP!X`p>k$XJ8E7!|91srE8=Ko39D~bcb(LC!66t0C6c`_t@LnN}+x8(cggBea`X+O_ z<<;F}?FkzE&LzEet@F|a7A=X-(K%JN&h_j8n{|%w?$RFkp~C9(dpU;oyXjpz?IySt zxAu0H`Z8~~{_Kt_m6H{}pFhj0h)O-5qc~8yT(*zh*7zRQ9tZh3eWCcDer+kp`#vn~ z>1T5L?2gv$oh(MX*$nbDZV|1VM<2Tny0#nhtkn>mE=Ip*9pl=pu%|BUR<6!hIBJ=3 zOpJ_K%-2h8i6hO-;O7^l{Tc4Yebm^jVIA53F(dL_hkTi08ATjiqF^tS zeu$C6hfjn?koraPQSPf8xESx&6F(7N7$}8kj|TGgOEXPWPzGo?_SsSf#KnJqh!?%t z7PiX^&W6gNa{jo!S3>c|^Jeg@)>}W9%2^Z6O|^$MsT#6Zk3sDWb5UZ)OE`Z~8TEkC zMMYD{fuFrerpWfxT0m!|nDl7+fU&su)6i~4b;RN_Dy5(;bcL(pCj$FVq(ux}fbFxL zOSHhZe&2r@<`VNg;%pCkbp%D>2TMNYc9N2wH6Wx-Cy`C+?Z2mJKq*PIJT0FFoDjKCk|@$qV@ zHBMq^t=GN&Xwma!_}Ir@O@Hn7f&S26mqF~k>&fx=wO>y?FQm*QZC7V$XPRQW9INWx z%Hf0V!ua|;>&3N9{mrc7wWwF=8+88<0B1m$zjr!=`@-kJS>P$_)8FR}<;D972j{zX zS)r`gjNOi)$8l>;qlUX=bA++GjHYNnZ@4)yygp9}DaCoHbFX^N5F%NKY_We|p7Bvjh7e_bVeP`tj_ zkUCKRXOiP$3P!aGk+}aQdw3+jb8lbgo&)-O3d)M3yzSiQmRKaeWqn>W6pCrzUx=sC z5RDgervq-E%951r!Nz5z$`#J_Zd)DroAN(MJ>|d-BE%P4}JQ3J?%r#7k8!~|0=^( zEjbF~LqTL&dtLzLFOn3E-cm3=8ZN{Sm(E5FJD{Q~E9>C%bSNt>8(bMK9pdxIzOsGv z4f;mego5Ha!Kn=IUlJecu(S|)HHx%q)YbQv&Htq5-!*8nDGj1D3dqO8Qax9}V1< z^qbwDboctUP3b2PLQw4N6Kwnw@F031iV+hK5{5p-(5Fy}SczDV2q7e_^C{N(6zd#C zypQ-4nj(UT9tbr(QI6eI(&OcUcJ8)u^aJ`f*pR8m=sOC1pB_=@d-N@ZzKb*w=}~&5 zJkbqpb(jxWM@A|mZG!nCeSLSb#T{;IriYL{ZoD@^)_K+iXfUv94MzDbu>3I$@mpZtQVj81 z;Gww~;bQr|}E^V0>&(m#3v6$JPeZ8>G2Q_mk3tq_h_)-AGD@lhWCwbS^2)C8hV1(sWYl zBBhC>G)PJhke0}bQWC7VC7KholhUK4bO$M&L`nms)K5y2NvVfq2P>(!{O(MJ6ewhO zTfVQ5-qj|7G;K9>Ib8t>xDYF&bVd0e3GPa=x;${e-8Pmy1&Iu$j^sdq_>s1RNlLsq zxYV3xfs1ZKno;iRht*8wfrjq=#K>#yb^qbI;QroKNilfIb-?|Zr;?F!_eo6Iw%7fM zYq9&?CY5STIT)xUNcMY_qWfGe-8+sdMdxD1+H&`7PWHNIxjMSXx|EFJk&OE%VJv8J z_X-Sfcf$7aT|?Z#N!aFIcb@BhcW$Iqb6#h!yD1JKJrYdA!8ULyo%#}$2K#1Ll2O5i zs#U7~s_v>5sti>_l~?6fC8*+6R<%VftBq>CTB}y8B{fr1HK?tX;q$?C{s7o2$(-=- z3=m*SSf>2WpA~bxM${DUfl!RlnRf2oj&u%H4Ta7_JfZ8oeU(Iu2dL<4M?#j)(78{$ zP|Nhrm8x*BPO}DHa^O)XM#`;?l=EYK zESJm)meXj!uaxs^G)g%}c)4AZk_+;8B_}IoY#x}Tl$m7n++60UAItdtN}0G)II5I6 z8du88gxV-YTrMn<=u(OhC%BX%F5*;*^!uwwlW38}^+gsdJqhHmGOkD&!}+>0hVxh^ z{lEPTZ45WTH$*1=nM#+)u?Twwmb{>6wfkpXD^y%pWWIUzn^T5X33ar z_O*lb$x|jx0eivd{K(%V{9w}LDV*Vvd-|mR>4SL%=(puhnhel6l-9d*C=c!2T`Co( z7V{~ETGgfLbOmT`MiLuiVk@2~2=xVdS}sr1XrcxGef_6IX?wm4O6h^!B$!Ah!=yqX zl-RisMODxzYE|z?bBP}hlL~QylSn$5RM&0$`&$kYfr$j?hK1`0%NG+@~sg51> zAFP9_O56_)gj0M894r8Kfbe&SOPtn@4qxK=oYEh#aAgz#n_&kT4Ljfvyg{x4f3mj^ zDu7!&`S1+PgePDjo?-(qWij-^OT_dih$CD9O<)6_V;kTYmc18d!+wY(_VD*G2j&YO zW3BmMfFx)OJzzX6BVEE%U?7}hk3cqbfd^p%DGm1zFAqN!-UKheKH;5k4d}oLL-9Hm z{#pDyd81_oW>7^$M^*!pnz zj@Zdep*^?h4hN9q*^hP#H3K^*om9a~)k<**m8N_Z7c5xsad zyeWJY9MBN%#`#ph2c$}kQLGhvRCt!tU z&=*Jh64v~d{7z@%HAgtYI)vMS5&7~c=Qg|rUlAv1Lb{WFv;iGYpA#m68hdPp*Dx53 z{9cW%pGB$JOZD`)@I2ebs-=Y5^I;>dNC2LOXW?~Xz?pi;B=QgPDfx!Br-SIz^lRY> zwuOD98jQ2PAI8Bl*ap873u#GulKaRgGLtMMkCHXy7&$>M(YCY?9ZRnWql6OSRn`u# z-fR+kL|h;)kuKHtuRUD*VeRkXjPL^JiSjTPNB<-|hcnv;$KeaS&cWA2BsyZmi$C@4 zOCH8+Hd#hCD$k%Ru$L3$Yw|swK);b{iU%u|Xgq()ikFX0M1%4P`V2je*9rO){X?(` zNkY2NT*ws)h4DD5g~Cd__6T1wCp*r<$ma}kmAFpaEN&Cu;P2B^|G*>t{Tt8Mq}80Q zh1x~6t7^+@E5ctvEUqCQ7U)9d;^+tCH3rvv6-wMr_?YOCcTSQ<+K?{DnL%U>DIwF5 zlk>=0@`5toHnEKc#;PDnTchgjgX> z=qMBk!-dJh3}KZJ65bcS6uuU&3pelzGc9woBo<)ltRox5rm*MOckDZHp!lA6QPN7| zqyZB#u}Jyk`j6{@|ePt?WyDJtxNS8jgQLCyHgcK1B=kTjc$Kvg z`-4|_23{6Q$Sl}H3jnm$>ZK^h-N;td3w=li`IitztG63UQMT|6JOX3s=WrSK@gjJN z3}Yikpp+)Xl6UE7Rz_n;1yHty|DKs76G61XJW?dAm9Ee)U( zS~x3g$I&0BFAH7SRk0Ttg*#vtEP#^mT$myDXCIM~Adr6GXXjD7%@i`27wH_-Dg#lc z?Zw@_AN4?6p)01?QF6MVT=Yc^u@2cXoUJ;VR$CCxEU_O3fN5M*FFpr&~y9(_jVVt13fNw2sff-^b6XX zuDW%7k=uS^had2I89G24@c@*u&!9Ktg_nj;qI9RChFt?g&_2C@v-}x*=pR0}k9P3D{{eo&@r=0%Uq?U_BM@34PN9NK zjzH=afokb(xb&Z)k#2={AmZ2m4*Hh?j6p=jUywKbcd(2Ah*=9@tpbR>24HIgU~dWF z*bLx&1|U8dK|(vkx99^~0X(SyUQA1x5P`2LfFIikU|T5@LHS8 zcW?)Ha0hpA2X}A>cW?)Ha0hpA2X}A>cW?)HfS^Qq;Ue;H^{b#=1tk|GRV7^$i~*5d z5J0P97YI1il6Zj%2Wd0VkTs++*wf|fxiz`nS2FlJxYXyHXySdvHM4dGgi4eXGg_d{kX?>gU>DYt`8M z*4ne=5jX}~=(b0T?A|6-k{-bT5ppRdT9OM|DqsYpma10WVGxXmIj|m=X1#91Y8=J2 zqH7oA%egYLo8RTja?NF8w&XNxn%O)v)+(t|TC~XCd#uO3896P4W5-IC1iCr~--rF~ zN7gUIeg*Ic?UZ+u8)VY5*ZDr!yOO#=!1z;*1 zUm|=LY|&b5EgcXKNe5JKtKW60?$#IT`xwXShZ!HTJQTCoa?o@u!W_+ew2Q#evAHHz1T(QVt9fH7UToy zB|#->b%F}?dV}Gpz^sD61OrgLfvJQ8^Z=+);jRyA`9B!c>*1)DRnif!h@v)_;Lg%k zlI);C6-@GFsY<=gRVz)DONYT=%>pV@4;APhV>3F^GsGxam`mR zaDA%&B+jg=443qKYGTmP!$5KJ@#Nz{D9n{~R8S)(#*0abRs-tkmcdxq z z)rKNU$O@uD#m;quq~g+J;nL$v0<)aWWrW(vB}{vb!(uHgVI&hacL?dK&u4}f*Z%%d+2z@!Gnq-YyuSI3 z8($V}Ev$TQ_0FAK+wQ|{vVaAYv$$o@!$go&8Y<;7A(u!D^>!1;1IqQs26gmID8Y&3 zU6z%TAP4`NHH|^_Eg<%x3Kt5G9lP-os&WD&!rzHg@$5^0%3$$OIwk?z$uJCs2{1XK z6y_zYgtg)};RVA!p~CRC;RIYr_-BIIXh|?9BnW9zsyWT&ad$NIv)&uq&oN3IoA9t@ ziDj*@#<mWeDN-)%i$6veL(id2HXL)p9Oq=yCJ~~ai$nA7PiKCR2WMV z{a)hI*}TMR##^Gs>xEQKUZey5>_B(dbj4k^0Y|k1M`ed3 z(j{oJ=#0eD!ZpA>LOssSES2G}cUzoUNU!crO35UG9xC5u@$=ta9m6K8We5^Xl{CZXI>u-i>0qdGBQd`2qrBu_{#O%{@q>=AAi`C4y| z$Q!p4kS~r4c7AqpA>bz{3LGZq<}^_b(a0Gp;_<*OiFzT4oB>*O(3E46TbV7bxZWov z%Hd%QpA9-4Ip!osjs;;1x^m9h@3}5i<_co729HbLSu@W)Mv)z$cgOT zK+6ul|IpEoyQcQ-62A6E-v{q)doaAtS|781aN5NG3PR<9^7 zpbo!9_sMuRA+B+w2iJ_NcVglC5Q<9B#Er>Lq?r-6rUa5x0)ggPimekD)rzrJTO6|~ ztAVFia$w*qhC%Pl8o#x7kAbagALu!Ha$C;(pVPEujrLEy)-COCMTL{p{Pd z|6D^plOJ4mZ@WqP1tWd7!Rgu04A4I)iM_JHyOO-&`8wA;f7t0d$V$wO!p^lmV`heWnG=BoFuQBLJtF1m8f zg`#g|#lOj`b0wR5W4&e?Q=7obYU4%2jvasglS_dEKsA-`V6rrr-v9#U29|(52U?hO zEG_JJLr3%7mX7xRaId+)hyYz!Duq+tuYo0|6e5b*vfG3 zZV~JrPW2Wur@;ZSYK;d_MR^EV2?4vPRwu^Vt+BCoi(aEijJ06UV%D2X9@%V_WwS-2 zSKDJnlUddS6=U_HV3$oMjYh3T|Bl)%7PA@DPMggsx7CoIXa?)?9*YQqNP6z|@FUUT zs3c2vMR&8)(Y3~Duc>i5YV6$#hUb4Md zG|Gn$<1P1aUFhZ;=^Qfk?i@1r9MHeqqP16sueWSjh>3noOv6O9Pxw#CpmRuvDMn1$ ztq+PpEQG3LVv(0*#>ClLWFxU4iOD2BJS8O+A?V@|amzaySfmFyQ z3BlzWgC@;kaHcgdq^0E;TEu3@w@SM^t;kT6HpVbIt+;8KVL^knaZfw97-C;^Y)#$k zIFNeSaXj^-*e_Gn`EkT;bKBD!re)=@oQ8L^P7V913)4raN2gEKFGP#}55phn=IksZ zVRDn?EL(=xY9G{Kd;{9R)x?-*Twz>i3>(FD#+}A1M!{%w320t!4aV7@M2AQP1u5DL zm!NAfSRM?1Z*nEQFDR!3As`1lfu@0-0Wr`lho5ckM6_CSs&eT19Fk-6+mo6kACits z)Gg&nRBG0e8>y%WWHeRLX1$hMbMYcq3K!5~jTo#YmrEiBM8qrNT7i@lL5ZL5c10It zD_8TZl!znLhAPS-E;iO0XY&OFNo7RCiQ7$BNXQ+wZ_Lhv9Vc~aKK9f|l3B25&WwbR z{lOE97j5k!YivmeUA7^I#}CXHH+s~@K*A$^J8YZZZEiQK(cnz>YaeWMS7C|0WJ%}X z;CmWRzgj*2u9oD>RF|CEwMnPq`?}vX4OeghuAm!tEPsyhX>dCc^`>O8xmX~IdG3&# zy4^{xOjkSC1ouj})G8)7F4x&5u8XrsU1aEQDvG<`IY#|}VU+2?xCfn8?l1JGY^NMw z$NXgb$?;9Xd3V_D@Q6)JO{`7DJX28YV(KA|5Kkri#{QJ`a;%X_6yjYdh1yt`QD;v+ zp(C;`s4Lc$>X>daF=s-i;HR{Tpx$0jLgXr8Zjwj36M;AqJ7!0=V#!2q!(HPVxkS;= z_-D?E_@L-{mP~{abjUN!sDcw|tPH-S6ah7Gy{AALy;L!A*N~kh!P;M6Jvf$T^?h{e z_7|p1-Hx`&Z!5a5I6A5JO6{l5l2wQLE;;tzi6h)%?-9NvTt=yP!m(gSjh?t&?PJ>8 zddKv(6~`3Yo~BO=YYm&^O-{Yq;LwhtqlGcz6#WE4so_Qa9?f3u9=$$Jzd-*D6^u!P zOyf;+OoEAUVZFO4YMdTWjHdreSP$m`eS0vObg0NJE}hEmVmgZPUAh~! zAL^#NU9ri>Rm82zQ&Cm3_^iWJT#UJBy<+>(aZ!<=IJZ09$;Ga-lgl6)#>s}pajj@`LuXoG=wQ9u zb+5LcVWi=r^j+Mae4ao%-T2`WcoR*$G)bwww%M0uK*dx5hom*X$d;+xvroNsE})e(lFm=Wtu zPH4;Fhv%G}GUk&2*?Pnk$4!V6;#{Vc@_O{iWft$! zs(=fghCCUA!et8@xDM2$q-BNB=6AX=w%Z@b;xw4RHKUuj<1*!BRWLa%>n4^(_hNe2 znhV|JlJxZJCFx!HW~{lO2pT#CCAm>QIP#E;luWD>HW@NAz-(1{75ANZ6(3&`?%&_= z=Y8MTULn>qCy9~VxTGzgKXhr$DcV!tvftvFTS!0K^A*I6xIga}IG)x&W7uL)I}NFZkfX}M9DH`EPIp#< z+92pnE-i_r>DCw~NT6M3CDw3EklFkU1o{|J9H8CJT4pJZkk;kST8Vu zi5BcQeKg+DazZlzZO6+++-%BKo|omABOawyHcJ|nq{bsfMh64Tk|~~`cbGPJE=fnh znuu;v^UUU1+1zr(eaN?AEPuvRzHVKN^O31t2FAC{=#_u`xUhC<$=Iw8_gbFSb|@aQ z^u`F3p?0-Bg&$Cc5+Mz)28(q%(b`bww|3DLSS3w@BcY)#U~TBj(Y3JNqw8Spr|Pd8 zrTbI+Tdc9MuVG3XUz?OJDJvVUZ>VbFZP6gFVFz6YZ$X1T-aZXRtA=`qHYjdb+VE7$ zCGXF^D=B7MoD^G0cU7diVpNI-lRap5a{W~bRd52hbj=F36qha`9MA=7cwIaAog+@?HJchriG^oEnYd_$&pQ#Rx^ZhV(; zgY-Io*nUBIPQ+<$^yzYm4gH(Q*_ndUMI$@Y);!a!SlfY^o3`hOow|(nlV>fm8_Cqr z>8lTZxa{CVFAhJw{T68;7`qxZH_FP+N?KQ1(ATs zC914Ct=_K*X12%*YejiVFd*2jh7!f`B)TK!SC8w+3MzsvL> zXU_wJZm}JE*rSi3xp!HTel7B}JvVX&atl-uH=|@!`Hhl3o*2|9XuzLC%!Tx#h*PdO zC$Z?4D_oIc%?m4LS51AnbH$XgJ(lI-G5G6aMVp?f8ALZMe7N`WSv3bx#unig!z|@_ z*sNetcg;%8dQC`Er8%d$s!@T)t(l-H)vSvqo!5jlTDJzzDix!GMiOQdkVJ`TC6!+U z)*QxnZsA<#t~Ar(N-p;-sihG3dC+l1zdgj0zW>Z2i7=3^{bRcEcQWRt}O- z?bMoK)csH`f4}w!ib1v_rAzmLh>APArSf8DcUJQVZQ3kCll+kvK7QP}Cebaf6VHjP zJKnB}f?J#*mWpAK@&89og~(>)Eh(GQiCTIckSa9Q=uJD5)yr*qdPH&+1vOEb37^3u z72^IsJ4CdH6hLk5gCqMu6aGBdR%bx%ae-aXd}X`n5l@QOJ=CW5_%!x-k46xDi7qMD zrPHC=Ecu)cS$o1y`2Q}Xe)M0B{*}s$o}xW=|H^n0kD;IgXr|9kP5|LHC3ORr76BZ| z{z@`^x3^=Rc11h7<^mq#m#-DoC_XKk&ivfMO{a*G*>>|YQ6u{30ju5|Pb`MmI+dcl z{^Bnqlm{L*XIRqg88FT0xQnX2}>& zOj=8nVf^tgZXQLZV_QVsz?&GhaO0FOi#PO;wH0Y&J573t1)kbjFrjP4teQ!5!Gq)4 zKK6diL6o|Dv>8*7CkAl9>%k(6O6$;flsc*VNrmc>(rC3hOKxRp71!KeAa}NOjw`Sa z6bEX0$wii;xL)>g;yBGPd7Ncj+%Wqz604C!!+k;@v5)pX{R6^qak%yYz1HSpDl>|l zHCe@35tHoCYN{fjl2slw|C*iSf`;i1ZXjaVm<&NI!Uc^&Gbc9=BkzJs(u=Ma75()( zm|M_%`)hiOy){F`AsU8zJVtq&1JQRoH=oz}n-;%yn#4W)>xH$WnHTwDK}+a(@CCixNWM$%EVDdM$V1(p z26|sYMr=kxyMzgzl^%5~TdVkcZ1=<$s_)Yev<-|OqaLdtEswK}jj!^2Z2i*yrSs#& z3)TyX=RILhoR6i;>9NgOE4c%^M;;(w)cu%HE9=Zgw63{BE5)Hh3r0us2`!PeL2a?N zRLiuJNlYfqwDh=l_4BpWOS-hGsTMXJJN(|s_l|ysqCFoi z<|D{2GdvP(-6V#{jQCgjBbp6 zjG-b>kz(S{ag!UgNFJaq)C~&^OP%bSoLrjxxb_+SW2sLye6r~#?H2v>DVtJv2i^+A zCEyVkv?S&XP^b9yTITcwVwtXSf|HxaF1I7k(cLk~vD0zfA(hVpYu5Sm$;UXR;$0 zW6yF_()-F)$!S>f6<5xQG?M1b;I#ti(-mh_Wzf8g(hQm*6GD=~lWa;lS8qNvt8?Q@ zx}u$Zd15z3t#ME8T6*-MK?yo@>8P(JDxx{@Lj9{UTSVCfQyL}u(A@}_Ws4jm3sRE7 z6AzkHRXh$Bxq5?^2oNW0(oI@a z27=BcCqWW1Sp0etR;dd#1;wffs#4WT6$8|w>s29DmFk2_QthW>z)o818WGtn$`^~! zw!d&KS9t_clgsshIWtp!H}a0iZ;L#E;QpdHTlpS<@*bSZ&Mvt_9%wjk-tIknV$xF+ zH>{J}4BtqHE+wi5YL_jodAw^wC!fnBxNFWU|25&&ec`*<0;DY@nBG!)w14eXM5p zvSuB7_Fl1w=Ag?!__s-fOUMf?x&M{s=%^)`bF_Rn8_YQxG$69n{6;IoKkPVB&N#6icH34l7G}m^5j@o{tA1ze(*Nh+| z=xFt5&2*SXrqLPd>6&TUg=8UJAS_lbQkQ9-h1HrzwcBB%_EmUAwM+Xhyrn$_C$&Gp zH`;2rrfsMNQEP`dZ7Kw`+1l=aw!0X##AS&=G=;S2M));at45;*fuhHtyfZ;h168;3 z0z^`2H3AT^iJs__)WKj7JvXYUB=LKKX!ueQLqUy)21%0chmZJ@U3NNZifW3S_RANF zqF-*PcQ4F}Z}Hcg4b`I9EZ^0ez^rHQpAWLu`G7pPYYPw8JG zo9SlVi~2pVSK4oU2mQV;G?&;V(|49@(w`caMNnRHsYH!dtJdlDTG?#I{ndH52o_Ie z`0n5ct;y(l)2vc^RA!4MT~whns4{BxdcVPFH5iO)v&odMRa>z-fAbYxMW94wVQQ0E zZ!~DlS|(Twdc9h$Qt@TAm`p|^Xsy>}1K}^}OAUgdlDrhudb(@Lc9rre+?~$s#FMJRSiT{-r(Sdd&3^%CX?+dabC)j%pwOxBwK{|NgC4R3gmE{l9qW zr83I796Zd?Ippr$zrx_rd+5RNc_0X5_(TOXHF+$R;q%J3f%vDeb117fI-Tn9iCrrG zB_T}k_U;_YRGxOL!{>LYJdsojrY0(>*w9{+hqsMx|A}%{Q{G}Zw50nZJ=Hf}U(cr0 zGl$Rb)_RzSf2*yq?u%Q-@F#mMInWTnUE-J=#UWOFJnj`MLaxYoj7@ptCZq_YbM1ls zTk=@umVN7*-?evVZN-5t4L(DmfBJ&?D1ESI^?S$Yi0V^x=AIkJ`Ttf!ee?@Tzf7jR zVzLlZl0$K)gL@r015B&fD)k!UT2qx+B~_{3Gigl0xE!Ytqlq;*<>sW7ZZ27_Q#Y~P z%L-M6y8gze$ZG9s-7BBKFZbri z%0t}P9FpYC(fnVn9cye`)%jdI58LspPMW>~97@}yYig%$+BDr532j;eq+vB?84??L>w zYWF;q8PGDQ#iIk`Lw(n0o=8L|QWM}%J~T3##Zz}Op6gF-&JFeqCI?f8l7~_U(+_Rv z8OjayUe&*tTkKujXy(jbb7P}xIn~&3d*AIF?@ryf;ep%(z4!M0An{nwud**}c)ss% ziNE&!Gj%TeVc+?Ii=hQ1v(QhV^Ka?v?cJG6^ua|Y2@PXsPol4R3QV#My_~z8^05p$JQ;`b7x>%2~h>`-Obq#-rRzZ(7wBM zbM{?=*k;_^gdvW#-@1y|!oj zC42tz^oljPW8}{3M_0;^XNPudJDs_xW9ZyNwQt?I969~b@1D4FaUSD51az-D-Sk;%WePM~32s?6@|bnAVO*j>o3sv)LQ9 zg~&qehWK?^OEV${d<3~e3u1S~@7L~*-5dW<`yjGyOKg|6JGLi29{Wk`RjnJd_qpuG z(Fk;)I6gi)2wU;Uk$55!OC)w`5m+E18mt^$5xsK{n3&L0EVU<{h@90jPs1Y7*@fSN z53}y=sUM{^mYzs|J^jt}`{~Yfz!Klkv?rK0%UpIIZx&^;!KGNDty_zDAO21Hjw5@H zo_l`_cBgOA*JEl2kWIh5haM8dZ#2|@4SQy{wkw98XQW$V=p?v$={a-{`ba(|cVh104wvESQ{o5|b<^C6&aOmF?iT?3O9~@izTNQlZpw@L6KBb~{A3AX9 z#-Yfg{?}G!qs4Q-bsM*8e}6C<>w2($?&dq9$u@Vsr{FG@?z&jP-R$MAVFkz7uI@V(9B22X9#wFn<0X=e za1UEb=M|h}rSx|doa%bI>wN{M*^TLcHGksguFRZ*VQZK9hk_%lJ2$D|C@bXlE4ZT# zr;{af(+chad|koaY$;b!aE$f#W)&P~Q~f&>oQUX|KPtF~?dvxcoP>`D4=Xqoy&?Ap z1*ciQAOG4x>xhDG$^MTB?gTiysfXY$9N)B!;BFcpBsfO!7{PHBBMHkGNm#~6!ZJn@ z?r6i2F_N&1k%VQ8BrIbjVHqO{%NR*m#z?|4MiQ1WlCX>s!ihF}d&rg(1Si|Z(`5Ts z3C^M|o5}?D0-W1aBe<^(e7?G4V zaYPF$puJ5TO_&J?yF#+i>w%KslZ6J+1~l&w7ko#ZT++c*wp58XYGjaBK1stF#4pmj z)W1g3I7w*N$|U{)%sX^lC*Bn$T_{|acuCpexJA4JQ^s1P-Gy@^tQ@~-3(ncZuf@XyIj5Djy7Iq4In7nxhdwKk>@tl?`Z~;*Du#$- zLF{FYxNt7R+_LhvAQvF6$j@X}DQUzRI#zKa#UHMMP(}6TQ?L`5H9a$}}mxNZzVal{A`G zgtC#oPV+i>!c#J^hNKq*q7O9=xmPKNZ0ez*Zuxb6^~kEIVZSR={$q5Huu7fyuNlbe*457_&plQ5HgP}QjPd{4^JQGhsuK#;-&%c2ay

z0cY0{J!iW}-VB^)L3W8UH}n|hrcd6kC~kRn67Uva^*9d4QLqT%Sr|q7<8Z!~#;0Ip z9?n<;C%}tS@S35~1(u?}UrUgcrmDlWYiKwwHI|X9s@S$_VZDFkn&*NKJj#v=VTbmF zoj=T{C7Nvjeyu6fX!cO)yBg89dY@3$fgP&VuVtSwRd4oH?KR<~F$uc-11b9sq6 zu+(}73(F3Jruj8PCFVMq*}_`zUoyUCp%BM@3i&v#=2Mt zwVP?L9Jxy9q*0YTi|dw2_4es8=PDPSwjLVF#p*ATr_Hw2%4^$k4L7m9w!Cfa5kA>d zsGUvx!@P1=@vBq(Pg6A8yGhuGTbM53%05#gk0bv|(;lf;dv@EZb4&lrs;a8|Xm$A2 zIrK>uwen+{Y+oO_aF2&;n@~GJX^q@h8WdG$O$@v>{%&zb`&{b$Mb%fAX%ALs?Yp>7 zkABEc)}&B-jnyl1$ZvfdrMFr;V}p3Euj4Rc`Wj!CK9jaBFRz!ddS9_xBcXQ70j!WA z2V7+)VRSFUwec_;Wn-`&ayajUtG)1fV-$`NhMzf4v1=6O2>n;=QFuvsj2(ajsSdG& z@Yw_pm`I`?z%ip<`5?^=4kkRnS!37Im7V4lUQvlWL#k zsvSJmr(8)rnlUK?^Kfph8<gm|!kT<+@?L0EMM*aVf1EE=1fOvoH-I62)b*;arw69%@Tz6x`7u4v zKLx3P%=o-()o{e;(+<$>8y_Fp3#a{gK51Ee&Ma2~pU(+jc*~-A)O7-3BNMN|eI1Bk z+$`~;@XfL_%qKllx3~dVx(SoE>j_?|*}7x;0XHhTryBtf_CpaSFqM%^M(BW&p)1L$>7CL9au!U;?P z*aiSKuaW2E5_eg6I+z!DLJw@1LIR@(Ci*DMcT1oqsZgp}7J#HHh__u3Vmif|ACRej z(6B_iConiZN)euII)vf5r-7{w`WrP6`C)w}COXuo@g}^C8F<@~};d+#9I8@s&ISD3%1T z`JyPjDbCbT*_wg==Oq_R2997<5SUIGP4@)EJ@AJyOg^}b@(3<%y{zAEI>1^4#;|l6 zkQYtAYUvFWfz*zu`&GRPssTz7R18cX86$etb8VNn<-=S(B2AkU<(j2?N3I7t%-a3= z!~6NrjA?i-#%MQT%`DK{V|>Ab*xR~y8ZG{$%m-V_kc0yAjdBW5PtEh|^nmZ;3p0GS zRLYZL!tzDE0%-Y@vkTM5r;ko9OwXR=v&Z?h(?_RH&QI~l6LV8jGgBuQQi)Vzp#q@@ zJ&j>O#$X&+9Z(dS`atEmWlyhG8YBmkAN{n{;0?Eilm=!fXjgNJlzosBkWiG@kP{|k zGob5bPYBH3JYNK|iVmscE@9~bWw1&a^i~~HP(ZK+M#mFI0J%{D-?#L_u)AeJD3lgW zItV9Z{8B9d)}W>fRoG_GpdTs)$=`HElNd9UFY8uKUxKXEeaNbI>O4Q?P@XqJE5Ifd z94HB$`&D6>CDT}MIR`H~l%Ytg7mFsw7&6DB#x;z?9{H9!!WyM4(>Bo{5JGr$*E{XY z#HJjkLAMS$Q(Ll3zk+grmvpxc$qo8LsHzPv6JB{}wIK4xbg5+=cDyq+;gcBXm4@&f zWr3&kCSar>7vc;`4AMqfP0=h=A)fSsJf?Cv!ji41{G)z}omoChfRBjTe zUZEI)96dOK2&d*J`CdMBcyw$xAKQ0$@5t!LNIZV(8Wbx&AoGYZBMf<8muHMwwmhRSE~BgL&yP2_lyy@^kLF4WSSIR?nc^;KFNPlV9BayJQZ~!?IQZvEErVM}w?% zJyGdx!olhTv93HC>5)6JGIW`Ax!!RmGdAwzD6R=0Lu*$DYg|(8e4#X-dYDMY$KdC} ztIgep;@mnZV5ph^;^tp#RPgL_zFTy|3!Pd4LLWvfh{^LEVMemZtLna;uJS!X?}7r? z_*mPDE4$ctHjwYQJEcd_^Kl@gjL8i?mWn65(9bo_jXxH0;76iRXcxR42#AHbDp?&sUyNI(g~>jD!KnAk?aL5_j+5M-dDLn3{L@(yVbJ9rvgcO$`mpk3Zh(&@51Si6_h~WOX z^spAm8?Z37Teauj`|9}mc-l&G+rmjm5Da89_N7m}g#o0yE8F|!Vp9660p8n|CY`nYj;R9x;0}}Y` zI{J+c3o;4mFx1p_ec!<6U3nlB;O3{7CF5|6E;N_Zb-iij;nvT?Mi%g(e;pRRX_>Ca zvjY3^`W1ppEZm^-#|)v1FQ_ zAjP23prNFW61WnN6r8fNTGq?vk-P(0Z`}IOa2vu7?))HJsYsWv@qd;It(+V3t;n!u zE!jPhFP9{zH)Zh%uyjNna&>2UKB||j&m1oTt@@{~z&<&zB~JvB3hdM`9=#hOILdiG z;m$BVG0kx|3vk6gGaIs!M~${yjGwEW&TfW6HtCuOU0BZl0tNYW`Ly9zf9>BBewU-| z@Vd{jNbg9a+=)+}+7!!}%;bx4P%V;Jmo9m^ES+b58b=m)k~L$n7N0mAQ+&CEP^{Z% zD!gqVQ`FtRQ*2vi8cEU~ile&|EGbPdD530sqjxaa4BGCSfpX;zQI}%fegV#X@)UBg zVBCmqPirKzE+{l4Tl_@3cOzJWaF4-V`U;H9VH4@Q8OYn|;K}>FNCzt#84;MnCDQkH z^xY1uWM^cgmoJcx)x(awtn!Rh-I@Wf~D334&IPKwLCiMcMqW=&1jJP^QR@>o1vi>Pq5i@yoq5@fmL z#)j+!oR{@InacixUM>){Z$Rz?TZJBKTUqN9JfFVST+P|{IN?y_;bQbN`((8L&h=8^ znJJG*VHgO*RIJNvBy<@%&a2OiE2r9)Etn<~ood?9_Ibgg9;5YD;BRf+lX$#9bNa8jQtYBsei*^H@g#C{cF=8P{`-lVLecoXEGGNX}1Mpfx z52KBM2j`Mj1mk>Tf-*X11GHb|N=I4^Z&@OK=cbU=budnes4~v`m=}rLSoveWn)9-O zZ_OAas}EWi!JQLksf>dMU(TPCZz#q-4ciy@J^VuN;)W-NSJYnRCpXrIco$o^LRnAO zJs^)RyU8|@EutGdbatIKmM2c^Ia)w?Y^E!p-2UovhuYr_SKX{O_jDFb`QLA5Z5~~G ztY=8FGbz>qL1>fAZ@Y3O*mX!dw>HUPZ_9+VRrcKhzokeQUR{ftmgG)lbJ-tK>NHgD z!x`>3@>_NK9Ub8m>960RXo>1P^1QtMbcizff+^=`q1SjUYjc8~r7=(Ni@XJ8=uPC85is+v^kod1I&;T{wYRx-x;@ zgj}=ZLKu43U(hi1`*Ez=oizP$PXC(YO&Q+-VM?a2LGv({{9Qd7-h=cHp+$us9afsi zm-kV`x!&q_WcMe*#Lz0u@Qb2V?pHK(rUY(Gt2Vqm3TF|he_WdR^IHkZnnXvoHhi;h zM~TB$EK}AloRaSqQk&5pa7}c1Ua2w~fod9XQte2|7Kp<3%q&Yf&|+}|waqE{+b&j7 z;2wc7Jd4p13vBTbS1|zNX$WY_aOw7!jWX+SDkl$9hV{Z@tIk}tYG$vVXuX&m;a<4ndM%mG`s)ip_-;&i>eMisbdm4N~HoM^1lw{FZ)YfLLl3rt&e#s z?3dt&>IV&RBWYkWxqaR<+mi*9=6b&s?8)@N27OWgemJhW*L>Lix?7f`y6JL|sG5k= zda<2x9PD&qahwj^tOdP$+AV~C-e`Kx=xEtgm5SfBL4uZC9R3cYGd^XQ;m%37!}P5F zZlN;@Mz_b*l9bhFe6!*Xmo;{D^WqLncLePMR<$4Y+~Url+naO?C=UZm9-%c>ttL1# zB1AJnbRr3>#R#kWai-T{!L`=&x~yAWw!C0L_Qrj7baXRyec%pOrN2~dzT$WeeeUW6 z`bM-iU}Xq;PU^(e7O*ke+3!?GSI2Wsw_n6X8q{)2?*qmbS_h~F zJO_RxcmsC}<{5viwXStrCO)@b=FL4Vm6pb4E7xsuk~ZiYcyMfBDN|L}b=U!;nyS*M zd1pGJDJxe~<8^*4w{K^X3@ehR;H;=7@KVsRid-8=5jk+&e09>Buxiq(>wtxYKB!ZL z_&r5buL+X>I>Vi4qH3YfY|O&WHDsf*mcD=~Qz2HKp8!23oS~{VwdgwFX}MOYvfVWA zy5|3o*t z#xN#{ZYnXVFgS$lR~~2ACZU&dc1EbUgdw8{Os2iASY*%O@QAwVDfb739}Dw75M^G9 zWgpbVdHeFEm0HtAHBK#d1Rb{}G_Pzb=UA` zy}Na5T<*XwOA)}PCxWUnJvs3C_50%Q=JOax92;io+E;K16I@|mc71HkeUL9aV z8QZL~7q(0j8k3%9vNCcT^2bZ91YcL%D@4-DW1EIkoqryV#tV}KEDzcgr2zI@>TZRo zsCF!CH3))Twc5*6^>cn6C`8rfmZ^rSRQS(YRPWk|S;XUUU#qjg+J#8Yqz1;;HZs25 z0n;Y1^R^hPyQsH@@(({7u5px@vo<-HWEL}-)#2b2%wMn{o1`tvlG^WJ1PWzR8w

  • ?&6xrhhxg0;vwD@VpPFSf$mQSZChe zuu`_(?4;8@@4c)Cyzv%RG(LydGEStnCN4IXH_9y8SnF8Uq^f9`SFE=$rp`NvpYck! zHB=a0cv?EM0=M;6eqc4IRcgOsS}B@0YR|Unaw*d4=-ztFGS@CP>Uv40EjT0|=&r4s zJ!CBy(IgIE)~%AGX;%OFE#*0nTis1cUCr08dvvwibf(u%c2Q7t;@JvStu0?Et)Bfu zi_hVTn}OfQ;A4LX(k+;d=Z2ESG>CTvdOPcM&&r0a=Pc>E(HY*uM@JL}tpMdfy?~P6zpUD`x@6Mr zOkEv)(q!%AD@ACjweQb`r_2(j&^}&Q?9pjb6j%W&EAh3SGJPN6GTTR%wavO86Fw$^ zjVyN%$pbrJ>?c_S`qxaq*w&Nea)E`$)y zfSYDh*Udb*%sAnxycZWf$L|}`TowBrnWM&~;x=O)b+84rHM_zVqu5YoD0 zWy97E$;Q*hhYQ%_A__D)Uu+wfOHw1p0pGE)V98}5M;@b8p`IP8VGDFeO?#;1C(0iJ z)t6>RqaRpD8<95`fz{>4$xx+bb<)id6}IpG`4Um@#6)@@y^O&i5ZcCs6S{|l`c0k^ z^j;|2?=H`Tq`R#D16ex+Y6c^T5!ZG68oIfT#PGG(Gf(T8pd>9P*(8J%rhqCv7-Axt z5cXM^KPXzy-+wDOMVs)aBvnW|fgpW-Xyp{Fx@~qmHT3u;@?H+hdjZV3FdCA(e7MY56 zdrPI2$3`GpOx6|>f4G8M(It~%J0ot43A?_~9+yzFqLdmCYHB2G5Pd-6LXl?nvW7cSp8SonKO}`&b!{GvqyrZ})x*e|b2!W6Q z`5jeMxJ!hL8JnlSQ-%zE+JX8P0sX=4Tj2wFMxsP;$Tn;^jQO&&zYh|o==G5YG-71r zL}Dz6X7V7AT}9>4n2q|$(AJTluxgSe!b1^mO6QYv{$fz-Bla0PoxrBi1!9%#|#mhF|OgGLHmL$utM8SW0Wt9zx!xdqC20T1EYaYBcC#m%aST} zE&iB9>oNWCu}VlQb?0!glQXc}yuCZip`@{3YrydllDcAKObGb_E0uA~U_jam67z_K z3&K7=U>Sfc>*`#sfJBA+ff^f|)irs}B;bJ?h#wvzht7%;p0FGp{Io+682%%>d9J@W zK&TE9J4D9j&y?_!*Wz)oo>6#|b%XdTE+nabFCQ5dehOtS8yKhNbDkc@*C$6vb4X_m z_GtBzNCGdOuql!V0`x)dkXUl}>%IUrVmPRud9nU^97ma`V~g|fYeCr&(-jP)1)h9X zB(Bm`4R7G}@*xz-ho%lMBx)Lk#>t%Y`a0&n4&t zaZvnV;en%gG2FJ=-t;TOPe&J|^-<1f?P6No%;poTmMv-#z4AZ?&Bk6IeGTdgjf@cdY64aUgU z8hKbusZ#v2wdZR{oULT?sZTQN^uVYn4A5vOl#t>+9~nwtdWsuJlNEOXTWkSMR0c8s zN9I>2qLTWJtJV^QD=zs&^Qd?$2CiDrm8-BNFb)0|+JXne0$AgLjM{YxPT`4@vrzmM z;z7hds+s4&P_lPSXzJvzqOygY`wKaq=te60#k}$rR2lY-%#9k`hxLkQOKZacKN()Z z6rE!Q4Hz3N8T6lK_T?j&r?#Bc#B+I#6VDKaWF1})r6KVsf&-{F?)SzMHgW??C5+1- zF?NZW1>u~b>3(_*B2<3pjgxXhcx zOiTeh&7-(NL2Nza{)0*u_(Qqtn!ck`YAQqF^V5}AVoS-V9Or)#6F&<$?Dn?2!czaus z3B?a0t`n#QbYkPPVNZ_Tv~_I(vq|JqkwSaM6~r~xx+4)4k;epW1~(mInWBO>FAFwL zx$zTEGo=$D#R5%BjD6E7quXWUSjW zLU*>epJHcqMH@C|+xRRMrXG7#md57${`V9a_??3JRK-yvAN_M5zqxY8Uk6TC5#?M}KDVA_g@D`W~>r{WG zXH4_!LIzohqT?Uz3~|i0=~XfIsdEf|g~CLI+u|<1&TC}3lHG7&A)lJDE1C{9|Nbs} zUx#Mz`fK~|ddaVkNU6G0-ki-tPF!3DW4bs*FBM@N`$^2bDI{}6(k;XWuc3LvDGqV3 z@GRktl$dP$#^(jhWZtiWLjTytr?hk2Q4A92+mfiV%mhVZ4&O+jmQyTH=DC~)z%PBX zZz7|KNsalGNj_sE#{-ww4q_g!?~t@i6)!o=nT+z+`1q}q>*_ntTiwttrOv_HMbSxT z#gU8Q*juiR14XW#U?qVI#e+Q3DY+I2Rl?HAG_}KXWEpsDv!~~BrnJFio;}$l$-WiG zaH)h3Gl>f;h9L(@Eyu7*htTmff!B-)r8A>KzM&%l=Ucr}lZ)`ENpW`bpjl;zNn4|h z#_1sIXW7g&zR#veOVe^s?GACvFZ}4t9^-#^OK|-6+!6$gj74RD?*r+InRu$ z1a8&1M24`%>-Bd;+y|r9dP8$ssVnv69*_Nt*OQ!+K_WK*l0+*?!g943q!?x%08oy`yQ z#NP-gikK?$jOvzy3BZBED~8~x6aC}NqxBXw%6C>%4nQo^5;U3?4YQBJYi)D0m$$U2 zhacKUsnAL1o>@hD_YAc{$1rkpl*qOp%1KgT5Oq4*-?f_E=Gr4nHwPWpnNIZB?oZVRiCT zD#t~QHOi$R?2y<%WEV?wlX?~yT6`ZnuYME_erl)J#m4SjrpXJgPqy1fea!l!vg#Nq zU2RADNymKSM5oLlY%$lEan0(oOQk0Y)5ykN$9_i{uBi;K&jMw8ULvZKVGzUFxEKqe zPM>?cGf~aoM%`3Q7lQD!)TIS}_oM}iJeCF84tyW{c_xSj+0+4)b()Y`bm*9luI1q ziHi~pu`0DQT(Af7-u<%1HWLnn%Bt{mirOc0}C}y2{=}T%?0WJIc7IrZYYGVS+-jj1JGv*BYrc zOa7g^p8a0)UUH}|T=jzjG@)k{0gzs6Hw=^{dC>z;!>X%Lm4#HQ<>N{*3e}Lg|0=z) zwtuO;p}isNV9nwDejJ-;uC_T-AZm=8asNX3G=eRV^<~Oq9kZw#JwH8BpW!qI=L%i7 zA(BQPCwgqz8l%C`ZI3vMTvz!q>r1Hw&!cr_33C=lX-{tpD91Ifv{L)H+=S ze|#hAy@XE2324%QuUv)xp$Gx00GK(t_ZSLG2!2P%B8TkQR6}ad6hyi|gi#)AQVATO zfHt}CYcywsIl%6OGF3u#j(IfCoibaX+?C-Y;&OnNC*;^VCxbl-_a25vIBM5rP9(#D ztt0Aq?Zoxf8*XOo9*QOh{)8cYT=^c!aYn>7W3&6ifeLoeMVTDr%rHBLeX7rdJt8}1 z`3qxR+IE?bcwkRQGFu2MB15KE95c+G4ep3H1vL~fx`!YF1kvZ*90rK)ffwHfq zMjq@ko3eC}BTbft-S0{PmnK`JHV)LdFcWQey>f`7HNvWhD_AOS^k_1L$NUf`tfjfQ znt;!GbwROeG=q`DSiwofNW?Xj!g1ICMm16rlZ%vN1OpwLiJQ`{SWoP)iJW(5RhBHi zHJvPch6=GHN*rLARz6*xM8-0nkc=#`09M6Njc%CSmhzj|xH(dhLcWXweTg~8Xn=%8 zy1lTZsW4x4aPD~-gJdk5eQTVVJYzQ8o#}m5%1_ufQ|?1)!8~u?A0G)3(Im$(Km|Z4 zQzA5CXGB+SHbFTeW32rOVGY&XyF-#+q!|3AQ*Uu9Vc| z%9oLrH8?gf5v+3bMxWr+?4QX=tsI6k7#eZp!5&jLWjh0nl!VP=$1iUE?7^17>0%!` zoxBO2{}LImrFf)89t|Mt5B$l{75o!zY$Ah{Qn+^|*80#iK%#GT#4x;({Qya&RyO_z zdR;7<{OnqLKSECXaAib84s;Gc(uD>3&xEnBl(35l`NWDU!Tz;UTgD`BG| z3gkgU$0?RFn$6(XMI@=*R2sp~6;ozrc0ZVtb`VCCMu>#~qlS>S6ejXMaT36#ij08@ zX_(}Q8O_K(aBU~d%OS0V1Fj`@g}-C9+eGiK&Er&ep%9=Ub&M)~heYpyJqtCIgSywW z_RkA7c-=&=(@3^+Bzx!%(LCaUO7a>>gD`;AeoBmPfI7&O+M+2s$8b+y3_l8lr%_V6 z7FQa-D!G6jX@Nep4cs36!Ox$RkvIs|RBbLiz51u*53i4~=-zdP6QT?q^!ox)5o;;; z^e&i)B_rSnxmt@9^dEoai#VOVFE?rNi^dmwdFVC%)?ADu3a5&#w+zS4M5GQlF(}z8 zWa_gn!=QmqMpI0U9}X^RY;3Iy2wHu@)U~c%Dk?b0f0F@U(AaYorTc&;UONNq#=@%@FMQbjPy0SKN{Q_%(H#$dTS#iBv?w)C;tGh8_GSq~9MrUnXSUoYL zu(V`K(ZH^iC>^Zfg^3%}gbg^n(K9mvI|S%SF3b7EQyric3=MAg#BCZyFYY&`WcXu5w~I$ z8Kr&|StKu$j^K4p@`7u&&J9IR-YTklQcgYndC6o)Rq%og>%$YPAOYvjw@DpGA-%CL z*3+iUpjD0G*qx|GPW+i(r~W5!Qq`kp1>`(u3&t0H(Q^{{0x($W!#sE zic=_IM8^7l`{ELqrFMb!oH|z?^AQ}oxY7D|?~1;yM(#@Xp;?$~;)Bd6LwH}~9j~Lj z1wmc`%XD=1W^yz9t5BuUZp3o&^tgR*bpIc;PO;3+;P!Fv+*%~CvWkLQfpq&%f(zt9 zdyBt#W_cEr9=+=U{e=Y~_cv#I_mP4@&qkYMksDF1VzOZY5LJaLZB&0OI_4k{g|(~W zFTvGtQKXG(w%u3+0Lo8wR<~Rw-PIUTsA%=8ab%$xo-uJ1e{b&|d50OoQ6oB*L3@Wb zhJZ8AMvN}Q9G8U999!|2m_@a&Ln9cfy)c)1@~dfaENbg@Qg_lZak2LtO)IlfH&#y% zoL|7*JKEn}69AOz&t#x{)fBZxLC(d@!YAt-vyI({W(a+#q~VV4$1Une%fm#;|IL7(ewSh>!9C)ysMz!`gzwtuM2rs zKtJTqK{<}z>rOjv-0My`PS)#AJuceoPCgFN+fFx*s0Rmqmq~vGbr(q=lPI{~UworB2$wdJxl;euM+!W);z1+0p2EE*rNMjKz2!)U;Cd=hbppu;y;@}BjCz%*MkVwUz0_z%G4#*@wm%Kf3+0nt^-lduPzyzp zUwX%p3pJ7{^(X^M5C%!5TId12@lXb+g+j?Kz2k^Rjr4W?DHP$t7+wVvp$12hpGkTz`B;{ZBt4in;JRfd{G6r$UwHnt%ZqIc;L#awcs|gfy z2~~`(x@_HdacqVYehG~r4o?-?1PIGT-OWYAw#Z%EEtRTWQioD^O$Tq2jYgz1QQq7+&Xzd zz>@iF@7aF+_33iy?&xx;zNUqXt-6J24NFe`vRbSL(Uf$uA`Y*?6-Nq&+^QD zNl{D2?j>bRR!hc)WAZ?h*6ZjNH0i3veds`wcFX1^bxc*O(*mCz%`SXQo>tf9C4J0T zi}&CbGAXLXz5hUv7T?AtYYdS#sHJ_0cUxk(O>1+NUbee!^X7NVtn z^Z=EX?mOOm449VA&c$cUllHCo{NR>5>8P1|3;>_Bq1D>#&=^$sJ9DQtY)pohtJ%TE z^k{Z)Um# z$PPcrt!2FrK%CUpvOaJiL+fm_(tY4W+hnUg1;9el0;~so0)A& zjueIp5+z}iUbGHvOAZwV3SuR}(6N*3XaQOhEov?CHYsBOxTF;=Biob_0601{y1m<% z{xFMHp*_W+LVrQDByf^Dt&3KnZA!FMQ5ZxYNhzY2~$uT3`C3bYf6etw#t!QV+U4uzt=mmugY*vL2}0Iwdrkbz^$hF| z-wC?qYu&xHO?6Ge4j$=C*L}3jbWQR6!ySef1m73F`)xbe>-V$XHQrzJc2GE1*)6xb5I@zN$S`+kk5%b|9S}blxA`^|ttxZasI~9M{y#piX|Y(~z0KZQU}}pbp+n z(}${9mp|5eSg)Cvp)zmBpuLb@fBePa2FC-7@($|R>PEXpScYNsf#?C<_O!u2j$cYX z_e9)zdR+|K0%i4W>(Snpv4L0yvVv&xdH93dyimmAPSXr_3?TsvstG;{3#tJ=JUBf+ zZJLvMjbI>V7Hp(A{D`oEf`pd2fiREcKz?iz-B^%SuTJOK`sjFUuv?cy>c{IY<|L?V zYOQOU@kRP|@tJz@>GpBZ@oD|$wNu6LA}cku$W2!AwILl_pBb8K&&8t+)*@5Yo+4u! z!BiWqE&aljj%S{(#BEU6A{}ehP%myL62s*Ep`s#PrO}oMUU0+-fttF;lEwxv(X`L0 znaq}=bfupuH-Kd6%)FA8n|I;VhGJ=Lw|oH?`swvW^3ewRT;-y7a$yw)Yx{@o4^CvE z2}FL=&%sMi4z5C83M##-tq)^7{756zT7U?zsi#iws5<@Ho`oh!nw_v4P0qIER=wi zqcb#4XkFtY#dH*i9=9qzNzJe?ik6P^_X%NRD__rKsXm5uTj?K7X_jPp#eT%L&5DJ&vHQ3o1p-gFMVpL6@W?PAh1L zIM)Ak#nqOjIuX(EtH{nIF8Rs^^DyX_cr+#UOHGjd+$d5HdvY@O|Y z)pXmb@f2@%)Uo8_3jeEbXCJS7AkRx+XTjBpC}-q**2%Ao+_~jE`{gqGX8RT10sSKI zZM?{StAh8V^^q@{sJH|zkhLB>yFBg= z#twXOQM4hi$G!VaT15p<+?}M>Q3RINXUy7y1sxlopI_+D>Jf$zqR2nszF1Z<*rIg9 zW%RNXKk+|dM5LcyIGlmy;4zZRNG1m&{03 zmyzanxhM!LEfk+YbbpFmI@zU-#^ue})P4{i3dbrG+iUB7;e~@iv5a*6BYuUEZ}i&R zS}c3&+Sfd+wJH`4E_@1ugWOc;c;ECiowdz#A-zY|?1Ma1q~XQ?s)vh#j$4&e>h+uJ zud@|+!{e?UI;j1qpbrH}Hos6m4dGqydoWur z88DGje$a+R(`IaSH|kO9@cM9={21+D7DvoTb~HpX8HTT`$u9Az@i;3T7bJ9Acu&1y zNj0v%(qOm>Yai25AgNiHZ@>K0OdJ`7va^E-) z@+PBy1w)E>cz)*$TPkC=GV*#GaaHC7Q_<#n_?m6Wl%&FGf7%)R@CEngfxBYJw-&i) z^25T3Kn8c(%Snm{K_NQGSSY&H)4+FN<?_t~s)9> zw2IJgfUc&?cDmi~;h``_J3nDn3V0K#lbid^q(j#2a1K$LP;&tp^5^|TJW8JY)a68Q zez14&AFYBp9(*x;@tGsum~WE3Dy}oPHOuy`iQ^~Ka><{VYx|$)4gt|o^&9g`Y`>HW zqusOIKh&qVQ$@(Me9-Y}1X#***~d zxb>Ji?cZJwj1LPkCTr~~B2%cvg(s=ss@m|89tW*R+%D^K zyO{i@{U>Jm%sD1!%^##We2>ckRsg3%Br+p|^ zj6UyF5IjXtz4-D~tKL1Ye}}r!XeFu`XKf$z>)^H;h3Z&sQVK^;KjFvd>FM{RG&c@295NwG{2_a&ZPZ6r5ai=@5 zY$bFeCPIno?bOC_j>uGfoEBS+0KelVE{iLx>hh8#%ndlwu33`BS+SOfD3swu``Ghr zXL5yY%lX{2)IBN?nUv8tJXdBEttSFTgFD7)N*oG81|Y=Vo|OR41~4xrNP(OEHxBkUSJEREZ(-g<@qmJ}BK0FEck&jo%(l z4Zm@dLC@5GhkyX&Rm-}Ft4k;r%LKK-9-RdnPAv|Jt2&z|4kW2Qqf`=wm5Lq*a^;IL zO3YZmSv?8Um8Dk}7|x>29Yp24dSFJQ%>*dIiZv>5MO6ul!UN0h@O(HA%)a90i~nju zbYfLMin!A#bnVi|NfJjXx>X6|La>zGsFpIB@WW3G(+GM7aH2aA(OxR=s}_6t4CtqA zt?9LlGTsnq};M(pz>5OUwCcbI^4XW)yWcg!W~_T z%_@*+uy%5?JRLsTQ=Z4HW7(m~Y0lerhFBX=nAgu6Y9_Yix7;~fx8<5o*VwO4M7?CO za(HT-?vP-8uqwB&s=DyS)NyB3b8tDeD8EzzTq2dZg3vYDqjo%*WpKWN2w5r~$z6ET z2ES!)bR2YWxktFk*1E|)us>MneE(GPx}Dl0bC)&vx~+UxwN!_p-YTAKP~d4guZnrO zySMY0`vN&8G=~3oH!#D0&kan#$ol_Csgz$c>nA|)c%nMAeXCB!)`lXiHgqP0@0hN~ z|Kkt~6%lHSfBWiD|l~%}Ihg%~s|T1t(JCKOnqCBZ^@Y8@dnnb7UiM zchcDC=fke2HqK-Q7E6ga(CcMgSRED4qyYRg|8W_rNkQuN^~xjOle0mmt;hiZu{0=% zsP0Kh3OXzCG&z@3?@@tfl+NAIvl^@bqHSjDj>fh=hUnP5fBvL9v)qX-Vd&D*59a$@CWKaC;yHp|wA3+hAoA`~M9u|Hmpx7Tq^g-3V)CXfCp z;Ac+&LjZ+<<{wXhqjvTCFF!59uOev@Ulxgi-%$LP?9n7xqGwRkF7I}BAT!eH<0^Cc z{&_c9%#l`sN7eMV7_T2jZ{=zSEMmc(1$9t(_jzN z41%rVTr?IAup+_hb{RO}UdI55)Wg2>uOFnd+O`Z>Is;>@ikvGv7i{YOOo=D8w4-w6 zqyrm-!yL)}@dG-CGdvq$MOh0wt06$6)VWoH(5g{P=P+tMv1} zlrlEl=U~yaLTJ7@HJiO6Jx(z3KWMnnG-CW10$u3HTYt+GZk7zrP>rP54o2tM{&5#w z4P-Kz=k-smC8NgS)ad3L+YHk`*+lk)e(?KS=r=F zr7!^}*YkSU!m?WZWt=+sL8M^RqXsQq^(f9zt?KO+~ z(X1aqu4Fj#iyAJ6&ABg6=?G=Tu_|%WNeCwxoFyL4fhLl3{E#&TLRX4J?9zYwI-sgj z0}#;*v1$>xr39wN#}J90?PXTacz%Z3PVg@sI?8$?i2sl-9QRpW$a)=z(CLVF9A19O7uVi z+JXdnR;KyU->Fu^U`Py1%pg!0rzt6FSgBMf1$F`E6#Kvj_v7CcBEloWX}VvdU0Q!0 z@GHWg^3xA%1NV|k9L+kj$%)Z{V_BK}G0Oj=XZTYOC_-ir>W2W3fh@NFzk$s3J^z0O z{SP|-3*`UA?*Gpq|1-q@8u$M@$n5_DvUE5Pls7$$$WuB|-Sley$rfa~;|)-52Fm=K zUkU9k!M+=#CO16;n~^>T2a`TMqrMRvDo z{Y^K}2Ld4-jDx^P#=vm)4sPK01s-1=2Lj@C`(gHvDg3A4e;NhB|LyaAGd(+pzjgp4 QC`JZWC=wE3SrMrJ0b+F5M*si- literal 0 HcmV?d00001