From 716864deba26d2afea6b3cb62eeb573613d6b86b Mon Sep 17 00:00:00 2001
From: rene <41963722+renaynay@users.noreply.github.com>
Date: Wed, 7 Oct 2020 17:22:44 +0200
Subject: [PATCH] cmd/devp2p/internal/ethtest: improve eth test suite (#21615)
This fixes issues with the protocol handshake and status exchange
and adds support for responding to GetBlockHeaders requests.
---
cmd/devp2p/internal/ethtest/chain.go | 53 ++++
cmd/devp2p/internal/ethtest/chain_test.go | 150 +++++++++++
cmd/devp2p/internal/ethtest/suite.go | 167 ++----------
.../internal/ethtest/testdata/chain.rlp.gz | Bin 0 -> 247322 bytes
.../internal/ethtest/testdata/genesis.json | 26 ++
cmd/devp2p/internal/ethtest/types.go | 238 +++++++++++++++++-
6 files changed, 487 insertions(+), 147 deletions(-)
create mode 100644 cmd/devp2p/internal/ethtest/chain_test.go
create mode 100755 cmd/devp2p/internal/ethtest/testdata/chain.rlp.gz
create mode 100644 cmd/devp2p/internal/ethtest/testdata/genesis.json
diff --git a/cmd/devp2p/internal/ethtest/chain.go b/cmd/devp2p/internal/ethtest/chain.go
index 250be64fe6..654888a4ca 100644
--- a/cmd/devp2p/internal/ethtest/chain.go
+++ b/cmd/devp2p/internal/ethtest/chain.go
@@ -1,3 +1,19 @@
+// Copyright 2020 The go-ethereum Authors
+// This file is part of the go-ethereum library.
+//
+// The go-ethereum library is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Lesser General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// The go-ethereum library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU Lesser General Public License for more details.
+//
+// You should have received a copy of the GNU Lesser General Public License
+// along with the go-ethereum library. If not, see .
+
package ethtest
import (
@@ -68,6 +84,43 @@ func (c *Chain) Head() *types.Block {
return c.blocks[c.Len()-1]
}
+func (c *Chain) GetHeaders(req GetBlockHeaders) (BlockHeaders, error) {
+ if req.Amount < 1 {
+ return nil, fmt.Errorf("no block headers requested")
+ }
+
+ headers := make(BlockHeaders, req.Amount)
+ var blockNumber uint64
+
+ // range over blocks to check if our chain has the requested header
+ for _, block := range c.blocks {
+ if block.Hash() == req.Origin.Hash || block.Number().Uint64() == req.Origin.Number {
+ headers[0] = block.Header()
+ blockNumber = block.Number().Uint64()
+ }
+ }
+ if headers[0] == nil {
+ return nil, fmt.Errorf("no headers found for given origin number %v, hash %v", req.Origin.Number, req.Origin.Hash)
+ }
+
+ if req.Reverse {
+ for i := 1; i < int(req.Amount); i++ {
+ blockNumber -= (1 - req.Skip)
+ headers[i] = c.blocks[blockNumber].Header()
+
+ }
+
+ return headers, nil
+ }
+
+ for i := 1; i < int(req.Amount); i++ {
+ blockNumber += (1 + req.Skip)
+ headers[i] = c.blocks[blockNumber].Header()
+ }
+
+ return headers, nil
+}
+
// loadChain takes the given chain.rlp file, and decodes and returns
// the blocks from the file.
func loadChain(chainfile string, genesis string) (*Chain, error) {
diff --git a/cmd/devp2p/internal/ethtest/chain_test.go b/cmd/devp2p/internal/ethtest/chain_test.go
new file mode 100644
index 0000000000..c8b977d237
--- /dev/null
+++ b/cmd/devp2p/internal/ethtest/chain_test.go
@@ -0,0 +1,150 @@
+// Copyright 2020 The go-ethereum Authors
+// This file is part of the go-ethereum library.
+//
+// The go-ethereum library is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Lesser General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// The go-ethereum library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU Lesser General Public License for more details.
+//
+// You should have received a copy of the GNU Lesser General Public License
+// along with the go-ethereum library. If not, see .
+
+package ethtest
+
+import (
+ "path/filepath"
+ "strconv"
+ "testing"
+
+ "github.com/ethereum/go-ethereum/p2p"
+ "github.com/stretchr/testify/assert"
+)
+
+// TestEthProtocolNegotiation tests whether the test suite
+// can negotiate the highest eth protocol in a status message exchange
+func TestEthProtocolNegotiation(t *testing.T) {
+ var tests = []struct {
+ conn *Conn
+ caps []p2p.Cap
+ expected uint32
+ }{
+ {
+ conn: &Conn{},
+ caps: []p2p.Cap{
+ {Name: "eth", Version: 63},
+ {Name: "eth", Version: 64},
+ {Name: "eth", Version: 65},
+ },
+ expected: uint32(65),
+ },
+ {
+ conn: &Conn{},
+ caps: []p2p.Cap{
+ {Name: "eth", Version: 0},
+ {Name: "eth", Version: 89},
+ {Name: "eth", Version: 65},
+ },
+ expected: uint32(65),
+ },
+ {
+ conn: &Conn{},
+ caps: []p2p.Cap{
+ {Name: "eth", Version: 63},
+ {Name: "eth", Version: 64},
+ {Name: "wrongProto", Version: 65},
+ },
+ expected: uint32(64),
+ },
+ }
+
+ for i, tt := range tests {
+ t.Run(strconv.Itoa(i), func(t *testing.T) {
+ tt.conn.negotiateEthProtocol(tt.caps)
+ assert.Equal(t, tt.expected, uint32(tt.conn.ethProtocolVersion))
+ })
+ }
+}
+
+// TestChain_GetHeaders tests whether the test suite can correctly
+// respond to a GetBlockHeaders request from a node.
+func TestChain_GetHeaders(t *testing.T) {
+ chainFile, err := filepath.Abs("./testdata/chain.rlp.gz")
+ if err != nil {
+ t.Fatal(err)
+ }
+ genesisFile, err := filepath.Abs("./testdata/genesis.json")
+ if err != nil {
+ t.Fatal(err)
+ }
+
+ chain, err := loadChain(chainFile, genesisFile)
+ if err != nil {
+ t.Fatal(err)
+ }
+
+ var tests = []struct {
+ req GetBlockHeaders
+ expected BlockHeaders
+ }{
+ {
+ req: GetBlockHeaders{
+ Origin: hashOrNumber{
+ Number: uint64(2),
+ },
+ Amount: uint64(5),
+ Skip: 1,
+ Reverse: false,
+ },
+ expected: BlockHeaders{
+ chain.blocks[2].Header(),
+ chain.blocks[4].Header(),
+ chain.blocks[6].Header(),
+ chain.blocks[8].Header(),
+ chain.blocks[10].Header(),
+ },
+ },
+ {
+ req: GetBlockHeaders{
+ Origin: hashOrNumber{
+ Number: uint64(chain.Len() - 1),
+ },
+ Amount: uint64(3),
+ Skip: 0,
+ Reverse: true,
+ },
+ expected: BlockHeaders{
+ chain.blocks[chain.Len()-1].Header(),
+ chain.blocks[chain.Len()-2].Header(),
+ chain.blocks[chain.Len()-3].Header(),
+ },
+ },
+ {
+ req: GetBlockHeaders{
+ Origin: hashOrNumber{
+ Hash: chain.Head().Hash(),
+ },
+ Amount: uint64(1),
+ Skip: 0,
+ Reverse: false,
+ },
+ expected: BlockHeaders{
+ chain.Head().Header(),
+ },
+ },
+ }
+
+ for i, tt := range tests {
+ t.Run(strconv.Itoa(i), func(t *testing.T) {
+ headers, err := chain.GetHeaders(tt.req)
+ if err != nil {
+ t.Fatal(err)
+ }
+ assert.Equal(t, headers, tt.expected)
+ })
+ }
+}
diff --git a/cmd/devp2p/internal/ethtest/suite.go b/cmd/devp2p/internal/ethtest/suite.go
index 6951f13bfb..f70bc43efa 100644
--- a/cmd/devp2p/internal/ethtest/suite.go
+++ b/cmd/devp2p/internal/ethtest/suite.go
@@ -1,19 +1,29 @@
+// Copyright 2020 The go-ethereum Authors
+// This file is part of the go-ethereum library.
+//
+// The go-ethereum library is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Lesser General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// The go-ethereum library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU Lesser General Public License for more details.
+//
+// You should have received a copy of the GNU Lesser General Public License
+// along with the go-ethereum library. If not, see .
+
package ethtest
import (
- "crypto/ecdsa"
"fmt"
"net"
- "reflect"
- "time"
- "github.com/ethereum/go-ethereum/core/types"
"github.com/ethereum/go-ethereum/crypto"
"github.com/ethereum/go-ethereum/internal/utesting"
- "github.com/ethereum/go-ethereum/p2p"
"github.com/ethereum/go-ethereum/p2p/enode"
"github.com/ethereum/go-ethereum/p2p/rlpx"
- "github.com/ethereum/go-ethereum/rlp"
"github.com/stretchr/testify/assert"
)
@@ -26,137 +36,6 @@ type Suite struct {
fullChain *Chain
}
-type Conn struct {
- *rlpx.Conn
- ourKey *ecdsa.PrivateKey
-}
-
-func (c *Conn) Read() Message {
- code, rawData, _, err := c.Conn.Read()
- if err != nil {
- return &Error{fmt.Errorf("could not read from connection: %v", err)}
- }
-
- var msg Message
- switch int(code) {
- case (Hello{}).Code():
- msg = new(Hello)
- case (Disconnect{}).Code():
- msg = new(Disconnect)
- case (Status{}).Code():
- msg = new(Status)
- case (GetBlockHeaders{}).Code():
- msg = new(GetBlockHeaders)
- case (BlockHeaders{}).Code():
- msg = new(BlockHeaders)
- case (GetBlockBodies{}).Code():
- msg = new(GetBlockBodies)
- case (BlockBodies{}).Code():
- msg = new(BlockBodies)
- case (NewBlock{}).Code():
- msg = new(NewBlock)
- case (NewBlockHashes{}).Code():
- msg = new(NewBlockHashes)
- default:
- return &Error{fmt.Errorf("invalid message code: %d", code)}
- }
-
- if err := rlp.DecodeBytes(rawData, msg); err != nil {
- return &Error{fmt.Errorf("could not rlp decode message: %v", err)}
- }
-
- return msg
-}
-
-func (c *Conn) Write(msg Message) error {
- payload, err := rlp.EncodeToBytes(msg)
- if err != nil {
- return err
- }
- _, err = c.Conn.Write(uint64(msg.Code()), payload)
- return err
-
-}
-
-// handshake checks to make sure a `HELLO` is received.
-func (c *Conn) handshake(t *utesting.T) Message {
- // write protoHandshake to client
- pub0 := crypto.FromECDSAPub(&c.ourKey.PublicKey)[1:]
- ourHandshake := &Hello{
- Version: 5,
- Caps: []p2p.Cap{{Name: "eth", Version: 64}, {Name: "eth", Version: 65}},
- ID: pub0,
- }
- if err := c.Write(ourHandshake); err != nil {
- t.Fatalf("could not write to connection: %v", err)
- }
- // read protoHandshake from client
- switch msg := c.Read().(type) {
- case *Hello:
- return msg
- default:
- t.Fatalf("bad handshake: %v", msg)
- return nil
- }
-}
-
-// statusExchange performs a `Status` message exchange with the given
-// node.
-func (c *Conn) statusExchange(t *utesting.T, chain *Chain) Message {
- // read status message from client
- var message Message
- switch msg := c.Read().(type) {
- case *Status:
- if msg.Head != chain.blocks[chain.Len()-1].Hash() {
- t.Fatalf("wrong head in status: %v", msg.Head)
- }
- if msg.TD.Cmp(chain.TD(chain.Len())) != 0 {
- t.Fatalf("wrong TD in status: %v", msg.TD)
- }
- if !reflect.DeepEqual(msg.ForkID, chain.ForkID()) {
- t.Fatalf("wrong fork ID in status: %v", msg.ForkID)
- }
- message = msg
- default:
- t.Fatalf("bad status message: %v", msg)
- }
- // write status message to client
- status := Status{
- ProtocolVersion: 64,
- NetworkID: 1,
- TD: chain.TD(chain.Len()),
- Head: chain.blocks[chain.Len()-1].Hash(),
- Genesis: chain.blocks[0].Hash(),
- ForkID: chain.ForkID(),
- }
- if err := c.Write(status); err != nil {
- t.Fatalf("could not write to connection: %v", err)
- }
-
- return message
-}
-
-// waitForBlock waits for confirmation from the client that it has
-// imported the given block.
-func (c *Conn) waitForBlock(block *types.Block) error {
- for {
- req := &GetBlockHeaders{Origin: hashOrNumber{Hash: block.Hash()}, Amount: 1}
- if err := c.Write(req); err != nil {
- return err
- }
-
- switch msg := c.Read().(type) {
- case *BlockHeaders:
- if len(*msg) > 0 {
- return nil
- }
- time.Sleep(100 * time.Millisecond)
- default:
- return fmt.Errorf("invalid message: %v", msg)
- }
- }
-}
-
// NewSuite creates and returns a new eth-test suite that can
// be used to test the given node against the given blockchain
// data.
@@ -196,7 +75,7 @@ func (s *Suite) TestStatus(t *utesting.T) {
case *Status:
t.Logf("%+v\n", msg)
default:
- t.Fatalf("error: %v", msg)
+ t.Fatalf("unexpected: %#v", msg)
}
}
@@ -225,7 +104,7 @@ func (s *Suite) TestGetBlockHeaders(t *utesting.T) {
t.Fatalf("could not write to connection: %v", err)
}
- switch msg := conn.Read().(type) {
+ switch msg := conn.ReadAndServe(s.chain).(type) {
case *BlockHeaders:
headers := msg
for _, header := range *headers {
@@ -234,7 +113,7 @@ func (s *Suite) TestGetBlockHeaders(t *utesting.T) {
t.Logf("\nHEADER FOR BLOCK NUMBER %d: %+v\n", header.Number, header)
}
default:
- t.Fatalf("error: %v", msg)
+ t.Fatalf("unexpected: %#v", msg)
}
}
@@ -254,14 +133,14 @@ func (s *Suite) TestGetBlockBodies(t *utesting.T) {
t.Fatalf("could not write to connection: %v", err)
}
- switch msg := conn.Read().(type) {
+ switch msg := conn.ReadAndServe(s.chain).(type) {
case *BlockBodies:
bodies := msg
for _, body := range *bodies {
t.Logf("\nBODY: %+v\n", body)
}
default:
- t.Fatalf("error: %v", msg)
+ t.Fatalf("unexpected: %#v", msg)
}
}
@@ -294,7 +173,7 @@ func (s *Suite) TestBroadcast(t *utesting.T) {
t.Fatalf("could not write to connection: %v", err)
}
- switch msg := receiveConn.Read().(type) {
+ switch msg := receiveConn.ReadAndServe(s.chain).(type) {
case *NewBlock:
assert.Equal(t, blockAnnouncement.Block.Header(), msg.Block.Header(),
"wrong block header in announcement")
@@ -305,7 +184,7 @@ func (s *Suite) TestBroadcast(t *utesting.T) {
assert.Equal(t, blockAnnouncement.Block.Hash(), hashes[0].Hash,
"wrong block hash in announcement")
default:
- t.Fatal(msg)
+ t.Fatalf("unexpected: %#v", msg)
}
// update test suite chain
s.chain.blocks = append(s.chain.blocks, s.fullChain.blocks[1000])
diff --git a/cmd/devp2p/internal/ethtest/testdata/chain.rlp.gz b/cmd/devp2p/internal/ethtest/testdata/chain.rlp.gz
new file mode 100755
index 0000000000000000000000000000000000000000..bdd6290ce6e569c50323c02fcf3cb12b0d803d1e
GIT binary patch
literal 247322
zcmX6^1zQwc6Qx6>k(5vxq`OnPQ*uFCx_cL;yE|68LqNJy>26rMyIENH{CI!CJX2@R
zoI95?5)IA5RTltb5oYza
zR6{Sga$+Uz(EPzm8+q$&DcCyy=-$y#eK_t~L1!Jo*vC9=}ruM-7Z#mqxjPe+hDywPSYcTtW*fGOgw(
z6P|b`9e%bP#eWzO7w@)aU?_RTf&j&=bgu$n;Chj=Fn#&ek_?{?`C()cVvZ-JqDqsVKK|H9-Eh1
z{t-8|Rb|%|69dO3&9GsY-XTGojgFE(?PGTVk(Q
zt^2$XzCeIuW8U;7o*Z75a-7RrzN5GlsvtM0mYKBiF<=Y3F4Eu
zh4;Go#*%I^#~yQ6+X}t~A_za0%$~;Aun_dIfuG;G4*7rW=5f+wmI_LYR#7kf&d-dy
z^F!k}h(`*Ay$2XTTiSnv`3>X}1pjcsvXoYsg3L
z9FY#529{aN?h*1(>-^=qECX)d(A`D`#yzvO#y{lk5Vj{iPRscsA^jeF0{feABKg&P
zYl!ui`eyv=#h|+1qIGO;c#qUs<>Pb)l4G@FuDJ``ri1UOo(795QVjQONEuE^8ODn%9F%=^7?dE8>
zn6DR9@Zka%hk)|v4d^Yxo08z4vP|l1b)nw2gGcYZ2r#^JS?#Abf0}pX6aEczM(Jzc
zDsB{JrT=+fJXjL?bFzAlztvMw>`;a9Zd|RY_d_JdJjdy5O{EegZ?@_*v^N}b@kV5o
z8S1^$br>kZYTrrL@8Z}_qOIO^DP(!;+_6F=u}MwEAbR_99;jAIwSLgY#}uMPKq0T<
zcs=TptV@iaOK>%GID?LT&ZgWFLI@X4xz^p%nJ8xpCCAqy%`1F(-WDdF9fv(8X5*vl
zW7gNo6CQd%=f=!CdrAR>EH&-X(2(7SP*!xmD6W3lxoRdp@3H%i6{bW*3VK1wLu#rL
z(J_F(EZTj~gY<`;IdP#t7(NTzz%^FHm+zM~T@E^jVN*T)s^j)uW0$6VxR`uzlsf%l
z$G%MfT5aYI^%U|aecNPEGzfsTfKRQB*7N8UTR+xkz}^~}Y#B*rUK?kV7VdpAcgVBS
z6Y#xr$_6Fg6O_IUIHj=xKcP*a8_3HZ@Fh^QWZa$fogQUKnPUd3o;->#_4mU|8PpJ1
zmp@OIEZlef8%)YGB%ieBNqwr|NP2@ZVf#Jy57~{@(Hj8=Tb_-oG>IL!fbx_eUC7~*
zrP3+l3(el2MBBDuEfSh6m9p&^m6U<-iZ)vC3~xLX4XrHJvoLl53tq^zYV?56H90&Q
zWSyzZOlIppAGc+0rfZMg#)_xafR6lL6FNk}|YU_ix@(SxV|A%p;M*t-~!u9{==MuQSw
z;^yMzkY2JYGB`UFFIFm23$GtB`pr|YSXoG*we3?TLm4JTr+>IA+%lbulsCK-UYe-(
z{A777)3<&Bte_+05-o@1BTE6V=))~!gm1wjbIBb}hp`)aFMqPJg2F5~PrtSvQ+QRc
z;}@YE&2n%EiB2i_O2*E}imUnmVD@)IK=ZnT`n-$D>lb|vD~nA1K)KxB_JpT2zG5`8
z9GM+*yg&|jz+)^kwtK3TCdvZ@4=#43F;$kp!^_p%O=UZbsguPa81VBA^R4n!{?++x1-m<6FM8~!69N*s}$@wE8
z&C<6_4gUNdaLm2>)-39zwU1f`-;uLVEcZ@&P`U#1X^y^&f!D>I60U;Kb!V-@#kc1g
z5e4!FToCu$xwGo@t(G%!X-3|Qocog+tJ;ad2z`RO9sf7$t{=-bfhGeuFRJ5Xe*4IKirPPwrV!uxEo@a_O~cum@l}xgM>oAO}S-_h{TrZyZ`)E%A`tt`45zuLS7S{!0fMNg!U(ma-EQ>h>)Hp
zE0~U1g?w!9ct0DM55mvW3mouDuSFv+lbx4N#Ov$1*7X)z{w!UJTxGj9+C*bXVprp9
zshjx)lT<7%)UBoEthW>bh)oSM(;z_Qd|am8{CzO2uu~F=$W|?as^Pd_gDOMyf0tjD
z05E(sepZv=8wYv_SE0$U46Laf!9826gBP}SYo%?KAA?^EgnQ8)JChVq@Js91m)y^o
z(OkL7!)T29l|@@qhl;uUvDd%zqov8o<*Eg77WDekvz#w!iMnwSD@T;c0m~{D=QL-U
z=+ytQqkV+tx?A+Mr>X%5X30`r*qs3dOp?2GG*ZT@y_JH06eeO4<>MS0iFTUqMp*o1
z*3nfMO5?L@KPZXCbL!@+=rqJuC)b`|EA}q7*K2#U5_hKrtnHk5Hg}A#&!py9!~8Qc
zSr{ZqD<|O7^X+w;Y(9R*Z$WJHxbZ
zFp|mi;Lo;^QS!rnxD&sJFGb4H$s9}9OY2Y;GlH)2&!LZ`Fcj`=KwM90gg+W!KA=_?
z2BT~f4l!@c+-am6_+OhTl$}1{1P6*O7cN1P
ziyzSN{^&vc4;qn@SpTkK<@FA3X=1HMb}oUbENRLKgB4Oy3dAP6M18-6Ckq`I)(ctf634x5)VMwW&6%pM{Zx?WLRL8C^kg_95r8*&gfc
zkZ?iARDH9EzT;pmUfng?pE944TxfLiv8StZUfRP$_=r=>TX;F=7}l5@BDru36yA-^
zwI2%H?4%*8z}{9ok2)%{=!aZdQl^|GTyyhbLBIAnLI&bSGjQ4Y_GMp3?o{
zx@z|0Bl~YU&nAlk5s}(b#w(0kfT&&UF`EcOOf^CO?=zi0|;R)flhIX-P
z)Dt3mQjLrGhN86-WO(pM>-4>9_L2$oPKLy0&OtsA=z5YCdH!V1y6_X717O{}Xux;x
z{^-Nbkp<235PmMm&oLFj*05Au?A#v0T1;Foo&}c9Lp8(+tubGr1iY&NuAx9^*h0y;
z(TZ<_rS#b6)^ikjh0%*vavt!+zo*Z48>6R0X4kwZwFakTc3)>-HP;$D$XNB&>+Siu
zSJ>ltUu3%6k<-h(6twa*x{liO-yq|MfLRO9PLF3E96VWBntu91Jl&5753|*ymaW_O
z7K2{VbBWnMj}`6Duw21o{m)7vCT6NAx-9Sd)Dm&2%ZsF(i<%onzQ#X_UD08k3p`@C
za78bcCfqbZJ9wUGF6&wM)Aq5uq=neB1BASNmXTE!f=|dtpQ(4
zPD@JRIkXb}^HhQ6(;bN?E?fuX)zim8
zE4{$ic!w~Q|xC@
zoEUC~T`s5kxHZ1giDt|ExBR~vyHEgMuYp7#?W5U@&!S7wBPNW#{B~})xYypDaqaC?
zQ9lZ;3oYYB=_*ft@1i93gj!T>Fp};jI4NRCZ(O-ou4?1Es@h%ZKW
z1x@RuyO4co`jlP#BFyiATtG{wE0RGh_bv$IqozYAq2$=9xU`yo5wkxh4uVSU!GJ9`
zuxk={^Sz&zmnvgnDdcjXt|^66fqcTPy%PQB)74j8eSKvnWf4
z`W48ol0_c`kt&`UDhL|o25e}Hiy=<33fb#AaX+8(YF
z=!<++^L8m9>cJPW!W=wo;P#J~vRRA@DiTmHTcY|;tj~aSk2Le4;;I1IMQysdqPHf_
z=Me!}lz0(f_7rCHJC6Uty`uouKtTZdgm;T9yts8+|Hs_Oa3$cEX58m?T(F@#AZ+!jJ<
zsk4qw{`|sF3-n@9DzJbeWnG#DqI!FI98=jO6*0Nm0l&ugS17}=M?h|+De9rEU!1h_rQ9-FHfga_vg`WZ6QS}>b^^1=@kn>~3svh3
zYyNm>wi~fLG5wz*JF%z9>htmbsCaoq_$;WfcO$huLYgoOsZH`!;+2o6ueS7016)k}
zc^JdOOVM}3{_ua$&G*l;Kh-)mJ(x)(ulu2$=B*NLMSt4kw7TOeB*Ry_*+_6CzRd}q
zA=LAYzmV{ApJ;f7y7mX
zM~(5&Kg;{zyy;q3cq7j1Iw)e4*NsOs)CnTSmlNV(s}8pi3o=SQRw@lScucqgZT688
zItN9`;J-1L_D?0qcl3ev#C&Ra^p&;#@F5F|OlFwtZSJdjSX_lZR03i4b|W&GGfQ)Abyx&(9*(JO6Ii#-Zlr{_vHjXd=@Cg~isekH$q9aC1?-vdT@
z&dzsO0W*sw188X8^Jt$u$g9$H!rS?rsTCZ#ZFu3nJa|qMet*(s_wSg9o7-XR)o#H!
z`#7sqyyW*$$Z)l;dw*)xK+47J2UQmI9a$Uh*!R}&jFkSiTNrNk%v#*c4evz0GB~nv
zZaj--|A%7Z$)d}mNai9}Wz4R2*{t!dT{2=SanV~RZwq_lVsx=gbSEaf
z;@P^dLCeB5FN{Kk)O{6-9N1dOf0)1kUhyGw
zBP8s7zB~I=h*+Df#1`#R=xPF09RgCeQk;9$szVm>_V%C$iL-l8e>rB98ih+sQd_0r
zRA7T#cK)pIuIOb)=`EFDrZeCmXaQ8-5BpTA$Y-k^y7{_9kNXymKj0wb3_UCsr-~Mq
zB6mbDB&y#PTMFhT2M{1hDdvt;;HDG7wN%x}p&$MfQv!$qEjal?{L^$w1~+z_nMKUK
zTz=ndD;M>-8~q3vzbhf{A+Gzs5TK=;1-V9<@
z0+jw>9@yhnf9Qg6w^WLnn;mz2oRuya{_yAV_ikJd(%K^VJ2EU6!7>;&E#{2O_q#_E
z%GTAKenlp-iZuY~9dZ~&qC9?-Fle4rYyn`@W3t-7q=HeC>sYM+1pNaF!1
zxS(|@*@7c1$6yhuI?ZPHKci1RP%!x6;mO+%0{KXkY;~O{{0PO7)H5H;Nu;53MJj$)
z8H;Z5XF{)<1Hc2N6`zLd`{`&XkzF7|@^W%?_(2{u4`st)4u@F}>qfHvS8>
zLODs2Z5ZWAkFbC_ONo7B22d)(t4pSci+;Lj$uVRD0bN=T3@J;r_B6y~Rz$Rgpud9H
z4_)ZfG)~RcKAmqX?#1DJ_ie1|I9+s9R_gM2<*O&=S}cDq*i;z`O08pC+0$E}aRk!q+Xj@9-$r+GZc8p}Lr=&5
ztg6a49FV;s;q5k5)q5>5Hn&1H{+_XJpT3gaYK;V9d*(!o5&L!6>1kyui&U1OoWuW
z`N^e-qEq)RkJN3&B~%kE)gaQs$mF<-5~*GLU{Lofua^$hRq_WTL4J}=WTG4BwaOw5
z4+u12mz4$GU;43vshcA%P6aP8mMioY?1RuwH1
z(0yuI@H-F%vrz)dyML$1&AHfx8P36|&qqbRV6BO?Xa=@rj4o89-HSSx^8GnUS3|#V
zjRt>;OSEylbuIcR>+^3^0?c80nF$ua7Ai`k|E!FKD*%GkBG!FXWL>=m@wT9)zI{U+S^$@^P
z^a@8(JK+e|lk!ir8#9dnBXrC)Wuy9`Cy^vP)?OrecT7Q4SFbY;T}*=0?DSU}2sl;%
zMBpP3?*B%sK=KK3bWu-<*;evHsi^CpEA8~?)R`PlT!#pwzP}o(iUwhM!B1B&GrhQ|
zR`%|?C&(Wk(o)$NKln~#%OkZVD`lA^V!vOwdANITne`XduH$HRZKY?-PI
zx!!>2YZ!Mi7^lu)`Bp&FSL43?l~`LM)@2
zw{Rgeg4w9t4w^$IB3l2%7F|Pf>u9YqTMMgFx>0&|Lcx!y9*_&m5Yn%&|_1{{&3MPO{1%N36
z0!ql7lA=usgAeHC>j|GkS!XYULavX@T#hd7s#5pgK2%{4f=f>QHPe$pzxS>?Z1uYz
zh2}T;uumSjHAt|jW9*$8
zM~;b>lt^%uXDfZuhyXz;q_um@!;jEqt3B{jP=kV=-vV82pYPhwR1F6*F4Vd9r`3k<
z$kI5iJw|s3HIu;l-g`2nnm|!-kmifOgQX(aCbd$WptP!xv_wq!&lJk=F&8L~sZno-oE>A#Y#|99YYfBRq`)
zUJ2~-SAT4z+&z8F{Qd0ZEoF18ifAExUn91Xilg9AZTf6asiR*(;|v3zI`Pq0J(-r~
z8v09%Bb7+eH{e8WV=5~q5tmp8X{6cI_NmTkczDmAKCeuPh#LQ5VVB4yE%j!UGk|B<
zkj;UW5rTKd=TGpfv!RHQk4%y;mYyYVjlf^F!>D{j?nT03>GLX=V3CK>b6J4&7%z6z
zXWjJ~RrTL)MehJ@60OFqgR+Wv(L)>-VeVrqC+e(Rx44{f5wAm|nb}`N0PQ|p{MY9K
zs&w|767E5YU_VaTX9>-&o*DRP4;gE45D>pBO3M41{cxS2h)wpb^|$r;{_^P7ZyOmr
zC|0TW_}*+mQ-6$F%>4a-*diA{Bc#MV{z4zN5PAa{4Amz7C$BuFB9pyUVtUxV{3Uc|
z^WUTd6*^8}!;9G_HajifAb;|UP*0n%`g~Dbn-Ab2Lv-zLbJTEXrA2N#gN{6W81soFX*!N@}%3xSpPTOHpM3p7~ttuFne!P
zVEYY}uzc%+N^&I}H>rz3x?0`?<#wf((4%PLJ>IPR`qWKPq&h(`!V!3tv00cHI=s>j
zJR%5qliKQSX+qZ}N;e?@70H4kUL{V_&f=}*Wj5T+9m_Q|eaE4lAn>1R^2_K#oOgTs
zTHOk|(A{R7IQLO5iD2k1DzlN`r)I;V!9kz*-yQLN9p_KC)H@7(UEkdQPJp>ojoLjo
zMrcOoCNTn^V;#}HaNHBT5b@no;z>o*rn}?jTae7HPng6H$V8Y
zpp$p%xS|C9!yaviFIHc#yXUg*iI0uH-m(}3IM^Vul9~jfLZ^u{MLS=MlIilShAUpL#x@@wx3jGc?rXfu
zbfFE2I5jg@Rpn*sikp;~^D>ZdLq%SG8EYQ?84*=V
zDQb%&ATZeD#L&Zc9|DC9lSWIs9yYI-WyCj*z4ZkBo{Tf0hYf)S{SGWlEjZAMpP9O+
zZQ@IRElmH#Fncryv~(CEM3JZ-Mn%O^TF8ztm%TQ1HL&oE012Lag|$9fy}d5@fN(`N
ztOtwXmajna!m|gaR=Ol+&%%rt60~*gZxKYw4tqRMHtZQ-5Slk$@=Xf@it{v*&#Dc`
zT#(jneBz1My$RJ6lWgpZ@qV0;k)V>Z9?}tT*M6St=LvW2B0BlSd16Mb@k&8$4G&sH
z0|G87ERcwKGx;X$FXTE__c5Ys9;BZm)D9oa6L*Zk<^Gi7T3`=;SkfV)66kIp=xont
z{3UMqE3eUjw3VqegT*8{tp@f=@Vj)4LSwHps16SbOZb^?TWKxcPF1wWaw?`Gwcp&R0#lLygrW>x=xGSfd7a8{8Vc>v6M}Y}&;3Mo3;CKq1t8Nto`KOsKvZHw
z3OG%|=YTVxr%v)Ey&^=xTc>sK)R&Y!LOqz$i00qA>o2B
z_h$_Zhr+P-$soAg)I$CGi-6v*)C$F##?(q+-?X6%&i2sJA*<1Y5@Wju+TY7aEd{~{
zfu56X`oY>}PKTOI?bXhY9an$7YAPv}=O&&p=<7T33FI<;IirKawPVQ1=6L!ex9-TiJ_QS7BtcqT;sr~
zTDQL~3a0Gw@TO7;=MbVhYLbX23Qon>ig>>#`%iPuW`C_w`Yzo!xI_IGfw^H_)Rc|FjP13`-`K
zY=X<8SbJ-&9?jQ$G9{$T4+P+)2*bh6uTlByBC%{5bcZqF0OS+DK7`q>#cr-*k6F3p
zvflAGX^jHeU-19yY0pB+1tfR_A9Lx!-+{(jRYz$hai2u9Zi$nlKUynv&`qT%cAq2Q
zQynUp+7jV#JU0RW
zBp`b={Igh8SdY1j@tmc&>TDHtbwBlum+v+&U%aXPfpHo+bC9!q07NPq
zxs63KuQ|lrn87CH=!ieGfZvU8_6=6r)lXpl>H68zHhK%#-bPW=e;ocA??7h%bvh(-
zb>hD@9}armqWkdUELrIJCGRd0k0^nePm-(JPkO8<;>Lh`1m#T`L?wvjN8cZE_BA@8
zze}j8d@cp+^Gn~z@^cm_@ZO)xB4lI3U>_;zC@YGS&$R|P3H_n
z%PHi3+E+2s(W{X1023aaubs9M@;M!EJ!_9VcpVOW?^`v&L~^9uCr5cy|DLjaj$xv`Z`sXrOe`Y
zvcB1ua<-^PJ46NN=((EWmoWZ!e6NyV$7C|_`rj3kak}99DV(8GiyOFQn;C;?6`=`7
z{v0{K9v^w?`y2s2s%h%>`;ZQ2q$05GX~CV0xoSf6hk8HKmE7CS3>M}695UQ)+=UK^
z4L$am0&6#~(PmhWk7O!%kUzSz0jR~(Zy0Yb%rGnpolB2|yq1`wUm@i<0=&P?N&fL6
z0Yhy68;+z~<1x9SGbUALtE>TvaHruAG-L$Ta|S~~WDmmU>@HxMs){W?LBNM=j<;eE
za!si}{GkEf!8puw9%0(~j3_Fw^U9uCjf$}cCl{@cRAY>lbEC09-ljA
zUwwZ5*H<)f2%ErUvaq}i`Uk`Js!8d3&!SuqBad-zxkZK8)92{iuNZKH*ZkGq1r9_-
z)z&8@auW+e`=)Pll}R#uWQz%fms}4udlaPCh#nT;){+fruzz=sUFsZc3XK)F-JTz|
zSWX)x1zdidhZ$T40{X8g|4Xz>AsC8^pio7}RQHF%)W@9ZyNs=JVqU4Epn#hqKfWvm
zmt00KDqJyvY0ncG6D>QeXf4=G=hG6)uXeUA<8E}y>m6{Kf7>lxR(@DqepZzi`9It9
zjxWKlugEm>c
zwL4FV=?->~nrlB%615`{(CW8x~k6>>)J4
zgRxNmWY=jwYv7B0j~!b_g~%1H8U8_GCC9Rze-LVM2VDmwI~2o_7b|#%zgJRbtH`)U
zK~mHJ3^5{Ji5MjkuiE(h552FLVOcn63+tw-mt0{_$i>?Pk=OSor|LO-1ZR}k%VXVF
z7<{m1Rk-1SsE>n?AXi+ySsPx`U;0CS@fQEIl+Ur0#d3i6pVL`8DGc7jtpfvm8e3}=4FS#^93u1*
zS^B!dm1sE^mK?9tyRzzfIQzqT6^oCZ`^s5pj;+MKDopW#cbDd#01&s*wLUm+R(MDdxF!fA=AyOhy2)405X2clOq5X{=k(n_gcetwVc?HZunb
zo5FvhH>FScVqXlz{%xtuXy&kfJ%fmlL+W%0*-`EI8_(BrJ(mNj&}+k@8pwc@##PPg>W=w4h*-*Q(_l)RCQyM$%j8~
z54_t{U4B5EM~D&>im}6F^Z&I&%_OUw_=;qp7lqCnWF$jdfRD#V1C@Ybkaq`=0r0)r
z`^koi|J3ZOzOP1gX$84SwUNqml)4{D5hZv)e3XE)M56kRb1;hmYxxFETa{6b+2qu!
zP^Yyili=SK07mds#zi@q0I|07VvDPmlkErw0$;#2PqSo8P=P-qpM%5I(yi2!^Uwz98hNDGM
zj9F3we-ia@aJ3+(3Y`Y%2vD^;h!2yM>=k@k)PqxZko=shCpRuRCGCc)y~fudTDZ89
z_RfJ5n+u#G)o~RCN+j#(H)8p^vuJ*1K<=kT2EOO4y!J3_`>fa7}7x!fiC{1qE{smCMrW-`)&m0P_FD|DSs|c21qOBEv5#5^}cF_z_yr$(Bs0Zo#*7
zLAISQ^RFofkvrhN%9z42qm!#de46XjOuwwz?{E`7bT-!aPQ>R{CJcxmH2vkn`61$@
z?wYH*A4<|Tem^H5$4>!L!JgMlDQT%>ab&HzwN}3kzonf0d&bMxarp`-FWt${aX3hy
zV8nJ>TeP*4zLNIqtv8yihu7o7(ox}isieCyj@E+%a1w%<$rLkE7XQwTuLgC++4eTtl_FTy@&T&Hi+EgEf3r0IU-O?-U-;
z2ua)7G=3W$ynMqZ(3?;u+fgRjOZIN|+Z42ik
zvD+U5Dm`Fk+Tk7$&!woQII|3R8^0bubZjL*6Y-$!yUB_<8N}@mMY(gl$JSOEZF|IA$dECFE+-00CdTh7
zQ}@q?YEqiB`qSk7?xWa)ij-7y754-6pIMJW(SsVC5FpoYA$*Yj^u^BKb(DHSdy4
zmdl45XzO!wmj~bV^uH7T?|dwk8P=?i<~3J?DL3JjFk)P;NZWVqJzNMb>b1kKhgI|rh^`87VTA%wo_<_6ne$Yqc+gI!Q23A(he>X*y
z6iix@`K1p{#`+|m{%(m%$bTenYGK0@;&2MRF7P&{{{L+x1Rw-Cm5dDYTMuL3p6a(w0=rsQyg!RF_7E
ztTj?FUX}0m*!vrkyXe2;hwKt+_k7}?JG7onLEDJGMp$Jqb
zNS6PUh+la((+0+@gQLEn6$ps?_06so?*P#!ebko3=`f#RgQmz1rIiWy(H`$p#sR~;
ze8Tphujhfwq{yBlGI6f|e?NQKNPey^#=%i0vcfb_*gZ9>@qP~7t_xACHQln{9n(wA
zVpygVo?;NE^P?TOiD4vB0(|2@3p5&jGdf>xVqOt{9B#3JENAdlcIGN>6g<8{xi(2L
zIFG=*H0et5P9(XumY#v;`AlAFk|(6kr8oWZq7@zSzkUW5c0L}6fnh~a)~OBm0@V0<
zT?*>ausV)fzhO^ou#n$P8G)ym9deX22;Ec_gcEYWmBom>(S}8kAd6vP>0iCy*j;V#
z)l-N#iOtBgQ}O;2jtVRlIEA$W!V^Hyffz0MF+IF1UY9@j|Mp8Lmmy!PeP-g#t2RfW
z3zbE{so{14;@>=*C2Scli4Ct-Y02f2wATY+8I&0jlz
ziw0)3ecYnwOTT6Irx%*ly%B!|5?RCClhxgY$=9+Ccy9o2R#BC{q-`z@NaYM|x*FIW
zrype2S&3Nrdhw+bznad`g%;c3Ogsz}v*i95jNW}pF~~gKEh@#Xk(ZM!Kw@Q){W!|Q
z;tt2FDk1V_GPd8cd10nzkWz`hklq`7F*ih?#Y2cjrO_>
zJk^A-H@1o18F3l1vAn4!KDP&I5PffC3Kx(CVAdOV{t~)#3Sc4r`|pR&Q|!wn{;pJ4
zhR}e!FpV+n5^x=gn4R9?JL<3GPuNCBGvTzpd=;UI8fV-C#c7nKK;DA*#hw2s<1*c@
zWGOe_8{P`~yu0?0WM!a3u|u9ZHojuHk-f~vt6=PeA@vlew5RkPeJ=&^X9lnZFE`xw
z(OK`F{}egl-$$7T|L049Za{#&QS|--qMpqyOeYcSFQx`UEdL2SMcG2^6{jL;$SU8Y_tUfM@apiq|+6sniEW(sXTLAVA<9=0~!S
zXt6+K&)Q(7gCs}%P0$ve-&mp_NW6{gA?+UzegHr16n_a0$aj4hcN{ZILDpwOJ~4P=
z$oCQY2y>33^Ge`X_|A2Of&BAJjYG7}@)E|@IR9^f`>Fu@;h0oI_7BO!mshES3!_p?
zl{G`}3LT71>G>b12Z=|xeq9+eKSzk#lfCP8H5zQ*3dSu(_>uOuNA&6siD($w(Ai@u
znD-sRSXuvoPOYF;D`g(!gWJe(>+RR|X@iCq?qyw`pl>3vpe5bi~i|ki$ekK$$XQlDzVmYxlu6-oB3$?
z;L}Hc*{pf4vY9-gV0DYlV$&qJ{Mmb78LHIthbRFJb>_xq4B}0%M)F21D3MZDT7s+e
zSi=A5FS&E6*lArU%+=$uB%1?Vt)9GG?x6VbwYLrc&twERPQFgQ^$LzKzZ;q*xMJ9I
zy`k46B)F>)2aE1YW3F<=7Q)6J6H6=^^$K1SOJc%5zH@9lD^qa$pOAB!8ES@TWO
z6?e6JM@5A{>*?
znOzdNC=P@@`v#LpM}iWmIMqxOZfr}Vr5y&UbI1ZRoN(s^s;1Tb;
zStOlYQAQ^gvlyFBc|PZ>G|Ke63_ATaLB#VpLV)H9$D0{A&7U!M5}F7O(GF_)LE(G%
z(O9-TL$PyLeo?KEfp%D{WQi!=EFO7V0`p&qy*#mXo*SU;Ke)x$*RFv>e!FVlUPKdc
z)`sT7`~RYac1Ag#iBbykAyvQ&Rqb?SnGl2iy+$leMAmTE5e|8fDB+?0nk9
z#W_!HCC)eHnMZcTFTpVztnsA&aI`G+^=M8}YxQ~D;XXIOiCJ}$jqJA_F=$_0{qoO7
zjRTzTUmgQqdIx;cwp47d1u!m<_P|5I%`-IdCD(h(c6qk>@UqL`i#vWGgOu>HeGb+}
zA_hRpTyxT^^EJ_8>ujCeNC+sO+k{fS!I029+~@XEN*^!2{#Ea|rTW5Qkhu0S8SE~+tKQ;YSHF*#m`Z9Z}^A`Ed0-B{|NOjEpY^3cigT
z^Ngta#?m{`x9&gDu1YuJ-{_s((AQzE9Z?)mKlI(|pC<|BCT$5>Pil*Q_F;2_VL2w#
zMl8|5Ps_e2jema=ZCt-x>3xw-4QZHe{kD}P&@ne`&vsP!uo35ZFmCbh?w{??11xO6
z^Z7dnrv2jj0PzoM=I%GnyRZwk`s|jUoGGJHqu5_0#3K;k=!#v8L!@R&ZxEKtU^8SYZ4jOZ6pH1juPxKL54VnOeDqmJ$>SYIyZrmNt_y=*u#s&`g>mLtkQgyNX
zY%rB%=X5VYDDTVf+db#&Kbt(y3%F+PsRYr!?MR3TL)M)hcHtfyW5DM8twq>*0>Nqg
zJ`K_}bG`HEskK7BJ7O4A+JTEU5{M5o!q6HK!aw0UFmjdyAzcGr);phlULLlpFG_pe
zIh0X_GqXgM#=lf((KS{G<&pnuGc)^L&L4Tt0llME(R9XEVy4gf<{_4DY*?k0XjA7F
zp%-RZy{FzCLM$m!P@co)c4*~$m6!2PtD}vOK6~?H2m^3r)s)94`X}+b<0mtvo5Xr7
zW=w%)Y+Ts9*uQjNd_;N*dV!s?Eq*P$qxL++E_q0q_M(zcd|x4AEq!T=b@SB*Zfu#S
z`m|}zDGl_LSQM4b7W*bIYpGV3PME`{{l!n1u#?rA$}vOY&wB>M;uoc{Du>uO+pzj+
z&*ZxdB2#DPeK8b#04ctI}3$`W#F5@5BJaynUpdT
z%d$rj-zgv+S)clgfnTbS?!O%pUsxGMnLhJ=fag-pH1thL9F*}Yw6s499T$6w;3&w9
zy=mVl-D%Zzf|{9Z6)>v4%lGs8VX@wy)W6bJVL~PbbwF{V$Bq|Ln8V%dl*bt@HR^n?LNL(F(8pz
zP-OtijXToyBMf%}1nYf)ipd2B(2HRCz-DYmO)0K<+%J(DiDN(SI~W=+Bv7_fM5=+-
zF!s^^{8~v%ef#}^^5K6hT?JbdT+?2>
z#m0T`;OL$g{UGWAvWp)$A<^K3cHa?nS=s7n2xDEW5KCQ|f;MWvBdo{{k7^9(y+&LJ
zHKCC7s*HUS#`Z_76)j>S6Lm>VRaVg-04-$gOvd=Pw`MT+J$kgxn$PMBEbVr6)(^58
z(F505#KdQEq<;Og6PDK-A~gvg3q2B}hFzp4{6b{ue?uh)brw^|%?WJFu7c`|tDFjf
zhz~XJ5il$V6F>1_OG$$iLnDJ0w^C9f%tu=w05~N%$Icl00S<}NG9#h1{rmLt+XW98z
zn^@rY2Bp~t{JN4vG);duGvV2DZX$Q?C@s$2{vsdPta0|h)|cCPf2tk@q**hHqwLc9
zxzZvX>LJI-U-60qI1n)*8&~szFr|{kJ|P3vD67QcUj2?cGzuYd+_n-g>|y0tytK#v
zP(>F6MKTo^3%FiR!BRN&{12n>Bi>dM1D6CvGO7}RW*2BTm**ZU5P
z$|=VOM_C7(HFE11CZLKRo?iRiyGk-pu*58^CXvW~d9ZG9$imgp@u#ge=LC;#&fD@n
zI&!g?(~Zlodz;<=rKC7a2!b6`U(W-x&=I#bWg~}`eCA)Bt7#4luO6aLCLm-Sq0}s_`_9TnQgtGGPiOEj!BxF$Ts|C&nU1
zM#e&lLhU0#qu4sSp$nInd`V1$I@ThyV{K-47Wuh-KT^<7@j`yXF!14)CV)Xt+gw$vm?;!p`Vg1DvePL$1A&cmv+7|Q
zN414I5M8ZLa-D7|*K0MP8aM)sHxSq^F}lWUEu`pieC&O0L$gD7_&%qC=HZh1>_F@g
z!hUyT5c0h`*00%RmlbC$ZcOSY?Aj@Is=HPym|qA#!HCAcxb09
zk04*DEl=oO;d%EMIpB5-8Iq
zGq$)ijvkJLNGbVm?_OY_d;yUn->8P)k$gcC3;B9T?{%8uoq|hr<9qmZ*y)|CZyGXg
z0z(&VW5>VVJyi1}Mo`6;L3GRQe0LMA9=%k;XQqiR#aIJhwMs#~3;9nw!q*JavmeJ^
z`7lGLreJl7<@i;_ILfh&tF`x8&WRXcedXOfW89C7vf6v$k3BTMK$yK?ZxTTFH9o$H
zisyZgg5_TO)A`6aZ}^}aRl?ypACHwfu$c`RYKbbk@AFa1CboDL`7B#|X&G35EW
zcj{9H&*_c}jQEfaZaBwkz(4224%g#S9&U%i@ZJv1l{EUeLhx4gyDoM4^bM)R%@m&s
zOk*}+Toxps}o6uO+o1vzva?6&5zizO|-yYM|WuL%1DSMF|uWi=hj~?VypQinm&fd1|
zKK>ad@oFS!`@p#pyxxh3z&>Pi
z*Q-P8lV4Nj+yd$StAk<&6~W3hW={y*CQA5&?u9*-qxR%R9wREM<2wTLrs*vt5nVDJ
zOQ=}@GxT%C5mLxWrjW5eQk{qZvCbrLT+RwDkC=>VXSr}q!{z5o1NwtdsG~+_Zvjk+1vXJPwVrzO=_9Ek=I45bs8(y@l1L;Ie#YfMg2HI2{pZ
ziMDC&^mff;b7Gu45wdP=X5*e@i*h0_VF#KnfA{_R%~WJIKcR8bXD47pCfX)cC1{|v
zgBtNRLi`ilJrWeb3P2XhI=dwtQWo%>73`7w&GuI?+h0;vpG}rv+AEXTwH$-N&+iM_
z<+<9^+B$r>MwRSHRjM4{WMaGb&8Kq`yEiI)MRDu$=HMlCQOXmkQqy9
zkjFaRcAFl>>}btleDHIrJc-!fj;x{gicfL8VJn?8Jk4~wrq>lef0#Qr{EzAIJGd5d5cU}vb`j&3^*(arr#i2btKyOzhR$Q|
zd_lOf>8U$3koZ6;J7Oi=&gBb)IwF=ufh0b4UPVr8%hRQ;E_o9eP6wRaXR$A11$Dnd
zF9JX0W?5TtPX#I1Lw{bjy@{@W(2XJVw9KvOQDn%jkX`TjpT~l~=><(;1IUe}grcGa
z8}NL#j+nmL!->?7llr2(g*Imtzh*us%>`n|DcL4_^I7$`FzA{y?3()Y;H_K_vr!GRN{xZE)$i5&%$@kB;kzJGAemBp+KXRE|nEM=uQI$?HKXnL}X)J7qEm+fDQE>qKX
zYt6I0<9fushYz!VEF=8BT)3~l)Zl&P@r5-bE%qlp8{m1W@}VY^eu7P(Urk#IWz|NN
zu4M)XP3PURJfobABSz=I3!3C&ov(AC1P$W(d?(PhpC*PM>8X=-HmK`&M!JmeLZjN+
zz89bWW2ItV`PF@f?lEz)2HHGH5kwnn2zRNSS_5c6W|neL7PWTvbn(yyuo^h_y~@;qvk*mbLk6p74R@b
zXvsu81i6=Iu;`@K+o0R(_l**ss@Zcwg9n8P|J8l`kmm;~5ESrq(P+@t)wWm~!SieU
z?CCsiTQ;jU6*_U1_))nj@5*|!mqp81sPE=Sya)C9@Urptcw>JfnFc)}UGz0l)gK@{
zLi!U3zZafG3>e0h;*V}hEc3C{A84qRjhYvqYH9lUcoChim4SGYKuN7eAe%J+G{`w#
zTPGc&VETNSUt94j*l=d>pplh&WN2&Ir9qZ_ULpV6-{VQx6X-`4(Rbh2-#r~CEgyjO
zJ1I98)phxkDM>-f_varlpYC7KB;;;g2uTc^E<}T5Y&uVc!yYAA-rdhIR>zMMS7@#{
zdP){Z|3xskdn@-Rd6*m)tP?Km7E$Tw&5*vmtEneyk;*a%MMJsoTjYGD*{ZtU5Srh4
z%%~F;70YFhB*KR4HWhrW{#Rx&g!_HT)j$yM@eiX6CWHSB3l0P^?7Rm=GSDAFdK`4(
z5O0V|deJ{t_l`aNqEX)EnMW&wUGI@Xf@ptxx$<*h!gJsOGe~Cz8!Qr(_$Gce@tkYQ
zcJ4%iQ4SKhNjrv#ZW1}DMWBn++6%PpR@t3pyqq!o?DR!LB?iHxmNHC?ta0I!RH^R&
znHCtZl^~4)2=EoLcy)>F_b*&O_jrb_iM}ZSHTuF?$zt41+}B3`=%3im^bG%`;|O>i
z-XWEfmRh;5u#DmH`#qhfP+W2qYoY!XL(!Xy0_giv=UWfI1WEm0Owl@9x^V;1CF(?T
z1Kcxj>}=tRuTc2xxiV2+90wjg=<652pvk%9uf{{xkcj#Y6JzYD_&mi@^S9=oJ6Yh0
z3Sap@%I2xYb01n(7VLF`j^eb}yzf(4MDY@n$?*
z&^nV~FKz4K?DxgCG&A(PS=FOZBjx$XSS^yMUEHrH5r5x5i`GHB*UU@(ph+u=7xbp4
zg=ujD@)(mjC*X)2yt@ulqaRR$U!RZ$A`1Qa_|El8Ny;V(g-%R5P=ubxJ+#0NUW!+W
zW-aiZF@_|Lw>LsZ)|m79{a(i0np*2$rOQy<7KuZ+=ao~U>R$Uu{#`^#At_2HWK|w}
ziM6-JSgFdbB_h@RKcg7e
z9fa`V&DYQSJr=jHD)~^Oh`o}B%%e?`Kr+)~Nmi7$TlyA18wHlMg=)_H&hz7tqH`||
zgNm=MgBDMzoeVD0Cc}nDNhZTQU>;+;Eb6n%+)o4xVA8D#T;!meNG%!OE@Bf<{nAVV
zp~WTVCxR!jj|?P(smC_ABaeUHB-Y)jCa%3-21DS`*G&HMnMFZ|ls=z5c)?&IW7~Us
zn+FshG6$w#LokS7!J?&Q@3GlMlTbRFq*3Om2ubuhmg(t9_Blr2
z48FUZLJ~vJRp7UDK2TC9h)*z4#QC-}o+?GcSo
z?t|gJLvFDmo98!rA=1ys#ePC;Jgpe^>6xH%)zqMAFy=KukSa1*N%VTV`$)!mu!*~f
zm+G6{Yp0IEhOYt_t2j|=V^4GPXL5J~zy)p+6T
z8P7KbYXh!x4$?6<>|@bg@og*z^I?wahu8%CFO)}UVAGrkc{2ajMfmJ{O{#5Y1Lhl&
zr;%zS7QZ=Q|4Sp3cs_L%fEV=oaj#Xr-2c@r%;@`KK+WPzyT+R>WgshymdMR#*j}|E
zWv}z_u-*ae4tWUz>VI-~J%mX+)L1|=`Lfgp{;XHb>K&AVqut_!Gm4LJUToSm5=_Vh
zDCB+@jh|okSuMg#x9#Az?bEJe&)lc>xvL-(FU5#EJe)kpLfZ`~!4~)yer9>zeo3bn
z*Tt<;182nlC;5#YzV=jkmUJ+V=2TZ9K&JM9C-Rzf7lYsM+Buctkl+gePpN;1$QO#&
zkN3X_+&A7WW4@49#RtU&00uQa(6kYdG=EcIM#|=wQ`yI~anU-Twa}E?{FHiQTZNTq
zDJ_AQt^RPg2A?kb+N6Oqn=GY0Vx@jR%RNbuauvnq^$rV4*RMm@j7f0QvJ!6vT&v)pa+@liVrgqM81cRG07Z$D)j
z9q!6+?5#wUCt$5W9D|IUQCf0E>8)Y6uyrftk9{iF3Q(tZ-qypm-a-j|AM~ZCGf4TU
z!g9=#oXrIMor1DijTPppvJ&1H+uP$Fot45IX9cFp%@Ha|^a&8g3)2dbV0k(~q0ie$
zyAiK+$Kr1J<=l0pt_M1(I#Y1ds>=MkwVtU7SF!U6JmHn<{UHdHElrLAIsK_F-Ed7R
zGUoeka_me49eQ}z`Tg#*m
z96*~}1+7)YX+_+OpyymGR(6}h|Iqyc@%O?PH35SMadx}EJ3<09gdfE{C&lf)f8RQO
zFU9ZmK1hmlE5-Kh#`c#4UDEy^@Np3P`0I%yag5jTk<&xzeaN$v`Vw3J-%R{bjsO9WxiuW@{}G%ZDSG<60Rwi?g62`NyXe2zNk!+T-`f5
z*Q^)6HL|iGCP7VZS*rKAx*%m|hQ5j|<}lVFv~F3cvUDI1P4a8-pG$<8n8Uw_w0hu1
z9fkfcp@x%0f}7t03VrQ<-xe2}h)PtF2ujmVs3**qX+c(Ob?}@`&E1PoR}j0T
z-6U7zKp2^URk)5_fiL;)0(?9010%8T9j61NU}#s%`J?-W+dsK%n$>?9MJ!0rYhLM~
zn@jLlfgOlq+ivMZtrSlKA9qZqCB7Hz_+gfUX|kd&5w?4tI}nel-@
ze$mY+I*m8)ouNzZ-cX9EvR~M~`Nc_N_EqF6>8V==PM4mdof)S+!u9&ktRn81h>*nQA>2(Wi|)-ePsNDl?hJwcKFZiMpYDIj#x2B1
zhK3g6@kNv4PtK-%y7PirkFFc;%?Fl<^majNPtVw|+Onl{BL{v)D|MA|UY7eJp4@{z
zP@!V>mt?)4I)=5QBkQacX}feGs6Wp*lyv)e=OVuZ2dsM%_C}tO!x~R9
z_||OZ*Pn{i4D~Lacs^F?ai_j9lnfi<25;n2=p)oQP(E?8i7U^??$>H|P@_=6w^ZYG
zcNh)aEM}De%luWt1RT$TR~_SHsr;Q3n`Wqj;^p%mF;R;`=XCsCgF5Iqj8o*rV^Pq;
zXy^b3optx080vogjpQ9c@?w|ZpS~j
zvozKvlXu&H@6`i*iJxNk^T*+0%2cJl~=Z7J<wy^w7_{eVzck9rKh`a7W{e`duKnHi0u}JhcoDK)IIx)s+jpp^x$8^p%@OSoH)%a
zWWD6I1B*cRkm+1Oei%!%g3fg1{6LRHYT^tz6fd+z@o56AyZ^<`qDk*1od%<9nff6C
zh|-M5gngrhWH>19JT^`{*#ANF3<+d1s6*#IEsVfeQxr`6On+cD=K{-X5hk{;zhsrTRKQC-uusdX+=
zk&t{47bbALVdL)Uyxz9T%W^uu2Lvz$+~caL2mG_2XI}#EgTI)(y-z18!(i^jtlGuv
z=e-%OHB+lF&AQoL$nt*GMuu1fPiy!|roNZ%-U~HsXBS_!)7TqT1O$F-^Q5}m>YB4-
zeo--D8rb$5fZDp^;&`^Z`+S3h--9`j6ZuYi9f>EnHGHEkWJ3-kx_69^KppDAQLs_X%sR@z&8@PnVKZMWx|{?ibE4G%H7t=?}Ufg
zPihU!SY}N<@7JTf+Fnif?@8&@M7ymcsT)x~>ZQ561)C8pz$tn`p9uiTcA3t~1hsDE
z<2k4wdtrC=BUlY%Jr=u@Tj4WJXM<*>2WGy~_;8)NyES0T*q?QC)p(5h`&vIF%`I1&
z#IN51%Zbeo-^D0MigrmA;1KqAMt{6K-e+=pioUA%`S>6+
zzQ8b6VUgNF_)nEoA{6xn#yBG3-1LB6(o@A&<})8(0X_pUgI(S4W?#_!u!#RwG`Ero
z<@N(z0rKybBLteUMo*!p36%@lB@_G@qIqwXeG|&!VhnF~!=h(Uto-MP#&=_!+4t|b;5&A7KGRx_Yg^xiJ&4PeXi1
z6DsjYP6T2e>BnKNr4_w*cRmqnNZBbQJsOdH2JmcnYt1l2k1=h?dSiZs%Z3)?+A)_<
zspSW;?Q;Ke#|ey+dkE!W>$T(wd3dw2Gn1u75?HPJD`xjiPaDNGF@*)-=VoHQ2n+8LEk6xZdc9Uk{l
zCH(kniJwz7Z&kauAqX
z@hdj1)>{xkmaF>+;YGnAVRshf&*dU2H-$o|m5V;23@_b@k)iWDD$wgz+RtNNGh06?
zlZ24zZXLkTg}qw{G*^0)JO6X-LPhQr8bU$1ej&NxuCPvye!73m7Fa^~J+;Ik@X@YR
zh`MIRK$ivomYKGWt8K>3%ea~6Dg`E&-%FQ*Bw=nBEtA@2&c>L`dTg*UW
zxDE%e2jrrBZk9aEy;C2b1yQA0KJVSu&$%{6Eju=)H`pE>)+4ZC^BlFRzZ6435qBxH
z2x9hP(u;He$pC^Td3vx!C%WEJ7seRLdJfrC114ot#ZbUWcZukLw->7CT!c
zc+>REz27g`^^{ua=VV*Bdwtdq-7Jex_9Y+hfg)xK>hK`!KeD$a$>+tt={Tv}(pJQB
z624A3#I(hl8u8!
zC$EA-*;e9T%B#&!{vBr~qoMAbxFG-xVUrtADK?+WtMFLd|V
zFJh~0TK@04Wvq$^;lGB5`cJ!Q9@8~T?EHu?Oyh|?=`#WH+)(lQgwspM8d5khb6X?n
zz7MQB?6kOG@proJs_>p3pxWWEg6_go<@_P=G>!)|ul+9{dHd3@ZA`80CgvU8Dcl~C
zf_(o7_su?hW`=HOTC*KR%036NW0{3IsaK4JWYL2XHS>be9U?8gRq*wWFL1cmC%AYd
z5JCe;4S|4@WS8sggnzP5Fwy>d(1~YUpcjgfyuzdYM5&)mW@G62yXD&vtv^K7e<>+g
zS3zSCy7O?%oSR*p?TK5E{6KoTwwM`cyTr)L3{9Zxwd*;@-?2a2>KSY%H9F1se67!?
zcBPjtp?Uc{`|%PZfY7%%g`U7*`0)3`eC>e_;nLB!kN;rOHga20VCYQr+rS9Yd8Jwr
zG*{=?w`v#YL+g+AV|^)Y#B!Zw1ntUI4cK*z9}a8r+_Ko017?c0csTJ+F2T>y&F*Mr
zuT+GAc;G^I3xxbR!{jL(b
zwE3qKGQP3tZHdkIGc8#|v5dj!@Ojp8HmiY;EZstcwHt(3->@-MPZ5PQXBd$1b|cT~!hPxFCYVVk&n
z*L3}pFOve*b2w<#hQ8Q<_u6sKhhbnZ0xOQOgN}a8(d?M5ai`egD|OOK$^k?@Z}vnB
zn!T}!SomOrNEqiKdO!4C6LzO(BT1J2Yx7Umt$H~3Hs+ngI6&^grUJ4C52x`ER$uuE
z>4}_pZa1dkxzrPg?Av5*W>JXgMO9DelrQ#OjC{
z|6clbfcD{_U5jFxw!2{V2Gz=y1Mf4Z8}TgIBrao<4OUt4duuo9R2Y&_Zj!yIll_n;
zkd~KaRCGZaA;Wk-&1=%=-)&8&&{r_*xyJ#=hy?Fb0|uwlu>I0MsfE-SXx!>k9@*-x
z!LY+8xCZjwOx^!wOt4S>I&rvEuF+rY1X1`1EPm?b_38}yU4Mx$31YKf3}Sp&lqvRY
zcWHHzmYf+{=4wj1bVw3-G$NlzYp_tSkMW1G`anmPw>gT+mpD)a@Si^0G%tW*aBpKpaamvd5A64}HE6)8f#fs;Vo+F;TuC
zi?>2kf$YRg?P?!)Fdpzu6kkQ9XR19!KrkNlE05|rV%t`-PVfX8?vCpdP0gbFL>BXp
zElqTgUMRCff^1;$K-l7H;1P14P2*8~Q?V*Cj+4+xC{T(UyY%;@cZEl4Ix=6yT&L0L
zD0=6u?vj*+$4SQ2l(^h>dBrtIvd0?MvU!*=Wo=zjXw`G%uJ)j+kts@JWbDK7d+us?
z=1Qw`xioi7;lnOwSr|1{@=Ech%s%K7p|DVu+&B^rST4$*3yiRd{^Mf
zf1)Of1l@20cC<>kXj>V|c!sOI)ZaXYJ+%(+B?>kf$2O-k@YX8F;;1$E_FYcR8%FuT
ze-PtvzH@E}-k-fb@@;zalW*?Q+$_{=&4#MTlUhP|A^*zxZm3RP;wj7oa+;7tp<)?~
zK&u#~zOg>3+8fb==7@a#5*g)&-GR;!f@B^9T~qFl9Cf+;L~~+l6#xB$3^b)^*fuCl
zUJ)HS1qE4_O~2TG^(aS6G0B4nFXOAUW_!U4slE%TS}g8MQ&5tLF*H3%DX
z6}6KIV}<=yTTl%%nDVbc%_a0{cEa#Rv7>ryuhDt-sh_V$EYeI8lox56`O@?GUL41S
z{2ebMh-eX54^vyCLKg_-B$P3&LwK`UHD%N2Z>oa2XnTZlZf%XA%esfmsh+
zDus-cJI?I;5`v|NlE?_~&RT-ZRK4tnOSX0q_}+CPW{CPx~fWb@wJl#HZ5n!a>wqNYTUG>IpOoQ!Rp=VE
z+)%>0z)&9fkduVW%%;#dTUkSg$R44m8#XQmKZWxcv%%FOL!w!yvWGKT)hON7_RAxi
zAN=>En0`fzH(OIEz;pIU#1nv7T@0r)#0RWeA7_sbm;$grHH&N{43s)4hUUT%Vt&KG
zG%$La=TvL@veAC&4`K`x^l}eD7{m9NW^*5G+ft>CScW=x-Gxx}UW-wn$@4kq=$$X1
zc`vQACZ}Xu-KOLf@B85Se0}uGkGFHK=k@D>^cbnIiLWg6R_AtN2?yz{CXuUhCAVD2
z1_WIPZ2zj?_P!zx1Htf~Nh{*Rb9Dgtje=li<8K5W9hr^~H66H{6qky1f^B4{BJcm=
z7!1p>(}*8WtWYUQ-S~m5uh&hcC8CIuLQH_G5#Jh3xL7uY^EZdq&*SP@WIx_KTeUMq
zdf(b4J1xPtX1Dc@Z)-^4L-jtc4eA?)~*+DDNu4q=c$H>JsSGq#Bp^PGj#&E;Q`R
zDiQg+V=dDMbDu!07d<=12dzv15>uT+=nL)@a}s_;HYQ>I#Qf%_8WAZ}aidp9a9&IH
zco>B1w~ky;7Sae0fWMkZ;!n#YIu1_;M$lJXpPIk53vADC-Vyw{Zt>7ej;Z$G-2TdO
zJlaGvnCr-7fc`EsL-f3E-d@Sl4hTPTleA9$k8PYtpga(K*x)r_#KdBP%NszNTQnFq@lo+$i)XtP95m8HgT=h+w&k0oP;{xHs1W1;C2L
zu4xyhiHZ&V#SjmV0PX6XVD}l~o_eagd&n>Je_)*ReOaU+s&I!u?>nXGH_pLQ8t-*A
z`jvebE5j^3}ATB0;3@!ncc4r!Z-_jmhRLt~sS)d(ljZCsdY!xah}Ov{vy3OP
zfS-K+k!(FzcY>{)+t-T7U%G%?-e7?730ndF3r`WK*|kjH@rg`I2(3zeRqJ&>kOk)r
zv98tS=J}`4bvWiTgty~^q;&z2^gIROpy|xxWyiTo(p$s(zCWWJ8LWui0xpjq=*McT
zf~{H{(SX>A&+3h)>S5?Pi4$zL8Qq;*ihg!m9Sm_g^VHid#L8wXPmV=UfRCEuf?(u8@4az6D5ic;h9&!h)1_b?F{&{E_)t@Ebex26D)J$R7
zq;~;A|M@GOAAyvwto&euF4
z#J@{qeH*0+%&6v|cVTnC^&?@DOZw@4$DO1^wM?%*aKf4Mywl8%>c8ife2S|EZ1aWMn!2ZKFNS#I(4VV79*yEy{b
zhCvY${PBMt6Ad54_69I$Ll^e>UWxU
zWAI)N+c=42{#LhI-fB8~hE@9M`uEG+ApRCa3k9%R3w+WdD+$<_DJGSfkReyhIEKGv
zD7JfV#P-g0%S|3bO@MsAml6H%?iwh^Q|SteHRj@rpUjj@nVhM(uuKR6VfJ+6VK{X`
z4a+mn-`AqD^cYfEX30*^B{IKR^DgXRS{PhMR!;qKGF9~2d+}KyN_vD9sAb3KgtX!M>Z-j{2HLPe0
zaA>*m&77w;`R*SK+g(+oBoLp6zDXUqH9fNpjFfDN86Aysfe*t1=#=lUvC3-)n!6dB
zUo;FDeuvhNB<7TW$adTEJto`ITN2ZEnL_o85K~OlN8rT3NBuYSt7Hflo-AIjgTS)3
zTj0AQzSJD7T7%j}B7=Tr129?uD0QarfW(<==G8l)W}#i1YE5kM`D
zzzhrmN1yi*dT~`d*pC6PM&sm&w#D|8__x)`1{XQGxRY>voCCw#
z4a%akYAEqSH`!^>4J^j#qWlEjsHDZ>8i;LTTuN`)0
z&4VO%4(`l~%oHW9BRu$rkIEB6$P-^sl+?N^HCau|vi{2jkzlJkRda?&3J!%qVom>C
zODj)<4!C%ni+0HLALA`H7{lHnH2x{iDciAThT=@y{2cqxAo$Zc3(s;mw|Km?<6Ll}
zZ0yfi!B#saqsvQ=8cx;=gi`?cJUg^WyD!BmH#P612UG?;EOt%*>}os2dj)$C)p&^F
zBiZH@zjnp#@OOg%4Xjgs%AYg3^_;jkjbEoF<+Xp#*$NNx9J0?MN!}XVS9|bMr8R;R
z32Bf$Fh)|}K8dr1{ZejOnRLSo+qoT3U#b}WkL!rLbYVoXL9BvRNs+2z2v%X6{W!IV
zpEt`oKW5$8x&_VPP6CY^nh=9s9zWQG0qO->*vlwNTBYrs|gCZc5Ope}A?4r^oNh2ZVk`X#uEaKJJ?X)N*_
zrJ4G3K#toMnzEbUa&}2gH9BSSzPKMe!GXh(0>ih(E7`J-cCDx75cwp^lzJ_L_LDg)
zQK#WQ?ckRY48~q?05+iegq
z38cxO8yOiLc63noY(v@)BO
z%D5UJa3KZRfT3#QtlM0?9```W?o{t9%U{`fPNk#KJE0kvisUb$;5x^X=D2A0M9ODn>3xa~5!NZwl4_+--)E*3})z&Mv~^<}|*pV~dW54k_M_8d94{
z-@FC?ruzlQ=>>@s0$kr*CK%ksTBs|My*;q)0XG`g@1_@c6-kTVSh0ZZhlvkp#L~bm
zm)q;Na8S!TV@7Dhg)xvoE;g~(BK37boVfva}u?Z`|^CX06D98LCW#&~C`QB>9
z>!xYE`_8DjVrX1_0%bIs`7-L|fA9S~dYy+F)Rli$yRmUH)3)7?7tnQV&`y-ME?J{F
z9RN?E(Vcuc62|YTCO-@-^y}{g{xm924tm|$lQ7SD8=V{?+cY8o|!|C4v29-|hCeUk}
zer3!;ABTnVS`;R}ME(>Z5wI0+jWG>tBsr+ziUx@VFhUjCc84H+En~1WRsGl9
zlDOL;N*G&E2)=Gn^|3^8-qi%~Rg{-kis&gbcIA(zW9U=BpO6c$H?~D1EZhUhr~c?K
zAPS*@&7%VnUAtT5?X|c?U`P#7`=5E5x&(+p`z50Az#xU1<%O&?#GM>*@uT<4i0km{
zTf%cfudkTn%!8CDeUxMu9gGpJm_A0z1Kp4I_s>TrP|jJM5S|I#W{dNOv=!tns8Pyv9{
zAm9vsOOj{Scd$r)LshYzK_Qq~f8lV@q<`8@6k!U{PFOQUp-?~!36D4w6(V6=#oLfq
z(>aJDp~C2-XkIEGzLeqQJKw&1Wegjbxi~>EBaSL|15OVzo2Y`?g9Z2(XD@T2q+5;604;~QR@~ji
zdOpf&1*jT9{WX}XOKVinR%!rz2G=PQIhEI-KZb1h9em)3wbn}{-<7%66a#Z6cd1Q6
zFsQUs;csNeSWJ*L3s`+>DcuN2)Gx4mo#2P&V4#v0`3DUU1ET=&SOT!&kJMjC#6utU
zb|oLUW}aexge5;11z*nRf*P*PxXK)tMLdO(2~E5N)gZpkt9U`isE<>j9ynIi0@a=q
zNA_N$z@>1S)OZ)V;l%8LheCsuQFZy+4v%F*V&tH&i6?CM~krT1RHT*!~3-u
zUxm_m0|DVcCJEOmG?LG#s5xD0B&Nyb8tbDMj|$Wq^OW>A)BMjeN4rwy$@{*Twq*W8
zRTaIZVL9WUYQ@*0CCm|<(3tDh4O7H$X*dpmhzF3w2RPVvM>bYJO(4-BD0su1ag;KZ
zkO4dEz!pq)duzSmck6;!I&s7ILsX6QG7ymVX2LLxFTx}htTuhl4`sImMvXtP2yb+9
zB#U*T=Rgrtk-V=}$_BU~6G-7iSsHbGRSoDO12sFj`@AEzJcnP)T}^+Z0YaYNo!k=O
zY5_=We-ymoz8#kgtHe~b%O>71H+rHZokEkIG%1@#O0=kq1TS@%19!MV>b1lxNm+;Mf%k1*PTCuZ#;hvAWhfx3b<~pK+&b~
zv9J=oJWY<#F(Uf!*(Yg{CK*tIu=xyD5|cf#*g3E={mk{f*%FVOB=O3O^c2ubOTY*A
z2rl721t}xAwjgL5{n9rhxR4fNduHu&_SS^6Bmj4*N0TgyfC}Llmr^V7FhZ
zAQ5rRHU*syRcnsXC*rAi^FtXz|B&0}4N92EC%tEpbI~AixgrOlR`Us3xBXy}p5)p1xwvdXTl;g|dn96$HEKC&11&(J0kD3tHF%h61vNTa%J}II^j1WQhY3kA1(dWcE`PVQWI;&PcD{S}_Xy+y1U#3G
zN8+x39F}n!2Lugu>N#S2@xx(i!tXX~V&YJs1!}lrLB~^83!9OZD8;iOKB~NH0rKj}
z0(QhW1zRQ;)he=)X9&OZ;HW_;WI%})fF&O{Y8PfnXDW$JLz>F_iw``kQ-ZUc<2px_M#QI^l%Y53
ziF)=)@k57)^G)JXb=jhlE#7pG-OFrdz7#@GW%%=qGUrf$7_1{u8UI-Jgc7CQ`U#@6SabUsDg!)}fe};N(A_a**
zn;9Ap0DueN1COl0bxn7*SQ|Ez%KH&<^Uf!ja_dm9_CNBmd>#Sq2GgD^9F5JpG~Xgc
z+6@aUs${Zo%5BX3iyhoyld9mb}0cq}E!QU;VpdLRY%zX}xrNP83JUw?Q
z1~p$K!h=kt(Z+09;gEPQ85ut+-Ey#6&dUnfS
zFJ=nSgzCV~ZO=j3OkO%PjVs}6a{T%xJ2#?8OQ8D#alxx+kMcWJ;r85pns(;BwThgn
zn6y>;TCM5(%r+DgqP<>!zo#lbVCxYS%9YAd>D#_loe;eL
z`TqruNA~-X6>ty+posfnDRosP!NL&_Gw}RzvfXbn&p|i-e4BU%mxU%z(aJYTL7wg!
z3b=3@5n_vRrv8MhlxcXcq^Z}XGMTURkxA!*Aik`+DC9q5lLP1mFqMcmp`dg#6N(_y8H$`JHWf7!@=d-JHDQaoUC#
zFD1EFvMm~m6b}O`rtXUI#56dTiO(w~zoxpGk)2Uw1JNxM6
zfjwPn*i)6_19@A`l*_}2WL9W-h0Y|EO{+&w0fvLpMedd~+$UeM|Ih{QEp%=j6vSfM
z@gwgK9WZBEBaB5Jq0+{m)3=OuHo8Op$^6B5(OED-l8oyp_jjGks6Z}dr|oLrr}Qqt
z2Sw)=2Fu@EQBSnRjiNC=*M*&e~$m7!2zax$Z
zG}z3s=&$I4CirGl8w7mG9E-{NY|6dBwawx|(M#y^Z0}$dG8dx0s?I$6)rbQ_d`OJN
zU;U-mxB^^o^zHsW&pH}1rGBqvjdH1F7)@ABXx;5iDsns@lP;mcjt5
zJR_21psRzL~3fCguCsQ8GtBM5m8<&LjysfeWDJ@{7?Ix9;Ku_9Nx&=L(M@8>2Ln
zVJV0(f49q}e~_T=fwh*O72Qx>DZxCd_lM4}B(;o}$6^PWX;ym^i)8*TYc*5>wy3@~
zpbVGKtN*}d^{pWwWdg|C;4r%3lo#ebb4iVdALItdiy~E4md3m0=fKOkT2pum*pJr+
zwZQS)pTPd?!#7N+7q1Gt`Fx`4DJj!b{-rBobtEPSr-k4?ha`?l=w5bJsc$B>b!6ns
zMLC6=Uj6xp)oyYZw(LgPzp}K^O*aF;6qSBS%>?<^RmHbV(g)
zI&Kkbv-wMX+37@^T!uR1^V@~xVk>&_aF=V;zJ(%@fm&oDx*TCHf#ELQ9WhU0iu-h~
z;(dd+CN0>DsWyxI8dh!5#~ri
zr_fS=T>j#6;f_c}P-R7_DL(7eHHo|h;Czv(M;aajp7>P^_|<*}pIYMM-58X^T+O!LP1k`8e%g`{AgjWddP!x1-tcb8VCgk7j%ZixHQ`5u!K|>WM
zYH0E)6}de5BVeD7|GYF`*SD}VH(*J(-+!05z|Do=I8>~>a*|H|Vy$83zo`=w+TyYkt7r8~teK&o49T8`Ka@bjc%-8q&ANI+U`%
zk3aCE{?tjyqqK^tu=uOi=>+hOU2sWPOWLaA2^UfFiAS8(h~7#$DWbiqJwo`6fC4N~
z7j5~FCLcAxy}Q6jE`dNnh$|(jBo$k-K0^e8PsQVfv5xjI*;-qPY9Ixu_s`!wU&J(D
zDoYE}SzHs(b;c!rMZlkU$U1SbC)h8SM@hx6kiYxn!sB_1Ozx*%Cu3UAiY?b#+O-%Q
z(uI;vh^TP`=#F|or$Ue*#fZS)gFz)x(^ywu9GaG(#yldLr~2_H2}AbrHOwtVTdXmD
z0oI+UE$Z&vvU^Y=g6JX|9|bd}OYyM;PS-R1h1TU9XG07Fik!Y5@GHod+12S3Qf^0j^
z3t6Art}C{;h*H*Srk5*r>W6LEcBdSsPs=jIj+0t?q(T+8ocGu;x{HyXJ1KzHw{XA*
zYM|N)jpO@uhW99IvAPL`uG*z^@;k8%`kS)RVB(O^NdDAuU{`_JOz|r(s;6sW$a;bL
zG-KYP7W#5oEGb7X9SE4l%b
zt-rleS(oZA`);s85P%4y0pY0t*g`a;kaZzIUDvw(GJZ?H0*76M
z5q3m*Glnar9NbWW)nDFm`_Q-op6JlWF{IqOu1~m=i
zNq}9SX@P@OMbRFwdEKj-TjCvYzxxaqk+4o0K2_pRfdg)(fCIRwfdU<}pWR&IPahX9
z#oomQ2;atZ=#p7B;8sZ-=2%F8RM5+wxd5!{AsN$x63b&C9!Fx?<=kz2MJm1sUFw0u
zZNgMAJyv%!_&5Gk$5?tgD;}uuYvPlB;AxZqvCANDv?n*UcZghJ_mU{VbULlNb=PMI
z0Qi#uyJ>)Cr-1HS)-^%wkZe&2wMpw@QDB#j$eE}h;sEu4KNWn~JgO2f^G+;=Q`jHE
z4ZJLLx>1G8%I3AVWJnO8t2uQJb`Dlc!wjIr!GI0?q+
z@IZ|LR0y~eIe(6)P&m6dCPDJP0t5m%%J!Ev-vULgs8x`k7waexJ`wW%fDG3nc0zU8+_{mU
z9|!R;1umT8%YT^9yeuOEb(`?9ZqqrkqpK>sEYLSV)jR|S?-POrH)98(^QjA4v?;n@
zg@#8UTSf#o1IW%qk8Lpz_)M4;iX|VDr3K3(j6!gEC#8G!^W%t7ujf%Z<4~4JpQh;Ifi_2Sn#Y40Rh@r#iiw^th#jTg
z!W16~Y|7{uW;G#ao+Ccc-RIOHa$h`%tXVq10Gf5(Tz8qAJIvTKw1_qe11jo5TLO=T;+V|Sh(FgJI@kp6>~>a`1kOhYY`VJlh8zt#NB(xX
z6EEaq*o$W=t>vNXITEwXwZlPvO0paE$zV`ky|Ex?d6_~dX)Ga4nWNY`@XK0T_5K7u#i*>Ufx_C1=8k)8|jZZTw*WUULob~l
z{dW}QR+s}}3k?U&5fi(#Yopxke#DzUX+oS=AT;-c-^#cF+2sBOYub!@KG7-!%a&h`
z3sOS^Jlc8KZwj9d62z&z?Ua>1j^{pXMm-A^Bc_z{V2X);hY^D97-8sBNj~U8@*5)`
z2DekdL2~4Qm2d&wNy0TPF%k5&%CYo?w~J;Y&Bh|>>%DB=UuC3Y-qg4z0%t~vGh!@L
z9wz{z_5oAW7yp7NmLaTnnkribiv)eQwO3rzD=K|WDGBiHaAbGH;Tp7DS)}&2?Yc>e
z(wyp@s<*dWmJP#__cV
zg#yCB2vsF@@UU*Pp;{go>J`q=n==Nb%9)UY+Q>S@{8iyKS|7>-F0y2$Q7s>1pF4ni
zp2L!4;Yse$ll^vU(j@KDru91dNxYdy=-lH|KJJnOg?i{y+ms5y{3T7defN#ZyOi$^
z@cz1Eh&3Y97sN_fX_8emc%Va@cZ7E)uu^Hgh)$UKQ9LS}+r26$Zhd+AvYr`>ce|MX
z9D5Z4RqOf&N|g`V(z*CIsUwn!-`OXH+|D1m`my(m!yLQou3LW#nPEuWa#Cao0S*xiw~oeA{Np+!PdwXiFsx8`qF
zKe10T7L4OYbh#Q#XNz3#pg=_5j`h6lj~~=t%c<#HEm#YW=0Bq%{u?`e8uUZ09luTw
zyxLrrm4+Qw$H2V7A_cjc;UBvi1c(a`;OopkZe2%@e0zmbLNW~}zMA+}Q|X)3{}{NO!gigw^suKm4<0}x~c?H8EGG;M@{-h4@C~Q!CYy3S`b?MuSK@>5sK&!Q
zfESTJ*GS_4rS<3nj@aYdTxOfLVMiN28=KQTu~gzH6?l1B*G0%MI9BO%DLy*@;}TK4
zUY!HI_nzW`5PN8UFK_XN$JhgFzwN6P@s;X7b+7VM15bKrYWF|yq{4lbgy^PAd=Z1g
zX?=h2);)2~Uig)qe4(m**m<*y{P&NC+oS9zN^3S!oFsbz*C`6+}Rk3$9vHMX&kq&CfaSCt4-{>*r6YEbOQ^9X`
zf%*gamlNOTSe({&6x_VLNX2Fjr1=z}wB
zrA%(OpM;QV9KIxzEN~g}&5f%YX)%{(-13H_AU+Wj$3YUyt@l1-#Y;SE1yd4t(v~x5Fg1;mN;Y8SVp>
zT;yz3>=jMdzn6CT&Y+J^*5f3QnIcYr&RGT$YM(KAqZzDpqcX~*n6&4s$G(Ru?q3J~
z`g}j23Zco@nOyTpk(8*voH)=nsc^qlwXK@RlB!Am)SzbPU?$`g@()Rq1wo(Xyj#-`
z%TJcV9Py~^wRg|qf?e6%V(V^HzUnhRU+IbnT92c{1-)&Mn;K1Yg-v~&E>^f4x?jEm
z72oV(NU|Iob~9e%a3C9u!W40|nlZj$O6AZPka*i)H3z
zPo(>PXg%#~=wQf4ECB=xI39IL8wQWAm$9b38EIs{HLE+ilV(~KyaG%W#=gKq2q9Vb
zrk#;nNSZ6GKs&~t7(imRr3ohtqvS9}^=(o-yfrz$Q+VxVhYS4PoSqvPYdFCYO=++P
zaVD4aot)a8lVWj!dtJKw$QNcit-e~Xe^P%=1^zxhlR{SPnjLH8557Dh3^bU|`J-4j
zdL2k4P$KKy9mJYkH$xlk_KYA+|CM{94|hKi(K_dfS)EMz^p%2d|F3_*4T+e1fPd0p
zh0nf0%_JRA*u>9^EUZm8a!`98tCYWK0l%Jd)$aOD*`^49<43sW~d85$AU}
z+R$evI$d%0V8OhcUQZp=T^Uaui8>&=}ynCIKigA4gH3P8c~iLs0CO!THHdMmFpTr)N8lu#YNtN(NWp@pc{s$JEHF0~Zsks3%pG%ODu=``OR
zJiuR1O*fe6n;}Ui3}k$Cwry!4;wqJeKi9e0w3LhP#|-=Ho}lPJt&2(OB(xR5z)?84
zOM|dR_D}2x2$UK=*i%dh1FYU8g-G9bIk^OtlqlO=c@)<$xS~H%QN}S~S__~gR;^J~
zSv(i}F*W_U^U)X=z_v1@-=A$t`1uSyVdAx}edGZjJ!>^mzVuQ|ab>)B{bX6v_ERm(
zuj+zJ4t`)=El;UdP%N(0Sstn7)y~9)K!*vCRwJHDR|}Y6iu-7D)0=L+4eb>%4%Hg5
z`KcQ2brwfgP2fif?5`3eT7?q;DX~8z!>0E~BXV4RWeJzGcDeg>n%6zUUQu@Cu{7!#
za^c20E5*_L73l|Bw@pm9M&U?s>_<2D3JBM)?D_WiFQP`TaF&@0Fq8=5sGYu)uUiYSfuFcYI$~exgaB&uk9;4XY(6%G*}lfD*@lD
zzMn`TF4unrby6Q8LRUch|18Mz^1Gek{=j4njf>uewB6}4*PD-yQI>g;um2tx4Hy!-myQVg7
z|4m28yAL67jFrj(JWS+)$2k9hv{x7ehwIte@EEi?h39E2nIq>1c8b?(L~@`rFyxQn
zxMyUip4@1H)pVQb7QNqUd^SgY4%-XAIP_N2OHLG%8G~FxVrM;X4{x9evy^zv1(np~
zVE82|rxYcp1s|z#I_H&p7OuZUEuH3&+Mh=a5Yx&@(|7uly4{}?>_Dj=$)C2PBDF?kYw6q?ZDe%yo>A~Fp?-rJ=JoRul4+_Fw$07hqyO<*yFt|B
z5IGXGy1W-N;klDeSvaUrL!`r}Vi(OF?D&^{
z2*4n;>R^LWa3$v^rbzVOXV>w$M2AgVuE%)mGhAzT^q;_~O$;f*B;WD!|720syLF)Y
zISS+RD`JwnDVD~15|i%!FD#$^vrZS}_+DD>%t%a^7!#I<_MO`Ui5-#$)h#Nt#4sw(
z5U2lxX?^g@>Osm_G_U{b(bx!N<1e-Nw<$kdjlR>JH&}LjQV6_D9_aZVJy*Y?A!oyk
zQg>y{1**J$*~%>EBH{p)eluTk%7Qr#M>{5!B5~?JM>CuoV{+FEXK-Lzy`?}sSnmyP
z>!*7go5d$|a&e8)XztQANJ*qWfzZKD|A0Ec{nYT90+`AJeGFtjWhkHC(@N;GB_`yS
zvnAQwGp|992n&Y4yXyGau(K|s-3t9KQ&_#Nuf+k7pZU@=N*NtvzOX+cG;NDvb&#x@
z(Rq2>E$=+&xT9^~?#%RA$auTk7BN8U$8{K~XY(E|RTTQ@?W
zdV`@o139jkVLIA1eqll_93kJZ7sHbnB%ncw)`1i0X$oTFfmm-^mpImrMPf*^de}m1
zbA^%4Ap63~#XH$DD&gd)o)1suqeqhn+y+%Ic~1w974a8Q-6u*0K9o9G_u-y-IoyT1
z^kP^`ZQNt~d}gwLO&2?ANIn%BM_$=lyFf6FMMYA_qU41B3am`QYC2G~dl>`$0lCfZ
zO=}}TiC25sCr4NT#u60|L)n>0nf}BZNYgdt*G(j3d{gA?MZOa=Gc^V5fkv7{LaX;0?ME_U5OH+7|SnC05fJh+%gZ^_3Il~UK!$<11)s~hE&&*
z12EZ_lX>G%l6GhAS*=*Rsoes7t&xq-WkRI%T_&;#rv7cKVaan{e-3tS|8c@pc$kl!
zZ=j@BQ~{G@WkoI-YNZ(7+baRCbGOv(w``)(3Ct}Km$Q732E+R4y!U$Uu&YJko!-~M
zLbRE+v^;tSNvUL0hMX6l@cD2zR78FlXM*rRt~~gvP8eUNYI&$U_-#_dW6k%;&_=dz
zRJs*120!Z$p#8gP6G70RBc!#F`NTpl!?!X2K&fA6{Rckad&6HC
z>LN|i-B=yCXKr*X{{}RCz9xwh&ClhjIQNQm4gpi{H{S83>u$O5@k_hr_}JW=v710JxntaE)X{oD0ky+e8O2x
zsE^!#pCh_t_Jgr__wN1tV9WBfBrLutAl}WKGsoVpW#EUtI7AFThMY2ZZbTkmUBQB1
zFG;}r<~4F0KLfgNL1d>W{c*$Dw6eIeeiDY>v1einqDxsu-?4En%!I#UC)jjB4xCo}
z45vJt9RRps{g$OS10a+bnaHzp#`Ngt#FgR0f=3!wpWn|s-t%`YUy=WFEnaG%ks0kqL`c<1K}K-~>sEbfW`5Al_C)MT
zYhcCD11tG$f|bGz)aMa;7DJyA)2E`)mmmGf|Ku)KzZ;H6$tD~_XLI=w?qFY}ck@uC
z0*TOv3IQCGS$lMiYdP1G9+@(}^byn;$sEyj^#})*{26{9Y-TR!G?7+NnVO+XaCz|tDmOZo2%TOFJ;N}flVD*}8i3s*ru+gjw>qWOtyunZ@2^DZ#+
zv{T1?*SUE{Tv-NgS?CCJvnBJum5nYE%JK=`r1#k1yL$s;J)dQT$^)m%urwrgU@m3cyY
zR5E)<-(q}ULZLR}I8#ujv04Vwi`fS{qi+s4bt;hGcu4blL}~p!cK(SOKAkT?sYCl^oA+rcyy3&@p;$5f_Aw#;6uP>wO3mzy`S120rg_43
zDKGB#((i#VVL_Y;;U4N_ic)$%N6-XS3Ycw5h?`V${5q>vJC-|{P0Pd$Dm)YbRF^20
z9mbwTI~&{hsGbO<-{uAQny0kZoGXmkg|xo!<#?|~p>zI@HjY#jsI9)EdD$Hu{iPb7
z3$OW{qj#JIOje`4S#bY5+tU0Fo!xu&rI-Pa1OlIR9O9yp2L^kICiaSFcw1q_yC9EQA+@OQ!+aV_vO_
zNK8yKe;F5!miyjGdyw0s>%A3ktRIkcp4COx6RM0!U%9r{^<1c&`ykh=*&|-9($JicH;hVbn|K
zsn=+)fcUh@8O67{#f)Fo%Ou@ce;0;zYB(4n1%H)8PyQBB^qfkpLeMM&D|6Y
z?1v;za|0!|6~hcRtib_!45&i#EFJ^)OwoD1aki$DELru{CLG
z)>W&Xa+lsTa>%zwp<+gB3F+1ZBQ0Qk$R>f63CYaZc{*n5{8zQW?3?r%*+W=nLRj7(*|UhS!XMsi-BYu~5%K-zSB!sq12(6-qou;2^&krTIj
zMhxkhkXxsQQj3bkLajDCQk|lLqMa2P+MhS#cyz}-GkfyA>q)JAyboL-&u%BxN
zW4w}?zZg^*dO|U$Wv}>j&m9lV{N0%|7lOl!`IRP=zRTX+BYMt}yg!Z0#1DvWL!^K#
zxVR8*)U)@$_jFX-J&RAF)$tty@1Nm7GHRoO;;uga3tO!(LfgBesd=+i?@;-uQz*QH
zIwxlLl#vcIBIx^qBRX-YNzrT){0>5A#34v3hvx*_nxC#&UF-`mi<;Pd3w)RC-ep7K
z`1#`7!rpIt9xYrNHAeqxu-F4v$Vez^B^lON6hb^vE6|5a9<>jT#@5VnZsKUnUjMl?
zD^{y237Q(0QAFfUNwPkE$wxg2rnAgV>uBjw8t<#2a2M(7_&I(c1X(Jj*~&jfaXX9A1)n+z
z{l3XdW*DFQs@@)os%=I@cx-P{SFtu}HNm$}t)cUZq4Zd-j814b^NL^kVjp5wh89mv
zd=eFQAisC?=9Ryj91d9`x{wFS0oSok{rasXWgeJ9@=$e0`-Gy`Dn}2f$R4VC&F8@!
z1I`%x9^-o@^oRF+-v1`A&JcnM|>}1aEE4H@=O_80?{P`rqO@q)=>m3&w^P|
z1+};%_sa%N>oJ1nFB2D>53W&+QKyoUe|i7b1q)PIV0+4u#t90s)p09rKu3c?%r3X?
zcFXOGd;u#v(FCz#qkd$r*o{Ee8NWBJM1Q6g{eNJz-If3BBe)pF@qxb0Fzf
zpHE9|T^OCPkRLk7o-oc@H7UC72Q~D*YLCVaOabZLTt0Dx!hF3!gu$!a6j;C`16&gJ
zVXm53a<_0q;ISCv6~wP1VY{%)>YShNj&nrOEmKp#FwX4wTOC#(F)-M1(lVSE8X6LC
zIwnL3t@trLC~y98GrPx{o|S|j;nEjffCZz4etZ_gS2xg9Z|Ad+8yED@os`^^S4)jm
z)guli{J+?-ij4)Z!@}`&{~gW4UA&alPnHXsn%)LAor^(lWJ*!tpQDz15{T4>tX?xU
zTpS||a0B=Xw)RZ9moUM2i6V&%ob(uvEKcmCKY4@(X1;wZX(Z5dgFl45iPdOXBJ$l(
zUJ1IV;Fc+BIRY`CpV1y3cBq!
zyDa5kb^Ne|lthP*t-_1)UKGZ5wyN7v%q!ZmlB0q<(ryw{{<@
z