Token

Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-06-14
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.5;

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

interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

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

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The defaut value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * Requirements:
     *
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        _approve(sender, _msgSender(), currentAllowance - amount);

        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        _approve(_msgSender(), spender, currentAllowance - subtractedValue);

        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    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");
        _balances[sender] = senderBalance - amount;
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     */
    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);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    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");
        _balances[account] = accountBalance - amount;
        _totalSupply -= amount;

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    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);
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be to transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual { }
}


contract Vabble is ERC20 {
    constructor() ERC20("Vabble", "VAB") {
        _mint(msg.sender, 1456250000 * 10 ** decimals());
    }
}

• CertiK - Jun 22nd, 2021 - Security Audit Report

[{"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"}]

60806040523480156200001157600080fd5b506040518060400160405280600681526020017f566162626c6500000000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f56414200000000000000000000000000000000000000000000000000000000008152508160039080519060200190620000969291906200026b565b508060049080519060200190620000af9291906200026b565b505050620000f233620000c7620000f860201b60201c565b600a620000d591906200045b565b6356cc9c90620000e6919062000598565b6200010160201b60201c565b620006da565b60006012905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000174576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200016b9062000353565b60405180910390fd5b62000188600083836200026660201b60201c565b80600260008282546200019c9190620003a3565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620001f39190620003a3565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200025a919062000375565b60405180910390a35050565b505050565b828054620002799062000610565b90600052602060002090601f0160209004810192826200029d5760008555620002e9565b82601f10620002b857805160ff1916838001178555620002e9565b82800160010185558215620002e9579182015b82811115620002e8578251825591602001919060010190620002cb565b5b509050620002f89190620002fc565b5090565b5b8082111562000317576000816000905550600101620002fd565b5090565b60006200032a601f8362000392565b91506200033782620006b1565b602082019050919050565b6200034d81620005f9565b82525050565b600060208201905081810360008301526200036e816200031b565b9050919050565b60006020820190506200038c600083018462000342565b92915050565b600082825260208201905092915050565b6000620003b082620005f9565b9150620003bd83620005f9565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620003f557620003f462000646565b5b828201905092915050565b6000808291508390505b600185111562000452578086048111156200042a576200042962000646565b5b60018516156200043a5780820291505b80810290506200044a85620006a4565b94506200040a565b94509492505050565b60006200046882620005f9565b9150620004758362000603565b9250620004a47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620004ac565b905092915050565b600082620004be576001905062000591565b81620004ce576000905062000591565b8160018114620004e75760028114620004f25762000528565b600191505062000591565b60ff84111562000507576200050662000646565b5b8360020a91508482111562000521576200052062000646565b5b5062000591565b5060208310610133831016604e8410600b8410161715620005625782820a9050838111156200055c576200055b62000646565b5b62000591565b62000571848484600162000400565b925090508184048111156200058b576200058a62000646565b5b81810290505b9392505050565b6000620005a582620005f9565b9150620005b283620005f9565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620005ee57620005ed62000646565b5b828202905092915050565b6000819050919050565b600060ff82169050919050565b600060028204905060018216806200062957607f821691505b6020821081141562000640576200063f62000675565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60008160011c9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6113e980620006ea6000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610e50565b60405180910390f35b6100e660048036038101906100e19190610c9a565b610308565b6040516100f39190610e35565b60405180910390f35b610104610326565b6040516101119190610f52565b60405180910390f35b610134600480360381019061012f9190610c47565b610330565b6040516101419190610e35565b60405180910390f35b610152610431565b60405161015f9190610f6d565b60405180910390f35b610182600480360381019061017d9190610c9a565b61043a565b60405161018f9190610e35565b60405180910390f35b6101b260048036038101906101ad9190610bda565b6104e6565b6040516101bf9190610f52565b60405180910390f35b6101d061052e565b6040516101dd9190610e50565b60405180910390f35b61020060048036038101906101fb9190610c9a565b6105c0565b60405161020d9190610e35565b60405180910390f35b610230600480360381019061022b9190610c9a565b6106b4565b60405161023d9190610e35565b60405180910390f35b610260600480360381019061025b9190610c07565b6106d2565b60405161026d9190610f52565b60405180910390f35b606060038054610285906110b6565b80601f01602080910402602001604051908101604052809291908181526020018280546102b1906110b6565b80156102fe5780601f106102d3576101008083540402835291602001916102fe565b820191906000526020600020905b8154815290600101906020018083116102e157829003601f168201915b5050505050905090565b600061031c610315610759565b8484610761565b6001905092915050565b6000600254905090565b600061033d84848461092c565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610388610759565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ff90610ed2565b60405180910390fd5b61042585610414610759565b85846104209190610ffa565b610761565b60019150509392505050565b60006012905090565b60006104dc610447610759565b848460016000610455610759565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104d79190610fa4565b610761565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606004805461053d906110b6565b80601f0160208091040260200160405190810160405280929190818152602001828054610569906110b6565b80156105b65780601f1061058b576101008083540402835291602001916105b6565b820191906000526020600020905b81548152906001019060200180831161059957829003601f168201915b5050505050905090565b600080600160006105cf610759565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561068c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068390610f32565b60405180910390fd5b6106a9610697610759565b8585846106a49190610ffa565b610761565b600191505092915050565b60006106c86106c1610759565b848461092c565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156107d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c890610f12565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610841576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083890610e92565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161091f9190610f52565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561099c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099390610ef2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a0c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0390610e72565b60405180910390fd5b610a17838383610bab565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610a9d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9490610eb2565b60405180910390fd5b8181610aa99190610ffa565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b399190610fa4565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b9d9190610f52565b60405180910390a350505050565b505050565b600081359050610bbf81611385565b92915050565b600081359050610bd48161139c565b92915050565b600060208284031215610bf057610bef611146565b5b6000610bfe84828501610bb0565b91505092915050565b60008060408385031215610c1e57610c1d611146565b5b6000610c2c85828601610bb0565b9250506020610c3d85828601610bb0565b9150509250929050565b600080600060608486031215610c6057610c5f611146565b5b6000610c6e86828701610bb0565b9350506020610c7f86828701610bb0565b9250506040610c9086828701610bc5565b9150509250925092565b60008060408385031215610cb157610cb0611146565b5b6000610cbf85828601610bb0565b9250506020610cd085828601610bc5565b9150509250929050565b610ce381611040565b82525050565b6000610cf482610f88565b610cfe8185610f93565b9350610d0e818560208601611083565b610d178161114b565b840191505092915050565b6000610d2f602383610f93565b9150610d3a8261115c565b604082019050919050565b6000610d52602283610f93565b9150610d5d826111ab565b604082019050919050565b6000610d75602683610f93565b9150610d80826111fa565b604082019050919050565b6000610d98602883610f93565b9150610da382611249565b604082019050919050565b6000610dbb602583610f93565b9150610dc682611298565b604082019050919050565b6000610dde602483610f93565b9150610de9826112e7565b604082019050919050565b6000610e01602583610f93565b9150610e0c82611336565b604082019050919050565b610e208161106c565b82525050565b610e2f81611076565b82525050565b6000602082019050610e4a6000830184610cda565b92915050565b60006020820190508181036000830152610e6a8184610ce9565b905092915050565b60006020820190508181036000830152610e8b81610d22565b9050919050565b60006020820190508181036000830152610eab81610d45565b9050919050565b60006020820190508181036000830152610ecb81610d68565b9050919050565b60006020820190508181036000830152610eeb81610d8b565b9050919050565b60006020820190508181036000830152610f0b81610dae565b9050919050565b60006020820190508181036000830152610f2b81610dd1565b9050919050565b60006020820190508181036000830152610f4b81610df4565b9050919050565b6000602082019050610f676000830184610e17565b92915050565b6000602082019050610f826000830184610e26565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610faf8261106c565b9150610fba8361106c565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610fef57610fee6110e8565b5b828201905092915050565b60006110058261106c565b91506110108361106c565b925082821015611023576110226110e8565b5b828203905092915050565b60006110398261104c565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156110a1578082015181840152602081019050611086565b838111156110b0576000848401525b50505050565b600060028204905060018216806110ce57607f821691505b602082108114156110e2576110e1611117565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b61138e8161102e565b811461139957600080fd5b50565b6113a58161106c565b81146113b057600080fd5b5056fea26469706673582212209130fd551389d8ac2006ed2f24702bdb9d1176c5d77319c4e57290cdc5ad850364736f6c63430008050033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610e50565b60405180910390f35b6100e660048036038101906100e19190610c9a565b610308565b6040516100f39190610e35565b60405180910390f35b610104610326565b6040516101119190610f52565b60405180910390f35b610134600480360381019061012f9190610c47565b610330565b6040516101419190610e35565b60405180910390f35b610152610431565b60405161015f9190610f6d565b60405180910390f35b610182600480360381019061017d9190610c9a565b61043a565b60405161018f9190610e35565b60405180910390f35b6101b260048036038101906101ad9190610bda565b6104e6565b6040516101bf9190610f52565b60405180910390f35b6101d061052e565b6040516101dd9190610e50565b60405180910390f35b61020060048036038101906101fb9190610c9a565b6105c0565b60405161020d9190610e35565b60405180910390f35b610230600480360381019061022b9190610c9a565b6106b4565b60405161023d9190610e35565b60405180910390f35b610260600480360381019061025b9190610c07565b6106d2565b60405161026d9190610f52565b60405180910390f35b606060038054610285906110b6565b80601f01602080910402602001604051908101604052809291908181526020018280546102b1906110b6565b80156102fe5780601f106102d3576101008083540402835291602001916102fe565b820191906000526020600020905b8154815290600101906020018083116102e157829003601f168201915b5050505050905090565b600061031c610315610759565b8484610761565b6001905092915050565b6000600254905090565b600061033d84848461092c565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610388610759565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ff90610ed2565b60405180910390fd5b61042585610414610759565b85846104209190610ffa565b610761565b60019150509392505050565b60006012905090565b60006104dc610447610759565b848460016000610455610759565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104d79190610fa4565b610761565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606004805461053d906110b6565b80601f0160208091040260200160405190810160405280929190818152602001828054610569906110b6565b80156105b65780601f1061058b576101008083540402835291602001916105b6565b820191906000526020600020905b81548152906001019060200180831161059957829003601f168201915b5050505050905090565b600080600160006105cf610759565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561068c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068390610f32565b60405180910390fd5b6106a9610697610759565b8585846106a49190610ffa565b610761565b600191505092915050565b60006106c86106c1610759565b848461092c565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156107d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c890610f12565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610841576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083890610e92565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161091f9190610f52565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561099c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099390610ef2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610a0c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0390610e72565b60405180910390fd5b610a17838383610bab565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610a9d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9490610eb2565b60405180910390fd5b8181610aa99190610ffa565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b399190610fa4565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b9d9190610f52565b60405180910390a350505050565b505050565b600081359050610bbf81611385565b92915050565b600081359050610bd48161139c565b92915050565b600060208284031215610bf057610bef611146565b5b6000610bfe84828501610bb0565b91505092915050565b60008060408385031215610c1e57610c1d611146565b5b6000610c2c85828601610bb0565b9250506020610c3d85828601610bb0565b9150509250929050565b600080600060608486031215610c6057610c5f611146565b5b6000610c6e86828701610bb0565b9350506020610c7f86828701610bb0565b9250506040610c9086828701610bc5565b9150509250925092565b60008060408385031215610cb157610cb0611146565b5b6000610cbf85828601610bb0565b9250506020610cd085828601610bc5565b9150509250929050565b610ce381611040565b82525050565b6000610cf482610f88565b610cfe8185610f93565b9350610d0e818560208601611083565b610d178161114b565b840191505092915050565b6000610d2f602383610f93565b9150610d3a8261115c565b604082019050919050565b6000610d52602283610f93565b9150610d5d826111ab565b604082019050919050565b6000610d75602683610f93565b9150610d80826111fa565b604082019050919050565b6000610d98602883610f93565b9150610da382611249565b604082019050919050565b6000610dbb602583610f93565b9150610dc682611298565b604082019050919050565b6000610dde602483610f93565b9150610de9826112e7565b604082019050919050565b6000610e01602583610f93565b9150610e0c82611336565b604082019050919050565b610e208161106c565b82525050565b610e2f81611076565b82525050565b6000602082019050610e4a6000830184610cda565b92915050565b60006020820190508181036000830152610e6a8184610ce9565b905092915050565b60006020820190508181036000830152610e8b81610d22565b9050919050565b60006020820190508181036000830152610eab81610d45565b9050919050565b60006020820190508181036000830152610ecb81610d68565b9050919050565b60006020820190508181036000830152610eeb81610d8b565b9050919050565b60006020820190508181036000830152610f0b81610dae565b9050919050565b60006020820190508181036000830152610f2b81610dd1565b9050919050565b60006020820190508181036000830152610f4b81610df4565b9050919050565b6000602082019050610f676000830184610e17565b92915050565b6000602082019050610f826000830184610e26565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610faf8261106c565b9150610fba8361106c565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610fef57610fee6110e8565b5b828201905092915050565b60006110058261106c565b91506110108361106c565b925082821015611023576110226110e8565b5b828203905092915050565b60006110398261104c565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156110a1578082015181840152602081019050611086565b838111156110b0576000848401525b50505050565b600060028204905060018216806110ce57607f821691505b602082108114156110e2576110e1611117565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b61138e8161102e565b811461139957600080fd5b50565b6113a58161106c565b81146113b057600080fd5b5056fea26469706673582212209130fd551389d8ac2006ed2f24702bdb9d1176c5d77319c4e57290cdc5ad850364736f6c63430008050033

13069:139:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4296:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6463:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5416:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7114:422;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5258:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7945:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5587:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4515:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8663:377;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5927:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6165:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4296:100;4350:13;4383:5;4376:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4296:100;:::o;6463:169::-;6546:4;6563:39;6572:12;:10;:12::i;:::-;6586:7;6595:6;6563:8;:39::i;:::-;6620:4;6613:11;;6463:169;;;;:::o;5416:108::-;5477:7;5504:12;;5497:19;;5416:108;:::o;7114:422::-;7220:4;7237:36;7247:6;7255:9;7266:6;7237:9;:36::i;:::-;7286:24;7313:11;:19;7325:6;7313:19;;;;;;;;;;;;;;;:33;7333:12;:10;:12::i;:::-;7313:33;;;;;;;;;;;;;;;;7286:60;;7385:6;7365:16;:26;;7357:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;7447:57;7456:6;7464:12;:10;:12::i;:::-;7497:6;7478:16;:25;;;;:::i;:::-;7447:8;:57::i;:::-;7524:4;7517:11;;;7114:422;;;;;:::o;5258:93::-;5316:5;5341:2;5334:9;;5258:93;:::o;7945:215::-;8033:4;8050:80;8059:12;:10;:12::i;:::-;8073:7;8119:10;8082:11;:25;8094:12;:10;:12::i;:::-;8082:25;;;;;;;;;;;;;;;:34;8108:7;8082:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;8050:8;:80::i;:::-;8148:4;8141:11;;7945:215;;;;:::o;5587:127::-;5661:7;5688:9;:18;5698:7;5688:18;;;;;;;;;;;;;;;;5681:25;;5587:127;;;:::o;4515:104::-;4571:13;4604:7;4597:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4515:104;:::o;8663:377::-;8756:4;8773:24;8800:11;:25;8812:12;:10;:12::i;:::-;8800:25;;;;;;;;;;;;;;;:34;8826:7;8800:34;;;;;;;;;;;;;;;;8773:61;;8873:15;8853:16;:35;;8845:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;8941:67;8950:12;:10;:12::i;:::-;8964:7;8992:15;8973:16;:34;;;;:::i;:::-;8941:8;:67::i;:::-;9028:4;9021:11;;;8663:377;;;;:::o;5927:175::-;6013:4;6030:42;6040:12;:10;:12::i;:::-;6054:9;6065:6;6030:9;:42::i;:::-;6090:4;6083:11;;5927:175;;;;:::o;6165:151::-;6254:7;6281:11;:18;6293:5;6281:18;;;;;;;;;;;;;;;:27;6300:7;6281:27;;;;;;;;;;;;;;;;6274:34;;6165:151;;;;:::o;93:98::-;146:7;173:10;166:17;;93:98;:::o;12019:346::-;12138:1;12121:19;;:5;:19;;;;12113:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12219:1;12200:21;;:7;:21;;;;12192:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12303:6;12273:11;:18;12285:5;12273:18;;;;;;;;;;;;;;;:27;12292:7;12273:27;;;;;;;;;;;;;;;:36;;;;12341:7;12325:32;;12334:5;12325:32;;;12350:6;12325:32;;;;;;:::i;:::-;;;;;;;;12019:346;;;:::o;9530:604::-;9654:1;9636:20;;:6;:20;;;;9628:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;9738:1;9717:23;;:9;:23;;;;9709:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;9793:47;9814:6;9822:9;9833:6;9793:20;:47::i;:::-;9853:21;9877:9;:17;9887:6;9877:17;;;;;;;;;;;;;;;;9853:41;;9930:6;9913:13;:23;;9905:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;10026:6;10010:13;:22;;;;:::i;:::-;9990:9;:17;10000:6;9990:17;;;;;;;;;;;;;;;:42;;;;10067:6;10043:9;:20;10053:9;10043:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;10108:9;10091:35;;10100:6;10091:35;;;10119:6;10091:35;;;;;;:::i;:::-;;;;;;;;9617:517;9530:604;;;:::o;12968:92::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:329::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;411:79;;:::i;:::-;373:2;531:1;556:53;601:7;592:6;581:9;577:22;556:53;:::i;:::-;546:63;;502:117;363:263;;;;:::o;632:474::-;700:6;708;757:2;745:9;736:7;732:23;728:32;725:2;;;763:79;;:::i;:::-;725:2;883:1;908:53;953:7;944:6;933:9;929:22;908:53;:::i;:::-;898:63;;854:117;1010:2;1036:53;1081:7;1072:6;1061:9;1057:22;1036:53;:::i;:::-;1026:63;;981:118;715:391;;;;;:::o;1112:619::-;1189:6;1197;1205;1254:2;1242:9;1233:7;1229:23;1225:32;1222:2;;;1260:79;;:::i;:::-;1222:2;1380:1;1405:53;1450:7;1441:6;1430:9;1426:22;1405:53;:::i;:::-;1395:63;;1351:117;1507:2;1533:53;1578:7;1569:6;1558:9;1554:22;1533:53;:::i;:::-;1523:63;;1478:118;1635:2;1661:53;1706:7;1697:6;1686:9;1682:22;1661:53;:::i;:::-;1651:63;;1606:118;1212:519;;;;;:::o;1737:474::-;1805:6;1813;1862:2;1850:9;1841:7;1837:23;1833:32;1830:2;;;1868:79;;:::i;:::-;1830:2;1988:1;2013:53;2058:7;2049:6;2038:9;2034:22;2013:53;:::i;:::-;2003:63;;1959:117;2115:2;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2086:118;1820:391;;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2276:50;;:::o;2332:364::-;2420:3;2448:39;2481:5;2448:39;:::i;:::-;2503:71;2567:6;2562:3;2503:71;:::i;:::-;2496:78;;2583:52;2628:6;2623:3;2616:4;2609:5;2605:16;2583:52;:::i;:::-;2660:29;2682:6;2660:29;:::i;:::-;2655:3;2651:39;2644:46;;2424:272;;;;;:::o;2702:366::-;2844:3;2865:67;2929:2;2924:3;2865:67;:::i;:::-;2858:74;;2941:93;3030:3;2941:93;:::i;:::-;3059:2;3054:3;3050:12;3043:19;;2848:220;;;:::o;3074:366::-;3216:3;3237:67;3301:2;3296:3;3237:67;:::i;:::-;3230:74;;3313:93;3402:3;3313:93;:::i;:::-;3431:2;3426:3;3422:12;3415:19;;3220:220;;;:::o;3446:366::-;3588:3;3609:67;3673:2;3668:3;3609:67;:::i;:::-;3602:74;;3685:93;3774:3;3685:93;:::i;:::-;3803:2;3798:3;3794:12;3787:19;;3592:220;;;:::o;3818:366::-;3960:3;3981:67;4045:2;4040:3;3981:67;:::i;:::-;3974:74;;4057:93;4146:3;4057:93;:::i;:::-;4175:2;4170:3;4166:12;4159:19;;3964:220;;;:::o;4190:366::-;4332:3;4353:67;4417:2;4412:3;4353:67;:::i;:::-;4346:74;;4429:93;4518:3;4429:93;:::i;:::-;4547:2;4542:3;4538:12;4531:19;;4336:220;;;:::o;4562:366::-;4704:3;4725:67;4789:2;4784:3;4725:67;:::i;:::-;4718:74;;4801:93;4890:3;4801:93;:::i;:::-;4919:2;4914:3;4910:12;4903:19;;4708:220;;;:::o;4934:366::-;5076:3;5097:67;5161:2;5156:3;5097:67;:::i;:::-;5090:74;;5173:93;5262:3;5173:93;:::i;:::-;5291:2;5286:3;5282:12;5275:19;;5080:220;;;:::o;5306:118::-;5393:24;5411:5;5393:24;:::i;:::-;5388:3;5381:37;5371:53;;:::o;5430:112::-;5513:22;5529:5;5513:22;:::i;:::-;5508:3;5501:35;5491:51;;:::o;5548:210::-;5635:4;5673:2;5662:9;5658:18;5650:26;;5686:65;5748:1;5737:9;5733:17;5724:6;5686:65;:::i;:::-;5640:118;;;;:::o;5764:313::-;5877:4;5915:2;5904:9;5900:18;5892:26;;5964:9;5958:4;5954:20;5950:1;5939:9;5935:17;5928:47;5992:78;6065:4;6056:6;5992:78;:::i;:::-;5984:86;;5882:195;;;;:::o;6083:419::-;6249:4;6287:2;6276:9;6272:18;6264:26;;6336:9;6330:4;6326:20;6322:1;6311:9;6307:17;6300:47;6364:131;6490:4;6364:131;:::i;:::-;6356:139;;6254:248;;;:::o;6508:419::-;6674:4;6712:2;6701:9;6697:18;6689:26;;6761:9;6755:4;6751:20;6747:1;6736:9;6732:17;6725:47;6789:131;6915:4;6789:131;:::i;:::-;6781:139;;6679:248;;;:::o;6933:419::-;7099:4;7137:2;7126:9;7122:18;7114:26;;7186:9;7180:4;7176:20;7172:1;7161:9;7157:17;7150:47;7214:131;7340:4;7214:131;:::i;:::-;7206:139;;7104:248;;;:::o;7358:419::-;7524:4;7562:2;7551:9;7547:18;7539:26;;7611:9;7605:4;7601:20;7597:1;7586:9;7582:17;7575:47;7639:131;7765:4;7639:131;:::i;:::-;7631:139;;7529:248;;;:::o;7783:419::-;7949:4;7987:2;7976:9;7972:18;7964:26;;8036:9;8030:4;8026:20;8022:1;8011:9;8007:17;8000:47;8064:131;8190:4;8064:131;:::i;:::-;8056:139;;7954:248;;;:::o;8208:419::-;8374:4;8412:2;8401:9;8397:18;8389:26;;8461:9;8455:4;8451:20;8447:1;8436:9;8432:17;8425:47;8489:131;8615:4;8489:131;:::i;:::-;8481:139;;8379:248;;;:::o;8633:419::-;8799:4;8837:2;8826:9;8822:18;8814:26;;8886:9;8880:4;8876:20;8872:1;8861:9;8857:17;8850:47;8914:131;9040:4;8914:131;:::i;:::-;8906:139;;8804:248;;;:::o;9058:222::-;9151:4;9189:2;9178:9;9174:18;9166:26;;9202:71;9270:1;9259:9;9255:17;9246:6;9202:71;:::i;:::-;9156:124;;;;:::o;9286:214::-;9375:4;9413:2;9402:9;9398:18;9390:26;;9426:67;9490:1;9479:9;9475:17;9466:6;9426:67;:::i;:::-;9380:120;;;;:::o;9587:99::-;9639:6;9673:5;9667:12;9657:22;;9646:40;;;:::o;9692:169::-;9776:11;9810:6;9805:3;9798:19;9850:4;9845:3;9841:14;9826:29;;9788:73;;;;:::o;9867:305::-;9907:3;9926:20;9944:1;9926:20;:::i;:::-;9921:25;;9960:20;9978:1;9960:20;:::i;:::-;9955:25;;10114:1;10046:66;10042:74;10039:1;10036:81;10033:2;;;10120:18;;:::i;:::-;10033:2;10164:1;10161;10157:9;10150:16;;9911:261;;;;:::o;10178:191::-;10218:4;10238:20;10256:1;10238:20;:::i;:::-;10233:25;;10272:20;10290:1;10272:20;:::i;:::-;10267:25;;10311:1;10308;10305:8;10302:2;;;10316:18;;:::i;:::-;10302:2;10361:1;10358;10354:9;10346:17;;10223:146;;;;:::o;10375:96::-;10412:7;10441:24;10459:5;10441:24;:::i;:::-;10430:35;;10420:51;;;:::o;10477:90::-;10511:7;10554:5;10547:13;10540:21;10529:32;;10519:48;;;:::o;10573:126::-;10610:7;10650:42;10643:5;10639:54;10628:65;;10618:81;;;:::o;10705:77::-;10742:7;10771:5;10760:16;;10750:32;;;:::o;10788:86::-;10823:7;10863:4;10856:5;10852:16;10841:27;;10831:43;;;:::o;10880:307::-;10948:1;10958:113;10972:6;10969:1;10966:13;10958:113;;;11057:1;11052:3;11048:11;11042:18;11038:1;11033:3;11029:11;11022:39;10994:2;10991:1;10987:10;10982:15;;10958:113;;;11089:6;11086:1;11083:13;11080:2;;;11169:1;11160:6;11155:3;11151:16;11144:27;11080:2;10929:258;;;;:::o;11193:320::-;11237:6;11274:1;11268:4;11264:12;11254:22;;11321:1;11315:4;11311:12;11342:18;11332:2;;11398:4;11390:6;11386:17;11376:27;;11332:2;11460;11452:6;11449:14;11429:18;11426:38;11423:2;;;11479:18;;:::i;:::-;11423:2;11244:269;;;;:::o;11519:180::-;11567:77;11564:1;11557:88;11664:4;11661:1;11654:15;11688:4;11685:1;11678:15;11705:180;11753:77;11750:1;11743:88;11850:4;11847:1;11840:15;11874:4;11871:1;11864:15;12014:117;12123:1;12120;12113:12;12137:102;12178:6;12229:2;12225:7;12220:2;12213:5;12209:14;12205:28;12195:38;;12185:54;;;:::o;12245:222::-;12385:34;12381:1;12373:6;12369:14;12362:58;12454:5;12449:2;12441:6;12437:15;12430:30;12351:116;:::o;12473:221::-;12613:34;12609:1;12601:6;12597:14;12590:58;12682:4;12677:2;12669:6;12665:15;12658:29;12579:115;:::o;12700:225::-;12840:34;12836:1;12828:6;12824:14;12817:58;12909:8;12904:2;12896:6;12892:15;12885:33;12806:119;:::o;12931:227::-;13071:34;13067:1;13059:6;13055:14;13048:58;13140:10;13135:2;13127:6;13123:15;13116:35;13037:121;:::o;13164:224::-;13304:34;13300:1;13292:6;13288:14;13281:58;13373:7;13368:2;13360:6;13356:15;13349:32;13270:118;:::o;13394:223::-;13534:34;13530:1;13522:6;13518:14;13511:58;13603:6;13598:2;13590:6;13586:15;13579:31;13500:117;:::o;13623:224::-;13763:34;13759:1;13751:6;13747:14;13740:58;13832:7;13827:2;13819:6;13815:15;13808:32;13729:118;:::o;13853:122::-;13926:24;13944:5;13926:24;:::i;:::-;13919:5;13916:35;13906:2;;13965:1;13962;13955:12;13906:2;13896:79;:::o;13981:122::-;14054:24;14072:5;14054:24;:::i;:::-;14047:5;14044:35;14034:2;;14093:1;14090;14083:12;14034:2;14024:79;:::o

ipfs://9130fd551389d8ac2006ed2f24702bdb9d1176c5d77319c4e57290cdc5ad8503