Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()    - function _msgSender()    - function _msgData()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract Pilot is ERC20Burnable *    - function mint(address to, uint256 val ...    - function updateMinter(address newMint ...    - function _mintInitialTokens(address[] ...    - function _validateSignedData(    - function permit(    - function getDomainSeparator()    - function getChainId()    - function transferWithAuthorization(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-07-20
*/

// SPDX-License-Identifier: MIT

pragma solidity >=0.8.6;

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

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

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

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

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

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

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

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


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]





/**
 * @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);
}


// File @openzeppelin/contracts/utils/[email protected]





/*
 * @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;
    }
}


// File @openzeppelin/contracts/token/ERC20/[email protected]







/**
 * @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.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of 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}.
     *
     * 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:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

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

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

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

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

        return true;
    }

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

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

        return true;
    }

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

        _beforeTokenTransfer(sender, recipient, amount);

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

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

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



/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        uint256 currentAllowance = allowance(account, _msgSender());
        require(currentAllowance >= amount, "ERC20: burn amount exceeds allowance");
        unchecked {
            _approve(account, _msgSender(), currentAllowance - amount);
        }
        _burn(account, amount);
    }
}

contract Pilot is ERC20Burnable {
  address public timelock;

  address private _minter;

  bool private _minterStatus;    

  // keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)")
  bytes32 private constant EIP712DOMAIN_HASH =
    0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f;

  // bytes32 private constant NAME_HASH = keccak256("Unipilot")
  bytes32 private constant NAME_HASH =
    0x96f8699b9d60ee03e2ae096e7ed75448335015f6b0f67e4f1540d650607f9ed9;

  // bytes32 private constant VERSION_HASH = keccak256("1")
  bytes32 private constant VERSION_HASH =
    0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6;

  // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
  bytes32 public constant PERMIT_TYPEHASH =
    0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;

  // keccak256("TransferWithAuthorization(address from,address to,uint256 value,uint256 validAfter,uint256 validBefore,bytes32 nonce)");
  bytes32 public constant TRANSFER_WITH_AUTHORIZATION_TYPEHASH =
    0x7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a2267;

  modifier onlyMinter {
    require(msg.sender == _minter, "PILOT:: NOT_MINTER");
    _;
  }

  modifier onlyTimelock {
    require(msg.sender == timelock, "PILOT:: NOT_TIMELOCK");
    _;
  }

  mapping(address => uint256) public nonces;

  mapping(address => mapping(bytes32 => bool)) public authorizationState;

  event AuthorizationUsed(address indexed authorizer, bytes32 indexed nonce);

  constructor(
    address _timelock,
    address[] memory vestingAddresses,
    uint256[] memory vestingAmounts
  ) ERC20("Unipilot", "PILOT") {
    _mintInitialTokens(vestingAddresses, vestingAmounts);
    timelock = _timelock;
  }

  function mint(address to, uint256 value) external onlyMinter {
    _mint(to, value);
  }

  function updateMinter(address newMinter) external onlyTimelock {
    require(!_minterStatus,"PILOT:: MINTER_ALREADY_INITIALIZED");
    require(newMinter != address(0), "PILOT:: INVALID_MINTER_ADDRESS");
    _minter = newMinter;
    _minterStatus = true;
  }

  function _mintInitialTokens(address[] memory _addresses, uint256[] memory _amounts)
    internal
  {
    for (uint256 i = 0; i < _addresses.length; i++) {
      _mint(_addresses[i], _amounts[i]);
    }
  }

  function _validateSignedData(
    address signer,
    bytes32 encodeData,
    uint8 v,
    bytes32 r,
    bytes32 s
  ) internal view {
    bytes32 digest = keccak256(abi.encodePacked("\x19\x01", getDomainSeparator(), encodeData));
    address recoveredAddress = ecrecover(digest, v, r, s);
    require(
      recoveredAddress != address(0) && recoveredAddress == signer,
      "PILOT:: INVALID_SIGNATURE"
    );
  }

  function permit(
    address owner,
    address spender,
    uint256 value,
    uint256 deadline,
    uint8 v,
    bytes32 r,
    bytes32 s
  ) external {
    require(deadline >= block.timestamp, "PILOT:: AUTH_EXPIRED");

    bytes32 encodeData =
      keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner], deadline));
    nonces[owner] = nonces[owner] + 1;
    _validateSignedData(owner, encodeData, v, r, s);
    _approve(owner, spender, value);
  }

  function getDomainSeparator() public view returns (bytes32) {
    return
      keccak256(
        abi.encode(EIP712DOMAIN_HASH, NAME_HASH, VERSION_HASH, getChainId(), address(this))
      );
  }

  function getChainId() public view returns (uint256 chainId) {
    assembly {
      chainId := chainid()
    }
  }

  function transferWithAuthorization(
    address from,
    address to,
    uint256 value,
    uint256 validAfter,
    uint256 validBefore,
    bytes32 nonce,
    uint8 v,
    bytes32 r,
    bytes32 s
  ) external {
    require(block.timestamp > validAfter, "PILOT:: AUTH_NOT_YET_VALID");
    require(block.timestamp < validBefore, "PILOT:: AUTH_EXPIRED");
    require(!authorizationState[from][nonce], "PILOT:: AUTH_ALREADY_USED");

    bytes32 encodeData =
      keccak256(
        abi.encode(
          TRANSFER_WITH_AUTHORIZATION_TYPEHASH,
          from,
          to,
          value,
          validAfter,
          validBefore,
          nonce
        )
      );
    _validateSignedData(from, encodeData, v, r, s);

    authorizationState[from][nonce] = true;
    emit AuthorizationUsed(from, nonce);

    _transfer(from, to, value);
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_timelock","type":"address"},{"internalType":"address[]","name":"vestingAddresses","type":"address[]"},{"internalType":"uint256[]","name":"vestingAmounts","type":"uint256[]"}],"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":"authorizer","type":"address"},{"indexed":true,"internalType":"bytes32","name":"nonce","type":"bytes32"}],"name":"AuthorizationUsed","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":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TRANSFER_WITH_AUTHORIZATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"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":"","type":"address"},{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"authorizationState","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","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":[],"name":"getChainId","outputs":[{"internalType":"uint256","name":"chainId","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getDomainSeparator","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","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":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"timelock","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"validAfter","type":"uint256"},{"internalType":"uint256","name":"validBefore","type":"uint256"},{"internalType":"bytes32","name":"nonce","type":"bytes32"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"transferWithAuthorization","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newMinter","type":"address"}],"name":"updateMinter","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50604051620036b4380380620036b4833981810160405281019062000037919062000564565b6040518060400160405280600881526020017f556e6970696c6f740000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f50494c4f540000000000000000000000000000000000000000000000000000008152508160039080519060200190620000bb9291906200032a565b508060049080519060200190620000d49291906200032a565b505050620000e982826200013360201b60201c565b82600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505050620009a0565b60005b8251811015620001a2576200018c8382815181106200015a5762000159620008c0565b5b6020026020010151838381518110620001785762000177620008c0565b5b6020026020010151620001a760201b60201c565b8080620001999062000814565b91505062000136565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200021a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002119062000636565b60405180910390fd5b6200022e600083836200032060201b60201c565b80600260008282546200024291906200070d565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546200029991906200070d565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000300919062000658565b60405180910390a36200031c600083836200032560201b60201c565b5050565b505050565b505050565b8280546200033890620007a8565b90600052602060002090601f0160209004810192826200035c5760008555620003a8565b82601f106200037757805160ff1916838001178555620003a8565b82800160010185558215620003a8579182015b82811115620003a75782518255916020019190600101906200038a565b5b509050620003b79190620003bb565b5090565b5b80821115620003d6576000816000905550600101620003bc565b5090565b6000620003f1620003eb846200069e565b62000675565b9050808382526020820190508285602086028201111562000417576200041662000923565b5b60005b858110156200044b5781620004308882620004d0565b8452602084019350602083019250506001810190506200041a565b5050509392505050565b60006200046c6200046684620006cd565b62000675565b9050808382526020820190508285602086028201111562000492576200049162000923565b5b60005b85811015620004c65781620004ab88826200054d565b84526020840193506020830192505060018101905062000495565b5050509392505050565b600081519050620004e1816200096c565b92915050565b600082601f830112620004ff57620004fe6200091e565b5b815162000511848260208601620003da565b91505092915050565b600082601f8301126200053257620005316200091e565b5b81516200054484826020860162000455565b91505092915050565b6000815190506200055e8162000986565b92915050565b60008060006060848603121562000580576200057f6200092d565b5b60006200059086828701620004d0565b935050602084015167ffffffffffffffff811115620005b457620005b362000928565b5b620005c286828701620004e7565b925050604084015167ffffffffffffffff811115620005e657620005e562000928565b5b620005f4868287016200051a565b9150509250925092565b60006200060d601f83620006fc565b91506200061a8262000943565b602082019050919050565b62000630816200079e565b82525050565b600060208201905081810360008301526200065181620005fe565b9050919050565b60006020820190506200066f600083018462000625565b92915050565b60006200068162000694565b90506200068f8282620007de565b919050565b6000604051905090565b600067ffffffffffffffff821115620006bc57620006bb620008ef565b5b602082029050602081019050919050565b600067ffffffffffffffff821115620006eb57620006ea620008ef565b5b602082029050602081019050919050565b600082825260208201905092915050565b60006200071a826200079e565b915062000727836200079e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200075f576200075e62000862565b5b828201905092915050565b600062000777826200077e565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006002820490506001821680620007c157607f821691505b60208210811415620007d857620007d762000891565b5b50919050565b620007e98262000932565b810181811067ffffffffffffffff821117156200080b576200080a620008ef565b5b80604052505050565b600062000821826200079e565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141562000857576200085662000862565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b62000977816200076a565b81146200098357600080fd5b50565b62000991816200079e565b81146200099d57600080fd5b50565b612d0480620009b06000396000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c806379cc6790116100c3578063d33219b41161007c578063d33219b4146103ef578063d505accf1461040d578063dd62ed3e14610429578063e3ee160e14610459578063e94a010214610475578063ed24911d146104a557610158565b806379cc6790146103075780637ecebe001461032357806395d89b4114610353578063a0cc6a6814610371578063a457c2d71461038f578063a9059cbb146103bf57610158565b80633408e470116101155780633408e47014610235578063395093511461025357806340c10f191461028357806342966c681461029f5780634eb03f6e146102bb57806370a08231146102d757610158565b806306fdde031461015d578063095ea7b31461017b57806318160ddd146101ab57806323b872dd146101c957806330adf81f146101f9578063313ce56714610217575b600080fd5b6101656104c3565b60405161017291906122f1565b60405180910390f35b61019560048036038101906101909190611d3d565b610555565b6040516101a29190612153565b60405180910390f35b6101b3610573565b6040516101c09190612573565b60405180910390f35b6101e360048036038101906101de9190611b3e565b61057d565b6040516101f09190612153565b60405180910390f35b610201610675565b60405161020e919061216e565b60405180910390f35b61021f61069c565b60405161022c919061258e565b60405180910390f35b61023d6106a5565b60405161024a9190612573565b60405180910390f35b61026d60048036038101906102689190611d3d565b6106ad565b60405161027a9190612153565b60405180910390f35b61029d60048036038101906102989190611d3d565b610759565b005b6102b960048036038101906102b49190611d7d565b6107f7565b005b6102d560048036038101906102d09190611ad1565b61080b565b005b6102f160048036038101906102ec9190611ad1565b6109ba565b6040516102fe9190612573565b60405180910390f35b610321600480360381019061031c9190611d3d565b610a02565b005b61033d60048036038101906103389190611ad1565b610a7d565b60405161034a9190612573565b60405180910390f35b61035b610a95565b60405161036891906122f1565b60405180910390f35b610379610b27565b604051610386919061216e565b60405180910390f35b6103a960048036038101906103a49190611d3d565b610b4e565b6040516103b69190612153565b60405180910390f35b6103d960048036038101906103d49190611d3d565b610c39565b6040516103e69190612153565b60405180910390f35b6103f7610c57565b6040516104049190612138565b60405180910390f35b61042760048036038101906104229190611c5b565b610c7d565b005b610443600480360381019061043e9190611afe565b610e08565b6040516104509190612573565b60405180910390f35b610473600480360381019061046e9190611b91565b610e8f565b005b61048f600480360381019061048a9190611cfd565b6110dc565b60405161049c9190612153565b60405180910390f35b6104ad61110b565b6040516104ba919061216e565b60405180910390f35b6060600380546104d2906126ec565b80601f01602080910402602001604051908101604052809291908181526020018280546104fe906126ec565b801561054b5780601f106105205761010080835404028352916020019161054b565b820191906000526020600020905b81548152906001019060200180831161052e57829003601f168201915b5050505050905090565b60006105696105626111b1565b84846111b9565b6001905092915050565b6000600254905090565b600061058a848484611384565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006105d56111b1565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610655576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064c90612433565b60405180910390fd5b610669856106616111b1565b8584036111b9565b60019150509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b60006012905090565b600046905090565b600061074f6106ba6111b1565b8484600160006106c86111b1565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461074a91906125d0565b6111b9565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e0906123d3565b60405180910390fd5b6107f38282611605565b5050565b6108086108026111b1565b82611765565b50565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461089b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089290612393565b60405180910390fd5b600660149054906101000a900460ff16156108eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e290612473565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561095b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095290612353565b60405180910390fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600660146101000a81548160ff02191690831515021790555050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000610a1583610a106111b1565b610e08565b905081811015610a5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5190612453565b60405180910390fd5b610a6e83610a666111b1565b8484036111b9565b610a788383611765565b505050565b60076020528060005260406000206000915090505481565b606060048054610aa4906126ec565b80601f0160208091040260200160405190810160405280929190818152602001828054610ad0906126ec565b8015610b1d5780601f10610af257610100808354040283529160200191610b1d565b820191906000526020600020905b815481529060010190602001808311610b0057829003601f168201915b5050505050905090565b7f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226760001b81565b60008060016000610b5d6111b1565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610c1a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1190612533565b60405180910390fd5b610c2e610c256111b1565b858584036111b9565b600191505092915050565b6000610c4d610c466111b1565b8484611384565b6001905092915050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b42841015610cc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb790612413565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b888888600760008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205489604051602001610d3f96959493929190612189565b6040516020818303038152906040528051906020012090506001600760008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610da391906125d0565b600760008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610df3888286868661193c565b610dfe8888886111b9565b5050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b854211610ed1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ec8906124b3565b60405180910390fd5b844210610f13576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f0a90612413565b60405180910390fd5b600860008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060009054906101000a900460ff1615610fb1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fa890612513565b60405180910390fd5b60007f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226760001b8a8a8a8a8a8a604051602001610ff397969594939291906121ea565b6040516020818303038152906040528051906020012090506110188a8286868661193c565b6001600860008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600087815260200190815260200160002060006101000a81548160ff021916908315150217905550848a73ffffffffffffffffffffffffffffffffffffffff167f98de503528ee59b575ef0c0a2576a82497bfc029a5685b209e9ec333479b10a560405160405180910390a36110d08a8a8a611384565b50505050505050505050565b60086020528160005260406000206020528060005260406000206000915091509054906101000a900460ff1681565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60001b7f96f8699b9d60ee03e2ae096e7ed75448335015f6b0f67e4f1540d650607f9ed960001b7fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660001b6111816106a5565b30604051602001611196959493929190612259565b60405160208183030381529060405280519060200120905090565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611229576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611220906124f3565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611299576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129090612373565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113779190612573565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113eb906124d3565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611464576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145b90612313565b60405180910390fd5b61146f838383611a73565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156114f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114ec906123b3565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461158891906125d0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516115ec9190612573565b60405180910390a36115ff848484611a78565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611675576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161166c90612553565b60405180910390fd5b61168160008383611a73565b806002600082825461169391906125d0565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546116e891906125d0565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161174d9190612573565b60405180910390a361176160008383611a78565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156117d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117cc90612493565b60405180910390fd5b6117e182600083611a73565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611867576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161185e90612333565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282546118be9190612626565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516119239190612573565b60405180910390a361193783600084611a78565b505050565b600061194661110b565b85604051602001611958929190612101565b60405160208183030381529060405280519060200120905060006001828686866040516000815260200160405260405161199594939291906122ac565b6020604051602081039080840390855afa1580156119b7573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015611a2b57508673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611a6a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a61906123f3565b60405180910390fd5b50505050505050565b505050565b505050565b600081359050611a8c81612c72565b92915050565b600081359050611aa181612c89565b92915050565b600081359050611ab681612ca0565b92915050565b600081359050611acb81612cb7565b92915050565b600060208284031215611ae757611ae6612786565b5b6000611af584828501611a7d565b91505092915050565b60008060408385031215611b1557611b14612786565b5b6000611b2385828601611a7d565b9250506020611b3485828601611a7d565b9150509250929050565b600080600060608486031215611b5757611b56612786565b5b6000611b6586828701611a7d565b9350506020611b7686828701611a7d565b9250506040611b8786828701611aa7565b9150509250925092565b60008060008060008060008060006101208a8c031215611bb457611bb3612786565b5b6000611bc28c828d01611a7d565b9950506020611bd38c828d01611a7d565b9850506040611be48c828d01611aa7565b9750506060611bf58c828d01611aa7565b9650506080611c068c828d01611aa7565b95505060a0611c178c828d01611a92565b94505060c0611c288c828d01611abc565b93505060e0611c398c828d01611a92565b925050610100611c4b8c828d01611a92565b9150509295985092959850929598565b600080600080600080600060e0888a031215611c7a57611c79612786565b5b6000611c888a828b01611a7d565b9750506020611c998a828b01611a7d565b9650506040611caa8a828b01611aa7565b9550506060611cbb8a828b01611aa7565b9450506080611ccc8a828b01611abc565b93505060a0611cdd8a828b01611a92565b92505060c0611cee8a828b01611a92565b91505092959891949750929550565b60008060408385031215611d1457611d13612786565b5b6000611d2285828601611a7d565b9250506020611d3385828601611a92565b9150509250929050565b60008060408385031215611d5457611d53612786565b5b6000611d6285828601611a7d565b9250506020611d7385828601611aa7565b9150509250929050565b600060208284031215611d9357611d92612786565b5b6000611da184828501611aa7565b91505092915050565b611db38161265a565b82525050565b611dc28161266c565b82525050565b611dd181612678565b82525050565b611de8611de382612678565b61271e565b82525050565b6000611df9826125a9565b611e0381856125b4565b9350611e138185602086016126b9565b611e1c8161278b565b840191505092915050565b6000611e346023836125b4565b9150611e3f8261279c565b604082019050919050565b6000611e576022836125b4565b9150611e62826127eb565b604082019050919050565b6000611e7a601e836125b4565b9150611e858261283a565b602082019050919050565b6000611e9d6022836125b4565b9150611ea882612863565b604082019050919050565b6000611ec06014836125b4565b9150611ecb826128b2565b602082019050919050565b6000611ee36002836125c5565b9150611eee826128db565b600282019050919050565b6000611f066026836125b4565b9150611f1182612904565b604082019050919050565b6000611f296012836125b4565b9150611f3482612953565b602082019050919050565b6000611f4c6019836125b4565b9150611f578261297c565b602082019050919050565b6000611f6f6014836125b4565b9150611f7a826129a5565b602082019050919050565b6000611f926028836125b4565b9150611f9d826129ce565b604082019050919050565b6000611fb56024836125b4565b9150611fc082612a1d565b604082019050919050565b6000611fd86022836125b4565b9150611fe382612a6c565b604082019050919050565b6000611ffb6021836125b4565b915061200682612abb565b604082019050919050565b600061201e601a836125b4565b915061202982612b0a565b602082019050919050565b60006120416025836125b4565b915061204c82612b33565b604082019050919050565b60006120646024836125b4565b915061206f82612b82565b604082019050919050565b60006120876019836125b4565b915061209282612bd1565b602082019050919050565b60006120aa6025836125b4565b91506120b582612bfa565b604082019050919050565b60006120cd601f836125b4565b91506120d882612c49565b602082019050919050565b6120ec816126a2565b82525050565b6120fb816126ac565b82525050565b600061210c82611ed6565b91506121188285611dd7565b6020820191506121288284611dd7565b6020820191508190509392505050565b600060208201905061214d6000830184611daa565b92915050565b60006020820190506121686000830184611db9565b92915050565b60006020820190506121836000830184611dc8565b92915050565b600060c08201905061219e6000830189611dc8565b6121ab6020830188611daa565b6121b86040830187611daa565b6121c560608301866120e3565b6121d260808301856120e3565b6121df60a08301846120e3565b979650505050505050565b600060e0820190506121ff600083018a611dc8565b61220c6020830189611daa565b6122196040830188611daa565b61222660608301876120e3565b61223360808301866120e3565b61224060a08301856120e3565b61224d60c0830184611dc8565b98975050505050505050565b600060a08201905061226e6000830188611dc8565b61227b6020830187611dc8565b6122886040830186611dc8565b61229560608301856120e3565b6122a26080830184611daa565b9695505050505050565b60006080820190506122c16000830187611dc8565b6122ce60208301866120f2565b6122db6040830185611dc8565b6122e86060830184611dc8565b95945050505050565b6000602082019050818103600083015261230b8184611dee565b905092915050565b6000602082019050818103600083015261232c81611e27565b9050919050565b6000602082019050818103600083015261234c81611e4a565b9050919050565b6000602082019050818103600083015261236c81611e6d565b9050919050565b6000602082019050818103600083015261238c81611e90565b9050919050565b600060208201905081810360008301526123ac81611eb3565b9050919050565b600060208201905081810360008301526123cc81611ef9565b9050919050565b600060208201905081810360008301526123ec81611f1c565b9050919050565b6000602082019050818103600083015261240c81611f3f565b9050919050565b6000602082019050818103600083015261242c81611f62565b9050919050565b6000602082019050818103600083015261244c81611f85565b9050919050565b6000602082019050818103600083015261246c81611fa8565b9050919050565b6000602082019050818103600083015261248c81611fcb565b9050919050565b600060208201905081810360008301526124ac81611fee565b9050919050565b600060208201905081810360008301526124cc81612011565b9050919050565b600060208201905081810360008301526124ec81612034565b9050919050565b6000602082019050818103600083015261250c81612057565b9050919050565b6000602082019050818103600083015261252c8161207a565b9050919050565b6000602082019050818103600083015261254c8161209d565b9050919050565b6000602082019050818103600083015261256c816120c0565b9050919050565b600060208201905061258860008301846120e3565b92915050565b60006020820190506125a360008301846120f2565b92915050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b60006125db826126a2565b91506125e6836126a2565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561261b5761261a612728565b5b828201905092915050565b6000612631826126a2565b915061263c836126a2565b92508282101561264f5761264e612728565b5b828203905092915050565b600061266582612682565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156126d75780820151818401526020810190506126bc565b838111156126e6576000848401525b50505050565b6000600282049050600182168061270457607f821691505b6020821081141561271857612717612757565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a20494e56414c49445f4d494e5445525f414444524553530000600082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a204e4f545f54494d454c4f434b000000000000000000000000600082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a204e4f545f4d494e5445520000000000000000000000000000600082015250565b7f50494c4f543a3a20494e56414c49445f5349474e415455524500000000000000600082015250565b7f50494c4f543a3a20415554485f45585049524544000000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a204d494e5445525f414c52454144595f494e495449414c495a60008201527f4544000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a20415554485f4e4f545f5945545f56414c4944000000000000600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a20415554485f414c52454144595f5553454400000000000000600082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b612c7b8161265a565b8114612c8657600080fd5b50565b612c9281612678565b8114612c9d57600080fd5b50565b612ca9816126a2565b8114612cb457600080fd5b50565b612cc0816126ac565b8114612ccb57600080fd5b5056fea2646970667358221220da78a20f48246c4a1e2bffd067cb9f3981f9e98987602049f05591395cb53f2164736f6c634300080600330000000000000000000000001684f4d3c7e27f02c2072ade8831338d1d13dbe5000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000001a00000000000000000000000000000000000000000000000000000000000000009000000000000000000000000738b859088daef78bdabba4eecf2b4531cf4c6c70000000000000000000000004f6f49194e75c347a41e020d31d39c2f9a24b6e10000000000000000000000003b5ddf126f1cf58cf6597e86d13428c3a25044d3000000000000000000000000d94121f2e06b80bdf098f9975c236384c222f4950000000000000000000000001922af4365b09a9d818833b730324f7ef6335c9f0000000000000000000000004162989a2d97f3a4f082184e47aa61f81b21a7fd000000000000000000000000fa855e50537571d3cb242243e70e617166e628e8000000000000000000000000c0d0c55bcf268d1d9e58af4df4e8755e6ce36a050000000000000000000000008d6a8ad2be417f0ef73e2f523d15e673d962765f0000000000000000000000000000000000000000000000000000000000000009000000000000000000000000000000000000000000007f0e10af47c1c70000000000000000000000000000000000000000000000000054b40b1f852bda0000000000000000000000000000000000000000000000000034f086f3b33b684000000000000000000000000000000000000000000000000034f086f3b33b684000000000000000000000000000000000000000000000000771d2fa45345aa900000000000000000000000000000000000000000000000002fa54641bae8aaa00000000000000000000000000000000000000000000000001dc74be914d16aa40000000000000000000000000000000000000000000000001dc74be914d16aa40000000000000000000000000000000000000000000000001287626ee52197b000000

0x608060405234801561001057600080fd5b50600436106101585760003560e01c806379cc6790116100c3578063d33219b41161007c578063d33219b4146103ef578063d505accf1461040d578063dd62ed3e14610429578063e3ee160e14610459578063e94a010214610475578063ed24911d146104a557610158565b806379cc6790146103075780637ecebe001461032357806395d89b4114610353578063a0cc6a6814610371578063a457c2d71461038f578063a9059cbb146103bf57610158565b80633408e470116101155780633408e47014610235578063395093511461025357806340c10f191461028357806342966c681461029f5780634eb03f6e146102bb57806370a08231146102d757610158565b806306fdde031461015d578063095ea7b31461017b57806318160ddd146101ab57806323b872dd146101c957806330adf81f146101f9578063313ce56714610217575b600080fd5b6101656104c3565b60405161017291906122f1565b60405180910390f35b61019560048036038101906101909190611d3d565b610555565b6040516101a29190612153565b60405180910390f35b6101b3610573565b6040516101c09190612573565b60405180910390f35b6101e360048036038101906101de9190611b3e565b61057d565b6040516101f09190612153565b60405180910390f35b610201610675565b60405161020e919061216e565b60405180910390f35b61021f61069c565b60405161022c919061258e565b60405180910390f35b61023d6106a5565b60405161024a9190612573565b60405180910390f35b61026d60048036038101906102689190611d3d565b6106ad565b60405161027a9190612153565b60405180910390f35b61029d60048036038101906102989190611d3d565b610759565b005b6102b960048036038101906102b49190611d7d565b6107f7565b005b6102d560048036038101906102d09190611ad1565b61080b565b005b6102f160048036038101906102ec9190611ad1565b6109ba565b6040516102fe9190612573565b60405180910390f35b610321600480360381019061031c9190611d3d565b610a02565b005b61033d60048036038101906103389190611ad1565b610a7d565b60405161034a9190612573565b60405180910390f35b61035b610a95565b60405161036891906122f1565b60405180910390f35b610379610b27565b604051610386919061216e565b60405180910390f35b6103a960048036038101906103a49190611d3d565b610b4e565b6040516103b69190612153565b60405180910390f35b6103d960048036038101906103d49190611d3d565b610c39565b6040516103e69190612153565b60405180910390f35b6103f7610c57565b6040516104049190612138565b60405180910390f35b61042760048036038101906104229190611c5b565b610c7d565b005b610443600480360381019061043e9190611afe565b610e08565b6040516104509190612573565b60405180910390f35b610473600480360381019061046e9190611b91565b610e8f565b005b61048f600480360381019061048a9190611cfd565b6110dc565b60405161049c9190612153565b60405180910390f35b6104ad61110b565b6040516104ba919061216e565b60405180910390f35b6060600380546104d2906126ec565b80601f01602080910402602001604051908101604052809291908181526020018280546104fe906126ec565b801561054b5780601f106105205761010080835404028352916020019161054b565b820191906000526020600020905b81548152906001019060200180831161052e57829003601f168201915b5050505050905090565b60006105696105626111b1565b84846111b9565b6001905092915050565b6000600254905090565b600061058a848484611384565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006105d56111b1565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610655576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064c90612433565b60405180910390fd5b610669856106616111b1565b8584036111b9565b60019150509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b60006012905090565b600046905090565b600061074f6106ba6111b1565b8484600160006106c86111b1565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461074a91906125d0565b6111b9565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e0906123d3565b60405180910390fd5b6107f38282611605565b5050565b6108086108026111b1565b82611765565b50565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461089b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089290612393565b60405180910390fd5b600660149054906101000a900460ff16156108eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e290612473565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561095b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095290612353565b60405180910390fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600660146101000a81548160ff02191690831515021790555050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000610a1583610a106111b1565b610e08565b905081811015610a5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5190612453565b60405180910390fd5b610a6e83610a666111b1565b8484036111b9565b610a788383611765565b505050565b60076020528060005260406000206000915090505481565b606060048054610aa4906126ec565b80601f0160208091040260200160405190810160405280929190818152602001828054610ad0906126ec565b8015610b1d5780601f10610af257610100808354040283529160200191610b1d565b820191906000526020600020905b815481529060010190602001808311610b0057829003601f168201915b5050505050905090565b7f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226760001b81565b60008060016000610b5d6111b1565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610c1a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1190612533565b60405180910390fd5b610c2e610c256111b1565b858584036111b9565b600191505092915050565b6000610c4d610c466111b1565b8484611384565b6001905092915050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b42841015610cc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb790612413565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b888888600760008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205489604051602001610d3f96959493929190612189565b6040516020818303038152906040528051906020012090506001600760008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610da391906125d0565b600760008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610df3888286868661193c565b610dfe8888886111b9565b5050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b854211610ed1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ec8906124b3565b60405180910390fd5b844210610f13576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f0a90612413565b60405180910390fd5b600860008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060009054906101000a900460ff1615610fb1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fa890612513565b60405180910390fd5b60007f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226760001b8a8a8a8a8a8a604051602001610ff397969594939291906121ea565b6040516020818303038152906040528051906020012090506110188a8286868661193c565b6001600860008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600087815260200190815260200160002060006101000a81548160ff021916908315150217905550848a73ffffffffffffffffffffffffffffffffffffffff167f98de503528ee59b575ef0c0a2576a82497bfc029a5685b209e9ec333479b10a560405160405180910390a36110d08a8a8a611384565b50505050505050505050565b60086020528160005260406000206020528060005260406000206000915091509054906101000a900460ff1681565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60001b7f96f8699b9d60ee03e2ae096e7ed75448335015f6b0f67e4f1540d650607f9ed960001b7fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660001b6111816106a5565b30604051602001611196959493929190612259565b60405160208183030381529060405280519060200120905090565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611229576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611220906124f3565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611299576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129090612373565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113779190612573565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113eb906124d3565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611464576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145b90612313565b60405180910390fd5b61146f838383611a73565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156114f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114ec906123b3565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461158891906125d0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516115ec9190612573565b60405180910390a36115ff848484611a78565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611675576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161166c90612553565b60405180910390fd5b61168160008383611a73565b806002600082825461169391906125d0565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546116e891906125d0565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161174d9190612573565b60405180910390a361176160008383611a78565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156117d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117cc90612493565b60405180910390fd5b6117e182600083611a73565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611867576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161185e90612333565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282546118be9190612626565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516119239190612573565b60405180910390a361193783600084611a78565b505050565b600061194661110b565b85604051602001611958929190612101565b60405160208183030381529060405280519060200120905060006001828686866040516000815260200160405260405161199594939291906122ac565b6020604051602081039080840390855afa1580156119b7573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015611a2b57508673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611a6a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a61906123f3565b60405180910390fd5b50505050505050565b505050565b505050565b600081359050611a8c81612c72565b92915050565b600081359050611aa181612c89565b92915050565b600081359050611ab681612ca0565b92915050565b600081359050611acb81612cb7565b92915050565b600060208284031215611ae757611ae6612786565b5b6000611af584828501611a7d565b91505092915050565b60008060408385031215611b1557611b14612786565b5b6000611b2385828601611a7d565b9250506020611b3485828601611a7d565b9150509250929050565b600080600060608486031215611b5757611b56612786565b5b6000611b6586828701611a7d565b9350506020611b7686828701611a7d565b9250506040611b8786828701611aa7565b9150509250925092565b60008060008060008060008060006101208a8c031215611bb457611bb3612786565b5b6000611bc28c828d01611a7d565b9950506020611bd38c828d01611a7d565b9850506040611be48c828d01611aa7565b9750506060611bf58c828d01611aa7565b9650506080611c068c828d01611aa7565b95505060a0611c178c828d01611a92565b94505060c0611c288c828d01611abc565b93505060e0611c398c828d01611a92565b925050610100611c4b8c828d01611a92565b9150509295985092959850929598565b600080600080600080600060e0888a031215611c7a57611c79612786565b5b6000611c888a828b01611a7d565b9750506020611c998a828b01611a7d565b9650506040611caa8a828b01611aa7565b9550506060611cbb8a828b01611aa7565b9450506080611ccc8a828b01611abc565b93505060a0611cdd8a828b01611a92565b92505060c0611cee8a828b01611a92565b91505092959891949750929550565b60008060408385031215611d1457611d13612786565b5b6000611d2285828601611a7d565b9250506020611d3385828601611a92565b9150509250929050565b60008060408385031215611d5457611d53612786565b5b6000611d6285828601611a7d565b9250506020611d7385828601611aa7565b9150509250929050565b600060208284031215611d9357611d92612786565b5b6000611da184828501611aa7565b91505092915050565b611db38161265a565b82525050565b611dc28161266c565b82525050565b611dd181612678565b82525050565b611de8611de382612678565b61271e565b82525050565b6000611df9826125a9565b611e0381856125b4565b9350611e138185602086016126b9565b611e1c8161278b565b840191505092915050565b6000611e346023836125b4565b9150611e3f8261279c565b604082019050919050565b6000611e576022836125b4565b9150611e62826127eb565b604082019050919050565b6000611e7a601e836125b4565b9150611e858261283a565b602082019050919050565b6000611e9d6022836125b4565b9150611ea882612863565b604082019050919050565b6000611ec06014836125b4565b9150611ecb826128b2565b602082019050919050565b6000611ee36002836125c5565b9150611eee826128db565b600282019050919050565b6000611f066026836125b4565b9150611f1182612904565b604082019050919050565b6000611f296012836125b4565b9150611f3482612953565b602082019050919050565b6000611f4c6019836125b4565b9150611f578261297c565b602082019050919050565b6000611f6f6014836125b4565b9150611f7a826129a5565b602082019050919050565b6000611f926028836125b4565b9150611f9d826129ce565b604082019050919050565b6000611fb56024836125b4565b9150611fc082612a1d565b604082019050919050565b6000611fd86022836125b4565b9150611fe382612a6c565b604082019050919050565b6000611ffb6021836125b4565b915061200682612abb565b604082019050919050565b600061201e601a836125b4565b915061202982612b0a565b602082019050919050565b60006120416025836125b4565b915061204c82612b33565b604082019050919050565b60006120646024836125b4565b915061206f82612b82565b604082019050919050565b60006120876019836125b4565b915061209282612bd1565b602082019050919050565b60006120aa6025836125b4565b91506120b582612bfa565b604082019050919050565b60006120cd601f836125b4565b91506120d882612c49565b602082019050919050565b6120ec816126a2565b82525050565b6120fb816126ac565b82525050565b600061210c82611ed6565b91506121188285611dd7565b6020820191506121288284611dd7565b6020820191508190509392505050565b600060208201905061214d6000830184611daa565b92915050565b60006020820190506121686000830184611db9565b92915050565b60006020820190506121836000830184611dc8565b92915050565b600060c08201905061219e6000830189611dc8565b6121ab6020830188611daa565b6121b86040830187611daa565b6121c560608301866120e3565b6121d260808301856120e3565b6121df60a08301846120e3565b979650505050505050565b600060e0820190506121ff600083018a611dc8565b61220c6020830189611daa565b6122196040830188611daa565b61222660608301876120e3565b61223360808301866120e3565b61224060a08301856120e3565b61224d60c0830184611dc8565b98975050505050505050565b600060a08201905061226e6000830188611dc8565b61227b6020830187611dc8565b6122886040830186611dc8565b61229560608301856120e3565b6122a26080830184611daa565b9695505050505050565b60006080820190506122c16000830187611dc8565b6122ce60208301866120f2565b6122db6040830185611dc8565b6122e86060830184611dc8565b95945050505050565b6000602082019050818103600083015261230b8184611dee565b905092915050565b6000602082019050818103600083015261232c81611e27565b9050919050565b6000602082019050818103600083015261234c81611e4a565b9050919050565b6000602082019050818103600083015261236c81611e6d565b9050919050565b6000602082019050818103600083015261238c81611e90565b9050919050565b600060208201905081810360008301526123ac81611eb3565b9050919050565b600060208201905081810360008301526123cc81611ef9565b9050919050565b600060208201905081810360008301526123ec81611f1c565b9050919050565b6000602082019050818103600083015261240c81611f3f565b9050919050565b6000602082019050818103600083015261242c81611f62565b9050919050565b6000602082019050818103600083015261244c81611f85565b9050919050565b6000602082019050818103600083015261246c81611fa8565b9050919050565b6000602082019050818103600083015261248c81611fcb565b9050919050565b600060208201905081810360008301526124ac81611fee565b9050919050565b600060208201905081810360008301526124cc81612011565b9050919050565b600060208201905081810360008301526124ec81612034565b9050919050565b6000602082019050818103600083015261250c81612057565b9050919050565b6000602082019050818103600083015261252c8161207a565b9050919050565b6000602082019050818103600083015261254c8161209d565b9050919050565b6000602082019050818103600083015261256c816120c0565b9050919050565b600060208201905061258860008301846120e3565b92915050565b60006020820190506125a360008301846120f2565b92915050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b60006125db826126a2565b91506125e6836126a2565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561261b5761261a612728565b5b828201905092915050565b6000612631826126a2565b915061263c836126a2565b92508282101561264f5761264e612728565b5b828203905092915050565b600061266582612682565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156126d75780820151818401526020810190506126bc565b838111156126e6576000848401525b50505050565b6000600282049050600182168061270457607f821691505b6020821081141561271857612717612757565b5b50919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a20494e56414c49445f4d494e5445525f414444524553530000600082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a204e4f545f54494d454c4f434b000000000000000000000000600082015250565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a204e4f545f4d494e5445520000000000000000000000000000600082015250565b7f50494c4f543a3a20494e56414c49445f5349474e415455524500000000000000600082015250565b7f50494c4f543a3a20415554485f45585049524544000000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a204d494e5445525f414c52454144595f494e495449414c495a60008201527f4544000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a20415554485f4e4f545f5945545f56414c4944000000000000600082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f50494c4f543a3a20415554485f414c52454144595f5553454400000000000000600082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b612c7b8161265a565b8114612c8657600080fd5b50565b612c9281612678565b8114612c9d57600080fd5b50565b612ca9816126a2565b8114612cb457600080fd5b50565b612cc0816126ac565b8114612ccb57600080fd5b5056fea2646970667358221220da78a20f48246c4a1e2bffd067cb9f3981f9e98987602049f05591395cb53f2164736f6c63430008060033

0000000000000000000000001684f4d3c7e27f02c2072ade8831338d1d13dbe5000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000001a00000000000000000000000000000000000000000000000000000000000000009000000000000000000000000738b859088daef78bdabba4eecf2b4531cf4c6c70000000000000000000000004f6f49194e75c347a41e020d31d39c2f9a24b6e10000000000000000000000003b5ddf126f1cf58cf6597e86d13428c3a25044d3000000000000000000000000d94121f2e06b80bdf098f9975c236384c222f4950000000000000000000000001922af4365b09a9d818833b730324f7ef6335c9f0000000000000000000000004162989a2d97f3a4f082184e47aa61f81b21a7fd000000000000000000000000fa855e50537571d3cb242243e70e617166e628e8000000000000000000000000c0d0c55bcf268d1d9e58af4df4e8755e6ce36a050000000000000000000000008d6a8ad2be417f0ef73e2f523d15e673d962765f0000000000000000000000000000000000000000000000000000000000000009000000000000000000000000000000000000000000007f0e10af47c1c70000000000000000000000000000000000000000000000000054b40b1f852bda0000000000000000000000000000000000000000000000000034f086f3b33b684000000000000000000000000000000000000000000000000034f086f3b33b684000000000000000000000000000000000000000000000000771d2fa45345aa900000000000000000000000000000000000000000000000002fa54641bae8aaa00000000000000000000000000000000000000000000000001dc74be914d16aa40000000000000000000000000000000000000000000000001dc74be914d16aa40000000000000000000000000000000000000000000000001287626ee52197b000000

-----Decoded View---------------
Arg [0] : _timelock (address): 0x1684F4D3C7E27F02c2072adE8831338d1d13DBe5
Arg [1] : vestingAddresses (address[]): 0x738B859088dAEF78bDAbba4EeCF2b4531cF4C6c7,0x4f6F49194E75C347a41E020d31d39C2F9A24B6E1,0x3b5DdF126F1cf58cf6597e86d13428C3A25044D3,0xd94121f2e06b80BDf098f9975c236384C222f495,0x1922af4365B09a9d818833b730324f7Ef6335c9f,0x4162989A2d97F3A4f082184E47AA61F81b21a7fD,0xfa855e50537571d3cb242243e70E617166e628e8,0xC0D0c55BCF268D1d9e58AF4Df4e8755E6ce36a05,0x8d6A8AD2BE417F0eF73e2F523D15e673D962765f
Arg [2] : vestingAmounts (uint256[]): 600000000000000000000000,400000000000000000000000,250000000000000000000000,250000000000000000000000,9000000000000000000000000,3600000000000000000000000,2250000000000000000000000,2250000000000000000000000,1400000000000000000000000

-----Encoded View---------------
23 Constructor Arguments found :
Arg [0] : 0000000000000000000000001684f4d3c7e27f02c2072ade8831338d1d13dbe5
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [2] : 00000000000000000000000000000000000000000000000000000000000001a0
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000009
Arg [4] : 000000000000000000000000738b859088daef78bdabba4eecf2b4531cf4c6c7
Arg [5] : 0000000000000000000000004f6f49194e75c347a41e020d31d39c2f9a24b6e1
Arg [6] : 0000000000000000000000003b5ddf126f1cf58cf6597e86d13428c3a25044d3
Arg [7] : 000000000000000000000000d94121f2e06b80bdf098f9975c236384c222f495
Arg [8] : 0000000000000000000000001922af4365b09a9d818833b730324f7ef6335c9f
Arg [9] : 0000000000000000000000004162989a2d97f3a4f082184e47aa61f81b21a7fd
Arg [10] : 000000000000000000000000fa855e50537571d3cb242243e70e617166e628e8
Arg [11] : 000000000000000000000000c0d0c55bcf268d1d9e58af4df4e8755e6ce36a05
Arg [12] : 0000000000000000000000008d6a8ad2be417f0ef73e2f523d15e673d962765f
Arg [13] : 0000000000000000000000000000000000000000000000000000000000000009
Arg [14] : 000000000000000000000000000000000000000000007f0e10af47c1c7000000
Arg [15] : 0000000000000000000000000000000000000000000054b40b1f852bda000000
Arg [16] : 0000000000000000000000000000000000000000000034f086f3b33b68400000
Arg [17] : 0000000000000000000000000000000000000000000034f086f3b33b68400000
Arg [18] : 0000000000000000000000000000000000000000000771d2fa45345aa9000000
Arg [19] : 00000000000000000000000000000000000000000002fa54641bae8aaa000000
Arg [20] : 00000000000000000000000000000000000000000001dc74be914d16aa400000
Arg [21] : 00000000000000000000000000000000000000000001dc74be914d16aa400000
Arg [22] : 00000000000000000000000000000000000000000001287626ee52197b000000

17447:4591:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6318:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8485:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7438:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9136:492;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18268:113;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7280:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21036:117;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10037:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19320:90;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;16662:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;19416:262;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7609:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17072:368;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;18870:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6537:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18526:134;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10755:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7949:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17484:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20336:489;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8187:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21159:876;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;18918:70;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20831:199;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6318:100;6372:13;6405:5;6398:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6318:100;:::o;8485:169::-;8568:4;8585:39;8594:12;:10;:12::i;:::-;8608:7;8617:6;8585:8;:39::i;:::-;8642:4;8635:11;;8485:169;;;;:::o;7438:108::-;7499:7;7526:12;;7519:19;;7438:108;:::o;9136:492::-;9276:4;9293:36;9303:6;9311:9;9322:6;9293:9;:36::i;:::-;9342:24;9369:11;:19;9381:6;9369:19;;;;;;;;;;;;;;;:33;9389:12;:10;:12::i;:::-;9369:33;;;;;;;;;;;;;;;;9342:60;;9441:6;9421:16;:26;;9413:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;9528:57;9537:6;9545:12;:10;:12::i;:::-;9578:6;9559:16;:25;9528:8;:57::i;:::-;9616:4;9609:11;;;9136:492;;;;;:::o;18268:113::-;18315:66;18268:113;;;:::o;7280:93::-;7338:5;7363:2;7356:9;;7280:93;:::o;21036:117::-;21079:15;21132:9;21121:20;;21036:117;:::o;10037:215::-;10125:4;10142:80;10151:12;:10;:12::i;:::-;10165:7;10211:10;10174:11;:25;10186:12;:10;:12::i;:::-;10174:25;;;;;;;;;;;;;;;:34;10200:7;10174:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;10142:8;:80::i;:::-;10240:4;10233:11;;10037:215;;;;:::o;19320:90::-;18716:7;;;;;;;;;;;18702:21;;:10;:21;;;18694:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;19388:16:::1;19394:2;19398:5;19388;:16::i;:::-;19320:90:::0;;:::o;16662:91::-;16718:27;16724:12;:10;:12::i;:::-;16738:6;16718:5;:27::i;:::-;16662:91;:::o;19416:262::-;18817:8;;;;;;;;;;;18803:22;;:10;:22;;;18795:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;19495:13:::1;;;;;;;;;;;19494:14;19486:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;19582:1;19561:23;;:9;:23;;;;19553:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;19636:9;19626:7;;:19;;;;;;;;;;;;;;;;;;19668:4;19652:13;;:20;;;;;;;;;;;;;;;;;;19416:262:::0;:::o;7609:127::-;7683:7;7710:9;:18;7720:7;7710:18;;;;;;;;;;;;;;;;7703:25;;7609:127;;;:::o;17072:368::-;17149:24;17176:32;17186:7;17195:12;:10;:12::i;:::-;17176:9;:32::i;:::-;17149:59;;17247:6;17227:16;:26;;17219:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;17330:58;17339:7;17348:12;:10;:12::i;:::-;17381:6;17362:16;:25;17330:8;:58::i;:::-;17410:22;17416:7;17425:6;17410:5;:22::i;:::-;17138:302;17072:368;;:::o;18870:41::-;;;;;;;;;;;;;;;;;:::o;6537:104::-;6593:13;6626:7;6619:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6537:104;:::o;18526:134::-;18594:66;18526:134;;;:::o;10755:413::-;10848:4;10865:24;10892:11;:25;10904:12;:10;:12::i;:::-;10892:25;;;;;;;;;;;;;;;:34;10918:7;10892:34;;;;;;;;;;;;;;;;10865:61;;10965:15;10945:16;:35;;10937:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11058:67;11067:12;:10;:12::i;:::-;11081:7;11109:15;11090:16;:34;11058:8;:67::i;:::-;11156:4;11149:11;;;10755:413;;;;:::o;7949:175::-;8035:4;8052:42;8062:12;:10;:12::i;:::-;8076:9;8087:6;8052:9;:42::i;:::-;8112:4;8105:11;;7949:175;;;;:::o;17484:23::-;;;;;;;;;;;;;:::o;20336:489::-;20524:15;20512:8;:27;;20504:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;20573:18;18315:66;20622:15;;20639:5;20646:7;20655:5;20662:6;:13;20669:5;20662:13;;;;;;;;;;;;;;;;20677:8;20611:75;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;20601:86;;;;;;20573:114;;20726:1;20710:6;:13;20717:5;20710:13;;;;;;;;;;;;;;;;:17;;;;:::i;:::-;20694:6;:13;20701:5;20694:13;;;;;;;;;;;;;;;:33;;;;20734:47;20754:5;20761:10;20773:1;20776;20779;20734:19;:47::i;:::-;20788:31;20797:5;20804:7;20813:5;20788:8;:31::i;:::-;20497:328;20336:489;;;;;;;:::o;8187:151::-;8276:7;8303:11;:18;8315:5;8303:18;;;;;;;;;;;;;;;:27;8322:7;8303:27;;;;;;;;;;;;;;;;8296:34;;8187:151;;;;:::o;21159:876::-;21414:10;21396:15;:28;21388:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;21488:11;21470:15;:29;21462:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;21540:18;:24;21559:4;21540:24;;;;;;;;;;;;;;;:31;21565:5;21540:31;;;;;;;;;;;;;;;;;;;;;21539:32;21531:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;21610:18;18594:66;21681:36;;21730:4;21747:2;21762:5;21780:10;21803:11;21827:5;21658:185;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;21638:214;;;;;;21610:242;;21859:46;21879:4;21885:10;21897:1;21900;21903;21859:19;:46::i;:::-;21948:4;21914:18;:24;21933:4;21914:24;;;;;;;;;;;;;;;:31;21939:5;21914:31;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;21988:5;21982:4;21964:30;;;;;;;;;;;;22003:26;22013:4;22019:2;22023:5;22003:9;:26::i;:::-;21381:654;21159:876;;;;;;;;;:::o;18918:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;20831:199::-;20882:7;17733:66;20943:17;;17913:66;20962:9;;18092:66;20973:12;;20987;:10;:12::i;:::-;21009:4;20932:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;20912:112;;;;;;20898:126;;20831:199;:::o;4059:98::-;4112:7;4139:10;4132:17;;4059:98;:::o;14439:380::-;14592:1;14575:19;;:5;:19;;;;14567:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14673:1;14654:21;;:7;:21;;;;14646:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14757:6;14727:11;:18;14739:5;14727:18;;;;;;;;;;;;;;;:27;14746:7;14727:27;;;;;;;;;;;;;;;:36;;;;14795:7;14779:32;;14788:5;14779:32;;;14804:6;14779:32;;;;;;:::i;:::-;;;;;;;;14439:380;;;:::o;11658:733::-;11816:1;11798:20;;:6;:20;;;;11790:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;11900:1;11879:23;;:9;:23;;;;11871:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;11955:47;11976:6;11984:9;11995:6;11955:20;:47::i;:::-;12015:21;12039:9;:17;12049:6;12039:17;;;;;;;;;;;;;;;;12015:41;;12092:6;12075:13;:23;;12067:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;12213:6;12197:13;:22;12177:9;:17;12187:6;12177:17;;;;;;;;;;;;;;;:42;;;;12265:6;12241:9;:20;12251:9;12241:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;12306:9;12289:35;;12298:6;12289:35;;;12317:6;12289:35;;;;;;:::i;:::-;;;;;;;;12337:46;12357:6;12365:9;12376:6;12337:19;:46::i;:::-;11779:612;11658:733;;;:::o;12678:399::-;12781:1;12762:21;;:7;:21;;;;12754:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;12832:49;12861:1;12865:7;12874:6;12832:20;:49::i;:::-;12910:6;12894:12;;:22;;;;;;;:::i;:::-;;;;;;;;12949:6;12927:9;:18;12937:7;12927:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;12992:7;12971:37;;12988:1;12971:37;;;13001:6;12971:37;;;;;;:::i;:::-;;;;;;;;13021:48;13049:1;13053:7;13062:6;13021:19;:48::i;:::-;12678:399;;:::o;13410:591::-;13513:1;13494:21;;:7;:21;;;;13486:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;13566:49;13587:7;13604:1;13608:6;13566:20;:49::i;:::-;13628:22;13653:9;:18;13663:7;13653:18;;;;;;;;;;;;;;;;13628:43;;13708:6;13690:14;:24;;13682:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;13827:6;13810:14;:23;13789:9;:18;13799:7;13789:18;;;;;;;;;;;;;;;:44;;;;13871:6;13855:12;;:22;;;;;;;:::i;:::-;;;;;;;;13921:1;13895:37;;13904:7;13895:37;;;13925:6;13895:37;;;;;;:::i;:::-;;;;;;;;13945:48;13965:7;13982:1;13986:6;13945:19;:48::i;:::-;13475:526;13410:591;;:::o;19901:429::-;20048:14;20104:20;:18;:20::i;:::-;20126:10;20075:62;;;;;;;;;:::i;:::-;;;;;;;;;;;;;20065:73;;;;;;20048:90;;20145:24;20172:26;20182:6;20190:1;20193;20196;20172:26;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20145:53;;20249:1;20221:30;;:16;:30;;;;:60;;;;;20275:6;20255:26;;:16;:26;;;20221:60;20205:119;;;;;;;;;;;;:::i;:::-;;;;;;;;;20041:289;;19901:429;;;;;:::o;15419:125::-;;;;:::o;16148:124::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:139::-;343:5;381:6;368:20;359:29;;397:33;424:5;397:33;:::i;:::-;349:87;;;;:::o;442:135::-;486:5;524:6;511:20;502:29;;540:31;565:5;540:31;:::i;:::-;492:85;;;;:::o;583:329::-;642:6;691:2;679:9;670:7;666:23;662:32;659:2;;;697:79;;:::i;:::-;659:2;817:1;842:53;887:7;878:6;867:9;863:22;842:53;:::i;:::-;832:63;;788:117;649:263;;;;:::o;918:474::-;986:6;994;1043:2;1031:9;1022:7;1018:23;1014:32;1011:2;;;1049:79;;:::i;:::-;1011:2;1169:1;1194:53;1239:7;1230:6;1219:9;1215:22;1194:53;:::i;:::-;1184:63;;1140:117;1296:2;1322:53;1367:7;1358:6;1347:9;1343:22;1322:53;:::i;:::-;1312:63;;1267:118;1001:391;;;;;:::o;1398:619::-;1475:6;1483;1491;1540:2;1528:9;1519:7;1515:23;1511:32;1508:2;;;1546:79;;:::i;:::-;1508:2;1666:1;1691:53;1736:7;1727:6;1716:9;1712:22;1691:53;:::i;:::-;1681:63;;1637:117;1793:2;1819:53;1864:7;1855:6;1844:9;1840:22;1819:53;:::i;:::-;1809:63;;1764:118;1921:2;1947:53;1992:7;1983:6;1972:9;1968:22;1947:53;:::i;:::-;1937:63;;1892:118;1498:519;;;;;:::o;2023:1491::-;2152:6;2160;2168;2176;2184;2192;2200;2208;2216;2265:3;2253:9;2244:7;2240:23;2236:33;2233:2;;;2272:79;;:::i;:::-;2233:2;2392:1;2417:53;2462:7;2453:6;2442:9;2438:22;2417:53;:::i;:::-;2407:63;;2363:117;2519:2;2545:53;2590:7;2581:6;2570:9;2566:22;2545:53;:::i;:::-;2535:63;;2490:118;2647:2;2673:53;2718:7;2709:6;2698:9;2694:22;2673:53;:::i;:::-;2663:63;;2618:118;2775:2;2801:53;2846:7;2837:6;2826:9;2822:22;2801:53;:::i;:::-;2791:63;;2746:118;2903:3;2930:53;2975:7;2966:6;2955:9;2951:22;2930:53;:::i;:::-;2920:63;;2874:119;3032:3;3059:53;3104:7;3095:6;3084:9;3080:22;3059:53;:::i;:::-;3049:63;;3003:119;3161:3;3188:51;3231:7;3222:6;3211:9;3207:22;3188:51;:::i;:::-;3178:61;;3132:117;3288:3;3315:53;3360:7;3351:6;3340:9;3336:22;3315:53;:::i;:::-;3305:63;;3259:119;3417:3;3444:53;3489:7;3480:6;3469:9;3465:22;3444:53;:::i;:::-;3434:63;;3388:119;2223:1291;;;;;;;;;;;:::o;3520:1199::-;3631:6;3639;3647;3655;3663;3671;3679;3728:3;3716:9;3707:7;3703:23;3699:33;3696:2;;;3735:79;;:::i;:::-;3696:2;3855:1;3880:53;3925:7;3916:6;3905:9;3901:22;3880:53;:::i;:::-;3870:63;;3826:117;3982:2;4008:53;4053:7;4044:6;4033:9;4029:22;4008:53;:::i;:::-;3998:63;;3953:118;4110:2;4136:53;4181:7;4172:6;4161:9;4157:22;4136:53;:::i;:::-;4126:63;;4081:118;4238:2;4264:53;4309:7;4300:6;4289:9;4285:22;4264:53;:::i;:::-;4254:63;;4209:118;4366:3;4393:51;4436:7;4427:6;4416:9;4412:22;4393:51;:::i;:::-;4383:61;;4337:117;4493:3;4520:53;4565:7;4556:6;4545:9;4541:22;4520:53;:::i;:::-;4510:63;;4464:119;4622:3;4649:53;4694:7;4685:6;4674:9;4670:22;4649:53;:::i;:::-;4639:63;;4593:119;3686:1033;;;;;;;;;;:::o;4725:474::-;4793:6;4801;4850:2;4838:9;4829:7;4825:23;4821:32;4818:2;;;4856:79;;:::i;:::-;4818:2;4976:1;5001:53;5046:7;5037:6;5026:9;5022:22;5001:53;:::i;:::-;4991:63;;4947:117;5103:2;5129:53;5174:7;5165:6;5154:9;5150:22;5129:53;:::i;:::-;5119:63;;5074:118;4808:391;;;;;:::o;5205:474::-;5273:6;5281;5330:2;5318:9;5309:7;5305:23;5301:32;5298:2;;;5336:79;;:::i;:::-;5298:2;5456:1;5481:53;5526:7;5517:6;5506:9;5502:22;5481:53;:::i;:::-;5471:63;;5427:117;5583:2;5609:53;5654:7;5645:6;5634:9;5630:22;5609:53;:::i;:::-;5599:63;;5554:118;5288:391;;;;;:::o;5685:329::-;5744:6;5793:2;5781:9;5772:7;5768:23;5764:32;5761:2;;;5799:79;;:::i;:::-;5761:2;5919:1;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5890:117;5751:263;;;;:::o;6020:118::-;6107:24;6125:5;6107:24;:::i;:::-;6102:3;6095:37;6085:53;;:::o;6144:109::-;6225:21;6240:5;6225:21;:::i;:::-;6220:3;6213:34;6203:50;;:::o;6259:118::-;6346:24;6364:5;6346:24;:::i;:::-;6341:3;6334:37;6324:53;;:::o;6383:157::-;6488:45;6508:24;6526:5;6508:24;:::i;:::-;6488:45;:::i;:::-;6483:3;6476:58;6466:74;;:::o;6546:364::-;6634:3;6662:39;6695:5;6662:39;:::i;:::-;6717:71;6781:6;6776:3;6717:71;:::i;:::-;6710:78;;6797:52;6842:6;6837:3;6830:4;6823:5;6819:16;6797:52;:::i;:::-;6874:29;6896:6;6874:29;:::i;:::-;6869:3;6865:39;6858:46;;6638:272;;;;;:::o;6916:366::-;7058:3;7079:67;7143:2;7138:3;7079:67;:::i;:::-;7072:74;;7155:93;7244:3;7155:93;:::i;:::-;7273:2;7268:3;7264:12;7257:19;;7062:220;;;:::o;7288:366::-;7430:3;7451:67;7515:2;7510:3;7451:67;:::i;:::-;7444:74;;7527:93;7616:3;7527:93;:::i;:::-;7645:2;7640:3;7636:12;7629:19;;7434:220;;;:::o;7660:366::-;7802:3;7823:67;7887:2;7882:3;7823:67;:::i;:::-;7816:74;;7899:93;7988:3;7899:93;:::i;:::-;8017:2;8012:3;8008:12;8001:19;;7806:220;;;:::o;8032:366::-;8174:3;8195:67;8259:2;8254:3;8195:67;:::i;:::-;8188:74;;8271:93;8360:3;8271:93;:::i;:::-;8389:2;8384:3;8380:12;8373:19;;8178:220;;;:::o;8404:366::-;8546:3;8567:67;8631:2;8626:3;8567:67;:::i;:::-;8560:74;;8643:93;8732:3;8643:93;:::i;:::-;8761:2;8756:3;8752:12;8745:19;;8550:220;;;:::o;8776:400::-;8936:3;8957:84;9039:1;9034:3;8957:84;:::i;:::-;8950:91;;9050:93;9139:3;9050:93;:::i;:::-;9168:1;9163:3;9159:11;9152:18;;8940:236;;;:::o;9182:366::-;9324:3;9345:67;9409:2;9404:3;9345:67;:::i;:::-;9338:74;;9421:93;9510:3;9421:93;:::i;:::-;9539:2;9534:3;9530:12;9523:19;;9328:220;;;:::o;9554:366::-;9696:3;9717:67;9781:2;9776:3;9717:67;:::i;:::-;9710:74;;9793:93;9882:3;9793:93;:::i;:::-;9911:2;9906:3;9902:12;9895:19;;9700:220;;;:::o;9926:366::-;10068:3;10089:67;10153:2;10148:3;10089:67;:::i;:::-;10082:74;;10165:93;10254:3;10165:93;:::i;:::-;10283:2;10278:3;10274:12;10267:19;;10072:220;;;:::o;10298:366::-;10440:3;10461:67;10525:2;10520:3;10461:67;:::i;:::-;10454:74;;10537:93;10626:3;10537:93;:::i;:::-;10655:2;10650:3;10646:12;10639:19;;10444:220;;;:::o;10670:366::-;10812:3;10833:67;10897:2;10892:3;10833:67;:::i;:::-;10826:74;;10909:93;10998:3;10909:93;:::i;:::-;11027:2;11022:3;11018:12;11011:19;;10816:220;;;:::o;11042:366::-;11184:3;11205:67;11269:2;11264:3;11205:67;:::i;:::-;11198:74;;11281:93;11370:3;11281:93;:::i;:::-;11399:2;11394:3;11390:12;11383:19;;11188:220;;;:::o;11414:366::-;11556:3;11577:67;11641:2;11636:3;11577:67;:::i;:::-;11570:74;;11653:93;11742:3;11653:93;:::i;:::-;11771:2;11766:3;11762:12;11755:19;;11560:220;;;:::o;11786:366::-;11928:3;11949:67;12013:2;12008:3;11949:67;:::i;:::-;11942:74;;12025:93;12114:3;12025:93;:::i;:::-;12143:2;12138:3;12134:12;12127:19;;11932:220;;;:::o;12158:366::-;12300:3;12321:67;12385:2;12380:3;12321:67;:::i;:::-;12314:74;;12397:93;12486:3;12397:93;:::i;:::-;12515:2;12510:3;12506:12;12499:19;;12304:220;;;:::o;12530:366::-;12672:3;12693:67;12757:2;12752:3;12693:67;:::i;:::-;12686:74;;12769:93;12858:3;12769:93;:::i;:::-;12887:2;12882:3;12878:12;12871:19;;12676:220;;;:::o;12902:366::-;13044:3;13065:67;13129:2;13124:3;13065:67;:::i;:::-;13058:74;;13141:93;13230:3;13141:93;:::i;:::-;13259:2;13254:3;13250:12;13243:19;;13048:220;;;:::o;13274:366::-;13416:3;13437:67;13501:2;13496:3;13437:67;:::i;:::-;13430:74;;13513:93;13602:3;13513:93;:::i;:::-;13631:2;13626:3;13622:12;13615:19;;13420:220;;;:::o;13646:366::-;13788:3;13809:67;13873:2;13868:3;13809:67;:::i;:::-;13802:74;;13885:93;13974:3;13885:93;:::i;:::-;14003:2;13998:3;13994:12;13987:19;;13792:220;;;:::o;14018:366::-;14160:3;14181:67;14245:2;14240:3;14181:67;:::i;:::-;14174:74;;14257:93;14346:3;14257:93;:::i;:::-;14375:2;14370:3;14366:12;14359:19;;14164:220;;;:::o;14390:118::-;14477:24;14495:5;14477:24;:::i;:::-;14472:3;14465:37;14455:53;;:::o;14514:112::-;14597:22;14613:5;14597:22;:::i;:::-;14592:3;14585:35;14575:51;;:::o;14632:663::-;14873:3;14895:148;15039:3;14895:148;:::i;:::-;14888:155;;15053:75;15124:3;15115:6;15053:75;:::i;:::-;15153:2;15148:3;15144:12;15137:19;;15166:75;15237:3;15228:6;15166:75;:::i;:::-;15266:2;15261:3;15257:12;15250:19;;15286:3;15279:10;;14877:418;;;;;:::o;15301:222::-;15394:4;15432:2;15421:9;15417:18;15409:26;;15445:71;15513:1;15502:9;15498:17;15489:6;15445:71;:::i;:::-;15399:124;;;;:::o;15529:210::-;15616:4;15654:2;15643:9;15639:18;15631:26;;15667:65;15729:1;15718:9;15714:17;15705:6;15667:65;:::i;:::-;15621:118;;;;:::o;15745:222::-;15838:4;15876:2;15865:9;15861:18;15853:26;;15889:71;15957:1;15946:9;15942:17;15933:6;15889:71;:::i;:::-;15843:124;;;;:::o;15973:775::-;16206:4;16244:3;16233:9;16229:19;16221:27;;16258:71;16326:1;16315:9;16311:17;16302:6;16258:71;:::i;:::-;16339:72;16407:2;16396:9;16392:18;16383:6;16339:72;:::i;:::-;16421;16489:2;16478:9;16474:18;16465:6;16421:72;:::i;:::-;16503;16571:2;16560:9;16556:18;16547:6;16503:72;:::i;:::-;16585:73;16653:3;16642:9;16638:19;16629:6;16585:73;:::i;:::-;16668;16736:3;16725:9;16721:19;16712:6;16668:73;:::i;:::-;16211:537;;;;;;;;;:::o;16754:886::-;17015:4;17053:3;17042:9;17038:19;17030:27;;17067:71;17135:1;17124:9;17120:17;17111:6;17067:71;:::i;:::-;17148:72;17216:2;17205:9;17201:18;17192:6;17148:72;:::i;:::-;17230;17298:2;17287:9;17283:18;17274:6;17230:72;:::i;:::-;17312;17380:2;17369:9;17365:18;17356:6;17312:72;:::i;:::-;17394:73;17462:3;17451:9;17447:19;17438:6;17394:73;:::i;:::-;17477;17545:3;17534:9;17530:19;17521:6;17477:73;:::i;:::-;17560;17628:3;17617:9;17613:19;17604:6;17560:73;:::i;:::-;17020:620;;;;;;;;;;:::o;17646:664::-;17851:4;17889:3;17878:9;17874:19;17866:27;;17903:71;17971:1;17960:9;17956:17;17947:6;17903:71;:::i;:::-;17984:72;18052:2;18041:9;18037:18;18028:6;17984:72;:::i;:::-;18066;18134:2;18123:9;18119:18;18110:6;18066:72;:::i;:::-;18148;18216:2;18205:9;18201:18;18192:6;18148:72;:::i;:::-;18230:73;18298:3;18287:9;18283:19;18274:6;18230:73;:::i;:::-;17856:454;;;;;;;;:::o;18316:545::-;18489:4;18527:3;18516:9;18512:19;18504:27;;18541:71;18609:1;18598:9;18594:17;18585:6;18541:71;:::i;:::-;18622:68;18686:2;18675:9;18671:18;18662:6;18622:68;:::i;:::-;18700:72;18768:2;18757:9;18753:18;18744:6;18700:72;:::i;:::-;18782;18850:2;18839:9;18835:18;18826:6;18782:72;:::i;:::-;18494:367;;;;;;;:::o;18867:313::-;18980:4;19018:2;19007:9;19003:18;18995:26;;19067:9;19061:4;19057:20;19053:1;19042:9;19038:17;19031:47;19095:78;19168:4;19159:6;19095:78;:::i;:::-;19087:86;;18985:195;;;;:::o;19186:419::-;19352:4;19390:2;19379:9;19375:18;19367:26;;19439:9;19433:4;19429:20;19425:1;19414:9;19410:17;19403:47;19467:131;19593:4;19467:131;:::i;:::-;19459:139;;19357:248;;;:::o;19611:419::-;19777:4;19815:2;19804:9;19800:18;19792:26;;19864:9;19858:4;19854:20;19850:1;19839:9;19835:17;19828:47;19892:131;20018:4;19892:131;:::i;:::-;19884:139;;19782:248;;;:::o;20036:419::-;20202:4;20240:2;20229:9;20225:18;20217:26;;20289:9;20283:4;20279:20;20275:1;20264:9;20260:17;20253:47;20317:131;20443:4;20317:131;:::i;:::-;20309:139;;20207:248;;;:::o;20461:419::-;20627:4;20665:2;20654:9;20650:18;20642:26;;20714:9;20708:4;20704:20;20700:1;20689:9;20685:17;20678:47;20742:131;20868:4;20742:131;:::i;:::-;20734:139;;20632:248;;;:::o;20886:419::-;21052:4;21090:2;21079:9;21075:18;21067:26;;21139:9;21133:4;21129:20;21125:1;21114:9;21110:17;21103:47;21167:131;21293:4;21167:131;:::i;:::-;21159:139;;21057:248;;;:::o;21311:419::-;21477:4;21515:2;21504:9;21500:18;21492:26;;21564:9;21558:4;21554:20;21550:1;21539:9;21535:17;21528:47;21592:131;21718:4;21592:131;:::i;:::-;21584:139;;21482:248;;;:::o;21736:419::-;21902:4;21940:2;21929:9;21925:18;21917:26;;21989:9;21983:4;21979:20;21975:1;21964:9;21960:17;21953:47;22017:131;22143:4;22017:131;:::i;:::-;22009:139;;21907:248;;;:::o;22161:419::-;22327:4;22365:2;22354:9;22350:18;22342:26;;22414:9;22408:4;22404:20;22400:1;22389:9;22385:17;22378:47;22442:131;22568:4;22442:131;:::i;:::-;22434:139;;22332:248;;;:::o;22586:419::-;22752:4;22790:2;22779:9;22775:18;22767:26;;22839:9;22833:4;22829:20;22825:1;22814:9;22810:17;22803:47;22867:131;22993:4;22867:131;:::i;:::-;22859:139;;22757:248;;;:::o;23011:419::-;23177:4;23215:2;23204:9;23200:18;23192:26;;23264:9;23258:4;23254:20;23250:1;23239:9;23235:17;23228:47;23292:131;23418:4;23292:131;:::i;:::-;23284:139;;23182:248;;;:::o;23436:419::-;23602:4;23640:2;23629:9;23625:18;23617:26;;23689:9;23683:4;23679:20;23675:1;23664:9;23660:17;23653:47;23717:131;23843:4;23717:131;:::i;:::-;23709:139;;23607:248;;;:::o;23861:419::-;24027:4;24065:2;24054:9;24050:18;24042:26;;24114:9;24108:4;24104:20;24100:1;24089:9;24085:17;24078:47;24142:131;24268:4;24142:131;:::i;:::-;24134:139;;24032:248;;;:::o;24286:419::-;24452:4;24490:2;24479:9;24475:18;24467:26;;24539:9;24533:4;24529:20;24525:1;24514:9;24510:17;24503:47;24567:131;24693:4;24567:131;:::i;:::-;24559:139;;24457:248;;;:::o;24711:419::-;24877:4;24915:2;24904:9;24900:18;24892:26;;24964:9;24958:4;24954:20;24950:1;24939:9;24935:17;24928:47;24992:131;25118:4;24992:131;:::i;:::-;24984:139;;24882:248;;;:::o;25136:419::-;25302:4;25340:2;25329:9;25325:18;25317:26;;25389:9;25383:4;25379:20;25375:1;25364:9;25360:17;25353:47;25417:131;25543:4;25417:131;:::i;:::-;25409:139;;25307:248;;;:::o;25561:419::-;25727:4;25765:2;25754:9;25750:18;25742:26;;25814:9;25808:4;25804:20;25800:1;25789:9;25785:17;25778:47;25842:131;25968:4;25842:131;:::i;:::-;25834:139;;25732:248;;;:::o;25986:419::-;26152:4;26190:2;26179:9;26175:18;26167:26;;26239:9;26233:4;26229:20;26225:1;26214:9;26210:17;26203:47;26267:131;26393:4;26267:131;:::i;:::-;26259:139;;26157:248;;;:::o;26411:419::-;26577:4;26615:2;26604:9;26600:18;26592:26;;26664:9;26658:4;26654:20;26650:1;26639:9;26635:17;26628:47;26692:131;26818:4;26692:131;:::i;:::-;26684:139;;26582:248;;;:::o;26836:419::-;27002:4;27040:2;27029:9;27025:18;27017:26;;27089:9;27083:4;27079:20;27075:1;27064:9;27060:17;27053:47;27117:131;27243:4;27117:131;:::i;:::-;27109:139;;27007:248;;;:::o;27261:222::-;27354:4;27392:2;27381:9;27377:18;27369:26;;27405:71;27473:1;27462:9;27458:17;27449:6;27405:71;:::i;:::-;27359:124;;;;:::o;27489:214::-;27578:4;27616:2;27605:9;27601:18;27593:26;;27629:67;27693:1;27682:9;27678:17;27669:6;27629:67;:::i;:::-;27583:120;;;;:::o;27790:99::-;27842:6;27876:5;27870:12;27860:22;;27849:40;;;:::o;27895:169::-;27979:11;28013:6;28008:3;28001:19;28053:4;28048:3;28044:14;28029:29;;27991:73;;;;:::o;28070:148::-;28172:11;28209:3;28194:18;;28184:34;;;;:::o;28224:305::-;28264:3;28283:20;28301:1;28283:20;:::i;:::-;28278:25;;28317:20;28335:1;28317:20;:::i;:::-;28312:25;;28471:1;28403:66;28399:74;28396:1;28393:81;28390:2;;;28477:18;;:::i;:::-;28390:2;28521:1;28518;28514:9;28507:16;;28268:261;;;;:::o;28535:191::-;28575:4;28595:20;28613:1;28595:20;:::i;:::-;28590:25;;28629:20;28647:1;28629:20;:::i;:::-;28624:25;;28668:1;28665;28662:8;28659:2;;;28673:18;;:::i;:::-;28659:2;28718:1;28715;28711:9;28703:17;;28580:146;;;;:::o;28732:96::-;28769:7;28798:24;28816:5;28798:24;:::i;:::-;28787:35;;28777:51;;;:::o;28834:90::-;28868:7;28911:5;28904:13;28897:21;28886:32;;28876:48;;;:::o;28930:77::-;28967:7;28996:5;28985:16;;28975:32;;;:::o;29013:126::-;29050:7;29090:42;29083:5;29079:54;29068:65;;29058:81;;;:::o;29145:77::-;29182:7;29211:5;29200:16;;29190:32;;;:::o;29228:86::-;29263:7;29303:4;29296:5;29292:16;29281:27;;29271:43;;;:::o;29320:307::-;29388:1;29398:113;29412:6;29409:1;29406:13;29398:113;;;29497:1;29492:3;29488:11;29482:18;29478:1;29473:3;29469:11;29462:39;29434:2;29431:1;29427:10;29422:15;;29398:113;;;29529:6;29526:1;29523:13;29520:2;;;29609:1;29600:6;29595:3;29591:16;29584:27;29520:2;29369:258;;;;:::o;29633:320::-;29677:6;29714:1;29708:4;29704:12;29694:22;;29761:1;29755:4;29751:12;29782:18;29772:2;;29838:4;29830:6;29826:17;29816:27;;29772:2;29900;29892:6;29889:14;29869:18;29866:38;29863:2;;;29919:18;;:::i;:::-;29863:2;29684:269;;;;:::o;29959:79::-;29998:7;30027:5;30016:16;;30006:32;;;:::o;30044:180::-;30092:77;30089:1;30082:88;30189:4;30186:1;30179:15;30213:4;30210:1;30203:15;30230:180;30278:77;30275:1;30268:88;30375:4;30372:1;30365:15;30399:4;30396:1;30389:15;30539:117;30648:1;30645;30638:12;30662:102;30703:6;30754:2;30750:7;30745:2;30738:5;30734:14;30730:28;30720:38;;30710:54;;;:::o;30770:222::-;30910:34;30906:1;30898:6;30894:14;30887:58;30979:5;30974:2;30966:6;30962:15;30955:30;30876:116;:::o;30998:221::-;31138:34;31134:1;31126:6;31122:14;31115:58;31207:4;31202:2;31194:6;31190:15;31183:29;31104:115;:::o;31225:180::-;31365:32;31361:1;31353:6;31349:14;31342:56;31331:74;:::o;31411:221::-;31551:34;31547:1;31539:6;31535:14;31528:58;31620:4;31615:2;31607:6;31603:15;31596:29;31517:115;:::o;31638:170::-;31778:22;31774:1;31766:6;31762:14;31755:46;31744:64;:::o;31814:214::-;31954:66;31950:1;31942:6;31938:14;31931:90;31920:108;:::o;32034:225::-;32174:34;32170:1;32162:6;32158:14;32151:58;32243:8;32238:2;32230:6;32226:15;32219:33;32140:119;:::o;32265:168::-;32405:20;32401:1;32393:6;32389:14;32382:44;32371:62;:::o;32439:175::-;32579:27;32575:1;32567:6;32563:14;32556:51;32545:69;:::o;32620:170::-;32760:22;32756:1;32748:6;32744:14;32737:46;32726:64;:::o;32796:227::-;32936:34;32932:1;32924:6;32920:14;32913:58;33005:10;33000:2;32992:6;32988:15;32981:35;32902:121;:::o;33029:223::-;33169:34;33165:1;33157:6;33153:14;33146:58;33238:6;33233:2;33225:6;33221:15;33214:31;33135:117;:::o;33258:221::-;33398:34;33394:1;33386:6;33382:14;33375:58;33467:4;33462:2;33454:6;33450:15;33443:29;33364:115;:::o;33485:220::-;33625:34;33621:1;33613:6;33609:14;33602:58;33694:3;33689:2;33681:6;33677:15;33670:28;33591:114;:::o;33711:176::-;33851:28;33847:1;33839:6;33835:14;33828:52;33817:70;:::o;33893:224::-;34033:34;34029:1;34021:6;34017:14;34010:58;34102:7;34097:2;34089:6;34085:15;34078:32;33999:118;:::o;34123:223::-;34263:34;34259:1;34251:6;34247:14;34240:58;34332:6;34327:2;34319:6;34315:15;34308:31;34229:117;:::o;34352:175::-;34492:27;34488:1;34480:6;34476:14;34469:51;34458:69;:::o;34533:224::-;34673:34;34669:1;34661:6;34657:14;34650:58;34742:7;34737:2;34729:6;34725:15;34718:32;34639:118;:::o;34763:181::-;34903:33;34899:1;34891:6;34887:14;34880:57;34869:75;:::o;34950:122::-;35023:24;35041:5;35023:24;:::i;:::-;35016:5;35013:35;35003:2;;35062:1;35059;35052:12;35003:2;34993:79;:::o;35078:122::-;35151:24;35169:5;35151:24;:::i;:::-;35144:5;35141:35;35131:2;;35190:1;35187;35180:12;35131:2;35121:79;:::o;35206:122::-;35279:24;35297:5;35279:24;:::i;:::-;35272:5;35269:35;35259:2;;35318:1;35315;35308:12;35259:2;35249:79;:::o;35334:118::-;35405:22;35421:5;35405:22;:::i;:::-;35398:5;35395:33;35385:2;;35442:1;35439;35432:12;35385:2;35375:77;:::o

ipfs://da78a20f48246c4a1e2bffd067cb9f3981f9e98987602049f05591395cb53f21