Contract

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(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function _msgSender()
•    - function _msgData()
•  contract ERC20 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(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•  contract REEYToken is ERC20 *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-06-04
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.17;

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

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

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

    function _msgData() internal view virtual returns (bytes calldata) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

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

    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    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) {
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
            unchecked {
                _approve(sender, _msgSender(), currentAllowance - amount);
            }
        }

        _transfer(sender, recipient, amount);

        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

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

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), 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 _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

contract REEYToken is ERC20 {
    constructor () ERC20("Red-Eyed-Frog", "REEY") 
    {    
        _mint(msg.sender, 250_000_000_000 * (10 ** 18));
    }
}

• 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":"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":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","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":"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"}]

60806040523480156200001157600080fd5b506040518060400160405280600d81526020017f5265642d457965642d46726f67000000000000000000000000000000000000008152506040518060400160405280600481526020017f524545590000000000000000000000000000000000000000000000000000000081525081600390816200008f9190620004c5565b508060049081620000a19190620004c5565b505050620000c3336c0327cb2734119d3b7a90000000620000c960201b60201c565b620006c7565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036200013b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000132906200060d565b60405180910390fd5b6200014f600083836200024160201b60201c565b80600260008282546200016391906200065e565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620001ba91906200065e565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002219190620006aa565b60405180910390a36200023d600083836200024660201b60201c565b5050565b505050565b505050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620002cd57607f821691505b602082108103620002e357620002e262000285565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200034d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200030e565b6200035986836200030e565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620003a6620003a06200039a8462000371565b6200037b565b62000371565b9050919050565b6000819050919050565b620003c28362000385565b620003da620003d182620003ad565b8484546200031b565b825550505050565b600090565b620003f1620003e2565b620003fe818484620003b7565b505050565b5b8181101562000426576200041a600082620003e7565b60018101905062000404565b5050565b601f82111562000475576200043f81620002e9565b6200044a84620002fe565b810160208510156200045a578190505b620004726200046985620002fe565b83018262000403565b50505b505050565b600082821c905092915050565b60006200049a600019846008026200047a565b1980831691505092915050565b6000620004b5838362000487565b9150826002028217905092915050565b620004d0826200024b565b67ffffffffffffffff811115620004ec57620004eb62000256565b5b620004f88254620002b4565b620005058282856200042a565b600060209050601f8311600181146200053d576000841562000528578287015190505b620005348582620004a7565b865550620005a4565b601f1984166200054d86620002e9565b60005b82811015620005775784890151825560018201915060208501945060208101905062000550565b8683101562000597578489015162000593601f89168262000487565b8355505b6001600288020188555050505b505050505050565b600082825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000620005f5601f83620005ac565b91506200060282620005bd565b602082019050919050565b600060208201905081810360008301526200062881620005e6565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006200066b8262000371565b9150620006788362000371565b92508282019050808211156200069357620006926200062f565b5b92915050565b620006a48162000371565b82525050565b6000602082019050620006c1600083018462000699565b92915050565b6113a180620006d76000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610c58565b60405180910390f35b6100e660048036038101906100e19190610d13565b610308565b6040516100f39190610d6e565b60405180910390f35b610104610326565b6040516101119190610d98565b60405180910390f35b610134600480360381019061012f9190610db3565b610330565b6040516101419190610d6e565b60405180910390f35b61015261044f565b60405161015f9190610e22565b60405180910390f35b610182600480360381019061017d9190610d13565b610458565b60405161018f9190610d6e565b60405180910390f35b6101b260048036038101906101ad9190610e3d565b610504565b6040516101bf9190610d98565b60405180910390f35b6101d061054c565b6040516101dd9190610c58565b60405180910390f35b61020060048036038101906101fb9190610d13565b6105de565b60405161020d9190610d6e565b60405180910390f35b610230600480360381019061022b9190610d13565b6106c9565b60405161023d9190610d6e565b60405180910390f35b610260600480360381019061025b9190610e6a565b6106e7565b60405161026d9190610d98565b60405180910390f35b60606003805461028590610ed9565b80601f01602080910402602001604051908101604052809291908181526020018280546102b190610ed9565b80156102fe5780601f106102d3576101008083540402835291602001916102fe565b820191906000526020600020905b8154815290600101906020018083116102e157829003601f168201915b5050505050905090565b600061031c61031561076e565b8484610776565b6001905092915050565b6000600254905090565b600080600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061037c61076e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146104385782811015610423576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161041a90610f7c565b60405180910390fd5b6104378561042f61076e565b858403610776565b5b61044385858561093f565b60019150509392505050565b60006012905090565b60006104fa61046561076e565b84846001600061047361076e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104f59190610fcb565b610776565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606004805461055b90610ed9565b80601f016020809104026020016040519081016040528092919081815260200182805461058790610ed9565b80156105d45780601f106105a9576101008083540402835291602001916105d4565b820191906000526020600020905b8154815290600101906020018083116105b757829003601f168201915b5050505050905090565b600080600160006105ed61076e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156106aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a190611071565b60405180910390fd5b6106be6106b561076e565b85858403610776565b600191505092915050565b60006106dd6106d661076e565b848461093f565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107dc90611103565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610854576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084b90611195565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109329190610d98565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a590611227565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a1d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a14906112b9565b60405180910390fd5b610a28838383610bbe565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610aae576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa59061134b565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b419190610fcb565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ba59190610d98565b60405180910390a3610bb8848484610bc3565b50505050565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610c02578082015181840152602081019050610be7565b60008484015250505050565b6000601f19601f8301169050919050565b6000610c2a82610bc8565b610c348185610bd3565b9350610c44818560208601610be4565b610c4d81610c0e565b840191505092915050565b60006020820190508181036000830152610c728184610c1f565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610caa82610c7f565b9050919050565b610cba81610c9f565b8114610cc557600080fd5b50565b600081359050610cd781610cb1565b92915050565b6000819050919050565b610cf081610cdd565b8114610cfb57600080fd5b50565b600081359050610d0d81610ce7565b92915050565b60008060408385031215610d2a57610d29610c7a565b5b6000610d3885828601610cc8565b9250506020610d4985828601610cfe565b9150509250929050565b60008115159050919050565b610d6881610d53565b82525050565b6000602082019050610d836000830184610d5f565b92915050565b610d9281610cdd565b82525050565b6000602082019050610dad6000830184610d89565b92915050565b600080600060608486031215610dcc57610dcb610c7a565b5b6000610dda86828701610cc8565b9350506020610deb86828701610cc8565b9250506040610dfc86828701610cfe565b9150509250925092565b600060ff82169050919050565b610e1c81610e06565b82525050565b6000602082019050610e376000830184610e13565b92915050565b600060208284031215610e5357610e52610c7a565b5b6000610e6184828501610cc8565b91505092915050565b60008060408385031215610e8157610e80610c7a565b5b6000610e8f85828601610cc8565b9250506020610ea085828601610cc8565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610ef157607f821691505b602082108103610f0457610f03610eaa565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b6000610f66602883610bd3565b9150610f7182610f0a565b604082019050919050565b60006020820190508181036000830152610f9581610f59565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610fd682610cdd565b9150610fe183610cdd565b9250828201905080821115610ff957610ff8610f9c565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061105b602583610bd3565b915061106682610fff565b604082019050919050565b6000602082019050818103600083015261108a8161104e565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006110ed602483610bd3565b91506110f882611091565b604082019050919050565b6000602082019050818103600083015261111c816110e0565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b600061117f602283610bd3565b915061118a82611123565b604082019050919050565b600060208201905081810360008301526111ae81611172565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611211602583610bd3565b915061121c826111b5565b604082019050919050565b6000602082019050818103600083015261124081611204565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006112a3602383610bd3565b91506112ae82611247565b604082019050919050565b600060208201905081810360008301526112d281611296565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611335602683610bd3565b9150611340826112d9565b604082019050919050565b6000602082019050818103600083015261136481611328565b905091905056fea26469706673582212202998665d1e4b702f2936a4df9f1fa625a2eabb7cb95aacaaa476fbc22fd0989b64736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610c58565b60405180910390f35b6100e660048036038101906100e19190610d13565b610308565b6040516100f39190610d6e565b60405180910390f35b610104610326565b6040516101119190610d98565b60405180910390f35b610134600480360381019061012f9190610db3565b610330565b6040516101419190610d6e565b60405180910390f35b61015261044f565b60405161015f9190610e22565b60405180910390f35b610182600480360381019061017d9190610d13565b610458565b60405161018f9190610d6e565b60405180910390f35b6101b260048036038101906101ad9190610e3d565b610504565b6040516101bf9190610d98565b60405180910390f35b6101d061054c565b6040516101dd9190610c58565b60405180910390f35b61020060048036038101906101fb9190610d13565b6105de565b60405161020d9190610d6e565b60405180910390f35b610230600480360381019061022b9190610d13565b6106c9565b60405161023d9190610d6e565b60405180910390f35b610260600480360381019061025b9190610e6a565b6106e7565b60405161026d9190610d98565b60405180910390f35b60606003805461028590610ed9565b80601f01602080910402602001604051908101604052809291908181526020018280546102b190610ed9565b80156102fe5780601f106102d3576101008083540402835291602001916102fe565b820191906000526020600020905b8154815290600101906020018083116102e157829003601f168201915b5050505050905090565b600061031c61031561076e565b8484610776565b6001905092915050565b6000600254905090565b600080600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061037c61076e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146104385782811015610423576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161041a90610f7c565b60405180910390fd5b6104378561042f61076e565b858403610776565b5b61044385858561093f565b60019150509392505050565b60006012905090565b60006104fa61046561076e565b84846001600061047361076e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104f59190610fcb565b610776565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606004805461055b90610ed9565b80601f016020809104026020016040519081016040528092919081815260200182805461058790610ed9565b80156105d45780601f106105a9576101008083540402835291602001916105d4565b820191906000526020600020905b8154815290600101906020018083116105b757829003601f168201915b5050505050905090565b600080600160006105ed61076e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156106aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a190611071565b60405180910390fd5b6106be6106b561076e565b85858403610776565b600191505092915050565b60006106dd6106d661076e565b848461093f565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107dc90611103565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610854576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084b90611195565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109329190610d98565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a590611227565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a1d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a14906112b9565b60405180910390fd5b610a28838383610bbe565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610aae576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa59061134b565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b419190610fcb565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ba59190610d98565b60405180910390a3610bb8848484610bc3565b50505050565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610c02578082015181840152602081019050610be7565b60008484015250505050565b6000601f19601f8301169050919050565b6000610c2a82610bc8565b610c348185610bd3565b9350610c44818560208601610be4565b610c4d81610c0e565b840191505092915050565b60006020820190508181036000830152610c728184610c1f565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610caa82610c7f565b9050919050565b610cba81610c9f565b8114610cc557600080fd5b50565b600081359050610cd781610cb1565b92915050565b6000819050919050565b610cf081610cdd565b8114610cfb57600080fd5b50565b600081359050610d0d81610ce7565b92915050565b60008060408385031215610d2a57610d29610c7a565b5b6000610d3885828601610cc8565b9250506020610d4985828601610cfe565b9150509250929050565b60008115159050919050565b610d6881610d53565b82525050565b6000602082019050610d836000830184610d5f565b92915050565b610d9281610cdd565b82525050565b6000602082019050610dad6000830184610d89565b92915050565b600080600060608486031215610dcc57610dcb610c7a565b5b6000610dda86828701610cc8565b9350506020610deb86828701610cc8565b9250506040610dfc86828701610cfe565b9150509250925092565b600060ff82169050919050565b610e1c81610e06565b82525050565b6000602082019050610e376000830184610e13565b92915050565b600060208284031215610e5357610e52610c7a565b5b6000610e6184828501610cc8565b91505092915050565b60008060408385031215610e8157610e80610c7a565b5b6000610e8f85828601610cc8565b9250506020610ea085828601610cc8565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610ef157607f821691505b602082108103610f0457610f03610eaa565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b6000610f66602883610bd3565b9150610f7182610f0a565b604082019050919050565b60006020820190508181036000830152610f9581610f59565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610fd682610cdd565b9150610fe183610cdd565b9250828201905080821115610ff957610ff8610f9c565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061105b602583610bd3565b915061106682610fff565b604082019050919050565b6000602082019050818103600083015261108a8161104e565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006110ed602483610bd3565b91506110f882611091565b604082019050919050565b6000602082019050818103600083015261111c816110e0565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b600061117f602283610bd3565b915061118a82611123565b604082019050919050565b600060208201905081810360008301526111ae81611172565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611211602583610bd3565b915061121c826111b5565b604082019050919050565b6000602082019050818103600083015261124081611204565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006112a3602383610bd3565b91506112ae82611247565b604082019050919050565b600060208201905081810360008301526112d281611296565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611335602683610bd3565b9150611340826112d9565b604082019050919050565b6000602082019050818103600083015261136481611328565b905091905056fea26469706673582212202998665d1e4b702f2936a4df9f1fa625a2eabb7cb95aacaaa476fbc22fd0989b64736f6c63430008110033

6501:160:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1786:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2700:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2107:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2877:573;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2006:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3458:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2223:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1894:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3681:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2358:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2541:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1786:100;1840:13;1873:5;1866:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1786:100;:::o;2700:169::-;2783:4;2800:39;2809:12;:10;:12::i;:::-;2823:7;2832:6;2800:8;:39::i;:::-;2857:4;2850:11;;2700:169;;;;:::o;2107:108::-;2168:7;2195:12;;2188:19;;2107:108;:::o;2877:573::-;3017:4;3034:24;3061:11;:19;3073:6;3061:19;;;;;;;;;;;;;;;:33;3081:12;:10;:12::i;:::-;3061:33;;;;;;;;;;;;;;;;3034:60;;3129:17;3109:16;:37;3105:265;;3191:6;3171:16;:26;;3163:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;3286:57;3295:6;3303:12;:10;:12::i;:::-;3336:6;3317:16;:25;3286:8;:57::i;:::-;3105:265;3382:36;3392:6;3400:9;3411:6;3382:9;:36::i;:::-;3438:4;3431:11;;;2877:573;;;;;:::o;2006:93::-;2064:5;2089:2;2082:9;;2006:93;:::o;3458:215::-;3546:4;3563:80;3572:12;:10;:12::i;:::-;3586:7;3632:10;3595:11;:25;3607:12;:10;:12::i;:::-;3595:25;;;;;;;;;;;;;;;:34;3621:7;3595:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;3563:8;:80::i;:::-;3661:4;3654:11;;3458:215;;;;:::o;2223:127::-;2297:7;2324:9;:18;2334:7;2324:18;;;;;;;;;;;;;;;;2317:25;;2223:127;;;:::o;1894:104::-;1950:13;1983:7;1976:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1894:104;:::o;3681:413::-;3774:4;3791:24;3818:11;:25;3830:12;:10;:12::i;:::-;3818:25;;;;;;;;;;;;;;;:34;3844:7;3818:34;;;;;;;;;;;;;;;;3791:61;;3891:15;3871:16;:35;;3863:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;3984:67;3993:12;:10;:12::i;:::-;4007:7;4035:15;4016:16;:34;3984:8;:67::i;:::-;4082:4;4075:11;;;3681:413;;;;:::o;2358:175::-;2444:4;2461:42;2471:12;:10;:12::i;:::-;2485:9;2496:6;2461:9;:42::i;:::-;2521:4;2514:11;;2358:175;;;;:::o;2541:151::-;2630:7;2657:11;:18;2669:5;2657:18;;;;;;;;;;;;;;;:27;2676:7;2657:27;;;;;;;;;;;;;;;;2650:34;;2541:151;;;;:::o;1032:98::-;1085:7;1112:10;1105:17;;1032:98;:::o;5849:380::-;6002:1;5985:19;;:5;:19;;;5977:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6083:1;6064:21;;:7;:21;;;6056:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6167:6;6137:11;:18;6149:5;6137:18;;;;;;;;;;;;;;;:27;6156:7;6137:27;;;;;;;;;;;;;;;:36;;;;6205:7;6189:32;;6198:5;6189:32;;;6214:6;6189:32;;;;;;:::i;:::-;;;;;;;;5849:380;;;:::o;4102:733::-;4260:1;4242:20;;:6;:20;;;4234:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;4344:1;4323:23;;:9;:23;;;4315:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;4399:47;4420:6;4428:9;4439:6;4399:20;:47::i;:::-;4459:21;4483:9;:17;4493:6;4483:17;;;;;;;;;;;;;;;;4459:41;;4536:6;4519:13;:23;;4511:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;4657:6;4641:13;:22;4621:9;:17;4631:6;4621:17;;;;;;;;;;;;;;;:42;;;;4709:6;4685:9;:20;4695:9;4685:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;4750:9;4733:35;;4742:6;4733:35;;;4761:6;4733:35;;;;;;:::i;:::-;;;;;;;;4781:46;4801:6;4809:9;4820:6;4781:19;:46::i;:::-;4223:612;4102:733;;;:::o;6237:125::-;;;;:::o;6370:124::-;;;;:::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:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:320;5898:6;5935:1;5929:4;5925:12;5915:22;;5982:1;5976:4;5972:12;6003:18;5993:81;;6059:4;6051:6;6047:17;6037:27;;5993:81;6121:2;6113:6;6110:14;6090:18;6087:38;6084:84;;6140:18;;:::i;:::-;6084:84;5905:269;5854:320;;;:::o;6180:227::-;6320:34;6316:1;6308:6;6304:14;6297:58;6389:10;6384:2;6376:6;6372:15;6365:35;6180:227;:::o;6413:366::-;6555:3;6576:67;6640:2;6635:3;6576:67;:::i;:::-;6569:74;;6652:93;6741:3;6652:93;:::i;:::-;6770:2;6765:3;6761:12;6754:19;;6413:366;;;:::o;6785:419::-;6951:4;6989:2;6978:9;6974:18;6966:26;;7038:9;7032:4;7028:20;7024:1;7013:9;7009:17;7002:47;7066:131;7192:4;7066:131;:::i;:::-;7058:139;;6785:419;;;:::o;7210:180::-;7258:77;7255:1;7248:88;7355:4;7352:1;7345:15;7379:4;7376:1;7369:15;7396:191;7436:3;7455:20;7473:1;7455:20;:::i;:::-;7450:25;;7489:20;7507:1;7489:20;:::i;:::-;7484:25;;7532:1;7529;7525:9;7518:16;;7553:3;7550:1;7547:10;7544:36;;;7560:18;;:::i;:::-;7544:36;7396:191;;;;:::o;7593:224::-;7733:34;7729:1;7721:6;7717:14;7710:58;7802:7;7797:2;7789:6;7785:15;7778:32;7593:224;:::o;7823:366::-;7965:3;7986:67;8050:2;8045:3;7986:67;:::i;:::-;7979:74;;8062:93;8151:3;8062:93;:::i;:::-;8180:2;8175:3;8171:12;8164:19;;7823:366;;;:::o;8195:419::-;8361:4;8399:2;8388:9;8384:18;8376:26;;8448:9;8442:4;8438:20;8434:1;8423:9;8419:17;8412:47;8476:131;8602:4;8476:131;:::i;:::-;8468:139;;8195:419;;;:::o;8620:223::-;8760:34;8756:1;8748:6;8744:14;8737:58;8829:6;8824:2;8816:6;8812:15;8805:31;8620:223;:::o;8849:366::-;8991:3;9012:67;9076:2;9071:3;9012:67;:::i;:::-;9005:74;;9088:93;9177:3;9088:93;:::i;:::-;9206:2;9201:3;9197:12;9190:19;;8849:366;;;:::o;9221:419::-;9387:4;9425:2;9414:9;9410:18;9402:26;;9474:9;9468:4;9464:20;9460:1;9449:9;9445:17;9438:47;9502:131;9628:4;9502:131;:::i;:::-;9494:139;;9221:419;;;:::o;9646:221::-;9786:34;9782:1;9774:6;9770:14;9763:58;9855:4;9850:2;9842:6;9838:15;9831:29;9646:221;:::o;9873:366::-;10015:3;10036:67;10100:2;10095:3;10036:67;:::i;:::-;10029:74;;10112:93;10201:3;10112:93;:::i;:::-;10230:2;10225:3;10221:12;10214:19;;9873:366;;;:::o;10245:419::-;10411:4;10449:2;10438:9;10434:18;10426:26;;10498:9;10492:4;10488:20;10484:1;10473:9;10469:17;10462:47;10526:131;10652:4;10526:131;:::i;:::-;10518:139;;10245:419;;;:::o;10670:224::-;10810:34;10806:1;10798:6;10794:14;10787:58;10879:7;10874:2;10866:6;10862:15;10855:32;10670:224;:::o;10900:366::-;11042:3;11063:67;11127:2;11122:3;11063:67;:::i;:::-;11056:74;;11139:93;11228:3;11139:93;:::i;:::-;11257:2;11252:3;11248:12;11241:19;;10900:366;;;:::o;11272:419::-;11438:4;11476:2;11465:9;11461:18;11453:26;;11525:9;11519:4;11515:20;11511:1;11500:9;11496:17;11489:47;11553:131;11679:4;11553:131;:::i;:::-;11545:139;;11272:419;;;:::o;11697:222::-;11837:34;11833:1;11825:6;11821:14;11814:58;11906:5;11901:2;11893:6;11889:15;11882:30;11697:222;:::o;11925:366::-;12067:3;12088:67;12152:2;12147:3;12088:67;:::i;:::-;12081:74;;12164:93;12253:3;12164:93;:::i;:::-;12282:2;12277:3;12273:12;12266:19;;11925:366;;;:::o;12297:419::-;12463:4;12501:2;12490:9;12486:18;12478:26;;12550:9;12544:4;12540:20;12536:1;12525:9;12521:17;12514:47;12578:131;12704:4;12578:131;:::i;:::-;12570:139;;12297:419;;;:::o;12722:225::-;12862:34;12858:1;12850:6;12846:14;12839:58;12931:8;12926:2;12918:6;12914:15;12907:33;12722:225;:::o;12953:366::-;13095:3;13116:67;13180:2;13175:3;13116:67;:::i;:::-;13109:74;;13192:93;13281:3;13192:93;:::i;:::-;13310:2;13305:3;13301:12;13294:19;;12953:366;;;:::o;13325:419::-;13491:4;13529:2;13518:9;13514:18;13506:26;;13578:9;13572:4;13568:20;13564:1;13553:9;13549:17;13542:47;13606:131;13732:4;13606:131;:::i;:::-;13598:139;;13325:419;;;:::o

ipfs://2998665d1e4b702f2936a4df9f1fa625a2eabb7cb95aacaaa476fbc22fd0989b