Contract

/**
 *Submitted for verification at ftmscan.com on 2023-01-19
*/

/**
 *Submitted for verification at FtmScan.com on 2023-01-19
*/

// SPDX-License-Identifier: MIT
// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/math/SafeCast.sol


// OpenZeppelin Contracts v4.4.0 (utils/math/SafeCast.sol)

pragma solidity ^0.8.0;

/**
 * @dev Wrappers over Solidity's uintXX/intXX casting operators with added overflow
 * checks.
 *
 * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
 * easily result in undesired exploitation or bugs, since developers usually
 * assume that overflows raise errors. `SafeCast` restores this intuition by
 * reverting the transaction when such an operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 *
 * Can be combined with {SafeMath} and {SignedSafeMath} to extend it to smaller types, by performing
 * all math on `uint256` and `int256` and then downcasting.
 */
library SafeCast {
    /**
     * @dev Returns the downcasted uint224 from uint256, reverting on
     * overflow (when the input is greater than largest uint224).
     *
     * Counterpart to Solidity's `uint224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toUint224(uint256 value) internal pure returns (uint224) {
        require(value <= type(uint224).max, "SafeCast: value doesn't fit in 224 bits");
        return uint224(value);
    }

    /**
     * @dev Returns the downcasted uint128 from uint256, reverting on
     * overflow (when the input is greater than largest uint128).
     *
     * Counterpart to Solidity's `uint128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toUint128(uint256 value) internal pure returns (uint128) {
        require(value <= type(uint128).max, "SafeCast: value doesn't fit in 128 bits");
        return uint128(value);
    }

    /**
     * @dev Returns the downcasted uint96 from uint256, reverting on
     * overflow (when the input is greater than largest uint96).
     *
     * Counterpart to Solidity's `uint96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toUint96(uint256 value) internal pure returns (uint96) {
        require(value <= type(uint96).max, "SafeCast: value doesn't fit in 96 bits");
        return uint96(value);
    }

    /**
     * @dev Returns the downcasted uint64 from uint256, reverting on
     * overflow (when the input is greater than largest uint64).
     *
     * Counterpart to Solidity's `uint64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toUint64(uint256 value) internal pure returns (uint64) {
        require(value <= type(uint64).max, "SafeCast: value doesn't fit in 64 bits");
        return uint64(value);
    }

    /**
     * @dev Returns the downcasted uint32 from uint256, reverting on
     * overflow (when the input is greater than largest uint32).
     *
     * Counterpart to Solidity's `uint32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toUint32(uint256 value) internal pure returns (uint32) {
        require(value <= type(uint32).max, "SafeCast: value doesn't fit in 32 bits");
        return uint32(value);
    }

    /**
     * @dev Returns the downcasted uint16 from uint256, reverting on
     * overflow (when the input is greater than largest uint16).
     *
     * Counterpart to Solidity's `uint16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toUint16(uint256 value) internal pure returns (uint16) {
        require(value <= type(uint16).max, "SafeCast: value doesn't fit in 16 bits");
        return uint16(value);
    }

    /**
     * @dev Returns the downcasted uint8 from uint256, reverting on
     * overflow (when the input is greater than largest uint8).
     *
     * Counterpart to Solidity's `uint8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits.
     */
    function toUint8(uint256 value) internal pure returns (uint8) {
        require(value <= type(uint8).max, "SafeCast: value doesn't fit in 8 bits");
        return uint8(value);
    }

    /**
     * @dev Converts a signed int256 into an unsigned uint256.
     *
     * Requirements:
     *
     * - input must be greater than or equal to 0.
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        require(value >= 0, "SafeCast: value must be positive");
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int128 from int256, reverting on
     * overflow (when the input is less than smallest int128 or
     * greater than largest int128).
     *
     * Counterpart to Solidity's `int128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     *
     * _Available since v3.1._
     */
    function toInt128(int256 value) internal pure returns (int128) {
        require(value >= type(int128).min && value <= type(int128).max, "SafeCast: value doesn't fit in 128 bits");
        return int128(value);
    }

    /**
     * @dev Returns the downcasted int64 from int256, reverting on
     * overflow (when the input is less than smallest int64 or
     * greater than largest int64).
     *
     * Counterpart to Solidity's `int64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     *
     * _Available since v3.1._
     */
    function toInt64(int256 value) internal pure returns (int64) {
        require(value >= type(int64).min && value <= type(int64).max, "SafeCast: value doesn't fit in 64 bits");
        return int64(value);
    }

    /**
     * @dev Returns the downcasted int32 from int256, reverting on
     * overflow (when the input is less than smallest int32 or
     * greater than largest int32).
     *
     * Counterpart to Solidity's `int32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     *
     * _Available since v3.1._
     */
    function toInt32(int256 value) internal pure returns (int32) {
        require(value >= type(int32).min && value <= type(int32).max, "SafeCast: value doesn't fit in 32 bits");
        return int32(value);
    }

    /**
     * @dev Returns the downcasted int16 from int256, reverting on
     * overflow (when the input is less than smallest int16 or
     * greater than largest int16).
     *
     * Counterpart to Solidity's `int16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     *
     * _Available since v3.1._
     */
    function toInt16(int256 value) internal pure returns (int16) {
        require(value >= type(int16).min && value <= type(int16).max, "SafeCast: value doesn't fit in 16 bits");
        return int16(value);
    }

    /**
     * @dev Returns the downcasted int8 from int256, reverting on
     * overflow (when the input is less than smallest int8 or
     * greater than largest int8).
     *
     * Counterpart to Solidity's `int8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits.
     *
     * _Available since v3.1._
     */
    function toInt8(int256 value) internal pure returns (int8) {
        require(value >= type(int8).min && value <= type(int8).max, "SafeCast: value doesn't fit in 8 bits");
        return int8(value);
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     */
    function toInt256(uint256 value) internal pure returns (int256) {
        // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
        require(value <= uint256(type(int256).max), "SafeCast: value doesn't fit in an int256");
        return int256(value);
    }
}

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/math/Math.sol


// OpenZeppelin Contracts v4.4.0 (utils/math/Math.sol)

pragma solidity ^0.8.0;

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

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

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 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);
    }

    /**
     * @dev Returns the absolute unsigned value of a signed value.
     */
    function abs(int256 n) internal pure returns (uint256) {
        unchecked {
            // must be unchecked in order to support `n = type(int256).min`
            return uint256(n >= 0 ? n : -n);
        }
    }
}

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/math/SafeMath.sol


// OpenZeppelin Contracts v4.4.0 (utils/math/SafeMath.sol)

pragma solidity ^0.8.0;

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler
 * now has built in overflow checking.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
            // benefit is lost if 'b' is also tested.
            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

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

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

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

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

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

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/Counters.sol


// OpenZeppelin Contracts v4.4.0 (utils/Counters.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/Strings.sol


// OpenZeppelin Contracts v4.4.0 (utils/Strings.sol)

pragma solidity ^0.8.0;

/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _HEX_SYMBOLS = "0123456789abcdef";

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        // Inspired by OraclizeAPI's implementation - MIT licence
        // https://github.com/oraclize/ethereum-api/blob/b42146b063c7d6ee1358846c198246239e9360e8/oraclizeAPI_0.4.25.sol

        if (value == 0) {
            return "0";
        }
        uint256 temp = value;
        uint256 digits;
        while (temp != 0) {
            digits++;
            temp /= 10;
        }
        bytes memory buffer = new bytes(digits);
        while (value != 0) {
            digits -= 1;
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
        }
        return string(buffer);
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        if (value == 0) {
            return "0x00";
        }
        uint256 temp = value;
        uint256 length = 0;
        while (temp != 0) {
            length++;
            temp >>= 8;
        }
        return toHexString(value, length);
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
     */
    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = _HEX_SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        return string(buffer);
    }
}

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/cryptography/ECDSA.sol


// OpenZeppelin Contracts v4.4.0 (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.0;


/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    enum RecoverError {
        NoError,
        InvalidSignature,
        InvalidSignatureLength,
        InvalidSignatureS,
        InvalidSignatureV
    }

    function _throwError(RecoverError error) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert("ECDSA: invalid signature");
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert("ECDSA: invalid signature length");
        } else if (error == RecoverError.InvalidSignatureS) {
            revert("ECDSA: invalid signature 's' value");
        } else if (error == RecoverError.InvalidSignatureV) {
            revert("ECDSA: invalid signature 'v' value");
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature` or error string. 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]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {
        // 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 tryRecover(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 tryRecover(hash, r, vs);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength);
        }
    }

    /**
     * @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.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, signature);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} 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.3._
     */
    function tryRecover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address, RecoverError) {
        bytes32 s;
        uint8 v;
        assembly {
            s := and(vs, 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
            v := add(shr(255, vs), 27)
        }
        return tryRecover(hash, v, r, s);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.
     *
     * _Available since v4.2._
     */
    function recover(
        bytes32 hash,
        bytes32 r,
        bytes32 vs
    ) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, r, vs);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     *
     * _Available since v4.3._
     */
    function tryRecover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address, RecoverError) {
        // 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 (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): 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.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS);
        }
        if (v != 27 && v != 28) {
            return (address(0), RecoverError.InvalidSignatureV);
        }

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        if (signer == address(0)) {
            return (address(0), RecoverError.InvalidSignature);
        }

        return (signer, RecoverError.NoError);
    }

    /**
     * @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) {
        (address recovered, RecoverError error) = tryRecover(hash, v, r, s);
        _throwError(error);
        return recovered;
    }

    /**
     * @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 Message, created from `s`. 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(bytes memory s) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n", Strings.toString(s.length), s));
    }

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

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/cryptography/draft-EIP712.sol


// OpenZeppelin Contracts v4.4.0 (utils/cryptography/draft-EIP712.sol)

pragma solidity ^0.8.0;


/**
 * @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;
    address private immutable _CACHED_THIS;

    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);
        _CACHED_THIS = address(this);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (address(this) == _CACHED_THIS && 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);
    }
}

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/token/ERC20/extensions/draft-IERC20Permit.sol


// OpenZeppelin Contracts v4.4.0 (token/ERC20/extensions/draft-IERC20Permit.sol)

pragma solidity ^0.8.0;

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

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

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

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/utils/Context.sol


// OpenZeppelin Contracts v4.4.0 (utils/Context.sol)

pragma solidity ^0.8.0;

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

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

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/token/ERC20/IERC20.sol


// OpenZeppelin Contracts v4.4.0 (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts v4.4.0 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;


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

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

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

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/token/ERC20/ERC20.sol


// OpenZeppelin Contracts v4.4.0 (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;




/**
 * @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 Contracts guidelines: functions revert
 * instead 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 {}
}

// File: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/token/ERC20/extensions/draft-ERC20Permit.sol


// OpenZeppelin Contracts v4.4.0 (token/ERC20/extensions/draft-ERC20Permit.sol)

pragma solidity ^0.8.0;






/**
 * @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: https://raw.githubusercontent.com/OpenZeppelin/openzeppelin-contracts/master/contracts/token/ERC20/extensions/ERC20Votes.sol


// OpenZeppelin Contracts v4.4.0 (token/ERC20/extensions/ERC20Votes.sol)

pragma solidity ^0.8.0;





/**
 * @dev Extension of ERC20 to support Compound-like voting and delegation. This version is more generic than Compound's,
 * and supports token supply up to 2^224^ - 1, while COMP is limited to 2^96^ - 1.
 *
 * NOTE: If exact COMP compatibility is required, use the {ERC20VotesComp} variant of this module.
 *
 * This extension keeps a history (checkpoints) of each account's vote power. Vote power can be delegated either
 * by calling the {delegate} function directly, or by providing a signature to be used with {delegateBySig}. Voting
 * power can be queried through the public accessors {getVotes} and {getPastVotes}.
 *
 * By default, token balance does not account for voting power. This makes transfers cheaper. The downside is that it
 * requires users to delegate to themselves in order to activate checkpoints and have their voting power tracked.
 * Enabling self-delegation can easily be done by overriding the {delegates} function. Keep in mind however that this
 * will significantly increase the base gas cost of transfers.
 *
 * _Available since v4.2._
 */
abstract contract ERC20Votes is ERC20Permit {
    struct Checkpoint {
        uint32 fromBlock;
        uint224 votes;
    }

    bytes32 private constant _DELEGATION_TYPEHASH =
        keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    mapping(address => address) private _delegates;
    mapping(address => Checkpoint[]) private _checkpoints;
    Checkpoint[] private _totalSupplyCheckpoints;

    /**
     * @dev Emitted when an account changes their delegate.
     */
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /**
     * @dev Emitted when a token transfer or delegate change results in changes to an account's voting power.
     */
    event DelegateVotesChanged(address indexed delegate, uint256 previousBalance, uint256 newBalance);

    /**
     * @dev Get the `pos`-th checkpoint for `account`.
     */
    function checkpoints(address account, uint32 pos) public view virtual returns (Checkpoint memory) {
        return _checkpoints[account][pos];
    }

    /**
     * @dev Get number of checkpoints for `account`.
     */
    function numCheckpoints(address account) public view virtual returns (uint32) {
        return SafeCast.toUint32(_checkpoints[account].length);
    }

    /**
     * @dev Get the address `account` is currently delegating to.
     */
    function delegates(address account) public view virtual returns (address) {
        return _delegates[account];
    }

    /**
     * @dev Gets the current votes balance for `account`
     */
    function getVotes(address account) public view returns (uint256) {
        uint256 pos = _checkpoints[account].length;
        return pos == 0 ? 0 : _checkpoints[account][pos - 1].votes;
    }

    /**
     * @dev Retrieve the number of votes for `account` at the end of `blockNumber`.
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastVotes(address account, uint256 blockNumber) public view returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_checkpoints[account], blockNumber);
    }

    /**
     * @dev Retrieve the `totalSupply` at the end of `blockNumber`. Note, this value is the sum of all balances.
     * It is but NOT the sum of all the delegated votes!
     *
     * Requirements:
     *
     * - `blockNumber` must have been already mined
     */
    function getPastTotalSupply(uint256 blockNumber) public view returns (uint256) {
        require(blockNumber < block.number, "ERC20Votes: block not yet mined");
        return _checkpointsLookup(_totalSupplyCheckpoints, blockNumber);
    }

    /**
     * @dev Lookup a value in a list of (sorted) checkpoints.
     */
    function _checkpointsLookup(Checkpoint[] storage ckpts, uint256 blockNumber) private view returns (uint256) {
        // We run a binary search to look for the earliest checkpoint taken after `blockNumber`.
        //
        // During the loop, the index of the wanted checkpoint remains in the range [low-1, high).
        // With each iteration, either `low` or `high` is moved towards the middle of the range to maintain the invariant.
        // - If the middle checkpoint is after `blockNumber`, we look in [low, mid)
        // - If the middle checkpoint is before or equal to `blockNumber`, we look in [mid+1, high)
        // Once we reach a single value (when low == high), we've found the right checkpoint at the index high-1, if not
        // out of bounds (in which case we're looking too far in the past and the result is 0).
        // Note that if the latest checkpoint available is exactly for `blockNumber`, we end up with an index that is
        // past the end of the array, so we technically don't find a checkpoint after `blockNumber`, but it works out
        // the same.
        uint256 high = ckpts.length;
        uint256 low = 0;
        while (low < high) {
            uint256 mid = Math.average(low, high);
            if (ckpts[mid].fromBlock > blockNumber) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        return high == 0 ? 0 : ckpts[high - 1].votes;
    }

    /**
     * @dev Delegate votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) public virtual {
        _delegate(_msgSender(), delegatee);
    }

    /**
     * @dev Delegates votes from signer to `delegatee`
     */
    function delegateBySig(
        address delegatee,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(block.timestamp <= expiry, "ERC20Votes: signature expired");
        address signer = ECDSA.recover(
            _hashTypedDataV4(keccak256(abi.encode(_DELEGATION_TYPEHASH, delegatee, nonce, expiry))),
            v,
            r,
            s
        );
        require(nonce == _useNonce(signer), "ERC20Votes: invalid nonce");
        _delegate(signer, delegatee);
    }

    /**
     * @dev Maximum token supply. Defaults to `type(uint224).max` (2^224^ - 1).
     */
    function _maxSupply() internal view virtual returns (uint224) {
        return type(uint224).max;
    }

    /**
     * @dev Snapshots the totalSupply after it has been increased.
     */
    function _mint(address account, uint256 amount) internal virtual override {
        super._mint(account, amount);
        require(totalSupply() <= _maxSupply(), "ERC20Votes: total supply risks overflowing votes");

        _writeCheckpoint(_totalSupplyCheckpoints, _add, amount);
    }

    /**
     * @dev Snapshots the totalSupply after it has been decreased.
     */
    function _burn(address account, uint256 amount) internal virtual override {
        super._burn(account, amount);

        _writeCheckpoint(_totalSupplyCheckpoints, _subtract, amount);
    }

    /**
     * @dev Move voting power when tokens are transferred.
     *
     * Emits a {DelegateVotesChanged} event.
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._afterTokenTransfer(from, to, amount);

        _moveVotingPower(delegates(from), delegates(to), amount);
    }

    /**
     * @dev Change delegation for `delegator` to `delegatee`.
     *
     * Emits events {DelegateChanged} and {DelegateVotesChanged}.
     */
    function _delegate(address delegator, address delegatee) internal virtual {
        address currentDelegate = delegates(delegator);
        uint256 delegatorBalance = balanceOf(delegator);
        _delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveVotingPower(currentDelegate, delegatee, delegatorBalance);
    }

    function _moveVotingPower(
        address src,
        address dst,
        uint256 amount
    ) private {
        if (src != dst && amount > 0) {
            if (src != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[src], _subtract, amount);
                emit DelegateVotesChanged(src, oldWeight, newWeight);
            }

            if (dst != address(0)) {
                (uint256 oldWeight, uint256 newWeight) = _writeCheckpoint(_checkpoints[dst], _add, amount);
                emit DelegateVotesChanged(dst, oldWeight, newWeight);
            }
        }
    }

    function _writeCheckpoint(
        Checkpoint[] storage ckpts,
        function(uint256, uint256) view returns (uint256) op,
        uint256 delta
    ) private returns (uint256 oldWeight, uint256 newWeight) {
        uint256 pos = ckpts.length;
        oldWeight = pos == 0 ? 0 : ckpts[pos - 1].votes;
        newWeight = op(oldWeight, delta);

        if (pos > 0 && ckpts[pos - 1].fromBlock == block.number) {
            ckpts[pos - 1].votes = SafeCast.toUint224(newWeight);
        } else {
            ckpts.push(Checkpoint({fromBlock: SafeCast.toUint32(block.number), votes: SafeCast.toUint224(newWeight)}));
        }
    }

    function _add(uint256 a, uint256 b) private pure returns (uint256) {
        return a + b;
    }

    function _subtract(uint256 a, uint256 b) private pure returns (uint256) {
        return a - b;
    }
}

interface TerraceRouter {
    function mint(address poolToken, uint256 amount, address to, uint256 deadline) external returns (uint256);
    function redeem(address poolToken, uint256 amount, address to, uint256 deadline, bytes memory permitData) external returns (uint256);
}

interface Borrowable is IERC20 {
    function exchangeRateLast() external view returns (uint256);
}

pragma solidity 0.8.13;

// Staked LIF3

contract StakedLIF3 is ERC20, ERC20Permit, ERC20Votes {
    using SafeMath for uint256;

    IERC20 public tokenUnderlying = IERC20(0xbf60e7414EF09026733c1E7de72E7393888C64DA);
    Borrowable public tokenBorrowable = Borrowable(0xA3654114bF380861901Ae8E3A75D01cA3DeF6Cd9);
    TerraceRouter public router = TerraceRouter(0x360008f66220660Ec410194Ce1ae602a2a86c1b6);

    address public admin;

    function changeRouterAddress(TerraceRouter newRouter) public {
        require(msg.sender == admin, "No access");
        router = newRouter;
    }

    function revoke() public {
        require(msg.sender == admin, "No access");
        admin = address(0);
    }

    // Define the staking token contract
    constructor() ERC20("Staked LIF3", "stlLIF3") ERC20Permit("Staked LIF3") {
        admin = msg.sender;
    }

    function rewardBorrowable() public {
        uint256 balance = tokenBorrowable.balanceOf(msg.sender);
        tokenBorrowable.transferFrom(msg.sender, address(this), balance);
    }

    function enterBorrowableAllIn() public returns (uint256 sharesAmount){
        uint256 _amount = tokenBorrowable.balanceOf(msg.sender);
        uint256 totalToken = tokenBorrowable.balanceOf(address(this));
        uint256 totalShares = totalSupply();
        if (totalShares == 0 || totalToken == 0) {
            _mint(msg.sender, _amount);
            sharesAmount = _amount;
        } 
        else {
            uint256 what = _amount.mul(totalShares).div(totalToken);
            _mint(msg.sender, what);
            sharesAmount = what;
        }

        tokenBorrowable.transferFrom(msg.sender, address(this), _amount);
    }

    function enterBorrowable(uint256 _amount) public returns (uint256 sharesAmount){
        uint256 totalToken = tokenBorrowable.balanceOf(address(this));
        uint256 totalShares = totalSupply();
        if (totalShares == 0 || totalToken == 0) {
            _mint(msg.sender, _amount);
            sharesAmount = _amount;
        } 
        else {
            uint256 what = _amount.mul(totalShares).div(totalToken);
            _mint(msg.sender, what);
            sharesAmount = what;
        }

        tokenBorrowable.transferFrom(msg.sender, address(this), _amount);
    }

    function enter(uint256 _amount) public returns (uint256 sharesAmount){

        uint256 totalToken = tokenBorrowable.balanceOf(address(this));
        uint256 totalShares = totalSupply();
        tokenUnderlying.approve(address(router), _amount);
        tokenUnderlying.transferFrom(msg.sender, address(this), _amount);
        uint256 minted = router.mint(address(tokenBorrowable), _amount, address(this), 99999999999);
        if (totalShares == 0 || totalToken == 0) {
            _mint(msg.sender, minted);
            sharesAmount = minted;
        } 
        else {
            uint256 what = minted.mul(totalShares).div(totalToken);
            _mint(msg.sender, what);
            sharesAmount = what;
        }

    }

    function leave(uint256 _share) public {
        uint256 totalShares = totalSupply();
        uint256 what = _share.mul(tokenBorrowable.balanceOf(address(this))).div(totalShares);
        _burn(msg.sender, _share);
        tokenBorrowable.approve(address(router), what);
        uint256 withdrawn = router.redeem(address(tokenBorrowable), what, address(this), 99999999999, new bytes(0));
        tokenUnderlying.transfer(msg.sender, withdrawn);
    }

    function leaveWithBorrowable(uint256 _share) public {
        uint256 totalShares = totalSupply();
        uint256 what = _share.mul(tokenBorrowable.balanceOf(address(this))).div(totalShares);
        _burn(msg.sender, _share);
        tokenBorrowable.transfer(msg.sender, what);
    }

    function _afterTokenTransfer(address from, address to, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._afterTokenTransfer(from, to, amount);
    }

    function _mint(address to, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._mint(to, amount);
    }

    function _burn(address account, uint256 amount)
        internal
        override(ERC20, ERC20Votes)
    {
        super._burn(account, amount);
    }

    function TOKENBalance(address _account) external view returns (uint256 tokenAmount_) {
        uint256 xTOKENAmount = balanceOf(_account);
        uint256 totalxTOKEN = totalSupply();
        uint256 exchangeRate = tokenBorrowable.exchangeRateLast();
        tokenAmount_ = xTOKENAmount.mul(tokenBorrowable.balanceOf(address(this))).div(totalxTOKEN).mul(exchangeRate).div(1e18);
    }


    // returns how much TOKEN someone gets for redeeming xTOKEN
    function xTOKENForTOKEN(uint256 _xTOKENAmount) external view returns (uint256 tokenAmount_) {
        uint256 totalxTOKEN = totalSupply();
        uint256 exchangeRate = tokenBorrowable.exchangeRateLast();
        tokenAmount_ = _xTOKENAmount.mul(tokenBorrowable.balanceOf(address(this))).div(totalxTOKEN).mul(exchangeRate).div(1e18);
    }

    function BorrowableBalance(address _account) external view returns (uint256 tokenAmount_) {
        uint256 xTOKENAmount = balanceOf(_account);
        uint256 totalxTOKEN = totalSupply();
        tokenAmount_ = xTOKENAmount.mul(tokenBorrowable.balanceOf(address(this))).div(totalxTOKEN);
    }


    // returns how much TOKEN someone gets for redeeming xTOKEN
    function xTOKENForBorrowable(uint256 _xTOKENAmount) external view returns (uint256 tokenAmount_) {
        uint256 totalxTOKEN = totalSupply();
        tokenAmount_ = _xTOKENAmount.mul(tokenBorrowable.balanceOf(address(this))).div(totalxTOKEN);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"BorrowableBalance","outputs":[{"internalType":"uint256","name":"tokenAmount_","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"TOKENBalance","outputs":[{"internalType":"uint256","name":"tokenAmount_","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"admin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"contract TerraceRouter","name":"newRouter","type":"address"}],"name":"changeRouterAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint32","name":"pos","type":"uint32"}],"name":"checkpoints","outputs":[{"components":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint224","name":"votes","type":"uint224"}],"internalType":"struct ERC20Votes.Checkpoint","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"enter","outputs":[{"internalType":"uint256","name":"sharesAmount","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"enterBorrowable","outputs":[{"internalType":"uint256","name":"sharesAmount","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enterBorrowableAllIn","outputs":[{"internalType":"uint256","name":"sharesAmount","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_share","type":"uint256"}],"name":"leave","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_share","type":"uint256"}],"name":"leaveWithBorrowable","outputs":[],"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":"account","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"revoke","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rewardBorrowable","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract TerraceRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenBorrowable","outputs":[{"internalType":"contract Borrowable","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenUnderlying","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_xTOKENAmount","type":"uint256"}],"name":"xTOKENForBorrowable","outputs":[{"internalType":"uint256","name":"tokenAmount_","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_xTOKENAmount","type":"uint256"}],"name":"xTOKENForTOKEN","outputs":[{"internalType":"uint256","name":"tokenAmount_","type":"uint256"}],"stateMutability":"view","type":"function"}]

6101606040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c961014052600980546001600160a01b031990811673bf60e7414ef09026733c1e7de72e7393888c64da17909155600a8054821673a3654114bf380861901ae8e3a75d01ca3def6cd9179055600b805490911673360008f66220660ec410194ce1ae602a2a86c1b61790553480156200009d57600080fd5b506040518060400160405280600b81526020016a5374616b6564204c49463360a81b81525080604051806040016040528060018152602001603160f81b8152506040518060400160405280600b81526020016a5374616b6564204c49463360a81b8152506040518060400160405280600781526020016673746c4c49463360c81b815250816003908051906020019062000139929190620001fd565b5080516200014f906004906020840190620001fd565b5050825160208085019190912083518483012060e08290526101008190524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f81880181905281830187905260608201869052608082019490945230818401528151808203909301835260c0019052805194019390932091935091906080523060c052610120525050600c80546001600160a01b0319163317905550620002df915050565b8280546200020b90620002a3565b90600052602060002090601f0160209004810192826200022f57600085556200027a565b82601f106200024a57805160ff19168380011785556200027a565b828001600101855582156200027a579182015b828111156200027a5782518255916020019190600101906200025d565b50620002889291506200028c565b5090565b5b808211156200028857600081556001016200028d565b600181811c90821680620002b857607f821691505b602082108103620002d957634e487b7160e01b600052602260045260246000fd5b50919050565b60805160a05160c05160e051610100516101205161014051612da26200033a60003960006115b101526000611d8d01526000611ddc01526000611db701526000611d1001526000611d3a01526000611d640152612da26000f3fe608060405234801561001057600080fd5b50600436106102325760003560e01c80637ecebe0011610130578063b6549f75116100b8578063e6fee2d11161007c578063e6fee2d114610523578063eff6c02a1461052b578063f1127ed814610533578063f851a44014610570578063f887ea401461058357600080fd5b8063b6549f75146104a9578063c3cda520146104b1578063d505accf146104c4578063db77e2b2146104d7578063dd62ed3e146104ea57600080fd5b8063a457c2d7116100ff578063a457c2d71461044a578063a59f3e0c1461045d578063a9059cbb14610470578063b41933e714610483578063b589bbf01461049657600080fd5b80637ecebe00146104095780638e539e8c1461041c57806395d89b411461042f5780639ab24eb01461043757600080fd5b806339509351116101be57806360792c261161018257806360792c261461037f57806367dfd4c91461039257806368b037f6146103a55780636fcfff45146103b857806370a08231146103e057600080fd5b806339509351146102ef5780633a46b1a814610302578063587cde1e146103155780635c19a95c146103595780635da4c2771461036c57600080fd5b806322691be91161020557806322691be91461029f57806323b872dd146102b2578063244e90b2146102c5578063313ce567146102d85780633644e515146102e757600080fd5b806304db6e681461023757806306fdde031461024c578063095ea7b31461026a57806318160ddd1461028d575b600080fd5b61024a610245366004612991565b610596565b005b610254610603565b60405161026191906129fb565b60405180910390f35b61027d610278366004612a0e565b610695565b6040519015158152602001610261565b6002545b604051908152602001610261565b61024a6102ad366004612a3a565b6106ab565b61027d6102c0366004612a53565b6107c5565b6102916102d3366004612a3a565b61086f565b60405160128152602001610261565b6102916109af565b61027d6102fd366004612a0e565b6109be565b610291610310366004612a0e565b6109fa565b610341610323366004612991565b6001600160a01b039081166000908152600660205260409020541690565b6040516001600160a01b039091168152602001610261565b61024a610367366004612991565b610a74565b61029161037a366004612991565b610a81565b61029161038d366004612a3a565b610bc1565b61024a6103a0366004612a3a565b610c0a565b6102916103b3366004612a3a565b610deb565b6103cb6103c6366004612991565b610f0c565b60405163ffffffff9091168152602001610261565b6102916103ee366004612991565b6001600160a01b031660009081526020819052604090205490565b610291610417366004612991565b610f34565b61029161042a366004612a3a565b610f52565b610254610fae565b610291610445366004612991565b610fbd565b61027d610458366004612a0e565b611044565b61029161046b366004612a3a565b6110dd565b61027d61047e366004612a0e565b61131e565b610291610491366004612991565b61132b565b600a54610341906001600160a01b031681565b61024a6113cf565b61024a6104bf366004612aaa565b611427565b61024a6104d2366004612b04565b61155d565b600954610341906001600160a01b031681565b6102916104f8366004612b72565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6102916116c1565b61024a611872565b610546610541366004612bab565b61195b565b60408051825163ffffffff1681526020928301516001600160e01b03169281019290925201610261565b600c54610341906001600160a01b031681565b600b54610341906001600160a01b031681565b600c546001600160a01b031633146105e15760405162461bcd60e51b81526020600482015260096024820152684e6f2061636365737360b81b60448201526064015b60405180910390fd5b600b80546001600160a01b0319166001600160a01b0392909216919091179055565b60606003805461061290612be2565b80601f016020809104026020016040519081016040528092919081815260200182805461063e90612be2565b801561068b5780601f106106605761010080835404028352916020019161068b565b820191906000526020600020905b81548152906001019060200180831161066e57829003601f168201915b5050505050905090565b60006106a23384846119df565b50600192915050565b60006106b660025490565b600a546040516370a0823160e01b815230600482015291925060009161073e918491610738916001600160a01b0316906370a08231906024015b602060405180830381865afa15801561070d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107319190612c16565b8690611b03565b90611b0f565b905061074a3384611b1b565b600a5460405163a9059cbb60e01b8152336004820152602481018390526001600160a01b039091169063a9059cbb906044016020604051808303816000875af115801561079b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107bf9190612c2f565b50505050565b60006107d2848484611b25565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156108575760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084016105d8565b61086485338584036119df565b506001949350505050565b600a546040516370a0823160e01b815230600482015260009182916001600160a01b03909116906370a0823190602401602060405180830381865afa1580156108bc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108e09190612c16565b905060006108ed60025490565b90508015806108fa575081155b15610911576109093385611cf9565b839250610930565b6000610921836107388785611b03565b905061092d3382611cf9565b92505b600a546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061096490339030908990600401612c51565b6020604051808303816000875af1158015610983573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109a79190612c2f565b505050919050565b60006109b9611d03565b905090565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916106a29185906109f5908690612c8b565b6119df565b6000438210610a4b5760405162461bcd60e51b815260206004820152601f60248201527f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e65640060448201526064016105d8565b6001600160a01b0383166000908152600760205260409020610a6d9083611e2a565b9392505050565b610a7e3382611ee7565b50565b6001600160a01b0381166000908152602081905260408120546000610aa560025490565b90506000600a60009054906101000a90046001600160a01b03166001600160a01b031663be340e326040518163ffffffff1660e01b8152600401602060405180830381865afa158015610afc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b209190612c16565b600a546040516370a0823160e01b8152306004820152919250610bb891670de0b6b3a764000091610738918591610bb291889185916001600160a01b03909116906370a0823190602401602060405180830381865afa158015610b87573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bab9190612c16565b8a90611b03565b90611b03565b95945050505050565b600080610bcd60025490565b600a546040516370a0823160e01b8152306004820152919250610a6d918391610738916001600160a01b03909116906370a08231906024016106f0565b6000610c1560025490565b600a546040516370a0823160e01b8152306004820152919250600091610c53918491610738916001600160a01b0316906370a08231906024016106f0565b9050610c5f3384611b1b565b600a54600b5460405163095ea7b360e01b81526001600160a01b0391821660048201526024810184905291169063095ea7b3906044016020604051808303816000875af1158015610cb4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610cd89190612c2f565b50600b54600a5460408051600080825260208201928390526307c7316f60e21b90925290926001600160a01b0390811692631f1cc5bc92610d2b92909116908690309064174876e7ff9060248101612ca3565b6020604051808303816000875af1158015610d4a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d6e9190612c16565b60095460405163a9059cbb60e01b8152336004820152602481018390529192506001600160a01b03169063a9059cbb906044016020604051808303816000875af1158015610dc0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610de49190612c2f565b5050505050565b600080610df760025490565b90506000600a60009054906101000a90046001600160a01b03166001600160a01b031663be340e326040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e4e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e729190612c16565b600a546040516370a0823160e01b8152306004820152919250610f0491670de0b6b3a764000091610738918591610bb291889185916001600160a01b03909116906370a0823190602401602060405180830381865afa158015610ed9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610efd9190612c16565b8b90611b03565b949350505050565b6001600160a01b038116600090815260076020526040812054610f2e90611f60565b92915050565b6001600160a01b038116600090815260056020526040812054610f2e565b6000438210610fa35760405162461bcd60e51b815260206004820152601f60248201527f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e65640060448201526064016105d8565b610f2e600883611e2a565b60606004805461061290612be2565b6001600160a01b0381166000908152600760205260408120548015611031576001600160a01b0383166000908152600760205260409020610fff600183612ce8565b8154811061100f5761100f612cff565b60009182526020909120015464010000000090046001600160e01b0316611034565b60005b6001600160e01b03169392505050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156110c65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016105d8565b6110d333858584036119df565b5060019392505050565b600a546040516370a0823160e01b815230600482015260009182916001600160a01b03909116906370a0823190602401602060405180830381865afa15801561112a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061114e9190612c16565b9050600061115b60025490565b600954600b5460405163095ea7b360e01b81526001600160a01b03918216600482015260248101889052929350169063095ea7b3906044016020604051808303816000875af11580156111b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111d69190612c2f565b506009546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061120b90339030908990600401612c51565b6020604051808303816000875af115801561122a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061124e9190612c2f565b50600b54600a54604051633c173a4f60e01b81526001600160a01b0391821660048201526024810187905230604482015264174876e7ff60648201526000929190911690633c173a4f906084016020604051808303816000875af11580156112ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112de9190612c16565b90508115806112eb575082155b15611302576112fa3382611cf9565b8093506109a7565b6000611312846107388486611b03565b9050610bb83382611cf9565b60006106a2338484611b25565b6001600160a01b038116600090815260208190526040812054600061134f60025490565b600a546040516370a0823160e01b8152306004820152919250610f04918391610738916001600160a01b03909116906370a0823190602401602060405180830381865afa1580156113a4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113c89190612c16565b8590611b03565b600c546001600160a01b031633146114155760405162461bcd60e51b81526020600482015260096024820152684e6f2061636365737360b81b60448201526064016105d8565b600c80546001600160a01b0319169055565b834211156114775760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a207369676e6174757265206578706972656400000060448201526064016105d8565b604080517fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60208201526001600160a01b0388169181019190915260608101869052608081018590526000906114f1906114e99060a00160405160208183030381529060405280519060200120611fc9565b858585612017565b90506114fc8161203f565b861461154a5760405162461bcd60e51b815260206004820152601960248201527f4552433230566f7465733a20696e76616c6964206e6f6e63650000000000000060448201526064016105d8565b6115548188611ee7565b50505050505050565b834211156115ad5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e6500000060448201526064016105d8565b60007f00000000000000000000000000000000000000000000000000000000000000008888886115dc8c61203f565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061163782611fc9565b9050600061164782878787612017565b9050896001600160a01b0316816001600160a01b0316146116aa5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e6174757265000060448201526064016105d8565b6116b58a8a8a6119df565b50505050505050505050565b600a546040516370a0823160e01b815233600482015260009182916001600160a01b03909116906370a0823190602401602060405180830381865afa15801561170e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117329190612c16565b600a546040516370a0823160e01b81523060048201529192506000916001600160a01b03909116906370a0823190602401602060405180830381865afa158015611780573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117a49190612c16565b905060006117b160025490565b90508015806117be575081155b156117d5576117cd3384611cf9565b8293506117f4565b60006117e5836107388685611b03565b90506117f13382611cf9565b93505b600a546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061182890339030908890600401612c51565b6020604051808303816000875af1158015611847573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061186b9190612c2f565b5050505090565b600a546040516370a0823160e01b81523360048201526000916001600160a01b0316906370a0823190602401602060405180830381865afa1580156118bb573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118df9190612c16565b600a546040516323b872dd60e01b81529192506001600160a01b0316906323b872dd9061191490339030908690600401612c51565b6020604051808303816000875af1158015611933573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119579190612c2f565b5050565b60408051808201909152600080825260208201526001600160a01b0383166000908152600760205260409020805463ffffffff841690811061199f5761199f612cff565b60009182526020918290206040805180820190915291015463ffffffff8116825264010000000090046001600160e01b0316918101919091529392505050565b6001600160a01b038316611a415760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105d8565b6001600160a01b038216611aa25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105d8565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610a6d8284612d15565b6000610a6d8284612d34565b6119578282612067565b6001600160a01b038316611b895760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105d8565b6001600160a01b038216611beb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105d8565b6001600160a01b03831660009081526020819052604090205481811015611c635760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016105d8565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611c9a908490612c8b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611ce691815260200190565b60405180910390a36107bf848484612084565b611957828261208f565b6000306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016148015611d5c57507f000000000000000000000000000000000000000000000000000000000000000046145b15611d8657507f000000000000000000000000000000000000000000000000000000000000000090565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b8154600090815b81811015611e8e576000611e458284612119565b905084868281548110611e5a57611e5a612cff565b60009182526020909120015463ffffffff161115611e7a57809250611e88565b611e85816001612c8b565b91505b50611e31565b8115611ed25784611ea0600184612ce8565b81548110611eb057611eb0612cff565b60009182526020909120015464010000000090046001600160e01b0316611ed5565b60005b6001600160e01b031695945050505050565b6001600160a01b038281166000818152600660208181526040808420805485845282862054949093528787166001600160a01b03198416811790915590519190951694919391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46107bf828483612134565b600063ffffffff821115611fc55760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b60648201526084016105d8565b5090565b6000610f2e611fd6611d03565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b600080600061202887878787612271565b915091506120358161235e565b5095945050505050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b6120718282612514565b6107bf600861266983612675565b505050565b61207f8383836127ee565b6120998282612820565b6002546001600160e01b03101561210b5760405162461bcd60e51b815260206004820152603060248201527f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60448201526f766572666c6f77696e6720766f74657360801b60648201526084016105d8565b6107bf600861290783612675565b60006121286002848418612d34565b610a6d90848416612c8b565b816001600160a01b0316836001600160a01b0316141580156121565750600081115b1561207f576001600160a01b038316156121e4576001600160a01b038316600090815260076020526040812081906121919061266985612675565b91509150846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516121d9929190918252602082015260400190565b60405180910390a250505b6001600160a01b0382161561207f576001600160a01b0382166000908152600760205260408120819061221a9061290785612675565b91509150836001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051612262929190918252602082015260400190565b60405180910390a25050505050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156122a85750600090506003612355565b8460ff16601b141580156122c057508460ff16601c14155b156122d15750600090506004612355565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa158015612325573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661234e57600060019250925050612355565b9150600090505b94509492505050565b600081600481111561237257612372612d56565b0361237a5750565b600181600481111561238e5761238e612d56565b036123db5760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e6174757265000000000000000060448201526064016105d8565b60028160048111156123ef576123ef612d56565b0361243c5760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e6774680060448201526064016105d8565b600381600481111561245057612450612d56565b036124a85760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b60648201526084016105d8565b60048160048111156124bc576124bc612d56565b03610a7e5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b60648201526084016105d8565b6001600160a01b0382166125745760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b60648201526084016105d8565b6001600160a01b038216600090815260208190526040902054818110156125e85760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b60648201526084016105d8565b6001600160a01b0383166000908152602081905260408120838303905560028054849290612617908490612ce8565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a361207f83600084612084565b6000610a6d8284612ce8565b8254600090819080156126c0578561268e600183612ce8565b8154811061269e5761269e612cff565b60009182526020909120015464010000000090046001600160e01b03166126c3565b60005b6001600160e01b031692506126dc83858763ffffffff16565b915060008111801561271a575043866126f6600184612ce8565b8154811061270657612706612cff565b60009182526020909120015463ffffffff16145b1561277a5761272882612913565b86612734600184612ce8565b8154811061274457612744612cff565b9060005260206000200160000160046101000a8154816001600160e01b0302191690836001600160e01b031602179055506127e5565b85604051806040016040528061278f43611f60565b63ffffffff1681526020016127a385612913565b6001600160e01b0390811690915282546001810184556000938452602093849020835194909301519091166401000000000263ffffffff909316929092179101555b50935093915050565b6001600160a01b0383811660009081526006602052604080822054858416835291205461207f92918216911683612134565b6001600160a01b0382166128765760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016105d8565b80600260008282546128889190612c8b565b90915550506001600160a01b038216600090815260208190526040812080548392906128b5908490612c8b565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a361195760008383612084565b6000610a6d8284612c8b565b60006001600160e01b03821115611fc55760405162461bcd60e51b815260206004820152602760248201527f53616665436173743a2076616c756520646f65736e27742066697420696e20326044820152663234206269747360c81b60648201526084016105d8565b6001600160a01b0381168114610a7e57600080fd5b6000602082840312156129a357600080fd5b8135610a6d8161297c565b6000815180845260005b818110156129d4576020818501810151868301820152016129b8565b818111156129e6576000602083870101525b50601f01601f19169290920160200192915050565b602081526000610a6d60208301846129ae565b60008060408385031215612a2157600080fd5b8235612a2c8161297c565b946020939093013593505050565b600060208284031215612a4c57600080fd5b5035919050565b600080600060608486031215612a6857600080fd5b8335612a738161297c565b92506020840135612a838161297c565b929592945050506040919091013590565b803560ff81168114612aa557600080fd5b919050565b60008060008060008060c08789031215612ac357600080fd5b8635612ace8161297c565b95506020870135945060408701359350612aea60608801612a94565b92506080870135915060a087013590509295509295509295565b600080600080600080600060e0888a031215612b1f57600080fd5b8735612b2a8161297c565b96506020880135612b3a8161297c565b95506040880135945060608801359350612b5660808901612a94565b925060a0880135915060c0880135905092959891949750929550565b60008060408385031215612b8557600080fd5b8235612b908161297c565b91506020830135612ba08161297c565b809150509250929050565b60008060408385031215612bbe57600080fd5b8235612bc98161297c565b9150602083013563ffffffff81168114612ba057600080fd5b600181811c90821680612bf657607f821691505b60208210810361206157634e487b7160e01b600052602260045260246000fd5b600060208284031215612c2857600080fd5b5051919050565b600060208284031215612c4157600080fd5b81518015158114610a6d57600080fd5b6001600160a01b039384168152919092166020820152604081019190915260600190565b634e487b7160e01b600052601160045260246000fd5b60008219821115612c9e57612c9e612c75565b500190565b6001600160a01b03868116825260208201869052841660408201526060810183905260a060808201819052600090612cdd908301846129ae565b979650505050505050565b600082821015612cfa57612cfa612c75565b500390565b634e487b7160e01b600052603260045260246000fd5b6000816000190483118215151615612d2f57612d2f612c75565b500290565b600082612d5157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052602160045260246000fdfea2646970667358221220e09ad81e920eb7fd34f9f3c7900ce5befbf58c69e4d7ed75fcc5ea203530172164736f6c634300080d0033

0x608060405234801561001057600080fd5b50600436106102325760003560e01c80637ecebe0011610130578063b6549f75116100b8578063e6fee2d11161007c578063e6fee2d114610523578063eff6c02a1461052b578063f1127ed814610533578063f851a44014610570578063f887ea401461058357600080fd5b8063b6549f75146104a9578063c3cda520146104b1578063d505accf146104c4578063db77e2b2146104d7578063dd62ed3e146104ea57600080fd5b8063a457c2d7116100ff578063a457c2d71461044a578063a59f3e0c1461045d578063a9059cbb14610470578063b41933e714610483578063b589bbf01461049657600080fd5b80637ecebe00146104095780638e539e8c1461041c57806395d89b411461042f5780639ab24eb01461043757600080fd5b806339509351116101be57806360792c261161018257806360792c261461037f57806367dfd4c91461039257806368b037f6146103a55780636fcfff45146103b857806370a08231146103e057600080fd5b806339509351146102ef5780633a46b1a814610302578063587cde1e146103155780635c19a95c146103595780635da4c2771461036c57600080fd5b806322691be91161020557806322691be91461029f57806323b872dd146102b2578063244e90b2146102c5578063313ce567146102d85780633644e515146102e757600080fd5b806304db6e681461023757806306fdde031461024c578063095ea7b31461026a57806318160ddd1461028d575b600080fd5b61024a610245366004612991565b610596565b005b610254610603565b60405161026191906129fb565b60405180910390f35b61027d610278366004612a0e565b610695565b6040519015158152602001610261565b6002545b604051908152602001610261565b61024a6102ad366004612a3a565b6106ab565b61027d6102c0366004612a53565b6107c5565b6102916102d3366004612a3a565b61086f565b60405160128152602001610261565b6102916109af565b61027d6102fd366004612a0e565b6109be565b610291610310366004612a0e565b6109fa565b610341610323366004612991565b6001600160a01b039081166000908152600660205260409020541690565b6040516001600160a01b039091168152602001610261565b61024a610367366004612991565b610a74565b61029161037a366004612991565b610a81565b61029161038d366004612a3a565b610bc1565b61024a6103a0366004612a3a565b610c0a565b6102916103b3366004612a3a565b610deb565b6103cb6103c6366004612991565b610f0c565b60405163ffffffff9091168152602001610261565b6102916103ee366004612991565b6001600160a01b031660009081526020819052604090205490565b610291610417366004612991565b610f34565b61029161042a366004612a3a565b610f52565b610254610fae565b610291610445366004612991565b610fbd565b61027d610458366004612a0e565b611044565b61029161046b366004612a3a565b6110dd565b61027d61047e366004612a0e565b61131e565b610291610491366004612991565b61132b565b600a54610341906001600160a01b031681565b61024a6113cf565b61024a6104bf366004612aaa565b611427565b61024a6104d2366004612b04565b61155d565b600954610341906001600160a01b031681565b6102916104f8366004612b72565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6102916116c1565b61024a611872565b610546610541366004612bab565b61195b565b60408051825163ffffffff1681526020928301516001600160e01b03169281019290925201610261565b600c54610341906001600160a01b031681565b600b54610341906001600160a01b031681565b600c546001600160a01b031633146105e15760405162461bcd60e51b81526020600482015260096024820152684e6f2061636365737360b81b60448201526064015b60405180910390fd5b600b80546001600160a01b0319166001600160a01b0392909216919091179055565b60606003805461061290612be2565b80601f016020809104026020016040519081016040528092919081815260200182805461063e90612be2565b801561068b5780601f106106605761010080835404028352916020019161068b565b820191906000526020600020905b81548152906001019060200180831161066e57829003601f168201915b5050505050905090565b60006106a23384846119df565b50600192915050565b60006106b660025490565b600a546040516370a0823160e01b815230600482015291925060009161073e918491610738916001600160a01b0316906370a08231906024015b602060405180830381865afa15801561070d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107319190612c16565b8690611b03565b90611b0f565b905061074a3384611b1b565b600a5460405163a9059cbb60e01b8152336004820152602481018390526001600160a01b039091169063a9059cbb906044016020604051808303816000875af115801561079b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107bf9190612c2f565b50505050565b60006107d2848484611b25565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156108575760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084016105d8565b61086485338584036119df565b506001949350505050565b600a546040516370a0823160e01b815230600482015260009182916001600160a01b03909116906370a0823190602401602060405180830381865afa1580156108bc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108e09190612c16565b905060006108ed60025490565b90508015806108fa575081155b15610911576109093385611cf9565b839250610930565b6000610921836107388785611b03565b905061092d3382611cf9565b92505b600a546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061096490339030908990600401612c51565b6020604051808303816000875af1158015610983573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109a79190612c2f565b505050919050565b60006109b9611d03565b905090565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916106a29185906109f5908690612c8b565b6119df565b6000438210610a4b5760405162461bcd60e51b815260206004820152601f60248201527f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e65640060448201526064016105d8565b6001600160a01b0383166000908152600760205260409020610a6d9083611e2a565b9392505050565b610a7e3382611ee7565b50565b6001600160a01b0381166000908152602081905260408120546000610aa560025490565b90506000600a60009054906101000a90046001600160a01b03166001600160a01b031663be340e326040518163ffffffff1660e01b8152600401602060405180830381865afa158015610afc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b209190612c16565b600a546040516370a0823160e01b8152306004820152919250610bb891670de0b6b3a764000091610738918591610bb291889185916001600160a01b03909116906370a0823190602401602060405180830381865afa158015610b87573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bab9190612c16565b8a90611b03565b90611b03565b95945050505050565b600080610bcd60025490565b600a546040516370a0823160e01b8152306004820152919250610a6d918391610738916001600160a01b03909116906370a08231906024016106f0565b6000610c1560025490565b600a546040516370a0823160e01b8152306004820152919250600091610c53918491610738916001600160a01b0316906370a08231906024016106f0565b9050610c5f3384611b1b565b600a54600b5460405163095ea7b360e01b81526001600160a01b0391821660048201526024810184905291169063095ea7b3906044016020604051808303816000875af1158015610cb4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610cd89190612c2f565b50600b54600a5460408051600080825260208201928390526307c7316f60e21b90925290926001600160a01b0390811692631f1cc5bc92610d2b92909116908690309064174876e7ff9060248101612ca3565b6020604051808303816000875af1158015610d4a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d6e9190612c16565b60095460405163a9059cbb60e01b8152336004820152602481018390529192506001600160a01b03169063a9059cbb906044016020604051808303816000875af1158015610dc0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610de49190612c2f565b5050505050565b600080610df760025490565b90506000600a60009054906101000a90046001600160a01b03166001600160a01b031663be340e326040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e4e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e729190612c16565b600a546040516370a0823160e01b8152306004820152919250610f0491670de0b6b3a764000091610738918591610bb291889185916001600160a01b03909116906370a0823190602401602060405180830381865afa158015610ed9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610efd9190612c16565b8b90611b03565b949350505050565b6001600160a01b038116600090815260076020526040812054610f2e90611f60565b92915050565b6001600160a01b038116600090815260056020526040812054610f2e565b6000438210610fa35760405162461bcd60e51b815260206004820152601f60248201527f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e65640060448201526064016105d8565b610f2e600883611e2a565b60606004805461061290612be2565b6001600160a01b0381166000908152600760205260408120548015611031576001600160a01b0383166000908152600760205260409020610fff600183612ce8565b8154811061100f5761100f612cff565b60009182526020909120015464010000000090046001600160e01b0316611034565b60005b6001600160e01b03169392505050565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156110c65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016105d8565b6110d333858584036119df565b5060019392505050565b600a546040516370a0823160e01b815230600482015260009182916001600160a01b03909116906370a0823190602401602060405180830381865afa15801561112a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061114e9190612c16565b9050600061115b60025490565b600954600b5460405163095ea7b360e01b81526001600160a01b03918216600482015260248101889052929350169063095ea7b3906044016020604051808303816000875af11580156111b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111d69190612c2f565b506009546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061120b90339030908990600401612c51565b6020604051808303816000875af115801561122a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061124e9190612c2f565b50600b54600a54604051633c173a4f60e01b81526001600160a01b0391821660048201526024810187905230604482015264174876e7ff60648201526000929190911690633c173a4f906084016020604051808303816000875af11580156112ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112de9190612c16565b90508115806112eb575082155b15611302576112fa3382611cf9565b8093506109a7565b6000611312846107388486611b03565b9050610bb83382611cf9565b60006106a2338484611b25565b6001600160a01b038116600090815260208190526040812054600061134f60025490565b600a546040516370a0823160e01b8152306004820152919250610f04918391610738916001600160a01b03909116906370a0823190602401602060405180830381865afa1580156113a4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113c89190612c16565b8590611b03565b600c546001600160a01b031633146114155760405162461bcd60e51b81526020600482015260096024820152684e6f2061636365737360b81b60448201526064016105d8565b600c80546001600160a01b0319169055565b834211156114775760405162461bcd60e51b815260206004820152601d60248201527f4552433230566f7465733a207369676e6174757265206578706972656400000060448201526064016105d8565b604080517fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60208201526001600160a01b0388169181019190915260608101869052608081018590526000906114f1906114e99060a00160405160208183030381529060405280519060200120611fc9565b858585612017565b90506114fc8161203f565b861461154a5760405162461bcd60e51b815260206004820152601960248201527f4552433230566f7465733a20696e76616c6964206e6f6e63650000000000000060448201526064016105d8565b6115548188611ee7565b50505050505050565b834211156115ad5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e6500000060448201526064016105d8565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886115dc8c61203f565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061163782611fc9565b9050600061164782878787612017565b9050896001600160a01b0316816001600160a01b0316146116aa5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e6174757265000060448201526064016105d8565b6116b58a8a8a6119df565b50505050505050505050565b600a546040516370a0823160e01b815233600482015260009182916001600160a01b03909116906370a0823190602401602060405180830381865afa15801561170e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117329190612c16565b600a546040516370a0823160e01b81523060048201529192506000916001600160a01b03909116906370a0823190602401602060405180830381865afa158015611780573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117a49190612c16565b905060006117b160025490565b90508015806117be575081155b156117d5576117cd3384611cf9565b8293506117f4565b60006117e5836107388685611b03565b90506117f13382611cf9565b93505b600a546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061182890339030908890600401612c51565b6020604051808303816000875af1158015611847573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061186b9190612c2f565b5050505090565b600a546040516370a0823160e01b81523360048201526000916001600160a01b0316906370a0823190602401602060405180830381865afa1580156118bb573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118df9190612c16565b600a546040516323b872dd60e01b81529192506001600160a01b0316906323b872dd9061191490339030908690600401612c51565b6020604051808303816000875af1158015611933573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119579190612c2f565b5050565b60408051808201909152600080825260208201526001600160a01b0383166000908152600760205260409020805463ffffffff841690811061199f5761199f612cff565b60009182526020918290206040805180820190915291015463ffffffff8116825264010000000090046001600160e01b0316918101919091529392505050565b6001600160a01b038316611a415760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105d8565b6001600160a01b038216611aa25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105d8565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610a6d8284612d15565b6000610a6d8284612d34565b6119578282612067565b6001600160a01b038316611b895760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105d8565b6001600160a01b038216611beb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105d8565b6001600160a01b03831660009081526020819052604090205481811015611c635760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016105d8565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290611c9a908490612c8b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611ce691815260200190565b60405180910390a36107bf848484612084565b611957828261208f565b6000306001600160a01b037f0000000000000000000000009ef0130f2f76c972ecc1141c5f7905c2d843bee116148015611d5c57507f00000000000000000000000000000000000000000000000000000000000000fa46145b15611d8657507fd2c6f5c896490e16f7d46a9110f3385080b5d8fb2bf44368bda2459ece2f71f490565b50604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6020808301919091527ff2a378727ec6fbdcdd5fab811acfec72ad54f835a5c1af708d668f6dbb4b4f5b828401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b8154600090815b81811015611e8e576000611e458284612119565b905084868281548110611e5a57611e5a612cff565b60009182526020909120015463ffffffff161115611e7a57809250611e88565b611e85816001612c8b565b91505b50611e31565b8115611ed25784611ea0600184612ce8565b81548110611eb057611eb0612cff565b60009182526020909120015464010000000090046001600160e01b0316611ed5565b60005b6001600160e01b031695945050505050565b6001600160a01b038281166000818152600660208181526040808420805485845282862054949093528787166001600160a01b03198416811790915590519190951694919391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46107bf828483612134565b600063ffffffff821115611fc55760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b60648201526084016105d8565b5090565b6000610f2e611fd6611d03565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b600080600061202887878787612271565b915091506120358161235e565b5095945050505050565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b6120718282612514565b6107bf600861266983612675565b505050565b61207f8383836127ee565b6120998282612820565b6002546001600160e01b03101561210b5760405162461bcd60e51b815260206004820152603060248201527f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60448201526f766572666c6f77696e6720766f74657360801b60648201526084016105d8565b6107bf600861290783612675565b60006121286002848418612d34565b610a6d90848416612c8b565b816001600160a01b0316836001600160a01b0316141580156121565750600081115b1561207f576001600160a01b038316156121e4576001600160a01b038316600090815260076020526040812081906121919061266985612675565b91509150846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516121d9929190918252602082015260400190565b60405180910390a250505b6001600160a01b0382161561207f576001600160a01b0382166000908152600760205260408120819061221a9061290785612675565b91509150836001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051612262929190918252602082015260400190565b60405180910390a25050505050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156122a85750600090506003612355565b8460ff16601b141580156122c057508460ff16601c14155b156122d15750600090506004612355565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa158015612325573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661234e57600060019250925050612355565b9150600090505b94509492505050565b600081600481111561237257612372612d56565b0361237a5750565b600181600481111561238e5761238e612d56565b036123db5760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e6174757265000000000000000060448201526064016105d8565b60028160048111156123ef576123ef612d56565b0361243c5760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e6774680060448201526064016105d8565b600381600481111561245057612450612d56565b036124a85760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b60648201526084016105d8565b60048160048111156124bc576124bc612d56565b03610a7e5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b60648201526084016105d8565b6001600160a01b0382166125745760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b60648201526084016105d8565b6001600160a01b038216600090815260208190526040902054818110156125e85760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b60648201526084016105d8565b6001600160a01b0383166000908152602081905260408120838303905560028054849290612617908490612ce8565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a361207f83600084612084565b6000610a6d8284612ce8565b8254600090819080156126c0578561268e600183612ce8565b8154811061269e5761269e612cff565b60009182526020909120015464010000000090046001600160e01b03166126c3565b60005b6001600160e01b031692506126dc83858763ffffffff16565b915060008111801561271a575043866126f6600184612ce8565b8154811061270657612706612cff565b60009182526020909120015463ffffffff16145b1561277a5761272882612913565b86612734600184612ce8565b8154811061274457612744612cff565b9060005260206000200160000160046101000a8154816001600160e01b0302191690836001600160e01b031602179055506127e5565b85604051806040016040528061278f43611f60565b63ffffffff1681526020016127a385612913565b6001600160e01b0390811690915282546001810184556000938452602093849020835194909301519091166401000000000263ffffffff909316929092179101555b50935093915050565b6001600160a01b0383811660009081526006602052604080822054858416835291205461207f92918216911683612134565b6001600160a01b0382166128765760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016105d8565b80600260008282546128889190612c8b565b90915550506001600160a01b038216600090815260208190526040812080548392906128b5908490612c8b565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a361195760008383612084565b6000610a6d8284612c8b565b60006001600160e01b03821115611fc55760405162461bcd60e51b815260206004820152602760248201527f53616665436173743a2076616c756520646f65736e27742066697420696e20326044820152663234206269747360c81b60648201526084016105d8565b6001600160a01b0381168114610a7e57600080fd5b6000602082840312156129a357600080fd5b8135610a6d8161297c565b6000815180845260005b818110156129d4576020818501810151868301820152016129b8565b818111156129e6576000602083870101525b50601f01601f19169290920160200192915050565b602081526000610a6d60208301846129ae565b60008060408385031215612a2157600080fd5b8235612a2c8161297c565b946020939093013593505050565b600060208284031215612a4c57600080fd5b5035919050565b600080600060608486031215612a6857600080fd5b8335612a738161297c565b92506020840135612a838161297c565b929592945050506040919091013590565b803560ff81168114612aa557600080fd5b919050565b60008060008060008060c08789031215612ac357600080fd5b8635612ace8161297c565b95506020870135945060408701359350612aea60608801612a94565b92506080870135915060a087013590509295509295509295565b600080600080600080600060e0888a031215612b1f57600080fd5b8735612b2a8161297c565b96506020880135612b3a8161297c565b95506040880135945060608801359350612b5660808901612a94565b925060a0880135915060c0880135905092959891949750929550565b60008060408385031215612b8557600080fd5b8235612b908161297c565b91506020830135612ba08161297c565b809150509250929050565b60008060408385031215612bbe57600080fd5b8235612bc98161297c565b9150602083013563ffffffff81168114612ba057600080fd5b600181811c90821680612bf657607f821691505b60208210810361206157634e487b7160e01b600052602260045260246000fd5b600060208284031215612c2857600080fd5b5051919050565b600060208284031215612c4157600080fd5b81518015158114610a6d57600080fd5b6001600160a01b039384168152919092166020820152604081019190915260600190565b634e487b7160e01b600052601160045260246000fd5b60008219821115612c9e57612c9e612c75565b500190565b6001600160a01b03868116825260208201869052841660408201526060810183905260a060808201819052600090612cdd908301846129ae565b979650505050505050565b600082821015612cfa57612cfa612c75565b500390565b634e487b7160e01b600052603260045260246000fd5b6000816000190483118215151615612d2f57612d2f612c75565b500290565b600082612d5157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052602160045260246000fdfea2646970667358221220e09ad81e920eb7fd34f9f3c7900ce5befbf58c69e4d7ed75fcc5ea203530172164736f6c634300080d0033

67665:5775:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;68072:150;;;;;;:::i;:::-;;:::i;:::-;;44376:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46543:169;;;;;;:::i;:::-;;:::i;:::-;;;1656:14:1;;1649:22;1631:41;;1619:2;1604:18;46543:169:0;1491:187:1;45496:108:0;45584:12;;45496:108;;;1829:25:1;;;1817:2;1802:18;45496:108:0;1683:177:1;71178:290:0;;;;;;:::i;:::-;;:::i;47194:492::-;;;;;;:::i;:::-;;:::i;69361:593::-;;;;;;:::i;:::-;;:::i;45338:93::-;;;45421:2;2683:36:1;;2671:2;2656:18;45338:93:0;2541:184:1;56832:115:0;;;:::i;48095:215::-;;;;;;:::i;:::-;;:::i;60658:251::-;;;;;;:::i;:::-;;:::i;60058:119::-;;;;;;:::i;:::-;-1:-1:-1;;;;;60150:19:0;;;60123:7;60150:19;;;:10;:19;;;;;;;;60058:119;;;;-1:-1:-1;;;;;3343:32:1;;;3325:51;;3313:2;3298:18;60058:119:0;3179:203:1;63097:105:0;;;;;;:::i;:::-;;:::i;71993:389::-;;;;;;:::i;:::-;;:::i;73182:253::-;;;;;;:::i;:::-;;:::i;70714:456::-;;;;;;:::i;:::-;;:::i;72457:344::-;;;;;;:::i;:::-;;:::i;59814:151::-;;;;;;:::i;:::-;;:::i;:::-;;;3561:10:1;3549:23;;;3531:42;;3519:2;3504:18;59814:151:0;3387:192:1;45667:127:0;;;;;;:::i;:::-;-1:-1:-1;;;;;45768:18:0;45741:7;45768:18;;;;;;;;;;;;45667:127;56574:128;;;;;;:::i;:::-;;:::i;61198:242::-;;;;;;:::i;:::-;;:::i;44595:104::-;;;:::i;60261:195::-;;;;;;:::i;:::-;;:::i;48813:413::-;;;;;;:::i;:::-;;:::i;69962:744::-;;;;;;:::i;:::-;;:::i;46007:175::-;;;;;;:::i;:::-;;:::i;72809:298::-;;;;;;:::i;:::-;;:::i;67850:90::-;;;;;-1:-1:-1;;;;;67850:90:0;;;68230:114;;;:::i;63284:582::-;;;;;;:::i;:::-;;:::i;55863:645::-;;;;;;:::i;:::-;;:::i;67761:82::-;;;;;-1:-1:-1;;;;;67761:82:0;;;46245:151;;;;;;:::i;:::-;-1:-1:-1;;;;;46361:18:0;;;46334:7;46361:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;46245:151;68704:649;;;:::i;68512:184::-;;;:::i;59584:150::-;;;;;;:::i;:::-;;:::i;:::-;;;;6662:13:1;;6677:10;6658:30;6640:49;;6749:4;6737:17;;;6731:24;-1:-1:-1;;;;;6727:50:1;6705:20;;;6698:80;;;;6613:18;59584:150:0;6438:346:1;68043:20:0;;;;;-1:-1:-1;;;;;68043:20:0;;;67947:87;;;;;-1:-1:-1;;;;;67947:87:0;;;68072:150;68166:5;;-1:-1:-1;;;;;68166:5:0;68152:10;:19;68144:41;;;;-1:-1:-1;;;68144:41:0;;7221:2:1;68144:41:0;;;7203:21:1;7260:1;7240:18;;;7233:29;-1:-1:-1;;;7278:18:1;;;7271:39;7327:18;;68144:41:0;;;;;;;;;68196:6;:18;;-1:-1:-1;;;;;;68196:18:0;-1:-1:-1;;;;;68196:18:0;;;;;;;;;;68072:150::o;44376:100::-;44430:13;44463:5;44456:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;44376:100;:::o;46543:169::-;46626:4;46643:39;38291:10;46666:7;46675:6;46643:8;:39::i;:::-;-1:-1:-1;46700:4:0;46543:169;;;;:::o;71178:290::-;71241:19;71263:13;45584:12;;;45496:108;71263:13;71313:15;;:40;;-1:-1:-1;;;71313:40:0;;71347:4;71313:40;;;3325:51:1;71241:35:0;;-1:-1:-1;71287:12:0;;71302:69;;71241:35;;71302:52;;-1:-1:-1;;;;;71313:15:0;;:25;;3298:18:1;;71313:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;71302:6;;:10;:52::i;:::-;:56;;:69::i;:::-;71287:84;;71382:25;71388:10;71400:6;71382:5;:25::i;:::-;71418:15;;:42;;-1:-1:-1;;;71418:42:0;;71443:10;71418:42;;;8104:51:1;8171:18;;;8164:34;;;-1:-1:-1;;;;;71418:15:0;;;;:24;;8077:18:1;;71418:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;71230:238;;71178:290;:::o;47194:492::-;47334:4;47351:36;47361:6;47369:9;47380:6;47351:9;:36::i;:::-;-1:-1:-1;;;;;47427:19:0;;47400:24;47427:19;;;:11;:19;;;;;;;;38291:10;47427:33;;;;;;;;47479:26;;;;47471:79;;;;-1:-1:-1;;;47471:79:0;;8693:2:1;47471:79:0;;;8675:21:1;8732:2;8712:18;;;8705:30;8771:34;8751:18;;;8744:62;-1:-1:-1;;;8822:18:1;;;8815:38;8870:19;;47471:79:0;8491:404:1;47471:79:0;47586:57;47595:6;38291:10;47636:6;47617:16;:25;47586:8;:57::i;:::-;-1:-1:-1;47674:4:0;;47194:492;-1:-1:-1;;;;47194:492:0:o;69361:593::-;69472:15;;:40;;-1:-1:-1;;;69472:40:0;;69506:4;69472:40;;;3325:51:1;69419:20:0;;;;-1:-1:-1;;;;;69472:15:0;;;;:25;;3298:18:1;;69472:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;69451:61;;69523:19;69545:13;45584:12;;;45496:108;69545:13;69523:35;-1:-1:-1;69573:16:0;;;:35;;-1:-1:-1;69593:15:0;;69573:35;69569:301;;;69625:26;69631:10;69643:7;69625:5;:26::i;:::-;69681:7;69666:22;;69569:301;;;69731:12;69746:40;69775:10;69746:24;:7;69758:11;69746;:24::i;:40::-;69731:55;;69801:23;69807:10;69819:4;69801:5;:23::i;:::-;69854:4;-1:-1:-1;69569:301:0;69882:15;;:64;;-1:-1:-1;;;69882:64:0;;-1:-1:-1;;;;;69882:15:0;;;;:28;;:64;;69911:10;;69931:4;;69938:7;;69882:64;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;69440:514;;69361:593;;;:::o;56832:115::-;56892:7;56919:20;:18;:20::i;:::-;56912:27;;56832:115;:::o;48095:215::-;38291:10;48183:4;48232:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;48232:34:0;;;;;;;;;;48183:4;;48200:80;;48223:7;;48232:47;;48269:10;;48232:47;:::i;:::-;48200:8;:80::i;60658:251::-;60739:7;60781:12;60767:11;:26;60759:70;;;;-1:-1:-1;;;60759:70:0;;9747:2:1;60759:70:0;;;9729:21:1;9786:2;9766:18;;;9759:30;9825:33;9805:18;;;9798:61;9876:18;;60759:70:0;9545:355:1;60759:70:0;-1:-1:-1;;;;;60866:21:0;;;;;;:12;:21;;;;;60847:54;;60889:11;60847:18;:54::i;:::-;60840:61;60658:251;-1:-1:-1;;;60658:251:0:o;63097:105::-;63160:34;38291:10;63184:9;63160;:34::i;:::-;63097:105;:::o;71993:389::-;-1:-1:-1;;;;;45768:18:0;;72056:20;45768:18;;;;;;;;;;;72142:19;72164:13;45584:12;;;45496:108;72164:13;72142:35;;72188:20;72211:15;;;;;;;;;-1:-1:-1;;;;;72211:15:0;-1:-1:-1;;;;;72211:32:0;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;72288:15;;:40;;-1:-1:-1;;;72288:40:0;;72322:4;72288:40;;;3325:51:1;72188:57:0;;-1:-1:-1;72271:103:0;;72369:4;;72271:93;;72188:57;;72271:75;;72334:11;;72271:93;;-1:-1:-1;;;;;72288:15:0;;;;:25;;3298:18:1;;72288:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;72271:12;;:16;:58::i;:75::-;:79;;:93::i;:103::-;72256:118;71993:389;-1:-1:-1;;;;;71993:389:0:o;73182:253::-;73257:20;73290:19;73312:13;45584:12;;;45496:108;73312:13;73369:15;;:40;;-1:-1:-1;;;73369:40:0;;73403:4;73369:40;;;3325:51:1;73290:35:0;;-1:-1:-1;73351:76:0;;73290:35;;73351:59;;-1:-1:-1;;;;;73369:15:0;;;;:25;;3298:18:1;;73369:40:0;3179:203:1;70714:456:0;70763:19;70785:13;45584:12;;;45496:108;70785:13;70835:15;;:40;;-1:-1:-1;;;70835:40:0;;70869:4;70835:40;;;3325:51:1;70763:35:0;;-1:-1:-1;70809:12:0;;70824:69;;70763:35;;70824:52;;-1:-1:-1;;;;;70835:15:0;;:25;;3298:18:1;;70835:40:0;3179:203:1;70824:69:0;70809:84;;70904:25;70910:10;70922:6;70904:5;:25::i;:::-;70940:15;;70972:6;;70940:46;;-1:-1:-1;;;70940:46:0;;-1:-1:-1;;;;;70972:6:0;;;70940:46;;;8104:51:1;8171:18;;;8164:34;;;70940:15:0;;;:23;;8077:18:1;;70940:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;71017:6:0;;71039:15;;71091:12;;;70997:17;71091:12;;;;;;;;;;-1:-1:-1;;;71017:87:0;;;70997:17;;-1:-1:-1;;;;;71017:6:0;;;;:13;;:87;;71039:15;;;;71057:4;;71071;;71078:11;;71017:87;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;71115:15;;:47;;-1:-1:-1;;;71115:47:0;;71140:10;71115:47;;;8104:51:1;8171:18;;;8164:34;;;70997:107:0;;-1:-1:-1;;;;;;71115:15:0;;:24;;8077:18:1;;71115:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;70752:418;;;70714:456;:::o;72457:344::-;72527:20;72560:19;72582:13;45584:12;;;45496:108;72582:13;72560:35;;72606:20;72629:15;;;;;;;;;-1:-1:-1;;;;;72629:15:0;-1:-1:-1;;;;;72629:32:0;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;72707:15;;:40;;-1:-1:-1;;;72707:40:0;;72741:4;72707:40;;;3325:51:1;72606:57:0;;-1:-1:-1;72689:104:0;;72788:4;;72689:94;;72606:57;;72689:76;;72753:11;;72689:94;;-1:-1:-1;;;;;72707:15:0;;;;:25;;3298:18:1;;72707:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;72689:13;;:17;:59::i;:104::-;72674:119;72457:344;-1:-1:-1;;;;72457:344:0:o;59814:151::-;-1:-1:-1;;;;;59928:21:0;;59884:6;59928:21;;;:12;:21;;;;;:28;59910:47;;:17;:47::i;:::-;59903:54;59814:151;-1:-1:-1;;59814:151:0:o;56574:128::-;-1:-1:-1;;;;;56670:14:0;;56643:7;56670:14;;;:7;:14;;;;;18030;56670:24;17938:114;61198:242;61268:7;61310:12;61296:11;:26;61288:70;;;;-1:-1:-1;;;61288:70:0;;9747:2:1;61288:70:0;;;9729:21:1;9786:2;9766:18;;;9759:30;9825:33;9805:18;;;9798:61;9876:18;;61288:70:0;9545:355:1;61288:70:0;61376:56;61395:23;61420:11;61376:18;:56::i;44595:104::-;44651:13;44684:7;44677:14;;;;;:::i;60261:195::-;-1:-1:-1;;;;;60351:21:0;;60317:7;60351:21;;;:12;:21;;;;;:28;60397:8;;:51;;-1:-1:-1;;;;;60412:21:0;;;;;;:12;:21;;;;;60434:7;60440:1;60434:3;:7;:::i;:::-;60412:30;;;;;;;;:::i;:::-;;;;;;;;;;:36;;;;-1:-1:-1;;;;;60412:36:0;60397:51;;;60408:1;60397:51;-1:-1:-1;;;;;60390:58:0;;60261:195;-1:-1:-1;;;60261:195:0:o;48813:413::-;38291:10;48906:4;48950:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;48950:34:0;;;;;;;;;;49003:35;;;;48995:85;;;;-1:-1:-1;;;48995:85:0;;11085:2:1;48995:85:0;;;11067:21:1;11124:2;11104:18;;;11097:30;11163:34;11143:18;;;11136:62;-1:-1:-1;;;11214:18:1;;;11207:35;11259:19;;48995:85:0;10883:401:1;48995:85:0;49116:67;38291:10;49139:7;49167:15;49148:16;:34;49116:8;:67::i;:::-;-1:-1:-1;49214:4:0;;48813:413;-1:-1:-1;;;48813:413:0:o;69962:744::-;70065:15;;:40;;-1:-1:-1;;;70065:40:0;;70099:4;70065:40;;;3325:51:1;70010:20:0;;;;-1:-1:-1;;;;;70065:15:0;;;;:25;;3298:18:1;;70065:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;70044:61;;70116:19;70138:13;45584:12;;;45496:108;70138:13;70162:15;;70194:6;;70162:49;;-1:-1:-1;;;70162:49:0;;-1:-1:-1;;;;;70194:6:0;;;70162:49;;;8104:51:1;8171:18;;;8164:34;;;70116:35:0;;-1:-1:-1;70162:15:0;;:23;;8077:18:1;;70162:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;70222:15:0;;:64;;-1:-1:-1;;;70222:64:0;;-1:-1:-1;;;;;70222:15:0;;;;:28;;:64;;70251:10;;70271:4;;70278:7;;70222:64;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;70314:6:0;;70334:15;;70314:74;;-1:-1:-1;;;70314:74:0;;-1:-1:-1;;;;;70334:15:0;;;70314:74;;;11576:34:1;11626:18;;;11619:34;;;70369:4:0;11669:18:1;;;11662:43;70376:11:0;11721:18:1;;;11714:34;70297:14:0;;70314:6;;;;;:11;;11510:19:1;;70314:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;70297:91;-1:-1:-1;70403:16:0;;;:35;;-1:-1:-1;70423:15:0;;70403:35;70399:298;;;70455:25;70461:10;70473:6;70455:5;:25::i;:::-;70510:6;70495:21;;70399:298;;;70559:12;70574:39;70602:10;70574:23;:6;70585:11;70574:10;:23::i;:39::-;70559:54;;70628:23;70634:10;70646:4;70628:5;:23::i;46007:175::-;46093:4;46110:42;38291:10;46134:9;46145:6;46110:9;:42::i;72809:298::-;-1:-1:-1;;;;;45768:18:0;;72877:20;45768:18;;;;;;;;;;;72963:19;72985:13;45584:12;;;45496:108;72985:13;73041:15;;:40;;-1:-1:-1;;;73041:40:0;;73075:4;73041:40;;;3325:51:1;72963:35:0;;-1:-1:-1;73024:75:0;;72963:35;;73024:58;;-1:-1:-1;;;;;73041:15:0;;;;:25;;3298:18:1;;73041:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;73024:12;;:16;:58::i;68230:114::-;68288:5;;-1:-1:-1;;;;;68288:5:0;68274:10;:19;68266:41;;;;-1:-1:-1;;;68266:41:0;;7221:2:1;68266:41:0;;;7203:21:1;7260:1;7240:18;;;7233:29;-1:-1:-1;;;7278:18:1;;;7271:39;7327:18;;68266:41:0;7019:332:1;68266:41:0;68318:5;:18;;-1:-1:-1;;;;;;68318:18:0;;;68230:114::o;63284:582::-;63502:6;63483:15;:25;;63475:67;;;;-1:-1:-1;;;63475:67:0;;11961:2:1;63475:67:0;;;11943:21:1;12000:2;11980:18;;;11973:30;12039:31;12019:18;;;12012:59;12088:18;;63475:67:0;11759:353:1;63475:67:0;63625:58;;;58835:71;63625:58;;;12348:25:1;-1:-1:-1;;;;;12409:32:1;;12389:18;;;12382:60;;;;12458:18;;;12451:34;;;12501:18;;;12494:34;;;63553:14:0;;63570:174;;63598:87;;12320:19:1;;63625:58:0;;;;;;;;;;;;63615:69;;;;;;63598:16;:87::i;:::-;63700:1;63716;63732;63570:13;:174::i;:::-;63553:191;;63772:17;63782:6;63772:9;:17::i;:::-;63763:5;:26;63755:64;;;;-1:-1:-1;;;63755:64:0;;12741:2:1;63755:64:0;;;12723:21:1;12780:2;12760:18;;;12753:30;12819:27;12799:18;;;12792:55;12864:18;;63755:64:0;12539:349:1;63755:64:0;63830:28;63840:6;63848:9;63830;:28::i;:::-;63464:402;63284:582;;;;;;:::o;55863:645::-;56107:8;56088:15;:27;;56080:69;;;;-1:-1:-1;;;56080:69:0;;13095:2:1;56080:69:0;;;13077:21:1;13134:2;13114:18;;;13107:30;13173:31;13153:18;;;13146:59;13222:18;;56080:69:0;12893:353:1;56080:69:0;56162:18;56204:16;56222:5;56229:7;56238:5;56245:16;56255:5;56245:9;:16::i;:::-;56193:79;;;;;;13538:25:1;;;;-1:-1:-1;;;;;13637:15:1;;;13617:18;;;13610:43;13689:15;;;;13669:18;;;13662:43;13721:18;;;13714:34;13764:19;;;13757:35;13808:19;;;13801:35;;;13510:19;;56193:79:0;;;;;;;;;;;;56183:90;;;;;;56162:111;;56286:12;56301:28;56318:10;56301:16;:28::i;:::-;56286:43;;56342:14;56359:28;56373:4;56379:1;56382;56385;56359:13;:28::i;:::-;56342:45;;56416:5;-1:-1:-1;;;;;56406:15:0;:6;-1:-1:-1;;;;;56406:15:0;;56398:58;;;;-1:-1:-1;;;56398:58:0;;14049:2:1;56398:58:0;;;14031:21:1;14088:2;14068:18;;;14061:30;14127:32;14107:18;;;14100:60;14177:18;;56398:58:0;13847:354:1;56398:58:0;56469:31;56478:5;56485:7;56494:5;56469:8;:31::i;:::-;56069:439;;;55863:645;;;;;;;:::o;68704:649::-;68802:15;;:37;;-1:-1:-1;;;68802:37:0;;68828:10;68802:37;;;3325:51:1;68752:20:0;;;;-1:-1:-1;;;;;68802:15:0;;;;:25;;3298:18:1;;68802:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;68871:15;;:40;;-1:-1:-1;;;68871:40:0;;68905:4;68871:40;;;3325:51:1;68784:55:0;;-1:-1:-1;68850:18:0;;-1:-1:-1;;;;;68871:15:0;;;;:25;;3298:18:1;;68871:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;68850:61;;68922:19;68944:13;45584:12;;;45496:108;68944:13;68922:35;-1:-1:-1;68972:16:0;;;:35;;-1:-1:-1;68992:15:0;;68972:35;68968:301;;;69024:26;69030:10;69042:7;69024:5;:26::i;:::-;69080:7;69065:22;;68968:301;;;69130:12;69145:40;69174:10;69145:24;:7;69157:11;69145;:24::i;:40::-;69130:55;;69200:23;69206:10;69218:4;69200:5;:23::i;:::-;69253:4;-1:-1:-1;68968:301:0;69281:15;;:64;;-1:-1:-1;;;69281:64:0;;-1:-1:-1;;;;;69281:15:0;;;;:28;;:64;;69310:10;;69330:4;;69337:7;;69281:64;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;68773:580;;;68704:649;:::o;68512:184::-;68576:15;;:37;;-1:-1:-1;;;68576:37:0;;68602:10;68576:37;;;3325:51:1;68558:15:0;;-1:-1:-1;;;;;68576:15:0;;:25;;3298:18:1;;68576:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;68624:15;;:64;;-1:-1:-1;;;68624:64:0;;68558:55;;-1:-1:-1;;;;;;68624:15:0;;:28;;:64;;68653:10;;68673:4;;68558:55;;68624:64;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;68547:149;68512:184::o;59584:150::-;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;59700:21:0;;;;;;:12;:21;;;;;:26;;;;;;;;;;;;:::i;:::-;;;;;;;;;;59693:33;;;;;;;;;59700:26;;59693:33;;;;;;;;;-1:-1:-1;;;;;59693:33:0;;;;;;;;;59584:150;-1:-1:-1;;;59584:150:0:o;52497:380::-;-1:-1:-1;;;;;52633:19:0;;52625:68;;;;-1:-1:-1;;;52625:68:0;;14408:2:1;52625:68:0;;;14390:21:1;14447:2;14427:18;;;14420:30;14486:34;14466:18;;;14459:62;-1:-1:-1;;;14537:18:1;;;14530:34;14581:19;;52625:68:0;14206:400:1;52625:68:0;-1:-1:-1;;;;;52712:21:0;;52704:68;;;;-1:-1:-1;;;52704:68:0;;14813:2:1;52704:68:0;;;14795:21:1;14852:2;14832:18;;;14825:30;14891:34;14871:18;;;14864:62;-1:-1:-1;;;14942:18:1;;;14935:32;14984:19;;52704:68:0;14611:398:1;52704:68:0;-1:-1:-1;;;;;52785:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;52837:32;;1829:25:1;;;52837:32:0;;1802:18:1;52837:32:0;;;;;;;52497:380;;;:::o;13576:98::-;13634:7;13661:5;13665:1;13661;:5;:::i;13975:98::-;14033:7;14060:5;14064:1;14060;:5;:::i;71830:155::-;71949:28;71961:7;71970:6;71949:11;:28::i;49716:733::-;-1:-1:-1;;;;;49856:20:0;;49848:70;;;;-1:-1:-1;;;49848:70:0;;15611:2:1;49848:70:0;;;15593:21:1;15650:2;15630:18;;;15623:30;15689:34;15669:18;;;15662:62;-1:-1:-1;;;15740:18:1;;;15733:35;15785:19;;49848:70:0;15409:401:1;49848:70:0;-1:-1:-1;;;;;49937:23:0;;49929:71;;;;-1:-1:-1;;;49929:71:0;;16017:2:1;49929:71:0;;;15999:21:1;16056:2;16036:18;;;16029:30;16095:34;16075:18;;;16068:62;-1:-1:-1;;;16146:18:1;;;16139:33;16189:19;;49929:71:0;15815:399:1;49929:71:0;-1:-1:-1;;;;;50097:17:0;;50073:21;50097:17;;;;;;;;;;;50133:23;;;;50125:74;;;;-1:-1:-1;;;50125:74:0;;16421:2:1;50125:74:0;;;16403:21:1;16460:2;16440:18;;;16433:30;16499:34;16479:18;;;16472:62;-1:-1:-1;;;16550:18:1;;;16543:36;16596:19;;50125:74:0;16219:402:1;50125:74:0;-1:-1:-1;;;;;50235:17:0;;;:9;:17;;;;;;;;;;;50255:22;;;50235:42;;50299:20;;;;;;;;:30;;50271:6;;50235:9;50299:30;;50271:6;;50299:30;:::i;:::-;;;;;;;;50364:9;-1:-1:-1;;;;;50347:35:0;50356:6;-1:-1:-1;;;;;50347:35:0;;50375:6;50347:35;;;;1829:25:1;;1817:2;1802:18;;1683:177;50347:35:0;;;;;;;;50395:46;50415:6;50423:9;50434:6;50395:19;:46::i;71677:145::-;71791:23;71803:2;71807:6;71791:11;:23::i;33640:314::-;33693:7;33725:4;-1:-1:-1;;;;;33734:12:0;33717:29;;:66;;;;;33767:16;33750:13;:33;33717:66;33713:234;;;-1:-1:-1;33807:24:0;;33640:314::o;33713:234::-;-1:-1:-1;34143:73:0;;;33893:10;34143:73;;;;17709:25:1;;;;33905:12:0;17750:18:1;;;17743:34;33919:15:0;17793:18:1;;;17786:34;34187:13:0;17836:18:1;;;17829:34;34210:4:0;17879:19:1;;;;17872:61;;;;34143:73:0;;;;;;;;;;17681:19:1;;;;34143:73:0;;;34133:84;;;;;;56832:115::o;61529:1482::-;62662:12;;61628:7;;;62711:236;62724:4;62718:3;:10;62711:236;;;62745:11;62759:23;62772:3;62777:4;62759:12;:23::i;:::-;62745:37;;62824:11;62801:5;62807:3;62801:10;;;;;;;;:::i;:::-;;;;;;;;;;:20;;;:34;62797:139;;;62863:3;62856:10;;62797:139;;;62913:7;:3;62919:1;62913:7;:::i;:::-;62907:13;;62797:139;62730:217;62711:236;;;62966:9;;:37;;62982:5;62988:8;62995:1;62988:4;:8;:::i;:::-;62982:15;;;;;;;;:::i;:::-;;;;;;;;;;:21;;;;-1:-1:-1;;;;;62982:21:0;62966:37;;;62978:1;62966:37;-1:-1:-1;;;;;62959:44:0;;61529:1482;-1:-1:-1;;;;;61529:1482:0:o;65316:388::-;-1:-1:-1;;;;;60150:19:0;;;65401:23;60150:19;;;:10;:19;;;;;;;;;;45768:18;;;;;;;65516:21;;;;:33;;;-1:-1:-1;;;;;;65516:33:0;;;;;;;65567:54;;60150:19;;;;;45768:18;;65516:33;;60150:19;;;65567:54;;65401:23;65567:54;65634:62;65651:15;65668:9;65679:16;65634;:62::i;3331:190::-;3387:6;3423:16;3414:25;;;3406:76;;;;-1:-1:-1;;;3406:76:0;;16828:2:1;3406:76:0;;;16810:21:1;16867:2;16847:18;;;16840:30;16906:34;16886:18;;;16879:62;-1:-1:-1;;;16957:18:1;;;16950:36;17003:19;;3406:76:0;16626:402:1;3406:76:0;-1:-1:-1;3507:5:0;3331:190::o;34867:167::-;34944:7;34971:55;34993:20;:18;:20::i;:::-;35015:10;30274:57;;-1:-1:-1;;;30274:57:0;;;18455:27:1;18498:11;;;18491:27;;;18534:12;;;18527:28;;;30237:7:0;;18571:12:1;;30274:57:0;;;;;;;;;;;;30264:68;;;;;;30257:75;;30144:196;;;;;28453:279;28581:7;28602:17;28621:18;28643:25;28654:4;28660:1;28663;28666;28643:10;:25::i;:::-;28601:67;;;;28679:18;28691:5;28679:11;:18::i;:::-;-1:-1:-1;28715:9:0;28453:279;-1:-1:-1;;;;;28453:279:0:o;57085:207::-;-1:-1:-1;;;;;57206:14:0;;57145:15;57206:14;;;:7;:14;;;;;18030;;18167:1;18149:19;;;;18030:14;57267:17;57162:130;57085:207;;;:::o;64556:194::-;64641:28;64653:7;64662:6;64641:11;:28::i;:::-;64682:60;64699:23;64724:9;64735:6;64682:16;:60::i;53477:125::-;;;;:::o;71476:193::-;71618:43;71644:4;71650:2;71654:6;71618:25;:43::i;64172:290::-;64257:28;64269:7;64278:6;64257:11;:28::i;:::-;45584:12;;-1:-1:-1;;;;;;64304:29:0;64296:90;;;;-1:-1:-1;;;64296:90:0;;17235:2:1;64296:90:0;;;17217:21:1;17274:2;17254:18;;;17247:30;17313:34;17293:18;;;17286:62;-1:-1:-1;;;17364:18:1;;;17357:46;17420:19;;64296:90:0;17033:412:1;64296:90:0;64399:55;64416:23;64441:4;64447:6;64399:16;:55::i;9034:156::-;9096:7;9171:11;9181:1;9172:5;;;9171:11;:::i;:::-;9161:21;;9162:5;;;9161:21;:::i;65712:643::-;65844:3;-1:-1:-1;;;;;65837:10:0;:3;-1:-1:-1;;;;;65837:10:0;;;:24;;;;;65860:1;65851:6;:10;65837:24;65833:515;;;-1:-1:-1;;;;;65882:17:0;;;65878:224;;-1:-1:-1;;;;;65978:17:0;;65921;65978;;;:12;:17;;;;;65921;;65961:54;;65997:9;66008:6;65961:16;:54::i;:::-;65920:95;;;;66060:3;-1:-1:-1;;;;;66039:47:0;;66065:9;66076;66039:47;;;;;;18118:25:1;;;18174:2;18159:18;;18152:34;18106:2;18091:18;;17944:248;66039:47:0;;;;;;;;65901:201;;65878:224;-1:-1:-1;;;;;66122:17:0;;;66118:219;;-1:-1:-1;;;;;66218:17:0;;66161;66218;;;:12;:17;;;;;66161;;66201:49;;66237:4;66243:6;66201:16;:49::i;:::-;66160:90;;;;66295:3;-1:-1:-1;;;;;66274:47:0;;66300:9;66311;66274:47;;;;;;18118:25:1;;;18174:2;18159:18;;18152:34;18106:2;18091:18;;17944:248;66274:47:0;;;;;;;;66141:196;;65712:643;;;:::o;26682:1632::-;26813:7;;27747:66;27734:79;;27730:163;;;-1:-1:-1;27846:1:0;;-1:-1:-1;27850:30:0;27830:51;;27730:163;27907:1;:7;;27912:2;27907:7;;:18;;;;;27918:1;:7;;27923:2;27918:7;;27907:18;27903:102;;;-1:-1:-1;27958:1:0;;-1:-1:-1;27962:30:0;27942:51;;27903:102;28119:24;;;28102:14;28119:24;;;;;;;;;18821:25:1;;;18894:4;18882:17;;18862:18;;;18855:45;;;;18916:18;;;18909:34;;;18959:18;;;18952:34;;;28119:24:0;;18793:19:1;;28119:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;28119:24:0;;-1:-1:-1;;28119:24:0;;;-1:-1:-1;;;;;;;28158:20:0;;28154:103;;28211:1;28215:29;28195:50;;;;;;;28154:103;28277:6;-1:-1:-1;28285:20:0;;-1:-1:-1;26682:1632:0;;;;;;;;:::o;21344:643::-;21422:20;21413:5;:29;;;;;;;;:::i;:::-;;21409:571;;21344:643;:::o;21409:571::-;21520:29;21511:5;:38;;;;;;;;:::i;:::-;;21507:473;;21566:34;;-1:-1:-1;;;21566:34:0;;19331:2:1;21566:34:0;;;19313:21:1;19370:2;19350:18;;;19343:30;19409:26;19389:18;;;19382:54;19453:18;;21566:34:0;19129:348:1;21507:473:0;21631:35;21622:5;:44;;;;;;;;:::i;:::-;;21618:362;;21683:41;;-1:-1:-1;;;21683:41:0;;19684:2:1;21683:41:0;;;19666:21:1;19723:2;19703:18;;;19696:30;19762:33;19742:18;;;19735:61;19813:18;;21683:41:0;19482:355:1;21618:362:0;21755:30;21746:5;:39;;;;;;;;:::i;:::-;;21742:238;;21802:44;;-1:-1:-1;;;21802:44:0;;20044:2:1;21802:44:0;;;20026:21:1;20083:2;20063:18;;;20056:30;20122:34;20102:18;;;20095:62;-1:-1:-1;;;20173:18:1;;;20166:32;20215:19;;21802:44:0;19842:398:1;21742:238:0;21877:30;21868:5;:39;;;;;;;;:::i;:::-;;21864:116;;21924:44;;-1:-1:-1;;;21924:44:0;;20447:2:1;21924:44:0;;;20429:21:1;20486:2;20466:18;;;20459:30;20525:34;20505:18;;;20498:62;-1:-1:-1;;;20576:18:1;;;20569:32;20618:19;;21924:44:0;20245:398:1;51468:591:0;-1:-1:-1;;;;;51552:21:0;;51544:67;;;;-1:-1:-1;;;51544:67:0;;20850:2:1;51544:67:0;;;20832:21:1;20889:2;20869:18;;;20862:30;20928:34;20908:18;;;20901:62;-1:-1:-1;;;20979:18:1;;;20972:31;21020:19;;51544:67:0;20648:397:1;51544:67:0;-1:-1:-1;;;;;51711:18:0;;51686:22;51711:18;;;;;;;;;;;51748:24;;;;51740:71;;;;-1:-1:-1;;;51740:71:0;;21252:2:1;51740:71:0;;;21234:21:1;21291:2;21271:18;;;21264:30;21330:34;21310:18;;;21303:62;-1:-1:-1;;;21381:18:1;;;21374:32;21423:19;;51740:71:0;21050:398:1;51740:71:0;-1:-1:-1;;;;;51847:18:0;;:9;:18;;;;;;;;;;51868:23;;;51847:44;;51913:12;:22;;51885:6;;51847:9;51913:22;;51885:6;;51913:22;:::i;:::-;;;;-1:-1:-1;;51953:37:0;;1829:25:1;;;51979:1:0;;-1:-1:-1;;;;;51953:37:0;;;;;1817:2:1;1802:18;51953:37:0;;;;;;;52003:48;52023:7;52040:1;52044:6;52003:19;:48::i;67122:103::-;67185:7;67212:5;67216:1;67212;:5;:::i;66363:645::-;66600:12;;66537:17;;;;66635:8;;:35;;66650:5;66656:7;66662:1;66656:3;:7;:::i;:::-;66650:14;;;;;;;;:::i;:::-;;;;;;;;;;:20;;;;-1:-1:-1;;;;;66650:20:0;66635:35;;;66646:1;66635:35;-1:-1:-1;;;;;66623:47:0;;;66693:20;66696:9;66707:5;66693:2;:20;;:::i;:::-;66681:32;;66736:1;66730:3;:7;:51;;;;-1:-1:-1;66769:12:0;66741:5;66747:7;66753:1;66747:3;:7;:::i;:::-;66741:14;;;;;;;;:::i;:::-;;;;;;;;;;:24;;;:40;66730:51;66726:275;;;66821:29;66840:9;66821:18;:29::i;:::-;66798:5;66804:7;66810:1;66804:3;:7;:::i;:::-;66798:14;;;;;;;;:::i;:::-;;;;;;;;:20;;;:52;;;;;-1:-1:-1;;;;;66798:52:0;;;;;-1:-1:-1;;;;;66798:52:0;;;;;;66726:275;;;66883:5;66894:94;;;;;;;;66917:31;66935:12;66917:17;:31::i;:::-;66894:94;;;;;;66957:29;66976:9;66957:18;:29::i;:::-;-1:-1:-1;;;;;66894:94:0;;;;;;66883:106;;;;;;;-1:-1:-1;66883:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;66726:275;66575:433;66363:645;;;;;;:::o;64890:262::-;-1:-1:-1;;;;;60150:19:0;;;60123:7;60150:19;;;:10;:19;;;;;;;;;;;;;;;65088:56;;60150:19;;;;;65137:6;65088:16;:56::i;50736:399::-;-1:-1:-1;;;;;50820:21:0;;50812:65;;;;-1:-1:-1;;;50812:65:0;;21655:2:1;50812:65:0;;;21637:21:1;21694:2;21674:18;;;21667:30;21733:33;21713:18;;;21706:61;21784:18;;50812:65:0;21453:355:1;50812:65:0;50968:6;50952:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;50985:18:0;;:9;:18;;;;;;;;;;:28;;51007:6;;50985:9;:28;;51007:6;;50985:28;:::i;:::-;;;;-1:-1:-1;;51029:37:0;;1829:25:1;;;-1:-1:-1;;;;;51029:37:0;;;51046:1;;51029:37;;1817:2:1;1802:18;51029:37:0;;;;;;;51079:48;51107:1;51111:7;51120:6;51079:19;:48::i;67016:98::-;67074:7;67101:5;67105:1;67101;:5;:::i;1361:195::-;1418:7;-1:-1:-1;;;;;1446:26:0;;;1438:78;;;;-1:-1:-1;;;1438:78:0;;22015:2:1;1438:78:0;;;21997:21:1;22054:2;22034:18;;;22027:30;22093:34;22073:18;;;22066:62;-1:-1:-1;;;22144:18:1;;;22137:37;22191:19;;1438:78:0;21813:403:1;14:146;-1:-1:-1;;;;;104:31:1;;94:42;;84:70;;150:1;147;140:12;165:284;246:6;299:2;287:9;278:7;274:23;270:32;267:52;;;315:1;312;305:12;267:52;354:9;341:23;373:46;413:5;373:46;:::i;454:472::-;496:3;534:5;528:12;561:6;556:3;549:19;586:1;596:162;610:6;607:1;604:13;596:162;;;672:4;728:13;;;724:22;;718:29;700:11;;;696:20;;689:59;625:12;596:162;;;776:6;773:1;770:13;767:87;;;842:1;835:4;826:6;821:3;817:16;813:27;806:38;767:87;-1:-1:-1;908:2:1;887:15;-1:-1:-1;;883:29:1;874:39;;;;915:4;870:50;;454:472;-1:-1:-1;;454:472:1:o;931:220::-;1080:2;1069:9;1062:21;1043:4;1100:45;1141:2;1130:9;1126:18;1118:6;1100:45;:::i;1156:330::-;1224:6;1232;1285:2;1273:9;1264:7;1260:23;1256:32;1253:52;;;1301:1;1298;1291:12;1253:52;1340:9;1327:23;1359:46;1399:5;1359:46;:::i;:::-;1424:5;1476:2;1461:18;;;;1448:32;;-1:-1:-1;;;1156:330:1:o;1865:180::-;1924:6;1977:2;1965:9;1956:7;1952:23;1948:32;1945:52;;;1993:1;1990;1983:12;1945:52;-1:-1:-1;2016:23:1;;1865:180;-1:-1:-1;1865:180:1:o;2050:486::-;2127:6;2135;2143;2196:2;2184:9;2175:7;2171:23;2167:32;2164:52;;;2212:1;2209;2202:12;2164:52;2251:9;2238:23;2270:46;2310:5;2270:46;:::i;:::-;2335:5;-1:-1:-1;2392:2:1;2377:18;;2364:32;2405:48;2364:32;2405:48;:::i;:::-;2050:486;;2472:7;;-1:-1:-1;;;2526:2:1;2511:18;;;;2498:32;;2050:486::o;3811:156::-;3877:20;;3937:4;3926:16;;3916:27;;3906:55;;3957:1;3954;3947:12;3906:55;3811:156;;;:::o;3972:607::-;4074:6;4082;4090;4098;4106;4114;4167:3;4155:9;4146:7;4142:23;4138:33;4135:53;;;4184:1;4181;4174:12;4135:53;4223:9;4210:23;4242:46;4282:5;4242:46;:::i;:::-;4307:5;-1:-1:-1;4359:2:1;4344:18;;4331:32;;-1:-1:-1;4410:2:1;4395:18;;4382:32;;-1:-1:-1;4433:36:1;4465:2;4450:18;;4433:36;:::i;:::-;4423:46;;4516:3;4505:9;4501:19;4488:33;4478:43;;4568:3;4557:9;4553:19;4540:33;4530:43;;3972:607;;;;;;;;:::o;4584:764::-;4695:6;4703;4711;4719;4727;4735;4743;4796:3;4784:9;4775:7;4771:23;4767:33;4764:53;;;4813:1;4810;4803:12;4764:53;4852:9;4839:23;4871:46;4911:5;4871:46;:::i;:::-;4936:5;-1:-1:-1;4993:2:1;4978:18;;4965:32;5006:48;4965:32;5006:48;:::i;:::-;5073:7;-1:-1:-1;5127:2:1;5112:18;;5099:32;;-1:-1:-1;5178:2:1;5163:18;;5150:32;;-1:-1:-1;5201:37:1;5233:3;5218:19;;5201:37;:::i;:::-;5191:47;;5285:3;5274:9;5270:19;5257:33;5247:43;;5337:3;5326:9;5322:19;5309:33;5299:43;;4584:764;;;;;;;;;;:::o;5576:418::-;5644:6;5652;5705:2;5693:9;5684:7;5680:23;5676:32;5673:52;;;5721:1;5718;5711:12;5673:52;5760:9;5747:23;5779:46;5819:5;5779:46;:::i;:::-;5844:5;-1:-1:-1;5901:2:1;5886:18;;5873:32;5914:48;5873:32;5914:48;:::i;:::-;5981:7;5971:17;;;5576:418;;;;;:::o;5999:434::-;6066:6;6074;6127:2;6115:9;6106:7;6102:23;6098:32;6095:52;;;6143:1;6140;6133:12;6095:52;6182:9;6169:23;6201:46;6241:5;6201:46;:::i;:::-;6266:5;-1:-1:-1;6323:2:1;6308:18;;6295:32;6371:10;6358:24;;6346:37;;6336:65;;6397:1;6394;6387:12;7356:380;7435:1;7431:12;;;;7478;;;7499:61;;7553:4;7545:6;7541:17;7531:27;;7499:61;7606:2;7598:6;7595:14;7575:18;7572:38;7569:161;;7652:10;7647:3;7643:20;7640:1;7633:31;7687:4;7684:1;7677:15;7715:4;7712:1;7705:15;7741:184;7811:6;7864:2;7852:9;7843:7;7839:23;7835:32;7832:52;;;7880:1;7877;7870:12;7832:52;-1:-1:-1;7903:16:1;;7741:184;-1:-1:-1;7741:184:1:o;8209:277::-;8276:6;8329:2;8317:9;8308:7;8304:23;8300:32;8297:52;;;8345:1;8342;8335:12;8297:52;8377:9;8371:16;8430:5;8423:13;8416:21;8409:5;8406:32;8396:60;;8452:1;8449;8442:12;8900:375;-1:-1:-1;;;;;9158:15:1;;;9140:34;;9210:15;;;;9205:2;9190:18;;9183:43;9257:2;9242:18;;9235:34;;;;9090:2;9075:18;;8900:375::o;9280:127::-;9341:10;9336:3;9332:20;9329:1;9322:31;9372:4;9369:1;9362:15;9396:4;9393:1;9386:15;9412:128;9452:3;9483:1;9479:6;9476:1;9473:13;9470:39;;;9489:18;;:::i;:::-;-1:-1:-1;9525:9:1;;9412:128::o;10037:579::-;-1:-1:-1;;;;;10352:15:1;;;10334:34;;10399:2;10384:18;;10377:34;;;10447:15;;10442:2;10427:18;;10420:43;10494:2;10479:18;;10472:34;;;10314:3;10537;10522:19;;10515:32;;;10277:4;;10564:46;;10590:19;;10582:6;10564:46;:::i;:::-;10556:54;10037:579;-1:-1:-1;;;;;;;10037:579:1:o;10621:125::-;10661:4;10689:1;10686;10683:8;10680:34;;;10694:18;;:::i;:::-;-1:-1:-1;10731:9:1;;10621:125::o;10751:127::-;10812:10;10807:3;10803:20;10800:1;10793:31;10843:4;10840:1;10833:15;10867:4;10864:1;10857:15;15014:168;15054:7;15120:1;15116;15112:6;15108:14;15105:1;15102:21;15097:1;15090:9;15083:17;15079:45;15076:71;;;15127:18;;:::i;:::-;-1:-1:-1;15167:9:1;;15014:168::o;15187:217::-;15227:1;15253;15243:132;;15297:10;15292:3;15288:20;15285:1;15278:31;15332:4;15329:1;15322:15;15360:4;15357:1;15350:15;15243:132;-1:-1:-1;15389:9:1;;15187:217::o;18997:127::-;19058:10;19053:3;19049:20;19046:1;19039:31;19089:4;19086:1;19079:15;19113:4;19110:1;19103:15

ipfs://e09ad81e920eb7fd34f9f3c7900ce5befbf58c69e4d7ed75fcc5ea2035301721