Skip to content

Latest commit

 

History

History
427 lines (239 loc) · 961 KB

futures2.md

File metadata and controls

427 lines (239 loc) · 961 KB
Raw

Special thanks to Justin Drake, Francesco, Hsiao-wei Wang, @antonttc and Georgios Konstantopoulos

At the beginning, Ethereum had two scaling strategies in its roadmap. One (eg. see this early paper from 2015) was “sharding”: instead of verifying and storing all of the transactions in the chain, each node would only need to verify and store a small fraction of the transactions. This is how any other peer-to-peer network (eg. BitTorrent) works too, so surely we could make blockchains work the same way. Another was layer 2 protocols: networks that would sit on top of Ethereum in a way that allow them to fully benefit from its security, while keeping most data and computation off the main chain. “Layer 2 protocols” meant state channels in 2015, Plasma in 2017, and then rollups in 2019. Rollups are more powerful than state channels or Plasma, but they require a large amount of on-chain data bandwidth. Fortunately, by 2019 sharding research had solved the problem of verifying “data availability” at scale. As a result, the two paths converged, and we got the rollup-centric roadmap which continues to be Ethereum’s scaling strategy today.


The Surge, 2023 roadmap edition.


The rollup-centric roadmap proposes a simple division of labor: the Ethereum L1 focuses on being a robust and decentralized base layer, while L2s take on the task of helping the ecosystem scale. This is a pattern that recurs everywhere in society: the court system (L1) is not there to be ultra-fast and efficient, it’s there to protect contracts and property rights, and it’s up to entrepreneurs (L2) to build on top of that sturdy base layer and take humanity to (metaphorical and literal) Mars.

This year, the rollup-centric roadmap has seen important successes: Ethereum L1 data bandwidth has increased greatly with EIP-4844 blobs, and multiple EVM rollups are now at stage 1. A very heterogeneous and pluralistic implementation of sharding, where each L2 acts as a “shard” with its own internal rules and logic, is now reality. But as we have seen, taking this path has some unique challenges of its own. And so now our task is to bring the rollup-centric roadmap to completion, and solve these problems, while preserving the robustness and decentralization that makes the Ethereum L1 special.


The Surge: key goals

  • 100,000+ TPS on L1+L2
  • Preserve decentralization and robustness of L1
  • At least some L2s fully inherit Ethereum’s core properties (trustless, open, censorship resistant)
  • Maximum interoperability between L2s. Ethereum should feel like one ecosystem, not 34 different blockchains.

In this chapter

Aside: the scalability trilemma

The scalability trilemma was an idea introduced in 2017, which argued that there is a tension between three properties of a blockchain: decentralization (more specifically: low cost to run a node), scalability (more specifically: high number of transactions processed), and security (more specifically: an attacker needing to corrupt a large portion of the nodes in the whole network to make even a single transaction fail).



Notably, the trilemma is not a theorem, and the post introducing the trilemma did not come with a mathematical proof. It did give a heuristic mathematical argument: if a decentralization-friendly node (eg. consumer laptop) can verify N transactions per second, and you have a chain that processes k*N transactions per second, then either (i) each transaction is only seen by 1/k of nodes, which implies an attacker only needs to corrupt a few nodes to push a bad transaction through, or (ii) your nodes are going to be beefy and your chain not decentralized. The purpose of the post was never to show that breaking the trilemma is impossible; rather, it was to show that breaking the trilemma is hard - it requires somehow thinking outside of the box that the argument implies.

For many years, it has been common for some high-performance chains to claim that they solve the trilemma without doing anything clever at a fundamental architecture level, typically by using software engineering tricks to optimize the node. This is always misleading, and running a node in such chains always ends up far more difficult than in Ethereum. This post gets into some of the many subtleties why this is the case (and hence, why L1 client software engineering alone cannot scale Ethereum itself).

However, the combination of data availability sampling and SNARKs does solve the trilemma: it allows a client to verify that some quantity of data is available, and some number of steps of computation were carried out correctly, while downloading only a small portion of that data and running a much smaller amount of computation. SNARKs are trustless. Data availability sampling has a nuanced few-of-N trust model, but it preserves the fundamental property that non-scalable chains have, which is that even a 51% attack cannot force bad blocks to get accepted by the network.

Another way to solve the trilemma is Plasma architectures, which use clever techniques to push the responsibility to watch for data availability to the user in an incentive-compatible way. Back in 2017-2019, when all we had to scale computation was fraud proofs, Plasma was very limited in what it could safely do, but the mainstreaming of SNARKs makes Plasma architectures far more viable for a wider array of use cases than before.

Further progress in data availability sampling

What problem are we solving?

As of 2024 March 13, when the Dencun upgrade went live, the Ethereum blockchain has three ~125 kB “blobs” per 12-second slot, or ~375 kB per slot of data availability bandwidth. Assuming transaction data is published onchain directly, an ERC20 transfer is ~180 bytes, and so the maximum TPS of rollups on Ethereum is:

375000 / 12 / 180 = 173.6 TPS

If we add Ethereum’s calldata (theoretical max: 30 million gas per slot / 16 gas per byte = 1,875,000 bytes per slot), this becomes 607 TPS. With PeerDAS, the plan is to increase the blob count target to 8-16, which would give us 463-926 TPS in calldata.

This is a major increase over the Ethereum L1, but it is not enough. We want much more scalability. Our medium-term target is 16 MB per slot, which if combined with improvements in rollup data compression would give us ~58,000 TPS.

What is it and how does it work?

PeerDAS is a relatively simple implementation of “1D sampling”. Each blob in Ethereum is a degree-4096 polynomial over a 253-bit prime field. We broadcast “shares” of the polynomial, where each share consists of 16 evaluations at an adjacent 16 coordinates taken from a total set of 8192 coordinates. Any 4096 of the 8192 evaluations (with current proposed parameters: any 64 of the 128 possible samples) can recover the blob.



PeerDAS works by having each client listen on a small number of subnets, where the i’th subnet broadcasts the i’th sample of any blob, and additionally asks for blobs on other subnets that it needs by asking its peers in the global p2p network (who would be listening to different subnets). A more conservative version, SubnetDAS, uses only the subnet mechanism, without the additional layer of asking peers. A current proposal is for nodes participating in proof of stake to use SubnetDAS, and for other nodes (ie. "clients") to use PeerDAS.

Theoretically, we can scale 1D sampling pretty far: if we increase the blob count maximum to 256 (so, the target to 128), then we would get to our 16 MB target while data availability sampling would only cost each node 16 samples * 128 blobs * 512 bytes per sample per blob = 1 MB of data bandwidth per slot. This is just barely within our reach of tolerance: it’s doable, but it would mean bandwidth-constrained clients cannot sample. We could optimize this somewhat by decreasing blob count and increasing blob size, but this would make reconstruction more expensive.

And so ultimately we want to go further, and do 2D sampling, which works by random sampling not just within blobs, but also between blobs. The linear properties of KZG commitments are used to “extend” the set of blobs in a block with a list of new “virtual blobs” that redundantly encode the same information.


2D sampling. Source: a16z crypto


Crucially, computing the extension of the commitments does not require having the blobs, so the scheme is fundamentally friendly to distributed block construction. The node actually constructing the block would only need to have the blob KZG commitments, and can themslves rely on DAS to verify the availability of the blobs. 1D DAS is also inherently friendly to distributed block construction.

What are some links to existing research?

What is left to do, and what are the tradeoffs?

The immediate next step is to finish the implementation and rollout of PeerDAS. From there, it’s a progressive grind to keep increasing the blob count on PeerDAS while carefully watching the network and improving the software to ensure safety. At the same time, we want more academic work on formalizing PeerDAS and other versions of DAS and its interactions with issues such as fork choice rule safety.

Further into the future, we need much more work figuring out the ideal version of 2D DAS and proving its safety properties. We also want to eventually migrate away from KZG to a quantum-resistant, trusted-setup-free alternative. Currently, we do not know of candidates that are friendly to distributed block building. Even the expensive “brute force” technique of using recursive STARKs to generate proofs of validity for reconstructing rows and columns does not suffice, because while technically a STARK is O(log(n) * log(log(n)) hashes in size (with STIR), in practice a STARK is almost as big as a whole blob.

The realistic paths I see for the long term are:

  • Implement ideal 2D DAS
  • Stick with 1D DAS, sacrificing sampling bandwidth efficiency and accepting a lower data cap for the sake of simplicity and robustness
  • (Hard pivot) abandon DA, and fully embrace Plasma as a primary layer 2 architecture we are focusing on

We can view these along a tradeoff spectrum:



Note that this choice exists even if we decide to scale execution on L1 directly. This is because if L1 is to process lots of TPS, L1 blocks will become very big, and clients will want an efficient way to verify that they are correct, so we would have to use the same technology that powers rollups (ZK-EVM and DAS) at L1.

How does it interact with other parts of the roadmap?

The need for 2D DAS is somewhat lessened, or at least delayed, if data compression (see below) is implemented, and it’s lessened even further if Plasma is widely used. DAS also poses a challenge to distributed block building protocols and mechanisms: while DAS is theoretically friendly to distributed reconstruction, this needs to be combined in practice with inclusion list proposals and their surrounding fork choice mechanics.

Data compression

What problem are we solving?

Each transaction in a rollup takes a significant amount of data space onchain: an ERC20 transfer takes about 180 bytes. Even with ideal data availability sampling, this puts a cap on scalability of layer 2 protocols. With 16 MB per slot, we get:

16000000 / 12 / 180 = 7407 TPS

What if in addition to tackling the numerator, we can also tackle the denominator, and make each transaction in a rollup take fewer bytes onchain?

What is it and how does it work?

The best explanation in my opinion is this diagram from two years ago:



The simplest gains are just zero-byte compression: replacing each long sequence of zero bytes with two bytes representing how many zero bytes there are. To go further, we take advantage of the specific properties of transactions:

  • Signature aggregation - we switch from ECDSA signatures to BLS signatures, which have the property that many signatures can be combined together into a single signature that attests for the validity of all of the original signatures. This is not considered for L1 because the computational costs of verification, even with aggregation, are higher, but in a data-scarce environment like L2s, they arguably make sense. The aggregation feature of ERC-4337 presents one path for implementing this.
  • Replacing addresses with pointers - if an address was used before, we can replace the 20-byte address with a 4-byte pointer to a location in history. This is needed to achieve the biggest gains, though it takes effort to implement, because it requires (at least a portion of) the blockchain’s history to effectively become part of the state.
  • Custom serialization for transaction values - most transaction values have very few digits, eg. 0.25 ETH is represented as 250,000,000,000,000,000 wei. Gas max-basefees and priority fees work similarly. We can thus represent most currency values very compactly with a custom decimal floating point format, or even a dictionary of especially common values.

What are some links to existing research?

What is left to do, and what are the tradeoffs?

The main thing left to do is to actually implement the above schemes. The main tradeoffs are:

  • Switching to BLS signatures takes significant effort, and reduces compatibility with trusted hardware chips that can increase security. A ZK-SNARK wrapper around other signature schemes could be used to replace this.
  • Dynamic compression (eg. replacing addresses with pointers) complicates client code.
  • Posting state diffs to chain instead of transactions reduces auditability, and makes a lot of software (eg. block explorers) not work.

How does it interact with other parts of the roadmap?

Adoption of ERC-4337, and eventually the enshrinement of parts of it in L2 EVMs, can greatly hasten the deployment of aggregation techniques. Enshrinement of parts of ERC-4337 on L1 can hasten its deployment on L2s.

Generalized Plasma

What problem are we solving?

Even with 16 MB blobs and data compression, 58,000 TPS is not necessarily enough to fully take over consumer payments, decentralized social or other high-bandwidth sectors, and this becomes especially true if we start taking privacy into account, which could drop scalability by 3-8x. For high-volume, low-value applications, one option today is a validium, which keeps data off-chain and has an interesting security model where the operator cannot steal users’ funds, but they can disappear and temporarily or permanently freeze all users’ funds. But we can do better.

What is it and how does it work?

Plasma is a scaling solution that involves an operator publishing blocks offchain, and putting the Merkle roots of those blocks onchain (as opposed to rollups, where the full block is put onchain). For each block, the operator sends to each user a Merkle branch proving what happened, or did not happen, to that user’s assets. Users can withdraw their assets by providing a Merkle branch. Importantly, this branch does not have to be rooted in the latest state - for this reason, even if data availability fails, the user can still recover their assets by withdrawing the latest state they have that is available. If a user submits an invalid branch (eg. exiting an asset that they already sent to someone else, or the operator themselves creating an asset out of thin air), an onchain challenge mechanism can adjudicate who the asset rightfully belongs to.


A diagram of a Plasma Cash chain. Transactions spending coin i are put into the i’th position in the tree. In this example, assuming all previous trees are valid, we know that Eve currently owns coin 1, David owns coin 4 and George owns coin 6.


Early versions of Plasma were only able to handle the payments use case, and were not able to effectively generalize further. If we require each root to be verified with a SNARK, however, Plasma becomes much more powerful. Each challenge game can be simplified significantly, because we take away most possible paths for the operator to cheat. New paths also open up to allow Plasma techniques to be extended to a much more general class of assets. Finally, in the case where the operator does not cheat, users can withdraw their funds instantly, without needing to wait for a one-week challenge period.


One way (not the only way) to make an EVM plasma chain: use a ZK-SNARK to construct a parallel UTXO tree that reflects the balance changes made by the EVM, and defines a unique mapping of what is “the same coin” at different points in history. A Plasma construction can then be built on top of that.


One key insight is that the Plasma system does not need to be perfect. Even if you can only protect a subset of assets (eg. even just coins that have not moved in the past week), you’ve already greatly improved on the status quo of ultra-scalable EVM, which is a validium.

Another class of constructions is hybrid plasma/rollups, such as Intmax. These constructions put a very small amount of data per user onchain (eg. 5 bytes), and by doing so, get properties that are somewhere between plasma and rollups: in the Intmax case, you get a very high level of scalability and privacy, though even in the 16 MB world capacity is theoretically capped to roughly 16,000,000 / 12 / 5 = 266,667 TPS.

What are some links to existing research?

What is left to do, and what are the tradeoffs?

The main remaining task is to bring Plasma systems to production. As mentioned above, “plasma vs validium” is not a binary: any validium can have its safety properties improved at least a little bit by adding Plasma features into the exit mechanism. The research part is in getting optimal properties (in terms of trust requirements, and worst-case L1 gas cost, and vulnerability to DoS) for an EVM, as well as alternative application specific constructions. Additionally, the greater conceptual complexity of Plasma relative to rollups needs to be addressed directly, both through research and through construction of better generalized frameworks.

The main tradeoff in using Plasma designs is that they depend more on operators and are harder to make “based”, though hybrid plasma/rollup designs can often avoid this weakness.

How does it interact with other parts of the roadmap?

The more effective Plasma solutions can be, the less pressure there is for the L1 to have a high-performance data availability functionality. Moving activity to L2 also reduces MEV pressure on L1.

Maturing L2 proof systems

What problem are we solving?

Today, most rollups are not yet actually trustless; there is a security council that has the ability to override the behavior of the (optimistic or validity) proof system. In some cases, the proof system is not even live at all, or if it is it only has an “advisory” functionality. The furthest ahead are (i) a few application-specific rollups, such as Fuel, which are trustless, and (ii) as of the time of this writing, Optimism and Arbitrum, two full-EVM rollups that have achieved a partial-trustlessness milestone known as “stage 1”. The reason why rollups have not gone further is concern about bugs in the code. We need trustless rollups, and so we need to tackle this problem head on.

What is it and how does it work?

First, let us recap the “stage” system, originally introduced in this post. There are more detailed requirements, but the summary is:

  • Stage 0: it must be possible for a user to run a node and sync the chain. It’s ok if validation is fully trusted/centralized.
  • Stage 1: there must be a (trustless) proof system that ensures that only valid transactions get accepted. It’s allowed for there to be a security council that can override the proof system, but only with a 75% threshold vote. Additionally, a quorum-blocking portion of the council (so, 26%+) must be outside the main company building the rollup. An upgrade mechanism with weaker features (eg. a DAO) is allowed, but it must have a delay long enough that if it approves a malicious upgrade, users can exit their funds before it comes online.
  • Stage 2: there must be a (trustless) proof system that ensures that only valid transactions get accepted. Security councils are only allowed to intervene in the event of provable bugs in the code, eg. if two redundant proof systems disagree with each other or if one proof system accepts two different post-state roots for the same block (or accepts nothing for a sufficiently long period of time eg. a week). An upgrade mechanism is allowed, but it must have a very long delay.

The goal is to reach Stage 2. The main challenge in reaching stage 2 is getting enough confidence that the proof system actually is trustworthy enough. There are two major ways to do this:

  • Formal verification: we can use modern mathematical and computational techniques to prove that an (optimistic or validity) proof system only accept blocks that pass the EVM specification. These techniques have existed for decades, but recent advancements such as Lean 4 have made them much more practical, and advancements in AI-assisted proving could potentially accelerate this trend further.
  • Multi-provers: make multiple proof systems, and put funds into a 2-of-3 (or larger) multisig between those proof systems and a security council (and/or other gadget with trust assumptions, eg. TEEs). If the proof systems agree, the security council has no power; if they disagree, the security council can only choose between one of them, it can’t unilaterally impose its own answer.


Stylized diagram of a multi-prover, combining one optimistic proof system, one validity proof system and a security council.


What are some links to existing research?

What is left to do, and what are the tradeoffs?

For formal verification, a lot. We need to create a formally verified version of an entire SNARK prover of an EVM. This is an incredibly complex project, though it is one that we have already started. There is one trick that significantly simplifies the task: we can make a formally verified SNARK prover of a minimal VM, eg. RISC-V or Cairo, and then write an implementation of the EVM in that minimal VM (and formally prove its equivalence to some other EVM specification).

For multi-provers, there are two main remaining pieces. First, we need to get enough confidence in at least two different proof systems, both that they are reasonably safe individually and that if they break, they would break for different and unrelated reasons (and so they would not break at the same time). Second, we need to get a very high level of assurance in the underlying logic that merges the proof systems. This is a much smaller piece of code. There are ways to make it extremely small - just store funds in a Safe multisig contract whose signers are contracts representing individual proof systems - but this has the tradeoff of high onchain gas costs. Some balance between efficiency and safety will need to be found.

How does it interact with other parts of the roadmap?

Moving activity to L2 reduces MEV pressure on L1.

Cross-L2 interoperability improvements

What problem are we solving?

One major challenge with the L2 ecosystem today is that it is difficult for users to navigate. Furthermore, the easiest ways of doing so often re-introduce trust assumptions: centralized bridges, RPC clients, and so forth. If we are serious about the idea that L2s are part of Ethereum, we need to make using the L2 ecosystem feel like using a unified Ethereum ecosystem.


An example of pathologically bad (and even dangerous: I personally lost $100 to a chain-selection mistake here) cross-L2 UX - though this is not Polymarket’s fault, cross-L2 interoperability should be the responsibility of wallets and the Ethereum standards (ERC) community. In a well-functioning Ethereum ecosystem, sending coins from L1 to L2, or from one L2 to another, should feel just like sending coins within the same L1.


What is it and how does it work?

There are many categories of cross-L2 interoperability improvements. In general, the way to come up with these is to notice that in theory, a rollup-centric Ethereum is the same thing as L1 execution sharding, and then ask where the current Ethereum L2-verse falls short of that ideal in practice. Here are a few:

  • Chain-specific addresses: the chain (L1, Optimism, Arbitrum…) should be part of the address. Once this is implemented, cross-L2 sending flows can be implemented by just putting the address into the “send” field, at which point the wallet can figure out how to do the send (including using bridging protocols) in the background.
  • Chain-specific payment requests: it should be easy and standardized to make a message of the form “send me X tokens of type Y on chain Z”. This has two primary use cases: (i) payments, whether person-to-person or person-to-merchant-service, and (ii) dapps requesting funds, eg. the Polymarket example above.
  • Cross-chain swaps and gas payment: there should be a standardized open protocol for expressing cross-chain operations such as “I am sending 1 ETH on Optimism to whoever sends me 0.9999 ETH on Arbitrum”, and “I am sending 0.0001 ETH on Optimism to whoever includes this transaction on Arbitrum”. ERC-7683 is one attempt at the former, and RIP-7755 is one attempt at the latter, though both are also more general than just these specific use cases.
  • Light clients: users should be able to actually verify the chains that they are interacting with, and not just trust RPC providers. A16z crypto’s Helios does this for Ethereum itself, but we need to extend this trustlessness to L2s. ERC-3668 (CCIP-read) is one strategy for doing this.

![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAtsAAAFBCAYAAACmZWMQAAAKfnRFWHRteGZpbGUAJTNDbXhmaWxlJTIwaG9zdCUzRCUyMkVsZWN0cm9uJTIyJTIwbW9kaWZpZWQlM0QlMjIyMDIxLTA1LTA2VDIwJTNBNTQlM0ExNS4wNDJaJTIyJTIwYWdlbnQlM0QlMjI1LjAlMjAoWDExJTNCJTIwTGludXglMjB4ODZfNjQpJTIwQXBwbGVXZWJLaXQlMkY1MzcuMzYlMjAoS0hUTUwlMkMlMjBsaWtlJTIwR2Vja28pJTIwZHJhdy5pbyUyRjE0LjUuMSUyMENocm9tZSUyRjg5LjAuNDM4OS44MiUyMEVsZWN0cm9uJTJGMTIuMC4xJTIwU2FmYXJpJTJGNTM3LjM2JTIyJTIwZXRhZyUzRCUyMldESE13M1NSOWEwTGRnWXZmck5iJTIyJTIwdmVyc2lvbiUzRCUyMjE0LjUuMSUyMiUyMHR5cGUlM0QlMjJkZXZpY2UlMjIlM0UlM0NkaWFncmFtJTIwaWQlM0QlMjJ4cDNIdW5QWV9pUkFQcjFhVkxsUiUyMiUyMG5hbWUlM0QlMjJQYWdlLTElMjIlM0U1VnhiYzVzNEdQMDFudWslMkJ4QU9JaSUyRjJZdU5udHcyNm1NNTZkYlI0Vm80QVNqRndzTjNaJTJGJTJGUW9qYnBJY3NBc0lwdzhaV3hjRW5POThWOG1aZ01WNiUyRjFjQ04lMkJFJTJGeEVmUnhETDglMkZRUjhubGlXQ1J5RGZhUTloNnhuWnJwWlI1QmduMDhxTzViNEolMkJLZCUyRkxwZ2gzMjByVTJraEVRVWIlMkJxZEt4TEhhRVZyZlRCSnlGdDkyak9KNm5mZHdBQkpIY3NWak9UZSUyRjdCUFElMkY0V2xsZjJmMEU0Q1BNN20lMkI0OEcxbkRmREolMkZrMjBJZmZKVzZRTDNFN0JJQ0tIWnQlMkZWJTJCZ2FJVXZCeVg3TG8lMkZUNHdXRDVhZ21MYTU0TnYzZnhjUHIlMkJIJTJCOWlWNCUyQlduZVBDSVF6Mjc0S2o5Z3RPTXZmQmVSMVN2cmVtQiUyRklZSSUyQlN2amowME9PU1VKMnNZJTJGU1pjMEp1SHNMTVVYTERWeWxvMiUyQk1CYXd2cE91SUQlMkZNYm9JU2klMkZja25Od3M4R0pFUVdTT2FITmlVJTJGQUtYUTNnUTJtJTJCbFJDeUQ5NFVWYWVUeklDZEJVQ3hkNHNTJTJCY0tqT2dBMUlzRTBzTjJKM3ZYc203SjJxYUxuZmR5UWZ1TmtlJTJCWDNMSnBqbVpsOE9zbTlCJTJCcm1ra0tKOHFhY2s3ejZTaFBleTU4M3VrUTFwRnc2d0JPSE1aT0VBaFd4QVg3S3hGYkxSalpGWng4aXlaWXhNQlVabVh4ZzV6UmloMkw5TjdTZHJ4U1JHZFV6WWV5ZUhiNnhoVEMwbmJ6OVdCeiUyQm5yMjRVclVQZTJtT2FYZWZ3MW1ObHBMd29iZVRYWkklMkJHZk1sUUMlMkZDenh5ZTdaSVdhdVVGaEVpRGFwTiUyQnlPQ3ZpY2hUaXl2c1NGRUdLZjlRZlZ5VkRmb2V2QkIlMkJOQm1lTGJkVFpVbWhZdmtUMm12eXFxc1VYRjNJRTJubkNRaGtPMGtKSFNoV3ZmVG5MM081WTVwM0ZzdmFNR1RjVGdDaEElMkIwSW1BT0JObmZwU0lxbDY1b0luY1dFNm5VcDBZQ2FXMWptd3BRbDVSUXNTa2FUa3lET09JcUVMUmppSVdYUEZKTXhDRm5DWEdtek00cmhiUHJER3ZwJTJGZVJtbnVTNGRnZEdUeFFiUEZ0NGUwJTJCSE5kRnI5RFhiUzE2cUpnbGEzWnBWYlpGc3k3dUZEUG1waFQ3S3JOc2w0cWlNcDlLUlVBczRLQ1dSWlRscjdKSUNlQUg5b3VGNklTUmFmTExwc3RncVNBd2JBNSUyQmZLODhnR2Y4dW5HMmFETW5VWlEzbE9uN2tHeG1rSHBQb2Q3Uno2biUyRmJ6bVJNNVVWU0xHNHRmZkpYeWppYzlJb012R0MxV05Td052cVhRbEx0UzNmVzlSRGRIbTdLJTJCWkgwNDMlMkZMQ2xBR0JnZnNpVm9BJTJGdCUyRjRGVmg3dW9yV2p6JTJGM0ppUElDck82OWNxUUpwV0M4MzAlMkJYbHlucWwxMGZCc3RuSWNYbzBWamF0dVU1cktDYkhRRXhqTGsyTzdhSHpvUTdySk5xUzQ0dzAycmdnMWpjdTVZS2NIWU9Cb3lkTHhZWXU5dmtXdSUyQlFvVnJiQUlWNGRrN2oxR2xPSzBGaTMlMkJheFRVcTJReWxPUVNwUllkOXQ4YzFreG1mSXNlWk1rTkNRQmlXRjBYJTJGWUs4VVE1NTI5Q05oeXJGMFRwZ1o5RGdEdEtCUFhtJTJGc0NzT29OaUwwdnREa3FUVUxVSCUyRktwT0xFS2pkOGpUMU9hNjJnblQwZG9tJTJGTnEydXFvMDJZVyUyQlBhVHg2JTJGVW9tN2lucmwzWmdGeVFXZUlnaFZzN1ZvNFEwUmVibmcwUmZXJTJGbkQ0QmNraGtOVnQ3WXNKTExFeGxXRDlxeGNrZUhsZXJReHBuR2NhWXlqc2VFdjUwaCUyRkRCMUFGZXlHazRyNllybG1lNmtlOTVoaVZVRXQxdThVckclMkJPV0RRVmpPekJkQXZyWnBKZHN3WU5pOEFMWW8yMXk0c2Q5NlJzRnhYcjdCc1c1Yk5kU1VLM3BDWkFpJTJCMU5XY0tocHFkNTlHT3FRZzhWQ1pzVWhac1Q3UFNFeVBqbWZFdSUyQmFUNURoQTRsajFCdCUyQlpCVmE3c0lvMjVEWUlFQmNvand0czBiQnBuTmlQNld2M1pqRnpXeVUlMkI5ZjBxUHZVJTJCc3UxUUVMcGpaZjB4R2N3cmVFUTlhYXo4Rm53dW9IcjNIa080U0JVUFp5JTJCTm5GdkZSVEdKNUZFWUJTVEFOMTlweDlydzZ6Z1UzcTdzZmxnSm5zN2Y5RDFzJTJCcFhOMnZLRSUyQmVXMiUyQjY1QzY5Q3RhOXlkczRjU1dWRWh1SGN3SVNpaWRnZWs3bUFIWEhzeFlBd1l6dGpWVU1QTnI2bTMxRkMlMkZrWGkzM1lNYVlmMGpraUVmekZBV1gyWkJoZ2ozVHFXdkdSYm8yN1duUHNWblZuTGFxcG5XSHdlNmdpS1pVdGE4d0xXZmh6WW53NWduVFo0d2lmN1RLWjQ4c1JuZmthdm1WT2JvaCUyRlp6WFV2a2N2WDVPVlRiTDlHRzdnWEVueWhlbnV3ZWIzZE1yT213cnlwYXRQeEpsczRYeUpURGs0dk93eXFaSUo4YXBiQjBxVFI1ZWpEdzRkT1FrJTJCMXlQWmRrcXBUbFdPVWJxaldaalV4QjVUM2U5RFNTY1BzejJtQ2YlMkJ3c25UdkQzbXlCdkZ6TWolMkZQZ0pRYWNDd0FwQUQ1MlBKJTJCYmNSZ09LWFBoMEpnRFhMJTJGd0tURllySyUyRjZVRDd2OEglM0MlMkZkaWFncmFtJTNFJTNDJTJGbXhmaWxlJTNF7pCq6QAAIABJREFUeF7snQnYVdP+x5dEA5WUyDxdMxERGgxlljKHECpjk8iQuVKiTKEMmWdpkCEuTSRlyFDK3L0Xl6JCA9H/+Sz//d7T6Zz37HPOnvd3PU/Py/vuvfZan7X2Wt/9W7/1W2usXLlypclKc+fONY888oh57bXXzKxZs8zixYuzL9H/i0AiCNSuXdvstNNOplWrVqZDhw5mu+22S0S9VInkEtD4nNy2Vc1WJaDxWT0iKQTWyBbb3bt3NyNGjDCdO3c2Rx11lGnUqJFZb731klJf1UMEViGwcOFCM3PmTPPCCy+Y4cOHm44dO5pbb71VlEQgkgQ0PkeyWVQonwhofPYJrLINnECF2P7uu+/Msccea3bddVdz0003SWAH3hR6YNgEGNgvvfRS89FHH5mRI0eahg0bhl0kPV8ELAGNz+oIaSeg8TntPSDe9a8Q2/vuu6858sgjTZ8+feJdI5VeBMok0LdvXzNu3DgzderUMnPS7SLgDQGNz95wVC7xJ6DxOf5tmMYaWLHN0uSSJUvsMrqSCIiAsW5UNWvWlEuJOkPoBDQ+h94EKkDECGh8jliDqDgFCawxZ86clU2aNDHffPONXEcK4tIFaSHAkuUWW2xhpk+frk2TaWn0CNaTzZAanyPYMCpSqAQ0PoeKXw8vgcAaffr0Wbls2TIzaNCgEm7XLSKQXAKXXHKJqV69urnhhhuSW0nVLNIErrrqKqPxOdJNpMKFREDjc0jg9diSCKzRtGnTlQMGDDAtW7YsKQPdJAJJJTBx4kRz2WWXyXc7qQ0cg3rhq63xOQYNpSIGTkDjc+DI9cAyCKxRu3btlXIhKYOgbk0sAWepctGiRYmtoyoWbQJ16tSRi1+0m0ilC4mAxueQwOuxJRFYwxiT61ybkjLTTSKQNAJrrLEGL0jSqqX6xISA+l9MGkrFDIWA3o9QsOuhJRCQ2C4Bmm5JDwEN5ulp6yjWVP0viq2iMkWFgN6PqLSEylGIgMR2IUL6e6oJaDBPdfOHXnn1v9CbQAWIMAG9HxFuHBVtFQIS2+oQIlAJAQ3m6h5hElD/C5O+nh11Ano/ot5CKp9DQGJbfUEEJLbVByJKQGIiog2jYkWCgN6PSDSDCuGCgMS2C0i6JL0ENJint+2jUHP1vyi0gsoQVQJ6P6LaMipXNgGJbfUJEZBlW30gogQkJiLaMCpWJAjo/YhEM6gQLghIbLuApEvSS0CDeXrbPgo1V/+LQiuoDFEloPcjqi2jcsmyrT4gAkUQ0GBeBCxd6jkB9T/PkSrDBBHQ+5Ggxkx4VWTZTngDq3rlEdBgXh4/3V0eAfW/8vjp7mQT0PuR7PZNUu0ktpPUmqqL5wQ0mHuOVBkWQUD9rwhYujR1BPR+pK7JY1thie3YNl2yCv7444+bYcOGmWnTppnly5d7Xrlq1aqZffbZx3Tp0sWccsoprvPXYO4alS70gYD6nw9QlWViCOj9SExTJr4iEtuJb+LoV7BXr17mjTfeMFdffbU55JBDTI0aNTwv9NKlS8348ePN9ddfbw488EBz8803u3qGBnNXmHSRTwTU/3wCq2wTQUDvRyKaMRWVkNhORTNHt5JYtG+55RYzZcoUX0R2ds0R3c2aNTMXX3yxKwu3BvPo9p00lEz9Lw2trDqWSkDvR6nkdF/QBCS2gyau561CoGXLlqZnz57mmGOOCYzM6NGjzeDBg83EiRMLPlODeUFEusBHAup/PsJV1rEnoPcj9k2YmgpIbKemqaNZ0erVq5uff/45EKu2QwDrdt26dc2yZcsKQtFgXhCRLvCRgPqfj3CVdewJ6P2IfROmpgIS26lp6mhWNHOwnD17tunatav57bffzB9//GHWWWcdu2ly++23N++9956pWbOm2WGHHfJW5KeffjLvvPOOOeywwwpW1u0g7fa6gg/UBSJQAgH1vxKg6ZbUEND7kZqmjn1FUyW2V6xYYdZaay1DZApeUqyqTZo0MUOHDjX/+Mc/zAcffGCOP/548/nnn5fUsOutt575+OOPzaabbpr3/tdee820bt3ajBw50rRr167iuu7du5stt9zS8DMz3Xnnnebtt982jz76aEllKnTTrbfeast83333FbrUl79nDpYtWrQwbJZs06aNfRZ1fuWVV8wjjzxiLrvsMtO0aVPTtm3bvOV4+eWXDf+oU6HkdpB2e12h5+nvIlAKgbD7X58+fcyAAQNM1apVTZUqVcyGG25ozj//fHPJJZfY6vA+MmaedtppRVevmLGHMZCxcfLkyXaD85IlS8yMGTNsmUgLFy604yc/y0nvv/++OeGEE+wHO2Ovk37//Xdz3nnnmWeffdbUrl3b9OvXz5x++unmr7/+Mpdeeqkdo/788097HwYCDAWs2HXq1MnOK7Qj/821mWnBggXWmNC3b19z9tlnm+bNm9vxi7EuV6pfv76dD7bddttyqpn3XjdzmC8PLjHTsN+PEout21JIIJVi+1//+pcVxAzYPXr0MN98840VaUGJ7bPOOsuK/lmzZlnhT4qL2GZCWXPNNT17VTIHyz322MMwuR933HGr5M/mSSbAhg0bmoEDB1pmvXv3th9LuILwscTks++++1qr+EUXXWTOPfdcOzl+//33tp1PPPFEazV3kttB2u11ngFRRiKQQSDs/sf7yDvkfIwjRg844AD7Eex8/Potthlzdt55Zyt0d9llF7vBmTH8yiuvNJ07d3YttidMmGB22203s/766+fsY2+99Za54IIL7DPq1Kmziti+5pprzCeffGIefvhh+xPhPHXqVGsQgM2LL75o1l57bXP00Uebgw8+2Fx11VXmwgsvtAL87rvvNosWLTK77767GTFihOXnpDPPPNNQLowJjFkfffSRHf9Y5cs1zkZNbPOx4XzwhPHihv1+hFFnPTOeBFIttmkywsEhzubMmbOK2GYQIRTdM888Y1sWC/hdd91lrRoMtuecc44d8Lfeemvz0EMPma222spkWgWYCD788EPDZrzMwQjLNtE3uHbXXXc1V1xxRUGx/eabb9pBG9G50UYbmeeff95sscUWZu7cuXayYTJcd911ze233272228/mx+TAtYX3DE233xza3nZbLPNrDhF7JMn/9+4cWMrRpkw8uWHCwf3MAn95z//sWH6vEqZg+U///lPay2CJRPWUUcdZbmTTj75ZPsPS9pTTz1lufO3UaNGmQcffND+vOeee8ynn35qLUM33HCDFeVYkljR2HPPPW1bbrfddjY/t4O02+u84qF8RCCTQNj9L1tsUzbGGMbM9u3br2LZ5v267rrr7JjDOIWFF7evlStX2rEUYco41q1bNxsNKNOy/e9//9vsv//+9hqsu5npiSeeMPwbM2aM/TVim/GIsiFKEcZuLNt8FHAPojdXYkWTclMuxtRMyzZjKGO3M34492NlJlRpo0aN7K8wBmBEYU446KCD7CoAzyXxk3ENIwAJkQ0vPiQYWxHbpCOOOMJ06NDB8s1OiG3ClzIXfffdd5ajM4cw3jPO02d4DpvA+QDAes64ytjIvIaByTE88NHERwHC/tRTT7X3IPgxRuXLj5VHyksdmTcOP/zw0F7asN+P0CquB8eOQKrF9q+//moHOCymgwYNWkVsP/nkk+amm26yy5b4CrNMygDEkioDK4MkbiBc8/rrr1vLuCO2EbIMupMmTbIiODMxYPO3Bx54wApArOkbb7xxpZZtrCoI7R133NGGq0OMMhAilBm4sbJMnz7dTnxfffWVoV6bbLKJ/ShAlHKQC4MSYhQrC+H2EMxYgbEGM3kyaObLjw8Rrrv//vvNSSed5Gknzx4smaixMMGUiReXG8qdKbaZ4Ggvlrbx02bDI3wyxTbLuUyYtAlp/vz5tq2YyEhuB2m313kKRZmJwP8TCLv/ZYptRDPv3rHHHmveffddO245biS4gDEuMg6xyjR8+HA7XnBI1XPPPWffV8Yc3lWsy1ipyQsXtjvuuMMKbFb3crmjsKqFoENgO2KbMRQBjphEIHohtp1Oh0tHptgmb0Q44wdlRVzzMZ8dQenrr7+2VmlW3VhJIx8+BhClCF5WAsaNG2d22mkng1sKxgIMB4j6TLENO+aJp59+OqfYZiykHBhHMNhQvldffdWKbsZO5hyEPe42iGoEOdfQHpSReeSLL76wLkF8RDAXHXrooXZuQHiz0kv75suPOv7www/WUOXHmQjFvPxhvx/FlFXXpptAKsU21mleUkQplgqsovzMdCPBssDkgQ8xCQsAS31cy+8d30DEISceMsAh7LAoM7hhtUDwZicGUQQ7P6+99lrz5Zdf2nsqcyNhUHOsOlivGQgZ7Bm0Fy9eXGE5Z/DmsBbC6f3yyy+mVq1a9vFMSixfkg8DNScpYt0gXX755ebHH3+0lqd8+dWrV8/svffelpfXS4aZgyUTEs9yEowbNGhg63LGGWdUWLb56GGyZvJyDqrJFttMziwJYx3PldwO0m6vS/cwotr7RSDs/ofYRigjqlghQiwzbvF7yuaIbcZAVtxeeOEFi4IVNO7hHWZsQ2A7Yw5jFj7NCEbENh/9+C2Tb67EKt7YsWNtHo7YZgxlvOIfYy1iOJfP9meffVaxOsYKHqtdWHERyojgXClbbCNQ+YDAoswc4GzCxoLNBweJ8ZEPDSzZ1ItxknrxEYEBhP8mxCnlJmGs4eOFOiNwM8X2zJkzbfl4bnbCss2Yh2GEhEuMMx/AEKFPQtQzF/CBQ7sxTznCmOuYD7iXMdSZy5w2Y8WW+SBffgj5vfbay7IIO4X9foRdfz0/PgRSKbYdn22WNBG9LLHhi8jXurNBki99hGnHjh1tazKQYslmQuEavv6zE2IbKzgiF+Ge66s/U2wz+GNlwLqBJd3NBklnwyQTGANl5mZMBnSsE1ieGMT5QCCxUcdZBuWERqzj+AqSmEixXGPhz5cfS8HwwIXE6+QMllie+eBhcnCWZFlVwNIFa8rMBITFCMYsOzNZ0D5MekyAWIRoRxhg+cd6g9WGyQYLD9Yw5wPE7SDt9jqvuSg/EYBA2P0v242ED3PGClbXEHOO2GZMxU0hU8AiqBGOuI0wZjpjqdOyuGsgOhHqCFQ2COZKvO+8y6xAknAjQbTyk/vwl8agUGiDZCE3EufZuSzbhArF7xpDDalVq1aWg+Miwu+YPxiXGZcYpxmrEKzUkQ+MI4880t6DsYMVQiz7iP9ssf3tt99acc/8kJ2yfbad/+e55OespDK3YblmEyliHPFM2/ERgHsjgp3/ZlzNFPW0mTMf5MuPOjMfsKIadgr7/Qi7/np+fAikWmw7zYQPH5MKA5wjtrFss0Tn7B5/6aWX7DVEEcEKwcDLYMVyINZpBCliG8s3LhlYaG+77bbVekKm2OaPTBJMOvgrIogLRSNxxDaTDeXItfuePPv3729dYCgT7hj4NfNsBnlcQpznYLknD8R5vvywPuGWgcD1OmUOlpSPjUVYz7A+MWnxMUD73Hvvvdaaz/8zqWPphzGWHCZpVhNYyqacWMHJh4mNiQSrDqIg0xLjdpB2e53XXJSfCERRbFMmxjjGQsaFTMs27iIIXxJCEeGGyORDF6OCM5YyjiCgWdHDYj1kyBArXjFoYMXOThgtGGNziW0+pPk4R0ziLldZNJJSxTblcSzIfGSQ8ImmXrix8DsnJCkHZVEOxih8yamT4+fNmMxHAz7aCHruJbFyh0scK3FcU4rYduaD7PmD/BH8sHc+ZpjnmA8YP5kLHGasXGKM4MPJmQ9y5QdHxln2LYWdND6H3QJ6vlsCqRbbbBZhCZINH3z9I/IcsY2/3I033mg3EhL1ApHKhIGVAhGOSMU6jKBGiGf6bDORcM1jjz22ys5zGiVbbPM7LDT4CGLhcCu2EdD4fFMONtJgtcCChHWXgRSrNhMZVm18HhlIsVQg7PlgYDMiHwwMtrid8IGQLz8EaxBi222n9eI6t4O02+u8KJPyEIFsAmH3v2zLNnskEJNYZBmDHLFNhA0+1rGkIuawOLNhkn0r/ERc8vGPxRUXBO7Fn9sJO8pYy9jIP+qcmTBC4J6S7UbCuEnCSov7BqtjfolthDVjKOMrcwXjobMZmw3k1JF5gjGcMjB/sBeG1VDCJGK9Z78I0Uqyx/hcbiTMSblWT/NZtlndw82FlUEEM+VEzDNHcQ/zAeM73BH1rKbywYCrIx891IeVCgwSjPfUKV9+Etsap0SgeAKpFNtOuD2sp2wgxCqCIM302c6MRoJvHVZThDXWGnZr81XPYIjVIlc0EiyviF+W7BzXhXximwkKnz82+hQjttkgw8SHJQIrOz6BWHMR3gzqTIy4mTCRMSmywYhNL7jNsJGGSYwd8+xqR6Dnyy8oy3bx3bf0O9yKGLfXlV4S3SkC+QmE3f8y42xTStwocEVjLMQymhlnm30UWERZ7WNsQfAxvjKWkg+RMhhLGRcRoJnRSBDhfPizokikk8yEYGU8y9wg6biRONchThH25cTZxqccFzTKQjmxNuMqwYcDhgmEK2KWfSSssOHWhoEG8crHAPVEYLNRG19u3DH4Gz7btKPDjbCvmSlbbLOKhziGZ3bKJ7b5wMEqzlzESh7zEi50lIPIJcwBWNqxbrM3hvGeOQC3O+Yc6sucRv0xMOGSky8/iW2NWCJQPIFUie3i8egOvwmEJSbcPtftdX5zUv7pJKD+Z6yAxEXF2SSe9J7Apm72C5VyUFDS2WTXT+9H2lo8vvWV2I5v2yWi5GENlm6f6/a6RDSGKhE5Aup/xlpqiTqCrzj+zklOzqE2uIVgWVeqnIDeD/WQuBCQ2I5LSyW0nGENlm6f6/a6hDaPqhUyAfW/vxsAlwc2QeMqku2GEXITefZ4PioIFciGUVxqlAoT0PtRmJGuiAYBie1otENqSxHWYOn2uW6vS20DquK+ElD/8xWvMo85Ab0fMW/AFBVfYjtFjR3Fqvo1WLKbnqgwTkiu7Lq7fa7b66LIVmWKPwH1v/i3oWrgHwG9H/6xVc7eEpDY9panciuSQKHBkh3+pZxaSQgrDukhWkKuVOi5zj1uryuy2rpcBFwRUP9zhUkXpZSA3o+UNnwMqy2xHcNGS1KR8w2WhFrk+HnioBPXls1RnACJtZqNQ4THIrxYrt/PmzfPhnLkEAzuad269WrI3A7Sbq9LUpuoLtEhoP4XnbZQSaJHQO9H9NpEJcpNQGJbPSNUAvkGS06U49AK4vZyCh1xYzn6mSOIiWPLARnEhM31ew4TInQW/2TZDrV59fAyCUhMlAlQtyeagN6PRDdvoionsZ2o5oxfZSoT27iCILo5+ZIDJ6ZOnWoryGERHGJB/N1cv+fvEtvx6wsq8eoEJCbUK0QgPwG9H+odcSEgsR2XlkpoOSsT21i1sW4jsjkd0xHbHJPMqXKckJbr97Nnz5bYTmh/SVu1JCbS1uKqbzEE9H4UQ0vXhklAYjtM+nq2PcaYo4KzExZtR2zjRkJUEdxINthgAzN06FDDEfccGZ3r9yNGjDCnnHKKPU75pJNOyknZ7SDt9jo1pQj4QUD9zw+qyjMpBPR+JKUlk18Pie3kt3Gka1i9enXz888/mxo1aqxSzkyxzR9Gjx5tbrrpJrPOOuuYatWqmeHDh9sNkPl+zwbKG264wQwaNGg1wb106VJTt25ds2zZsoJsNJgXRKQLfCSg/ucjXGUdewJ6P2LfhKmpgMR2apo6mhVt2bKlPRkOH+yg0pgxY8wtt9xiJk6cWPCRGswLItIFPhJQ//MRrrKOPQG9H7FvwtRUQGI7NU0dzYo+/vjjZvDgwTa6SLZ1248SY9XmSGR8vXE1KZQ0mBcipL/7SUD9z0+6yjvuBPR+xL0F01N+ie30tHVka4plGyvz1VdfbQ455BCDa4nXCZeR8ePHm+uvv95gTcey7SZpMHdDSdf4RUD9zy+yyjcJBPR+JKEV01EHie10tHPka4mFm/jZ06ZNM3/88YctLxsnGUxLTZn3r7XWWmafffYx5557riuLtvNMDeal0td9XhBQ//OCovJIKgG9H0lt2eTVS2I7eW0a+xohkvnXoEEDM2XKFLP99tsXXSes2P3797cnUJJKFe0azItGrxs8JKD+5yFMZZU4Ano/Etekia3QGrVr1175zTffmPXWWy+xlVTF4kfg/vvvN2PHjrXHsZeScBvBB5yfRC8pJS1cuNBsscUWZtGiRaXcrntEoGwCderUMRqfy8aoDBJIQONzAhs1wVVao2nTpisHDBhg/ViVRCAqBDjM5tJLLy0rSgl9uk+fPqZ169YlVQs/ck6xdA7TKSkT3SQCZRDYd999jcbnMgDq1sQS0Pic2KZNZMXW6NOnz8rly5fbGMZKIhAFAm+++aY555xzDCdBlpMQ2iwzEm+7lITYxype6v2lPFP3iEAmgauuuspofFafEIHVCWh8Vq+IE4E1Pv3005VsHPv666/lShKnlktwWc8++2x7MuQll1xSVi3x2+7Xr5+reNrZD2KJcsstt7QbNkvxGS+r4LpZBP6fwJw5c+zGXo3P6hIi8D8CGp/VG+JGYI2VK1eu7Natm/VtHTZsWNzKr/ImjMD8+fPtkez8rFevXlm1K8dvu0uXLjYEIUfCK4lAmAQ0PodJX8+OIgGNz1FsFZWpMgJWbHMBvoFHHXWUufLKK0VMBEIjgDsT1jw2SHqRSvHbxhr+wgsvyFfbiwZQHp4Q0PjsCUZlkgACGp8T0IgprEKF2P7222/NcccdZ3bbbTczcOBAuZSksDNEocq4jyC0999/f0+KU4zfNkuTvXv3Nh9++KF57rnnzMYbb+xJGZSJCJRLQONzuQR1f9wJaHyOewumu/wVYtvB0L17dzNixAjDMs2RRx5pGjVqJOGd7j4SWO1Hjx5tBg0aZGNre5UK+W0zgM+cOdOMGzfOulF17NjR3HrrrV49XvmIgKcEND57ilOZRZyAxueIN5CK55rAamKbO1nGf/TRR81rr71mZs2aZRYvXuw6Q10oAnEiULt2bbPTTjuZVq1amdNOO02bIePUeCktq8bnlDZ8Cqut8TmFjZ7QKucU2wmtq6oVYQKffvqpad68ufnxxx89L2WLFi0MIdRKjbfteYGUoQiIQCwJ6MTCWDabCi0CoROQ2A69CVQACBAzlYmM/QJep2L8tr1+tvITARFIDgGJ7eS0pWoiAkESkNgOkraelZdA/fr1DYfZ+BHTupDftppFBERABNwQkNh2Q0nXiIAIZBOQ2FafCJ3AAw88YMaMGWNGjRrlS1mIt12zZk2zdOlSeyKkkgiIgAiUQkBiuxRqukcEREBiW30gdALNmjWzbiRt2rTxrSzy2/YNrTIWgdQQkNhOTVOroiLgKQGJbU9xKrNiCeA6wvHsbJD0M8lv20+6ylsE0kFAYjsd7axaioDXBCS2vSaq/IoigNDGTxvLtp8Jv+3+/fubCRMm+PkY5S0CIpBgAhLbCW5cVU0EfCQgse0jXGVdOYH58+ebDTbYwIb7Y4Okn0l+237SVd4ikA4CEtvpaGfVUgS8JiCx7TVR5eeawE033WQPUOJ49iCS/LaDoKxniEByCUhsJ7dtVTMR8JOAxLafdJV3pQR22GEHK7T333//QEjJbzsQzHqICCSWgMR2YptWFRMBXwlIbPuKV5nnIzB69GgzaNAgM2XKlMAgyW87MNR6kAgkkoDEdiKbVZUSAd8JSGz7jlgPyEXgmGOOMfw766yzAgMkv+3AUOtBIpBIAhLbiWxWVUoEfCcgse07Yj0gmwBh/po3b243Rgad5LcdNHE9TwSSQ0BiOzltqZqIQJAEJLaDpK1nWQK9e/e2PwcOHBg4EfltB45cDxSBxBCQ2E5MU6oiIhAoAYntQHHrYRAgzB+H2RBfO+gkv+2giet5IpAcAhLbyWlL1UQEgiQgsR0kbT3LPPDAA2bMmDFm1KhRodCQ33Yo2PVQEUgEAYntRDSjKiECgROQ2A4cebof2KxZM3taZJs2bUIDIb/t0NDrwSIQawIS27FuPhVeBEIjILEdGvr0PRjXEY5nZ4NkmAm/7SpVqpjrr78+zGLo2SIgAjEjILEdswZTcUUgIgQktiPSEGkoBkIbP20s22Em+W2HSV/PFoH4EpDYjm/bqeQiECYBie0w6Sf42Q8++KAV1fPnz6+o5cqVKw2TlZPYKMmR7WeeeWagJPDbHjBggLn22msDfa4eJgIiEG8CEtvxbj+VXgTCIiCxHRb5hD+3QYMGZty4caZJkyZ5azp9+nRz5JFHmh9++CHhNFQ9ERCBJBCQ2E5CK6oOIhA8AYnt4Jmn4oluJyW316UCmiopAiIQKQKDBw82V155pV0J69atm12ZY4XutttuM5dddpnp37+/6dGjR6TKrMKIgAhEj4DEdvTaJBElciui3V6XCCiqhAiIQKwILF682J4LULVqVVOzZk2zYMECU69ePbNkyRLz559/Wje5WrVqxapOKqwIiEDwBCS2g2eeiie6FdFur0sFNFVSBEQgcgSwYA8ZMsT8/vvvFWVbe+21Tc+ePc2NN94YufKqQCIgAtEjILEdvTZJRIncimi31yUCiiohAiIQOwJYt9mDsnz58oqyV6tWzfz444+yaseuNVVgEQiHgMR2ONwT/1S3ItrtdYkHpgqKgAhElkCmdVtW7cg2kwomApElILEd2aaJd8Hcimi318WbhkovAiIQZwKZ1m1ZtePckiq7CIRDQGI7HO6Jf6pbEe32unKBPf744+bggw82G264oXnjjTdM3bp1ze67724WLVpknnvuOXPWWWeV+wjdLwIikGACWLeJTnLxxRfLVzvB7ayqiYAfBCS2/aCqPK2PY5TibG+00Ubm2WefNc2aNTMnn3yy2WWXXQzHtnN0PP+9YsUKtZoIiIAI5CWAdbtjx46GA7sUgUQdRQREoBgCEtvF0NK1rgmMGDHC9O7d224iypc22GADM3DgQDuBKYmACIhAJoEXX3z05q+1AAAgAElEQVTRPPDAA2bSpEmVjiNppcb42aJFC7sqd8QRR6QVg+otArEgILEdi2aKZyE5/IEJ4c033zTbb799RSWwJjdv3lwTaDybVaUWAd8JnHvuuWbKlCk2vN7hhx9uGjZs6Psz4/aA7777zrz00kvWtYUVu3vuuSduVVB5RSA1BCS2U9PUwVf0/vvvN2PHjjWjRo1a7eHHHHOM4Z98pYNvFz1RBKJMAKHNXoonnngiysWMVNnat29v6tSpI8EdqVZRYUTgfwQkttUbfCOAteXSSy81bdq0We0Zo0ePNoMGDbLWKyUREAERgACuI4wZH3/8sYAUSYC9JzfddJNcSorkpstFIAgCEttBUE7hM3AdOeecc8zs2bPz1n6HHXawPpn77bdfCgmpyiIgAtkEjj/+eCsWteJVfN9gLOVjhY3gSiIgAtEiILEdrfZITGnOPvtsg5i+5JJL8tYJK8zcuXPNfffdl5h6qyIiIAKlEyCK0cyZM+WjXQJCfLgbNWpkfvjhhxLu1i0iIAJ+EpDY9pNuSvOeP3++3RjJz3r16uWlwN+ZXIlYUtl1KcWoaotA6ggEFXc/qWDFL6ktq3rFnYDEdtxbMILlx2I9Z84cwwbJQonl4h133LFSC3ihPPR3ERCBZBCQWCyvHcWvPH66WwT8IiCx7RfZFOeL+whCe//99y9IgQ2SnTp1qtS3u2AmukAERCARBCQWy2tG8SuPn+4WAb8ISGz7RTal+ZYSZQRRzgE4uaKWpBSjqi0CqSQgsVhes4tfefx0twj4RUBi2y+yKc23lPjZlcXjTilGVVsEUkmgkFj8/vvvzaabbmq23XZbw7V//PGHjV4yZMgQwyFa6623nvn111+LYrdixYqC9/Xt29fm2adPn6LyLnTxk08+aV5++WV7BLwXqRA/L56hPERABIonILFdPDPdkYdAqSdD5jtpUqBFQATSRaCQWERsE0+azdWkpUuXmt13393ce++9NoRoksX2X3/9ZapUqVJphyjEL129SbUVgegQkNiOTlvEviQcRsFgP3DgwKLrUs69RT9MN4iACESSQCGxmC22FyxYYJo2bWrGjx9vNttsswqxvXjxYtO5c2fz3//+1yxbtsxwwmLXrl3NL7/8YuP//+c//7FWcY4632effSruI79WrVqZu+66y+y7774VjLBsz5s3zxBe7/PPPzcHHXSQGTp0qP37jTfeaJ9P2bfaait7iiOimJMwZ82aZRDJTZo0Mbfffru9np/ExMY6TxSm5cuXW8s2R68PGDDAVKtWzay55ppm2LBhZvPNNzctWrSw90+YMMG8++67EtuR7LkqlAhUTkBiWz3EMwL169c3HGaz/fbbF51nqVbxoh+kG0RABCJLwI3Yxo0E6zYrYl988YXp1q2b6devn8l0B7nmmmusO8ktt9xird9cz4EvuG0gshHPb7/9trWII2qxiGMtP+yww+z+kcMPP3wVRlyPoH799dftc7bYYgt7yiVRlxDbL7zwghXb5513ntlzzz3N0UcfbR599FFz8cUX23ywviOo+SAg+hLlrlWrljn11FPNWmutZe644w4rqN955x1Tu3Zt89RTT5mxY8faPBD/nMZ77bXXFmy3QvwKZqALREAEfCEgse0L1vRliqVmzJgxZtSoUSVXHn/vtm3bmo4dO5ach24UARGIL4FCYjHbso3VmvFi7733NhdddFGFhRrR3KNHD3PooYdaGFi22YD90EMPWQHcunXrCkiI5zp16lihvdtuuxmEenZCbCPSr7vuugrxjCB+/vnnrSV7yy23tL9H4ONDfvXVV9t/nKCLpXrixInmkUceMTVq1LDH0WOUIDFuTpo0yVrBeT6inESZatasaQU+Yvuyyy6zPwulQvwK3a+/i4AI+ENAYtsfrqnLFcsLk0g5EUWIZHLzzTebyZMnp46fKiwCImCsdRiLdb6ULba5buTIkTbUKOOH47ONyO7Zs2eF2D755JNNu3btrLjN/L0jbNdee21r0X7uuefMtGnTTN26dVcpQvYGSUQxVnKeyaFcjFuZiVNxKRfWaVxC8Ce//vrrTfXq1e1zHLGNZZ3/xiJ+wQUXmBkzZqxWdUQ2Vm3G2EKpEL9C9+vvIiAC/hCQ2PaHa6pyZbLgeHZcQcpNxOhmQmRyUhIBEUgXgUJiMVtsI8yxCiOycSVxxDYW6N9++81wwBZuJDvvvLN57bXXrHV50aJF1lcbf2qEL9Zp5z6imjCePfvss67ENj7e+IbjS42QRnTjz02EEfy7cQ95//337e8ee+wx6yqCG8lXX31l3UiOO+44+/POO+80W2+9tZk6darZZpttrP82bi0dOnSwFm2J7XS9B6pt8ghIbCevTQOvEUIbP20s2+UmJse5c+caLENKIiAC6SLgRmzjs81HOYnNh/hIs6ERFw1HNLMRksOyfvrpJ7NkyRJz5pln2o2R/J7xytkgibjO3CCJeMcNBHe2Ll26VMDPZ9mmHGxqRLDjLsKGRqzVbMw89thjzfrrr2/9xTfZZBMr9PH5HjFihHn44Yet68l2221nLeP8PwKbjwTcRygH1noEuMR2ut4B1TaZBCS2k9mugdUK68sGG2xgJww2SJabyK9BgwY2P3bqK4mACKSHQCGxnR4SpdVU/ErjprtEwG8CEtt+E054/lii2ZGPFcardNZZZ9ml1ksuucSrLJWPCIhADAhILJbXSOJXHj/dLQJ+EZDY9otsSvJlGRWhzZHrXqUpU6bYJWB28iuJgAikh4DEYnltDT/+JTG1bNnSvPHGG0msWlF1wgWKMJbMkx9++KH55ptv7D4EXKqU/CFA3HwiFhHyk4hFbFbG3Qz3MLdJYtstKV23GgF24g8aNMi+9F4nxDubl8qJbuJ1mZSfCIiAvwQktsvjC7+kii4ET2WRasojF/272XRLmEk+OJgXDzjgABsqkoOU2KtQ6HTR6NcwuiXknVq4cKHd2PzBBx/YA6YIdXzggQdWhO0sVHqJ7UKE9Pe8BIiLzT/cPrxOWMsJm1VO3G6vy6T8REAE/CUgsV0e3yTzS3LdKmt1ouZcccUV5ssvv7QHOBFXXsK6vPfEi7sR4Gx2vu222+xG5v79+5uddtopb9YS215QT2Eefp/4iAWDjZelnkiZwiZRlUUg9gTSKqi8argk80ty3fK1P5FtCG3J3ijnNFKv+ory8Y4AJ9USjY2VB1xgcyWJbe94pyonXDxIAwcO9K3edF4GWD+f4VvhlbEIiEDRBOIsqN577z0bts8JS1h05T24Ic78ClU/yXXLVferrrrKHpqE9ZTwlkrRJkCsfVYdWO2/4YYbViusxHa02y+ypSPMn99WZ7+t55GFq4KJQEoJREFQsTxcyjI9R6o3bdrUxugOK0WBn191T3LdspkhtPELRmwTq10pHgSI64/Yxp8+W3BLbMejDSNVSk54ZHNAEP7UdFwmL74YlURABJJNIExB1aJFC3vCIyIHKxXjG6tqWKurVq1qD6vh0Jpcv583b5454YQTTMOGDe09rVu3DqWhwuTnd4WTXLdMdvQzTh6lH0po+92rvM8fwY3Yvuiii1ZxKZHY9p514nMk7A0uHkFECuHLniOQJ0+enHiuqqAIpJ1AmIKKkxoZ2zgaffHixfZ0x5kzZ5oNN9zQ+mIyBt199905f89R7CeffLL9J8u2P704zL7hT41Wz5XNkLvuuqt555135DoSFHQfnsPH+t57720++uijik2TEts+gE5ylriOcNwxLh5BJY6Cx29tv/32C+qReo4IiEAIBMIUVIhtXEH4+fbbb5sePXqYqVOnWgoc3IVx4aGHHsr5e/4use1vhwmzb/hbs//lzoda8+bNtRkyKOA+PodNk3ygOx4AEts+wk5i1ghtxC+W7aASy7KfffaZue+++4J6pJ4jAiIQAoEwBRUiG6s21m1Eds+ePSvENsaFdu3aGVzocv2eA7gktv3tMGH2DX9r9nfuxNFmXuWgGqVkEOAAHCLJHHbYYUZiOxltGlgtmIwuvPBCwwZJvxJWbKKd/Pjjj3kfQVhARLh8uf1qBeUrAsETCFNQZYpt3EiIKoIbCWPN0KFDzYwZM2xM3Vy/Z8w65ZRT7Oaok046KXhw///EMPn5Xekk1w12WLWPPvpou3KslAwCmeeFSGwno00TVYsGDRqYcePG2c1K+dL06dPNkUceaX744YdE1V2VEYE0EwhTUGWKbdqA/SJYpdZZZx1TrVo1M3z4cLsBMt/v2dhGBAJO1Q1LcIfJz+9+m+S6cQQ7B6L8/PPPJUXC8Zu98i+NAJGN6tata/DFl9gujaHu8pGA20HV7XU+FlVZi4AIeEhA73R5MJPML8l140Nt0qRJ5pFHHimvA+juyBHo0KGDIdKRxHbkmkYFcjuour1OREVABOJBQO90ee2UZH5+1w0XoQ8++MAsX77cfPzxx2azzTYz5513nnUhmjt3rvXnRzh9/fXX5vTTTzffffed+fPPP214t8svv9wsW7bMuoAQRGCbbbaxGx259sEHHyzYqGeccYYVZHIhKYgqdhfgSsKHlMR27Jou+QV2O6i6vS75xFRDEUgGAb3T5bVjkvn5Xbc777zT9O/f3y7516pVy2y55Zbm0EMPtRvzEUudO3e2UbjYs7TRRhuZPn36mEWLFlmBjKB64oknzOOPP25ef/11696477772njrbjb277HHHvY6nRRZXv+P4t2EATznnHMktqPYOGkvk9tB1e11aeep+otAXAiwX4NNifhGKxVHAEtro0aNEruPxe/xHrE9ceJE88wzz1jwWKY5mOTEE080jk814rpfv37m1Vdftf78e+21V4WPdfv27a3A7tq1q73/3HPPNStWrHAltjm85vPPP9chNsV1+VhczSE32267rcR2LForZYV0O6i6vS5l+FRdEYgtgeOPP94cccQR5qyzzoptHcIqOGEJX3zxRfPss8+GVQRfn+v3eI/YJuKM4/bBKYC9evUyRx11lPn++++tYPr111+tgOagNazYWLCJnEVM9kMOOcS6l5x22mmWA1byL7/80pXYXnPNNc0ff/yhzZG+9qBwMmeT5FprrSWxHQ5+PbUyAm4HVbfXibYIiEA8CCAWiTWMz6xScQR22WUXa23lYyWJye/x3q3YzmTL+Q8HHnigGTNmjLnxxhvtMd0XXHCBvQR/bwS0GzcSv+uWxP4QpzrRvvLZjlOLhVBWvt4PPvhge2TxG2+8YcPY7L777tZX7bnnnvPFAuV24HF7XQjY9EgREIESCbD8zviCD6ySOwK4MNSpU8ceK5/U5Pd471Zsw5oNjRxUwqbIxo0bm4cfftjOj+PHjzevvPKK3TzJcd2HH364xHZSO2QR9ZLYLgJWWi9lIwjLkpyqxglpWE/YGMJGEf6bJTWvk+Jse01U+YlAvAgguKdMmWJPa0SwyId79fZD0L300ktm8ODBdnxOstCm9lER25zxgNV6wYIF1u2DCCVEKuEDkYONPvroIzs34j8/f/58Q1i/QsnvuhV6vv7uLwGJbX/5KvcSCegEyRLB6TYRSBABXErwQyYSRGWnySaoykVVhZMtCReHf3tSXUcygcRBkOKfiwAnIcCXLFliXXsKpTjUrVAd9Pf8BCS21TsiS2DlypX2mGRilm6//fYV5cSizi5xTb6RbToVTAREQAQ8JxB1QYrfNhsqidWN6N5vv/3MddddZ9q1a1eQRdTrVrACuqBSAhLb6iCRJUDc0rFjx5pRo0atVsZjjjnG8E8RCyLbfCqYCIiACHhKIOqClANuCBXIvEV0kRNOOMFatSl3oRT1uhUqv/5eOQGJbfWQyBLAB5GoBG3atFmtjKNHjzaDBg2yPp1KIiACIiACyScQZ0H6yy+/2INy8qU41y35Pa/8Gkpsl89QOfhAANcRTlyaPXt23tx32GEH68/JUp2SCIiACIhAsgnEVZByIA4hAYkhf8UVV+QU3XGtW7J7nHe1k9j2jqVy8pAAx98ipi+55JK8ubI8N3fuXFdhlTwsmrISAREQAREIgUCcBSmxuCdPnmyqVq1qD8DJFt1xrlsIXSF2j5TYjl2TJb/AhEpiYyQ/69Wrl7fC/J0QgWyUrOy65BNTDUVABEQg+QTiLEinTZtmDjroIBudZO2117Z+3JmiO851S37PK7+GEtvlM1QOHhPAYj1nzhzDBslCiQ2SO+64Y6UW8EJ56O8iIAIiIALRJ4BgIZxeXBNuj/PmzasoPqKbxBHvnDJJBC6lZBKQ2E5mu8a6VriPILT333//gvVgg2SnTp0q9e0umIkuEAEREAERiDwBwujFOUlsx7n1yiu7xHZ5/HS3xwRKiTKCKO/du3fOqCUeF0/ZiYAIiIAIiEDRBN555x2D37bcSIpGl4gbJLYT0YzJqUQp8bMri8edHDKqiQiIgAiIQFwJZG6Q7N69u90gWbt27YrqyGc7ri3rrtwS2+446aoACJR6MmS+kyYDKLIeIQIiIAIiIAKVEsgM/Xf55ZevIrKdGyW2k92JJLaT3b6xqh0H2NAhBw4cWHS5y7m36IfpBhEQAREQAREogsDixYtzimyJ7SIgxvhSie0YN17Sil6/fn3DYTbbb7990VUr1Spe9IN0gwiIgAiIgAh4TECWbY+BRiw7ie2INUhai8Mu7TFjxphRo0aVjAB/77Zt25qOHTuWnIduFAEREAEREIGgCUhsB0082OdJbAfLW0/LQ6BZs2YGV5A2bdqUzIhIJjfffLM9pUtJBAoRePHFFw0feZMmTbIHI6UlcWBUixYtDDHqjzjiiNhVW+0Wz3aLXUcLuMAS2wEDD/hxEtsBA9fjVieA6wjHs+MKUm4iRjcCar/99is3K92fYALnnnuuIUZ7z549zeGHH24aNmyY4NquWrXvvvvOvPTSS2bw4MGGj9x77rknNnVXu8Wz3WLTwUIsqMR2iPADeLTEdgCQ9YjKCSC08dPGsl1u4vTJuXPn2tO4lEQgFwEE26JFi8wTTzyRekAnn3yyWW+99WIhuNVu/+uu7du3N3Xq1IlFu6X+JXMJIEpie+HChfYo+VdffdUsW7bM1K1b11x44YWmW7dutjbrrruuNY5tuummLmvn/rIHH3zQnHnmme5viMmVEtsxaaikFnP+/PmGZW2W8dkgWW4ivwYNGtj86tWrV252uj9hBHBB4KPu448/TljNSq/OLrvsYvhIjbJLidpt9faNQ7uV3ivTd2eUxHbnzp3NihUrzJ133mlq1qxpx8tWrVoZhPBhhx1mfvjhBztfV6lSxdOGIowvq4zff/+963z//PNPs+aaa7q+PqwLJbbDIq/nWgJM8nPmzLHHs3uV8EXdcccdzSWXXOJVlsonIQSOP/54KyrpI0p/E+Dde/nll80zzzwTWSRqt9WbBnc5PkKeffbZyLabCuaeQJTEdvPmzc35559vWEFx0rx586zARnxnWrYHDBhg7rrrLmvkQqT379/ffP311+a2224zH374obWMf/HFF1a8P/fcc2aLLbYw06dPN+edd575+eefTfXq1a2o59Cfdu3aGfZe7bTTTtbV7R//+IfNa6ONNrLF4Fr+/9tvv7VjOB+cxDB/4403zLhx4wwxzH///Xez9dZb23EtSu6BEtvu3wVd6QMBfKx5KThy3auEL26nTp3M7NmzvcpS+SSEABPCzJkzIzUIh42WiWuPPfYw//3vf8MuSt7nq91WR4PvfaNGjayVUSn+BKIktm+99VZ73gXi9ZBDDjHM05nJEdu//PKL3ffxySefmPXXX9+KZYxnn3/+uRXQ1157rbWKI5ZxA2O1uV+/fmbPPfe0Limnn366dee77rrrrFsKK9O4piDQM8V1tthm5Xrfffe12uGkk06ylnAMbARHQIDfcsstNozwyJEjI9MxJLYj0xTpKwhfsIMGDbIb1bxOiPfevXuXFd3E6zIpv/AJRGlCC5/G3yVg6ZZl2L/++isqRVqtHGq33E0jLtHpsux9QFiW6scctbYcO3asDTaA1Rhx3aVLF3vEPGOFI7axJr/yyisVovbJJ580ffr0qRDb+Hwzz5Nuv/128+6775qHHnrILF261Ky99to2Lz4asXZjkXYrtrlu7733Nr/++qt1ZXn44YetaMcaTuL3+Jkj2qPiYiKxHZ13NXUlIS42//xY0ueLl8GinLjdqWuQFFQ4ahNaFJBLbEehFUorg/pzadz8uCtpYtthxEc4VuJzzjnHztUYsRyxjcj98ssvKwISvPXWW9Za7Vi23377bfPoo4/arLB0O/+PKB86dKj5448/rHvJBx98YH8WI7YPPfRQ60JCIuQvVvTMfV9sgmd127GK+9HmxeQpsV0MLV3rGQG/T3xEQLDxstQTKT2rqDKKFAGJk9WbQ2I7Ul20qMKoPxeFy9XFWF8RjK1btzYzZswwROZAKB5wwAEG/2R8hp1wmZn/j9jGqjt8+HBrWe3Vq5cNLeo2RaUtlyxZYp5//nlzyimnGMrkJOqKCx4WZEdsY7WeMGFCxX6Pp556ylx55ZWVim3cU7bddlvz3nvvWdePf//732bLLbfMKbbXWWcdmxe+11i+8dnG7Q1RzkZN7iUh6Nm7EGXjmsS22zdB13lKgK9jEi+eX4moE3RwP5/hV9mVrz8EojKh+VO70nKV2C6NWxTuUn/2vhWwsjZu3Ni6RyC4EZRstiekbCGxfcIJJ1ixjUDcbbfdrP/y5ptv7qqQUWlLonuwMZEPDuZQNkR+9dVX5rjjjrPnYVxwwQUVYhsXkCOPPNJakGvXrm03n3NtZZbtyy67zG6GRChXrVrV+oVjmf7tt9+soMavG6s0Qnu77bazmy+JhIKgPuOMM6w1O1tss99k1113tcY1ys4GzEceecS6rkQlSWxHpSVSVg6We/y2OvttPU9ZkyWiurkmNJY02UW/8cYb2zqynIlV5/rrr3dd559++sm888471toyceJEc/fddxvyzZXYIESMZOLWFpuwBjH5sWGJw3huvPFGs/vuuxebzSrXS2yXhS/Um6Mi0EKF4PHDEdtYsbFoO+MB/sVsROX8hsos2wj0ffbZx97HwWpYtomk4yZFqS2JHsIHBvupcPVglbhjx44GoUw5M6ORYMHH2s1HRYcOHcyQIUPMZ599torbCPXPdCNBNDNOsqnScQFB5KMJ2JDJOEekHVjjJ07eCHkO4kJIE8Uk07JN/k40EizztWrVMnfccYfdvBmVJLEdlZZIUTnYdDFmzJhAlnzwCW/btq0dKJREIJ/YZgnSCaHGEnDLli3tDvmjjjqqIDR8GsePH2/D57GL38/EZNe0aVPbp71KEttekQw+nygJtOBr788TEdu8Xwg9J2Fl5feErqtMbL///vtmq622srdh8SUfImO5SXFtS8Y/J942LiVYwzE8KK1KQGJbPSJwAnxt8kK2adPG92ezBMiXMyGBlETAjdiGUteuXa01hVPUCFk1a9YsG62jSZMmdmnSOXyByXT58uV2cmEZ9KKLLrLh2BDdL7zwgv2gxPpMwgLNkug111xjT23kWnwR2XiEJYjwVSxBsxw6adIkuxEJH0V21LOZCIsNy9Tcg2sUHwM8h+eyvL3NNtvY8H38wyqE9YmyOvFm2b2PUGBTU2aS2I7vexFXgRZl4ojqFi1aWFcG+PJ+8x4uWLDAvku4SAwbNsxWAf9kfo8PN+/066+/bl1QSETEuvjii82xxx7rqrpxbEtC8DHuTJ061ey88852AyVWZWJsK0lsqw+ESIBlIvy+cPEIKnEU/IgRI+yynlK6CbgR20yeTLZMoPgM4ivIpOkIZk5RQzhXq1bNitqDDz7YXkufRvy+9tpr9ufjjz9uD2fgYAeWS+n3WLkQ4UzM3bt3N2uttZZdOqVvsrmI5VgEOv/NwQyIe/6fZ/KT49X5h8jno5XnIMYdSxwCm7izLF0fdNBBdgMSQh5/SvweN9tsM5uXxHYy3oM4CrSok0ds77XXXtYNjPeI95+PWcL68U7zwYx7BeHriPXMSpMjtllBxY0Cv2XiPTub+9zUOa5tiYEAgwJuIHxo8EGi05tXb3FZtt28BbrGMwIIDsQvlu2gElZABAf+dkrpJpBPbGO9Zkc8ibisxJR1jiy++uqr7QYgxDV+hmy8QbgilLE28zOX2CYyASIdMZ2Z+L0jtmvUqGE3BVEuJmb8sOmrhMgiBj0biPAHZ2Jngs8ntsmTJVwSIh6RzWTP5iOs5CSs4/g7Smwn5x2Iq0CLcgsgtk888URz9NFH2w9jGDsHr/G+45rIBj1WvviY5r/vvfdea9Ht27evvRZ/b1y+OIXRbVJbuiUVz+sktuPZbrEoNdZklsJZasqX2HiBGPbTp5rnO8v3sQCnQvpGwI1lO/PhfKBxChkx2xHhWKDZOInYdlw8uD6X2GaJmQ1SLLHmE9vkgdjG55HIBbhW8ZODMfAhx2qGPzjPrExsE2MWi7ojttlAidjOFOGUEREvsV1693Jc39hzEoUkgeZ9KyC2cdfiozfIpLYMknbwz5LYDp55ap7IEcvsEGYpPF/C0sZGEh05nJpu4WtFOaYXizRWplypWLHdv39/e8IZO9vZ/IRrxmOPPWZ3xmeKbZZS+TtRSDLdSFjF4ffOccWEz8I6nulGwgltRD9ABPO+PP300zbiCKGxcD/hQxSfcfzCiZKCZQ1XkUw3klxim6OT8f9mSZv8sJpTjiiK7VLazdeOlCdz4gOTWIWIQpJA874VENu4j3jdxnHp46USJSY5K29ww7UNVzwOvGG8JFxgqTwZTzEeYIBg/xXuenFcpZbYLrVn6b6CBNxOBG6vK/hAXZB6ArhlsJERizIho7JFd7Fimw2FbHBC9GIp3mSTTawbCRuhGPyZVEgc9kAoKkJaYfXO3CBJqD+ey8ZJrMvOBkncPThSmImIUFcsPXOUMS4gbH7EeorvI6tDuF/hkoLAv+GGG6yLCR8Ajs92LrGNawzL2vh/s6/v5vsAACAASURBVIkJ4Y8/evZEFYUNkqW0WxidXWI7DOrBPtMvsR2XPl4Kbfy1GUcYwwjr+9FHH9lxkANoMn9fSt4YF3CHY5UPNx5Cs7IHJW5JYjtuLRaj8roV0W6vi1HVVdSQCLALHl9JBDf9CtHNQO2I7ij1NSYNLNyEGvQr4crFkjgbJ/n44HnZ+yWiILbj0m4S23711OTnG+U+Tkxtoq44h8DwUY5POmKZ6EasFhItyYlwhDsdBgKij2CE4KAZDABYtrFws8H0X//6lz1ghtjY+K5j2WasYQ8Mm04R6N26dbNGBH7PWE30MMZuVvowCrAagHECIwf5Yyl3LNsIegwKuIlihMCogZ89hg+MHoRtJQqZszLJ8e5hJontMOkn/NluhY3b6xKOS9XziADWYDYVkjiMgv5FCD98qBHdDOxRSEGIbZZdscRziA5cCPuXbe2PgtimPeLQbhLbUXhz4luGqPbxadOmWdc0J7Y4H+kc2c7qGhFGzjvvPBtJCbdPIh/hmsbeEqKxsCGUezPdSDJXBzJ/T5xyRDOuc2z65pRN9qYgmDGSvPvuu3a8JkwpRhLEO2Ie4Y1l23EjwW2P31911VWmffv25pNPPrH7aTiMh48CokWxuZXVRqLKsAqYvVE96F4ksR008RQ9z62IdntditDFqqq4PODGEOVExBA2tzHYR0VsR4WXI7ajyCXMdsNqlnmwCe3lxOtv3rz5Ks1HJBtchIJOjJ1K8SYQZh/PJLfFFltYcY27G2MlEVnwuybiyuLFiysOrmEPFqKXDwdEMStzbPB2I7bZf4LAxvhBIl8ODOJ+zgvAck4iGhTlYTUul9hGiCOoud95BxD+CHZc5ohxTpx0EqFXsXh/8803oXYUie1Q8Sf74W5FtNvrkk0rvrVDbJNYHoxCwmcwl2WbgRtfvyiKyjC5RcWyTbuxfE3KXJEIq92Y5LGYuUkc6EEc5qCTxs6giZf3vKj18czaIIDZm4I7B/H4EadYr7Eosz/FSYhiNoKzaRHXDFxISG7ENsEQ2HyaHX0MyzauLIRYpU/zkXvhhRfaaEq5xDZ7WLB6Zwpo8mZTOOXNPMqd9zL7aPfyWrG0uyW2S+Omu1wQcDsRuL3OxSN1SQgEHLGNb13YCb9IrB74A9Kv2IToiDXKpr62egtFQWzHpd3kRhL2Gx7f50e9j+NmwXiJdRifatxIiIiE2GXjY3bKFrFuxDYimw3gzr4R8idSEmM2PuO4pBBilVN1WS3KJ7YdyzbWa+eo+H322cdev9VWW0lsx/c1UclLIeBW2Li9rpgycNIXJ/ttuOGG1j+MqA8sO/Fy4krAxg4lbwhESWyz4x+h7UQjyd617kdf84ZieLlEQWzHpd0ktsPrp3F/ctT7OOMArht77LGHtRrjC03ac889Ta9evez/Y4FmUyM+01ifMy3GbsT2M888YyMk4Y7FOM1GSoQ9GyFxA2GzJBscsVDjxsLJnZSHEyp5luOzzSFCfASwD4dwqPiIM9+zCRNLuyzbcX9bVP6iCIQZZ5t4wmy8IBaxs8mCr152MvOSsjlNyRsCURLbDNps5MkXGipIse2cFMlElZny/d6b1ig+lyiI7Si1W2UEJbaL71+6428CcejjXbt2tZsROffC8Z+eO3eu9aEmughWZAwZ7GcoxbJNpBHGPzZtM+4g3HEfeeutt8zpp59u3cfwA2cTJlZwNnRzTgHsEOlYv7OjkXCCJx8ybLxs3br1auWSG4newMQTiMoJkokHHXIFoyS2C6GQ2F6dUBTEdpTaTWK7UGvo734QCHJs8qP8yrNyAvLZVg/xlQC7m/kS5uuSWJhOYoJnCYkvZmJ4KsWXQFrENsuchJdiUw5WHvwbWVrFx5GVFP6fhPVzwoQJNjoFS5ps+mPJldMnOYQm07J955132ms5NfKVV16xy6bVqlWzfovDhg2zG5Q4xRJXKBLHrWMN4vj40047zR71/vPPP9vQXFibSkkS2+6pybLtnpWuLI6AxHZxvOJ2tcR23FosRuXldD2Oi2YJiFBC2QkfL5aMiN2JX5hSPAmkRWzjksQx7Wy45LAHfAn5id9gPrGNSOZ4dvwTiViBaxP/OFyGEFV33XWXjQeLaCakFkey4wLDqY8IapZbOflx/PjxdsMQH65EASA/lneHDBlil1YR9ojwUpLEdinUonGPBFo02sGLUqgtvaAY3TwktqPbNrEvGcdQk4YOHZq3Lljv8BFDcCvFk0CaxDaWZ0Q3iXBYHAbBgQn5xHbVqlUrYpBjBedUM8Jb4XfI7n8s14hrLNZs6mETL4k9BezSR2TfdNNN9gAIQisS85Zncqob17ds2dL+5EhjLOKlJIntUqhF4x4JtGi0gxelUFt6QTG6eUhsR7dtYl2yfO4juSqFGwkbL8I4FCLWkCNS+DSJbVw6OOiB1LBhQ3tkMUccE/XGcSPBAj1lyhTbnxHAnHJGOvXUUw2xYGfNmmVefvllewQxebEDHwHNxymrPdmJCACIanbg82HKXggSFm2s5iNHjrQfq9xbyiEnEtsReZFKKIYEWgnQInqL2jKiDeNRsSS2PQKpbP5HoJD7SDYrx38bn1MiSSjFi0CaxHarVq2spZrjivHfxiebcFTEoUWIEzeWOK/8HbGNxfrVV1+1lmrcSBDGHB+MGwmxZHGjeuKJJ6yryNZbb22mTp1q3Uteeuklwy77Dh062M5ARB38xAcOHGgt64SvxLJObFlcSrCsf/nll6sdxe6mJ0lsu6EUzWsk0KLZLqWUKi5tmXkUeyn1zL4nM2Qg4yQudBgmohJFxIs6kofEtlcklU8FATfuI7leOPlvx7MTpUlss6n3s88+syIbi/Vxxx1n5s2bZ0444QSz3XbbWWs3Vmv8sDlljRBav/zyS8UGSdxQMjdIYgFnZQdfbWLPwhL3EQQwBzwgwEkvvviitYDjgkLCOs59uKng702oLOegiGJ7kcR2scSic31cBFp0iHlTEsLi4QqWebJiuTnHpS29FNsYChh/MFZwuiZh/jiwhjFUYrvcHqX7E02gGPeRbBDy345n10iT2CaaCII76MSqDxsyid7jdZLY9ppocPnFRaAFRySYJ/ERjTh0Ti/04qlRa0tc04hyRLQjIokROenAAw+0B8hw5DoHyLCKzdHp7D9hRa558+bWsPDggw+ajz76yEZIwg2O+/v162eOPvpo63rHoXKcd4HRgvjYrNwhtFn943ms2DHWcj35Y3jA6o0bHUfEcxon5cCVDlHO8fKUlf1hbBxn9dFZFfSibbzIQ5ZtLygqD0ugWPeRXNjkvx2/ziSx7V+bEe2E09SYmDi1jZCAXieJba+JBpdf1ARacDUP5km4iGEE4jAWXLWIDsRqU6Zlm9UqogpxiBvzF+5kCM5iU9TakghhRDjisBlc3RjnseZnim1c5Tit+fXXX7ereIRH5WAZxirGLFb/2Bj+ySefWLe7L774wnz33Xf2OgT0SSedZPeaILYR70RqQlA7lm0MG+xVQTiT50MPPWSFPcIfzqzw1apVy0ZqQoRz76RJk2w7UNYoJYntKLVGzMtSivtIdpXlvx2/TpAWsR2/lnFXYoltd5yieFXUBFoUGZVaJvZM4BpGXH0EHdbaJUuWmPPPP79CbOMixh4KxOT6669vP4yJMIRwLDZFrS2JgMSJjnzgI5A5yh2XtUyxjZBGOHPyJAlLNhZoXEGIrLR48eKKTdtcx5kEWMBxGf3111/tykBlYhuBTh6kDz/80Fq6aQ/ENpvDOf6dhEX9oosuske8Yy0natOiRYuKbQJfr5fY9hVvejIvx30km5Lib8er38RJbGN9mjlzpvWtVvqbgBMznHCCUU1qt9VbBgHUqFEja1FU8p4AYnPjjTc2N954o92TUa9evYqHOJbtcePG2cOo2PhMYvMzezKSILapC24Zf/zxhxXQiGznp+NGcsghh1jLNwdskbA2s1Eb1w+s1QhjJxGJiY+Rpk2bWis0ophUmdgmrCmbzkmZPtyIbe7jA4h0wAEHmF69etnQqt9//709WAwxH6UksR2l1ohpWbxwH8muuvy349MZ4iS2mSQ4mAafQaW/CbCcy7KtYyWKIhe12+qt8sADD9iNsyy9K/lDAD9ixDYRhXBpwJWBaEOO2H744YetuMR9gfTWW29Z8Rl3sY0QRrDiX73jjjtawYurRrbY5iMEoeusauM3jTh3LNtYlx2/dvyw+RCBX6aIltj2p+8q1wQS8MJ9JBcW+W/Ho7PESWwjTojagZVE6W8C+FZycA4fIVFNarfVWyYO7RbV/lRsuRCQjHO4MrCK64jt0aNHmwkTJlR8qBK2jhNl4y62GR/ZDInIJuIR4hn/9d9++826yTiWbTY3cvAW1n1WWnAPOfzww62fNf0TFqeccoq1ih988MGWC0I+n9iGJz7wfLTgmiPLdrE9VdcnloCX7iPZkOS/HY9uEyexDVH8CrG4sOkn7YmlXmJ+x+FAKbXb/3orvrJ16tSJRbvF9R0jRj4foWwAJJoGVuynn37ahvV0xDYCE/cIQnJyEiwfrMTYj7vYps3OOOMM6xeNLzpCmwgfhOrDtcQR24yjiGkijyCucWvC1x2x7UQj4f9r1Khho46weTI7pF+mZRsXEOfsAFbbJLbj+vao3J4S8MN9JLuAjv82Pxs3buxp+ZWZNwTiJrYdwU2M6549e1pLTJp8uBEIHJozePBgu7krDkLb6akIbrVb/NrNm5Em2FyIQIIfMAdIsUmQMQIRyea7zGgkXMOH++abb26jZgwZMsTG4i82RW2DpNvyw8lxFUGQs4mUjxSlVQnIZ1s9omQCfrmPZBdI/tslN1EgN8ZRbAMG1wT8XgkVRSzYtKQNNtjAHhOP33qUXUfytYfaLZ7tltT3K1Ns4lKCmxqHVBWb4ii2WdnmYwM3ETgQPYT5gI2QShLb6gMeEPDTfSRX8eS/7UGj+ZRFXMW2TzhcZUvIsI4dO5oRI0aUdMS6q4foIhEQAV8J8JFOKLupU6faA1n4gCVMIIeuFJviKLZxKyHk3tixY631nw2TWLWpi5LEtvpAmQSCcB/JLqL8t8tsNB9vl9guHi4bjm655RZ7BDvRDpREQATiSYAIJbzDCE9cHYnukxkm0G2t4ii23dZN1xn7AbLGSpSMkgi4JBCU+0h2ceS/7bKBAr5MYrs44Fi1ceXgqOFq1apZFxasYUoiIALJJcB7X9l7LrGd3LanZhLbyW5fz2sXtPtIdgXkv+15k5adocR2cQixarM5kdPYOKGNTZqybhfHUFeLQJwIEO6OeNRE8bjiiityim6J7Ti1aPFlldgunllq7wjDfSQXbPlvR6sLSmy7bw+OHuY0RKzaTpJ12z0/XSkCcSVA3OrJkyfbuNU9evRYTXRLbMe1Zd2VW2LbHSddZUzFKVHE2QwzyX87TPqrP1ti2317ZFq1nbtk3XbPT1eKQFwJTJs2zRx00EE2NB7vPOIrU3RLbMe1Zd2VW2LbHafUXxW2+0h2A8h/OzpdUmLbXVtg1a5fv77dtb/OOuuYBQsW2AMjli5dao9B5v/lu+2Opa4SAYeAM/7EgQihRufNm1dRVEQ3iSPeOfJd2+fi0IqllVFiuzRuqborKu4j2dDlvx2Nbiix7a4diD7Sp08fexxxt27drGWLyfXWW2+1xyH369fP+m8riYAIuCfAe8RhKnFIEttxaCV/yiix7Q/XROUaVvQRNxDlv+2Gkr/XSGyXxlfLxqVx010ikEkgLu8RB93gty03knT2X4ntdLa761pHzX0ku+BYBps0aWK6dOliOnXq5LpeutA7AhLbpbGMi0gorXa6SwSCIRCX9yhzg2T37t3tBsnatWtXQIpLPYJp1eQ9RWI7eW3qWY2i6j6SXUH8txHc7777rj1UQClYAhLbpfHW5FoaN90lAnGzbGeG/sNlLFNkO3XReJDsfi2xnez2Lat2UXYfya6Y/LfLauqybpbYLg2fJtfSuOkuEYib2Ka8bJDOJbIlttPRnyW209HORdcy6u4juSqEKwkd+p577im6vrqhdAIS26Wxk9gujZvuEoE4iu1CrabxoBCheP9dYjve7edL6ePiPpJdeflv+9IdCmYqsV0QUc4LNLmWxk13iYDEtvpA3AhIbHvcYi+++KIhvM+kSZPMjz/+6HHu0c1ugw02MC1atDBnnXWWOeKII0ouqPiVx69k8GXcKLFdGryoim29g+W9g+JXHr9i36aovkdprUex9U7L9RLbHrb0ueeea6ZMmWJj5R5++OGmYcOGHuYe7ay+++4789JLL5nBgwebZs2aleTKIX7l8Qurh0hsl0Y+iiJB72B576D4lcevlDcpiu9RmutRSt3TcI/EtketzCC7aNEi88QTT3iUY3yzad++valTp05Rglv8/tfepfALs7dIbJdGP2oiQe/g/9rx5JNPNuutt57GsNK6tglyDIvae1QisopDrkq9X/dFm4DEtgftw7LhpZdeaj7++GMPcktGFrvssou56aabXLmUiN/qbV4Mv7B7jMR2aS0QJZGgd7C8d1D8yuNX2hv0911Reo9Uj3IIJPteiW0P2vf444+3ohJ/ZaW/CeC3zgT07LPPFkQifqsjKoZfQcA+XyCxXRrgKIkEvYPlvYPiVx6/0t6gZIntNddc0/zxxx+mSpUq5eDQvREk8Ndff5m11lrLrLGSMA5KJRNo0KCBmTlzZqp8tAvBwoe7UaNG5ocffih0qRG/1REVw68gYJ8vkNguDXCUxLbewdXb8NtvvzW77767xrDSurcJagyL0ntUIip72/rrr28+//xz+1MpWQR++ukns+2220psl9usSXnZy+WQfb9bLm6v87p8Uc8vLlwktkvrSVFq3yiVpTSa/tzllovb6/wpZXRzDYJLEM8IgvAee+xh7rvvPrPnnnsG8Tg9I0ACnG59zjnnSGyXyzwpL3u5HCS2vSUYl34lsV1au0epfaNUltJo+nOXWy5ur/OnlNHNNQguQTwjCMJnnHGGDZ979tlnB/E4PSNAAvfff78NBy03kjKhJ+VlLxPDare75eL2Oq/LF/X84sJFYru0nhSl9o1SWUqj6c9dbrm4vc6fUkY31yC4BPGMIAjfe++9VpA98sgjQTxOzwiQQIcOHeyHlMR2mdCT8rKXiUFi22OAcelXEtulNXyU2jdKZSmNpj93ueXi9jp/ShndXIPgEsQzgiD8n//8x+y0007m559/1ibJIIAH9Aw2R9atW9fMmjVLYrtc5rledsIA9urVy4YDrFGjhnWOv+WWW+zLFFR67733TM2aNc0OO+wQ1CNXeY7bQdDtdWT+5JNPmtNPP91uSN1xxx3t877++mtDNIAZM2YUXc+wGVVW4GK4FF1xD2+Q2C4NZpTaN1dZeNc6d+5sNt54Y1vBFStWmFNOOcVcf/31rivMxqB33nnHHHbYYWbixInm7rvvtu9wrtSvXz8bn//CCy90nb9zYeZ7zIFiN954o93cWG5y20Zur3PKc/7559szGdhEWL169XKL6fn9I0eOtBG2yi1bsVxKqUgQzyilXKXc07ZtW3P00UfLlaQUeBG9BxeSsWPHmlGjRklsl9tG2S87h9sgqm+++WYb3J/06KOP2ljc7DZGABdKfA05IYAy/7vQfZl/v+yyy0zTpk0NL3AYye0g6PY66sBEPWDAAFO/fn3z2muv2WqVI7bDZlRZuxTDJYz2dZ4psV0a/Si1bz6xTehOJ3znr7/+alq2bGlo76OOOqpgpRm3xo8fb15++WVz6623Fry+nAv8eo/dtpHb66jj0qVLzaabbmo22WQTc8UVVxgO0Ck3lTpH5Hsu8wbtxsE+5aRiuJT6nCCeUWrZir0P5uiEDz/8sNhbdX1ECey22272zBEMDnIjKbORsl92RPZHH31kHnrooVVyZpmIAZaJYaONNjLdu3e3f8fqPWHCBDN37lxr/WYwZgBGoDdp0sT+jd2sHIeO0KxWrZohJuewYcPM5ptvbvPCGvTZZ59ZSzpfUkyMJ5xwgg1HOHDgQNO6deuKstxzzz3mwQcftIcBrLPOOubxxx837dq1M/3797eTKYmO0a1bN9tJ8DX673//a6ZPn25/h2X5l19+sbtrqROxQTmmff/991+lvm4HQbfXOWKbcsyZM8ewoYQ6Zort3377zZx33nnm+++/N0uWLDEnnnii6dq1qy3fp59+aoYPH25mz55tP0DuuOMOm0eYjCS2y3z5Ynx7Mf3e72q6EduUgXeJMadHjx6GEydZGkXoMU7dfvvthiiyvE+8X8uXL7dWbd7Jiy66yIYCRXS/8MIL1sqD9ZmEBfquu+4y11xzjRV3XEsejC+MabzLvLe77rqr9Wnt3bu3tbguW7bMDB061L7nmWMdHwM8Z6+99rJ58lFetWpVO85iWV977bVzjpm5LOFu28jtddSXcZ2oE6eddpp55plnzCuvvGI5/Pnnn/asBsY2xHitWrVM8+bN7RiV6/cdO3asYA13xrhcY19l+eZqQ9qC9uXZjz32mGHVINe846ZPFsPFTX65rgniGaWWrZT7eHdgf/HFF5dyu+6JEAH03OTJk+14R5LYLrNxsl92BkEsA126dMmZcz6xjWhs06ZNRazNVq1amWbNmplrr73WilsmNCav2rVrm6eeesouTTBwM5HQoPvuu6+dTBDcTEIIdv5lW7YR5whPJjYmonr16tl7Xn/9dTNixAjD0i8TFRPdoYceag4++GBz+eWXW5GKu8Ynn3xirVuI7L59+5q3337bsLkDkZ+Z3A6Cbq9zxDbP4+OC5eIPPvjA/PjjjxVuJDfccIP9GME6wLI3YZSY0JhoDzzwQPtBcdVVV9lJmA+LsBlJbJf58sX49mL6vd/VdCO2FyxYYD+8+Vjfbrvt7NjjCAKEKh/w/OT940Arxg2uZaxB/DLW8JOPe1b+sN4RU5joC506dbIinDEJIwQHQLz55ptmv/32s2MdLhdMWPz31ltvbcdC/p9n8jPzPWbM5DmMmYy15MMYyTWUiWflGzOzObttI7fXkT/jEAL62GOPtcYXPlg222wzO54PGTLE/POf/zTz5883O++8szV2MD7n+v2ZZ565Cut8Yx/iPdf9jJ/52tCZIzDq5Jt33PTJYri4yS8NYpv+wIclc73CAJbaK8K/DwPp3nvvbQ2vjvuwxHaZ7ZI9oLDzFLF9wQUXFC22mRymTJli70Ns8//8RGBibXasLwhJ3FFYpmVywxqO24kzITE55ROS+JIjrBHOWLTxfcZKtP3229uBn3u/+eYbw+DNs/v06WMOOOAAs3DhQnstfoaUhYk202IexESFGwksmEyvvPJKa1Xjo8bx2aZcWMKc5U8mLefYeFx4ENhYwZxl7bAZSWyX+fLF+PYghIhbPPnENpbPLbfc0maD8OJdw4+b8efqq6+2H+CMP/hjE0WB8QKhjLWZn7nENuMJYwciODPxe0dss8/l999/t6tvvLcIQz7+efcHDRpkxTJGAcY9xstcYhtxj0ufY0FnJRArLT/zjZl+j2FffPGFady4seHAHFYVmSvYU8NYhs86qwGOTzzj1JFHHmlXD3P9HrGdyTrf2Pf+++/nvB/Ler42dMQ2H0r55h03fSuIPh7EM9zU1ctrMF6x8sqqtg658ZJsMHkxNqGZWKXj495JEttl8s/lRjJt2jRrUc1MWCxwtcAqvOGGG1a4kTCZMWFg2caK7fgiM3Hx/1hqyA/xnmsToLOkyrMQ2whS/uUTklz31VdfWbcUXmgGeawsLB0yEWDtYJLcaqut7OTplAGxzcSAmMXi3bNnT/szX3I7CLq9judkim0mdJamsebzUQIbJmU45fIpxVLA5IbFiA1ApLAZSWyX+fLF+PZi+r3f1XRj2c4sA24QvENYYxHhWKARiYwXmeNRLrGNsGTsmDp1al6xTR6IbQwIWGZZ8XPcK/Ahx5iBoYFn5hPbr776qlm8eHGF2KYsbKxmvMg3Zvottqk75cCSTcLdD/Z8SLBKyEcM460zNiF0//3vf+f8PWI7sx75xr58+fKsfG3oiG2Y55t33PTJIPp4EM9wU1evr2EFFrE9evRoCW6v4fqYH0L7mGOOsWIbg2VmktguE3z2y441dZdddrGDJlYgJgysPohs3B7wiUO44tLAQIqoRfxWJrYZlFk+ZYLaZpttrFDmOYjHfBMHkQNo9JNOOqmihvhP4tuHFYlyY+GlDPiZY8VgAMe6xEYNUj6xTV2wGpEX1nD8KJl4V+lYa6xhfTgLpWIGy0yxTb580OCTTkJs8+GA9eiBBx6wExQ+pvwdCxBuNixDY81hx/epp55qoyuEyUhiu1DvSO7fi+n3flMoVmwzdrHCxcc6ltODDjrI+vc6ESxYKSPha83fEbiZbiSsovF7RB3W8+OOO85axzPdSN544w07YeEqMm7cOPP000/b1TzGK6x9uOsx9vARnfkeO24kjHXOSiEfBFiK+QjHhSMMsY3v9BZbbGENIrjpkRgfMWDw8cK+GH4y9uKygysBnNddd92cv88W2/nGPnzCc+WLdT1fGxKBhvbB+p5v3nHTJ4Po40E8w01d/bgGwY3Yxr1TLiV+EPY2T1xHGJfQFNlCmydJbJfJO9fLjkWApVIGLAZ23D8Qtlg05s2bZwd+/B7ZCMTgir8iv89n2aaICGxELhMOgzQ+0gyE+SYOlqJocJZdMwU3QhurEIM4HwIMxM5SMT5GWJ2cHfL5xDb+kPhaOhsk8QkMaoOk40biNBuuLMQmRWwzwTJ58+GCTzn+6ky4+HCz4YjBi0mNsrLZikk8TEYS22W+fDG+PUoioVixzfvFahiiF8MCvscYFHBPY3OfI7axJGOdReAylmRukEQc8lxWp7D2Ohsk8dkmLi0WVdw+MEyw2RwXNsa/MWPGWD9mPvAZgxhnGQOd95gPAGeDJOMpZcLthPvZxInwDkNsM9ZgiWeVMjMxduK/jnsLIgl0wwAAGitJREFU0asYUzGo4CKHGwmbvHP9HjeQzHrkG/tYIch1Px8l+doQpggHjBm0da55x82rF0QfD+IZburq1zXM48xpuENq06RflMvPl82Q6AzGskzXkcycJbbL5JyUl/3LL7+0likc+rEEl5vccnF7Xbnl8eJ+rxlJbHvRKvHMI0r9PkplYUUKCzereWEnt1zcXldZfVipxAiClR5jChEpWDnEoJLr9xhG3KR8+bq9380z8l3jBZdCzw/iGYXK4PffWcEhTCTzDxHBsJ46oYH9frbyz0+AD2JWHW677Tb7nrISVdlZKhLbZfamJLzsWJmwYuDigv+lF8ktF7fXeVGmcvLwg5HEdjktEu97o9Tvo1SWtIptVuIQUbjzYYnHNYfJO9/v3fb+cu93+5xc1wXRr4J4RjkMvLyXVXAsp7hYsY8BNytWzXFF5QNVAtxL2qvmhbBmlQ2XX9yB8adnlY3oQqw8sIJXKElsFyJU4O9petmLQeWWi9vrinl2Eq6FS1wSy/W4ASi5J8AgzYAdleRmf0VUyhpUOdyOTW6vC6rcUXlOEGMYghPxmaaEqxHhNdkcjAsS0cPYQ4UgVPKHAB8ynHDLvgsOqsENC08AXOjcJoltt6TyXKeBNjcYt1zcXldmM8XudnGJXZPFtsDqaxrD/Oi86ld+UFWecSUgsV1my2lA0URVZhfKebv6lR9UlWcuAuprGsP8eDPUr/ygqjzjSkBiu8yW04CiiarMLiSx7QdA5emagMYwjWGuO0sRF6pfFQFLlyaegMR2mU0c9QGFww44RY2NFByVzG53UuZ/l4mgLLEofuVN9H60nfJMFwEv30EnnjbhTDOTE2eaONkc/EB8bDYV/fjjjzbyBrGnCc+HX+SFF16YswEq2zxJvGo2kDlhTL1oQbdc3F7nRZkqyyNzrPf7WW7yjwoXN2XVNSLgNwGJ7TIJx2VA4cRFJjXip2b+d5nVz3u7Wy5ur/OrnG7zjSo/t+XXdSKQj4CX72A+sZ35bEQx/4iHzUmP/CQOdaEksV2IULT+7mW/ilbNVBoRKJ6AxHbxzFa5w+2AwkEw55xzTsVBMMRQ5XAVThTjlEMOqyHkE0HsN998c3u6Ghaejz/+2B4scP7559sTJDnUhYMb2A1LRAMENCeBvfXWWzYW55tvvmlD03CQDTE5nRPViAXJaVTt2rWzu5ad/+bACA7MGTBggKlWrZo99IEDFihDvt+7QeaWi9vrxM8NdV0jAsUTcPsOuskZsU2YTE4hJC5w7dq17emPnEZIeDJOLuQ0Vw5hYTxk/PvXv/5lx6X69evba3r16pVz7CFPJwY3Yx6Hb3Gwy7bbbmtFO/Go02DZ/uGHHwyH2nBgDQd6nXfeeTb8mDPW77HHHuass86qOOKeA72YJ/hdkMnLfhVkufUsEfCDgMR2mVTdDiicwkXM0759+1rBjKjm9DBOkuSktQ033NDG0Jw8ebI9+hjhzQlqhJnhJDGO70UQP/HEE3ZSIZg6p7IRb5NjyTkpcuTIkVaQMxERL5uYkM4AzImRTE4IcWK5Ov+NiG3SpIld1mVi5Ehzjl7niOVcv3/00UddEXPLxe114ucKuy4SgaIJuH0H3WSM2EY4f/HFF6ZBgwamQ4cO9qhpDAeOUGacYwzCou3EDkZ0c7ot13Tp0iXn2MPR7U4eCHLGq6uvvtrmtfPOO9tnpkFsMzbPnTvXzh/Lly+380amYYXxn7/985//NBxqAxtOIOSI9yCTl/0qyHLrWSLgBwGJ7TKpuh1Q8E/kuFWOF3cSortHjx5WIJM45h3xzM8aNWqYpUuX2t8zSOKPh7WayWzo0KHm+eeft2IbEYqFnImIo4AZiFlu3WCDDazVo5DYpgyUDZ9uEvdiZedo4Vy/R+i7SW65uL1O/NxQ1zUiUDwBt++gm5wZnzAoODHEWSWbMWOGHZfcim3GrFxjD7GFnTwYRzke2RlPWYmbNGlSKsT2Z599Zvm0bNnS/jzmmGPsqqQz1r/yyitWhDOGk0444QRrsJHYdtODdY0I+ENAYrtMrm4nqkMPPdT07NnT8NNJiGx+54htLDRYhWbPnm2wRDtHFjNIHnXUUeb444+3YvvOO++0y6+IbSa2pk2bWrHNpMbfEMwsyXLiUSGxjUC/4IIL7L2ZKd/v3eJyy8XtdeLnlryuE4HiCLh9B93kyvjEhmysqiRW8KZPn25Pp3UrtnF5yDUmZfpsM/b17t27QmxzuAQudGmwbMMVMT1x4kS7mglfxm+4OasFsOKwKRKrmIhyiW03PVjXiIA/BCS2y+TqdqLCAs0pT/hqz5o1y04UuIuwix43EizRWKwZNHER8Vpss+SKBQQhzxKk898I+q233toK/m222cb6SrL0iOjP9XuWhd0kt1zcXid+bqjrGhEonoDbd9BNzojtE0880bqwEVmEI8iJNIJriCO2hw8fbt5//31r7c7lRoL/ca6xp3379hV54DZRr14960bC+ImfMj7iaRDbzz33nNl0003NPvvsY4jywv4e6s7qJ2KbPT733XefZbtgwQLrgsjR7xLbbnqwrhEBfwhIbJfJ1e1EhW/02WefXbFBEp863D/YqIg/HRuIWApkImrYsKHnYnuXXXYxjRs3tr7hCGrnvznqlv9HzOI+wrHN999/v53s8v3eDTK3XNxeJ35uqOsaESiegNt30E3OuDCwfwRLM8dKs4HxySeftD8dsY04xtJ6xhlnGI7bxuc402fb2SCZPSbhKuLkwaZK3OrI9x//+Ie17j777LN23PIqueXi9jqvyoWxpnPnznZfD5sk27Zta11qnFVM9vnwYQJ/DChsiMeNhE2VQaaguQRZNz1LBIolILFdLLGs6zWg5Abolovb68psptjdLi6xa7LYFlh9LVljGCuT7K3hTAWMJ7iXsKK69957B9pH1a8Cxa2HRZyAxHaZDaQBJVkTVZndwbPb1a88Q6mMChBQX0vWGEbUK9x32AOE9fuggw6ybiRBJ/WroInreVEmILFdZutoQEnWRFVmd/DsdvUrz1AqI4ntkvqA23fQ7XUlFSLGN4lLjBtPRfecgMR2mUiJJYsPIn7WSn8TIM5ro0aNDIcvFEritzqhYvgV4qu/i0AhAnoHVyfE4TuEQ9UYVqj35P67xrDSuOmu5BKQ2C6zbQnHd8QRRwR+OleZxfb19gceeMAQE5cNS4WS+K1OqBh+hfjq7yJQiIDewfLeQfErj1+h/qm/i0ASCEhsl9mKiEp2gnOsutLfBIh8QoQVPkIKJfFbnVAx/Arx1d9FoBABvYPlvYPiVx6/Qv1TfxeBJBCQ2PagFYkLSwxtjlJPeyLkFPF1CeflNonf/0iVws8tZ10nAvkI6B38HxkOgSHEoMaw0t4XjWGlcdNdySYgse1R+zJZTZkyxZ4IyeECafLhxj+PmNyElyLWazGTlINf/Mrj51E3VjYpJqB3sLx3UPzK45fiV09VTwEBiW0PG5nlRPxtJ02aZH788UcPc452Vpx+2aJFC+u37sZ1JF9txK88ftHuJSpdHAjoHSzvHRS/8vjF4R1RGUWgFAIS26VQ0z0iIAIiIAJFE1i8eLGN+Xz77bebRx991Bx77LFF56EbiiPA8e4dOnQwXbt2NVdccYWpXbt2cRnoahEQgbIJSGyXjVAZiIAIiIAIVEbAEdlDhgyxl3HYCiFTt912W4HzmcBnn31mwxiuWLHCEPu6R48e5vLLL5fo9pm7sheBTAIS2+oPIiACIiACvhDIFtm///67fU716tXN0qVLfXmmMl2dALyXL19u/7D22mtXiG4s3bVq1RIyERABnwlIbPsMWNmLgAiIQBoJ9O3b11x77bVW2GFVzUy77rqr+fDDD9OIJZQ6wzs7PC2rC6TrrrvOupcoiYAI+EdAYts/tspZBERABFJLgAhFo0ePNrNnzzaffPKJWbJkSYU1m83U999/f2rZBF3xs88+227eJ9WoUcPUrFnT7LzzzmbHHXc0bdu2NYcddljQRdLzRCBVBCS2U9XcqqwIiIAIBE+gS5cu5oMPPrDW1SpVqphBgwYZQuUpBUPg7rvvNt27d7e+8hyatccee5QUojWY0uopIpA8AhLbyWtT1UgEREAEIkNg+PDhhn8zZsww9evXt9bt8ePHm/333z8yZUx6QTgDAus1vtvz5883e+21l+EDqFOnTkmvuuonApEgILEdiWZQIURABEQgeQTeffddK+z42bhxY3PbbbfZg78WLlyojXkBNjcbVevWrWuIBkMIwOx2CbAoepQIpJKAxHYqm12VFgEREAH/CSC0O3fubP85CQs3v1cKlkA2d1Yb7r33XjN9+vRgC6KniUAKCUhsp7DRVWUREAER8JsAbgqkYcOG+f0o5V8iAdqIaDH33HNPiTnoNhEQATcEJLbdUNI1IiACIiACrglk+mm7vkkXhkJA/tuhYNdDU0ZAYjtlDa7qioAIiICfBBx/YNwW9txzTz8fpbw9ICD/bQ8gKgsRKEBAYltdRAREQAREwDMCufy0PctcGflCQP7bvmBVpiJQQUBiW51BBERABETAEwLy0/YEYyiZyH87FOx6aEoISGynpKFVTREQARHwk4D8tP2kG0ze8t8OhrOekj4CEtvpa3PVWAREQAQ8JSA/bU9xhpaZ/LdDQ68HJ5yAxHbCG1jVEwEREAG/CchP22/CweUv/+3gWOtJ6SEgsZ2etlZNRUAERMBzAvLT9hxp6BlyCFGVKlUUfzv0llABkkJAYjspLal6iIAIiEDABOSnHTDwAB8n/+0AYetRiScgsZ34JlYFRUAERMB7AvLT9p5plHKU/3aUWkNliTsBie24t6DKLwIiIAIhEJCfdgjQA37ksGHDzH333WemT58e8JP1OBFIFgGJ7WS1p2ojAiIgAr4TkJ+274gj8wD5b0emKVSQGBOQ2I5x46noIiACIhA0AflpB008/OfJfzv8NlAJ4k1AYjve7afSi4AIiEBgBOSnHRjqSD1oxowZpkmTJob2b9y4caTKpsKIQBwISGzHoZVURhEQARGIAAH5aUegEUIqgvy3QwKvxyaCgMR2IppRlRABERABfwnIT9tfvnHIXf7bcWgllTGKBCS2o9gqKpMIiIAIRIiA/LQj1BghFmXlypXWnYQPr06dOoVYEj1aBOJFQGI7Xu2l0oqACIhAoATkpx0o7sg/TP7bkW8iFTCCBCS2I9goKpIIiIAIRIWA/LSj0hLRKYf8t6PTFipJPAhIbMejnVRKERABEQicgPy0A0cemwfKfzs2TaWCRoCAxHYEGkFFEAEREIGoEZCfdtRaJFrlkf92tNpDpYk2AYntaLePSicCIiACgROQn3bgyGP5QPlvx7LZVOgQCEhshwBdjxQBERCBKBOQn3aUWydaZZP/drTaQ6WJJgGJ7Wi2i0olAiIgAqEQkJ92KNhj/VD5b8e6+VT4AAhIbAcAWY8QAREQgTgQkJ92HFopemWU/3b02kQlihYBie1otYdKIwIiIAKhEJCfdijYE/NQ+W8npilVER8ISGz7AFVZioAIiEDcCMhPO24tFr3yyn87em2iEkWDgMR2NNpBpRABERCB0AjITzs09Il7sPy3E9ekqpAHBCS2PYCoLERABEQgrgTkpx3XlotmueW/Hc12UanCJSCxHS5/PV0EREAEQiVw7bXXmqOPPtrsueeeoZZDD08OAfy3x40bZ6655prkVEo1EYEyCEhslwFPt4qACIiACIiACIiACIhAZQQkttU/REAEREAEREAEREAERMAnAhLbPoFVtiIgAiIgAiIgAiIgAiIgsa0+IAIiIAIiIAIiIAIiIAI+EZDY9gmsshUBERABERABERABERABiW31AREQAREQAREQAREQARHwiYDEtk9gla0IiIAIiIAIiIAIiIAISGyrD4iACIiACIiACIiACIiATwQktn0Cq2xFQAREQAREQAREQAREQGJbfUAEREAEYkjg8ccfN8OGDTPTpk0zy5cvD60G1apVM/vss4/p0qWLOeWUU4ouR1LqUXTFI3qD2iOiDaNixZqAxHasm0+FFwERSCOBXr16mQkTJpirrrrKHHLIIaZGjRqhYVi6dKkZP368ueGGG8wBBxxgbr75ZtdlSUo9XFc44heqPSLeQCpebAlIbMe26VRwERCBNBLA8jh48GAzefLkUEV2NntEd/PmzU3Pnj1dWbiTUo+k9EG1R1JaUvWIIgGJ7Si2isokAiIgAnkItGzZ0graY445JnKMRo8ebT8EJk6cWLBsSalHwYrG5AK1R0waSsWMJQGJ7Vg2mwotAiKQVgLVq1c3P//8c6Ss2k5bYN2uW7euWbZsWcHmSUo9ClY0JheoPWLSUCpmLAlIbMey2VRoERCBtBJYY401zMqVKyNbfbflc3tdWBWNevm85hL1+ka9fF63h/JLFgGJ7WS1p2ojAiKQcAJRFx1uy+f2urCaM+rl85pL1Osb9fJ53R7KL1kEJLaT1Z6qjQiIQMIJRF10uC2f2+vCas6ol89rLlGvb9TL53V7KL9kEZDYTlZ7qjYiIAIJJxB10eG2fG6vC6s5o14+r7lEvb5RL5/X7aH8kkVAYjtZ7anaiIAIJJxA1EWH2/K5vS6s5ox6+bzmEvX6Rr18XreH8ksWAYntZLWnaiMCIpBwAlEXHW7L5/a6sJoz6uXzmkvU6xv18nndHsovWQQktpPVnqqNCIhAwglUJjoWLlxoevToYV599VUbfo8wfBdeeKHp1q2bpbLuuuuaTz/91Gy66aauKa1YscJcccUV9mTIH374wdSvX7/Se92KoqTUwzXIiF+Yrz287lP0p7XWWst07drV3HbbbRVURo0aZR588EHDz1zJbb+KOGYVL6UEJLZT2vCqtgiIQDwJVCY6OnfubBAzd955p6lZs6b5+OOPTatWrayIOeywwyrEcpUqVVxXvm3btmb33Xc3ffv2Nd9//30gYjtO9XANMuIX5utXXrcF/bN27dpmvfXWM6+99prZaaedLBmJ7Yh3EBWvLAIS22Xh080iIAIiECyBysQ2x6Wff/75pn379hWFmjdvnhXIiO9My/aAAQPMXXfdZRo0aGAQVP379zdff/31apX54IMPrNiuWrVqYGI7TvUItvX9e1q+fuV1WyC2a9WqZW699VYzcuRI88orr0hs+9esyjkiBCS2I9IQKoYIiIAIuCFQmdhGwAwcONBcfvnl5pBDDjE77LDDKlk6YvuXX34xzZo1M5988olZf/31Tbt27cycOXPM559/nrcIQYrtONXDTZvF4Zp8/crrtkBs16hRwyxfvtw0btzYXH/99aZNmzaybMehk6iMJROQ2P6/9s4dFr4gjOJfohCliCgkGkRBy1ZCpaBQ6CQkXtlCJ14JKhGNUBMUCs9CRCg0iFfoVApBVAoRjSAR8s83yW72L7s7s9fcncee25C9c2fO9ztTnJ2de29gdLgQBEAABLJPQLZ3dXd3l5aXl+nw8FCsZEejUbHnOi8vL76yvbe3J1YUeWWRj/X1dRofH7cmbLMmV+rI/gwIZ8R080qnFxy2+dXw/Pfo6Ij6+vrEl779/X3s2Q7HWvRqAQGEbQtMgAQQAAEQUCUgC9uxfn5+fujs7Ix6e3upu7ubRkZG4mF7ZWWF7u/vaXFxUTQ/Pz+nzs5Oq8K2K3Wo+mZ7O5V5pWNOJYZtZtLW1kZ1dXVUVVWFsG37JIG+wAQQtgOjw4UgAAIgkH0CqULR+/s7bW9vU3t7O3Gb2MF7s6+vr2ltbS0etnd2dsSq4tbWlmi2sbFBY2NjVoRt1+rI/gwIZ8Rk8yoML36H7YeHB4pEIjQ1NUX8iwueRhKOv+jVLAGEbbP8MToIgAAIZEQgVdj+/v6myspKsUI9PDwsbojkIMMrhz09PdTf3x8P209PT9TS0kI3NzfiyRDNzc2irQ17tl2rIyPzLG6cbF6F4cXvsM1IeJvT5uYm1dTUIGxbPEcgLTgBhO3g7HAlCIAACGSdQLqf++/u7mhoaIhOT0/p6+uLiouLqauri0ZHR8Vqd+LTSAYHB8Vqd1lZGXV0dNDc3Bzd3t7+V8/LywuVlpaKz/iGtvz8fPH/4+MjlZSUJK1dZTsCX+hLHUEnQOzmVX7ueexQ/SzomOmuS+WH7jmVLGy/vb2JbSS1tbUI22GYiz6NE0DYNm4BBIAACICAOgHVMCvrkfffxp63zVtKeDX86upKdpn0vKo+1XayAU3XIdOX6nxFRYU4lfhrgupnQccMErYzGSssL2RfzjLRiLYgYIIAwrYJ6hgTBEAABAIS0BFSn5+fqby8nC4uLqi6ulrcQMnPPk58o19AeWlXrBP79KWOoJxsu+6vfoQ5pxC2bZst0JMpAYTtTImhPQiAAAgYJPDXUBSTvrCwQNPT08T7cvl5x0tLS1RUVPTnylT1qbaTCTJdh0yfK+d1+BGWFwjbrswi6ExFAGEbcwMEQAAEHCKgIxSFWa6qPtV2YWpN17ft+nRzsb1e2/Xp9gP9+UUAYdsvP1ENCICA5wRsDx2q+lTbmbLTdn26udher+36dPuB/vwigLDtl5+oBgRAwHMCtocOVX2q7UzZabs+3Vxsr9d2fbr9QH9+EUDY9stPVAMCIOA5AX7V9evrKxUUFFhX6cfHBxUWFtLn56dUmy91SAt1pAH8cMQoyHSSAMK2k7ZBNAiAQK4SaGhooIGBAWptbbUOAb+ZcnZ2lo6Pj6XafKlDWqgjDeCHI0ZBppMEELadtA2iQQAEcpXA6uqqCLQnJydWrW7zqnZ9fb34IsCvjJcdvtQhq9OV8/DDFaeg00UCCNsuugbNIAACOU2A3/7IL6KZmJigpqYmo6GbQ/bBwQFNTk5SY2MjzczMKHvjSx3KBVveEH5YbhDkOUsAYdtZ6yAcBEAglwnwSuT8/DxdXl6KV6mbOvgV7pFIhKLRqNKK9m+dvtRhir/uceGHbqLoDwSI/gGAmo2GiWgylwAAAABJRU5ErkJggg==)

How a light client can update its view of the Ethereum header chain. Once you have the header chain, you can use Merkle proofs to validate any state object. And once you have the right L1 state objects, you can use Merkle proofs (and possibly signatures, if you want to check preconfirmations) to validate any state object on L2. Helios does the former already. Extending to the latter is a standardization challenge.


  • Keystore wallets: today, if you want to update the keys that control your smart contract wallet, you have to do it on all N chains on which that wallet exists. Keystore wallets are a technique that allow the keys to exist in one place (either on L1, or later potentially on an L2), and then be read from any L2 that has a copy of the wallet. This means that updates only need to happen once. To be efficient, keystore wallets require L2s to have a standardized way to costlessly read L1; two proposals for this are L1SLOAD and REMOTESTATICCALL.

A stylized diagram of how keystore wallets work.


  • More radical “shared token bridge” ideas: imagine a world where all L2s are validity proof rollups, that commit to Ethereum every slot. Even in this world, moving assets from one L2 to another L2 “natively” would require withdrawaing and depositing, which requires paying a substantial amount of L1 gas. One way to solve this is to create a shared minimal rollup, whose only function would be to maintain the balances of how many tokens of which type are owned by which L2, and allow those balances to be updated en masse by a series of cross-L2 send operations initiated by any of the L2s. This would allow cross-L2 transfers to happen without needing to pay L1 gas per transfer, and without needing liquidity-provider-based techniques like ERC-7683.

  • Synchronous composability: allow synchronous calls to happen either between a specific L2 and L1, or between multiple L2s. This could be helpful in improving financial efficiency of defi protocols. The former could be done without any cross-L2 coordination; the latter would require shared sequencing. Based rollups are automatically friendly to all of these techniques.

What are some links to existing research?

What is left to do, and what are the tradeoffs?

Many of the examples above face standard dilemmas of when to standardize and what layers to standardize. If you standardize too early, you risk entrenching an inferior solution. If you standardize too late, you risk creating needless fragmentation. In some cases, there is both a short-term solution that has weaker properties but is easier to implement, and a long-term solution that is “ultimately right” but will take quite a few years to get there.

One way in which this section is unique, is that these tasks are not just technical problems: they are also (perhaps even primarily!) social problems. They require L2s and wallets and L1 to cooperate. Our ability to handle this problem successfully is a test of our ability to stick together as a community.

How does it interact with other parts of the roadmap?

Most of these proposals are “higher-layer” constructions, and so do not greatly affect L1 considerations. One exception is shared sequencing, which has heavy impacts on MEV.

Scaling execution on L1

What problem are we solving?

If L2s become very scalable and successful but L1 remains capable of processing only a very low volume of transactions, there are many risks to Ethereum that might arise:

  1. The economic situation of ETH the asset becomes more risky, which in turn affects long-run security of the network.
  2. Many L2s benefit from being closely tied to a highly developed financial ecosystem on L1, and if this ecosystem greatly weakens, the incentive to become an L2 (instead of being an independent L1) weakens
  3. It will take a long time before L2s have exactly the same security assurances as L1.
  4. If an L2 fails (eg. due to a malicious or disappearing operator), users would still need to go through L1 in order to recover their assets. Hence, L1 needs to be powerful enough to be able to at least occasionally actually handle a highly complex and chaotic wind-down of an L2.

For these reasons, it is valuable to continue scaling L1 itself, and making sure that it can continue to accommodate a growing number of uses.

What is it and how does it work?

The easiest way to scale is to simply increase the gas limit. However, this risks centralizing the L1, and thus weakening the other important property that makes the Ethereum L1 so powerful: its credibility as a robust base layer. There is an ongoing debate about what degree of simple gas limit increase is sustainable, and this also changes based on which other technologies get implemented to make larger blocks easier to verify (eg. history expiry, statelessness, L1 EVM validity proofs). Another important thing to keep improving is simply the efficiency of Ethereum client software, which is far more optimized today than it was five years ago. An effective L1 gas limit increase strategy would involve accelerating these verification technologies.

Another scaling strategy involves identifying specific features and types of computation that can be made cheaper without harming the decentralization of the network or its security properties. Examples of this include:

  • EOF - a new EVM bytecode format that is more friendly to static analysis, allowing for faster implementations. EOF bytecode could be given lower gas costs to take these efficiencies into account.
  • Multidimensional gas pricing - establishing separate basefees and limits for computation, data and storage can increase the Ethereum L1’s average capacity without increasing its maximum capacity (and hence creating new security risks).
  • Reduce gas costs of specific opcodes and precompiles - historically, we have had several rounds of increasing gas costs for certain operations that were underpriced in order to avoid denial of service attacks. What we have had less of, and could do much more, is reducing gas costs for operations that are overpriced. For example, addition is much cheaper than multiplication, but the costs of the ADD and MUL opcodes are currently the same. We could make ADD cheaper, and even simpler opcodes such as PUSH even cheaper.
  • EVM-MAX and SIMD: EVM-MAX (“modular arithmetic extensions”) is a proposal to allow more efficient native big-number modular math as a separate module of the EVM. Values computed by EVM-MAX computations would only be accessible by other EVM-MAX opcodes, unless deliberately exported; this allows greater room to store these values in optimized formats. SIMD (“single instruction multiple data”) is a proposal to allow efficiently executing the same instruction on an array of values. The two together can create a powerful coprocessor alongside the EVM that could be used to much more efficiently implement cryptographic operations. This would be especially useful for privacy protocols, and for L2 proof systems, so it would help both L1 and L2 scaling.

These improvements will be discussed in more detail in a future post on the Splurge.

Finally, a third strategy is native rollups (or “enshrined rollups”): essentially, creating many copies of the EVM that run in parallel, leading to a model that is equivalent to what rollups can provide, but much more natively integrated into the protocol.

What are some links to existing research?

What is left to do, and what are the tradeoffs?

There are three strategies for L1 scaling, which can be pursued individually or in parallel:

  • Improve technology (eg. client code, stateless clients, history expiry) to make the L1 easier to verify, and then raise the gas limit
  • Make specific operations cheaper, increasing average capacity without increasing worst-case risks
  • Native rollups (ie. “create N parallel copies of the EVM”, though potentially giving developers a lot of flexibility in the parameters of the copies they deploy)

It’s worth understanding that these are different techniques that have different tradeoffs. For example, native rollups have many of the same weaknesses in composability as regular rollups: you cannot send a single transaction that synchronously performs operations across many of them, like you can with contracts on the same L1 (or L2). Raising the gas limit takes away from other benefits that can be achieved by making the L1 easier to verify, such as increasing the portion of users that run verifying nodes, and increasing solo stakers. Making specific operations in the EVM cheaper, depending on how it’s done, can increase total EVM complexity.

A big question that any L1 scaling roadmap needs to answer is: what is the ultimate vision for what belongs on L1 and what belongs on L2? Clearly, it’s absurd for everything to go on L1: the potential use cases go into the hundreds of thousands of transactions per second, and that would make the L1 completely unviable to verify (unless we go the native rollup route). But we do need some guiding principle, so that we can make sure that we are not creating a situation where we increase the gas limit 10x, heavily damage the Ethereum L1’s decentralization, and find that we’ve only gotten to a world where instead of 99% of activity being on L2, 90% of activity is on L2, and so the result otherwise looks almost the same, except for an irreversible loss of much of what makes Ethereum L1 special.


One proposed view of a “division of labor” between L1 and L2s, source.


How does it interact with other parts of the roadmap?

Bringing more users onto L1 implies improving not just scale, but also other aspects of L1. It means that more MEV will remain on L1 (as opposed to becoming a problem just for L2s), and so will be even more of a pressing need to handle it explicitly. It greatly increases the value of having fast slot times on L1. And it’s also heavily dependent on verification of L1 (“the Verge”) going well.