Contract

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(address sender, ...
•  contract ERC20 is IERC20
•    - function _msgSender()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _beforeTokenTransfer(address ...
•  contract Vega_2 is ERC20 *
•    - function change_controller(address ne ...
•    - function mint_and_issue(address targe ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
pragma solidity 0.8.1;

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



/**
 * @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 IERC20 {
    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
    * brought in function from Context
    */
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The defaut value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All three 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 returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual 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
     * overloaded;
     *
     * 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 returns (uint8) {
        return 18;
    }

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

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

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

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

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

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

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

        return true;
    }

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

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

        return true;
    }

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

        _beforeTokenTransfer(sender, recipient, amount);

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

        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        _balances[account] = accountBalance - amount;
        _totalSupply -= amount;

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

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



/// @title Vega 2 Token
/// @author Vega Protocol
/// @notice This contract is the Vega V2 ERC20 token that replaces the initial VEGA token
contract Vega_2 is ERC20 {

  event Controller_Changed(address indexed new_controller);

  /// @notice Timestamp of when mint becomes available to the current controller of the token
  uint256 public mint_lock_expiry;
  /// @notice Address of the controller of this contract (similar to "owner" in other contracts)
  address public controller;

  /// @notice Constructor mints and issues total_supply_to the address that deploys the contract
  /// @dev Runs ERC20 _mint function
  /// @param total_supply_ The initial supply to mint, these will be the only tokens minted until after mint_lock_expiry
  /// @param mint_lock_expiry_ The timestamp of when the mint_and_issue function becomes available to the controller
  /// @param name_ The name of the ERC20 token
  /// @param symbol_ The symbol of the ERC20 token
  /// @dev emits Controller_Changed event
  constructor(uint256 total_supply_, uint256 mint_lock_expiry_, string memory name_, string memory symbol_) ERC20 (name_, symbol_) {
      //mint and issue
      mint_lock_expiry = mint_lock_expiry_;
      _mint(msg.sender, total_supply_);
      controller = msg.sender;
      emit Controller_Changed(controller);
  }

  /// @notice This function allows the controller to assign a new controller
  /// @dev Emits Controller_Changed event
  /// @param new_controller Address of the new controller
  function change_controller(address new_controller) public {
    require(msg.sender == controller, "only controller");
    controller = new_controller;
    emit Controller_Changed(new_controller);
  }

  /// @notice This function allows the controller to mint and issue tokens to the target address
  /// @notice This function is locked until mint_lock_expiry
  /// @dev Runs ERC20 _mint function
  /// @param target Target address for the newly minted tokens
  /// @param amount Amount of tokens to mint and issue
  function mint_and_issue(address target, uint256 amount) public {
    require(block.timestamp > mint_lock_expiry, "minting is locked");
    require(msg.sender == controller, "only controller");
    _mint(target, amount);
  }
}

/**
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMWEMMMMMMMMMMMMMMMMMMMMMMMMMM...............MMMMMMMMMMMMM
MMMMMMLOVEMMMMMMMMMMMMMMMMMMMMMM...............MMMMMMMMMMMMM
MMMMMMMMMMHIXELMMMMMMMMMMMM....................MMMMMNNMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMM....................MMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMM88=........................+MMMMMMMMMM
MMMMMMMMMMMMMMMMM....................MMMMM...MMMMMMMMMMMMMMM
MMMMMMMMMMMMMMMMM....................MMMMM...MMMMMMMMMMMMMMM
MMMMMMMMMMMM.........................MM+..MMM....+MMMMMMMMMM
MMMMMMMMMNMM...................... ..MM?..MMM.. .+MMMMMMMMMM
MMMMNDDMM+........................+MM........MM..+MMMMMMMMMM
MMMMZ.............................+MM....................MMM
MMMMZ.............................+MM....................MMM
MMMMZ.............................+MM....................DDD
MMMMZ.............................+MM..ZMMMMMMMMMMMMMMMMMMMM
MMMMZ.............................+MM..ZMMMMMMMMMMMMMMMMMMMM
MM..............................MMZ....ZMMMMMMMMMMMMMMMMMMMM
MM............................MM.......ZMMMMMMMMMMMMMMMMMMMM
MM............................MM.......ZMMMMMMMMMMMMMMMMMMMM
MM......................ZMMMMM.......MMMMMMMMMMMMMMMMMMMMMMM
MM............... ......ZMMMMM.... ..MMMMMMMMMMMMMMMMMMMMMMM
MM...............MMMMM88~.........+MM..ZMMMMMMMMMMMMMMMMMMMM
MM.......$DDDDDDD.......$DDDDD..DDNMM..ZMMMMMMMMMMMMMMMMMMMM
MM.......$DDDDDDD.......$DDDDD..DDNMM..ZMMMMMMMMMMMMMMMMMMMM
MM.......ZMMMMMMM.......ZMMMMM..MMMMM..ZMMMMMMMMMMMMMMMMMMMM
MMMMMMMMM+.......MMMMM88NMMMMM..MMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMM+.......MMMMM88NMMMMM..MMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM*/

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"total_supply_","type":"uint256"},{"internalType":"uint256","name":"mint_lock_expiry_","type":"uint256"},{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"}],"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":"new_controller","type":"address"}],"name":"Controller_Changed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"new_controller","type":"address"}],"name":"change_controller","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"controller","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint_and_issue","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mint_lock_expiry","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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"}]

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806366304afd11610097578063a457c2d711610066578063a457c2d714610288578063a9059cbb146102b8578063dd62ed3e146102e8578063f77c479114610318576100f5565b806366304afd1461020057806370a082311461021e578063711d03ce1461024e57806395d89b411461026a576100f5565b806323b872dd116100d357806323b872dd1461016657806328231bf214610196578063313ce567146101b257806339509351146101d0576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610336565b60405161010f919061130c565b60405180910390f35b610132600480360381019061012d91906110c7565b6103c8565b60405161013f91906112f1565b60405180910390f35b6101506103e6565b60405161015d919061146e565b60405180910390f35b610180600480360381019061017b9190611078565b6103f0565b60405161018d91906112f1565b60405180910390f35b6101b060048036038101906101ab91906110c7565b6104f1565b005b6101ba6105d3565b6040516101c79190611489565b60405180910390f35b6101ea60048036038101906101e591906110c7565b6105dc565b6040516101f791906112f1565b60405180910390f35b610208610688565b604051610215919061146e565b60405180910390f35b61023860048036038101906102339190611013565b61068e565b604051610245919061146e565b60405180910390f35b61026860048036038101906102639190611013565b6106d6565b005b6102726107ed565b60405161027f919061130c565b60405180910390f35b6102a2600480360381019061029d91906110c7565b61087f565b6040516102af91906112f1565b60405180910390f35b6102d260048036038101906102cd91906110c7565b610973565b6040516102df91906112f1565b60405180910390f35b61030260048036038101906102fd919061103c565b610991565b60405161030f919061146e565b60405180910390f35b610320610a18565b60405161032d91906112d6565b60405180910390f35b606060038054610345906115d2565b80601f0160208091040260200160405190810160405280929190818152602001828054610371906115d2565b80156103be5780601f10610393576101008083540402835291602001916103be565b820191906000526020600020905b8154815290600101906020018083116103a157829003601f168201915b5050505050905090565b60006103dc6103d5610a3e565b8484610a46565b6001905092915050565b6000600254905090565b60006103fd848484610c11565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610448610a3e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156104c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104bf906113ce565b60405180910390fd5b6104e5856104d4610a3e565b85846104e09190611516565b610a46565b60019150509392505050565b6005544211610535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052c9061138e565b60405180910390fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105bc906113ae565b60405180910390fd5b6105cf8282610e90565b5050565b60006012905090565b600061067e6105e9610a3e565b8484600160006105f7610a3e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461067991906114c0565b610a46565b6001905092915050565b60055481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610766576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075d906113ae565b60405180910390fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fdacf3394e265c5a9b5a0b8b7f9c64619dd468f6abe1fc900bd429e6a8700bed960405160405180910390a250565b6060600480546107fc906115d2565b80601f0160208091040260200160405190810160405280929190818152602001828054610828906115d2565b80156108755780601f1061084a57610100808354040283529160200191610875565b820191906000526020600020905b81548152906001019060200180831161085857829003601f168201915b5050505050905090565b6000806001600061088e610a3e565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561094b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109429061142e565b60405180910390fd5b610968610956610a3e565b8585846109639190611516565b610a46565b600191505092915050565b6000610987610980610a3e565b8484610c11565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ab6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aad9061140e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1d9061134e565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610c04919061146e565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c81576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c78906113ee565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce89061132e565b60405180910390fd5b610cfc838383610fe4565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610d82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d799061136e565b60405180910390fd5b8181610d8e9190611516565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e1e91906114c0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e82919061146e565b60405180910390a350505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f00576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef79061144e565b60405180910390fd5b610f0c60008383610fe4565b8060026000828254610f1e91906114c0565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f7391906114c0565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610fd8919061146e565b60405180910390a35050565b505050565b600081359050610ff881611917565b92915050565b60008135905061100d8161192e565b92915050565b60006020828403121561102557600080fd5b600061103384828501610fe9565b91505092915050565b6000806040838503121561104f57600080fd5b600061105d85828601610fe9565b925050602061106e85828601610fe9565b9150509250929050565b60008060006060848603121561108d57600080fd5b600061109b86828701610fe9565b93505060206110ac86828701610fe9565b92505060406110bd86828701610ffe565b9150509250925092565b600080604083850312156110da57600080fd5b60006110e885828601610fe9565b92505060206110f985828601610ffe565b9150509250929050565b61110c8161154a565b82525050565b61111b8161155c565b82525050565b600061112c826114a4565b61113681856114af565b935061114681856020860161159f565b61114f81611662565b840191505092915050565b60006111676023836114af565b915061117282611673565b604082019050919050565b600061118a6022836114af565b9150611195826116c2565b604082019050919050565b60006111ad6026836114af565b91506111b882611711565b604082019050919050565b60006111d06011836114af565b91506111db82611760565b602082019050919050565b60006111f3600f836114af565b91506111fe82611789565b602082019050919050565b60006112166028836114af565b9150611221826117b2565b604082019050919050565b60006112396025836114af565b915061124482611801565b604082019050919050565b600061125c6024836114af565b915061126782611850565b604082019050919050565b600061127f6025836114af565b915061128a8261189f565b604082019050919050565b60006112a2601f836114af565b91506112ad826118ee565b602082019050919050565b6112c181611588565b82525050565b6112d081611592565b82525050565b60006020820190506112eb6000830184611103565b92915050565b60006020820190506113066000830184611112565b92915050565b600060208201905081810360008301526113268184611121565b905092915050565b600060208201905081810360008301526113478161115a565b9050919050565b600060208201905081810360008301526113678161117d565b9050919050565b60006020820190508181036000830152611387816111a0565b9050919050565b600060208201905081810360008301526113a7816111c3565b9050919050565b600060208201905081810360008301526113c7816111e6565b9050919050565b600060208201905081810360008301526113e781611209565b9050919050565b600060208201905081810360008301526114078161122c565b9050919050565b600060208201905081810360008301526114278161124f565b9050919050565b6000602082019050818103600083015261144781611272565b9050919050565b6000602082019050818103600083015261146781611295565b9050919050565b600060208201905061148360008301846112b8565b92915050565b600060208201905061149e60008301846112c7565b92915050565b600081519050919050565b600082825260208201905092915050565b60006114cb82611588565b91506114d683611588565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561150b5761150a611604565b5b828201905092915050565b600061152182611588565b915061152c83611588565b92508282101561153f5761153e611604565b5b828203905092915050565b600061155582611568565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156115bd5780820151818401526020810190506115a2565b838111156115cc576000848401525b50505050565b600060028204905060018216806115ea57607f821691505b602082108114156115fe576115fd611633565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f6d696e74696e67206973206c6f636b6564000000000000000000000000000000600082015250565b7f6f6e6c7920636f6e74726f6c6c65720000000000000000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6119208161154a565b811461192b57600080fd5b50565b61193781611588565b811461194257600080fd5b5056fea264697066735822122003b6964b2bf61dd38fb0f99ffd90072a54eeed95849b11cd02261d36ad55081464736f6c63430008010033

13777:2139:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4886:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7026:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5979:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7677:422;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15686:227;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5830:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8508:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13967:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6150:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15159:203;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5096:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9226:377;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6490:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6728:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14101:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4886:91;4931:13;4964:5;4957:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4886:91;:::o;7026:169::-;7109:4;7126:39;7135:12;:10;:12::i;:::-;7149:7;7158:6;7126:8;:39::i;:::-;7183:4;7176:11;;7026:169;;;;:::o;5979:108::-;6040:7;6067:12;;6060:19;;5979:108;:::o;7677:422::-;7783:4;7800:36;7810:6;7818:9;7829:6;7800:9;:36::i;:::-;7849:24;7876:11;:19;7888:6;7876:19;;;;;;;;;;;;;;;:33;7896:12;:10;:12::i;:::-;7876:33;;;;;;;;;;;;;;;;7849:60;;7948:6;7928:16;:26;;7920:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;8010:57;8019:6;8027:12;:10;:12::i;:::-;8060:6;8041:16;:25;;;;:::i;:::-;8010:8;:57::i;:::-;8087:4;8080:11;;;7677:422;;;;;:::o;15686:227::-;15782:16;;15764:15;:34;15756:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;15849:10;;;;;;;;;;;15835:24;;:10;:24;;;15827:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;15886:21;15892:6;15900;15886:5;:21::i;:::-;15686:227;;:::o;5830:84::-;5879:5;5904:2;5897:9;;5830:84;:::o;8508:215::-;8596:4;8613:80;8622:12;:10;:12::i;:::-;8636:7;8682:10;8645:11;:25;8657:12;:10;:12::i;:::-;8645:25;;;;;;;;;;;;;;;:34;8671:7;8645:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;8613:8;:80::i;:::-;8711:4;8704:11;;8508:215;;;;:::o;13967:31::-;;;;:::o;6150:127::-;6224:7;6251:9;:18;6261:7;6251:18;;;;;;;;;;;;;;;;6244:25;;6150:127;;;:::o;15159:203::-;15246:10;;;;;;;;;;;15232:24;;:10;:24;;;15224:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;15296:14;15283:10;;:27;;;;;;;;;;;;;;;;;;15341:14;15322:34;;;;;;;;;;;;15159:203;:::o;5096:95::-;5143:13;5176:7;5169:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5096:95;:::o;9226:377::-;9319:4;9336:24;9363:11;:25;9375:12;:10;:12::i;:::-;9363:25;;;;;;;;;;;;;;;:34;9389:7;9363:34;;;;;;;;;;;;;;;;9336:61;;9436:15;9416:16;:35;;9408:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;9504:67;9513:12;:10;:12::i;:::-;9527:7;9555:15;9536:16;:34;;;;:::i;:::-;9504:8;:67::i;:::-;9591:4;9584:11;;;9226:377;;;;:::o;6490:175::-;6576:4;6593:42;6603:12;:10;:12::i;:::-;6617:9;6628:6;6593:9;:42::i;:::-;6653:4;6646:11;;6490:175;;;;:::o;6728:151::-;6817:7;6844:11;:18;6856:5;6844:18;;;;;;;;;;;;;;;:27;6863:7;6844:27;;;;;;;;;;;;;;;;6837:34;;6728:151;;;;:::o;14101:25::-;;;;;;;;;;;;;:::o;4280:98::-;4333:7;4360:10;4353:17;;4280:98;:::o;12582:346::-;12701:1;12684:19;;:5;:19;;;;12676:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12782:1;12763:21;;:7;:21;;;;12755:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;12866:6;12836:11;:18;12848:5;12836:18;;;;;;;;;;;;;;;:27;12855:7;12836:27;;;;;;;;;;;;;;;:36;;;;12904:7;12888:32;;12897:5;12888:32;;;12913:6;12888:32;;;;;;:::i;:::-;;;;;;;;12582:346;;;:::o;10093:604::-;10217:1;10199:20;;:6;:20;;;;10191:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;10301:1;10280:23;;:9;:23;;;;10272:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;10356:47;10377:6;10385:9;10396:6;10356:20;:47::i;:::-;10416:21;10440:9;:17;10450:6;10440:17;;;;;;;;;;;;;;;;10416:41;;10493:6;10476:13;:23;;10468:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;10589:6;10573:13;:22;;;;:::i;:::-;10553:9;:17;10563:6;10553:17;;;;;;;;;;;;;;;:42;;;;10630:6;10606:9;:20;10616:9;10606:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;10671:9;10654:35;;10663:6;10654:35;;;10682:6;10654:35;;;;;;:::i;:::-;;;;;;;;10093:604;;;;:::o;10979:338::-;11082:1;11063:21;;:7;:21;;;;11055:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;11133:49;11162:1;11166:7;11175:6;11133:20;:49::i;:::-;11211:6;11195:12;;:22;;;;;;;:::i;:::-;;;;;;;;11250:6;11228:9;:18;11238:7;11228:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;11293:7;11272:37;;11289:1;11272:37;;;11302:6;11272:37;;;;;;:::i;:::-;;;;;;;;10979:338;;:::o;13531:92::-;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;;;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;;;;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;;;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:118::-;2036:24;2054:5;2036:24;:::i;:::-;2031:3;2024:37;2014:53;;:::o;2073:109::-;2154:21;2169:5;2154:21;:::i;:::-;2149:3;2142:34;2132:50;;:::o;2188:364::-;;2304:39;2337:5;2304:39;:::i;:::-;2359:71;2423:6;2418:3;2359:71;:::i;:::-;2352:78;;2439:52;2484:6;2479:3;2472:4;2465:5;2461:16;2439:52;:::i;:::-;2516:29;2538:6;2516:29;:::i;:::-;2511:3;2507:39;2500:46;;2280:272;;;;;:::o;2558:366::-;;2721:67;2785:2;2780:3;2721:67;:::i;:::-;2714:74;;2797:93;2886:3;2797:93;:::i;:::-;2915:2;2910:3;2906:12;2899:19;;2704:220;;;:::o;2930:366::-;;3093:67;3157:2;3152:3;3093:67;:::i;:::-;3086:74;;3169:93;3258:3;3169:93;:::i;:::-;3287:2;3282:3;3278:12;3271:19;;3076:220;;;:::o;3302:366::-;;3465:67;3529:2;3524:3;3465:67;:::i;:::-;3458:74;;3541:93;3630:3;3541:93;:::i;:::-;3659:2;3654:3;3650:12;3643:19;;3448:220;;;:::o;3674:366::-;;3837:67;3901:2;3896:3;3837:67;:::i;:::-;3830:74;;3913:93;4002:3;3913:93;:::i;:::-;4031:2;4026:3;4022:12;4015:19;;3820:220;;;:::o;4046:366::-;;4209:67;4273:2;4268:3;4209:67;:::i;:::-;4202:74;;4285:93;4374:3;4285:93;:::i;:::-;4403:2;4398:3;4394:12;4387:19;;4192:220;;;:::o;4418:366::-;;4581:67;4645:2;4640:3;4581:67;:::i;:::-;4574:74;;4657:93;4746:3;4657:93;:::i;:::-;4775:2;4770:3;4766:12;4759:19;;4564:220;;;:::o;4790:366::-;;4953:67;5017:2;5012:3;4953:67;:::i;:::-;4946:74;;5029:93;5118:3;5029:93;:::i;:::-;5147:2;5142:3;5138:12;5131:19;;4936:220;;;:::o;5162:366::-;;5325:67;5389:2;5384:3;5325:67;:::i;:::-;5318:74;;5401:93;5490:3;5401:93;:::i;:::-;5519:2;5514:3;5510:12;5503:19;;5308:220;;;:::o;5534:366::-;;5697:67;5761:2;5756:3;5697:67;:::i;:::-;5690:74;;5773:93;5862:3;5773:93;:::i;:::-;5891:2;5886:3;5882:12;5875:19;;5680:220;;;:::o;5906:366::-;;6069:67;6133:2;6128:3;6069:67;:::i;:::-;6062:74;;6145:93;6234:3;6145:93;:::i;:::-;6263:2;6258:3;6254:12;6247:19;;6052:220;;;:::o;6278:118::-;6365:24;6383:5;6365:24;:::i;:::-;6360:3;6353:37;6343:53;;:::o;6402:112::-;6485:22;6501:5;6485:22;:::i;:::-;6480:3;6473:35;6463:51;;:::o;6520:222::-;;6651:2;6640:9;6636:18;6628:26;;6664:71;6732:1;6721:9;6717:17;6708:6;6664:71;:::i;:::-;6618:124;;;;:::o;6748:210::-;;6873:2;6862:9;6858:18;6850:26;;6886:65;6948:1;6937:9;6933:17;6924:6;6886:65;:::i;:::-;6840:118;;;;:::o;6964:313::-;;7115:2;7104:9;7100:18;7092:26;;7164:9;7158:4;7154:20;7150:1;7139:9;7135:17;7128:47;7192:78;7265:4;7256:6;7192:78;:::i;:::-;7184:86;;7082:195;;;;:::o;7283:419::-;;7487:2;7476:9;7472:18;7464:26;;7536:9;7530:4;7526:20;7522:1;7511:9;7507:17;7500:47;7564:131;7690:4;7564:131;:::i;:::-;7556:139;;7454:248;;;:::o;7708:419::-;;7912:2;7901:9;7897:18;7889:26;;7961:9;7955:4;7951:20;7947:1;7936:9;7932:17;7925:47;7989:131;8115:4;7989:131;:::i;:::-;7981:139;;7879:248;;;:::o;8133:419::-;;8337:2;8326:9;8322:18;8314:26;;8386:9;8380:4;8376:20;8372:1;8361:9;8357:17;8350:47;8414:131;8540:4;8414:131;:::i;:::-;8406:139;;8304:248;;;:::o;8558:419::-;;8762:2;8751:9;8747:18;8739:26;;8811:9;8805:4;8801:20;8797:1;8786:9;8782:17;8775:47;8839:131;8965:4;8839:131;:::i;:::-;8831:139;;8729:248;;;:::o;8983:419::-;;9187:2;9176:9;9172:18;9164:26;;9236:9;9230:4;9226:20;9222:1;9211:9;9207:17;9200:47;9264:131;9390:4;9264:131;:::i;:::-;9256:139;;9154:248;;;:::o;9408:419::-;;9612:2;9601:9;9597:18;9589:26;;9661:9;9655:4;9651:20;9647:1;9636:9;9632:17;9625:47;9689:131;9815:4;9689:131;:::i;:::-;9681:139;;9579:248;;;:::o;9833:419::-;;10037:2;10026:9;10022:18;10014:26;;10086:9;10080:4;10076:20;10072:1;10061:9;10057:17;10050:47;10114:131;10240:4;10114:131;:::i;:::-;10106:139;;10004:248;;;:::o;10258:419::-;;10462:2;10451:9;10447:18;10439:26;;10511:9;10505:4;10501:20;10497:1;10486:9;10482:17;10475:47;10539:131;10665:4;10539:131;:::i;:::-;10531:139;;10429:248;;;:::o;10683:419::-;;10887:2;10876:9;10872:18;10864:26;;10936:9;10930:4;10926:20;10922:1;10911:9;10907:17;10900:47;10964:131;11090:4;10964:131;:::i;:::-;10956:139;;10854:248;;;:::o;11108:419::-;;11312:2;11301:9;11297:18;11289:26;;11361:9;11355:4;11351:20;11347:1;11336:9;11332:17;11325:47;11389:131;11515:4;11389:131;:::i;:::-;11381:139;;11279:248;;;:::o;11533:222::-;;11664:2;11653:9;11649:18;11641:26;;11677:71;11745:1;11734:9;11730:17;11721:6;11677:71;:::i;:::-;11631:124;;;;:::o;11761:214::-;;11888:2;11877:9;11873:18;11865:26;;11901:67;11965:1;11954:9;11950:17;11941:6;11901:67;:::i;:::-;11855:120;;;;:::o;11981:99::-;;12067:5;12061:12;12051:22;;12040:40;;;:::o;12086:169::-;;12204:6;12199:3;12192:19;12244:4;12239:3;12235:14;12220:29;;12182:73;;;;:::o;12261:305::-;;12320:20;12338:1;12320:20;:::i;:::-;12315:25;;12354:20;12372:1;12354:20;:::i;:::-;12349:25;;12508:1;12440:66;12436:74;12433:1;12430:81;12427:2;;;12514:18;;:::i;:::-;12427:2;12558:1;12555;12551:9;12544:16;;12305:261;;;;:::o;12572:191::-;;12632:20;12650:1;12632:20;:::i;:::-;12627:25;;12666:20;12684:1;12666:20;:::i;:::-;12661:25;;12705:1;12702;12699:8;12696:2;;;12710:18;;:::i;:::-;12696:2;12755:1;12752;12748:9;12740:17;;12617:146;;;;:::o;12769:96::-;;12835:24;12853:5;12835:24;:::i;:::-;12824:35;;12814:51;;;:::o;12871:90::-;;12948:5;12941:13;12934:21;12923:32;;12913:48;;;:::o;12967:126::-;;13044:42;13037:5;13033:54;13022:65;;13012:81;;;:::o;13099:77::-;;13165:5;13154:16;;13144:32;;;:::o;13182:86::-;;13257:4;13250:5;13246:16;13235:27;;13225:43;;;:::o;13274:307::-;13342:1;13352:113;13366:6;13363:1;13360:13;13352:113;;;13451:1;13446:3;13442:11;13436:18;13432:1;13427:3;13423:11;13416:39;13388:2;13385:1;13381:10;13376:15;;13352:113;;;13483:6;13480:1;13477:13;13474:2;;;13563:1;13554:6;13549:3;13545:16;13538:27;13474:2;13323:258;;;;:::o;13587:320::-;;13668:1;13662:4;13658:12;13648:22;;13715:1;13709:4;13705:12;13736:18;13726:2;;13792:4;13784:6;13780:17;13770:27;;13726:2;13854;13846:6;13843:14;13823:18;13820:38;13817:2;;;13873:18;;:::i;:::-;13817:2;13638:269;;;;:::o;13913:180::-;13961:77;13958:1;13951:88;14058:4;14055:1;14048:15;14082:4;14079:1;14072:15;14099:180;14147:77;14144:1;14137:88;14244:4;14241:1;14234:15;14268:4;14265:1;14258:15;14285:102;;14377:2;14373:7;14368:2;14361:5;14357:14;14353:28;14343:38;;14333:54;;;:::o;14393:222::-;14533:34;14529:1;14521:6;14517:14;14510:58;14602:5;14597:2;14589:6;14585:15;14578:30;14499:116;:::o;14621:221::-;14761:34;14757:1;14749:6;14745:14;14738:58;14830:4;14825:2;14817:6;14813:15;14806:29;14727:115;:::o;14848:225::-;14988:34;14984:1;14976:6;14972:14;14965:58;15057:8;15052:2;15044:6;15040:15;15033:33;14954:119;:::o;15079:167::-;15219:19;15215:1;15207:6;15203:14;15196:43;15185:61;:::o;15252:165::-;15392:17;15388:1;15380:6;15376:14;15369:41;15358:59;:::o;15423:227::-;15563:34;15559:1;15551:6;15547:14;15540:58;15632:10;15627:2;15619:6;15615:15;15608:35;15529:121;:::o;15656:224::-;15796:34;15792:1;15784:6;15780:14;15773:58;15865:7;15860:2;15852:6;15848:15;15841:32;15762:118;:::o;15886:223::-;16026:34;16022:1;16014:6;16010:14;16003:58;16095:6;16090:2;16082:6;16078:15;16071:31;15992:117;:::o;16115:224::-;16255:34;16251:1;16243:6;16239:14;16232:58;16324:7;16319:2;16311:6;16307:15;16300:32;16221:118;:::o;16345:181::-;16485:33;16481:1;16473:6;16469:14;16462:57;16451:75;:::o;16532:122::-;16605:24;16623:5;16605:24;:::i;:::-;16598:5;16595:35;16585:2;;16644:1;16641;16634:12;16585:2;16575:79;:::o;16660:122::-;16733:24;16751:5;16733:24;:::i;:::-;16726:5;16723:35;16713:2;;16772:1;16769;16762:12;16713:2;16703:79;:::o

ipfs://03b6964b2bf61dd38fb0f99ffd90072a54eeed95849b11cd02261d36ad550814