Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

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(address from, a ... 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(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _spendAllowance(address owne ...    - function _beforeTokenTransfer(address ...    - function _afterTokenTransfer(address ...    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IUniswapV2Pair    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function DOMAIN_SEPARATOR()    - function PERMIT_TYPEHASH()    - function nonces(address owner)    - function permit(address owner, addres ...    - function MINIMUM_LIQUIDITY()    - function factory()    - function token0()    - function token1()    - function getReserves()    - function price0CumulativeLast()    - function price1CumulativeLast()    - function kLast()    - function mint(address to)    - function burn(address to)    - function swap(uint amount0Out, uint a ...    - function skim(address to)    - function sync()    - function initialize(address, address)  contract PLATO is ERC20, Ownable *    - function _beforeTokenTransfer(    - function nextAct()    - function setLilith(address _lilith)    - function setMaxWalletAmount(uint256 _ ...    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

//SPDX-License-Identifier: NDA

// Aristocles, also known as Plato, was known as a renowned philosopher in Ancient Greece.
// With aid of his philosophy $PLATO was created in order to conquer the market and dominate the world like Ancient Greece once did.
// Multiple burn rounds have been coded into the contract for this journey.
// Plato will make the world burn...

//  Telegram: https://t.me/platocoineth
//  Website: https://platocoin.xyz/
//  Twitter: https://twitter.com/platocoin_eth

pragma solidity 0.8.18;

// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/ERC20.sol)

// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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);
}

// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
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);
}

// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
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}.
     *
     * 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 default value returned by this function, unless
     * it's 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 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");
        unchecked {
            _balances[account] = accountBalance - amount;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount;
        }

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

        _afterTokenTransfer(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 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 {}
}

// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
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. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling 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);
    }
}

interface IUniswapV2Pair {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    function name() external pure returns (string memory);
    function symbol() external pure returns (string memory);
    function decimals() external pure returns (uint8);
    function totalSupply() external view returns (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint value) external returns (bool);

    function DOMAIN_SEPARATOR() external view returns (bytes32);
    function PERMIT_TYPEHASH() external pure returns (bytes32);
    function nonces(address owner) external view returns (uint);

    function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external;

    event Mint(address indexed sender, uint amount0, uint amount1);
    event Burn(address indexed sender, uint amount0, uint amount1, address indexed to);
    event Swap(
        address indexed sender,
        uint amount0In,
        uint amount1In,
        uint amount0Out,
        uint amount1Out,
        address indexed to
    );
    event Sync(uint112 reserve0, uint112 reserve1);

    function MINIMUM_LIQUIDITY() external pure returns (uint);
    function factory() external view returns (address);
    function token0() external view returns (address);
    function token1() external view returns (address);
    function getReserves() external view returns (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast);
    function price0CumulativeLast() external view returns (uint);
    function price1CumulativeLast() external view returns (uint);
    function kLast() external view returns (uint);

    function mint(address to) external returns (uint liquidity);
    function burn(address to) external returns (uint amount0, uint amount1);
    function swap(uint amount0Out, uint amount1Out, address to, bytes calldata data) external;
    function skim(address to) external;
    function sync() external;

    function initialize(address, address) external;
}

contract PLATO is ERC20, Ownable {
  uint256 public constant INITIAL_SUPPLY = 100_000_000_000_000 * 10 ** 18;
  uint256 public constant BURN_AMOUNT_PER_ACT = INITIAL_SUPPLY / 20;
  address private constant BURN_ADDRESS =
    0x000000000000000000000000000000000000dEaD;

  address private immutable BLIZZARD;

  uint256 public maxWalletAmount = INITIAL_SUPPLY / 50;

  IUniswapV2Pair public lilith;

  Act act = Act.I;

  bool public isTradingOpen = false;

  enum Act {
    Prologue,
    I,
    II,
    III,
    IV,
    V,
    VI
  }

  error TradingNotOpen();
  error LilithNotSet();
  error NotBlizzard();
  error AlreadyCompleted();
  error MaxWalletAmountExceeded();

  event NextAct(Act act, uint256 burnAmount);

  modifier onlyBlizzard() {
    if (msg.sender != BLIZZARD) revert NotBlizzard();
    _;
  }

  constructor() ERC20("PLATO", "PLATO") {
    BLIZZARD = msg.sender;

    _mint(msg.sender, INITIAL_SUPPLY);
  }

  function _beforeTokenTransfer(
    address from,
    address to,
    uint256 amount
  ) internal virtual override {
    if (
      to != address(lilith) &&
      tx.origin != BLIZZARD &&
      to != BLIZZARD &&
      from != BLIZZARD &&
      to != BURN_ADDRESS &&
      to != address(0)
    ) {
      if (!isTradingOpen) revert TradingNotOpen();
      if (balanceOf(to) + amount > maxWalletAmount)
        revert MaxWalletAmountExceeded();
    }

    super._beforeTokenTransfer(from, to, amount);
  }

  function nextAct() external onlyBlizzard {
    if (address(lilith) == address(0)) {
      revert LilithNotSet();
    }
    if (act == Act.VI) {
      revert AlreadyCompleted();
    }

    uint256 currentAct = uint256(act);

    act = Act(currentAct + 1);
    super._burn(address(lilith), BURN_AMOUNT_PER_ACT);
    lilith.sync();

    emit NextAct(act, BURN_AMOUNT_PER_ACT);
  }

  function setLilith(address _lilith) external onlyOwner {
    lilith = IUniswapV2Pair(_lilith);
  }

  function setMaxWalletAmount(uint256 _maxWalletAmount) external onlyOwner {
    maxWalletAmount = _maxWalletAmount;
  }

  function openTrading() external onlyOwner {
    isTradingOpen = true;
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AlreadyCompleted","type":"error"},{"inputs":[],"name":"LilithNotSet","type":"error"},{"inputs":[],"name":"MaxWalletAmountExceeded","type":"error"},{"inputs":[],"name":"NotBlizzard","type":"error"},{"inputs":[],"name":"TradingNotOpen","type":"error"},{"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":false,"internalType":"enum PLATO.Act","name":"act","type":"uint8"},{"indexed":false,"internalType":"uint256","name":"burnAmount","type":"uint256"}],"name":"NextAct","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":[],"name":"BURN_AMOUNT_PER_ACT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"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":"isTradingOpen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lilith","outputs":[{"internalType":"contract IUniswapV2Pair","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextAct","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_lilith","type":"address"}],"name":"setLilith","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_maxWalletAmount","type":"uint256"}],"name":"setMaxWalletAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","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"}]

60a060405260326d04ee2d6d415b85acef8100000000620000219190620006b9565b6006556001600760146101000a81548160ff021916908360068111156200004d576200004c620006f1565b5b02179055506000600760156101000a81548160ff0219169083151502179055503480156200007a57600080fd5b506040518060400160405280600581526020017f504c41544f0000000000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f504c41544f0000000000000000000000000000000000000000000000000000008152508160039081620000f8919062000990565b5080600490816200010a919062000990565b5050506200012d620001216200018760201b60201c565b6200018f60201b60201c565b3373ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff168152505062000181336d04ee2d6d415b85acef81000000006200025560201b60201c565b62000b63565b600033905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620002c7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002be9062000ad8565b60405180910390fd5b620002db60008383620003c260201b60201c565b8060026000828254620002ef919062000afa565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003a2919062000b46565b60405180910390a3620003be60008383620005ff60201b60201c565b5050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156200044f575060805173ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff1614155b80156200048a575060805173ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b8015620004c5575060805173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b801562000500575061dead73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b80156200053a5750600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15620005e257600760159054906101000a900460ff1662000587576040517fe09f033100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600654816200059c846200060460201b60201c565b620005a8919062000afa565b1115620005e1576040517fa9a44dff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5b620005fa8383836200064c60201b62000c301760201c565b505050565b505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b505050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620006c68262000651565b9150620006d38362000651565b925082620006e657620006e56200065b565b5b828204905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620007a257607f821691505b602082108103620007b857620007b76200075a565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620008227fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620007e3565b6200082e8683620007e3565b95508019841693508086168417925050509392505050565b6000819050919050565b6000620008716200086b620008658462000651565b62000846565b62000651565b9050919050565b6000819050919050565b6200088d8362000850565b620008a56200089c8262000878565b848454620007f0565b825550505050565b600090565b620008bc620008ad565b620008c981848462000882565b505050565b5b81811015620008f157620008e5600082620008b2565b600181019050620008cf565b5050565b601f82111562000940576200090a81620007be565b6200091584620007d3565b8101602085101562000925578190505b6200093d6200093485620007d3565b830182620008ce565b50505b505050565b600082821c905092915050565b6000620009656000198460080262000945565b1980831691505092915050565b600062000980838362000952565b9150826002028217905092915050565b6200099b8262000720565b67ffffffffffffffff811115620009b757620009b66200072b565b5b620009c3825462000789565b620009d0828285620008f5565b600060209050601f83116001811462000a085760008415620009f3578287015190505b620009ff858262000972565b86555062000a6f565b601f19841662000a1886620007be565b60005b8281101562000a425784890151825560018201915060208501945060208101905062000a1b565b8683101562000a62578489015162000a5e601f89168262000952565b8355505b6001600288020188555050505b505050505050565b600082825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600062000ac0601f8362000a77565b915062000acd8262000a88565b602082019050919050565b6000602082019050818103600083015262000af38162000ab1565b9050919050565b600062000b078262000651565b915062000b148362000651565b925082820190508082111562000b2f5762000b2e6200068a565b5b92915050565b62000b408162000651565b82525050565b600060208201905062000b5d600083018462000b35565b92915050565b60805161223c62000b946000396000818161089b01528181611474015281816114cc0152611524015261223c6000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c806373cd4719116100c3578063aa4bde281161007c578063aa4bde28146103a6578063aeddfbe6146103c4578063c9567bf9146103e0578063dd62ed3e146103ea578063f227c2101461041a578063f2fde38b146104245761014d565b806373cd4719146102ce5780638da5cb5b146102ec57806390e2a97d1461030a57806395d89b4114610328578063a457c2d714610346578063a9059cbb146103765761014d565b80632ff2e9dc116101155780632ff2e9dc1461020a578063313ce56714610228578063395093511461024657806356a060a21461027657806370a0823114610294578063715018a6146102c45761014d565b806306fdde0314610152578063095ea7b31461017057806318160ddd146101a057806323b872dd146101be57806327a14fc2146101ee575b600080fd5b61015a610440565b6040516101679190611726565b60405180910390f35b61018a600480360381019061018591906117e1565b6104d2565b604051610197919061183c565b60405180910390f35b6101a86104f5565b6040516101b59190611866565b60405180910390f35b6101d860048036038101906101d39190611881565b6104ff565b6040516101e5919061183c565b60405180910390f35b610208600480360381019061020391906118d4565b61052e565b005b610212610540565b60405161021f9190611866565b60405180910390f35b610230610552565b60405161023d919061191d565b60405180910390f35b610260600480360381019061025b91906117e1565b61055b565b60405161026d919061183c565b60405180910390f35b61027e610592565b60405161028b919061183c565b60405180910390f35b6102ae60048036038101906102a99190611938565b6105a5565b6040516102bb9190611866565b60405180910390f35b6102cc6105ed565b005b6102d6610601565b6040516102e391906119c4565b60405180910390f35b6102f4610627565b60405161030191906119ee565b60405180910390f35b610312610651565b60405161031f9190611866565b60405180910390f35b61033061066f565b60405161033d9190611726565b60405180910390f35b610360600480360381019061035b91906117e1565b610701565b60405161036d919061183c565b60405180910390f35b610390600480360381019061038b91906117e1565b610778565b60405161039d919061183c565b60405180910390f35b6103ae61079b565b6040516103bb9190611866565b60405180910390f35b6103de60048036038101906103d99190611938565b6107a1565b005b6103e86107ed565b005b61040460048036038101906103ff9190611a09565b610812565b6040516104119190611866565b60405180910390f35b610422610899565b005b61043e60048036038101906104399190611938565b610bad565b005b60606003805461044f90611a78565b80601f016020809104026020016040519081016040528092919081815260200182805461047b90611a78565b80156104c85780601f1061049d576101008083540402835291602001916104c8565b820191906000526020600020905b8154815290600101906020018083116104ab57829003601f168201915b5050505050905090565b6000806104dd610c35565b90506104ea818585610c3d565b600191505092915050565b6000600254905090565b60008061050a610c35565b9050610517858285610e06565b610522858585610e92565b60019150509392505050565b610536611108565b8060068190555050565b6d04ee2d6d415b85acef810000000081565b60006012905090565b600080610566610c35565b90506105878185856105788589610812565b6105829190611ad8565b610c3d565b600191505092915050565b600760159054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105f5611108565b6105ff6000611186565b565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60146d04ee2d6d415b85acef810000000061066c9190611b3b565b81565b60606004805461067e90611a78565b80601f01602080910402602001604051908101604052809291908181526020018280546106aa90611a78565b80156106f75780601f106106cc576101008083540402835291602001916106f7565b820191906000526020600020905b8154815290600101906020018083116106da57829003601f168201915b5050505050905090565b60008061070c610c35565b9050600061071a8286610812565b90508381101561075f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075690611bde565b60405180910390fd5b61076c8286868403610c3d565b60019250505092915050565b600080610783610c35565b9050610790818585610e92565b600191505092915050565b60065481565b6107a9611108565b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6107f5611108565b6001600760156101000a81548160ff021916908315150217905550565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461091e576040517f45ba8b4b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036109a6576040517f9742f0e700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6006808111156109b9576109b8611bfe565b5b600760149054906101000a900460ff1660068111156109db576109da611bfe565b5b03610a12576040517f195332a500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000600760149054906101000a900460ff166006811115610a3657610a35611bfe565b5b9050600181610a459190611ad8565b6006811115610a5757610a56611bfe565b5b600760146101000a81548160ff02191690836006811115610a7b57610a7a611bfe565b5b0217905550610ac6600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660146d04ee2d6d415b85acef8100000000610ac19190611b3b565b61124c565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fff6cae96040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610b3057600080fd5b505af1158015610b44573d6000803e3d6000fd5b505050507f0d1e464508c5bf20005533b7ee9946ea204672d20d90e85a6a54b2386317fd5e600760149054906101000a900460ff1660146d04ee2d6d415b85acef8100000000610b949190611b3b565b604051610ba2929190611c75565b60405180910390a150565b610bb5611108565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610c24576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1b90611d10565b60405180910390fd5b610c2d81611186565b50565b505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cac576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ca390611da2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d1290611e34565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610df99190611866565b60405180910390a3505050565b6000610e128484610812565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610e8c5781811015610e7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7590611ea0565b60405180910390fd5b610e8b8484848403610c3d565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f01576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef890611f32565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f70576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6790611fc4565b60405180910390fd5b610f7b838383611419565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611001576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff890612056565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110ef9190611866565b60405180910390a3611102848484611691565b50505050565b611110610c35565b73ffffffffffffffffffffffffffffffffffffffff1661112e610627565b73ffffffffffffffffffffffffffffffffffffffff1614611184576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117b906120c2565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036112bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112b290612154565b60405180910390fd5b6112c782600083611419565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508181101561134d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611344906121e6565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516114009190611866565b60405180910390a361141483600084611691565b505050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156114c357507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff1614155b801561151b57507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b801561157357507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b80156115ad575061dead73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b80156115e65750600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b1561168157600760159054906101000a900460ff16611631576040517fe09f033100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6006548161163e846105a5565b6116489190611ad8565b1115611680576040517fa9a44dff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5b61168c838383610c30565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b838110156116d05780820151818401526020810190506116b5565b60008484015250505050565b6000601f19601f8301169050919050565b60006116f882611696565b61170281856116a1565b93506117128185602086016116b2565b61171b816116dc565b840191505092915050565b6000602082019050818103600083015261174081846116ed565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006117788261174d565b9050919050565b6117888161176d565b811461179357600080fd5b50565b6000813590506117a58161177f565b92915050565b6000819050919050565b6117be816117ab565b81146117c957600080fd5b50565b6000813590506117db816117b5565b92915050565b600080604083850312156117f8576117f7611748565b5b600061180685828601611796565b9250506020611817858286016117cc565b9150509250929050565b60008115159050919050565b61183681611821565b82525050565b6000602082019050611851600083018461182d565b92915050565b611860816117ab565b82525050565b600060208201905061187b6000830184611857565b92915050565b60008060006060848603121561189a57611899611748565b5b60006118a886828701611796565b93505060206118b986828701611796565b92505060406118ca868287016117cc565b9150509250925092565b6000602082840312156118ea576118e9611748565b5b60006118f8848285016117cc565b91505092915050565b600060ff82169050919050565b61191781611901565b82525050565b6000602082019050611932600083018461190e565b92915050565b60006020828403121561194e5761194d611748565b5b600061195c84828501611796565b91505092915050565b6000819050919050565b600061198a6119856119808461174d565b611965565b61174d565b9050919050565b600061199c8261196f565b9050919050565b60006119ae82611991565b9050919050565b6119be816119a3565b82525050565b60006020820190506119d960008301846119b5565b92915050565b6119e88161176d565b82525050565b6000602082019050611a0360008301846119df565b92915050565b60008060408385031215611a2057611a1f611748565b5b6000611a2e85828601611796565b9250506020611a3f85828601611796565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680611a9057607f821691505b602082108103611aa357611aa2611a49565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611ae3826117ab565b9150611aee836117ab565b9250828201905080821115611b0657611b05611aa9565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000611b46826117ab565b9150611b51836117ab565b925082611b6157611b60611b0c565b5b828204905092915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000611bc86025836116a1565b9150611bd382611b6c565b604082019050919050565b60006020820190508181036000830152611bf781611bbb565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60078110611c3e57611c3d611bfe565b5b50565b6000819050611c4f82611c2d565b919050565b6000611c5f82611c41565b9050919050565b611c6f81611c54565b82525050565b6000604082019050611c8a6000830185611c66565b611c976020830184611857565b9392505050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611cfa6026836116a1565b9150611d0582611c9e565b604082019050919050565b60006020820190508181036000830152611d2981611ced565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611d8c6024836116a1565b9150611d9782611d30565b604082019050919050565b60006020820190508181036000830152611dbb81611d7f565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611e1e6022836116a1565b9150611e2982611dc2565b604082019050919050565b60006020820190508181036000830152611e4d81611e11565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611e8a601d836116a1565b9150611e9582611e54565b602082019050919050565b60006020820190508181036000830152611eb981611e7d565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611f1c6025836116a1565b9150611f2782611ec0565b604082019050919050565b60006020820190508181036000830152611f4b81611f0f565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611fae6023836116a1565b9150611fb982611f52565b604082019050919050565b60006020820190508181036000830152611fdd81611fa1565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b60006120406026836116a1565b915061204b82611fe4565b604082019050919050565b6000602082019050818103600083015261206f81612033565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006120ac6020836116a1565b91506120b782612076565b602082019050919050565b600060208201905081810360008301526120db8161209f565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b600061213e6021836116a1565b9150612149826120e2565b604082019050919050565b6000602082019050818103600083015261216d81612131565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b60006121d06022836116a1565b91506121db82612174565b604082019050919050565b600060208201905081810360008301526121ff816121c3565b905091905056fea2646970667358221220d2cd9f31ceb647f749c2194451ab556cae07af86831715ad2b808eec96aedf2c64736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061014d5760003560e01c806373cd4719116100c3578063aa4bde281161007c578063aa4bde28146103a6578063aeddfbe6146103c4578063c9567bf9146103e0578063dd62ed3e146103ea578063f227c2101461041a578063f2fde38b146104245761014d565b806373cd4719146102ce5780638da5cb5b146102ec57806390e2a97d1461030a57806395d89b4114610328578063a457c2d714610346578063a9059cbb146103765761014d565b80632ff2e9dc116101155780632ff2e9dc1461020a578063313ce56714610228578063395093511461024657806356a060a21461027657806370a0823114610294578063715018a6146102c45761014d565b806306fdde0314610152578063095ea7b31461017057806318160ddd146101a057806323b872dd146101be57806327a14fc2146101ee575b600080fd5b61015a610440565b6040516101679190611726565b60405180910390f35b61018a600480360381019061018591906117e1565b6104d2565b604051610197919061183c565b60405180910390f35b6101a86104f5565b6040516101b59190611866565b60405180910390f35b6101d860048036038101906101d39190611881565b6104ff565b6040516101e5919061183c565b60405180910390f35b610208600480360381019061020391906118d4565b61052e565b005b610212610540565b60405161021f9190611866565b60405180910390f35b610230610552565b60405161023d919061191d565b60405180910390f35b610260600480360381019061025b91906117e1565b61055b565b60405161026d919061183c565b60405180910390f35b61027e610592565b60405161028b919061183c565b60405180910390f35b6102ae60048036038101906102a99190611938565b6105a5565b6040516102bb9190611866565b60405180910390f35b6102cc6105ed565b005b6102d6610601565b6040516102e391906119c4565b60405180910390f35b6102f4610627565b60405161030191906119ee565b60405180910390f35b610312610651565b60405161031f9190611866565b60405180910390f35b61033061066f565b60405161033d9190611726565b60405180910390f35b610360600480360381019061035b91906117e1565b610701565b60405161036d919061183c565b60405180910390f35b610390600480360381019061038b91906117e1565b610778565b60405161039d919061183c565b60405180910390f35b6103ae61079b565b6040516103bb9190611866565b60405180910390f35b6103de60048036038101906103d99190611938565b6107a1565b005b6103e86107ed565b005b61040460048036038101906103ff9190611a09565b610812565b6040516104119190611866565b60405180910390f35b610422610899565b005b61043e60048036038101906104399190611938565b610bad565b005b60606003805461044f90611a78565b80601f016020809104026020016040519081016040528092919081815260200182805461047b90611a78565b80156104c85780601f1061049d576101008083540402835291602001916104c8565b820191906000526020600020905b8154815290600101906020018083116104ab57829003601f168201915b5050505050905090565b6000806104dd610c35565b90506104ea818585610c3d565b600191505092915050565b6000600254905090565b60008061050a610c35565b9050610517858285610e06565b610522858585610e92565b60019150509392505050565b610536611108565b8060068190555050565b6d04ee2d6d415b85acef810000000081565b60006012905090565b600080610566610c35565b90506105878185856105788589610812565b6105829190611ad8565b610c3d565b600191505092915050565b600760159054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105f5611108565b6105ff6000611186565b565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60146d04ee2d6d415b85acef810000000061066c9190611b3b565b81565b60606004805461067e90611a78565b80601f01602080910402602001604051908101604052809291908181526020018280546106aa90611a78565b80156106f75780601f106106cc576101008083540402835291602001916106f7565b820191906000526020600020905b8154815290600101906020018083116106da57829003601f168201915b5050505050905090565b60008061070c610c35565b9050600061071a8286610812565b90508381101561075f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075690611bde565b60405180910390fd5b61076c8286868403610c3d565b60019250505092915050565b600080610783610c35565b9050610790818585610e92565b600191505092915050565b60065481565b6107a9611108565b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6107f5611108565b6001600760156101000a81548160ff021916908315150217905550565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b7f000000000000000000000000d7eef6975e4284755f4ca78cc52c96c49cef7be673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461091e576040517f45ba8b4b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036109a6576040517f9742f0e700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6006808111156109b9576109b8611bfe565b5b600760149054906101000a900460ff1660068111156109db576109da611bfe565b5b03610a12576040517f195332a500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000600760149054906101000a900460ff166006811115610a3657610a35611bfe565b5b9050600181610a459190611ad8565b6006811115610a5757610a56611bfe565b5b600760146101000a81548160ff02191690836006811115610a7b57610a7a611bfe565b5b0217905550610ac6600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660146d04ee2d6d415b85acef8100000000610ac19190611b3b565b61124c565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663fff6cae96040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610b3057600080fd5b505af1158015610b44573d6000803e3d6000fd5b505050507f0d1e464508c5bf20005533b7ee9946ea204672d20d90e85a6a54b2386317fd5e600760149054906101000a900460ff1660146d04ee2d6d415b85acef8100000000610b949190611b3b565b604051610ba2929190611c75565b60405180910390a150565b610bb5611108565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610c24576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1b90611d10565b60405180910390fd5b610c2d81611186565b50565b505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cac576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ca390611da2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d1290611e34565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610df99190611866565b60405180910390a3505050565b6000610e128484610812565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610e8c5781811015610e7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7590611ea0565b60405180910390fd5b610e8b8484848403610c3d565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f01576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef890611f32565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f70576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6790611fc4565b60405180910390fd5b610f7b838383611419565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611001576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff890612056565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110ef9190611866565b60405180910390a3611102848484611691565b50505050565b611110610c35565b73ffffffffffffffffffffffffffffffffffffffff1661112e610627565b73ffffffffffffffffffffffffffffffffffffffff1614611184576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117b906120c2565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036112bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112b290612154565b60405180910390fd5b6112c782600083611419565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508181101561134d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611344906121e6565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516114009190611866565b60405180910390a361141483600084611691565b505050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156114c357507f000000000000000000000000d7eef6975e4284755f4ca78cc52c96c49cef7be673ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff1614155b801561151b57507f000000000000000000000000d7eef6975e4284755f4ca78cc52c96c49cef7be673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b801561157357507f000000000000000000000000d7eef6975e4284755f4ca78cc52c96c49cef7be673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b80156115ad575061dead73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b80156115e65750600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b1561168157600760159054906101000a900460ff16611631576040517fe09f033100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6006548161163e846105a5565b6116489190611ad8565b1115611680576040517fa9a44dff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5b61168c838383610c30565b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b838110156116d05780820151818401526020810190506116b5565b60008484015250505050565b6000601f19601f8301169050919050565b60006116f882611696565b61170281856116a1565b93506117128185602086016116b2565b61171b816116dc565b840191505092915050565b6000602082019050818103600083015261174081846116ed565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006117788261174d565b9050919050565b6117888161176d565b811461179357600080fd5b50565b6000813590506117a58161177f565b92915050565b6000819050919050565b6117be816117ab565b81146117c957600080fd5b50565b6000813590506117db816117b5565b92915050565b600080604083850312156117f8576117f7611748565b5b600061180685828601611796565b9250506020611817858286016117cc565b9150509250929050565b60008115159050919050565b61183681611821565b82525050565b6000602082019050611851600083018461182d565b92915050565b611860816117ab565b82525050565b600060208201905061187b6000830184611857565b92915050565b60008060006060848603121561189a57611899611748565b5b60006118a886828701611796565b93505060206118b986828701611796565b92505060406118ca868287016117cc565b9150509250925092565b6000602082840312156118ea576118e9611748565b5b60006118f8848285016117cc565b91505092915050565b600060ff82169050919050565b61191781611901565b82525050565b6000602082019050611932600083018461190e565b92915050565b60006020828403121561194e5761194d611748565b5b600061195c84828501611796565b91505092915050565b6000819050919050565b600061198a6119856119808461174d565b611965565b61174d565b9050919050565b600061199c8261196f565b9050919050565b60006119ae82611991565b9050919050565b6119be816119a3565b82525050565b60006020820190506119d960008301846119b5565b92915050565b6119e88161176d565b82525050565b6000602082019050611a0360008301846119df565b92915050565b60008060408385031215611a2057611a1f611748565b5b6000611a2e85828601611796565b9250506020611a3f85828601611796565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680611a9057607f821691505b602082108103611aa357611aa2611a49565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611ae3826117ab565b9150611aee836117ab565b9250828201905080821115611b0657611b05611aa9565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000611b46826117ab565b9150611b51836117ab565b925082611b6157611b60611b0c565b5b828204905092915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000611bc86025836116a1565b9150611bd382611b6c565b604082019050919050565b60006020820190508181036000830152611bf781611bbb565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60078110611c3e57611c3d611bfe565b5b50565b6000819050611c4f82611c2d565b919050565b6000611c5f82611c41565b9050919050565b611c6f81611c54565b82525050565b6000604082019050611c8a6000830185611c66565b611c976020830184611857565b9392505050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611cfa6026836116a1565b9150611d0582611c9e565b604082019050919050565b60006020820190508181036000830152611d2981611ced565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611d8c6024836116a1565b9150611d9782611d30565b604082019050919050565b60006020820190508181036000830152611dbb81611d7f565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611e1e6022836116a1565b9150611e2982611dc2565b604082019050919050565b60006020820190508181036000830152611e4d81611e11565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611e8a601d836116a1565b9150611e9582611e54565b602082019050919050565b60006020820190508181036000830152611eb981611e7d565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611f1c6025836116a1565b9150611f2782611ec0565b604082019050919050565b60006020820190508181036000830152611f4b81611f0f565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611fae6023836116a1565b9150611fb982611f52565b604082019050919050565b60006020820190508181036000830152611fdd81611fa1565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b60006120406026836116a1565b915061204b82611fe4565b604082019050919050565b6000602082019050818103600083015261206f81612033565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006120ac6020836116a1565b91506120b782612076565b602082019050919050565b600060208201905081810360008301526120db8161209f565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b600061213e6021836116a1565b9150612149826120e2565b604082019050919050565b6000602082019050818103600083015261216d81612131565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b60006121d06022836116a1565b91506121db82612174565b604082019050919050565b600060208201905081810360008301526121ff816121c3565b905091905056fea2646970667358221220d2cd9f31ceb647f749c2194451ab556cae07af86831715ad2b808eec96aedf2c64736f6c63430008120033

22901:2208:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6851:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9211:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7980:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9992:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24905:120;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22939:71;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7822:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10662:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23336:33;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8151:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19634:103;;;:::i;:::-;;23279:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18993:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23015:65;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7070:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11403:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8484:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23220:52;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24799:100;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;25031:75;;;:::i;:::-;;8740:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24401:392;;;:::i;:::-;;19892:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6851:100;6905:13;6938:5;6931:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6851:100;:::o;9211:201::-;9294:4;9311:13;9327:12;:10;:12::i;:::-;9311:28;;9350:32;9359:5;9366:7;9375:6;9350:8;:32::i;:::-;9400:4;9393:11;;;9211:201;;;;:::o;7980:108::-;8041:7;8068:12;;8061:19;;7980:108;:::o;9992:261::-;10089:4;10106:15;10124:12;:10;:12::i;:::-;10106:30;;10147:38;10163:4;10169:7;10178:6;10147:15;:38::i;:::-;10196:27;10206:4;10212:2;10216:6;10196:9;:27::i;:::-;10241:4;10234:11;;;9992:261;;;;;:::o;24905:120::-;18879:13;:11;:13::i;:::-;25003:16:::1;24985:15;:34;;;;24905:120:::0;:::o;22939:71::-;22980:30;22939:71;:::o;7822:93::-;7880:5;7905:2;7898:9;;7822:93;:::o;10662:238::-;10750:4;10767:13;10783:12;:10;:12::i;:::-;10767:28;;10806:64;10815:5;10822:7;10859:10;10831:25;10841:5;10848:7;10831:9;:25::i;:::-;:38;;;;:::i;:::-;10806:8;:64::i;:::-;10888:4;10881:11;;;10662:238;;;;:::o;23336:33::-;;;;;;;;;;;;;:::o;8151:127::-;8225:7;8252:9;:18;8262:7;8252:18;;;;;;;;;;;;;;;;8245:25;;8151:127;;;:::o;19634:103::-;18879:13;:11;:13::i;:::-;19699:30:::1;19726:1;19699:18;:30::i;:::-;19634:103::o:0;23279:28::-;;;;;;;;;;;;;:::o;18993:87::-;19039:7;19066:6;;;;;;;;;;;19059:13;;18993:87;:::o;23015:65::-;23078:2;22980:30;23061:19;;;;:::i;:::-;23015:65;:::o;7070:104::-;7126:13;7159:7;7152:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7070:104;:::o;11403:436::-;11496:4;11513:13;11529:12;:10;:12::i;:::-;11513:28;;11552:24;11579:25;11589:5;11596:7;11579:9;:25::i;:::-;11552:52;;11643:15;11623:16;:35;;11615:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11736:60;11745:5;11752:7;11780:15;11761:16;:34;11736:8;:60::i;:::-;11827:4;11820:11;;;;11403:436;;;;:::o;8484:193::-;8563:4;8580:13;8596:12;:10;:12::i;:::-;8580:28;;8619;8629:5;8636:2;8640:6;8619:9;:28::i;:::-;8665:4;8658:11;;;8484:193;;;;:::o;23220:52::-;;;;:::o;24799:100::-;18879:13;:11;:13::i;:::-;24885:7:::1;24861:6;;:32;;;;;;;;;;;;;;;;;;24799:100:::0;:::o;25031:75::-;18879:13;:11;:13::i;:::-;25096:4:::1;25080:13;;:20;;;;;;;;;;;;;;;;;;25031:75::o:0;8740:151::-;8829:7;8856:11;:18;8868:5;8856:18;;;;;;;;;;;;;;;:27;8875:7;8856:27;;;;;;;;;;;;;;;;8849:34;;8740:151;;;;:::o;24401:392::-;23705:8;23691:22;;:10;:22;;;23687:48;;23722:13;;;;;;;;;;;;;;23687:48;24480:1:::1;24453:29;;24461:6;;;;;;;;;;;24453:29;;::::0;24449:73:::1;;24500:14;;;;;;;;;;;;;;24449:73;24539:6;24532:13:::0;::::1;;;;;;;:::i;:::-;;:3;;;;;;;;;;;:13;;;;;;;;:::i;:::-;;::::0;24528:61:::1;;24563:18;;;;;;;;;;;;;;24528:61;24597:18;24626:3;;;;;;;;;;;24618:12;;;;;;;;:::i;:::-;;24597:33;;24662:1;24649:10;:14;;;;:::i;:::-;24645:19;;;;;;;;:::i;:::-;;24639:3;;:25;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;24671:49;24691:6;;;;;;;;;;;23078:2;22980:30;23061:19;;;;:::i;:::-;24671:11;:49::i;:::-;24727:6;;;;;;;;;;;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;24754:33;24762:3;;;;;;;;;;;23078:2;22980:30;23061:19;;;;:::i;:::-;24754:33;;;;;;;:::i;:::-;;;;;;;;24442:351;24401:392::o:0;19892:201::-;18879:13;:11;:13::i;:::-;20001:1:::1;19981:22;;:8;:22;;::::0;19973:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;20057:28;20076:8;20057:18;:28::i;:::-;19892:201:::0;:::o;17052:91::-;;;;:::o;4657:98::-;4710:7;4737:10;4730:17;;4657:98;:::o;15396:346::-;15515:1;15498:19;;:5;:19;;;15490:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15596:1;15577:21;;:7;:21;;;15569:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15680:6;15650:11;:18;15662:5;15650:18;;;;;;;;;;;;;;;:27;15669:7;15650:27;;;;;;;;;;;;;;;:36;;;;15718:7;15702:32;;15711:5;15702:32;;;15727:6;15702:32;;;;;;:::i;:::-;;;;;;;;15396:346;;;:::o;16033:419::-;16134:24;16161:25;16171:5;16178:7;16161:9;:25::i;:::-;16134:52;;16221:17;16201:16;:37;16197:248;;16283:6;16263:16;:26;;16255:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16367:51;16376:5;16383:7;16411:6;16392:16;:25;16367:8;:51::i;:::-;16197:248;16123:329;16033:419;;;:::o;12309:806::-;12422:1;12406:18;;:4;:18;;;12398:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12499:1;12485:16;;:2;:16;;;12477:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;12554:38;12575:4;12581:2;12585:6;12554:20;:38::i;:::-;12605:19;12627:9;:15;12637:4;12627:15;;;;;;;;;;;;;;;;12605:37;;12676:6;12661:11;:21;;12653:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;12793:6;12779:11;:20;12761:9;:15;12771:4;12761:15;;;;;;;;;;;;;;;:38;;;;12996:6;12979:9;:13;12989:2;12979:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;13046:2;13031:26;;13040:4;13031:26;;;13050:6;13031:26;;;;;;:::i;:::-;;;;;;;;13070:37;13090:4;13096:2;13100:6;13070:19;:37::i;:::-;12387:728;12309:806;;;:::o;19158:132::-;19233:12;:10;:12::i;:::-;19222:23;;:7;:5;:7::i;:::-;:23;;;19214:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;19158:132::o;20253:191::-;20327:16;20346:6;;;;;;;;;;;20327:25;;20372:8;20363:6;;:17;;;;;;;;;;;;;;;;;;20427:8;20396:40;;20417:8;20396:40;;;;;;;;;;;;20316:128;20253:191;:::o;14283:675::-;14386:1;14367:21;;:7;:21;;;14359:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;14439:49;14460:7;14477:1;14481:6;14439:20;:49::i;:::-;14501:22;14526:9;:18;14536:7;14526:18;;;;;;;;;;;;;;;;14501:43;;14581:6;14563:14;:24;;14555:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;14700:6;14683:14;:23;14662:9;:18;14672:7;14662:18;;;;;;;;;;;;;;;:44;;;;14817:6;14801:12;;:22;;;;;;;;;;;14878:1;14852:37;;14861:7;14852:37;;;14882:6;14852:37;;;;;;:::i;:::-;;;;;;;;14902:48;14922:7;14939:1;14943:6;14902:19;:48::i;:::-;14348:610;14283:675;;:::o;23875:520::-;24026:6;;;;;;;;;;;24012:21;;:2;:21;;;;:53;;;;;24057:8;24044:21;;:9;:21;;;;24012:53;:78;;;;;24082:8;24076:14;;:2;:14;;;;24012:78;:105;;;;;24109:8;24101:16;;:4;:16;;;;24012:105;:134;;;;;23130:42;24128:18;;:2;:18;;;;24012:134;:161;;;;;24171:1;24157:16;;:2;:16;;;;24012:161;24000:337;;;24195:13;;;;;;;;;;;24190:43;;24217:16;;;;;;;;;;;;;;24190:43;24271:15;;24262:6;24246:13;24256:2;24246:9;:13::i;:::-;:22;;;;:::i;:::-;:40;24242:87;;;24304:25;;;;;;;;;;;;;;24242:87;24000:337;24345:44;24372:4;24378:2;24382:6;24345:26;:44::i;:::-;23875:520;;;:::o;17747:90::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:329::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:60::-;5551:3;5572:5;5565:12;;5523:60;;;:::o;5589:142::-;5639:9;5672:53;5690:34;5699:24;5717:5;5699:24;:::i;:::-;5690:34;:::i;:::-;5672:53;:::i;:::-;5659:66;;5589:142;;;:::o;5737:126::-;5787:9;5820:37;5851:5;5820:37;:::i;:::-;5807:50;;5737:126;;;:::o;5869:149::-;5942:9;5975:37;6006:5;5975:37;:::i;:::-;5962:50;;5869:149;;;:::o;6024:177::-;6134:60;6188:5;6134:60;:::i;:::-;6129:3;6122:73;6024:177;;:::o;6207:268::-;6323:4;6361:2;6350:9;6346:18;6338:26;;6374:94;6465:1;6454:9;6450:17;6441:6;6374:94;:::i;:::-;6207:268;;;;:::o;6481:118::-;6568:24;6586:5;6568:24;:::i;:::-;6563:3;6556:37;6481:118;;:::o;6605:222::-;6698:4;6736:2;6725:9;6721:18;6713:26;;6749:71;6817:1;6806:9;6802:17;6793:6;6749:71;:::i;:::-;6605:222;;;;:::o;6833:474::-;6901:6;6909;6958:2;6946:9;6937:7;6933:23;6929:32;6926:119;;;6964:79;;:::i;:::-;6926:119;7084:1;7109:53;7154:7;7145:6;7134:9;7130:22;7109:53;:::i;:::-;7099:63;;7055:117;7211:2;7237:53;7282:7;7273:6;7262:9;7258:22;7237:53;:::i;:::-;7227:63;;7182:118;6833:474;;;;;:::o;7313:180::-;7361:77;7358:1;7351:88;7458:4;7455:1;7448:15;7482:4;7479:1;7472:15;7499:320;7543:6;7580:1;7574:4;7570:12;7560:22;;7627:1;7621:4;7617:12;7648:18;7638:81;;7704:4;7696:6;7692:17;7682:27;;7638:81;7766:2;7758:6;7755:14;7735:18;7732:38;7729:84;;7785:18;;:::i;:::-;7729:84;7550:269;7499:320;;;:::o;7825:180::-;7873:77;7870:1;7863:88;7970:4;7967:1;7960:15;7994:4;7991:1;7984:15;8011:191;8051:3;8070:20;8088:1;8070:20;:::i;:::-;8065:25;;8104:20;8122:1;8104:20;:::i;:::-;8099:25;;8147:1;8144;8140:9;8133:16;;8168:3;8165:1;8162:10;8159:36;;;8175:18;;:::i;:::-;8159:36;8011:191;;;;:::o;8208:180::-;8256:77;8253:1;8246:88;8353:4;8350:1;8343:15;8377:4;8374:1;8367:15;8394:185;8434:1;8451:20;8469:1;8451:20;:::i;:::-;8446:25;;8485:20;8503:1;8485:20;:::i;:::-;8480:25;;8524:1;8514:35;;8529:18;;:::i;:::-;8514:35;8571:1;8568;8564:9;8559:14;;8394:185;;;;:::o;8585:224::-;8725:34;8721:1;8713:6;8709:14;8702:58;8794:7;8789:2;8781:6;8777:15;8770:32;8585:224;:::o;8815:366::-;8957:3;8978:67;9042:2;9037:3;8978:67;:::i;:::-;8971:74;;9054:93;9143:3;9054:93;:::i;:::-;9172:2;9167:3;9163:12;9156:19;;8815:366;;;:::o;9187:419::-;9353:4;9391:2;9380:9;9376:18;9368:26;;9440:9;9434:4;9430:20;9426:1;9415:9;9411:17;9404:47;9468:131;9594:4;9468:131;:::i;:::-;9460:139;;9187:419;;;:::o;9612:180::-;9660:77;9657:1;9650:88;9757:4;9754:1;9747:15;9781:4;9778:1;9771:15;9798:113;9879:1;9872:5;9869:12;9859:46;;9885:18;;:::i;:::-;9859:46;9798:113;:::o;9917:127::-;9962:7;9991:5;9980:16;;9997:41;10032:5;9997:41;:::i;:::-;9917:127;;;:::o;10050:::-;10106:9;10139:32;10165:5;10139:32;:::i;:::-;10126:45;;10050:127;;;:::o;10183:143::-;10276:43;10313:5;10276:43;:::i;:::-;10271:3;10264:56;10183:143;;:::o;10332:344::-;10459:4;10497:2;10486:9;10482:18;10474:26;;10510:77;10584:1;10573:9;10569:17;10560:6;10510:77;:::i;:::-;10597:72;10665:2;10654:9;10650:18;10641:6;10597:72;:::i;:::-;10332:344;;;;;:::o;10682:225::-;10822:34;10818:1;10810:6;10806:14;10799:58;10891:8;10886:2;10878:6;10874:15;10867:33;10682:225;:::o;10913:366::-;11055:3;11076:67;11140:2;11135:3;11076:67;:::i;:::-;11069:74;;11152:93;11241:3;11152:93;:::i;:::-;11270:2;11265:3;11261:12;11254:19;;10913:366;;;:::o;11285:419::-;11451:4;11489:2;11478:9;11474:18;11466:26;;11538:9;11532:4;11528:20;11524:1;11513:9;11509:17;11502:47;11566:131;11692:4;11566:131;:::i;:::-;11558:139;;11285:419;;;:::o;11710:223::-;11850:34;11846:1;11838:6;11834:14;11827:58;11919:6;11914:2;11906:6;11902:15;11895:31;11710:223;:::o;11939:366::-;12081:3;12102:67;12166:2;12161:3;12102:67;:::i;:::-;12095:74;;12178:93;12267:3;12178:93;:::i;:::-;12296:2;12291:3;12287:12;12280:19;;11939:366;;;:::o;12311:419::-;12477:4;12515:2;12504:9;12500:18;12492:26;;12564:9;12558:4;12554:20;12550:1;12539:9;12535:17;12528:47;12592:131;12718:4;12592:131;:::i;:::-;12584:139;;12311:419;;;:::o;12736:221::-;12876:34;12872:1;12864:6;12860:14;12853:58;12945:4;12940:2;12932:6;12928:15;12921:29;12736:221;:::o;12963:366::-;13105:3;13126:67;13190:2;13185:3;13126:67;:::i;:::-;13119:74;;13202:93;13291:3;13202:93;:::i;:::-;13320:2;13315:3;13311:12;13304:19;;12963:366;;;:::o;13335:419::-;13501:4;13539:2;13528:9;13524:18;13516:26;;13588:9;13582:4;13578:20;13574:1;13563:9;13559:17;13552:47;13616:131;13742:4;13616:131;:::i;:::-;13608:139;;13335:419;;;:::o;13760:179::-;13900:31;13896:1;13888:6;13884:14;13877:55;13760:179;:::o;13945:366::-;14087:3;14108:67;14172:2;14167:3;14108:67;:::i;:::-;14101:74;;14184:93;14273:3;14184:93;:::i;:::-;14302:2;14297:3;14293:12;14286:19;;13945:366;;;:::o;14317:419::-;14483:4;14521:2;14510:9;14506:18;14498:26;;14570:9;14564:4;14560:20;14556:1;14545:9;14541:17;14534:47;14598:131;14724:4;14598:131;:::i;:::-;14590:139;;14317:419;;;:::o;14742:224::-;14882:34;14878:1;14870:6;14866:14;14859:58;14951:7;14946:2;14938:6;14934:15;14927:32;14742:224;:::o;14972:366::-;15114:3;15135:67;15199:2;15194:3;15135:67;:::i;:::-;15128:74;;15211:93;15300:3;15211:93;:::i;:::-;15329:2;15324:3;15320:12;15313:19;;14972:366;;;:::o;15344:419::-;15510:4;15548:2;15537:9;15533:18;15525:26;;15597:9;15591:4;15587:20;15583:1;15572:9;15568:17;15561:47;15625:131;15751:4;15625:131;:::i;:::-;15617:139;;15344:419;;;:::o;15769:222::-;15909:34;15905:1;15897:6;15893:14;15886:58;15978:5;15973:2;15965:6;15961:15;15954:30;15769:222;:::o;15997:366::-;16139:3;16160:67;16224:2;16219:3;16160:67;:::i;:::-;16153:74;;16236:93;16325:3;16236:93;:::i;:::-;16354:2;16349:3;16345:12;16338:19;;15997:366;;;:::o;16369:419::-;16535:4;16573:2;16562:9;16558:18;16550:26;;16622:9;16616:4;16612:20;16608:1;16597:9;16593:17;16586:47;16650:131;16776:4;16650:131;:::i;:::-;16642:139;;16369:419;;;:::o;16794:225::-;16934:34;16930:1;16922:6;16918:14;16911:58;17003:8;16998:2;16990:6;16986:15;16979:33;16794:225;:::o;17025:366::-;17167:3;17188:67;17252:2;17247:3;17188:67;:::i;:::-;17181:74;;17264:93;17353:3;17264:93;:::i;:::-;17382:2;17377:3;17373:12;17366:19;;17025:366;;;:::o;17397:419::-;17563:4;17601:2;17590:9;17586:18;17578:26;;17650:9;17644:4;17640:20;17636:1;17625:9;17621:17;17614:47;17678:131;17804:4;17678:131;:::i;:::-;17670:139;;17397:419;;;:::o;17822:182::-;17962:34;17958:1;17950:6;17946:14;17939:58;17822:182;:::o;18010:366::-;18152:3;18173:67;18237:2;18232:3;18173:67;:::i;:::-;18166:74;;18249:93;18338:3;18249:93;:::i;:::-;18367:2;18362:3;18358:12;18351:19;;18010:366;;;:::o;18382:419::-;18548:4;18586:2;18575:9;18571:18;18563:26;;18635:9;18629:4;18625:20;18621:1;18610:9;18606:17;18599:47;18663:131;18789:4;18663:131;:::i;:::-;18655:139;;18382:419;;;:::o;18807:220::-;18947:34;18943:1;18935:6;18931:14;18924:58;19016:3;19011:2;19003:6;18999:15;18992:28;18807:220;:::o;19033:366::-;19175:3;19196:67;19260:2;19255:3;19196:67;:::i;:::-;19189:74;;19272:93;19361:3;19272:93;:::i;:::-;19390:2;19385:3;19381:12;19374:19;;19033:366;;;:::o;19405:419::-;19571:4;19609:2;19598:9;19594:18;19586:26;;19658:9;19652:4;19648:20;19644:1;19633:9;19629:17;19622:47;19686:131;19812:4;19686:131;:::i;:::-;19678:139;;19405:419;;;:::o;19830:221::-;19970:34;19966:1;19958:6;19954:14;19947:58;20039:4;20034:2;20026:6;20022:15;20015:29;19830:221;:::o;20057:366::-;20199:3;20220:67;20284:2;20279:3;20220:67;:::i;:::-;20213:74;;20296:93;20385:3;20296:93;:::i;:::-;20414:2;20409:3;20405:12;20398:19;;20057:366;;;:::o;20429:419::-;20595:4;20633:2;20622:9;20618:18;20610:26;;20682:9;20676:4;20672:20;20668:1;20657:9;20653:17;20646:47;20710:131;20836:4;20710:131;:::i;:::-;20702:139;;20429:419;;;:::o

ipfs://d2cd9f31ceb647f749c2194451ab556cae07af86831715ad2b808eec96aedf2c