Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: BUSL-1.1
pragma solidity 0.8.6;

import "draft-ERC20Permit.sol";
import "SafeERC20.sol";
import "ReentrancyGuard.sol";
import "Pausable.sol";
import "Math.sol";

import "IBetaBank.sol";
import "IBetaConfig.sol";
import "IBetaInterestModel.sol";

contract BToken is ERC20Permit, ReentrancyGuard {
  using SafeERC20 for IERC20;

  event Accrue(uint interest);
  event Mint(address indexed caller, address indexed to, uint amount, uint credit);
  event Burn(address indexed caller, address indexed to, uint amount, uint credit);

  uint public constant MINIMUM_LIQUIDITY = 10**6; // minimum liquidity to be locked in the pool when first mint occurs

  address public immutable betaBank; // BetaBank address
  address public immutable underlying; // the underlying token

  uint public interestRate; // current interest rate
  uint public lastAccrueTime; // last interest accrual timestamp
  uint public totalLoanable; // total asset amount available to be borrowed
  uint public totalLoan; // total amount of loan
  uint public totalDebtShare; // total amount of debt share

  /// @dev Initializes the BToken contract.
  /// @param _betaBank BetaBank address.
  /// @param _underlying The underlying token address for the bToken.
  constructor(address _betaBank, address _underlying)
    ERC20Permit('B Token')
    ERC20('B Token', 'bTOKEN')
  {
    require(_betaBank != address(0), 'constructor/betabank-zero-address');
    require(_underlying != address(0), 'constructor/underlying-zero-address');
    betaBank = _betaBank;
    underlying = _underlying;
    interestRate = IBetaInterestModel(IBetaBank(_betaBank).interestModel()).initialRate();
    lastAccrueTime = block.timestamp;
  }

  /// @dev Returns the name of the token.
  function name() public view override returns (string memory) {
    try IERC20Metadata(underlying).name() returns (string memory data) {
      return string(abi.encodePacked('B ', data));
    } catch (bytes memory) {
      return ERC20.name();
    }
  }

  /// @dev Returns the symbol of the token.
  function symbol() public view override returns (string memory) {
    try IERC20Metadata(underlying).symbol() returns (string memory data) {
      return string(abi.encodePacked('b', data));
    } catch (bytes memory) {
      return ERC20.symbol();
    }
  }

  /// @dev Returns the decimal places of the token.
  function decimals() public view override returns (uint8) {
    try IERC20Metadata(underlying).decimals() returns (uint8 data) {
      return data;
    } catch (bytes memory) {
      return ERC20.decimals();
    }
  }

  /// @dev Accrues interest rate and adjusts the rate. Can be called by anyone at any time.
  function accrue() public {
    // 1. Check time past condition
    uint timePassed = block.timestamp - lastAccrueTime;
    if (timePassed == 0) return;
    lastAccrueTime = block.timestamp;
    // 2. Check bank pause condition
    require(!Pausable(betaBank).paused(), 'BetaBank/paused');
    // 3. Compute the accrued interest value over the past time
    (uint totalLoan_, uint totalLoanable_, uint interestRate_) = (
      totalLoan,
      totalLoanable,
      interestRate
    ); // gas saving by avoiding multiple SLOADs
    IBetaConfig config = IBetaConfig(IBetaBank(betaBank).config());
    IBetaInterestModel model = IBetaInterestModel(IBetaBank(betaBank).interestModel());
    uint interest = (interestRate_ * totalLoan_ * timePassed) / (365 days) / 1e18;
    // 4. Update total loan and next interest rate
    totalLoan_ += interest;
    totalLoan = totalLoan_;
    interestRate = model.getNextInterestRate(interestRate_, totalLoanable_, totalLoan_, timePassed);
    // 5. Send a portion of collected interest to the beneficiary
    if (interest > 0) {
      uint reserveRate = config.reserveRate();
      if (reserveRate > 0) {
        uint toReserve = (interest * reserveRate) / 1e18;
        _mint(
          config.reserveBeneficiary(),
          (toReserve * totalSupply()) / (totalLoan_ + totalLoanable_ - toReserve)
        );
      }
      emit Accrue(interest);
    }
  }

  /// @dev Returns the debt value for the given debt share. Automatically calls accrue.
  function fetchDebtShareValue(uint _debtShare) external returns (uint) {
    accrue();
    if (_debtShare == 0) {
      return 0;
    }
    return Math.ceilDiv(_debtShare * totalLoan, totalDebtShare); // round up
  }

  /// @dev Mints new bToken to the given address.
  /// @param _to The address to mint new bToken for.
  /// @param _amount The amount of underlying tokens to deposit via `transferFrom`.
  /// @return credit The amount of bToken minted.
  function mint(address _to, uint _amount) external nonReentrant returns (uint credit) {
    accrue();
    uint amount;
    {
      uint balBefore = IERC20(underlying).balanceOf(address(this));
      IERC20(underlying).safeTransferFrom(msg.sender, address(this), _amount);
      uint balAfter = IERC20(underlying).balanceOf(address(this));
      amount = balAfter - balBefore;
    }
    uint supply = totalSupply();
    if (supply == 0) {
      credit = amount - MINIMUM_LIQUIDITY;
      // Permanently lock the first MINIMUM_LIQUIDITY tokens
      totalLoanable += credit;
      totalLoan += MINIMUM_LIQUIDITY;
      totalDebtShare += MINIMUM_LIQUIDITY;
      _mint(address(1), MINIMUM_LIQUIDITY); // OpenZeppelin ERC20 does not allow minting to 0
    } else {
      credit = (amount * supply) / (totalLoanable + totalLoan);
      totalLoanable += amount;
    }
    require(credit > 0, 'mint/no-credit-minted');
    _mint(_to, credit);
    emit Mint(msg.sender, _to, _amount, credit);
  }

  /// @dev Burns the given bToken for the proportional amount of underlying tokens.
  /// @param _to The address to send the underlying tokens to.
  /// @param _credit The amount of bToken to burn.
  /// @return amount The amount of underlying tokens getting transferred out.
  function burn(address _to, uint _credit) external nonReentrant returns (uint amount) {
    accrue();
    uint supply = totalSupply();
    amount = (_credit * (totalLoanable + totalLoan)) / supply;
    require(amount > 0, 'burn/no-amount-returned');
    totalLoanable -= amount;
    _burn(msg.sender, _credit);
    IERC20(underlying).safeTransfer(_to, amount);
    emit Burn(msg.sender, _to, amount, _credit);
  }

  /// @dev Borrows the funds for the given address. Must only be called by BetaBank.
  /// @param _to The address to borrow the funds for.
  /// @param _amount The amount to borrow.
  /// @return debtShare The amount of new debt share minted.
  function borrow(address _to, uint _amount) external nonReentrant returns (uint debtShare) {
    require(msg.sender == betaBank, 'borrow/not-BetaBank');
    accrue();
    IERC20(underlying).safeTransfer(_to, _amount);
    debtShare = Math.ceilDiv(_amount * totalDebtShare, totalLoan); // round up
    totalLoanable -= _amount;
    totalLoan += _amount;
    totalDebtShare += debtShare;
  }

  /// @dev Repays the debt using funds from the given address. Must only be called by BetaBank.
  /// @param _from The address to drain the funds to repay.
  /// @param _amount The amount of funds to call via `transferFrom`.
  /// @return debtShare The amount of debt share repaid.
  function repay(address _from, uint _amount) external nonReentrant returns (uint debtShare) {
    require(msg.sender == betaBank, 'repay/not-BetaBank');
    accrue();
    uint amount;
    {
      uint balBefore = IERC20(underlying).balanceOf(address(this));
      IERC20(underlying).safeTransferFrom(_from, address(this), _amount);
      uint balAfter = IERC20(underlying).balanceOf(address(this));
      amount = balAfter - balBefore;
    }
    require(amount <= totalLoan, 'repay/amount-too-high');
    debtShare = (amount * totalDebtShare) / totalLoan; // round down
    totalLoanable += amount;
    totalLoan -= amount;
    totalDebtShare -= debtShare;
    require(totalDebtShare >= MINIMUM_LIQUIDITY, 'repay/too-low-sum-debt-share');
  }

  /// @dev Recovers tokens in this contract. EMERGENCY ONLY. Full trust in BetaBank.
  /// @param _token The token to recover, can even be underlying so please be careful.
  /// @param _to The address to recover tokens to.
  /// @param _amount The amount of tokens to recover, or MAX_UINT256 if whole balance.
  function recover(
    address _token,
    address _to,
    uint _amount
  ) external nonReentrant {
    require(msg.sender == betaBank, 'recover/not-BetaBank');
    if (_amount == type(uint).max) {
      _amount = IERC20(_token).balanceOf(address(this));
    }
    IERC20(_token).safeTransfer(_to, _amount);
  }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "draft-IERC20Permit.sol";
import "ERC20.sol";
import "draft-EIP712.sol";
import "ECDSA.sol";
import "Counters.sol";

/**
 * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * _Available since v3.4._
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
    using Counters for Counters.Counter;

    mapping(address => Counters.Counter) private _nonces;

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private immutable _PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    /**
     * @dev Initializes the {EIP712} domain separator using the `name` parameter, and setting `version` to `"1"`.
     *
     * It's a good idea to use the same `name` that is defined as the ERC20 token name.
     */
    constructor(string memory name) EIP712(name, "1") {}

    /**
     * @dev See {IERC20Permit-permit}.
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual override {
        require(block.timestamp <= deadline, "ERC20Permit: expired deadline");

        bytes32 structHash = keccak256(abi.encode(_PERMIT_TYPEHASH, owner, spender, value, _useNonce(owner), deadline));

        bytes32 hash = _hashTypedDataV4(structHash);

        address signer = ECDSA.recover(hash, v, r, s);
        require(signer == owner, "ERC20Permit: invalid signature");

        _approve(owner, spender, value);
    }

    /**
     * @dev See {IERC20Permit-nonces}.
     */
    function nonces(address owner) public view virtual override returns (uint256) {
        return _nonces[owner].current();
    }

    /**
     * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view override returns (bytes32) {
        return _domainSeparatorV4();
    }

    /**
     * @dev "Consume a nonce": return the current value and increment.
     *
     * _Available since v4.1._
     */
    function _useNonce(address owner) internal virtual returns (uint256 current) {
        Counters.Counter storage nonce = _nonces[owner];
        current = nonce.current();
        nonce.increment();
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "IERC20.sol";
import "IERC20Metadata.sol";
import "Context.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

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

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

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

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

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

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

        return true;
    }

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

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

        return true;
    }

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

        _beforeTokenTransfer(sender, recipient, amount);

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

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

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

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

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

        _afterTokenTransfer(address(0), account, amount);
    }

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

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

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

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

        _afterTokenTransfer(account, address(0), amount);
    }

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

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

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "IERC20.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "ECDSA.sol";

/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding specified in the EIP is very generic, and such a generic implementation in Solidity is not feasible,
 * thus this contract does not implement the encoding itself. Protocols need to implement the type-specific encoding
 * they need in their contracts using a combination of `abi.encode` and `keccak256`.
 *
 * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding
 * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA
 * ({_hashTypedDataV4}).
 *
 * The implementation of the domain separator was designed to be as efficient as possible while still properly updating
 * the chain id to protect against replay attacks on an eventual fork of the chain.
 *
 * NOTE: This contract implements the version of the encoding known as "v4", as implemented by the JSON RPC method
 * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].
 *
 * _Available since v3.4._
 */
abstract contract EIP712 {
    /* solhint-disable var-name-mixedcase */
    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
    // invalidate the cached domain separator if the chain id changes.
    bytes32 private immutable _CACHED_DOMAIN_SEPARATOR;
    uint256 private immutable _CACHED_CHAIN_ID;

    bytes32 private immutable _HASHED_NAME;
    bytes32 private immutable _HASHED_VERSION;
    bytes32 private immutable _TYPE_HASH;

    /* solhint-enable var-name-mixedcase */

    /**
     * @dev Initializes the domain separator and parameter caches.
     *
     * The meaning of `name` and `version` is specified in
     * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:
     *
     * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.
     * - `version`: the current major version of the signing domain.
     *
     * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart
     * contract upgrade].
     */
    constructor(string memory name, string memory version) {
        bytes32 hashedName = keccak256(bytes(name));
        bytes32 hashedVersion = keccak256(bytes(version));
        bytes32 typeHash = keccak256(
            "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
        );
        _HASHED_NAME = hashedName;
        _HASHED_VERSION = hashedVersion;
        _CACHED_CHAIN_ID = block.chainid;
        _CACHED_DOMAIN_SEPARATOR = _buildDomainSeparator(typeHash, hashedName, hashedVersion);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (block.chainid == _CACHED_CHAIN_ID) {
            return _CACHED_DOMAIN_SEPARATOR;
        } else {
            return _buildDomainSeparator(_TYPE_HASH, _HASHED_NAME, _HASHED_VERSION);
        }
    }

    function _buildDomainSeparator(
        bytes32 typeHash,
        bytes32 nameHash,
        bytes32 versionHash
    ) private view returns (bytes32) {
        return keccak256(abi.encode(typeHash, nameHash, versionHash, block.chainid, address(this)));
    }

    /**
     * @dev Given an already https://eips.ethereum.org/EIPS/eip-712#definition-of-hashstruct[hashed struct], this
     * function returns the hash of the fully encoded EIP712 message for this domain.
     *
     * This hash can be used together with {ECDSA-recover} to obtain the signer of a message. For example:
     *
     * ```solidity
     * bytes32 digest = _hashTypedDataV4(keccak256(abi.encode(
     *     keccak256("Mail(address to,string contents)"),
     *     mailTo,
     *     keccak256(bytes(mailContents))
     * )));
     * address signer = ECDSA.recover(digest, signature);
     * ```
     */
    function _hashTypedDataV4(bytes32 structHash) internal view virtual returns (bytes32) {
        return ECDSA.toTypedDataHash(_domainSeparatorV4(), structHash);
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        // Check the signature length
        // - case 65: r,s,v signature (standard)
        // - case 64: r,vs signature (cf https://eips.ethereum.org/EIPS/eip-2098) _Available since v4.1._
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return recover(hash, v, r, s);
        } else if (signature.length == 64) {
            bytes32 r;
            bytes32 vs;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            assembly {
                r := mload(add(signature, 0x20))
                vs := mload(add(signature, 0x40))
            }
            return recover(hash, r, vs);
        } else {
            revert("ECDSA: invalid signature length");
        }
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     *
     * _Available since v4.2._
     */
    function recover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address) {
        bytes32 s;
        uint8 v;
        assembly {
            s := and(vs, 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
            v := add(shr(255, vs), 27)
        }
        return recover(hash, v, r, s);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`, `r` and `s` signature fields separately.
     */
    function recover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (281): 0 < s < secp256k1n ÷ 2 + 1, and for v in (282): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        require(
            uint256(s) <= 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0,
            "ECDSA: invalid signature 's' value"
        );
        require(v == 27 || v == 28, "ECDSA: invalid signature 'v' value");

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        require(signer != address(0), "ECDSA: invalid signature");

        return signer;
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented, decremented or reset. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 */
library Counters {
    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

    function current(Counter storage counter) internal view returns (uint256) {
        return counter._value;
    }

    function increment(Counter storage counter) internal {
        unchecked {
            counter._value += 1;
        }
    }

    function decrement(Counter storage counter) internal {
        uint256 value = counter._value;
        require(value > 0, "Counter: decrement overflow");
        unchecked {
            counter._value = value - 1;
        }
    }

    function reset(Counter storage counter) internal {
        counter._value = 0;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "IERC20.sol";
import "Address.sol";

/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using Address for address;

    function safeTransfer(
        IERC20 token,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(
        IERC20 token,
        address from,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    /**
     * @dev Deprecated. This function has issues similar to the ones found in
     * {IERC20-approve}, and its usage is discouraged.
     *
     * Whenever possible, use {safeIncreaseAllowance} and
     * {safeDecreaseAllowance} instead.
     */
    function safeApprove(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        require(
            (value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        uint256 newAllowance = token.allowance(address(this), spender) + value;
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        unchecked {
            uint256 oldAllowance = token.allowance(address(this), spender);
            require(oldAllowance >= value, "SafeERC20: decreased allowance below zero");
            uint256 newAllowance = oldAllowance - value;
            _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
        }
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function _callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We use {Address.functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
        if (returndata.length > 0) {
            // Return data is optional
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCall(target, data, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        require(isContract(target), "Address: call to non-contract");

        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        require(isContract(target), "Address: static call to non-contract");

        (bool success, bytes memory returndata) = target.staticcall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(isContract(target), "Address: delegate call to non-contract");

        (bool success, bytes memory returndata) = target.delegatecall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    function _verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) private pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;

        _;

        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "Context.sol";

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        require(!paused(), "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        require(paused(), "Pausable: not paused");
        _;
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow, so we distribute.
        return (a / 2) + (b / 2) + (((a % 2) + (b % 2)) / 2);
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a / b + (a % b == 0 ? 0 : 1);
    }
}

// SPDX-License-Identifier: BUSL-1.1
pragma solidity 0.8.6;

interface IBetaBank {
  /// @dev Returns the address of BToken of the given underlying token, or 0 if not exists.
  function bTokens(address _underlying) external view returns (address);

  /// @dev Returns the address of the underlying of the given BToken, or 0 if not exists.
  function underlyings(address _bToken) external view returns (address);

  /// @dev Returns the address of the oracle contract.
  function oracle() external view returns (address);

  /// @dev Returns the address of the config contract.
  function config() external view returns (address);

  /// @dev Returns the interest rate model smart contract.
  function interestModel() external view returns (address);

  /// @dev Returns the position's collateral token and AmToken.
  function getPositionTokens(address _owner, uint _pid)
    external
    view
    returns (address _collateral, address _bToken);

  /// @dev Returns the debt of the given position. Can't be view as it needs to call accrue.
  function fetchPositionDebt(address _owner, uint _pid) external returns (uint);

  /// @dev Returns the LTV of the given position. Can't be view as it needs to call accrue.
  function fetchPositionLTV(address _owner, uint _pid) external returns (uint);

  /// @dev Opens a new position in the Beta smart contract.
  function open(
    address _owner,
    address _underlying,
    address _collateral
  ) external returns (uint pid);

  /// @dev Borrows tokens on the given position.
  function borrow(
    address _owner,
    uint _pid,
    uint _amount
  ) external;

  /// @dev Repays tokens on the given position.
  function repay(
    address _owner,
    uint _pid,
    uint _amount
  ) external;

  /// @dev Puts more collateral to the given position.
  function put(
    address _owner,
    uint _pid,
    uint _amount
  ) external;

  /// @dev Takes some collateral out of the position.
  function take(
    address _owner,
    uint _pid,
    uint _amount
  ) external;

  /// @dev Liquidates the given position.
  function liquidate(
    address _owner,
    uint _pid,
    uint _amount
  ) external;
}

// SPDX-License-Identifier: BUSL-1.1
pragma solidity 0.8.6;

interface IBetaConfig {
  /// @dev Returns the risk level for the given asset.
  function getRiskLevel(address token) external view returns (uint);

  /// @dev Returns the rate of interest collected to be distributed to the protocol reserve.
  function reserveRate() external view returns (uint);

  /// @dev Returns the beneficiary to receive a portion interest rate for the protocol.
  function reserveBeneficiary() external view returns (address);

  /// @dev Returns the ratio of which the given token consider for collateral value.
  function getCollFactor(address token) external view returns (uint);

  /// @dev Returns the max amount of collateral to accept globally.
  function getCollMaxAmount(address token) external view returns (uint);

  /// @dev Returns max ltv of collateral / debt to allow a new position.
  function getSafetyLTV(address token) external view returns (uint);

  /// @dev Returns max ltv of collateral / debt to liquidate a position of the given token.
  function getLiquidationLTV(address token) external view returns (uint);

  /// @dev Returns the bonus incentive reward factor for liquidators.
  function getKillBountyRate(address token) external view returns (uint);
}

// SPDX-License-Identifier: BUSL-1.1
pragma solidity 0.8.6;

interface IBetaInterestModel {
  /// @dev Returns the initial interest rate per year (times 1e18).
  function initialRate() external view returns (uint);

  /// @dev Returns the next interest rate for the market.
  /// @param prevRate The current interest rate.
  /// @param totalAvailable The current available liquidity.
  /// @param totalLoan The current outstanding loan.
  /// @param timePast The time past since last interest rate rebase in seconds.
  function getNextInterestRate(
    uint prevRate,
    uint totalAvailable,
    uint totalLoan,
    uint timePast
  ) external view returns (uint);
}

{
  "evmVersion": "istanbul",
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "libraries": {
    "BToken.sol": {}
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_betaBank","type":"address"},{"internalType":"address","name":"_underlying","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"interest","type":"uint256"}],"name":"Accrue","type":"event"},{"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":"caller","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"credit","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"caller","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"credit","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINIMUM_LIQUIDITY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"accrue","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"betaBank","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"borrow","outputs":[{"internalType":"uint256","name":"debtShare","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_credit","type":"uint256"}],"name":"burn","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_debtShare","type":"uint256"}],"name":"fetchDebtShareValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"interestRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastAccrueTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"uint256","name":"credit","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"recover","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"repay","outputs":[{"internalType":"uint256","name":"debtShare","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalDebtShare","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalLoan","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalLoanable","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[],"name":"underlying","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

6101806040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610120523480156200003757600080fd5b5060405162002f7938038062002f798339810160408190526200005a9162000461565b6040518060400160405280600781526020016621102a37b5b2b760c91b81525080604051806040016040528060018152602001603160f81b8152506040518060400160405280600781526020016621102a37b5b2b760c91b81525060405180604001604052806006815260200165312a27a5a2a760d11b8152508160039080519060200190620000ec92919062000379565b5080516200010290600490602084019062000379565b5050825160209384012082519284019290922060c083815260e08290524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818a0181905281830198909852606081019590955260808086019390935230858301528051808603909201825293909201909252805194019390932090925261010052505060016006556001600160a01b038216620001fa5760405162461bcd60e51b815260206004820152602160248201527f636f6e7374727563746f722f6265746162616e6b2d7a65726f2d6164647265736044820152607360f81b60648201526084015b60405180910390fd5b6001600160a01b0381166200025e5760405162461bcd60e51b815260206004820152602360248201527f636f6e7374727563746f722f756e6465726c79696e672d7a65726f2d6164647260448201526265737360e81b6064820152608401620001f1565b6001600160601b0319606083811b82166101405282901b16610160526040805163560b2ebd60e11b815290516001600160a01b0384169163ac165d7a916004808301926020929190829003018186803b158015620002bb57600080fd5b505afa158015620002d0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002f691906200043c565b6001600160a01b0316639e51051f6040518163ffffffff1660e01b815260040160206040518083038186803b1580156200032f57600080fd5b505afa15801562000344573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200036a919062000499565b600755505042600855620004f0565b8280546200038790620004b3565b90600052602060002090601f016020900481019282620003ab5760008555620003f6565b82601f10620003c657805160ff1916838001178555620003f6565b82800160010185558215620003f6579182015b82811115620003f6578251825591602001919060010190620003d9565b506200040492915062000408565b5090565b5b8082111562000404576000815560010162000409565b80516001600160a01b03811681146200043757600080fd5b919050565b6000602082840312156200044f57600080fd5b6200045a826200041f565b9392505050565b600080604083850312156200047557600080fd5b62000480836200041f565b915062000490602084016200041f565b90509250929050565b600060208284031215620004ac57600080fd5b5051919050565b600181811c90821680620004c857607f821691505b60208210811415620004ea57634e487b7160e01b600052602260045260246000fd5b50919050565b60805160a05160c05160e05161010051610120516101405160601c6101605160601c6129a6620005d360003960008181610326015281816104420152818161074f015281816107d80152818161081801528181610a6a01528181610bd001528181610c5901528181610c9901528181610f3f0152818161102d01526111eb0152600081816102cb01528181610588015281816106c301528181610ec70152818161149101528181611585015261160a0152600061135e01526000611d7f01526000611dce01526000611da901526000611d2d01526000611d5601526129a66000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c8063684b51d4116101045780639ffe7973116100a2578063d505accf11610071578063d505accf146103e1578063d8a0ac26146103f4578063dd62ed3e146103fd578063f8ba4cff1461043657600080fd5b80639ffe7973146103a8578063a457c2d7146103b1578063a9059cbb146103c4578063ba9a7a56146103d757600080fd5b80637c3a00fd116100de5780637c3a00fd146103715780637ecebe001461037a57806395d89b411461038d5780639dc29fac1461039557600080fd5b8063684b51d4146103185780636f307dc31461032157806370a082311461034857600080fd5b80633644e51511610171578063453b1a8b1161014b578063453b1a8b146102aa5780634b8a3529146102b3578063550ba367146102c65780635dd925851461030557600080fd5b80633644e5151461027c578063395093511461028457806340c10f191461029757600080fd5b80631ec82cb8116101ad5780631ec82cb81461022757806322867d781461023c57806323b872dd1461024f578063313ce5671461026257600080fd5b806306fdde03146101d4578063095ea7b3146101f257806318160ddd14610215575b600080fd5b6101dc61043e565b6040516101e991906127c6565b60405180910390f35b610205610200366004612618565b610536565b60405190151581526020016101e9565b6002545b6040519081526020016101e9565b61023a610235366004612566565b61054c565b005b61021961024a366004612618565b61068e565b61020561025d366004612566565b6109ba565b61026a610a66565b60405160ff90911681526020016101e9565b610219610b31565b610205610292366004612618565b610b40565b6102196102a5366004612618565b610b7c565b610219600a5481565b6102196102c1366004612618565b610e92565b6102ed7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016101e9565b610219610313366004612708565b610fd5565b610219600b5481565b6102ed7f000000000000000000000000000000000000000000000000000000000000000081565b6102196103563660046124f3565b6001600160a01b031660009081526020819052604090205490565b61021960075481565b6102196103883660046124f3565b61100b565b6101dc611029565b6102196103a3366004612618565b611106565b61021960085481565b6102056103bf366004612618565b611264565b6102056103d2366004612618565b6112fd565b610219620f424081565b61023a6103ef3660046125a7565b61130a565b61021960095481565b61021961040b36600461252d565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b61023a61146e565b60607f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166306fdde036040518163ffffffff1660e01b815260040160006040518083038186803b15801561049957600080fd5b505afa9250505080156104ce57506040513d6000823e601f3d908101601f191682016040526104cb9190810190612666565b60015b610510573d8080156104fc576040519150601f19603f3d011682016040523d82523d6000602084013e610501565b606091505b5061050a6118ff565b91505090565b80604051602001610521919061279c565b60405160208183030381529060405291505090565b6000610543338484611991565b50600192915050565b600260065414156105785760405162461bcd60e51b815260040161056f906127f9565b60405180910390fd5b6002600655336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105ec5760405162461bcd60e51b81526020600482015260146024820152737265636f7665722f6e6f742d4265746142616e6b60601b604482015260640161056f565b600019811415610670576040516370a0823160e01b81523060048201526001600160a01b038416906370a082319060240160206040518083038186803b15801561063557600080fd5b505afa158015610649573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061066d9190612721565b90505b6106846001600160a01b0384168383611ab5565b5050600160065550565b6000600260065414156106b35760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146107255760405162461bcd60e51b815260206004820152601260248201527172657061792f6e6f742d4265746142616e6b60701b604482015260640161056f565b61072d61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906370a082319060240160206040518083038186803b15801561079157600080fd5b505afa1580156107a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107c99190612721565b90506108006001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016863087611b1d565b6040516370a0823160e01b81523060048201526000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a082319060240160206040518083038186803b15801561086257600080fd5b505afa158015610876573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089a9190612721565b90506108a6828261287b565b92505050600a548111156108f45760405162461bcd60e51b81526020600482015260156024820152740e4cae0c2f25ec2dadeeadce85ae8dede5ad0d2ced605b1b604482015260640161056f565b600a54600b54610904908361285c565b61090e9190612848565b915080600960008282546109229190612830565b9250508190555080600a600082825461093b919061287b565b9250508190555081600b6000828254610954919061287b565b9091555050600b54620f424011156109ae5760405162461bcd60e51b815260206004820152601c60248201527f72657061792f746f6f2d6c6f772d73756d2d646562742d736861726500000000604482015260640161056f565b50600160065592915050565b60006109c7848484611b5b565b6001600160a01b038416600090815260016020908152604080832033845290915290205482811015610a4c5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b606482015260840161056f565b610a598533858403611991565b60019150505b9392505050565b60007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663313ce5676040518163ffffffff1660e01b815260040160206040518083038186803b158015610ac157600080fd5b505afa925050508015610af1575060408051601f3d908101601f19168201909252610aee9181019061273a565b60015b610b2c573d808015610b1f576040519150601f19603f3d011682016040523d82523d6000602084013e610b24565b606091505b50601261050a565b919050565b6000610b3b611d29565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610543918590610b77908690612830565b611991565b600060026006541415610ba15760405162461bcd60e51b815260040161056f906127f9565b6002600655610bae61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906370a082319060240160206040518083038186803b158015610c1257600080fd5b505afa158015610c26573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4a9190612721565b9050610c816001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016333087611b1d565b6040516370a0823160e01b81523060048201526000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a082319060240160206040518083038186803b158015610ce357600080fd5b505afa158015610cf7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1b9190612721565b9050610d27828261287b565b925050506000610d3660025490565b905080610daf57610d4a620f42408361287b565b92508260096000828254610d5e9190612830565b92505081905550620f4240600a6000828254610d7a9190612830565b92505081905550620f4240600b6000828254610d969190612830565b90915550610daa90506001620f4240611e1c565b610ded565b600a54600954610dbf9190612830565b610dc9828461285c565b610dd39190612848565b92508160096000828254610de79190612830565b90915550505b60008311610e355760405162461bcd60e51b81526020600482015260156024820152741b5a5b9d0bdb9bcb58dc99591a5d0b5b5a5b9d1959605a1b604482015260640161056f565b610e3f8584611e1c565b60408051858152602081018590526001600160a01b0387169133917f2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee910160405180910390a35050600160065592915050565b600060026006541415610eb75760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610f2a5760405162461bcd60e51b8152602060048201526013602482015272626f72726f772f6e6f742d4265746142616e6b60681b604482015260640161056f565b610f3261146e565b610f666001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000168484611ab5565b610f7f600b5483610f77919061285c565b600a54611efb565b90508160096000828254610f93919061287b565b9250508190555081600a6000828254610fac9190612830565b9250508190555080600b6000828254610fc59190612830565b9091555050600160065592915050565b6000610fdf61146e565b81610fec57506000919050565b611005600a5483610ffd919061285c565b600b54611efb565b92915050565b6001600160a01b038116600090815260056020526040812054611005565b60607f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561108457600080fd5b505afa9250505080156110b957506040513d6000823e601f3d908101601f191682016040526110b69190810190612666565b60015b6110f5573d8080156110e7576040519150601f19603f3d011682016040523d82523d6000602084013e6110ec565b606091505b5061050a611f2d565b806040516020016105219190612773565b60006002600654141561112b5760405162461bcd60e51b815260040161056f906127f9565b600260065561113861146e565b600061114360025490565b905080600a546009546111569190612830565b611160908561285c565b61116a9190612848565b9150600082116111bc5760405162461bcd60e51b815260206004820152601760248201527f6275726e2f6e6f2d616d6f756e742d72657475726e6564000000000000000000604482015260640161056f565b81600960008282546111ce919061287b565b909155506111de90503384611f3c565b6112126001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000168584611ab5565b60408051838152602081018590526001600160a01b0386169133917f5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2910160405180910390a350600160065592915050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156112e65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161056f565b6112f33385858403611991565b5060019392505050565b6000610543338484611b5b565b8342111561135a5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161056f565b60007f00000000000000000000000000000000000000000000000000000000000000008888886113898c61208a565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e00160405160208183030381529060405280519060200120905060006113e4826120b2565b905060006113f482878787612100565b9050896001600160a01b0316816001600160a01b0316146114575760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161056f565b6114628a8a8a611991565b50505050505050505050565b60006008544261147e919061287b565b9050806114885750565b426008819055507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316635c975abb6040518163ffffffff1660e01b815260040160206040518083038186803b1580156114e857600080fd5b505afa1580156114fc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115209190612644565b1561155f5760405162461bcd60e51b815260206004820152600f60248201526e10995d1850985b9acbdc185d5cd959608a1b604482015260640161056f565b600a54600954600754604080516379502c5560e01b815290516000916001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016916379502c5591600480820192602092909190829003018186803b1580156115cc57600080fd5b505afa1580156115e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116049190612510565b905060007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663ac165d7a6040518163ffffffff1660e01b815260040160206040518083038186803b15801561166157600080fd5b505afa158015611675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116999190612510565b90506000670de0b6b3a76400006301e13380886116b6898861285c565b6116c0919061285c565b6116ca9190612848565b6116d49190612848565b90506116e08187612830565b600a81905560405163fae7f00d60e01b8152600481018690526024810187905260448101829052606481018990529096506001600160a01b0383169063fae7f00d9060840160206040518083038186803b15801561173d57600080fd5b505afa158015611751573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117759190612721565b60075580156118f6576000836001600160a01b03166358d7bf806040518163ffffffff1660e01b815260040160206040518083038186803b1580156117b957600080fd5b505afa1580156117cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117f19190612721565b905080156118c1576000670de0b6b3a764000061180e838561285c565b6118189190612848565b90506118bf856001600160a01b031663914870eb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561185657600080fd5b505afa15801561186a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061188e9190612510565b826118998a8c612830565b6118a3919061287b565b6002546118b0908561285c565b6118ba9190612848565b611e1c565b505b6040518281527f184f65042d0acee3fe9a2216428397968211b66a6f53244a44eb13ae62bc72359060200160405180910390a1505b50505050505050565b60606003805461190e906128be565b80601f016020809104026020016040519081016040528092919081815260200182805461193a906128be565b80156119875780601f1061195c57610100808354040283529160200191611987565b820191906000526020600020905b81548152906001019060200180831161196a57829003601f168201915b5050505050905090565b6001600160a01b0383166119f35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161056f565b6001600160a01b038216611a545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161056f565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6040516001600160a01b038316602482015260448101829052611b1890849063a9059cbb60e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b0319909316929092179091526122a9565b505050565b6040516001600160a01b0380851660248301528316604482015260648101829052611b559085906323b872dd60e01b90608401611ae1565b50505050565b6001600160a01b038316611bbf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161056f565b6001600160a01b038216611c215760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161056f565b6001600160a01b03831660009081526020819052604090205481811015611c995760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161056f565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611cd0908490612830565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d1c91815260200190565b60405180910390a3611b55565b60007f0000000000000000000000000000000000000000000000000000000000000000461415611d7857507f000000000000000000000000000000000000000000000000000000000000000090565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b6001600160a01b038216611e725760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161056f565b8060026000828254611e849190612830565b90915550506001600160a01b03821660009081526020819052604081208054839290611eb1908490612830565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6000611f0782846128f3565b15611f13576001611f16565b60005b60ff16611f238385612848565b610a5f9190612830565b60606004805461190e906128be565b6001600160a01b038216611f9c5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161056f565b6001600160a01b038216600090815260208190526040902054818110156120105760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161056f565b6001600160a01b038316600090815260208190526040812083830390556002805484929061203f90849061287b565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3505050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b60006110056120bf611d29565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561217d5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161056f565b8360ff16601b148061219257508360ff16601c145b6121e95760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b606482015260840161056f565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa15801561223d573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166122a05760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161056f565b95945050505050565b60006122fe826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b031661237b9092919063ffffffff16565b805190915015611b18578080602001905181019061231c9190612644565b611b185760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b606482015260840161056f565b606061238a8484600085612392565b949350505050565b6060824710156123f35760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b606482015260840161056f565b843b6124415760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015260640161056f565b600080866001600160a01b0316858760405161245d9190612757565b60006040518083038185875af1925050503d806000811461249a576040519150601f19603f3d011682016040523d82523d6000602084013e61249f565b606091505b50915091506124af8282866124ba565b979650505050505050565b606083156124c9575081610a5f565b8251156124d95782518084602001fd5b8160405162461bcd60e51b815260040161056f91906127c6565b60006020828403121561250557600080fd5b8135610a5f81612949565b60006020828403121561252257600080fd5b8151610a5f81612949565b6000806040838503121561254057600080fd5b823561254b81612949565b9150602083013561255b81612949565b809150509250929050565b60008060006060848603121561257b57600080fd5b833561258681612949565b9250602084013561259681612949565b929592945050506040919091013590565b600080600080600080600060e0888a0312156125c257600080fd5b87356125cd81612949565b965060208801356125dd81612949565b9550604088013594506060880135935060808801356125fb81612961565b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561262b57600080fd5b823561263681612949565b946020939093013593505050565b60006020828403121561265657600080fd5b81518015158114610a5f57600080fd5b60006020828403121561267857600080fd5b815167ffffffffffffffff8082111561269057600080fd5b818401915084601f8301126126a457600080fd5b8151818111156126b6576126b6612933565b604051601f8201601f19908116603f011681019083821181831017156126de576126de612933565b816040528281528760208487010111156126f757600080fd5b6124af836020830160208801612892565b60006020828403121561271a57600080fd5b5035919050565b60006020828403121561273357600080fd5b5051919050565b60006020828403121561274c57600080fd5b8151610a5f81612961565b60008251612769818460208701612892565b9190910192915050565b603160f91b81526000825161278f816001850160208701612892565b9190910160010192915050565b61021160f51b8152600082516127b9816002850160208701612892565b9190910160020192915050565b60208152600082518060208401526127e5816040850160208701612892565b601f01601f19169190910160400192915050565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b6000821982111561284357612843612907565b500190565b6000826128575761285761291d565b500490565b600081600019048311821515161561287657612876612907565b500290565b60008282101561288d5761288d612907565b500390565b60005b838110156128ad578181015183820152602001612895565b83811115611b555750506000910152565b600181811c908216806128d257607f821691505b602082108114156120ac57634e487b7160e01b600052602260045260246000fd5b6000826129025761290261291d565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461295e57600080fd5b50565b60ff8116811461295e57600080fdfea264697066735822122055383071d6786d3f31f38890e7dc3c03e9e58d3333aad272946e13e25f93318f64736f6c63430008060033000000000000000000000000972a785b390d05123497169a04c72de652493be1000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b48

0x608060405234801561001057600080fd5b50600436106101cf5760003560e01c8063684b51d4116101045780639ffe7973116100a2578063d505accf11610071578063d505accf146103e1578063d8a0ac26146103f4578063dd62ed3e146103fd578063f8ba4cff1461043657600080fd5b80639ffe7973146103a8578063a457c2d7146103b1578063a9059cbb146103c4578063ba9a7a56146103d757600080fd5b80637c3a00fd116100de5780637c3a00fd146103715780637ecebe001461037a57806395d89b411461038d5780639dc29fac1461039557600080fd5b8063684b51d4146103185780636f307dc31461032157806370a082311461034857600080fd5b80633644e51511610171578063453b1a8b1161014b578063453b1a8b146102aa5780634b8a3529146102b3578063550ba367146102c65780635dd925851461030557600080fd5b80633644e5151461027c578063395093511461028457806340c10f191461029757600080fd5b80631ec82cb8116101ad5780631ec82cb81461022757806322867d781461023c57806323b872dd1461024f578063313ce5671461026257600080fd5b806306fdde03146101d4578063095ea7b3146101f257806318160ddd14610215575b600080fd5b6101dc61043e565b6040516101e991906127c6565b60405180910390f35b610205610200366004612618565b610536565b60405190151581526020016101e9565b6002545b6040519081526020016101e9565b61023a610235366004612566565b61054c565b005b61021961024a366004612618565b61068e565b61020561025d366004612566565b6109ba565b61026a610a66565b60405160ff90911681526020016101e9565b610219610b31565b610205610292366004612618565b610b40565b6102196102a5366004612618565b610b7c565b610219600a5481565b6102196102c1366004612618565b610e92565b6102ed7f000000000000000000000000972a785b390d05123497169a04c72de652493be181565b6040516001600160a01b0390911681526020016101e9565b610219610313366004612708565b610fd5565b610219600b5481565b6102ed7f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b4881565b6102196103563660046124f3565b6001600160a01b031660009081526020819052604090205490565b61021960075481565b6102196103883660046124f3565b61100b565b6101dc611029565b6102196103a3366004612618565b611106565b61021960085481565b6102056103bf366004612618565b611264565b6102056103d2366004612618565b6112fd565b610219620f424081565b61023a6103ef3660046125a7565b61130a565b61021960095481565b61021961040b36600461252d565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b61023a61146e565b60607f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b486001600160a01b03166306fdde036040518163ffffffff1660e01b815260040160006040518083038186803b15801561049957600080fd5b505afa9250505080156104ce57506040513d6000823e601f3d908101601f191682016040526104cb9190810190612666565b60015b610510573d8080156104fc576040519150601f19603f3d011682016040523d82523d6000602084013e610501565b606091505b5061050a6118ff565b91505090565b80604051602001610521919061279c565b60405160208183030381529060405291505090565b6000610543338484611991565b50600192915050565b600260065414156105785760405162461bcd60e51b815260040161056f906127f9565b60405180910390fd5b6002600655336001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be116146105ec5760405162461bcd60e51b81526020600482015260146024820152737265636f7665722f6e6f742d4265746142616e6b60601b604482015260640161056f565b600019811415610670576040516370a0823160e01b81523060048201526001600160a01b038416906370a082319060240160206040518083038186803b15801561063557600080fd5b505afa158015610649573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061066d9190612721565b90505b6106846001600160a01b0384168383611ab5565b5050600160065550565b6000600260065414156106b35760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be116146107255760405162461bcd60e51b815260206004820152601260248201527172657061792f6e6f742d4265746142616e6b60701b604482015260640161056f565b61072d61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b4816906370a082319060240160206040518083038186803b15801561079157600080fd5b505afa1580156107a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107c99190612721565b90506108006001600160a01b037f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b4816863087611b1d565b6040516370a0823160e01b81523060048201526000907f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b486001600160a01b0316906370a082319060240160206040518083038186803b15801561086257600080fd5b505afa158015610876573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089a9190612721565b90506108a6828261287b565b92505050600a548111156108f45760405162461bcd60e51b81526020600482015260156024820152740e4cae0c2f25ec2dadeeadce85ae8dede5ad0d2ced605b1b604482015260640161056f565b600a54600b54610904908361285c565b61090e9190612848565b915080600960008282546109229190612830565b9250508190555080600a600082825461093b919061287b565b9250508190555081600b6000828254610954919061287b565b9091555050600b54620f424011156109ae5760405162461bcd60e51b815260206004820152601c60248201527f72657061792f746f6f2d6c6f772d73756d2d646562742d736861726500000000604482015260640161056f565b50600160065592915050565b60006109c7848484611b5b565b6001600160a01b038416600090815260016020908152604080832033845290915290205482811015610a4c5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b606482015260840161056f565b610a598533858403611991565b60019150505b9392505050565b60007f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b486001600160a01b031663313ce5676040518163ffffffff1660e01b815260040160206040518083038186803b158015610ac157600080fd5b505afa925050508015610af1575060408051601f3d908101601f19168201909252610aee9181019061273a565b60015b610b2c573d808015610b1f576040519150601f19603f3d011682016040523d82523d6000602084013e610b24565b606091505b50601261050a565b919050565b6000610b3b611d29565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610543918590610b77908690612830565b611991565b600060026006541415610ba15760405162461bcd60e51b815260040161056f906127f9565b6002600655610bae61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b4816906370a082319060240160206040518083038186803b158015610c1257600080fd5b505afa158015610c26573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4a9190612721565b9050610c816001600160a01b037f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b4816333087611b1d565b6040516370a0823160e01b81523060048201526000907f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b486001600160a01b0316906370a082319060240160206040518083038186803b158015610ce357600080fd5b505afa158015610cf7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1b9190612721565b9050610d27828261287b565b925050506000610d3660025490565b905080610daf57610d4a620f42408361287b565b92508260096000828254610d5e9190612830565b92505081905550620f4240600a6000828254610d7a9190612830565b92505081905550620f4240600b6000828254610d969190612830565b90915550610daa90506001620f4240611e1c565b610ded565b600a54600954610dbf9190612830565b610dc9828461285c565b610dd39190612848565b92508160096000828254610de79190612830565b90915550505b60008311610e355760405162461bcd60e51b81526020600482015260156024820152741b5a5b9d0bdb9bcb58dc99591a5d0b5b5a5b9d1959605a1b604482015260640161056f565b610e3f8584611e1c565b60408051858152602081018590526001600160a01b0387169133917f2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee910160405180910390a35050600160065592915050565b600060026006541415610eb75760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be11614610f2a5760405162461bcd60e51b8152602060048201526013602482015272626f72726f772f6e6f742d4265746142616e6b60681b604482015260640161056f565b610f3261146e565b610f666001600160a01b037f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b48168484611ab5565b610f7f600b5483610f77919061285c565b600a54611efb565b90508160096000828254610f93919061287b565b9250508190555081600a6000828254610fac9190612830565b9250508190555080600b6000828254610fc59190612830565b9091555050600160065592915050565b6000610fdf61146e565b81610fec57506000919050565b611005600a5483610ffd919061285c565b600b54611efb565b92915050565b6001600160a01b038116600090815260056020526040812054611005565b60607f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b486001600160a01b03166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561108457600080fd5b505afa9250505080156110b957506040513d6000823e601f3d908101601f191682016040526110b69190810190612666565b60015b6110f5573d8080156110e7576040519150601f19603f3d011682016040523d82523d6000602084013e6110ec565b606091505b5061050a611f2d565b806040516020016105219190612773565b60006002600654141561112b5760405162461bcd60e51b815260040161056f906127f9565b600260065561113861146e565b600061114360025490565b905080600a546009546111569190612830565b611160908561285c565b61116a9190612848565b9150600082116111bc5760405162461bcd60e51b815260206004820152601760248201527f6275726e2f6e6f2d616d6f756e742d72657475726e6564000000000000000000604482015260640161056f565b81600960008282546111ce919061287b565b909155506111de90503384611f3c565b6112126001600160a01b037f000000000000000000000000632806bf5c8f062932dd121244c9fbe7becb8b48168584611ab5565b60408051838152602081018590526001600160a01b0386169133917f5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2910160405180910390a350600160065592915050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156112e65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161056f565b6112f33385858403611991565b5060019392505050565b6000610543338484611b5b565b8342111561135a5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161056f565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886113898c61208a565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e00160405160208183030381529060405280519060200120905060006113e4826120b2565b905060006113f482878787612100565b9050896001600160a01b0316816001600160a01b0316146114575760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161056f565b6114628a8a8a611991565b50505050505050505050565b60006008544261147e919061287b565b9050806114885750565b426008819055507f000000000000000000000000972a785b390d05123497169a04c72de652493be16001600160a01b0316635c975abb6040518163ffffffff1660e01b815260040160206040518083038186803b1580156114e857600080fd5b505afa1580156114fc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115209190612644565b1561155f5760405162461bcd60e51b815260206004820152600f60248201526e10995d1850985b9acbdc185d5cd959608a1b604482015260640161056f565b600a54600954600754604080516379502c5560e01b815290516000916001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be116916379502c5591600480820192602092909190829003018186803b1580156115cc57600080fd5b505afa1580156115e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116049190612510565b905060007f000000000000000000000000972a785b390d05123497169a04c72de652493be16001600160a01b031663ac165d7a6040518163ffffffff1660e01b815260040160206040518083038186803b15801561166157600080fd5b505afa158015611675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116999190612510565b90506000670de0b6b3a76400006301e13380886116b6898861285c565b6116c0919061285c565b6116ca9190612848565b6116d49190612848565b90506116e08187612830565b600a81905560405163fae7f00d60e01b8152600481018690526024810187905260448101829052606481018990529096506001600160a01b0383169063fae7f00d9060840160206040518083038186803b15801561173d57600080fd5b505afa158015611751573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117759190612721565b60075580156118f6576000836001600160a01b03166358d7bf806040518163ffffffff1660e01b815260040160206040518083038186803b1580156117b957600080fd5b505afa1580156117cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117f19190612721565b905080156118c1576000670de0b6b3a764000061180e838561285c565b6118189190612848565b90506118bf856001600160a01b031663914870eb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561185657600080fd5b505afa15801561186a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061188e9190612510565b826118998a8c612830565b6118a3919061287b565b6002546118b0908561285c565b6118ba9190612848565b611e1c565b505b6040518281527f184f65042d0acee3fe9a2216428397968211b66a6f53244a44eb13ae62bc72359060200160405180910390a1505b50505050505050565b60606003805461190e906128be565b80601f016020809104026020016040519081016040528092919081815260200182805461193a906128be565b80156119875780601f1061195c57610100808354040283529160200191611987565b820191906000526020600020905b81548152906001019060200180831161196a57829003601f168201915b5050505050905090565b6001600160a01b0383166119f35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161056f565b6001600160a01b038216611a545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161056f565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6040516001600160a01b038316602482015260448101829052611b1890849063a9059cbb60e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b0319909316929092179091526122a9565b505050565b6040516001600160a01b0380851660248301528316604482015260648101829052611b559085906323b872dd60e01b90608401611ae1565b50505050565b6001600160a01b038316611bbf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161056f565b6001600160a01b038216611c215760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161056f565b6001600160a01b03831660009081526020819052604090205481811015611c995760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161056f565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611cd0908490612830565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d1c91815260200190565b60405180910390a3611b55565b60007f0000000000000000000000000000000000000000000000000000000000000001461415611d7857507f58a37c3d8c2d19a1db49fd8a667c0220cb1f779d3fea0ba8eee62f95ea3b379790565b50604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6020808301919091527ff298fc33cba3cfdbf2454e2f19b4a97c9207157f8eeee7439da2c9ce4b540bbb828401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b6001600160a01b038216611e725760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161056f565b8060026000828254611e849190612830565b90915550506001600160a01b03821660009081526020819052604081208054839290611eb1908490612830565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6000611f0782846128f3565b15611f13576001611f16565b60005b60ff16611f238385612848565b610a5f9190612830565b60606004805461190e906128be565b6001600160a01b038216611f9c5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161056f565b6001600160a01b038216600090815260208190526040902054818110156120105760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161056f565b6001600160a01b038316600090815260208190526040812083830390556002805484929061203f90849061287b565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3505050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b60006110056120bf611d29565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561217d5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161056f565b8360ff16601b148061219257508360ff16601c145b6121e95760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b606482015260840161056f565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa15801561223d573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166122a05760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161056f565b95945050505050565b60006122fe826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b031661237b9092919063ffffffff16565b805190915015611b18578080602001905181019061231c9190612644565b611b185760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b606482015260840161056f565b606061238a8484600085612392565b949350505050565b6060824710156123f35760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b606482015260840161056f565b843b6124415760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015260640161056f565b600080866001600160a01b0316858760405161245d9190612757565b60006040518083038185875af1925050503d806000811461249a576040519150601f19603f3d011682016040523d82523d6000602084013e61249f565b606091505b50915091506124af8282866124ba565b979650505050505050565b606083156124c9575081610a5f565b8251156124d95782518084602001fd5b8160405162461bcd60e51b815260040161056f91906127c6565b60006020828403121561250557600080fd5b8135610a5f81612949565b60006020828403121561252257600080fd5b8151610a5f81612949565b6000806040838503121561254057600080fd5b823561254b81612949565b9150602083013561255b81612949565b809150509250929050565b60008060006060848603121561257b57600080fd5b833561258681612949565b9250602084013561259681612949565b929592945050506040919091013590565b600080600080600080600060e0888a0312156125c257600080fd5b87356125cd81612949565b965060208801356125dd81612949565b9550604088013594506060880135935060808801356125fb81612961565b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561262b57600080fd5b823561263681612949565b946020939093013593505050565b60006020828403121561265657600080fd5b81518015158114610a5f57600080fd5b60006020828403121561267857600080fd5b815167ffffffffffffffff8082111561269057600080fd5b818401915084601f8301126126a457600080fd5b8151818111156126b6576126b6612933565b604051601f8201601f19908116603f011681019083821181831017156126de576126de612933565b816040528281528760208487010111156126f757600080fd5b6124af836020830160208801612892565b60006020828403121561271a57600080fd5b5035919050565b60006020828403121561273357600080fd5b5051919050565b60006020828403121561274c57600080fd5b8151610a5f81612961565b60008251612769818460208701612892565b9190910192915050565b603160f91b81526000825161278f816001850160208701612892565b9190910160010192915050565b61021160f51b8152600082516127b9816002850160208701612892565b9190910160020192915050565b60208152600082518060208401526127e5816040850160208701612892565b601f01601f19169190910160400192915050565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b6000821982111561284357612843612907565b500190565b6000826128575761285761291d565b500490565b600081600019048311821515161561287657612876612907565b500290565b60008282101561288d5761288d612907565b500390565b60005b838110156128ad578181015183820152602001612895565b83811115611b555750506000910152565b600181811c908216806128d257607f821691505b602082108114156120ac57634e487b7160e01b600052602260045260246000fd5b6000826129025761290261291d565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461295e57600080fd5b50565b60ff8116811461295e57600080fdfea264697066735822122055383071d6786d3f31f38890e7dc3c03e9e58d3333aad272946e13e25f93318f64736f6c63430008060033

274:8316:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1759:252;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4144:166:5;;;;;;:::i;:::-;;:::i;:::-;;;6854:14:18;;6847:22;6829:41;;6817:2;6802:18;4144:166:5;6784:92:18;3135:106:5;3222:12;;3135:106;;;7027:25:18;;;7015:2;7000:18;3135:106:5;6982:76:18;8277:311:1;;;;;;:::i;:::-;;:::i;:::-;;7222:741;;;;;;:::i;:::-;;:::i;4777:478:5:-;;;;;;:::i;:::-;;:::i;2372:216:1:-;;;:::i;:::-;;;20161:4:18;20149:17;;;20131:36;;20119:2;20104:18;2372:216:1;20086:87:18;2350:113:16;;;:::i;5650:212:5:-;;;;;;:::i;:::-;;:::i;4622:987:1:-;;;;;;:::i;:::-;;:::i;992:21::-;;;;;;6548:388;;;;;;:::i;:::-;;:::i;677:33::-;;;;;;;;-1:-1:-1;;;;;5986:32:18;;;5968:51;;5956:2;5941:18;677:33:1;5923:102:18;4166:215:1;;;;;;:::i;:::-;;:::i;1041:26::-;;;;;;734:35;;;;;3299:125:5;;;;;;:::i;:::-;-1:-1:-1;;;;;3399:18:5;3373:7;3399:18;;;;;;;;;;;;3299:125;798:24:1;;;;;;2100:126:16;;;;;;:::i;:::-;;:::i;2059:257:1:-;;;:::i;5889:412::-;;;;;;:::i;:::-;;:::i;851:26::-;;;;;;6349:405:5;;;;;;:::i;:::-;;:::i;3627:172::-;;;;;;:::i;:::-;;:::i;557:46:1:-;;598:5;557:46;;1413:626:16;;;;;;:::i;:::-;;:::i;916:25:1:-;;;;;;3857:149:5;;;;;;:::i;:::-;-1:-1:-1;;;;;3972:18:5;;;3946:7;3972:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3857:149;2684:1390:1;;;:::i;1759:252::-;1805:13;1845:10;-1:-1:-1;;;;;1830:31:1;;:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;1830:33:1;;;;;;;;;;;;:::i;:::-;;;1826:181;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1988:12;:10;:12::i;:::-;1981:19;;;1759:252;:::o;1826:181::-;1938:4;1915:28;;;;;;;;:::i;:::-;;;;;;;;;;;;;1901:43;;;1759:252;:::o;4144:166:5:-;4227:4;4243:39;665:10:2;4266:7:5;4275:6;4243:8;:39::i;:::-;-1:-1:-1;4299:4:5;4144:166;;;;:::o;8277:311:1:-;1680:1:13;2259:7;;:19;;2251:63;;;;-1:-1:-1;;;2251:63:13;;;;;;;:::i;:::-;;;;;;;;;1680:1;2389:7;:18;8389:10:1::1;-1:-1:-1::0;;;;;8403:8:1::1;8389:22;;8381:55;;;::::0;-1:-1:-1;;;8381:55:1;;13329:2:18;8381:55:1::1;::::0;::::1;13311:21:18::0;13368:2;13348:18;;;13341:30;-1:-1:-1;;;13387:18:18;;;13380:50;13447:18;;8381:55:1::1;13301:170:18::0;8381:55:1::1;-1:-1:-1::0;;8446:7:1::1;:25;8442:95;;;8491:39;::::0;-1:-1:-1;;;8491:39:1;;8524:4:::1;8491:39;::::0;::::1;5968:51:18::0;-1:-1:-1;;;;;8491:24:1;::::1;::::0;::::1;::::0;5941:18:18;;8491:39:1::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8481:49;;8442:95;8542:41;-1:-1:-1::0;;;;;8542:27:1;::::1;8570:3:::0;8575:7;8542:27:::1;:41::i;:::-;-1:-1:-1::0;;1637:1:13;2562:7;:22;-1:-1:-1;8277:311:1:o;7222:741::-;7297:14;1680:1:13;2259:7;;:19;;2251:63;;;;-1:-1:-1;;;2251:63:13;;;;;;;:::i;:::-;1680:1;2389:7;:18;7327:10:1::1;-1:-1:-1::0;;;;;7341:8:1::1;7327:22;;7319:53;;;::::0;-1:-1:-1;;;7319:53:1;;11407:2:18;7319:53:1::1;::::0;::::1;11389:21:18::0;11446:2;11426:18;;;11419:30;-1:-1:-1;;;11465:18:18;;;11458:48;11523:18;;7319:53:1::1;11379:168:18::0;7319:53:1::1;7378:8;:6;:8::i;:::-;7434:43;::::0;-1:-1:-1;;;7434:43:1;;7471:4:::1;7434:43;::::0;::::1;5968:51:18::0;7392:11:1::1;::::0;;;-1:-1:-1;;;;;7441:10:1::1;7434:28;::::0;::::1;::::0;5941:18:18;;7434:43:1::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7417:60:::0;-1:-1:-1;7485:66:1::1;-1:-1:-1::0;;;;;7492:10:1::1;7485:35;7521:5:::0;7536:4:::1;7543:7:::0;7485:35:::1;:66::i;:::-;7575:43;::::0;-1:-1:-1;;;7575:43:1;;7612:4:::1;7575:43;::::0;::::1;5968:51:18::0;7559:13:1::1;::::0;7582:10:::1;-1:-1:-1::0;;;;;7575:28:1::1;::::0;::::1;::::0;5941:18:18;;7575:43:1::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7559:59:::0;-1:-1:-1;7635:20:1::1;7646:9:::0;7559:59;7635:20:::1;:::i;:::-;7626:29;;7409:253;;7685:9;;7675:6;:19;;7667:53;;;::::0;-1:-1:-1;;;7667:53:1;;10654:2:18;7667:53:1::1;::::0;::::1;10636:21:18::0;10693:2;10673:18;;;10666:30;-1:-1:-1;;;10712:18:18;;;10705:51;10773:18;;7667:53:1::1;10626:171:18::0;7667:53:1::1;7766:9;::::0;7748:14:::1;::::0;7739:23:::1;::::0;:6;:23:::1;:::i;:::-;7738:37;;;;:::i;:::-;7726:49;;7812:6;7795:13;;:23;;;;;;;:::i;:::-;;;;;;;;7837:6;7824:9;;:19;;;;;;;:::i;:::-;;;;;;;;7867:9;7849:14;;:27;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;7890:14:1::1;::::0;598:5:::1;-1:-1:-1::0;7890:35:1::1;7882:76;;;::::0;-1:-1:-1;;;7882:76:1;;15545:2:18;7882:76:1::1;::::0;::::1;15527:21:18::0;15584:2;15564:18;;;15557:30;15623;15603:18;;;15596:58;15671:18;;7882:76:1::1;15517:178:18::0;7882:76:1::1;-1:-1:-1::0;1637:1:13;2562:7;:22;7222:741:1;;-1:-1:-1;;7222:741:1:o;4777:478:5:-;4913:4;4929:36;4939:6;4947:9;4958:6;4929:9;:36::i;:::-;-1:-1:-1;;;;;5003:19:5;;4976:24;5003:19;;;:11;:19;;;;;;;;665:10:2;5003:33:5;;;;;;;;5054:26;;;;5046:79;;;;-1:-1:-1;;;5046:79:5;;15136:2:18;5046:79:5;;;15118:21:18;15175:2;15155:18;;;15148:30;15214:34;15194:18;;;15187:62;-1:-1:-1;;;15265:18:18;;;15258:38;15313:19;;5046:79:5;15108:230:18;5046:79:5;5159:57;5168:6;665:10:2;5209:6:5;5190:16;:25;5159:8;:57::i;:::-;5244:4;5237:11;;;4777:478;;;;;;:::o;2372:216:1:-;2422:5;2454:10;-1:-1:-1;;;;;2439:35:1;;:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2439:37:1;;;;;;;;-1:-1:-1;;2439:37:1;;;;;;;;;;;;:::i;:::-;;;2435:149;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3066:2:5;2561:16:1;2984:91:5;2435:149:1;2513:4;2372:216;-1:-1:-1;2372:216:1:o;2350:113:16:-;2410:7;2436:20;:18;:20::i;:::-;2429:27;;2350:113;:::o;5650:212:5:-;665:10:2;5738:4:5;5786:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;5786:34:5;;;;;;;;;;5738:4;;5754:80;;5777:7;;5786:47;;5823:10;;5786:47;:::i;:::-;5754:8;:80::i;4622:987:1:-;4694:11;1680:1:13;2259:7;;:19;;2251:63;;;;-1:-1:-1;;;2251:63:13;;;;;;;:::i;:::-;1680:1;2389:7;:18;4713:8:1::1;:6;:8::i;:::-;4769:43;::::0;-1:-1:-1;;;4769:43:1;;4806:4:::1;4769:43;::::0;::::1;5968:51:18::0;4727:11:1::1;::::0;;;-1:-1:-1;;;;;4776:10:1::1;4769:28;::::0;::::1;::::0;5941:18:18;;4769:43:1::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4752:60:::0;-1:-1:-1;4820:71:1::1;-1:-1:-1::0;;;;;4827:10:1::1;4820:35;4856:10;4876:4;4883:7:::0;4820:35:::1;:71::i;:::-;4915:43;::::0;-1:-1:-1;;;4915:43:1;;4952:4:::1;4915:43;::::0;::::1;5968:51:18::0;4899:13:1::1;::::0;4922:10:::1;-1:-1:-1::0;;;;;4915:28:1::1;::::0;::::1;::::0;5941:18:18;;4915:43:1::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4899:59:::0;-1:-1:-1;4975:20:1::1;4986:9:::0;4899:59;4975:20:::1;:::i;:::-;4966:29;;4744:258;;5007:11;5021:13;3222:12:5::0;;;3135:106;5021:13:1::1;5007:27:::0;-1:-1:-1;5044:11:1;5040:442:::1;;5074:26;598:5;5074:6:::0;:26:::1;:::i;:::-;5065:35;;5186:6;5169:13;;:23;;;;;;;:::i;:::-;;;;;;;;598:5;5200:9;;:30;;;;;;;:::i;:::-;;;;;;;;598:5;5238:14;;:35;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;5281:36:1::1;::::0;-1:-1:-1;5295:1:1::1;598:5;5281;:36::i;:::-;5040:442;;;5434:9;;5418:13;;:25;;;;:::i;:::-;5398:15;5407:6:::0;5398;:15:::1;:::i;:::-;5397:47;;;;:::i;:::-;5388:56;;5469:6;5452:13;;:23;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;5040:442:1::1;5504:1;5495:6;:10;5487:44;;;::::0;-1:-1:-1;;;5487:44:1;;16710:2:18;5487:44:1::1;::::0;::::1;16692:21:18::0;16749:2;16729:18;;;16722:30;-1:-1:-1;;;16768:18:18;;;16761:51;16829:18;;5487:44:1::1;16682:171:18::0;5487:44:1::1;5537:18;5543:3;5548:6;5537:5;:18::i;:::-;5566:38;::::0;;19514:25:18;;;19570:2;19555:18;;19548:34;;;-1:-1:-1;;;;;5566:38:1;::::1;::::0;5571:10:::1;::::0;5566:38:::1;::::0;19487:18:18;5566:38:1::1;;;;;;;-1:-1:-1::0;;1637:1:13;2562:7;:22;4622:987:1;;-1:-1:-1;;4622:987:1:o;6548:388::-;6622:14;1680:1:13;2259:7;;:19;;2251:63;;;;-1:-1:-1;;;2251:63:13;;;;;;;:::i;:::-;1680:1;2389:7;:18;6652:10:1::1;-1:-1:-1::0;;;;;6666:8:1::1;6652:22;;6644:54;;;::::0;-1:-1:-1;;;6644:54:1;;9903:2:18;6644:54:1::1;::::0;::::1;9885:21:18::0;9942:2;9922:18;;;9915:30;-1:-1:-1;;;9961:18:18;;;9954:49;10020:18;;6644:54:1::1;9875:169:18::0;6644:54:1::1;6704:8;:6;:8::i;:::-;6718:45;-1:-1:-1::0;;;;;6725:10:1::1;6718:31;6750:3:::0;6755:7;6718:31:::1;:45::i;:::-;6781:49;6804:14;;6794:7;:24;;;;:::i;:::-;6820:9;;6781:12;:49::i;:::-;6769:61;;6865:7;6848:13;;:24;;;;;;;:::i;:::-;;;;;;;;6891:7;6878:9;;:20;;;;;;;:::i;:::-;;;;;;;;6922:9;6904:14;;:27;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;1637:1:13;2562:7;:22;6548:388:1;;-1:-1:-1;;6548:388:1:o;4166:215::-;4230:4;4242:8;:6;:8::i;:::-;4260:15;4256:44;;-1:-1:-1;4292:1:1;;4166:215;-1:-1:-1;4166:215:1:o;4256:44::-;4312:52;4338:9;;4325:10;:22;;;;:::i;:::-;4349:14;;4312:12;:52::i;:::-;4305:59;4166:215;-1:-1:-1;;4166:215:1:o;2100:126:16:-;-1:-1:-1;;;;;2195:14:16;;2169:7;2195:14;;;:7;:14;;;;;864::3;2195:24:16;773:112:3;2059:257:1;2107:13;2147:10;-1:-1:-1;;;;;2132:33:1;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;2132:35:1;;;;;;;;;;;;:::i;:::-;;;2128:184;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2291:14;:12;:14::i;2128:184::-;2241:4;2219:27;;;;;;;;:::i;5889:412::-;5961:11;1680:1:13;2259:7;;:19;;2251:63;;;;-1:-1:-1;;;2251:63:13;;;;;;;:::i;:::-;1680:1;2389:7;:18;5980:8:1::1;:6;:8::i;:::-;5994:11;6008:13;3222:12:5::0;;;3135:106;6008:13:1::1;5994:27;;6078:6;6064:9;;6048:13;;:25;;;;:::i;:::-;6037:37;::::0;:7;:37:::1;:::i;:::-;6036:48;;;;:::i;:::-;6027:57;;6107:1;6098:6;:10;6090:46;;;::::0;-1:-1:-1;;;6090:46:1;;14425:2:18;6090:46:1::1;::::0;::::1;14407:21:18::0;14464:2;14444:18;;;14437:30;14503:25;14483:18;;;14476:53;14546:18;;6090:46:1::1;14397:173:18::0;6090:46:1::1;6159:6;6142:13;;:23;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;6171:26:1::1;::::0;-1:-1:-1;6177:10:1::1;6189:7:::0;6171:5:::1;:26::i;:::-;6203:44;-1:-1:-1::0;;;;;6210:10:1::1;6203:31;6235:3:::0;6240:6;6203:31:::1;:44::i;:::-;6258:38;::::0;;19514:25:18;;;19570:2;19555:18;;19548:34;;;-1:-1:-1;;;;;6258:38:1;::::1;::::0;6263:10:::1;::::0;6258:38:::1;::::0;19487:18:18;6258:38:1::1;;;;;;;-1:-1:-1::0;1637:1:13;2562:7;:22;5889:412:1;;-1:-1:-1;;5889:412:1:o;6349:405:5:-;665:10:2;6442:4:5;6485:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;6485:34:5;;;;;;;;;;6537:35;;;;6529:85;;;;-1:-1:-1;;;6529:85:5;;18594:2:18;6529:85:5;;;18576:21:18;18633:2;18613:18;;;18606:30;18672:34;18652:18;;;18645:62;-1:-1:-1;;;18723:18:18;;;18716:35;18768:19;;6529:85:5;18566:227:18;6529:85:5;6648:67;665:10:2;6671:7:5;6699:15;6680:16;:34;6648:8;:67::i;:::-;-1:-1:-1;6743:4:5;;6349:405;-1:-1:-1;;;6349:405:5:o;3627:172::-;3713:4;3729:42;665:10:2;3753:9:5;3764:6;3729:9;:42::i;1413:626:16:-;1648:8;1629:15;:27;;1621:69;;;;-1:-1:-1;;;1621:69:16;;11754:2:18;1621:69:16;;;11736:21:18;11793:2;11773:18;;;11766:30;11832:31;11812:18;;;11805:59;11881:18;;1621:69:16;11726:179:18;1621:69:16;1701:18;1743:16;1761:5;1768:7;1777:5;1784:16;1794:5;1784:9;:16::i;:::-;1732:79;;;;;;7350:25:18;;;;-1:-1:-1;;;;;7449:15:18;;;7429:18;;;7422:43;7501:15;;;;7481:18;;;7474:43;7533:18;;;7526:34;7576:19;;;7569:35;7620:19;;;7613:35;;;7322:19;;1732:79:16;;;;;;;;;;;;1722:90;;;;;;1701:111;;1823:12;1838:28;1855:10;1838:16;:28::i;:::-;1823:43;;1877:14;1894:28;1908:4;1914:1;1917;1920;1894:13;:28::i;:::-;1877:45;;1950:5;-1:-1:-1;;;;;1940:15:16;:6;-1:-1:-1;;;;;1940:15:16;;1932:58;;;;-1:-1:-1;;;1932:58:16;;14777:2:18;1932:58:16;;;14759:21:18;14816:2;14796:18;;;14789:30;14855:32;14835:18;;;14828:60;14905:18;;1932:58:16;14749:180:18;1932:58:16;2001:31;2010:5;2017:7;2026:5;2001:8;:31::i;:::-;1611:428;;;1413:626;;;;;;;:::o;2684:1390:1:-;2751:15;2787:14;;2769:15;:32;;;;:::i;:::-;2751:50;-1:-1:-1;2811:15:1;2807:28;;2828:7;2684:1390::o;2807:28::-;2857:15;2840:14;:32;;;;2933:8;-1:-1:-1;;;;;2924:25:1;;:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2923:28;2915:56;;;;-1:-1:-1;;;2915:56:1;;13678:2:18;2915:56:1;;;13660:21:18;13717:2;13697:18;;;13690:30;-1:-1:-1;;;13736:18:18;;;13729:45;13791:18;;2915:56:1;13650:165:18;2915:56:1;3110:9;;3127:13;;3148:12;;3247:28;;;-1:-1:-1;;;3247:28:1;;;;3042:15;;-1:-1:-1;;;;;3257:8:1;3247:26;;;;:28;;;;;;;;;;;;;;;:26;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3214:62;;3282:24;3338:8;-1:-1:-1;;;;;3328:33:1;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3282:82;-1:-1:-1;3370:13:1;3443:4;3431:8;3416:10;3387:26;3403:10;3387:13;:26;:::i;:::-;:39;;;;:::i;:::-;3386:54;;;;:::i;:::-;:61;;;;:::i;:::-;3370:77;-1:-1:-1;3504:22:1;3370:77;3504:22;;:::i;:::-;3532:9;:22;;;3575:80;;-1:-1:-1;;;3575:80:1;;;;;19824:25:18;;;19865:18;;;19858:34;;;19908:18;;;19901:34;;;19951:18;;;19944:34;;;3532:22:1;;-1:-1:-1;;;;;;3575:25:1;;;;;19796:19:18;;3575:80:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3560:12;:95;3731:12;;3727:343;;3753:16;3772:6;-1:-1:-1;;;;;3772:18:1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3753:39;-1:-1:-1;3804:15:1;;3800:235;;3831:14;3875:4;3849:22;3860:11;3849:8;:22;:::i;:::-;3848:31;;;;:::i;:::-;3831:48;;3889:137;3906:6;-1:-1:-1;;;;;3906:25:1;;:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4006:9;3976:27;3989:14;3976:10;:27;:::i;:::-;:39;;;;:::i;:::-;3222:12:5;;3946:25:1;;:9;:25;:::i;:::-;3945:71;;;;:::i;:::-;3889:5;:137::i;:::-;3821:214;3800:235;4047:16;;7027:25:18;;;4047:16:1;;7015:2:18;7000:18;4047:16:1;;;;;;;3745:325;3727:343;2709:1365;;;;;;;2684:1390::o;2047:98:5:-;2101:13;2133:5;2126:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2047:98;:::o;9925:370::-;-1:-1:-1;;;;;10056:19:5;;10048:68;;;;-1:-1:-1;;;10048:68:5;;17060:2:18;10048:68:5;;;17042:21:18;17099:2;17079:18;;;17072:30;17138:34;17118:18;;;17111:62;-1:-1:-1;;;17189:18:18;;;17182:34;17233:19;;10048:68:5;17032:226:18;10048:68:5;-1:-1:-1;;;;;10134:21:5;;10126:68;;;;-1:-1:-1;;;10126:68:5;;11004:2:18;10126:68:5;;;10986:21:18;11043:2;11023:18;;;11016:30;11082:34;11062:18;;;11055:62;-1:-1:-1;;;11133:18:18;;;11126:32;11175:19;;10126:68:5;10976:224:18;10126:68:5;-1:-1:-1;;;;;10205:18:5;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10256:32;;7027:25:18;;;10256:32:5;;7000:18:18;10256:32:5;;;;;;;9925:370;;;:::o;616:205:14:-;755:58;;-1:-1:-1;;;;;6602:32:18;;755:58:14;;;6584:51:18;6651:18;;;6644:34;;;728:86:14;;748:5;;-1:-1:-1;;;778:23:14;6557:18:18;;755:58:14;;;;-1:-1:-1;;755:58:14;;;;;;;;;;;;;;-1:-1:-1;;;;;755:58:14;-1:-1:-1;;;;;;755:58:14;;;;;;;;;;728:19;:86::i;:::-;616:205;;;:::o;827:241::-;992:68;;-1:-1:-1;;;;;6288:15:18;;;992:68:14;;;6270:34:18;6340:15;;6320:18;;;6313:43;6372:18;;;6365:34;;;965:96:14;;985:5;;-1:-1:-1;;;1015:27:14;6205:18:18;;992:68:14;6187:218:18;965:96:14;827:241;;;;:::o;7228:713:5:-;-1:-1:-1;;;;;7363:20:5;;7355:70;;;;-1:-1:-1;;;7355:70:5;;16304:2:18;7355:70:5;;;16286:21:18;16343:2;16323:18;;;16316:30;16382:34;16362:18;;;16355:62;-1:-1:-1;;;16433:18:18;;;16426:35;16478:19;;7355:70:5;16276:227:18;7355:70:5;-1:-1:-1;;;;;7443:23:5;;7435:71;;;;-1:-1:-1;;;7435:71:5;;9499:2:18;7435:71:5;;;9481:21:18;9538:2;9518:18;;;9511:30;9577:34;9557:18;;;9550:62;-1:-1:-1;;;9628:18:18;;;9621:33;9671:19;;7435:71:5;9471:225:18;7435:71:5;-1:-1:-1;;;;;7599:17:5;;7575:21;7599:17;;;;;;;;;;;7634:23;;;;7626:74;;;;-1:-1:-1;;;7626:74:5;;12112:2:18;7626:74:5;;;12094:21:18;12151:2;12131:18;;;12124:30;12190:34;12170:18;;;12163:62;-1:-1:-1;;;12241:18:18;;;12234:36;12287:19;;7626:74:5;12084:228:18;7626:74:5;-1:-1:-1;;;;;7734:17:5;;;:9;:17;;;;;;;;;;;7754:22;;;7734:42;;7796:20;;;;;;;;:30;;7770:6;;7734:9;7796:30;;7770:6;;7796:30;:::i;:::-;;;;;;;;7859:9;-1:-1:-1;;;;;7842:35:5;7851:6;-1:-1:-1;;;;;7842:35:5;;7870:6;7842:35;;;;7027:25:18;;7015:2;7000:18;;6982:76;7842:35:5;;;;;;;;7888:46;616:205:14;2988:275:15;3041:7;3081:16;3064:13;:33;3060:197;;;-1:-1:-1;3120:24:15;;2988:275::o;3060:197::-;-1:-1:-1;3445:73:15;;;3204:10;3445:73;;;;7918:25:18;;;;3216:12:15;7959:18:18;;;7952:34;3230:15:15;8002:18:18;;;7995:34;3489:13:15;8045:18:18;;;8038:34;3512:4:15;8088:19:18;;;;8081:61;;;;3445:73:15;;;;;;;;;;7890:19:18;;;;3445:73:15;;;3435:84;;;;;;2350:113:16:o;8217:389:5:-;-1:-1:-1;;;;;8300:21:5;;8292:65;;;;-1:-1:-1;;;8292:65:5;;19000:2:18;8292:65:5;;;18982:21:18;19039:2;19019:18;;;19012:30;19078:33;19058:18;;;19051:61;19129:18;;8292:65:5;18972:181:18;8292:65:5;8444:6;8428:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8460:18:5;;:9;:18;;;;;;;;;;:28;;8482:6;;8460:9;:28;;8482:6;;8460:28;:::i;:::-;;;;-1:-1:-1;;8503:37:5;;7027:25:18;;;-1:-1:-1;;;;;8503:37:5;;;8520:1;;8503:37;;7015:2:18;7000:18;8503:37:5;;;;;;;8217:389;;:::o;1002:194:11:-;1064:7;1170:5;1174:1;1170;:5;:::i;:::-;:10;:18;;1187:1;1170:18;;;1183:1;1170:18;1161:28;;:5;1165:1;1161;:5;:::i;:::-;:28;;;;:::i;2258:102:5:-;2314:13;2346:7;2339:14;;;;;:::i;8926:576::-;-1:-1:-1;;;;;9009:21:5;;9001:67;;;;-1:-1:-1;;;9001:67:5;;15902:2:18;9001:67:5;;;15884:21:18;15941:2;15921:18;;;15914:30;15980:34;15960:18;;;15953:62;-1:-1:-1;;;16031:18:18;;;16024:31;16072:19;;9001:67:5;15874:223:18;9001:67:5;-1:-1:-1;;;;;9164:18:5;;9139:22;9164:18;;;;;;;;;;;9200:24;;;;9192:71;;;;-1:-1:-1;;;9192:71:5;;10251:2:18;9192:71:5;;;10233:21:18;10290:2;10270:18;;;10263:30;10329:34;10309:18;;;10302:62;-1:-1:-1;;;10380:18:18;;;10373:32;10422:19;;9192:71:5;10223:224:18;9192:71:5;-1:-1:-1;;;;;9297:18:5;;:9;:18;;;;;;;;;;9318:23;;;9297:44;;9361:12;:22;;9335:6;;9297:9;9361:22;;9335:6;;9361:22;:::i;:::-;;;;-1:-1:-1;;9399:37:5;;7027:25:18;;;9425:1:5;;-1:-1:-1;;;;;9399:37:5;;;;;7015:2:18;7000:18;9399:37:5;;;;;;;616:205:14;;;:::o;2594:203:16:-;-1:-1:-1;;;;;2714:14:16;;2654:15;2714:14;;;:7;:14;;;;;864::3;;996:1;978:19;;;;864:14;2773:17:16;2671:126;2594:203;;;:::o;4151:165:15:-;4228:7;4254:55;4276:20;:18;:20::i;:::-;4298:10;5774:57:4;;-1:-1:-1;;;5774:57:4;;;4836:27:18;4879:11;;;4872:27;;;4915:12;;;4908:28;;;5738:7:4;;4952:12:18;;5774:57:4;;;;;;;;;;;;5764:68;;;;;;5757:75;;5645:194;;;;;3265:1486;3388:7;4316:66;4302:80;;;4281:161;;;;-1:-1:-1;;;4281:161:4;;12519:2:18;4281:161:4;;;12501:21:18;12558:2;12538:18;;;12531:30;12597:34;12577:18;;;12570:62;-1:-1:-1;;;12648:18:18;;;12641:32;12690:19;;4281:161:4;12491:224:18;4281:161:4;4460:1;:7;;4465:2;4460:7;:18;;;;4471:1;:7;;4476:2;4471:7;4460:18;4452:65;;;;-1:-1:-1;;;4452:65:4;;14022:2:18;4452:65:4;;;14004:21:18;14061:2;14041:18;;;14034:30;14100:34;14080:18;;;14073:62;-1:-1:-1;;;14151:18:18;;;14144:32;14193:19;;4452:65:4;13994:224:18;4452:65:4;4629:24;;;4612:14;4629:24;;;;;;;;;8380:25:18;;;8453:4;8441:17;;8421:18;;;8414:45;;;;8475:18;;;8468:34;;;8518:18;;;8511:34;;;4629:24:4;;8352:19:18;;4629:24:4;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;4629:24:4;;-1:-1:-1;;4629:24:4;;;-1:-1:-1;;;;;;;4671:20:4;;4663:57;;;;-1:-1:-1;;;4663:57:4;;9146:2:18;4663:57:4;;;9128:21:18;9185:2;9165:18;;;9158:30;9224:26;9204:18;;;9197:54;9268:18;;4663:57:4;9118:174:18;4663:57:4;4738:6;3265:1486;-1:-1:-1;;;;;3265:1486:4:o;3122:706:14:-;3541:23;3567:69;3595:4;3567:69;;;;;;;;;;;;;;;;;3575:5;-1:-1:-1;;;;;3567:27:14;;;:69;;;;;:::i;:::-;3650:17;;3541:95;;-1:-1:-1;3650:21:14;3646:176;;3745:10;3734:30;;;;;;;;;;;;:::i;:::-;3726:85;;;;-1:-1:-1;;;3726:85:14;;17823:2:18;3726:85:14;;;17805:21:18;17862:2;17842:18;;;17835:30;17901:34;17881:18;;;17874:62;-1:-1:-1;;;17952:18:18;;;17945:40;18002:19;;3726:85:14;17795:232:18;3461:223:0;3594:12;3625:52;3647:6;3655:4;3661:1;3664:12;3625:21;:52::i;:::-;3618:59;3461:223;-1:-1:-1;;;;3461:223:0:o;4548:500::-;4713:12;4770:5;4745:21;:30;;4737:81;;;;-1:-1:-1;;;4737:81:0;;12922:2:18;4737:81:0;;;12904:21:18;12961:2;12941:18;;;12934:30;13000:34;12980:18;;;12973:62;-1:-1:-1;;;13051:18:18;;;13044:36;13097:19;;4737:81:0;12894:228:18;4737:81:0;1034:20;;4828:60;;;;-1:-1:-1;;;4828:60:0;;17465:2:18;4828:60:0;;;17447:21:18;17504:2;17484:18;;;17477:30;17543:31;17523:18;;;17516:59;17592:18;;4828:60:0;17437:179:18;4828:60:0;4900:12;4914:23;4941:6;-1:-1:-1;;;;;4941:11:0;4960:5;4967:4;4941:31;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4899:73;;;;4989:52;5007:7;5016:10;5028:12;4989:17;:52::i;:::-;4982:59;4548:500;-1:-1:-1;;;;;;;4548:500:0:o;6950:692::-;7096:12;7124:7;7120:516;;;-1:-1:-1;7154:10:0;7147:17;;7120:516;7265:17;;:21;7261:365;;7459:10;7453:17;7519:15;7506:10;7502:2;7498:19;7491:44;7261:365;7598:12;7591:20;;-1:-1:-1;;;7591:20:0;;;;;;;;:::i;14:247:18:-;73:6;126:2;114:9;105:7;101:23;97:32;94:2;;;142:1;139;132:12;94:2;181:9;168:23;200:31;225:5;200:31;:::i;266:251::-;336:6;389:2;377:9;368:7;364:23;360:32;357:2;;;405:1;402;395:12;357:2;437:9;431:16;456:31;481:5;456:31;:::i;522:388::-;590:6;598;651:2;639:9;630:7;626:23;622:32;619:2;;;667:1;664;657:12;619:2;706:9;693:23;725:31;750:5;725:31;:::i;:::-;775:5;-1:-1:-1;832:2:18;817:18;;804:32;845:33;804:32;845:33;:::i;:::-;897:7;887:17;;;609:301;;;;;:::o;915:456::-;992:6;1000;1008;1061:2;1049:9;1040:7;1036:23;1032:32;1029:2;;;1077:1;1074;1067:12;1029:2;1116:9;1103:23;1135:31;1160:5;1135:31;:::i;:::-;1185:5;-1:-1:-1;1242:2:18;1227:18;;1214:32;1255:33;1214:32;1255:33;:::i;:::-;1019:352;;1307:7;;-1:-1:-1;;;1361:2:18;1346:18;;;;1333:32;;1019:352::o;1376:801::-;1487:6;1495;1503;1511;1519;1527;1535;1588:3;1576:9;1567:7;1563:23;1559:33;1556:2;;;1605:1;1602;1595:12;1556:2;1644:9;1631:23;1663:31;1688:5;1663:31;:::i;:::-;1713:5;-1:-1:-1;1770:2:18;1755:18;;1742:32;1783:33;1742:32;1783:33;:::i;:::-;1835:7;-1:-1:-1;1889:2:18;1874:18;;1861:32;;-1:-1:-1;1940:2:18;1925:18;;1912:32;;-1:-1:-1;1996:3:18;1981:19;;1968:33;2010:31;1968:33;2010:31;:::i;:::-;1546:631;;;;-1:-1:-1;1546:631:18;;;;2060:7;2114:3;2099:19;;2086:33;;-1:-1:-1;2166:3:18;2151:19;;;2138:33;;1546:631;-1:-1:-1;;1546:631:18:o;2182:315::-;2250:6;2258;2311:2;2299:9;2290:7;2286:23;2282:32;2279:2;;;2327:1;2324;2317:12;2279:2;2366:9;2353:23;2385:31;2410:5;2385:31;:::i;:::-;2435:5;2487:2;2472:18;;;;2459:32;;-1:-1:-1;;;2269:228:18:o;2502:277::-;2569:6;2622:2;2610:9;2601:7;2597:23;2593:32;2590:2;;;2638:1;2635;2628:12;2590:2;2670:9;2664:16;2723:5;2716:13;2709:21;2702:5;2699:32;2689:2;;2745:1;2742;2735:12;2784:884;2864:6;2917:2;2905:9;2896:7;2892:23;2888:32;2885:2;;;2933:1;2930;2923:12;2885:2;2966:9;2960:16;2995:18;3036:2;3028:6;3025:14;3022:2;;;3052:1;3049;3042:12;3022:2;3090:6;3079:9;3075:22;3065:32;;3135:7;3128:4;3124:2;3120:13;3116:27;3106:2;;3157:1;3154;3147:12;3106:2;3186;3180:9;3208:2;3204;3201:10;3198:2;;;3214:18;;:::i;:::-;3289:2;3283:9;3257:2;3343:13;;-1:-1:-1;;3339:22:18;;;3363:2;3335:31;3331:40;3319:53;;;3387:18;;;3407:22;;;3384:46;3381:2;;;3433:18;;:::i;:::-;3473:10;3469:2;3462:22;3508:2;3500:6;3493:18;3548:7;3543:2;3538;3534;3530:11;3526:20;3523:33;3520:2;;;3569:1;3566;3559:12;3520:2;3582:55;3634:2;3629;3621:6;3617:15;3612:2;3608;3604:11;3582:55;:::i;3673:180::-;3732:6;3785:2;3773:9;3764:7;3760:23;3756:32;3753:2;;;3801:1;3798;3791:12;3753:2;-1:-1:-1;3824:23:18;;3743:110;-1:-1:-1;3743:110:18:o;3858:184::-;3928:6;3981:2;3969:9;3960:7;3956:23;3952:32;3949:2;;;3997:1;3994;3987:12;3949:2;-1:-1:-1;4020:16:18;;3939:103;-1:-1:-1;3939:103:18:o;4047:247::-;4115:6;4168:2;4156:9;4147:7;4143:23;4139:32;4136:2;;;4184:1;4181;4174:12;4136:2;4216:9;4210:16;4235:29;4258:5;4235:29;:::i;4299:274::-;4428:3;4466:6;4460:13;4482:53;4528:6;4523:3;4516:4;4508:6;4504:17;4482:53;:::i;:::-;4551:16;;;;;4436:137;-1:-1:-1;;4436:137:18:o;4975:418::-;-1:-1:-1;;;5232:3:18;5225:16;5207:3;5270:6;5264:13;5286:61;5340:6;5336:1;5331:3;5327:11;5320:4;5312:6;5308:17;5286:61;:::i;:::-;5367:16;;;;5385:1;5363:24;;5215:178;-1:-1:-1;;5215:178:18:o;5398:419::-;-1:-1:-1;;;5655:3:18;5648:17;5630:3;5694:6;5688:13;5710:61;5764:6;5760:1;5755:3;5751:11;5744:4;5736:6;5732:17;5710:61;:::i;:::-;5791:16;;;;5809:1;5787:24;;5638:179;-1:-1:-1;;5638:179:18:o;8556:383::-;8705:2;8694:9;8687:21;8668:4;8737:6;8731:13;8780:6;8775:2;8764:9;8760:18;8753:34;8796:66;8855:6;8850:2;8839:9;8835:18;8830:2;8822:6;8818:15;8796:66;:::i;:::-;8923:2;8902:15;-1:-1:-1;;8898:29:18;8883:45;;;;8930:2;8879:54;;8677:262;-1:-1:-1;;8677:262:18:o;18032:355::-;18234:2;18216:21;;;18273:2;18253:18;;;18246:30;18312:33;18307:2;18292:18;;18285:61;18378:2;18363:18;;18206:181::o;20178:128::-;20218:3;20249:1;20245:6;20242:1;20239:13;20236:2;;;20255:18;;:::i;:::-;-1:-1:-1;20291:9:18;;20226:80::o;20311:120::-;20351:1;20377;20367:2;;20382:18;;:::i;:::-;-1:-1:-1;20416:9:18;;20357:74::o;20436:168::-;20476:7;20542:1;20538;20534:6;20530:14;20527:1;20524:21;20519:1;20512:9;20505:17;20501:45;20498:2;;;20549:18;;:::i;:::-;-1:-1:-1;20589:9:18;;20488:116::o;20609:125::-;20649:4;20677:1;20674;20671:8;20668:2;;;20682:18;;:::i;:::-;-1:-1:-1;20719:9:18;;20658:76::o;20739:258::-;20811:1;20821:113;20835:6;20832:1;20829:13;20821:113;;;20911:11;;;20905:18;20892:11;;;20885:39;20857:2;20850:10;20821:113;;;20952:6;20949:1;20946:13;20943:2;;;-1:-1:-1;;20987:1:18;20969:16;;20962:27;20792:205::o;21002:380::-;21081:1;21077:12;;;;21124;;;21145:2;;21199:4;21191:6;21187:17;21177:27;;21145:2;21252;21244:6;21241:14;21221:18;21218:38;21215:2;;;21298:10;21293:3;21289:20;21286:1;21279:31;21333:4;21330:1;21323:15;21361:4;21358:1;21351:15;21387:112;21419:1;21445;21435:2;;21450:18;;:::i;:::-;-1:-1:-1;21484:9:18;;21425:74::o;21504:127::-;21565:10;21560:3;21556:20;21553:1;21546:31;21596:4;21593:1;21586:15;21620:4;21617:1;21610:15;21636:127;21697:10;21692:3;21688:20;21685:1;21678:31;21728:4;21725:1;21718:15;21752:4;21749:1;21742:15;21768:127;21829:10;21824:3;21820:20;21817:1;21810:31;21860:4;21857:1;21850:15;21884:4;21881:1;21874:15;21900:131;-1:-1:-1;;;;;21975:31:18;;21965:42;;21955:2;;22021:1;22018;22011:12;21955:2;21945:86;:::o;22036:114::-;22120:4;22113:5;22109:16;22102:5;22099:27;22089:2;;22140:1;22137;22130:12

ipfs://55383071d6786d3f31f38890e7dc3c03e9e58d3333aad272946e13e25f93318f