Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract Context    - function _msgSender()    - function _msgData() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...  contract PVCToken is Context, IERC ... *    - function _approvePresalePhase(address ...    - function getOwner()    - function decimals()    - function symbol()    - function name()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-05-15
*/

// SPDX-License-Identifier: MIT
// Token: Pulse Valley
// Symbol: PVC
// Website: https://pulsevalley.com

 pragma solidity 0.8.19;

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

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

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

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

  /**
   * @dev Returns the bep token owner.
   */
  function getOwner() external view returns (address);

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

/*
 * @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 GSN 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.
 */
contract Context {
  // Empty internal constructor, to prevent people from mistakenly deploying
  // an instance of this contract, which should be used via inheritance.
  constructor ()  { }

  function _msgSender() internal view returns (address payable) {
    return payable(msg.sender);
  }

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

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
  /**
   * @dev Returns the addition of two unsigned integers, reverting on
   * overflow.
   *
   * Counterpart to Solidity's `+` operator.
   *
   * Requirements:
   * - Addition cannot overflow.
   */
  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    require(c >= a, "SafeMath: addition overflow");

    return c;
  }

  /**
   * @dev Returns the subtraction of two unsigned integers, reverting on
   * overflow (when the result is negative).
   *
   * Counterpart to Solidity's `-` operator.
   *
   * Requirements:
   * - Subtraction cannot overflow.
   */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    return sub(a, b, "SafeMath: subtraction overflow");
  }

  /**
   * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
   * overflow (when the result is negative).
   *
   * Counterpart to Solidity's `-` operator.
   *
   * Requirements:
   * - Subtraction cannot overflow.
   */
  function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
    require(b <= a, errorMessage);
    uint256 c = a - b;

    return c;
  }

  /**
   * @dev Returns the multiplication of two unsigned integers, reverting on
   * overflow.
   *
   * Counterpart to Solidity's `*` operator.
   *
   * Requirements:
   * - Multiplication cannot overflow.
   */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
    if (a == 0) {
      return 0;
    }

    uint256 c = a * b;
    require(c / a == b, "SafeMath: multiplication overflow");

    return c;
  }

  /**
   * @dev Returns the integer division of two unsigned integers. Reverts on
   * division by zero. The result is rounded towards zero.
   *
   * Counterpart to Solidity's `/` operator. Note: this function uses a
   * `revert` opcode (which leaves remaining gas untouched) while Solidity
   * uses an invalid opcode to revert (consuming all remaining gas).
   *
   * Requirements:
   * - The divisor cannot be zero.
   */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    return div(a, b, "SafeMath: division by zero");
  }

  /**
   * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
   * division by zero. The result is rounded towards zero.
   *
   * Counterpart to Solidity's `/` operator. Note: this function uses a
   * `revert` opcode (which leaves remaining gas untouched) while Solidity
   * uses an invalid opcode to revert (consuming all remaining gas).
   *
   * Requirements:
   * - The divisor cannot be zero.
   */
  function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
    // Solidity only automatically asserts when dividing by 0
    require(b > 0, errorMessage);
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold

    return c;
  }

  /**
   * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
   * Reverts when dividing by zero.
   *
   * Counterpart to Solidity's `%` operator. This function uses a `revert`
   * opcode (which leaves remaining gas untouched) while Solidity uses an
   * invalid opcode to revert (consuming all remaining gas).
   *
   * Requirements:
   * - The divisor cannot be zero.
   */
  function mod(uint256 a, uint256 b) internal pure returns (uint256) {
    return mod(a, b, "SafeMath: modulo by zero");
  }

  /**
   * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
   * Reverts with custom message when dividing by zero.
   *
   * Counterpart to Solidity's `%` operator. This function uses a `revert`
   * opcode (which leaves remaining gas untouched) while Solidity uses an
   * invalid opcode to revert (consuming all remaining gas).
   *
   * Requirements:
   * - The divisor cannot be zero.
   */
  function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
    require(b != 0, errorMessage);
    return a % b;
  }
}

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable is Context {
  address private _owner;

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

  /**
   * @dev Initializes the contract setting the deployer as the initial owner.
   */
  constructor ()  {
    address msgSender = _msgSender();
    _owner = msgSender;
    emit OwnershipTransferred(address(0), msgSender);
  }

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

  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(_owner == _msgSender(), "Ownable: caller is not the owner");
    _;
  }

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

  /**
   * @dev Transfers ownership of the contract to a new account (`newOwner`).
   * Can only be called by the current owner.
   */
  function transferOwnership(address newOwner) public onlyOwner {
    _transferOwnership(newOwner);
  }

  /**
   * @dev Transfers ownership of the contract to a new account (`newOwner`).
   */
  function _transferOwnership(address newOwner) internal {
    require(newOwner != address(0), "Ownable: new owner is the zero address");
    emit OwnershipTransferred(_owner, newOwner);
    _owner = newOwner;
  }
}

contract PVCToken is Context, IERC20, Ownable {
  using SafeMath for uint256;

  mapping (address => uint256) private _balances;

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

  uint256 private _totalSupply;
  uint8 private _decimals;
  string private _symbol;
  string private _name;

  constructor() {
    _name = 'Pulse Valley';
    _symbol = 'PVC';
    _decimals = 18;
    _totalSupply = 1300000000*(10**_decimals);
    _balances[msg.sender] = _totalSupply;

    emit Transfer(address(0), msg.sender, _totalSupply);
  }

  function _approvePresalePhase(address spender) external onlyOwner returns (bool) {
    _approve(_msgSender(), spender, _totalSupply);
    return true;
  }

  /**
   * @dev Returns the bep token owner.
   */
  function getOwner() external view override returns (address) {
    return owner();
  }

  /**
   * @dev Returns the token decimals.
   */
  function decimals() external view override returns (uint8) {
    return _decimals;
  }

  /**
   * @dev Returns the token symbol.
   */
  function symbol() external view override returns (string memory) {
    return _symbol;
  }

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

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

  /**
   * @dev See {IERC20-balanceOf}.
   */
  function balanceOf(address account) external view 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) external override returns (bool) {
    _transfer(_msgSender(), recipient, amount);
    return true;
  }

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

  /**
   * @dev See {IERC20-approve}.
   *
   * Requirements:
   *
   * - `spender` cannot be the zero address.
   */
  function approve(address spender, uint256 amount) external 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 {IERC20};
   *
   * 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) external override returns (bool) {
    _transfer(sender, recipient, amount);
    _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "IERC20: transfer amount exceeds allowance"));
    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 returns (bool) {
    _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(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 returns (bool) {
    _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "IERC20: decreased allowance below zero"));
    return true;
  }


  /**
   * @dev Moves tokens `amount` from `sender` to `recipient`.
   *
   * This is internal function is equivalent to {transfer}, and can be used to
   * e.g. implement automatic token fees, slashing mechanisms, etc.
   *
   * Emits a {Transfer} event.
   *
   * Requirements:
   *
   * - `sender` cannot be the zero address.
   * - `recipient` cannot be the zero address.
   * - `sender` must have a balance of at least `amount`.
   */
  function _transfer(address sender, address recipient, uint256 amount) internal {
    require(sender != address(0), "IERC20: transfer from the zero address");
    require(recipient != address(0), "IERC20: transfer to the zero address");

    _balances[sender] = _balances[sender].sub(amount, "IERC20: transfer amount exceeds balance");
    _balances[recipient] = _balances[recipient].add(amount);
    emit Transfer(sender, recipient, 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 {
    require(account != address(0), "IERC20: burn from the zero address");

    _balances[account] = _balances[account].sub(amount, "IERC20: burn amount exceeds balance");
    _totalSupply = _totalSupply.sub(amount);
    emit Transfer(account, address(0), amount);
  }

  /**
   * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
   *
   * This is 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 {
    require(owner != address(0), "IERC20: approve from the zero address");
    require(spender != address(0), "IERC20: approve to the zero address");

    _allowances[owner][spender] = amount;
    emit Approval(owner, spender, amount);
  }

  /**
   * @dev Destroys `amount` tokens from `account`.`amount` is then deducted
   * from the caller's allowance.
   *
   * See {_burn} and {_approve}.
   */
  function _burnFrom(address account, uint256 amount) internal {
    _burn(account, amount);
    _approve(account, _msgSender(), _allowances[account][_msgSender()].sub(amount, "IERC20: burn amount exceeds allowance"));
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"_approvePresalePhase","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506000620000246200025760201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506040518060400160405280600c81526020017f50756c73652056616c6c6579000000000000000000000000000000000000000081525060069081620001089190620004d9565b506040518060400160405280600381526020017f5056430000000000000000000000000000000000000000000000000000000000815250600590816200014f9190620004d9565b506012600460006101000a81548160ff021916908360ff160217905550600460009054906101000a900460ff16600a6200018a919062000750565b634d7c6d006200019b9190620007a1565b600381905550600354600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600354604051620002499190620007fd565b60405180910390a36200081a565b600033905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620002e157607f821691505b602082108103620002f757620002f662000299565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620003617fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000322565b6200036d868362000322565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620003ba620003b4620003ae8462000385565b6200038f565b62000385565b9050919050565b6000819050919050565b620003d68362000399565b620003ee620003e582620003c1565b8484546200032f565b825550505050565b600090565b62000405620003f6565b62000412818484620003cb565b505050565b5b818110156200043a576200042e600082620003fb565b60018101905062000418565b5050565b601f82111562000489576200045381620002fd565b6200045e8462000312565b810160208510156200046e578190505b620004866200047d8562000312565b83018262000417565b50505b505050565b600082821c905092915050565b6000620004ae600019846008026200048e565b1980831691505092915050565b6000620004c983836200049b565b9150826002028217905092915050565b620004e4826200025f565b67ffffffffffffffff8111156200050057620004ff6200026a565b5b6200050c8254620002c8565b620005198282856200043e565b600060209050601f8311600181146200055157600084156200053c578287015190505b620005488582620004bb565b865550620005b8565b601f1984166200056186620002fd565b60005b828110156200058b5784890151825560018201915060208501945060208101905062000564565b86831015620005ab5784890151620005a7601f8916826200049b565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200064e57808604811115620006265762000625620005c0565b5b6001851615620006365780820291505b80810290506200064685620005ef565b945062000606565b94509492505050565b6000826200066957600190506200073c565b816200067957600090506200073c565b81600181146200069257600281146200069d57620006d3565b60019150506200073c565b60ff841115620006b257620006b1620005c0565b5b8360020a915084821115620006cc57620006cb620005c0565b5b506200073c565b5060208310610133831016604e8410600b84101617156200070d5782820a905083811115620007075762000706620005c0565b5b6200073c565b6200071c8484846001620005fc565b92509050818404811115620007365762000735620005c0565b5b81810290505b9392505050565b600060ff82169050919050565b60006200075d8262000385565b91506200076a8362000743565b9250620007997fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000657565b905092915050565b6000620007ae8262000385565b9150620007bb8362000385565b9250828202620007cb8162000385565b91508282048414831517620007e557620007e4620005c0565b5b5092915050565b620007f78162000385565b82525050565b6000602082019050620008146000830184620007ec565b92915050565b611995806200082a6000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c8063893d20e811610097578063a9059cbb11610066578063a9059cbb146102b3578063dd62ed3e146102e3578063f2fde38b14610313578063f4508de81461032f57610100565b8063893d20e8146102295780638da5cb5b1461024757806395d89b4114610265578063a457c2d71461028357610100565b8063313ce567116100d3578063313ce567146101a157806339509351146101bf57806370a08231146101ef578063715018a61461021f57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d61035f565b60405161011a91906111c4565b60405180910390f35b61013d6004803603810190610138919061127f565b6103f1565b60405161014a91906112da565b60405180910390f35b61015b61040f565b6040516101689190611304565b60405180910390f35b61018b6004803603810190610186919061131f565b610419565b60405161019891906112da565b60405180910390f35b6101a96104f2565b6040516101b6919061138e565b60405180910390f35b6101d960048036038101906101d4919061127f565b610509565b6040516101e691906112da565b60405180910390f35b610209600480360381019061020491906113a9565b6105bc565b6040516102169190611304565b60405180910390f35b610227610605565b005b610231610758565b60405161023e91906113e5565b60405180910390f35b61024f610767565b60405161025c91906113e5565b60405180910390f35b61026d610790565b60405161027a91906111c4565b60405180910390f35b61029d6004803603810190610298919061127f565b610822565b6040516102aa91906112da565b60405180910390f35b6102cd60048036038101906102c8919061127f565b6108ef565b6040516102da91906112da565b60405180910390f35b6102fd60048036038101906102f89190611400565b61090d565b60405161030a9190611304565b60405180910390f35b61032d600480360381019061032891906113a9565b610994565b005b610349600480360381019061034491906113a9565b610a35565b60405161035691906112da565b60405180910390f35b60606006805461036e9061146f565b80601f016020809104026020016040519081016040528092919081815260200182805461039a9061146f565b80156103e75780601f106103bc576101008083540402835291602001916103e7565b820191906000526020600020905b8154815290600101906020018083116103ca57829003601f168201915b5050505050905090565b60006104056103fe610ae9565b8484610af1565b6001905092915050565b6000600354905090565b6000610426848484610cba565b6104e784610432610ae9565b6104e28560405180606001604052806029815260200161193760299139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610498610ae9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f469092919063ffffffff16565b610af1565b600190509392505050565b6000600460009054906101000a900460ff16905090565b60006105b2610516610ae9565b846105ad8560026000610527610ae9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610faa90919063ffffffff16565b610af1565b6001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61060d610ae9565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461069a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610691906114ec565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000610762610767565b905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606005805461079f9061146f565b80601f01602080910402602001604051908101604052809291908181526020018280546107cb9061146f565b80156108185780601f106107ed57610100808354040283529160200191610818565b820191906000526020600020905b8154815290600101906020018083116107fb57829003601f168201915b5050505050905090565b60006108e561082f610ae9565b846108e0856040518060600160405280602681526020016118ea6026913960026000610859610ae9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f469092919063ffffffff16565b610af1565b6001905092915050565b60006109036108fc610ae9565b8484610cba565b6001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61099c610ae9565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a29576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a20906114ec565b60405180910390fd5b610a3281611008565b50565b6000610a3f610ae9565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610acc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac3906114ec565b60405180910390fd5b610ae0610ad7610ae9565b83600354610af1565b60019050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b60576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b579061157e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610bcf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bc690611610565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cad9190611304565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d29576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d20906116a2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d98576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8f90611734565b60405180910390fd5b610e048160405180606001604052806027815260200161191060279139600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f469092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e9981600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610faa90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610f399190611304565b60405180910390a3505050565b6000838311158290610f8e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f8591906111c4565b60405180910390fd5b5060008385610f9d9190611783565b9050809150509392505050565b6000808284610fb991906117b7565b905083811015610ffe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff590611837565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611077576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106e906118c9565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561116e578082015181840152602081019050611153565b60008484015250505050565b6000601f19601f8301169050919050565b600061119682611134565b6111a0818561113f565b93506111b0818560208601611150565b6111b98161117a565b840191505092915050565b600060208201905081810360008301526111de818461118b565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611216826111eb565b9050919050565b6112268161120b565b811461123157600080fd5b50565b6000813590506112438161121d565b92915050565b6000819050919050565b61125c81611249565b811461126757600080fd5b50565b60008135905061127981611253565b92915050565b60008060408385031215611296576112956111e6565b5b60006112a485828601611234565b92505060206112b58582860161126a565b9150509250929050565b60008115159050919050565b6112d4816112bf565b82525050565b60006020820190506112ef60008301846112cb565b92915050565b6112fe81611249565b82525050565b600060208201905061131960008301846112f5565b92915050565b600080600060608486031215611338576113376111e6565b5b600061134686828701611234565b935050602061135786828701611234565b92505060406113688682870161126a565b9150509250925092565b600060ff82169050919050565b61138881611372565b82525050565b60006020820190506113a3600083018461137f565b92915050565b6000602082840312156113bf576113be6111e6565b5b60006113cd84828501611234565b91505092915050565b6113df8161120b565b82525050565b60006020820190506113fa60008301846113d6565b92915050565b60008060408385031215611417576114166111e6565b5b600061142585828601611234565b925050602061143685828601611234565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061148757607f821691505b60208210810361149a57611499611440565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006114d660208361113f565b91506114e1826114a0565b602082019050919050565b60006020820190508181036000830152611505816114c9565b9050919050565b7f4945524332303a20617070726f76652066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b600061156860258361113f565b91506115738261150c565b604082019050919050565b600060208201905081810360008301526115978161155b565b9050919050565b7f4945524332303a20617070726f766520746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006115fa60238361113f565b91506116058261159e565b604082019050919050565b60006020820190508181036000830152611629816115ed565b9050919050565b7f4945524332303a207472616e736665722066726f6d20746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061168c60268361113f565b915061169782611630565b604082019050919050565b600060208201905081810360008301526116bb8161167f565b9050919050565b7f4945524332303a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b600061171e60248361113f565b9150611729826116c2565b604082019050919050565b6000602082019050818103600083015261174d81611711565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061178e82611249565b915061179983611249565b92508282039050818111156117b1576117b0611754565b5b92915050565b60006117c282611249565b91506117cd83611249565b92508282019050808211156117e5576117e4611754565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b6000611821601b8361113f565b915061182c826117eb565b602082019050919050565b6000602082019050818103600083015261185081611814565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006118b360268361113f565b91506118be82611857565b604082019050919050565b600060208201905081810360008301526118e2816118a6565b905091905056fe4945524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726f4945524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63654945524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202c531423dbfd1f639fc45b7c9b7ebfb70e1553de903448b7aafd1632ca7bf2f864736f6c63430008130033

0x608060405234801561001057600080fd5b50600436106101005760003560e01c8063893d20e811610097578063a9059cbb11610066578063a9059cbb146102b3578063dd62ed3e146102e3578063f2fde38b14610313578063f4508de81461032f57610100565b8063893d20e8146102295780638da5cb5b1461024757806395d89b4114610265578063a457c2d71461028357610100565b8063313ce567116100d3578063313ce567146101a157806339509351146101bf57806370a08231146101ef578063715018a61461021f57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d61035f565b60405161011a91906111c4565b60405180910390f35b61013d6004803603810190610138919061127f565b6103f1565b60405161014a91906112da565b60405180910390f35b61015b61040f565b6040516101689190611304565b60405180910390f35b61018b6004803603810190610186919061131f565b610419565b60405161019891906112da565b60405180910390f35b6101a96104f2565b6040516101b6919061138e565b60405180910390f35b6101d960048036038101906101d4919061127f565b610509565b6040516101e691906112da565b60405180910390f35b610209600480360381019061020491906113a9565b6105bc565b6040516102169190611304565b60405180910390f35b610227610605565b005b610231610758565b60405161023e91906113e5565b60405180910390f35b61024f610767565b60405161025c91906113e5565b60405180910390f35b61026d610790565b60405161027a91906111c4565b60405180910390f35b61029d6004803603810190610298919061127f565b610822565b6040516102aa91906112da565b60405180910390f35b6102cd60048036038101906102c8919061127f565b6108ef565b6040516102da91906112da565b60405180910390f35b6102fd60048036038101906102f89190611400565b61090d565b60405161030a9190611304565b60405180910390f35b61032d600480360381019061032891906113a9565b610994565b005b610349600480360381019061034491906113a9565b610a35565b60405161035691906112da565b60405180910390f35b60606006805461036e9061146f565b80601f016020809104026020016040519081016040528092919081815260200182805461039a9061146f565b80156103e75780601f106103bc576101008083540402835291602001916103e7565b820191906000526020600020905b8154815290600101906020018083116103ca57829003601f168201915b5050505050905090565b60006104056103fe610ae9565b8484610af1565b6001905092915050565b6000600354905090565b6000610426848484610cba565b6104e784610432610ae9565b6104e28560405180606001604052806029815260200161193760299139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610498610ae9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f469092919063ffffffff16565b610af1565b600190509392505050565b6000600460009054906101000a900460ff16905090565b60006105b2610516610ae9565b846105ad8560026000610527610ae9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610faa90919063ffffffff16565b610af1565b6001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61060d610ae9565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461069a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610691906114ec565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000610762610767565b905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606005805461079f9061146f565b80601f01602080910402602001604051908101604052809291908181526020018280546107cb9061146f565b80156108185780601f106107ed57610100808354040283529160200191610818565b820191906000526020600020905b8154815290600101906020018083116107fb57829003601f168201915b5050505050905090565b60006108e561082f610ae9565b846108e0856040518060600160405280602681526020016118ea6026913960026000610859610ae9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f469092919063ffffffff16565b610af1565b6001905092915050565b60006109036108fc610ae9565b8484610cba565b6001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61099c610ae9565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a29576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a20906114ec565b60405180910390fd5b610a3281611008565b50565b6000610a3f610ae9565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610acc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac3906114ec565b60405180910390fd5b610ae0610ad7610ae9565b83600354610af1565b60019050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b60576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b579061157e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610bcf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bc690611610565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cad9190611304565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610d29576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d20906116a2565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d98576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8f90611734565b60405180910390fd5b610e048160405180606001604052806027815260200161191060279139600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f469092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e9981600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610faa90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610f399190611304565b60405180910390a3505050565b6000838311158290610f8e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f8591906111c4565b60405180910390fd5b5060008385610f9d9190611783565b9050809150509392505050565b6000808284610fb991906117b7565b905083811015610ffe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff590611837565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611077576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106e906118c9565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561116e578082015181840152602081019050611153565b60008484015250505050565b6000601f19601f8301169050919050565b600061119682611134565b6111a0818561113f565b93506111b0818560208601611150565b6111b98161117a565b840191505092915050565b600060208201905081810360008301526111de818461118b565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611216826111eb565b9050919050565b6112268161120b565b811461123157600080fd5b50565b6000813590506112438161121d565b92915050565b6000819050919050565b61125c81611249565b811461126757600080fd5b50565b60008135905061127981611253565b92915050565b60008060408385031215611296576112956111e6565b5b60006112a485828601611234565b92505060206112b58582860161126a565b9150509250929050565b60008115159050919050565b6112d4816112bf565b82525050565b60006020820190506112ef60008301846112cb565b92915050565b6112fe81611249565b82525050565b600060208201905061131960008301846112f5565b92915050565b600080600060608486031215611338576113376111e6565b5b600061134686828701611234565b935050602061135786828701611234565b92505060406113688682870161126a565b9150509250925092565b600060ff82169050919050565b61138881611372565b82525050565b60006020820190506113a3600083018461137f565b92915050565b6000602082840312156113bf576113be6111e6565b5b60006113cd84828501611234565b91505092915050565b6113df8161120b565b82525050565b60006020820190506113fa60008301846113d6565b92915050565b60008060408385031215611417576114166111e6565b5b600061142585828601611234565b925050602061143685828601611234565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061148757607f821691505b60208210810361149a57611499611440565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006114d660208361113f565b91506114e1826114a0565b602082019050919050565b60006020820190508181036000830152611505816114c9565b9050919050565b7f4945524332303a20617070726f76652066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b600061156860258361113f565b91506115738261150c565b604082019050919050565b600060208201905081810360008301526115978161155b565b9050919050565b7f4945524332303a20617070726f766520746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006115fa60238361113f565b91506116058261159e565b604082019050919050565b60006020820190508181036000830152611629816115ed565b9050919050565b7f4945524332303a207472616e736665722066726f6d20746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061168c60268361113f565b915061169782611630565b604082019050919050565b600060208201905081810360008301526116bb8161167f565b9050919050565b7f4945524332303a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b600061171e60248361113f565b9150611729826116c2565b604082019050919050565b6000602082019050818103600083015261174d81611711565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061178e82611249565b915061179983611249565b92508282039050818111156117b1576117b0611754565b5b92915050565b60006117c282611249565b91506117cd83611249565b92508282019050808211156117e5576117e4611754565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b6000611821601b8361113f565b915061182c826117eb565b602082019050919050565b6000602082019050818103600083015261185081611814565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006118b360268361113f565b91506118be82611857565b604082019050919050565b600060208201905081810360008301526118e2816118a6565b905091905056fe4945524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726f4945524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e63654945524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202c531423dbfd1f639fc45b7c9b7ebfb70e1553de903448b7aafd1632ca7bf2f864736f6c63430008130033

11414:7227:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12645:88;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13735:153;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12790:96;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14341:302;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12355:88;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15030:200;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12941:115;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10716:130;;;:::i;:::-;;12208:88;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10114:73;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12500:92;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15703:252;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13251:159;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13465:139;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10991:103;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;11991:157;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12645:88;12693:13;12722:5;12715:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12645:88;:::o;13735:153::-;13812:4;13825:39;13834:12;:10;:12::i;:::-;13848:7;13857:6;13825:8;:39::i;:::-;13878:4;13871:11;;13735:153;;;;:::o;12790:96::-;12845:7;12868:12;;12861:19;;12790:96;:::o;14341:302::-;14441:4;14454:36;14464:6;14472:9;14483:6;14454:9;:36::i;:::-;14497:122;14506:6;14514:12;:10;:12::i;:::-;14528:90;14566:6;14528:90;;;;;;;;;;;;;;;;;:11;:19;14540:6;14528:19;;;;;;;;;;;;;;;:33;14548:12;:10;:12::i;:::-;14528:33;;;;;;;;;;;;;;;;:37;;:90;;;;;:::i;:::-;14497:8;:122::i;:::-;14633:4;14626:11;;14341:302;;;;;:::o;12355:88::-;12407:5;12428:9;;;;;;;;;;;12421:16;;12355:88;:::o;15030:200::-;15110:4;15123:83;15132:12;:10;:12::i;:::-;15146:7;15155:50;15194:10;15155:11;:25;15167:12;:10;:12::i;:::-;15155:25;;;;;;;;;;;;;;;:34;15181:7;15155:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;15123:8;:83::i;:::-;15220:4;15213:11;;15030:200;;;;:::o;12941:115::-;13009:7;13032:9;:18;13042:7;13032:18;;;;;;;;;;;;;;;;13025:25;;12941:115;;;:::o;10716:130::-;10318:12;:10;:12::i;:::-;10308:22;;:6;;;;;;;;;;:22;;;10300:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;10811:1:::1;10774:40;;10795:6;::::0;::::1;;;;;;;;10774:40;;;;;;;;;;;;10838:1;10821:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;10716:130::o:0;12208:88::-;12260:7;12283;:5;:7::i;:::-;12276:14;;12208:88;:::o;10114:73::-;10152:7;10175:6;;;;;;;;;;;10168:13;;10114:73;:::o;12500:92::-;12550:13;12579:7;12572:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12500:92;:::o;15703:252::-;15788:4;15801:130;15810:12;:10;:12::i;:::-;15824:7;15833:97;15872:15;15833:97;;;;;;;;;;;;;;;;;:11;:25;15845:12;:10;:12::i;:::-;15833:25;;;;;;;;;;;;;;;:34;15859:7;15833:34;;;;;;;;;;;;;;;;:38;;:97;;;;;:::i;:::-;15801:8;:130::i;:::-;15945:4;15938:11;;15703:252;;;;:::o;13251:159::-;13331:4;13344:42;13354:12;:10;:12::i;:::-;13368:9;13379:6;13344:9;:42::i;:::-;13400:4;13393:11;;13251:159;;;;:::o;13465:139::-;13548:7;13571:11;:18;13583:5;13571:18;;;;;;;;;;;;;;;:27;13590:7;13571:27;;;;;;;;;;;;;;;;13564:34;;13465:139;;;;:::o;10991:103::-;10318:12;:10;:12::i;:::-;10308:22;;:6;;;;;;;;;;:22;;;10300:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;11060:28:::1;11079:8;11060:18;:28::i;:::-;10991:103:::0;:::o;11991:157::-;12066:4;10318:12;:10;:12::i;:::-;10308:22;;:6;;;;;;;;;;:22;;;10300:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;12079:45:::1;12088:12;:10;:12::i;:::-;12102:7;12111:12;;12079:8;:45::i;:::-;12138:4;12131:11;;11991:157:::0;;;:::o;3810:101::-;3855:15;3894:10;3879:26;;3810:101;:::o;17921:322::-;18028:1;18011:19;;:5;:19;;;18003:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;18106:1;18087:21;;:7;:21;;;18079:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;18187:6;18157:11;:18;18169:5;18157:18;;;;;;;;;;;;;;;:27;18176:7;18157:27;;;;;;;;;;;;;;;:36;;;;18221:7;18205:32;;18214:5;18205:32;;;18230:6;18205:32;;;;;;:::i;:::-;;;;;;;;17921:322;;;:::o;16417:452::-;16529:1;16511:20;;:6;:20;;;16503:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;16610:1;16589:23;;:9;:23;;;16581:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;16682;16704:6;16682:72;;;;;;;;;;;;;;;;;:9;:17;16692:6;16682:17;;;;;;;;;;;;;;;;:21;;:72;;;;;:::i;:::-;16662:9;:17;16672:6;16662:17;;;;;;;;;;;;;;;:92;;;;16784:32;16809:6;16784:9;:20;16794:9;16784:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;16761:9;:20;16771:9;16761:20;;;;;;;;;;;;;;;:55;;;;16845:9;16828:35;;16837:6;16828:35;;;16856:6;16828:35;;;;;;:::i;:::-;;;;;;;;16417:452;;;:::o;5778:178::-;5864:7;5893:1;5888;:6;;5896:12;5880:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;5916:9;5932:1;5928;:5;;;;:::i;:::-;5916:17;;5949:1;5942:8;;;5778:178;;;;;:::o;4951:167::-;5009:7;5025:9;5041:1;5037;:5;;;;:::i;:::-;5025:17;;5062:1;5057;:6;;5049:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;5111:1;5104:8;;;4951:167;;;;:::o;11192:215::-;11282:1;11262:22;;:8;:22;;;11254:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;11368:8;11339:38;;11360:6;;;;;;;;;;11339:38;;;;;;;;;;;;11393:8;11384:6;;:17;;;;;;;;;;;;;;;;;;11192:215;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:182::-;6672:34;6668:1;6660:6;6656:14;6649:58;6532:182;:::o;6720:366::-;6862:3;6883:67;6947:2;6942:3;6883:67;:::i;:::-;6876:74;;6959:93;7048:3;6959:93;:::i;:::-;7077:2;7072:3;7068:12;7061:19;;6720:366;;;:::o;7092:419::-;7258:4;7296:2;7285:9;7281:18;7273:26;;7345:9;7339:4;7335:20;7331:1;7320:9;7316:17;7309:47;7373:131;7499:4;7373:131;:::i;:::-;7365:139;;7092:419;;;:::o;7517:224::-;7657:34;7653:1;7645:6;7641:14;7634:58;7726:7;7721:2;7713:6;7709:15;7702:32;7517:224;:::o;7747:366::-;7889:3;7910:67;7974:2;7969:3;7910:67;:::i;:::-;7903:74;;7986:93;8075:3;7986:93;:::i;:::-;8104:2;8099:3;8095:12;8088:19;;7747:366;;;:::o;8119:419::-;8285:4;8323:2;8312:9;8308:18;8300:26;;8372:9;8366:4;8362:20;8358:1;8347:9;8343:17;8336:47;8400:131;8526:4;8400:131;:::i;:::-;8392:139;;8119:419;;;:::o;8544:222::-;8684:34;8680:1;8672:6;8668:14;8661:58;8753:5;8748:2;8740:6;8736:15;8729:30;8544:222;:::o;8772:366::-;8914:3;8935:67;8999:2;8994:3;8935:67;:::i;:::-;8928:74;;9011:93;9100:3;9011:93;:::i;:::-;9129:2;9124:3;9120:12;9113:19;;8772:366;;;:::o;9144:419::-;9310:4;9348:2;9337:9;9333:18;9325:26;;9397:9;9391:4;9387:20;9383:1;9372:9;9368:17;9361:47;9425:131;9551:4;9425:131;:::i;:::-;9417:139;;9144:419;;;:::o;9569:225::-;9709:34;9705:1;9697:6;9693:14;9686:58;9778:8;9773:2;9765:6;9761:15;9754:33;9569:225;:::o;9800:366::-;9942:3;9963:67;10027:2;10022:3;9963:67;:::i;:::-;9956:74;;10039:93;10128:3;10039:93;:::i;:::-;10157:2;10152:3;10148:12;10141:19;;9800:366;;;:::o;10172:419::-;10338:4;10376:2;10365:9;10361:18;10353:26;;10425:9;10419:4;10415:20;10411:1;10400:9;10396:17;10389:47;10453:131;10579:4;10453:131;:::i;:::-;10445:139;;10172:419;;;:::o;10597:223::-;10737:34;10733:1;10725:6;10721:14;10714:58;10806:6;10801:2;10793:6;10789:15;10782:31;10597:223;:::o;10826:366::-;10968:3;10989:67;11053:2;11048:3;10989:67;:::i;:::-;10982:74;;11065:93;11154:3;11065:93;:::i;:::-;11183:2;11178:3;11174:12;11167:19;;10826:366;;;:::o;11198:419::-;11364:4;11402:2;11391:9;11387:18;11379:26;;11451:9;11445:4;11441:20;11437:1;11426:9;11422:17;11415:47;11479:131;11605:4;11479:131;:::i;:::-;11471:139;;11198:419;;;:::o;11623:180::-;11671:77;11668:1;11661:88;11768:4;11765:1;11758:15;11792:4;11789:1;11782:15;11809:194;11849:4;11869:20;11887:1;11869:20;:::i;:::-;11864:25;;11903:20;11921:1;11903:20;:::i;:::-;11898:25;;11947:1;11944;11940:9;11932:17;;11971:1;11965:4;11962:11;11959:37;;;11976:18;;:::i;:::-;11959:37;11809:194;;;;:::o;12009:191::-;12049:3;12068:20;12086:1;12068:20;:::i;:::-;12063:25;;12102:20;12120:1;12102:20;:::i;:::-;12097:25;;12145:1;12142;12138:9;12131:16;;12166:3;12163:1;12160:10;12157:36;;;12173:18;;:::i;:::-;12157:36;12009:191;;;;:::o;12206:177::-;12346:29;12342:1;12334:6;12330:14;12323:53;12206:177;:::o;12389:366::-;12531:3;12552:67;12616:2;12611:3;12552:67;:::i;:::-;12545:74;;12628:93;12717:3;12628:93;:::i;:::-;12746:2;12741:3;12737:12;12730:19;;12389:366;;;:::o;12761:419::-;12927:4;12965:2;12954:9;12950:18;12942:26;;13014:9;13008:4;13004:20;13000:1;12989:9;12985:17;12978:47;13042:131;13168:4;13042:131;:::i;:::-;13034:139;;12761:419;;;:::o;13186:225::-;13326:34;13322:1;13314:6;13310:14;13303:58;13395:8;13390:2;13382:6;13378:15;13371:33;13186:225;:::o;13417:366::-;13559:3;13580:67;13644:2;13639:3;13580:67;:::i;:::-;13573:74;;13656:93;13745:3;13656:93;:::i;:::-;13774:2;13769:3;13765:12;13758:19;;13417:366;;;:::o;13789:419::-;13955:4;13993:2;13982:9;13978:18;13970:26;;14042:9;14036:4;14032:20;14028:1;14017:9;14013:17;14006:47;14070:131;14196:4;14070:131;:::i;:::-;14062:139;;13789:419;;;:::o

ipfs://2c531423dbfd1f639fc45b7c9b7ebfb70e1553de903448b7aafd1632ca7bf2f8