Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• 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, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•  contract HOPPY is Context, IERC20, ... *
•    - 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 _approve(address owner, addr ...
•    - function _transfer(address from, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-04-22
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.17;

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

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);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

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;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

contract HOPPY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 10_000_000_000 * 10 ** _decimals;
    string private constant _name = unicode"HOPPY";
    string private constant _symbol = unicode"HOPPY";

    constructor () {
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

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

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

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

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        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 _transfer(address from, address to, uint256 amount) internal virtual
    {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        _balances[from] = fromBalance - amount;

        _balances[to] = _balances[to].add(amount);
        emit Transfer(from, to, amount);
    }
}

• 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":"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":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","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":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","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"}]

60806040523480156200001157600080fd5b50600062000024620001d460201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506012600a620000d2919062000376565b6402540be400620000e49190620003c7565b60016000620000f8620001d460201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000146620001d460201b60201c565b73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6012600a620001a5919062000376565b6402540be400620001b79190620003c7565b604051620001c6919062000423565b60405180910390a362000440565b600033905090565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200026a57808604811115620002425762000241620001dc565b5b6001851615620002525780820291505b808102905062000262856200020b565b945062000222565b94509492505050565b60008262000285576001905062000358565b8162000295576000905062000358565b8160018114620002ae5760028114620002b957620002ef565b600191505062000358565b60ff841115620002ce57620002cd620001dc565b5b8360020a915084821115620002e857620002e7620001dc565b5b5062000358565b5060208310610133831016604e8410600b8410161715620003295782820a905083811115620003235762000322620001dc565b5b62000358565b62000338848484600162000218565b92509050818404811115620003525762000351620001dc565b5b81810290505b9392505050565b6000819050919050565b600060ff82169050919050565b600062000383826200035f565b9150620003908362000369565b9250620003bf7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000273565b905092915050565b6000620003d4826200035f565b9150620003e1836200035f565b9250828202620003f1816200035f565b915082820484148315176200040b576200040a620001dc565b5b5092915050565b6200041d816200035f565b82525050565b60006020820190506200043a600083018462000412565b92915050565b61150180620004506000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c806370a082311161007157806370a0823114610168578063715018a6146101985780638da5cb5b146101a257806395d89b41146101c0578063a9059cbb146101de578063dd62ed3e1461020e576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b661023e565b6040516100c39190610c1e565b60405180910390f35b6100e660048036038101906100e19190610cd9565b61027b565b6040516100f39190610d34565b60405180910390f35b610104610299565b6040516101119190610d5e565b60405180910390f35b610134600480360381019061012f9190610d79565b6102be565b6040516101419190610d34565b60405180910390f35b610152610397565b60405161015f9190610de8565b60405180910390f35b610182600480360381019061017d9190610e03565b6103a0565b60405161018f9190610d5e565b60405180910390f35b6101a06103e9565b005b6101aa61053c565b6040516101b79190610e3f565b60405180910390f35b6101c8610565565b6040516101d59190610c1e565b60405180910390f35b6101f860048036038101906101f39190610cd9565b6105a2565b6040516102059190610d34565b60405180910390f35b61022860048036038101906102239190610e5a565b6105c0565b6040516102359190610d5e565b60405180910390f35b60606040518060400160405280600581526020017f484f505059000000000000000000000000000000000000000000000000000000815250905090565b600061028f610288610647565b848461064f565b6001905092915050565b60006012600a6102a99190610ffc565b6402540be4006102b99190611047565b905090565b60006102cb848484610818565b61038c846102d7610647565b610387856040518060600160405280602881526020016114a460289139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061033d610647565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610acc9092919063ffffffff16565b61064f565b600190509392505050565b60006012905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6103f1610647565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461047e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610475906110d5565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600581526020017f484f505059000000000000000000000000000000000000000000000000000000815250905090565b60006105b66105af610647565b8484610818565b6001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b590611167565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361072d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610724906111f9565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161080b9190610d5e565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161087e9061128b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ed9061131d565b60405180910390fd5b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508181101561097d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610974906113af565b60405180910390fd5b818161098991906113cf565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a1e82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b3090919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610abe9190610d5e565b60405180910390a350505050565b6000838311158290610b14576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0b9190610c1e565b60405180910390fd5b5060008385610b2391906113cf565b9050809150509392505050565b6000808284610b3f9190611403565b905083811015610b84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7b90611483565b60405180910390fd5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610bc8578082015181840152602081019050610bad565b60008484015250505050565b6000601f19601f8301169050919050565b6000610bf082610b8e565b610bfa8185610b99565b9350610c0a818560208601610baa565b610c1381610bd4565b840191505092915050565b60006020820190508181036000830152610c388184610be5565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610c7082610c45565b9050919050565b610c8081610c65565b8114610c8b57600080fd5b50565b600081359050610c9d81610c77565b92915050565b6000819050919050565b610cb681610ca3565b8114610cc157600080fd5b50565b600081359050610cd381610cad565b92915050565b60008060408385031215610cf057610cef610c40565b5b6000610cfe85828601610c8e565b9250506020610d0f85828601610cc4565b9150509250929050565b60008115159050919050565b610d2e81610d19565b82525050565b6000602082019050610d496000830184610d25565b92915050565b610d5881610ca3565b82525050565b6000602082019050610d736000830184610d4f565b92915050565b600080600060608486031215610d9257610d91610c40565b5b6000610da086828701610c8e565b9350506020610db186828701610c8e565b9250506040610dc286828701610cc4565b9150509250925092565b600060ff82169050919050565b610de281610dcc565b82525050565b6000602082019050610dfd6000830184610dd9565b92915050565b600060208284031215610e1957610e18610c40565b5b6000610e2784828501610c8e565b91505092915050565b610e3981610c65565b82525050565b6000602082019050610e546000830184610e30565b92915050565b60008060408385031215610e7157610e70610c40565b5b6000610e7f85828601610c8e565b9250506020610e9085828601610c8e565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115610f2057808604811115610efc57610efb610e9a565b5b6001851615610f0b5780820291505b8081029050610f1985610ec9565b9450610ee0565b94509492505050565b600082610f395760019050610ff5565b81610f475760009050610ff5565b8160018114610f5d5760028114610f6757610f96565b6001915050610ff5565b60ff841115610f7957610f78610e9a565b5b8360020a915084821115610f9057610f8f610e9a565b5b50610ff5565b5060208310610133831016604e8410600b8410161715610fcb5782820a905083811115610fc657610fc5610e9a565b5b610ff5565b610fd88484846001610ed6565b92509050818404811115610fef57610fee610e9a565b5b81810290505b9392505050565b600061100782610ca3565b915061101283610dcc565b925061103f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f29565b905092915050565b600061105282610ca3565b915061105d83610ca3565b925082820261106b81610ca3565b9150828204841483151761108257611081610e9a565b5b5092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006110bf602083610b99565b91506110ca82611089565b602082019050919050565b600060208201905081810360008301526110ee816110b2565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611151602483610b99565b915061115c826110f5565b604082019050919050565b6000602082019050818103600083015261118081611144565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006111e3602283610b99565b91506111ee82611187565b604082019050919050565b60006020820190508181036000830152611212816111d6565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611275602583610b99565b915061128082611219565b604082019050919050565b600060208201905081810360008301526112a481611268565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611307602383610b99565b9150611312826112ab565b604082019050919050565b60006020820190508181036000830152611336816112fa565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611399602683610b99565b91506113a48261133d565b604082019050919050565b600060208201905081810360008301526113c88161138c565b9050919050565b60006113da82610ca3565b91506113e583610ca3565b92508282039050818111156113fd576113fc610e9a565b5b92915050565b600061140e82610ca3565b915061141983610ca3565b925082820190508082111561143157611430610e9a565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b600061146d601b83610b99565b915061147882611437565b602082019050919050565b6000602082019050818103600083015261149c81611460565b905091905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206c3205f00aa46b1a1cb72ab5337f756c2b279d12ae4c8e3a6ac755c8555f78f664736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c806370a082311161007157806370a0823114610168578063715018a6146101985780638da5cb5b146101a257806395d89b41146101c0578063a9059cbb146101de578063dd62ed3e1461020e576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b661023e565b6040516100c39190610c1e565b60405180910390f35b6100e660048036038101906100e19190610cd9565b61027b565b6040516100f39190610d34565b60405180910390f35b610104610299565b6040516101119190610d5e565b60405180910390f35b610134600480360381019061012f9190610d79565b6102be565b6040516101419190610d34565b60405180910390f35b610152610397565b60405161015f9190610de8565b60405180910390f35b610182600480360381019061017d9190610e03565b6103a0565b60405161018f9190610d5e565b60405180910390f35b6101a06103e9565b005b6101aa61053c565b6040516101b79190610e3f565b60405180910390f35b6101c8610565565b6040516101d59190610c1e565b60405180910390f35b6101f860048036038101906101f39190610cd9565b6105a2565b6040516102059190610d34565b60405180910390f35b61022860048036038101906102239190610e5a565b6105c0565b6040516102359190610d5e565b60405180910390f35b60606040518060400160405280600581526020017f484f505059000000000000000000000000000000000000000000000000000000815250905090565b600061028f610288610647565b848461064f565b6001905092915050565b60006012600a6102a99190610ffc565b6402540be4006102b99190611047565b905090565b60006102cb848484610818565b61038c846102d7610647565b610387856040518060600160405280602881526020016114a460289139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061033d610647565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610acc9092919063ffffffff16565b61064f565b600190509392505050565b60006012905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6103f1610647565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461047e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610475906110d5565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600581526020017f484f505059000000000000000000000000000000000000000000000000000000815250905090565b60006105b66105af610647565b8484610818565b6001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b590611167565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361072d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610724906111f9565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161080b9190610d5e565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161087e9061128b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ed9061131d565b60405180910390fd5b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508181101561097d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610974906113af565b60405180910390fd5b818161098991906113cf565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a1e82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b3090919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610abe9190610d5e565b60405180910390a350505050565b6000838311158290610b14576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0b9190610c1e565b60405180910390fd5b5060008385610b2391906113cf565b9050809150509392505050565b6000808284610b3f9190611403565b905083811015610b84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7b90611483565b60405180910390fd5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610bc8578082015181840152602081019050610bad565b60008484015250505050565b6000601f19601f8301169050919050565b6000610bf082610b8e565b610bfa8185610b99565b9350610c0a818560208601610baa565b610c1381610bd4565b840191505092915050565b60006020820190508181036000830152610c388184610be5565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610c7082610c45565b9050919050565b610c8081610c65565b8114610c8b57600080fd5b50565b600081359050610c9d81610c77565b92915050565b6000819050919050565b610cb681610ca3565b8114610cc157600080fd5b50565b600081359050610cd381610cad565b92915050565b60008060408385031215610cf057610cef610c40565b5b6000610cfe85828601610c8e565b9250506020610d0f85828601610cc4565b9150509250929050565b60008115159050919050565b610d2e81610d19565b82525050565b6000602082019050610d496000830184610d25565b92915050565b610d5881610ca3565b82525050565b6000602082019050610d736000830184610d4f565b92915050565b600080600060608486031215610d9257610d91610c40565b5b6000610da086828701610c8e565b9350506020610db186828701610c8e565b9250506040610dc286828701610cc4565b9150509250925092565b600060ff82169050919050565b610de281610dcc565b82525050565b6000602082019050610dfd6000830184610dd9565b92915050565b600060208284031215610e1957610e18610c40565b5b6000610e2784828501610c8e565b91505092915050565b610e3981610c65565b82525050565b6000602082019050610e546000830184610e30565b92915050565b60008060408385031215610e7157610e70610c40565b5b6000610e7f85828601610c8e565b9250506020610e9085828601610c8e565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115610f2057808604811115610efc57610efb610e9a565b5b6001851615610f0b5780820291505b8081029050610f1985610ec9565b9450610ee0565b94509492505050565b600082610f395760019050610ff5565b81610f475760009050610ff5565b8160018114610f5d5760028114610f6757610f96565b6001915050610ff5565b60ff841115610f7957610f78610e9a565b5b8360020a915084821115610f9057610f8f610e9a565b5b50610ff5565b5060208310610133831016604e8410600b8410161715610fcb5782820a905083811115610fc657610fc5610e9a565b5b610ff5565b610fd88484846001610ed6565b92509050818404811115610fef57610fee610e9a565b5b81810290505b9392505050565b600061100782610ca3565b915061101283610dcc565b925061103f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f29565b905092915050565b600061105282610ca3565b915061105d83610ca3565b925082820261106b81610ca3565b9150828204841483151761108257611081610e9a565b5b5092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006110bf602083610b99565b91506110ca82611089565b602082019050919050565b600060208201905081810360008301526110ee816110b2565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611151602483610b99565b915061115c826110f5565b604082019050919050565b6000602082019050818103600083015261118081611144565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006111e3602283610b99565b91506111ee82611187565b604082019050919050565b60006020820190508181036000830152611212816111d6565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611275602583610b99565b915061128082611219565b604082019050919050565b600060208201905081810360008301526112a481611268565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611307602383610b99565b9150611312826112ab565b604082019050919050565b60006020820190508181036000830152611336816112fa565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611399602683610b99565b91506113a48261133d565b604082019050919050565b600060208201905081810360008301526113c88161138c565b9050919050565b60006113da82610ca3565b91506113e583610ca3565b92508282039050818111156113fd576113fc610e9a565b5b92915050565b600061140e82610ca3565b915061141983610ca3565b925082820190508082111561143157611430610e9a565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b600061146d601b83610b99565b915061147882611437565b602082019050919050565b6000602082019050818103600083015261149c81611460565b905091905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206c3205f00aa46b1a1cb72ab5337f756c2b279d12ae4c8e3a6ac755c8555f78f664736f6c63430008110033

2712:2768:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3288:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4121:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3565:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4290:313;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3474:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3668:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2555:148;;;:::i;:::-;;2341:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3379:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3795:167;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3970:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3288:83;3325:13;3358:5;;;;;;;;;;;;;;;;;3351:12;;3288:83;:::o;4121:161::-;4196:4;4213:39;4222:12;:10;:12::i;:::-;4236:7;4245:6;4213:8;:39::i;:::-;4270:4;4263:11;;4121:161;;;;:::o;3565:95::-;3618:7;2961:2;3022;:15;;;;:::i;:::-;3005:14;:32;;;;:::i;:::-;3638:14;;3565:95;:::o;4290:313::-;4388:4;4405:36;4415:6;4423:9;4434:6;4405:9;:36::i;:::-;4452:121;4461:6;4469:12;:10;:12::i;:::-;4483:89;4521:6;4483:89;;;;;;;;;;;;;;;;;:11;:19;4495:6;4483:19;;;;;;;;;;;;;;;:33;4503:12;:10;:12::i;:::-;4483:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;4452:8;:121::i;:::-;4591:4;4584:11;;4290:313;;;;;:::o;3474:83::-;3515:5;2961:2;3533:16;;3474:83;:::o;3668:119::-;3734:7;3761:9;:18;3771:7;3761:18;;;;;;;;;;;;;;;;3754:25;;3668:119;;;:::o;2555:148::-;2478:12;:10;:12::i;:::-;2468:22;;:6;;;;;;;;;;:22;;;2460:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;2662:1:::1;2625:40;;2646:6;::::0;::::1;;;;;;;;2625:40;;;;;;;;;;;;2693:1;2676:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;2555:148::o:0;2341:79::-;2379:7;2406:6;;;;;;;;;;;2399:13;;2341:79;:::o;3379:87::-;3418:13;3451:7;;;;;;;;;;;;;;;;;3444:14;;3379:87;:::o;3795:167::-;3873:4;3890:42;3900:12;:10;:12::i;:::-;3914:9;3925:6;3890:9;:42::i;:::-;3950:4;3943:11;;3795:167;;;;:::o;3970:143::-;4051:7;4078:11;:18;4090:5;4078:18;;;;;;;;;;;;;;;:27;4097:7;4078:27;;;;;;;;;;;;;;;;4071:34;;3970:143;;;;:::o;96:98::-;149:7;176:10;169:17;;96:98;:::o;4611:335::-;4721:1;4704:19;;:5;:19;;;4696:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4802:1;4783:21;;:7;:21;;;4775:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4884:6;4854:11;:18;4866:5;4854:18;;;;;;;;;;;;;;;:27;4873:7;4854:27;;;;;;;;;;;;;;;:36;;;;4922:7;4906:32;;4915:5;4906:32;;;4931:6;4906:32;;;;;;:::i;:::-;;;;;;;;4611:335;;;:::o;4954:523::-;5072:1;5056:18;;:4;:18;;;5048:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;5149:1;5135:16;;:2;:16;;;5127:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;5204:19;5226:9;:15;5236:4;5226:15;;;;;;;;;;;;;;;;5204:37;;5275:6;5260:11;:21;;5252:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;5367:6;5353:11;:20;;;;:::i;:::-;5335:9;:15;5345:4;5335:15;;;;;;;;;;;;;;;:38;;;;5402:25;5420:6;5402:9;:13;5412:2;5402:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5386:9;:13;5396:2;5386:13;;;;;;;;;;;;;;;:41;;;;5458:2;5443:26;;5452:4;5443:26;;;5462:6;5443:26;;;;;;:::i;:::-;;;;;;;;5037:440;4954:523;;;:::o;1233:190::-;1319:7;1352:1;1347;:6;;1355:12;1339:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;1379:9;1395:1;1391;:5;;;;:::i;:::-;1379:17;;1414:1;1407:8;;;1233:190;;;;;:::o;902:179::-;960:7;980:9;996:1;992;:5;;;;:::i;:::-;980:17;;1021:1;1016;:6;;1008:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;1072:1;1065:8;;;902:179;;;;:::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:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::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:102;6248:8;6295:5;6292:1;6288:13;6267:34;;6206:102;;;:::o;6314:848::-;6375:5;6382:4;6406:6;6397:15;;6430:5;6421:14;;6444:712;6465:1;6455:8;6452:15;6444:712;;;6560:4;6555:3;6551:14;6545:4;6542:24;6539:50;;;6569:18;;:::i;:::-;6539:50;6619:1;6609:8;6605:16;6602:451;;;7034:4;7027:5;7023:16;7014:25;;6602:451;7084:4;7078;7074:15;7066:23;;7114:32;7137:8;7114:32;:::i;:::-;7102:44;;6444:712;;;6314:848;;;;;;;:::o;7168:1073::-;7222:5;7413:8;7403:40;;7434:1;7425:10;;7436:5;;7403:40;7462:4;7452:36;;7479:1;7470:10;;7481:5;;7452:36;7548:4;7596:1;7591:27;;;;7632:1;7627:191;;;;7541:277;;7591:27;7609:1;7600:10;;7611:5;;;7627:191;7672:3;7662:8;7659:17;7656:43;;;7679:18;;:::i;:::-;7656:43;7728:8;7725:1;7721:16;7712:25;;7763:3;7756:5;7753:14;7750:40;;;7770:18;;:::i;:::-;7750:40;7803:5;;;7541:277;;7927:2;7917:8;7914:16;7908:3;7902:4;7899:13;7895:36;7877:2;7867:8;7864:16;7859:2;7853:4;7850:12;7846:35;7830:111;7827:246;;;7983:8;7977:4;7973:19;7964:28;;8018:3;8011:5;8008:14;8005:40;;;8025:18;;:::i;:::-;8005:40;8058:5;;7827:246;8098:42;8136:3;8126:8;8120:4;8117:1;8098:42;:::i;:::-;8083:57;;;;8172:4;8167:3;8163:14;8156:5;8153:25;8150:51;;;8181:18;;:::i;:::-;8150:51;8230:4;8223:5;8219:16;8210:25;;7168:1073;;;;;;:::o;8247:281::-;8305:5;8329:23;8347:4;8329:23;:::i;:::-;8321:31;;8373:25;8389:8;8373:25;:::i;:::-;8361:37;;8417:104;8454:66;8444:8;8438:4;8417:104;:::i;:::-;8408:113;;8247:281;;;;:::o;8534:410::-;8574:7;8597:20;8615:1;8597:20;:::i;:::-;8592:25;;8631:20;8649:1;8631:20;:::i;:::-;8626:25;;8686:1;8683;8679:9;8708:30;8726:11;8708:30;:::i;:::-;8697:41;;8887:1;8878:7;8874:15;8871:1;8868:22;8848:1;8841:9;8821:83;8798:139;;8917:18;;:::i;:::-;8798:139;8582:362;8534:410;;;;:::o;8950:182::-;9090:34;9086:1;9078:6;9074:14;9067:58;8950:182;:::o;9138:366::-;9280:3;9301:67;9365:2;9360:3;9301:67;:::i;:::-;9294:74;;9377:93;9466:3;9377:93;:::i;:::-;9495:2;9490:3;9486:12;9479:19;;9138:366;;;:::o;9510:419::-;9676:4;9714:2;9703:9;9699:18;9691:26;;9763:9;9757:4;9753:20;9749:1;9738:9;9734:17;9727:47;9791:131;9917:4;9791:131;:::i;:::-;9783:139;;9510:419;;;:::o;9935:223::-;10075:34;10071:1;10063:6;10059:14;10052:58;10144:6;10139:2;10131:6;10127:15;10120:31;9935:223;:::o;10164:366::-;10306:3;10327:67;10391:2;10386:3;10327:67;:::i;:::-;10320:74;;10403:93;10492:3;10403:93;:::i;:::-;10521:2;10516:3;10512:12;10505:19;;10164:366;;;:::o;10536:419::-;10702:4;10740:2;10729:9;10725:18;10717:26;;10789:9;10783:4;10779:20;10775:1;10764:9;10760:17;10753:47;10817:131;10943:4;10817:131;:::i;:::-;10809:139;;10536:419;;;:::o;10961:221::-;11101:34;11097:1;11089:6;11085:14;11078:58;11170:4;11165:2;11157:6;11153:15;11146:29;10961:221;:::o;11188:366::-;11330:3;11351:67;11415:2;11410:3;11351:67;:::i;:::-;11344:74;;11427:93;11516:3;11427:93;:::i;:::-;11545:2;11540:3;11536:12;11529:19;;11188:366;;;:::o;11560:419::-;11726:4;11764:2;11753:9;11749:18;11741:26;;11813:9;11807:4;11803:20;11799:1;11788:9;11784:17;11777:47;11841:131;11967:4;11841:131;:::i;:::-;11833:139;;11560:419;;;:::o;11985:224::-;12125:34;12121:1;12113:6;12109:14;12102:58;12194:7;12189:2;12181:6;12177:15;12170:32;11985:224;:::o;12215:366::-;12357:3;12378:67;12442:2;12437:3;12378:67;:::i;:::-;12371:74;;12454:93;12543:3;12454:93;:::i;:::-;12572:2;12567:3;12563:12;12556:19;;12215:366;;;:::o;12587:419::-;12753:4;12791:2;12780:9;12776:18;12768:26;;12840:9;12834:4;12830:20;12826:1;12815:9;12811:17;12804:47;12868:131;12994:4;12868:131;:::i;:::-;12860:139;;12587:419;;;:::o;13012:222::-;13152:34;13148:1;13140:6;13136:14;13129:58;13221:5;13216:2;13208:6;13204:15;13197:30;13012:222;:::o;13240:366::-;13382:3;13403:67;13467:2;13462:3;13403:67;:::i;:::-;13396:74;;13479:93;13568:3;13479:93;:::i;:::-;13597:2;13592:3;13588:12;13581:19;;13240:366;;;:::o;13612:419::-;13778:4;13816:2;13805:9;13801:18;13793:26;;13865:9;13859:4;13855:20;13851:1;13840:9;13836:17;13829:47;13893:131;14019:4;13893:131;:::i;:::-;13885:139;;13612:419;;;:::o;14037:225::-;14177:34;14173:1;14165:6;14161:14;14154:58;14246:8;14241:2;14233:6;14229:15;14222:33;14037:225;:::o;14268:366::-;14410:3;14431:67;14495:2;14490:3;14431:67;:::i;:::-;14424:74;;14507:93;14596:3;14507:93;:::i;:::-;14625:2;14620:3;14616:12;14609:19;;14268:366;;;:::o;14640:419::-;14806:4;14844:2;14833:9;14829:18;14821:26;;14893:9;14887:4;14883:20;14879:1;14868:9;14864:17;14857:47;14921:131;15047:4;14921:131;:::i;:::-;14913:139;;14640:419;;;:::o;15065:194::-;15105:4;15125:20;15143:1;15125:20;:::i;:::-;15120:25;;15159:20;15177:1;15159:20;:::i;:::-;15154:25;;15203:1;15200;15196:9;15188:17;;15227:1;15221:4;15218:11;15215:37;;;15232:18;;:::i;:::-;15215:37;15065:194;;;;:::o;15265:191::-;15305:3;15324:20;15342:1;15324:20;:::i;:::-;15319:25;;15358:20;15376:1;15358:20;:::i;:::-;15353:25;;15401:1;15398;15394:9;15387:16;;15422:3;15419:1;15416:10;15413:36;;;15429:18;;:::i;:::-;15413:36;15265:191;;;;:::o;15462:177::-;15602:29;15598:1;15590:6;15586:14;15579:53;15462:177;:::o;15645:366::-;15787:3;15808:67;15872:2;15867:3;15808:67;:::i;:::-;15801:74;;15884:93;15973:3;15884:93;:::i;:::-;16002:2;15997:3;15993:12;15986:19;;15645:366;;;:::o;16017:419::-;16183:4;16221:2;16210:9;16206:18;16198:26;;16270:9;16264:4;16260:20;16256:1;16245:9;16241:17;16234:47;16298:131;16424:4;16298:131;:::i;:::-;16290:139;;16017:419;;;:::o

ipfs://6c3205f00aa46b1a1cb72ab5337f756c2b279d12ae4c8e3a6ac755c8555f78f6