Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IBetaBank
•    - function bTokens(address _underlying)
•    - function underlyings(address _bToken)
•    - function oracle()
•    - function config()
•    - function interestModel()
•    - function getPositionTokens(address _o ...
•    - function fetchPositionDebt(address _o ...
•    - function fetchPositionLTV(address _ow ...
•    - function open(
•    - function borrow(
•    - function repay(
•    - function put(
•    - function take(
•    - function liquidate(
• interface IBetaConfig
•    - function getRiskLevel(address token)
•    - function reserveRate()
•    - function reserveBeneficiary()
•    - function getCollFactor(address token)
•    - function getCollMaxAmount(address tok ...
•    - function getSafetyLTV(address token)
•    - function getLiquidationLTV(address to ...
•    - function getKillBountyRate(address to ...
• interface IBetaInterestModel
•    - function initialRate()
•    - function getNextInterestRate(
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
•    - function functionCallWithValue(
•    - function functionStaticCall(address t ...
•    - function functionStaticCall(
•    - function functionDelegateCall(address ...
•    - function functionDelegateCall(
•    - function _verifyCallResult(
•    - function _msgSender()
•    - function _msgData()
• library Counters
•    - function current(Counter storage coun ...
•    - function increment(Counter storage co ...
•    - function decrement(Counter storage co ...
•    - function reset(Counter storage counte ...
• library ECDSA
•    - function recover(bytes32 hash, bytes ...
•    - function recover(
•    - function recover(
•    - function toEthSignedMessageHash(bytes ...
•    - function toTypedDataHash(bytes32 doma ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
•    - function ceilDiv(uint256 a, uint256 b ...
•    - function _domainSeparatorV4()
•    - function _buildDomainSeparator(
•    - function _hashTypedDataV4(bytes32 str ...
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function paused()
•    - function _pause()
•    - function _unpause()
• library SafeERC20
•    - function safeTransfer(
•    - function safeTransferFrom(
•    - function safeApprove(
•    - function safeIncreaseAllowance(
•    - function safeDecreaseAllowance(
•    - function _callOptionalReturn(IERC20 t ...
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
•    - function _useNonce(address owner)
•  contract BToken is ERC20Permit, Re ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function accrue()
•    - function fetchDebtShareValue(uint _de ...
•    - function mint(address _to, uint _amou ...
•    - function burn(address _to, uint _cred ...
•    - function borrow(address _to, uint _am ...
•    - function repay(address _from, uint _a ...
•    - function recover(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: BUSL-1.1

pragma solidity 0.8.6;



// Part: IBetaBank

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;
}

// Part: IBetaConfig

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);
}

// Part: IBetaInterestModel

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);
}

// Part: OpenZeppelin/[email protected]/Address

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

// Part: OpenZeppelin/[email protected]/Context

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

// Part: OpenZeppelin/[email protected]/Counters

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

// Part: OpenZeppelin/[email protected]/ECDSA

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

// Part: OpenZeppelin/[email protected]/IERC20

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

// Part: OpenZeppelin/[email protected]/IERC20Permit

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

// Part: OpenZeppelin/[email protected]/Math

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

// Part: OpenZeppelin/[email protected]/ReentrancyGuard

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

// Part: OpenZeppelin/[email protected]/EIP712

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

// Part: OpenZeppelin/[email protected]/IERC20Metadata

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

// Part: OpenZeppelin/[email protected]/Pausable

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

// Part: OpenZeppelin/[email protected]/SafeERC20

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

// Part: OpenZeppelin/[email protected]/ERC20

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

// Part: OpenZeppelin/[email protected]/ERC20Permit

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

// File: BToken.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);
  }
}

• 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"}]

6101806040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610120523480156200003757600080fd5b5060405162002f7938038062002f798339810160408190526200005a9162000461565b6040518060400160405280600781526020016621102a37b5b2b760c91b81525080604051806040016040528060018152602001603160f81b8152506040518060400160405280600781526020016621102a37b5b2b760c91b81525060405180604001604052806006815260200165312a27a5a2a760d11b8152508160039080519060200190620000ec92919062000379565b5080516200010290600490602084019062000379565b5050825160209384012082519284019290922060c083815260e08290524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818a0181905281830198909852606081019590955260808086019390935230858301528051808603909201825293909201909252805194019390932090925261010052505060016006556001600160a01b038216620001fa5760405162461bcd60e51b815260206004820152602160248201527f636f6e7374727563746f722f6265746162616e6b2d7a65726f2d6164647265736044820152607360f81b60648201526084015b60405180910390fd5b6001600160a01b0381166200025e5760405162461bcd60e51b815260206004820152602360248201527f636f6e7374727563746f722f756e6465726c79696e672d7a65726f2d6164647260448201526265737360e81b6064820152608401620001f1565b6001600160601b0319606083811b82166101405282901b16610160526040805163560b2ebd60e11b815290516001600160a01b0384169163ac165d7a916004808301926020929190829003018186803b158015620002bb57600080fd5b505afa158015620002d0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002f691906200043c565b6001600160a01b0316639e51051f6040518163ffffffff1660e01b815260040160206040518083038186803b1580156200032f57600080fd5b505afa15801562000344573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200036a919062000499565b600755505042600855620004f0565b8280546200038790620004b3565b90600052602060002090601f016020900481019282620003ab5760008555620003f6565b82601f10620003c657805160ff1916838001178555620003f6565b82800160010185558215620003f6579182015b82811115620003f6578251825591602001919060010190620003d9565b506200040492915062000408565b5090565b5b8082111562000404576000815560010162000409565b80516001600160a01b03811681146200043757600080fd5b919050565b6000602082840312156200044f57600080fd5b6200045a826200041f565b9392505050565b600080604083850312156200047557600080fd5b62000480836200041f565b915062000490602084016200041f565b90509250929050565b600060208284031215620004ac57600080fd5b5051919050565b600181811c90821680620004c857607f821691505b60208210811415620004ea57634e487b7160e01b600052602260045260246000fd5b50919050565b60805160a05160c05160e05161010051610120516101405160601c6101605160601c6129a6620005d360003960008181610326015281816104420152818161074f015281816107d80152818161081801528181610a6a01528181610bd001528181610c5901528181610c9901528181610f3f0152818161102d01526111eb0152600081816102cb01528181610588015281816106c301528181610ec70152818161149101528181611585015261160a0152600061135e01526000611d7f01526000611dce01526000611da901526000611d2d01526000611d5601526129a66000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c8063684b51d4116101045780639ffe7973116100a2578063d505accf11610071578063d505accf146103e1578063d8a0ac26146103f4578063dd62ed3e146103fd578063f8ba4cff1461043657600080fd5b80639ffe7973146103a8578063a457c2d7146103b1578063a9059cbb146103c4578063ba9a7a56146103d757600080fd5b80637c3a00fd116100de5780637c3a00fd146103715780637ecebe001461037a57806395d89b411461038d5780639dc29fac1461039557600080fd5b8063684b51d4146103185780636f307dc31461032157806370a082311461034857600080fd5b80633644e51511610171578063453b1a8b1161014b578063453b1a8b146102aa5780634b8a3529146102b3578063550ba367146102c65780635dd925851461030557600080fd5b80633644e5151461027c578063395093511461028457806340c10f191461029757600080fd5b80631ec82cb8116101ad5780631ec82cb81461022757806322867d781461023c57806323b872dd1461024f578063313ce5671461026257600080fd5b806306fdde03146101d4578063095ea7b3146101f257806318160ddd14610215575b600080fd5b6101dc61043e565b6040516101e991906127c6565b60405180910390f35b610205610200366004612618565b610536565b60405190151581526020016101e9565b6002545b6040519081526020016101e9565b61023a610235366004612566565b61054c565b005b61021961024a366004612618565b61068e565b61020561025d366004612566565b6109ba565b61026a610a66565b60405160ff90911681526020016101e9565b610219610b31565b610205610292366004612618565b610b40565b6102196102a5366004612618565b610b7c565b610219600a5481565b6102196102c1366004612618565b610e92565b6102ed7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016101e9565b610219610313366004612708565b610fd5565b610219600b5481565b6102ed7f000000000000000000000000000000000000000000000000000000000000000081565b6102196103563660046124f3565b6001600160a01b031660009081526020819052604090205490565b61021960075481565b6102196103883660046124f3565b61100b565b6101dc611029565b6102196103a3366004612618565b611106565b61021960085481565b6102056103bf366004612618565b611264565b6102056103d2366004612618565b6112fd565b610219620f424081565b61023a6103ef3660046125a7565b61130a565b61021960095481565b61021961040b36600461252d565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b61023a61146e565b60607f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166306fdde036040518163ffffffff1660e01b815260040160006040518083038186803b15801561049957600080fd5b505afa9250505080156104ce57506040513d6000823e601f3d908101601f191682016040526104cb9190810190612666565b60015b610510573d8080156104fc576040519150601f19603f3d011682016040523d82523d6000602084013e610501565b606091505b5061050a6118ff565b91505090565b80604051602001610521919061279c565b60405160208183030381529060405291505090565b6000610543338484611991565b50600192915050565b600260065414156105785760405162461bcd60e51b815260040161056f906127f9565b60405180910390fd5b6002600655336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105ec5760405162461bcd60e51b81526020600482015260146024820152737265636f7665722f6e6f742d4265746142616e6b60601b604482015260640161056f565b600019811415610670576040516370a0823160e01b81523060048201526001600160a01b038416906370a082319060240160206040518083038186803b15801561063557600080fd5b505afa158015610649573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061066d9190612721565b90505b6106846001600160a01b0384168383611ab5565b5050600160065550565b6000600260065414156106b35760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146107255760405162461bcd60e51b815260206004820152601260248201527172657061792f6e6f742d4265746142616e6b60701b604482015260640161056f565b61072d61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906370a082319060240160206040518083038186803b15801561079157600080fd5b505afa1580156107a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107c99190612721565b90506108006001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016863087611b1d565b6040516370a0823160e01b81523060048201526000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a082319060240160206040518083038186803b15801561086257600080fd5b505afa158015610876573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089a9190612721565b90506108a6828261287b565b92505050600a548111156108f45760405162461bcd60e51b81526020600482015260156024820152740e4cae0c2f25ec2dadeeadce85ae8dede5ad0d2ced605b1b604482015260640161056f565b600a54600b54610904908361285c565b61090e9190612848565b915080600960008282546109229190612830565b9250508190555080600a600082825461093b919061287b565b9250508190555081600b6000828254610954919061287b565b9091555050600b54620f424011156109ae5760405162461bcd60e51b815260206004820152601c60248201527f72657061792f746f6f2d6c6f772d73756d2d646562742d736861726500000000604482015260640161056f565b50600160065592915050565b60006109c7848484611b5b565b6001600160a01b038416600090815260016020908152604080832033845290915290205482811015610a4c5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b606482015260840161056f565b610a598533858403611991565b60019150505b9392505050565b60007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663313ce5676040518163ffffffff1660e01b815260040160206040518083038186803b158015610ac157600080fd5b505afa925050508015610af1575060408051601f3d908101601f19168201909252610aee9181019061273a565b60015b610b2c573d808015610b1f576040519150601f19603f3d011682016040523d82523d6000602084013e610b24565b606091505b50601261050a565b919050565b6000610b3b611d29565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610543918590610b77908690612830565b611991565b600060026006541415610ba15760405162461bcd60e51b815260040161056f906127f9565b6002600655610bae61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906370a082319060240160206040518083038186803b158015610c1257600080fd5b505afa158015610c26573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4a9190612721565b9050610c816001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016333087611b1d565b6040516370a0823160e01b81523060048201526000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a082319060240160206040518083038186803b158015610ce357600080fd5b505afa158015610cf7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1b9190612721565b9050610d27828261287b565b925050506000610d3660025490565b905080610daf57610d4a620f42408361287b565b92508260096000828254610d5e9190612830565b92505081905550620f4240600a6000828254610d7a9190612830565b92505081905550620f4240600b6000828254610d969190612830565b90915550610daa90506001620f4240611e1c565b610ded565b600a54600954610dbf9190612830565b610dc9828461285c565b610dd39190612848565b92508160096000828254610de79190612830565b90915550505b60008311610e355760405162461bcd60e51b81526020600482015260156024820152741b5a5b9d0bdb9bcb58dc99591a5d0b5b5a5b9d1959605a1b604482015260640161056f565b610e3f8584611e1c565b60408051858152602081018590526001600160a01b0387169133917f2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee910160405180910390a35050600160065592915050565b600060026006541415610eb75760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610f2a5760405162461bcd60e51b8152602060048201526013602482015272626f72726f772f6e6f742d4265746142616e6b60681b604482015260640161056f565b610f3261146e565b610f666001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000168484611ab5565b610f7f600b5483610f77919061285c565b600a54611efb565b90508160096000828254610f93919061287b565b9250508190555081600a6000828254610fac9190612830565b9250508190555080600b6000828254610fc59190612830565b9091555050600160065592915050565b6000610fdf61146e565b81610fec57506000919050565b611005600a5483610ffd919061285c565b600b54611efb565b92915050565b6001600160a01b038116600090815260056020526040812054611005565b60607f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561108457600080fd5b505afa9250505080156110b957506040513d6000823e601f3d908101601f191682016040526110b69190810190612666565b60015b6110f5573d8080156110e7576040519150601f19603f3d011682016040523d82523d6000602084013e6110ec565b606091505b5061050a611f2d565b806040516020016105219190612773565b60006002600654141561112b5760405162461bcd60e51b815260040161056f906127f9565b600260065561113861146e565b600061114360025490565b905080600a546009546111569190612830565b611160908561285c565b61116a9190612848565b9150600082116111bc5760405162461bcd60e51b815260206004820152601760248201527f6275726e2f6e6f2d616d6f756e742d72657475726e6564000000000000000000604482015260640161056f565b81600960008282546111ce919061287b565b909155506111de90503384611f3c565b6112126001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000168584611ab5565b60408051838152602081018590526001600160a01b0386169133917f5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2910160405180910390a350600160065592915050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156112e65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161056f565b6112f33385858403611991565b5060019392505050565b6000610543338484611b5b565b8342111561135a5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161056f565b60007f00000000000000000000000000000000000000000000000000000000000000008888886113898c61208a565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e00160405160208183030381529060405280519060200120905060006113e4826120b2565b905060006113f482878787612100565b9050896001600160a01b0316816001600160a01b0316146114575760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161056f565b6114628a8a8a611991565b50505050505050505050565b60006008544261147e919061287b565b9050806114885750565b426008819055507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316635c975abb6040518163ffffffff1660e01b815260040160206040518083038186803b1580156114e857600080fd5b505afa1580156114fc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115209190612644565b1561155f5760405162461bcd60e51b815260206004820152600f60248201526e10995d1850985b9acbdc185d5cd959608a1b604482015260640161056f565b600a54600954600754604080516379502c5560e01b815290516000916001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016916379502c5591600480820192602092909190829003018186803b1580156115cc57600080fd5b505afa1580156115e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116049190612510565b905060007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663ac165d7a6040518163ffffffff1660e01b815260040160206040518083038186803b15801561166157600080fd5b505afa158015611675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116999190612510565b90506000670de0b6b3a76400006301e13380886116b6898861285c565b6116c0919061285c565b6116ca9190612848565b6116d49190612848565b90506116e08187612830565b600a81905560405163fae7f00d60e01b8152600481018690526024810187905260448101829052606481018990529096506001600160a01b0383169063fae7f00d9060840160206040518083038186803b15801561173d57600080fd5b505afa158015611751573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117759190612721565b60075580156118f6576000836001600160a01b03166358d7bf806040518163ffffffff1660e01b815260040160206040518083038186803b1580156117b957600080fd5b505afa1580156117cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117f19190612721565b905080156118c1576000670de0b6b3a764000061180e838561285c565b6118189190612848565b90506118bf856001600160a01b031663914870eb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561185657600080fd5b505afa15801561186a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061188e9190612510565b826118998a8c612830565b6118a3919061287b565b6002546118b0908561285c565b6118ba9190612848565b611e1c565b505b6040518281527f184f65042d0acee3fe9a2216428397968211b66a6f53244a44eb13ae62bc72359060200160405180910390a1505b50505050505050565b60606003805461190e906128be565b80601f016020809104026020016040519081016040528092919081815260200182805461193a906128be565b80156119875780601f1061195c57610100808354040283529160200191611987565b820191906000526020600020905b81548152906001019060200180831161196a57829003601f168201915b5050505050905090565b6001600160a01b0383166119f35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161056f565b6001600160a01b038216611a545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161056f565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6040516001600160a01b038316602482015260448101829052611b1890849063a9059cbb60e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b0319909316929092179091526122a9565b505050565b6040516001600160a01b0380851660248301528316604482015260648101829052611b559085906323b872dd60e01b90608401611ae1565b50505050565b6001600160a01b038316611bbf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161056f565b6001600160a01b038216611c215760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161056f565b6001600160a01b03831660009081526020819052604090205481811015611c995760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161056f565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611cd0908490612830565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d1c91815260200190565b60405180910390a3611b55565b60007f0000000000000000000000000000000000000000000000000000000000000000461415611d7857507f000000000000000000000000000000000000000000000000000000000000000090565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b6001600160a01b038216611e725760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161056f565b8060026000828254611e849190612830565b90915550506001600160a01b03821660009081526020819052604081208054839290611eb1908490612830565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6000611f0782846128f3565b15611f13576001611f16565b60005b60ff16611f238385612848565b610a5f9190612830565b60606004805461190e906128be565b6001600160a01b038216611f9c5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161056f565b6001600160a01b038216600090815260208190526040902054818110156120105760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161056f565b6001600160a01b038316600090815260208190526040812083830390556002805484929061203f90849061287b565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3505050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b60006110056120bf611d29565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561217d5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161056f565b8360ff16601b148061219257508360ff16601c145b6121e95760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b606482015260840161056f565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa15801561223d573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166122a05760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161056f565b95945050505050565b60006122fe826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b031661237b9092919063ffffffff16565b805190915015611b18578080602001905181019061231c9190612644565b611b185760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b606482015260840161056f565b606061238a8484600085612392565b949350505050565b6060824710156123f35760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b606482015260840161056f565b843b6124415760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015260640161056f565b600080866001600160a01b0316858760405161245d9190612757565b60006040518083038185875af1925050503d806000811461249a576040519150601f19603f3d011682016040523d82523d6000602084013e61249f565b606091505b50915091506124af8282866124ba565b979650505050505050565b606083156124c9575081610a5f565b8251156124d95782518084602001fd5b8160405162461bcd60e51b815260040161056f91906127c6565b60006020828403121561250557600080fd5b8135610a5f81612949565b60006020828403121561252257600080fd5b8151610a5f81612949565b6000806040838503121561254057600080fd5b823561254b81612949565b9150602083013561255b81612949565b809150509250929050565b60008060006060848603121561257b57600080fd5b833561258681612949565b9250602084013561259681612949565b929592945050506040919091013590565b600080600080600080600060e0888a0312156125c257600080fd5b87356125cd81612949565b965060208801356125dd81612949565b9550604088013594506060880135935060808801356125fb81612961565b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561262b57600080fd5b823561263681612949565b946020939093013593505050565b60006020828403121561265657600080fd5b81518015158114610a5f57600080fd5b60006020828403121561267857600080fd5b815167ffffffffffffffff8082111561269057600080fd5b818401915084601f8301126126a457600080fd5b8151818111156126b6576126b6612933565b604051601f8201601f19908116603f011681019083821181831017156126de576126de612933565b816040528281528760208487010111156126f757600080fd5b6124af836020830160208801612892565b60006020828403121561271a57600080fd5b5035919050565b60006020828403121561273357600080fd5b5051919050565b60006020828403121561274c57600080fd5b8151610a5f81612961565b60008251612769818460208701612892565b9190910192915050565b603160f91b81526000825161278f816001850160208701612892565b9190910160010192915050565b61021160f51b8152600082516127b9816002850160208701612892565b9190910160020192915050565b60208152600082518060208401526127e5816040850160208701612892565b601f01601f19169190910160400192915050565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b6000821982111561284357612843612907565b500190565b6000826128575761285761291d565b500490565b600081600019048311821515161561287657612876612907565b500290565b60008282101561288d5761288d612907565b500390565b60005b838110156128ad578181015183820152602001612895565b83811115611b555750506000910152565b600181811c908216806128d257607f821691505b602082108114156120ac57634e487b7160e01b600052602260045260246000fd5b6000826129025761290261291d565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461295e57600080fd5b50565b60ff8116811461295e57600080fdfea264697066735822122055383071d6786d3f31f38890e7dc3c03e9e58d3333aad272946e13e25f93318f64736f6c63430008060033000000000000000000000000972a785b390d05123497169a04c72de652493be1000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7

0x608060405234801561001057600080fd5b50600436106101cf5760003560e01c8063684b51d4116101045780639ffe7973116100a2578063d505accf11610071578063d505accf146103e1578063d8a0ac26146103f4578063dd62ed3e146103fd578063f8ba4cff1461043657600080fd5b80639ffe7973146103a8578063a457c2d7146103b1578063a9059cbb146103c4578063ba9a7a56146103d757600080fd5b80637c3a00fd116100de5780637c3a00fd146103715780637ecebe001461037a57806395d89b411461038d5780639dc29fac1461039557600080fd5b8063684b51d4146103185780636f307dc31461032157806370a082311461034857600080fd5b80633644e51511610171578063453b1a8b1161014b578063453b1a8b146102aa5780634b8a3529146102b3578063550ba367146102c65780635dd925851461030557600080fd5b80633644e5151461027c578063395093511461028457806340c10f191461029757600080fd5b80631ec82cb8116101ad5780631ec82cb81461022757806322867d781461023c57806323b872dd1461024f578063313ce5671461026257600080fd5b806306fdde03146101d4578063095ea7b3146101f257806318160ddd14610215575b600080fd5b6101dc61043e565b6040516101e991906127c6565b60405180910390f35b610205610200366004612618565b610536565b60405190151581526020016101e9565b6002545b6040519081526020016101e9565b61023a610235366004612566565b61054c565b005b61021961024a366004612618565b61068e565b61020561025d366004612566565b6109ba565b61026a610a66565b60405160ff90911681526020016101e9565b610219610b31565b610205610292366004612618565b610b40565b6102196102a5366004612618565b610b7c565b610219600a5481565b6102196102c1366004612618565b610e92565b6102ed7f000000000000000000000000972a785b390d05123497169a04c72de652493be181565b6040516001600160a01b0390911681526020016101e9565b610219610313366004612708565b610fd5565b610219600b5481565b6102ed7f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec781565b6102196103563660046124f3565b6001600160a01b031660009081526020819052604090205490565b61021960075481565b6102196103883660046124f3565b61100b565b6101dc611029565b6102196103a3366004612618565b611106565b61021960085481565b6102056103bf366004612618565b611264565b6102056103d2366004612618565b6112fd565b610219620f424081565b61023a6103ef3660046125a7565b61130a565b61021960095481565b61021961040b36600461252d565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b61023a61146e565b60607f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec76001600160a01b03166306fdde036040518163ffffffff1660e01b815260040160006040518083038186803b15801561049957600080fd5b505afa9250505080156104ce57506040513d6000823e601f3d908101601f191682016040526104cb9190810190612666565b60015b610510573d8080156104fc576040519150601f19603f3d011682016040523d82523d6000602084013e610501565b606091505b5061050a6118ff565b91505090565b80604051602001610521919061279c565b60405160208183030381529060405291505090565b6000610543338484611991565b50600192915050565b600260065414156105785760405162461bcd60e51b815260040161056f906127f9565b60405180910390fd5b6002600655336001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be116146105ec5760405162461bcd60e51b81526020600482015260146024820152737265636f7665722f6e6f742d4265746142616e6b60601b604482015260640161056f565b600019811415610670576040516370a0823160e01b81523060048201526001600160a01b038416906370a082319060240160206040518083038186803b15801561063557600080fd5b505afa158015610649573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061066d9190612721565b90505b6106846001600160a01b0384168383611ab5565b5050600160065550565b6000600260065414156106b35760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be116146107255760405162461bcd60e51b815260206004820152601260248201527172657061792f6e6f742d4265746142616e6b60701b604482015260640161056f565b61072d61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec716906370a082319060240160206040518083038186803b15801561079157600080fd5b505afa1580156107a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107c99190612721565b90506108006001600160a01b037f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec716863087611b1d565b6040516370a0823160e01b81523060048201526000907f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec76001600160a01b0316906370a082319060240160206040518083038186803b15801561086257600080fd5b505afa158015610876573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089a9190612721565b90506108a6828261287b565b92505050600a548111156108f45760405162461bcd60e51b81526020600482015260156024820152740e4cae0c2f25ec2dadeeadce85ae8dede5ad0d2ced605b1b604482015260640161056f565b600a54600b54610904908361285c565b61090e9190612848565b915080600960008282546109229190612830565b9250508190555080600a600082825461093b919061287b565b9250508190555081600b6000828254610954919061287b565b9091555050600b54620f424011156109ae5760405162461bcd60e51b815260206004820152601c60248201527f72657061792f746f6f2d6c6f772d73756d2d646562742d736861726500000000604482015260640161056f565b50600160065592915050565b60006109c7848484611b5b565b6001600160a01b038416600090815260016020908152604080832033845290915290205482811015610a4c5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b606482015260840161056f565b610a598533858403611991565b60019150505b9392505050565b60007f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec76001600160a01b031663313ce5676040518163ffffffff1660e01b815260040160206040518083038186803b158015610ac157600080fd5b505afa925050508015610af1575060408051601f3d908101601f19168201909252610aee9181019061273a565b60015b610b2c573d808015610b1f576040519150601f19603f3d011682016040523d82523d6000602084013e610b24565b606091505b50601261050a565b919050565b6000610b3b611d29565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610543918590610b77908690612830565b611991565b600060026006541415610ba15760405162461bcd60e51b815260040161056f906127f9565b6002600655610bae61146e565b6040516370a0823160e01b815230600482015260009081906001600160a01b037f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec716906370a082319060240160206040518083038186803b158015610c1257600080fd5b505afa158015610c26573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4a9190612721565b9050610c816001600160a01b037f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec716333087611b1d565b6040516370a0823160e01b81523060048201526000907f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec76001600160a01b0316906370a082319060240160206040518083038186803b158015610ce357600080fd5b505afa158015610cf7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d1b9190612721565b9050610d27828261287b565b925050506000610d3660025490565b905080610daf57610d4a620f42408361287b565b92508260096000828254610d5e9190612830565b92505081905550620f4240600a6000828254610d7a9190612830565b92505081905550620f4240600b6000828254610d969190612830565b90915550610daa90506001620f4240611e1c565b610ded565b600a54600954610dbf9190612830565b610dc9828461285c565b610dd39190612848565b92508160096000828254610de79190612830565b90915550505b60008311610e355760405162461bcd60e51b81526020600482015260156024820152741b5a5b9d0bdb9bcb58dc99591a5d0b5b5a5b9d1959605a1b604482015260640161056f565b610e3f8584611e1c565b60408051858152602081018590526001600160a01b0387169133917f2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee910160405180910390a35050600160065592915050565b600060026006541415610eb75760405162461bcd60e51b815260040161056f906127f9565b6002600655336001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be11614610f2a5760405162461bcd60e51b8152602060048201526013602482015272626f72726f772f6e6f742d4265746142616e6b60681b604482015260640161056f565b610f3261146e565b610f666001600160a01b037f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7168484611ab5565b610f7f600b5483610f77919061285c565b600a54611efb565b90508160096000828254610f93919061287b565b9250508190555081600a6000828254610fac9190612830565b9250508190555080600b6000828254610fc59190612830565b9091555050600160065592915050565b6000610fdf61146e565b81610fec57506000919050565b611005600a5483610ffd919061285c565b600b54611efb565b92915050565b6001600160a01b038116600090815260056020526040812054611005565b60607f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec76001600160a01b03166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561108457600080fd5b505afa9250505080156110b957506040513d6000823e601f3d908101601f191682016040526110b69190810190612666565b60015b6110f5573d8080156110e7576040519150601f19603f3d011682016040523d82523d6000602084013e6110ec565b606091505b5061050a611f2d565b806040516020016105219190612773565b60006002600654141561112b5760405162461bcd60e51b815260040161056f906127f9565b600260065561113861146e565b600061114360025490565b905080600a546009546111569190612830565b611160908561285c565b61116a9190612848565b9150600082116111bc5760405162461bcd60e51b815260206004820152601760248201527f6275726e2f6e6f2d616d6f756e742d72657475726e6564000000000000000000604482015260640161056f565b81600960008282546111ce919061287b565b909155506111de90503384611f3c565b6112126001600160a01b037f000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7168584611ab5565b60408051838152602081018590526001600160a01b0386169133917f5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2910160405180910390a350600160065592915050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156112e65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161056f565b6112f33385858403611991565b5060019392505050565b6000610543338484611b5b565b8342111561135a5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161056f565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886113898c61208a565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e00160405160208183030381529060405280519060200120905060006113e4826120b2565b905060006113f482878787612100565b9050896001600160a01b0316816001600160a01b0316146114575760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161056f565b6114628a8a8a611991565b50505050505050505050565b60006008544261147e919061287b565b9050806114885750565b426008819055507f000000000000000000000000972a785b390d05123497169a04c72de652493be16001600160a01b0316635c975abb6040518163ffffffff1660e01b815260040160206040518083038186803b1580156114e857600080fd5b505afa1580156114fc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115209190612644565b1561155f5760405162461bcd60e51b815260206004820152600f60248201526e10995d1850985b9acbdc185d5cd959608a1b604482015260640161056f565b600a54600954600754604080516379502c5560e01b815290516000916001600160a01b037f000000000000000000000000972a785b390d05123497169a04c72de652493be116916379502c5591600480820192602092909190829003018186803b1580156115cc57600080fd5b505afa1580156115e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116049190612510565b905060007f000000000000000000000000972a785b390d05123497169a04c72de652493be16001600160a01b031663ac165d7a6040518163ffffffff1660e01b815260040160206040518083038186803b15801561166157600080fd5b505afa158015611675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116999190612510565b90506000670de0b6b3a76400006301e13380886116b6898861285c565b6116c0919061285c565b6116ca9190612848565b6116d49190612848565b90506116e08187612830565b600a81905560405163fae7f00d60e01b8152600481018690526024810187905260448101829052606481018990529096506001600160a01b0383169063fae7f00d9060840160206040518083038186803b15801561173d57600080fd5b505afa158015611751573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117759190612721565b60075580156118f6576000836001600160a01b03166358d7bf806040518163ffffffff1660e01b815260040160206040518083038186803b1580156117b957600080fd5b505afa1580156117cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117f19190612721565b905080156118c1576000670de0b6b3a764000061180e838561285c565b6118189190612848565b90506118bf856001600160a01b031663914870eb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561185657600080fd5b505afa15801561186a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061188e9190612510565b826118998a8c612830565b6118a3919061287b565b6002546118b0908561285c565b6118ba9190612848565b611e1c565b505b6040518281527f184f65042d0acee3fe9a2216428397968211b66a6f53244a44eb13ae62bc72359060200160405180910390a1505b50505050505050565b60606003805461190e906128be565b80601f016020809104026020016040519081016040528092919081815260200182805461193a906128be565b80156119875780601f1061195c57610100808354040283529160200191611987565b820191906000526020600020905b81548152906001019060200180831161196a57829003601f168201915b5050505050905090565b6001600160a01b0383166119f35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161056f565b6001600160a01b038216611a545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161056f565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6040516001600160a01b038316602482015260448101829052611b1890849063a9059cbb60e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b0319909316929092179091526122a9565b505050565b6040516001600160a01b0380851660248301528316604482015260648101829052611b559085906323b872dd60e01b90608401611ae1565b50505050565b6001600160a01b038316611bbf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161056f565b6001600160a01b038216611c215760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161056f565b6001600160a01b03831660009081526020819052604090205481811015611c995760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161056f565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611cd0908490612830565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d1c91815260200190565b60405180910390a3611b55565b60007f0000000000000000000000000000000000000000000000000000000000000001461415611d7857507f2f052e4fd57adb62af1ba44bbf157a91df482cf1649013d685c656417fde328690565b50604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6020808301919091527ff298fc33cba3cfdbf2454e2f19b4a97c9207157f8eeee7439da2c9ce4b540bbb828401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b6001600160a01b038216611e725760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161056f565b8060026000828254611e849190612830565b90915550506001600160a01b03821660009081526020819052604081208054839290611eb1908490612830565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6000611f0782846128f3565b15611f13576001611f16565b60005b60ff16611f238385612848565b610a5f9190612830565b60606004805461190e906128be565b6001600160a01b038216611f9c5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161056f565b6001600160a01b038216600090815260208190526040902054818110156120105760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161056f565b6001600160a01b038316600090815260208190526040812083830390556002805484929061203f90849061287b565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3505050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b60006110056120bf611d29565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561217d5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161056f565b8360ff16601b148061219257508360ff16601c145b6121e95760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b606482015260840161056f565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa15801561223d573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166122a05760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161056f565b95945050505050565b60006122fe826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b031661237b9092919063ffffffff16565b805190915015611b18578080602001905181019061231c9190612644565b611b185760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b606482015260840161056f565b606061238a8484600085612392565b949350505050565b6060824710156123f35760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b606482015260840161056f565b843b6124415760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015260640161056f565b600080866001600160a01b0316858760405161245d9190612757565b60006040518083038185875af1925050503d806000811461249a576040519150601f19603f3d011682016040523d82523d6000602084013e61249f565b606091505b50915091506124af8282866124ba565b979650505050505050565b606083156124c9575081610a5f565b8251156124d95782518084602001fd5b8160405162461bcd60e51b815260040161056f91906127c6565b60006020828403121561250557600080fd5b8135610a5f81612949565b60006020828403121561252257600080fd5b8151610a5f81612949565b6000806040838503121561254057600080fd5b823561254b81612949565b9150602083013561255b81612949565b809150509250929050565b60008060006060848603121561257b57600080fd5b833561258681612949565b9250602084013561259681612949565b929592945050506040919091013590565b600080600080600080600060e0888a0312156125c257600080fd5b87356125cd81612949565b965060208801356125dd81612949565b9550604088013594506060880135935060808801356125fb81612961565b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561262b57600080fd5b823561263681612949565b946020939093013593505050565b60006020828403121561265657600080fd5b81518015158114610a5f57600080fd5b60006020828403121561267857600080fd5b815167ffffffffffffffff8082111561269057600080fd5b818401915084601f8301126126a457600080fd5b8151818111156126b6576126b6612933565b604051601f8201601f19908116603f011681019083821181831017156126de576126de612933565b816040528281528760208487010111156126f757600080fd5b6124af836020830160208801612892565b60006020828403121561271a57600080fd5b5035919050565b60006020828403121561273357600080fd5b5051919050565b60006020828403121561274c57600080fd5b8151610a5f81612961565b60008251612769818460208701612892565b9190910192915050565b603160f91b81526000825161278f816001850160208701612892565b9190910160010192915050565b61021160f51b8152600082516127b9816002850160208701612892565b9190910160020192915050565b60208152600082518060208401526127e5816040850160208701612892565b601f01601f19169190910160400192915050565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b6000821982111561284357612843612907565b500190565b6000826128575761285761291d565b500490565b600081600019048311821515161561287657612876612907565b500290565b60008282101561288d5761288d612907565b500390565b60005b838110156128ad578181015183820152602001612895565b83811115611b555750506000910152565b600181811c908216806128d257607f821691505b602082108114156120ac57634e487b7160e01b600052602260045260246000fd5b6000826129025761290261291d565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461295e57600080fd5b50565b60ff8116811461295e57600080fdfea264697066735822122055383071d6786d3f31f38890e7dc3c03e9e58d3333aad272946e13e25f93318f64736f6c63430008060033

000000000000000000000000972a785b390d05123497169a04c72de652493be1000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7

-----Decoded View---------------
Arg [0] : _betaBank (address): 0x972a785b390D05123497169a04c72dE652493BE1
Arg [1] : _underlying (address): 0xdAC17F958D2ee523a2206206994597C13D831ec7

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000972a785b390d05123497169a04c72de652493be1
Arg [1] : 000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7

55060:8516:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;56579:258;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;44481:169;;;;;;:::i;:::-;;:::i;:::-;;;6854:14:1;;6847:22;6829:41;;6817:2;6802:18;44481:169:0;6784:92:1;43434:108:0;43522:12;;43434:108;;;7027:25:1;;;7015:2;7000:18;43434:108:0;6982:76:1;63252:321:0;;;;;;:::i;:::-;;:::i;:::-;;62175:757;;;;;;:::i;:::-;;:::i;45132:492::-;;;;;;:::i;:::-;;:::i;57210:222::-;;;:::i;:::-;;;20161:4:1;20149:17;;;20131:36;;20119:2;20104:18;57210:222:0;20086:87:1;54570:115:0;;;:::i;46033:215::-;;;;;;:::i;:::-;;:::i;59516:1011::-;;;;;;:::i;:::-;;:::i;55793:21::-;;;;;;61487:396;;;;;;:::i;:::-;;:::i;55472:33::-;;;;;;;;-1:-1:-1;;;;;5986:32:1;;;5968:51;;5956:2;5941:18;55472:33:0;5923:102:1;59048:221:0;;;;;;:::i;:::-;;:::i;55843:26::-;;;;;;55530:35;;;;;43605:127;;;;;;:::i;:::-;-1:-1:-1;;;;;43706:18:0;43679:7;43706:18;;;;;;;;;;;;43605:127;55596:24;;;;;;54312:128;;;;;;:::i;:::-;;:::i;56888:263::-;;;:::i;60813:421::-;;;;;;:::i;:::-;;:::i;55650:26::-;;;;;;46751:413;;;;;;:::i;:::-;;:::i;43945:175::-;;;;;;:::i;:::-;;:::i;55350:46::-;;55391:5;55350:46;;53601:645;;;;;;:::i;:::-;;:::i;55716:25::-;;;;;;44183:151;;;;;;:::i;:::-;-1:-1:-1;;;;;44299:18:0;;;44272:7;44299:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;44183:151;57531:1422;;;:::i;56579:258::-;56625:13;56666:10;-1:-1:-1;;;;;56651:31:0;;:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;56651:33:0;;;;;;;;;;;;:::i;:::-;;;56647:185;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;56812:12;:10;:12::i;:::-;56805:19;;;56579:258;:::o;56647:185::-;56760:4;56737:28;;;;;;;;:::i;:::-;;;;;;;;;;;;;56723:43;;;56579:258;:::o;44481:169::-;44564:4;44581:39;12703:10;44604:7;44613:6;44581:8;:39::i;:::-;-1:-1:-1;44638:4:0;44481:169;;;;:::o;63252:321::-;28211:1;28807:7;;:19;;28799:63;;;;-1:-1:-1;;;28799:63:0;;;;;;;:::i;:::-;;;;;;;;;28211:1;28940:7;:18;63369:10:::1;-1:-1:-1::0;;;;;63383:8:0::1;63369:22;;63361:55;;;::::0;-1:-1:-1;;;63361:55:0;;13329:2:1;63361:55:0::1;::::0;::::1;13311:21:1::0;13368:2;13348:18;;;13341:30;-1:-1:-1;;;13387:18:1;;;13380:50;13447:18;;63361:55:0::1;13301:170:1::0;63361:55:0::1;-1:-1:-1::0;;63427:7:0::1;:25;63423:97;;;63473:39;::::0;-1:-1:-1;;;63473:39:0;;63506:4:::1;63473:39;::::0;::::1;5968:51:1::0;-1:-1:-1;;;;;63473:24:0;::::1;::::0;::::1;::::0;5941:18:1;;63473:39:0::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;63463:49;;63423:97;63526:41;-1:-1:-1::0;;;;;63526:27:0;::::1;63554:3:::0;63559:7;63526:27:::1;:41::i;:::-;-1:-1:-1::0;;28167:1:0;29119:7;:22;-1:-1:-1;63252:321:0:o;62175:757::-;62250:14;28211:1;28807:7;;:19;;28799:63;;;;-1:-1:-1;;;28799:63:0;;;;;;;:::i;:::-;28211:1;28940:7;:18;62281:10:::1;-1:-1:-1::0;;;;;62295:8:0::1;62281:22;;62273:53;;;::::0;-1:-1:-1;;;62273:53:0;;11407:2:1;62273:53:0::1;::::0;::::1;11389:21:1::0;11446:2;11426:18;;;11419:30;-1:-1:-1;;;11465:18:1;;;11458:48;11523:18;;62273:53:0::1;11379:168:1::0;62273:53:0::1;62333:8;:6;:8::i;:::-;62392:43;::::0;-1:-1:-1;;;62392:43:0;;62429:4:::1;62392:43;::::0;::::1;5968:51:1::0;62348:11:0::1;::::0;;;-1:-1:-1;;;;;62399:10:0::1;62392:28;::::0;::::1;::::0;5941:18:1;;62392:43:0::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;62375:60:::0;-1:-1:-1;62444:66:0::1;-1:-1:-1::0;;;;;62451:10:0::1;62444:35;62480:5:::0;62495:4:::1;62502:7:::0;62444:35:::1;:66::i;:::-;62535:43;::::0;-1:-1:-1;;;62535:43:0;;62572:4:::1;62535:43;::::0;::::1;5968:51:1::0;62519:13:0::1;::::0;62542:10:::1;-1:-1:-1::0;;;;;62535:28:0::1;::::0;::::1;::::0;5941:18:1;;62535:43:0::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;62519:59:::0;-1:-1:-1;62596:20:0::1;62607:9:::0;62519:59;62596:20:::1;:::i;:::-;62587:29;;62366:258;;62648:9;;62638:6;:19;;62630:53;;;::::0;-1:-1:-1;;;62630:53:0;;10654:2:1;62630:53:0::1;::::0;::::1;10636:21:1::0;10693:2;10673:18;;;10666:30;-1:-1:-1;;;10712:18:1;;;10705:51;10773:18;;62630:53:0::1;10626:171:1::0;62630:53:0::1;62730:9;::::0;62712:14:::1;::::0;62703:23:::1;::::0;:6;:23:::1;:::i;:::-;62702:37;;;;:::i;:::-;62690:49;;62777:6;62760:13;;:23;;;;;;;:::i;:::-;;;;;;;;62803:6;62790:9;;:19;;;;;;;:::i;:::-;;;;;;;;62834:9;62816:14;;:27;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;62858:14:0::1;::::0;55391:5:::1;-1:-1:-1::0;62858:35:0::1;62850:76;;;::::0;-1:-1:-1;;;62850:76:0;;15545:2:1;62850:76:0::1;::::0;::::1;15527:21:1::0;15584:2;15564:18;;;15557:30;15623;15603:18;;;15596:58;15671:18;;62850:76:0::1;15517:178:1::0;62850:76:0::1;-1:-1:-1::0;28167:1:0;29119:7;:22;62175:757;;-1:-1:-1;;62175:757:0:o;45132:492::-;45272:4;45289:36;45299:6;45307:9;45318:6;45289:9;:36::i;:::-;-1:-1:-1;;;;;45365:19:0;;45338:24;45365:19;;;:11;:19;;;;;;;;12703:10;45365:33;;;;;;;;45417:26;;;;45409:79;;;;-1:-1:-1;;;45409:79:0;;15136:2:1;45409:79:0;;;15118:21:1;15175:2;15155:18;;;15148:30;15214:34;15194:18;;;15187:62;-1:-1:-1;;;15265:18:1;;;15258:38;15313:19;;45409:79:0;15108:230:1;45409:79:0;45524:57;45533:6;12703:10;45574:6;45555:16;:25;45524:8;:57::i;:::-;45612:4;45605:11;;;45132:492;;;;;;:::o;57210:222::-;57260:5;57293:10;-1:-1:-1;;;;;57278:35:0;;:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;57278:37:0;;;;;;;;-1:-1:-1;;57278:37:0;;;;;;;;;;;;:::i;:::-;;;57274:153;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;43359:2:0;57403:16;43276:93;57274:153;57353:4;57210:222;-1:-1:-1;57210:222:0:o;54570:115::-;54630:7;54657:20;:18;:20::i;:::-;54650:27;;54570:115;:::o;46033:215::-;12703:10;46121:4;46170:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;46170:34:0;;;;;;;;;;46121:4;;46138:80;;46161:7;;46170:47;;46207:10;;46170:47;:::i;:::-;46138:8;:80::i;59516:1011::-;59588:11;28211:1;28807:7;;:19;;28799:63;;;;-1:-1:-1;;;28799:63:0;;;;;;;:::i;:::-;28211:1;28940:7;:18;59608:8:::1;:6;:8::i;:::-;59667:43;::::0;-1:-1:-1;;;59667:43:0;;59704:4:::1;59667:43;::::0;::::1;5968:51:1::0;59623:11:0::1;::::0;;;-1:-1:-1;;;;;59674:10:0::1;59667:28;::::0;::::1;::::0;5941:18:1;;59667:43:0::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;59650:60:::0;-1:-1:-1;59719:71:0::1;-1:-1:-1::0;;;;;59726:10:0::1;59719:35;59755:10;59775:4;59782:7:::0;59719:35:::1;:71::i;:::-;59815:43;::::0;-1:-1:-1;;;59815:43:0;;59852:4:::1;59815:43;::::0;::::1;5968:51:1::0;59799:13:0::1;::::0;59822:10:::1;-1:-1:-1::0;;;;;59815:28:0::1;::::0;::::1;::::0;5941:18:1;;59815:43:0::1;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;59799:59:::0;-1:-1:-1;59876:20:0::1;59887:9:::0;59799:59;59876:20:::1;:::i;:::-;59867:29;;59641:263;;59910:11;59924:13;43522:12:::0;;;43434:108;59924:13:::1;59910:27:::0;-1:-1:-1;59948:11:0;59944:452:::1;;59979:26;55391:5;59979:6:::0;:26:::1;:::i;:::-;59970:35;;60093:6;60076:13;;:23;;;;;;;:::i;:::-;;;;;;;;55391:5;60108:9;;:30;;;;;;;:::i;:::-;;;;;;;;55391:5;60147:14;;:35;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;60191:36:0::1;::::0;-1:-1:-1;60205:1:0::1;55391:5;60191;:36::i;:::-;59944:452;;;60346:9;;60330:13;;:25;;;;:::i;:::-;60310:15;60319:6:::0;60310;:15:::1;:::i;:::-;60309:47;;;;:::i;:::-;60300:56;;60382:6;60365:13;;:23;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;59944:452:0::1;60419:1;60410:6;:10;60402:44;;;::::0;-1:-1:-1;;;60402:44:0;;16710:2:1;60402:44:0::1;::::0;::::1;16692:21:1::0;16749:2;16729:18;;;16722:30;-1:-1:-1;;;16768:18:1;;;16761:51;16829:18;;60402:44:0::1;16682:171:1::0;60402:44:0::1;60453:18;60459:3;60464:6;60453:5;:18::i;:::-;60483:38;::::0;;19514:25:1;;;19570:2;19555:18;;19548:34;;;-1:-1:-1;;;;;60483:38:0;::::1;::::0;60488:10:::1;::::0;60483:38:::1;::::0;19487:18:1;60483:38:0::1;;;;;;;-1:-1:-1::0;;28167:1:0;29119:7;:22;59516:1011;;-1:-1:-1;;59516:1011:0:o;61487:396::-;61561:14;28211:1;28807:7;;:19;;28799:63;;;;-1:-1:-1;;;28799:63:0;;;;;;;:::i;:::-;28211:1;28940:7;:18;61592:10:::1;-1:-1:-1::0;;;;;61606:8:0::1;61592:22;;61584:54;;;::::0;-1:-1:-1;;;61584:54:0;;9903:2:1;61584:54:0::1;::::0;::::1;9885:21:1::0;9942:2;9922:18;;;9915:30;-1:-1:-1;;;9961:18:1;;;9954:49;10020:18;;61584:54:0::1;9875:169:1::0;61584:54:0::1;61645:8;:6;:8::i;:::-;61660:45;-1:-1:-1::0;;;;;61667:10:0::1;61660:31;61692:3:::0;61697:7;61660:31:::1;:45::i;:::-;61724:49;61747:14;;61737:7;:24;;;;:::i;:::-;61763:9;;61724:12;:49::i;:::-;61712:61;;61809:7;61792:13;;:24;;;;;;;:::i;:::-;;;;;;;;61836:7;61823:9;;:20;;;;;;;:::i;:::-;;;;;;;;61868:9;61850:14;;:27;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;28167:1:0;29119:7;:22;61487:396;;-1:-1:-1;;61487:396:0:o;59048:221::-;59112:4;59125:8;:6;:8::i;:::-;59144:15;59140:46;;-1:-1:-1;59177:1:0;;59048:221;-1:-1:-1;59048:221:0:o;59140:46::-;59199:52;59225:9;;59212:10;:22;;;;:::i;:::-;59236:14;;59199:12;:52::i;:::-;59192:59;59048:221;-1:-1:-1;;59048:221:0:o;54312:128::-;-1:-1:-1;;;;;54408:14:0;;54381:7;54408:14;;;:7;:14;;;;;13723;54408:24;13631:114;56888:263;56936:13;56977:10;-1:-1:-1;;;;;56962:33:0;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;56962:35:0;;;;;;;;;;;;:::i;:::-;;;56958:188;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57124:14;:12;:14::i;56958:188::-;57072:4;57050:27;;;;;;;;:::i;60813:421::-;60885:11;28211:1;28807:7;;:19;;28799:63;;;;-1:-1:-1;;;28799:63:0;;;;;;;:::i;:::-;28211:1;28940:7;:18;60905:8:::1;:6;:8::i;:::-;60920:11;60934:13;43522:12:::0;;;43434:108;60934:13:::1;60920:27;;61005:6;60991:9;;60975:13;;:25;;;;:::i;:::-;60964:37;::::0;:7;:37:::1;:::i;:::-;60963:48;;;;:::i;:::-;60954:57;;61035:1;61026:6;:10;61018:46;;;::::0;-1:-1:-1;;;61018:46:0;;14425:2:1;61018:46:0::1;::::0;::::1;14407:21:1::0;14464:2;14444:18;;;14437:30;14503:25;14483:18;;;14476:53;14546:18;;61018:46:0::1;14397:173:1::0;61018:46:0::1;61088:6;61071:13;;:23;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;61101:26:0::1;::::0;-1:-1:-1;61107:10:0::1;61119:7:::0;61101:5:::1;:26::i;:::-;61134:44;-1:-1:-1::0;;;;;61141:10:0::1;61134:31;61166:3:::0;61171:6;61134:31:::1;:44::i;:::-;61190:38;::::0;;19514:25:1;;;19570:2;19555:18;;19548:34;;;-1:-1:-1;;;;;61190:38:0;::::1;::::0;61195:10:::1;::::0;61190:38:::1;::::0;19487:18:1;61190:38:0::1;;;;;;;-1:-1:-1::0;28167:1:0;29119:7;:22;60813:421;;-1:-1:-1;;60813:421:0:o;46751:413::-;12703:10;46844:4;46888:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;46888:34:0;;;;;;;;;;46941:35;;;;46933:85;;;;-1:-1:-1;;;46933:85:0;;18594:2:1;46933:85:0;;;18576:21:1;18633:2;18613:18;;;18606:30;18672:34;18652:18;;;18645:62;-1:-1:-1;;;18723:18:1;;;18716:35;18768:19;;46933:85:0;18566:227:1;46933:85:0;47054:67;12703:10;47077:7;47105:15;47086:16;:34;47054:8;:67::i;:::-;-1:-1:-1;47152:4:0;;46751:413;-1:-1:-1;;;46751:413:0:o;43945:175::-;44031:4;44048:42;12703:10;44072:9;44083:6;44048:9;:42::i;53601:645::-;53845:8;53826:15;:27;;53818:69;;;;-1:-1:-1;;;53818:69:0;;11754:2:1;53818:69:0;;;11736:21:1;11793:2;11773:18;;;11766:30;11832:31;11812:18;;;11805:59;11881:18;;53818:69:0;11726:179:1;53818:69:0;53900:18;53942:16;53960:5;53967:7;53976:5;53983:16;53993:5;53983:9;:16::i;:::-;53931:79;;;;;;7350:25:1;;;;-1:-1:-1;;;;;7449:15:1;;;7429:18;;;7422:43;7501:15;;;;7481:18;;;7474:43;7533:18;;;7526:34;7576:19;;;7569:35;7620:19;;;7613:35;;;7322:19;;53931:79:0;;;;;;;;;;;;53921:90;;;;;;53900:111;;54024:12;54039:28;54056:10;54039:16;:28::i;:::-;54024:43;;54080:14;54097:28;54111:4;54117:1;54120;54123;54097:13;:28::i;:::-;54080:45;;54154:5;-1:-1:-1;;;;;54144:15:0;:6;-1:-1:-1;;;;;54144:15:0;;54136:58;;;;-1:-1:-1;;;54136:58:0;;14777:2:1;54136:58:0;;;14759:21:1;14816:2;14796:18;;;14789:30;14855:32;14835:18;;;14828:60;14905:18;;54136:58:0;14749:180:1;54136:58:0;54207:31;54216:5;54223:7;54232:5;54207:8;:31::i;:::-;53807:439;;;53601:645;;;;;;;:::o;57531:1422::-;57600:15;57636:14;;57618:15;:32;;;;:::i;:::-;57600:50;-1:-1:-1;57661:15:0;57657:28;;57678:7;57531:1422::o;57657:28::-;57708:15;57691:14;:32;;;;57786:8;-1:-1:-1;;;;;57777:25:0;;:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;57776:28;57768:56;;;;-1:-1:-1;;;57768:56:0;;13678:2:1;57768:56:0;;;13660:21:1;13717:2;13697:18;;;13690:30;-1:-1:-1;;;13736:18:1;;;13729:45;13791:18;;57768:56:0;13650:165:1;57768:56:0;57966:9;;57984:13;;58006:12;;58107:28;;;-1:-1:-1;;;58107:28:0;;;;57897:15;;-1:-1:-1;;;;;58117:8:0;58107:26;;;;:28;;;;;;;;;;;;;;;:26;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58074:62;;58143:24;58199:8;-1:-1:-1;;;;;58189:33:0;;:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58143:82;-1:-1:-1;58232:13:0;58305:4;58293:8;58278:10;58249:26;58265:10;58249:13;:26;:::i;:::-;:39;;;;:::i;:::-;58248:54;;;;:::i;:::-;:61;;;;:::i;:::-;58232:77;-1:-1:-1;58368:22:0;58232:77;58368:22;;:::i;:::-;58397:9;:22;;;58441:80;;-1:-1:-1;;;58441:80:0;;;;;19824:25:1;;;19865:18;;;19858:34;;;19908:18;;;19901:34;;;19951:18;;;19944:34;;;58397:22:0;;-1:-1:-1;;;;;;58441:25:0;;;;;19796:19:1;;58441:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58426:12;:95;58599:12;;58595:353;;58622:16;58641:6;-1:-1:-1;;;;;58641:18:0;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58622:39;-1:-1:-1;58674:15:0;;58670:241;;58702:14;58746:4;58720:22;58731:11;58720:8;:22;:::i;:::-;58719:31;;;;:::i;:::-;58702:48;;58761:140;58779:6;-1:-1:-1;;;;;58779:25:0;;:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58880:9;58850:27;58863:14;58850:10;:27;:::i;:::-;:39;;;;:::i;:::-;43522:12;;58820:25;;:9;:25;:::i;:::-;58819:71;;;;:::i;:::-;58761:5;:140::i;:::-;58691:220;58670:241;58924:16;;7027:25:1;;;58924:16:0;;7015:2:1;7000:18;58924:16:0;;;;;;;58613:335;58595:353;57556:1397;;;;;;;57531:1422::o;42314:100::-;42368:13;42401:5;42394:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42314:100;:::o;50435:380::-;-1:-1:-1;;;;;50571:19:0;;50563:68;;;;-1:-1:-1;;;50563:68:0;;17060:2:1;50563:68:0;;;17042:21:1;17099:2;17079:18;;;17072:30;17138:34;17118:18;;;17111:62;-1:-1:-1;;;17189:18:1;;;17182:34;17233:19;;50563:68:0;17032:226:1;50563:68:0;-1:-1:-1;;;;;50650:21:0;;50642:68;;;;-1:-1:-1;;;50642:68:0;;11004:2:1;50642:68:0;;;10986:21:1;11043:2;11023:18;;;11016:30;11082:34;11062:18;;;11055:62;-1:-1:-1;;;11133:18:1;;;11126:32;11175:19;;50642:68:0;10976:224:1;50642:68:0;-1:-1:-1;;;;;50723:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;50775:32;;7027:25:1;;;50775:32:0;;7000:18:1;50775:32:0;;;;;;;50435:380;;;:::o;36991:211::-;37135:58;;-1:-1:-1;;;;;6602:32:1;;37135:58:0;;;6584:51:1;6651:18;;;6644:34;;;37108:86:0;;37128:5;;-1:-1:-1;;;37158:23:0;6557:18:1;;37135:58:0;;;;-1:-1:-1;;37135:58:0;;;;;;;;;;;;;;-1:-1:-1;;;;;37135:58:0;-1:-1:-1;;;;;;37135:58:0;;;;;;;;;;37108:19;:86::i;:::-;36991:211;;;:::o;37210:248::-;37381:68;;-1:-1:-1;;;;;6288:15:1;;;37381:68:0;;;6270:34:1;6340:15;;6320:18;;;6313:43;6372:18;;;6365:34;;;37354:96:0;;37374:5;;-1:-1:-1;;;37404:27:0;6205:18:1;;37381:68:0;6187:218:1;37354:96:0;37210:248;;;;:::o;47654:733::-;-1:-1:-1;;;;;47794:20:0;;47786:70;;;;-1:-1:-1;;;47786:70:0;;16304:2:1;47786:70:0;;;16286:21:1;16343:2;16323:18;;;16316:30;16382:34;16362:18;;;16355:62;-1:-1:-1;;;16433:18:1;;;16426:35;16478:19;;47786:70:0;16276:227:1;47786:70:0;-1:-1:-1;;;;;47875:23:0;;47867:71;;;;-1:-1:-1;;;47867:71:0;;9499:2:1;47867:71:0;;;9481:21:1;9538:2;9518:18;;;9511:30;9577:34;9557:18;;;9550:62;-1:-1:-1;;;9628:18:1;;;9621:33;9671:19;;47867:71:0;9471:225:1;47867:71:0;-1:-1:-1;;;;;48035:17:0;;48011:21;48035:17;;;;;;;;;;;48071:23;;;;48063:74;;;;-1:-1:-1;;;48063:74:0;;12112:2:1;48063:74:0;;;12094:21:1;12151:2;12131:18;;;12124:30;12190:34;12170:18;;;12163:62;-1:-1:-1;;;12241:18:1;;;12234:36;12287:19;;48063:74:0;12084:228:1;48063:74:0;-1:-1:-1;;;;;48173:17:0;;;:9;:17;;;;;;;;;;;48193:22;;;48173:42;;48237:20;;;;;;;;:30;;48209:6;;48173:9;48237:30;;48209:6;;48237:30;:::i;:::-;;;;;;;;48302:9;-1:-1:-1;;;;;48285:35:0;48294:6;-1:-1:-1;;;;;48285:35:0;;48313:6;48285:35;;;;7027:25:1;;7015:2;7000:18;;6982:76;48285:35:0;;;;;;;;48333:46;36991:211;32186:281;32239:7;32280:16;32263:13;:33;32259:201;;;-1:-1:-1;32320:24:0;;32186:281::o;32259:201::-;-1:-1:-1;32656:73:0;;;32406:10;32656:73;;;;7918:25:1;;;;32418:12:0;7959:18:1;;;7952:34;32432:15:0;8002:18:1;;;7995:34;32700:13:0;8045:18:1;;;8038:34;32723:4:0;8088:19:1;;;;8081:61;;;;32656:73:0;;;;;;;;;;7890:19:1;;;;32656:73:0;;;32646:84;;;;;;54570:115::o;48674:399::-;-1:-1:-1;;;;;48758:21:0;;48750:65;;;;-1:-1:-1;;;48750:65:0;;19000:2:1;48750:65:0;;;18982:21:1;19039:2;19019:18;;;19012:30;19078:33;19058:18;;;19051:61;19129:18;;48750:65:0;18972:181:1;48750:65:0;48906:6;48890:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;48923:18:0;;:9;:18;;;;;;;;;;:28;;48945:6;;48923:9;:28;;48945:6;;48923:28;:::i;:::-;;;;-1:-1:-1;;48967:37:0;;7027:25:1;;;-1:-1:-1;;;;;48967:37:0;;;48984:1;;48967:37;;7015:2:1;7000:18;48967:37:0;;;;;;;48674:399;;:::o;26286:197::-;26348:7;26456:5;26460:1;26456;:5;:::i;:::-;:10;:18;;26473:1;26456:18;;;26469:1;26456:18;26447:28;;:5;26451:1;26447;:5;:::i;:::-;:28;;;;:::i;42533:104::-;42589:13;42622:7;42615:14;;;;;:::i;49406:591::-;-1:-1:-1;;;;;49490:21:0;;49482:67;;;;-1:-1:-1;;;49482:67:0;;15902:2:1;49482:67:0;;;15884:21:1;15941:2;15921:18;;;15914:30;15980:34;15960:18;;;15953:62;-1:-1:-1;;;16031:18:1;;;16024:31;16072:19;;49482:67:0;15874:223:1;49482:67:0;-1:-1:-1;;;;;49649:18:0;;49624:22;49649:18;;;;;;;;;;;49686:24;;;;49678:71;;;;-1:-1:-1;;;49678:71:0;;10251:2:1;49678:71:0;;;10233:21:1;10290:2;10270:18;;;10263:30;10329:34;10309:18;;;10302:62;-1:-1:-1;;;10380:18:1;;;10373:32;10422:19;;49678:71:0;10223:224:1;49678:71:0;-1:-1:-1;;;;;49785:18:0;;:9;:18;;;;;;;;;;49806:23;;;49785:44;;49851:12;:22;;49823:6;;49785:9;49851:22;;49823:6;;49851:22;:::i;:::-;;;;-1:-1:-1;;49891:37:0;;7027:25:1;;;49917:1:0;;-1:-1:-1;;;;;49891:37:0;;;;;7015:2:1;7000:18;49891:37:0;;;;;;;36991:211;;;:::o;54823:207::-;-1:-1:-1;;;;;54944:14:0;;54883:15;54944:14;;;:7;:14;;;;;13723;;13860:1;13842:19;;;;13723:14;55005:17;54900:130;54823:207;;;:::o;33380:167::-;33457:7;33484:55;33506:20;:18;:20::i;:::-;33528:10;20132:57;;-1:-1:-1;;;20132:57:0;;;4836:27:1;4879:11;;;4872:27;;;4915:12;;;4908:28;;;20095:7:0;;4952:12:1;;20132:57:0;;;;;;;;;;;;20122:68;;;;;;20115:75;;20002:196;;;;;17571:1512;17699:7;18638:66;18624:80;;;18602:164;;;;-1:-1:-1;;;18602:164:0;;12519:2:1;18602:164:0;;;12501:21:1;12558:2;12538:18;;;12531:30;12597:34;12577:18;;;12570:62;-1:-1:-1;;;12648:18:1;;;12641:32;12690:19;;18602:164:0;12491:224:1;18602:164:0;18785:1;:7;;18790:2;18785:7;:18;;;;18796:1;:7;;18801:2;18796:7;18785:18;18777:65;;;;-1:-1:-1;;;18777:65:0;;14022:2:1;18777:65:0;;;14004:21:1;14061:2;14041:18;;;14034:30;14100:34;14080:18;;;14073:62;-1:-1:-1;;;14151:18:1;;;14144:32;14193:19;;18777:65:0;13994:224:1;18777:65:0;18957:24;;;18940:14;18957:24;;;;;;;;;8380:25:1;;;8453:4;8441:17;;8421:18;;;8414:45;;;;8475:18;;;8468:34;;;8518:18;;;8511:34;;;18957:24:0;;8352:19:1;;18957:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;18957:24:0;;-1:-1:-1;;18957:24:0;;;-1:-1:-1;;;;;;;19000:20:0;;18992:57;;;;-1:-1:-1;;;18992:57:0;;9146:2:1;18992:57:0;;;9128:21:1;9185:2;9165:18;;;9158:30;9224:26;9204:18;;;9197:54;9268:18;;18992:57:0;9118:174:1;18992:57:0;19069:6;17571:1512;-1:-1:-1;;;;;17571:1512:0:o;39564:716::-;39988:23;40014:69;40042:4;40014:69;;;;;;;;;;;;;;;;;40022:5;-1:-1:-1;;;;;40014:27:0;;;:69;;;;;:::i;:::-;40098:17;;39988:95;;-1:-1:-1;40098:21:0;40094:179;;40195:10;40184:30;;;;;;;;;;;;:::i;:::-;40176:85;;;;-1:-1:-1;;;40176:85:0;;17823:2:1;40176:85:0;;;17805:21:1;17862:2;17842:18;;;17835:30;17901:34;17881:18;;;17874:62;-1:-1:-1;;;17952:18:1;;;17945:40;18002:19;;40176:85:0;17795:232:1;7714:229:0;7851:12;7883:52;7905:6;7913:4;7919:1;7922:12;7883:21;:52::i;:::-;7876:59;7714:229;-1:-1:-1;;;;7714:229:0:o;8834:511::-;9004:12;9062:5;9037:21;:30;;9029:81;;;;-1:-1:-1;;;9029:81:0;;12922:2:1;9029:81:0;;;12904:21:1;12961:2;12941:18;;;12934:30;13000:34;12980:18;;;12973:62;-1:-1:-1;;;13051:18:1;;;13044:36;13097:19;;9029:81:0;12894:228:1;9029:81:0;5231:20;;9121:60;;;;-1:-1:-1;;;9121:60:0;;17465:2:1;9121:60:0;;;17447:21:1;17504:2;17484:18;;;17477:30;17543:31;17523:18;;;17516:59;17592:18;;9121:60:0;17437:179:1;9121:60:0;9195:12;9209:23;9236:6;-1:-1:-1;;;;;9236:11:0;9255:5;9262:4;9236:31;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9194:73;;;;9285:52;9303:7;9312:10;9324:12;9285:17;:52::i;:::-;9278:59;8834:511;-1:-1:-1;;;;;;;8834:511:0:o;11303:712::-;11453:12;11482:7;11478:530;;;-1:-1:-1;11513:10:0;11506:17;;11478:530;11627:17;;:21;11623:374;;11825:10;11819:17;11886:15;11873:10;11869:2;11865:19;11858:44;11623:374;11968:12;11961:20;;-1:-1:-1;;;11961:20:0;;;;;;;;:::i;14:247:1:-;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:1;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:1;1227:18;;1214:32;1255:33;1214:32;1255:33;:::i;:::-;1019:352;;1307:7;;-1:-1:-1;;;1361:2:1;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:1;1755:18;;1742:32;1783:33;1742:32;1783:33;:::i;:::-;1835:7;-1:-1:-1;1889:2:1;1874:18;;1861:32;;-1:-1:-1;1940:2:1;1925:18;;1912:32;;-1:-1:-1;1996:3:1;1981:19;;1968:33;2010:31;1968:33;2010:31;:::i;:::-;1546:631;;;;-1:-1:-1;1546:631:1;;;;2060:7;2114:3;2099:19;;2086:33;;-1:-1:-1;2166:3:1;2151:19;;;2138:33;;1546:631;-1:-1:-1;;1546:631:1: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:1: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:1;;;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:1;;3743:110;-1:-1:-1;3743:110:1: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:1;;3939:103;-1:-1:-1;3939:103:1: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:1:o;4975:418::-;-1:-1:-1;;;5232:3:1;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:1:o;5398:419::-;-1:-1:-1;;;5655:3:1;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:1: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:1;8883:45;;;;8930:2;8879:54;;8677:262;-1:-1:-1;;8677:262:1: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:1;;20226:80::o;20311:120::-;20351:1;20377;20367:2;;20382:18;;:::i;:::-;-1:-1:-1;20416:9:1;;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:1;;20488:116::o;20609:125::-;20649:4;20677:1;20674;20671:8;20668:2;;;20682:18;;:::i;:::-;-1:-1:-1;20719:9:1;;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:1;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:1;;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:1;;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