Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at Arbiscan.io on 2023-09-08
*/

// File: @openzeppelin/contracts/utils/math/SafeCast.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SafeCast.sol)
// This file was procedurally generated from scripts/generate/templates/SafeCast.js.

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 uint248 from uint256, reverting on
     * overflow (when the input is greater than largest uint248).
     *
     * Counterpart to Solidity's `uint248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     *
     * _Available since v4.7._
     */
    function toUint248(uint256 value) internal pure returns (uint248) {
        require(value <= type(uint248).max, "SafeCast: value doesn't fit in 248 bits");
        return uint248(value);
    }

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

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

    /**
     * @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
     *
     * _Available since v4.2._
     */
    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 uint216 from uint256, reverting on
     * overflow (when the input is greater than largest uint216).
     *
     * Counterpart to Solidity's `uint216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     *
     * _Available since v4.7._
     */
    function toUint216(uint256 value) internal pure returns (uint216) {
        require(value <= type(uint216).max, "SafeCast: value doesn't fit in 216 bits");
        return uint216(value);
    }

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

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

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

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

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

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

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

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

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

    /**
     * @dev Returns the downcasted uint136 from uint256, reverting on
     * overflow (when the input is greater than largest uint136).
     *
     * Counterpart to Solidity's `uint136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     *
     * _Available since v4.7._
     */
    function toUint136(uint256 value) internal pure returns (uint136) {
        require(value <= type(uint136).max, "SafeCast: value doesn't fit in 136 bits");
        return uint136(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
     *
     * _Available since v2.5._
     */
    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 uint120 from uint256, reverting on
     * overflow (when the input is greater than largest uint120).
     *
     * Counterpart to Solidity's `uint120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     *
     * _Available since v4.7._
     */
    function toUint120(uint256 value) internal pure returns (uint120) {
        require(value <= type(uint120).max, "SafeCast: value doesn't fit in 120 bits");
        return uint120(value);
    }

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

    /**
     * @dev Returns the downcasted uint104 from uint256, reverting on
     * overflow (when the input is greater than largest uint104).
     *
     * Counterpart to Solidity's `uint104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     *
     * _Available since v4.7._
     */
    function toUint104(uint256 value) internal pure returns (uint104) {
        require(value <= type(uint104).max, "SafeCast: value doesn't fit in 104 bits");
        return uint104(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
     *
     * _Available since v4.2._
     */
    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 uint88 from uint256, reverting on
     * overflow (when the input is greater than largest uint88).
     *
     * Counterpart to Solidity's `uint88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     *
     * _Available since v4.7._
     */
    function toUint88(uint256 value) internal pure returns (uint88) {
        require(value <= type(uint88).max, "SafeCast: value doesn't fit in 88 bits");
        return uint88(value);
    }

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

    /**
     * @dev Returns the downcasted uint72 from uint256, reverting on
     * overflow (when the input is greater than largest uint72).
     *
     * Counterpart to Solidity's `uint72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     *
     * _Available since v4.7._
     */
    function toUint72(uint256 value) internal pure returns (uint72) {
        require(value <= type(uint72).max, "SafeCast: value doesn't fit in 72 bits");
        return uint72(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
     *
     * _Available since v2.5._
     */
    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 uint56 from uint256, reverting on
     * overflow (when the input is greater than largest uint56).
     *
     * Counterpart to Solidity's `uint56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     *
     * _Available since v4.7._
     */
    function toUint56(uint256 value) internal pure returns (uint56) {
        require(value <= type(uint56).max, "SafeCast: value doesn't fit in 56 bits");
        return uint56(value);
    }

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

    /**
     * @dev Returns the downcasted uint40 from uint256, reverting on
     * overflow (when the input is greater than largest uint40).
     *
     * Counterpart to Solidity's `uint40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     *
     * _Available since v4.7._
     */
    function toUint40(uint256 value) internal pure returns (uint40) {
        require(value <= type(uint40).max, "SafeCast: value doesn't fit in 40 bits");
        return uint40(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
     *
     * _Available since v2.5._
     */
    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 uint24 from uint256, reverting on
     * overflow (when the input is greater than largest uint24).
     *
     * Counterpart to Solidity's `uint24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     *
     * _Available since v4.7._
     */
    function toUint24(uint256 value) internal pure returns (uint24) {
        require(value <= type(uint24).max, "SafeCast: value doesn't fit in 24 bits");
        return uint24(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
     *
     * _Available since v2.5._
     */
    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
     *
     * _Available since v2.5._
     */
    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.
     *
     * _Available since v3.0._
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        require(value >= 0, "SafeCast: value must be positive");
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int248 from int256, reverting on
     * overflow (when the input is less than smallest int248 or
     * greater than largest int248).
     *
     * Counterpart to Solidity's `int248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     *
     * _Available since v4.7._
     */
    function toInt248(int256 value) internal pure returns (int248 downcasted) {
        downcasted = int248(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 248 bits");
    }

    /**
     * @dev Returns the downcasted int240 from int256, reverting on
     * overflow (when the input is less than smallest int240 or
     * greater than largest int240).
     *
     * Counterpart to Solidity's `int240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     *
     * _Available since v4.7._
     */
    function toInt240(int256 value) internal pure returns (int240 downcasted) {
        downcasted = int240(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 240 bits");
    }

    /**
     * @dev Returns the downcasted int232 from int256, reverting on
     * overflow (when the input is less than smallest int232 or
     * greater than largest int232).
     *
     * Counterpart to Solidity's `int232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     *
     * _Available since v4.7._
     */
    function toInt232(int256 value) internal pure returns (int232 downcasted) {
        downcasted = int232(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 232 bits");
    }

    /**
     * @dev Returns the downcasted int224 from int256, reverting on
     * overflow (when the input is less than smallest int224 or
     * greater than largest int224).
     *
     * Counterpart to Solidity's `int224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     *
     * _Available since v4.7._
     */
    function toInt224(int256 value) internal pure returns (int224 downcasted) {
        downcasted = int224(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 224 bits");
    }

    /**
     * @dev Returns the downcasted int216 from int256, reverting on
     * overflow (when the input is less than smallest int216 or
     * greater than largest int216).
     *
     * Counterpart to Solidity's `int216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     *
     * _Available since v4.7._
     */
    function toInt216(int256 value) internal pure returns (int216 downcasted) {
        downcasted = int216(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 216 bits");
    }

    /**
     * @dev Returns the downcasted int208 from int256, reverting on
     * overflow (when the input is less than smallest int208 or
     * greater than largest int208).
     *
     * Counterpart to Solidity's `int208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     *
     * _Available since v4.7._
     */
    function toInt208(int256 value) internal pure returns (int208 downcasted) {
        downcasted = int208(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 208 bits");
    }

    /**
     * @dev Returns the downcasted int200 from int256, reverting on
     * overflow (when the input is less than smallest int200 or
     * greater than largest int200).
     *
     * Counterpart to Solidity's `int200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     *
     * _Available since v4.7._
     */
    function toInt200(int256 value) internal pure returns (int200 downcasted) {
        downcasted = int200(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 200 bits");
    }

    /**
     * @dev Returns the downcasted int192 from int256, reverting on
     * overflow (when the input is less than smallest int192 or
     * greater than largest int192).
     *
     * Counterpart to Solidity's `int192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     *
     * _Available since v4.7._
     */
    function toInt192(int256 value) internal pure returns (int192 downcasted) {
        downcasted = int192(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 192 bits");
    }

    /**
     * @dev Returns the downcasted int184 from int256, reverting on
     * overflow (when the input is less than smallest int184 or
     * greater than largest int184).
     *
     * Counterpart to Solidity's `int184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     *
     * _Available since v4.7._
     */
    function toInt184(int256 value) internal pure returns (int184 downcasted) {
        downcasted = int184(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 184 bits");
    }

    /**
     * @dev Returns the downcasted int176 from int256, reverting on
     * overflow (when the input is less than smallest int176 or
     * greater than largest int176).
     *
     * Counterpart to Solidity's `int176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     *
     * _Available since v4.7._
     */
    function toInt176(int256 value) internal pure returns (int176 downcasted) {
        downcasted = int176(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 176 bits");
    }

    /**
     * @dev Returns the downcasted int168 from int256, reverting on
     * overflow (when the input is less than smallest int168 or
     * greater than largest int168).
     *
     * Counterpart to Solidity's `int168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     *
     * _Available since v4.7._
     */
    function toInt168(int256 value) internal pure returns (int168 downcasted) {
        downcasted = int168(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 168 bits");
    }

    /**
     * @dev Returns the downcasted int160 from int256, reverting on
     * overflow (when the input is less than smallest int160 or
     * greater than largest int160).
     *
     * Counterpart to Solidity's `int160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     *
     * _Available since v4.7._
     */
    function toInt160(int256 value) internal pure returns (int160 downcasted) {
        downcasted = int160(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 160 bits");
    }

    /**
     * @dev Returns the downcasted int152 from int256, reverting on
     * overflow (when the input is less than smallest int152 or
     * greater than largest int152).
     *
     * Counterpart to Solidity's `int152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     *
     * _Available since v4.7._
     */
    function toInt152(int256 value) internal pure returns (int152 downcasted) {
        downcasted = int152(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 152 bits");
    }

    /**
     * @dev Returns the downcasted int144 from int256, reverting on
     * overflow (when the input is less than smallest int144 or
     * greater than largest int144).
     *
     * Counterpart to Solidity's `int144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     *
     * _Available since v4.7._
     */
    function toInt144(int256 value) internal pure returns (int144 downcasted) {
        downcasted = int144(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 144 bits");
    }

    /**
     * @dev Returns the downcasted int136 from int256, reverting on
     * overflow (when the input is less than smallest int136 or
     * greater than largest int136).
     *
     * Counterpart to Solidity's `int136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     *
     * _Available since v4.7._
     */
    function toInt136(int256 value) internal pure returns (int136 downcasted) {
        downcasted = int136(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 136 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int128(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 128 bits");
    }

    /**
     * @dev Returns the downcasted int120 from int256, reverting on
     * overflow (when the input is less than smallest int120 or
     * greater than largest int120).
     *
     * Counterpart to Solidity's `int120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     *
     * _Available since v4.7._
     */
    function toInt120(int256 value) internal pure returns (int120 downcasted) {
        downcasted = int120(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 120 bits");
    }

    /**
     * @dev Returns the downcasted int112 from int256, reverting on
     * overflow (when the input is less than smallest int112 or
     * greater than largest int112).
     *
     * Counterpart to Solidity's `int112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     *
     * _Available since v4.7._
     */
    function toInt112(int256 value) internal pure returns (int112 downcasted) {
        downcasted = int112(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 112 bits");
    }

    /**
     * @dev Returns the downcasted int104 from int256, reverting on
     * overflow (when the input is less than smallest int104 or
     * greater than largest int104).
     *
     * Counterpart to Solidity's `int104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     *
     * _Available since v4.7._
     */
    function toInt104(int256 value) internal pure returns (int104 downcasted) {
        downcasted = int104(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 104 bits");
    }

    /**
     * @dev Returns the downcasted int96 from int256, reverting on
     * overflow (when the input is less than smallest int96 or
     * greater than largest int96).
     *
     * Counterpart to Solidity's `int96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     *
     * _Available since v4.7._
     */
    function toInt96(int256 value) internal pure returns (int96 downcasted) {
        downcasted = int96(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 96 bits");
    }

    /**
     * @dev Returns the downcasted int88 from int256, reverting on
     * overflow (when the input is less than smallest int88 or
     * greater than largest int88).
     *
     * Counterpart to Solidity's `int88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     *
     * _Available since v4.7._
     */
    function toInt88(int256 value) internal pure returns (int88 downcasted) {
        downcasted = int88(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 88 bits");
    }

    /**
     * @dev Returns the downcasted int80 from int256, reverting on
     * overflow (when the input is less than smallest int80 or
     * greater than largest int80).
     *
     * Counterpart to Solidity's `int80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     *
     * _Available since v4.7._
     */
    function toInt80(int256 value) internal pure returns (int80 downcasted) {
        downcasted = int80(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 80 bits");
    }

    /**
     * @dev Returns the downcasted int72 from int256, reverting on
     * overflow (when the input is less than smallest int72 or
     * greater than largest int72).
     *
     * Counterpart to Solidity's `int72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     *
     * _Available since v4.7._
     */
    function toInt72(int256 value) internal pure returns (int72 downcasted) {
        downcasted = int72(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 72 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int64(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 64 bits");
    }

    /**
     * @dev Returns the downcasted int56 from int256, reverting on
     * overflow (when the input is less than smallest int56 or
     * greater than largest int56).
     *
     * Counterpart to Solidity's `int56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     *
     * _Available since v4.7._
     */
    function toInt56(int256 value) internal pure returns (int56 downcasted) {
        downcasted = int56(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 56 bits");
    }

    /**
     * @dev Returns the downcasted int48 from int256, reverting on
     * overflow (when the input is less than smallest int48 or
     * greater than largest int48).
     *
     * Counterpart to Solidity's `int48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     *
     * _Available since v4.7._
     */
    function toInt48(int256 value) internal pure returns (int48 downcasted) {
        downcasted = int48(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 48 bits");
    }

    /**
     * @dev Returns the downcasted int40 from int256, reverting on
     * overflow (when the input is less than smallest int40 or
     * greater than largest int40).
     *
     * Counterpart to Solidity's `int40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     *
     * _Available since v4.7._
     */
    function toInt40(int256 value) internal pure returns (int40 downcasted) {
        downcasted = int40(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 40 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int32(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 32 bits");
    }

    /**
     * @dev Returns the downcasted int24 from int256, reverting on
     * overflow (when the input is less than smallest int24 or
     * greater than largest int24).
     *
     * Counterpart to Solidity's `int24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     *
     * _Available since v4.7._
     */
    function toInt24(int256 value) internal pure returns (int24 downcasted) {
        downcasted = int24(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 24 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int16(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 16 bits");
    }

    /**
     * @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 downcasted) {
        downcasted = int8(value);
        require(downcasted == value, "SafeCast: value doesn't fit in 8 bits");
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     *
     * _Available since v3.0._
     */
    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: @openzeppelin/contracts/interfaces/IERC6372.sol


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC6372.sol)

pragma solidity ^0.8.0;

interface IERC6372 {
    /**
     * @dev Clock used for flagging checkpoints. Can be overridden to implement timestamp based checkpoints (and voting).
     */
    function clock() external view returns (uint48);

    /**
     * @dev Description of the clock
     */
    // solhint-disable-next-line func-name-mixedcase
    function CLOCK_MODE() external view returns (string memory);
}

// File: @openzeppelin/contracts/governance/utils/IVotes.sol


// OpenZeppelin Contracts (last updated v4.9.0) (governance/utils/IVotes.sol)
pragma solidity ^0.8.0;

/**
 * @dev Common interface for {ERC20Votes}, {ERC721Votes}, and other {Votes}-enabled contracts.
 *
 * _Available since v4.5._
 */
interface IVotes {
    /**
     * @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 a delegate's number of votes.
     */
    event DelegateVotesChanged(address indexed delegate, uint256 previousBalance, uint256 newBalance);

    /**
     * @dev Returns the current amount of votes that `account` has.
     */
    function getVotes(address account) external view returns (uint256);

    /**
     * @dev Returns the amount of votes that `account` had at a specific moment in the past. If the `clock()` is
     * configured to use block numbers, this will return the value at the end of the corresponding block.
     */
    function getPastVotes(address account, uint256 timepoint) external view returns (uint256);

    /**
     * @dev Returns the total supply of votes available at a specific moment in the past. If the `clock()` is
     * configured to use block numbers, this will return the value at the end of the corresponding block.
     *
     * NOTE: This value is the sum of all available votes, which is not necessarily the sum of all delegated votes.
     * Votes that have not been delegated are still part of total supply, even though they would not participate in a
     * vote.
     */
    function getPastTotalSupply(uint256 timepoint) external view returns (uint256);

    /**
     * @dev Returns the delegate that `account` has chosen.
     */
    function delegates(address account) external view returns (address);

    /**
     * @dev Delegates votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) external;

    /**
     * @dev Delegates votes from signer to `delegatee`.
     */
    function delegateBySig(address delegatee, uint256 nonce, uint256 expiry, uint8 v, bytes32 r, bytes32 s) external;
}

// File: @openzeppelin/contracts/interfaces/IERC5805.sol


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC5805.sol)

pragma solidity ^0.8.0;



interface IERC5805 is IERC6372, IVotes {}

// File: @openzeppelin/contracts/utils/Counters.sol


// OpenZeppelin Contracts v4.4.1 (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: @openzeppelin/contracts/interfaces/IERC5267.sol


// OpenZeppelin Contracts (last updated v4.9.0) (interfaces/IERC5267.sol)

pragma solidity ^0.8.0;

interface IERC5267 {
    /**
     * @dev MAY be emitted to signal that the domain could have changed.
     */
    event EIP712DomainChanged();

    /**
     * @dev returns the fields and values that describe the domain separator used by this contract for EIP-712
     * signature.
     */
    function eip712Domain()
        external
        view
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        );
}

// File: @openzeppelin/contracts/utils/StorageSlot.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/StorageSlot.sol)
// This file was procedurally generated from scripts/generate/templates/StorageSlot.js.

pragma solidity ^0.8.0;

/**
 * @dev Library for reading and writing primitive types to specific storage slots.
 *
 * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
 * This library helps with reading and writing to such slots without the need for inline assembly.
 *
 * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
 *
 * Example usage to set ERC1967 implementation slot:
 * ```solidity
 * contract ERC1967 {
 *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
 *
 *     function _getImplementation() internal view returns (address) {
 *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
 *     }
 *
 *     function _setImplementation(address newImplementation) internal {
 *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
 *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
 *     }
 * }
 * ```
 *
 * _Available since v4.1 for `address`, `bool`, `bytes32`, `uint256`._
 * _Available since v4.9 for `string`, `bytes`._
 */
library StorageSlot {
    struct AddressSlot {
        address value;
    }

    struct BooleanSlot {
        bool value;
    }

    struct Bytes32Slot {
        bytes32 value;
    }

    struct Uint256Slot {
        uint256 value;
    }

    struct StringSlot {
        string value;
    }

    struct BytesSlot {
        bytes value;
    }

    /**
     * @dev Returns an `AddressSlot` with member `value` located at `slot`.
     */
    function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
     */
    function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
     */
    function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
     */
    function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` with member `value` located at `slot`.
     */
    function getStringSlot(bytes32 slot) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` representation of the string storage pointer `store`.
     */
    function getStringSlot(string storage store) internal pure returns (StringSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` with member `value` located at `slot`.
     */
    function getBytesSlot(bytes32 slot) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` representation of the bytes storage pointer `store`.
     */
    function getBytesSlot(bytes storage store) internal pure returns (BytesSlot storage r) {
        /// @solidity memory-safe-assembly
        assembly {
            r.slot := store.slot
        }
    }
}

// File: @openzeppelin/contracts/utils/ShortStrings.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/ShortStrings.sol)

pragma solidity ^0.8.8;


// | string  | 0xAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA   |
// | length  | 0x                                                              BB |
type ShortString is bytes32;

/**
 * @dev This library provides functions to convert short memory strings
 * into a `ShortString` type that can be used as an immutable variable.
 *
 * Strings of arbitrary length can be optimized using this library if
 * they are short enough (up to 31 bytes) by packing them with their
 * length (1 byte) in a single EVM word (32 bytes). Additionally, a
 * fallback mechanism can be used for every other case.
 *
 * Usage example:
 *
 * ```solidity
 * contract Named {
 *     using ShortStrings for *;
 *
 *     ShortString private immutable _name;
 *     string private _nameFallback;
 *
 *     constructor(string memory contractName) {
 *         _name = contractName.toShortStringWithFallback(_nameFallback);
 *     }
 *
 *     function name() external view returns (string memory) {
 *         return _name.toStringWithFallback(_nameFallback);
 *     }
 * }
 * ```
 */
library ShortStrings {
    // Used as an identifier for strings longer than 31 bytes.
    bytes32 private constant _FALLBACK_SENTINEL = 0x00000000000000000000000000000000000000000000000000000000000000FF;

    error StringTooLong(string str);
    error InvalidShortString();

    /**
     * @dev Encode a string of at most 31 chars into a `ShortString`.
     *
     * This will trigger a `StringTooLong` error is the input string is too long.
     */
    function toShortString(string memory str) internal pure returns (ShortString) {
        bytes memory bstr = bytes(str);
        if (bstr.length > 31) {
            revert StringTooLong(str);
        }
        return ShortString.wrap(bytes32(uint256(bytes32(bstr)) | bstr.length));
    }

    /**
     * @dev Decode a `ShortString` back to a "normal" string.
     */
    function toString(ShortString sstr) internal pure returns (string memory) {
        uint256 len = byteLength(sstr);
        // using `new string(len)` would work locally but is not memory safe.
        string memory str = new string(32);
        /// @solidity memory-safe-assembly
        assembly {
            mstore(str, len)
            mstore(add(str, 0x20), sstr)
        }
        return str;
    }

    /**
     * @dev Return the length of a `ShortString`.
     */
    function byteLength(ShortString sstr) internal pure returns (uint256) {
        uint256 result = uint256(ShortString.unwrap(sstr)) & 0xFF;
        if (result > 31) {
            revert InvalidShortString();
        }
        return result;
    }

    /**
     * @dev Encode a string into a `ShortString`, or write it to storage if it is too long.
     */
    function toShortStringWithFallback(string memory value, string storage store) internal returns (ShortString) {
        if (bytes(value).length < 32) {
            return toShortString(value);
        } else {
            StorageSlot.getStringSlot(store).value = value;
            return ShortString.wrap(_FALLBACK_SENTINEL);
        }
    }

    /**
     * @dev Decode a string that was encoded to `ShortString` or written to storage using {setWithFallback}.
     */
    function toStringWithFallback(ShortString value, string storage store) internal pure returns (string memory) {
        if (ShortString.unwrap(value) != _FALLBACK_SENTINEL) {
            return toString(value);
        } else {
            return store;
        }
    }

    /**
     * @dev Return the length of a string that was encoded to `ShortString` or written to storage using {setWithFallback}.
     *
     * WARNING: This will return the "byte length" of the string. This may not reflect the actual length in terms of
     * actual characters as the UTF-8 encoding of a single character can span over multiple bytes.
     */
    function byteLengthWithFallback(ShortString value, string storage store) internal view returns (uint256) {
        if (ShortString.unwrap(value) != _FALLBACK_SENTINEL) {
            return byteLength(value);
        } else {
            return bytes(store).length;
        }
    }
}

// File: @openzeppelin/contracts/utils/math/SignedMath.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.0;

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

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

    /**
     * @dev Returns the average of two signed numbers without overflow.
     * The result is rounded towards zero.
     */
    function average(int256 a, int256 b) internal pure returns (int256) {
        // Formula from the book "Hacker's Delight"
        int256 x = (a & b) + ((a ^ b) >> 1);
        return x + (int256(uint256(x) >> 255) & (a ^ b));
    }

    /**
     * @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: @openzeppelin/contracts/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

    /**
     * @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 == 0 ? 0 : (a - 1) / b + 1;
    }

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
     * with further edits by Uniswap Labs also under MIT license.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod0 := mul(x, y)
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                // Solidity will revert if denominator == 0, unlike the div opcode on its own.
                // The surrounding unchecked block does not change this fact.
                // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic.
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1, "Math: mulDiv overflow");

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
            // See https://cs.stackexchange.com/q/138556/92363.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator, Rounding rounding) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 1);

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 128;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 64;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 32;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 16;
            }
            if (value >> 8 > 0) {
                value >>= 8;
                result += 8;
            }
            if (value >> 4 > 0) {
                value >>= 4;
                result += 4;
            }
            if (value >> 2 > 0) {
                value >>= 2;
                result += 2;
            }
            if (value >> 1 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10 ** 64) {
                value /= 10 ** 64;
                result += 64;
            }
            if (value >= 10 ** 32) {
                value /= 10 ** 32;
                result += 32;
            }
            if (value >= 10 ** 16) {
                value /= 10 ** 16;
                result += 16;
            }
            if (value >= 10 ** 8) {
                value /= 10 ** 8;
                result += 8;
            }
            if (value >= 10 ** 4) {
                value /= 10 ** 4;
                result += 4;
            }
            if (value >= 10 ** 2) {
                value /= 10 ** 2;
                result += 2;
            }
            if (value >= 10 ** 1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + (rounding == Rounding.Up && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 256, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + (rounding == Rounding.Up && 1 << (result << 3) < value ? 1 : 0);
        }
    }
}

// File: @openzeppelin/contracts/utils/Strings.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/Strings.sol)

pragma solidity ^0.8.0;



/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _SYMBOLS = "0123456789abcdef";
    uint8 private constant _ADDRESS_LENGTH = 20;

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    mstore8(ptr, byte(mod(value, 10), _SYMBOLS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toString(int256 value) internal pure returns (string memory) {
        return string(abi.encodePacked(value < 0 ? "-" : "", toString(SignedMath.abs(value))));
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

    /**
     * @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] = _SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        return string(buffer);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);
    }

    /**
     * @dev Returns true if the two strings are equal.
     */
    function equal(string memory a, string memory b) internal pure returns (bool) {
        return keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

// File: @openzeppelin/contracts/utils/cryptography/ECDSA.sol


// OpenZeppelin Contracts (last updated v4.9.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 // Deprecated in v4.8
    }

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

    /**
     * @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) {
        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.
            /// @solidity memory-safe-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 {
            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 = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
        uint8 v = uint8((uint256(vs) >> 255) + 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 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 message) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x00, "\x19Ethereum Signed Message:\n32")
            mstore(0x1c, hash)
            message := keccak256(0x00, 0x3c)
        }
    }

    /**
     * @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 data) {
        /// @solidity memory-safe-assembly
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, "\x19\x01")
            mstore(add(ptr, 0x02), domainSeparator)
            mstore(add(ptr, 0x22), structHash)
            data := keccak256(ptr, 0x42)
        }
    }

    /**
     * @dev Returns an Ethereum Signed Data with intended validator, created from a
     * `validator` and `data` according to the version 0 of EIP-191.
     *
     * See {recover}.
     */
    function toDataWithIntendedValidatorHash(address validator, bytes memory data) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x00", validator, data));
    }
}

// File: @openzeppelin/contracts/utils/cryptography/EIP712.sol


// OpenZeppelin Contracts (last updated v4.9.0) (utils/cryptography/EIP712.sol)

pragma solidity ^0.8.8;




/**
 * @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].
 *
 * NOTE: In the upgradeable version of this contract, the cached values will correspond to the address, and the domain
 * separator of the implementation contract. This will cause the `_domainSeparatorV4` function to always rebuild the
 * separator from the immutable values, which is cheaper than accessing a cached version in cold storage.
 *
 * _Available since v3.4._
 *
 * @custom:oz-upgrades-unsafe-allow state-variable-immutable state-variable-assignment
 */
abstract contract EIP712 is IERC5267 {
    using ShortStrings for *;

    bytes32 private constant _TYPE_HASH =
        keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");

    // 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 _cachedDomainSeparator;
    uint256 private immutable _cachedChainId;
    address private immutable _cachedThis;

    bytes32 private immutable _hashedName;
    bytes32 private immutable _hashedVersion;

    ShortString private immutable _name;
    ShortString private immutable _version;
    string private _nameFallback;
    string private _versionFallback;

    /**
     * @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) {
        _name = name.toShortStringWithFallback(_nameFallback);
        _version = version.toShortStringWithFallback(_versionFallback);
        _hashedName = keccak256(bytes(name));
        _hashedVersion = keccak256(bytes(version));

        _cachedChainId = block.chainid;
        _cachedDomainSeparator = _buildDomainSeparator();
        _cachedThis = address(this);
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (address(this) == _cachedThis && block.chainid == _cachedChainId) {
            return _cachedDomainSeparator;
        } else {
            return _buildDomainSeparator();
        }
    }

    function _buildDomainSeparator() private view returns (bytes32) {
        return keccak256(abi.encode(_TYPE_HASH, _hashedName, _hashedVersion, 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);
    }

    /**
     * @dev See {EIP-5267}.
     *
     * _Available since v4.9._
     */
    function eip712Domain()
        public
        view
        virtual
        override
        returns (
            bytes1 fields,
            string memory name,
            string memory version,
            uint256 chainId,
            address verifyingContract,
            bytes32 salt,
            uint256[] memory extensions
        )
    {
        return (
            hex"0f", // 01111
            _name.toStringWithFallback(_nameFallback),
            _version.toStringWithFallback(_versionFallback),
            block.chainid,
            address(this),
            bytes32(0),
            new uint256[](0)
        );
    }
}

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Permit.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/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: @openzeppelin/contracts/utils/Context.sol


// OpenZeppelin Contracts v4.4.1 (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: @openzeppelin/contracts/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;


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

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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

    /**
     * @dev 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 `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, 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 `from` to `to` 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 from, address to, uint256 amount) external returns (bool);
}

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts v4.4.1 (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: @openzeppelin/contracts/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.9.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.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * 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}.
     *
     * 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 default value returned by this function, unless
     * it's 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:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, 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}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, 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}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(address from, address to, uint256 amount) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, 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) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, 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) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * 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:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(address from, address to, uint256 amount) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, 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;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _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;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _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 Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 amount) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - 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: @openzeppelin/contracts/token/ERC20/extensions/ERC20Permit.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/extensions/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 constant _PERMIT_TYPEHASH =
        keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    /**
     * @dev In previous versions `_PERMIT_TYPEHASH` was declared as `immutable`.
     * However, to ensure consistency with the upgradeable transpiler, we will continue
     * to reserve a slot.
     * @custom:oz-renamed-from _PERMIT_TYPEHASH
     */
    // solhint-disable-next-line var-name-mixedcase
    bytes32 private _PERMIT_TYPEHASH_DEPRECATED_SLOT;

    /**
     * @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: @openzeppelin/contracts/token/ERC20/extensions/ERC20Votes.sol


// OpenZeppelin Contracts (last updated v4.9.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.
 *
 * _Available since v4.2._
 */
abstract contract ERC20Votes is ERC20Permit, IERC5805 {
    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 Clock used for flagging checkpoints. Can be overridden to implement timestamp based checkpoints (and voting).
     */
    function clock() public view virtual override returns (uint48) {
        return SafeCast.toUint48(block.number);
    }

    /**
     * @dev Description of the clock
     */
    // solhint-disable-next-line func-name-mixedcase
    function CLOCK_MODE() public view virtual override returns (string memory) {
        // Check that the clock was not modified
        require(clock() == block.number, "ERC20Votes: broken clock mode");
        return "mode=blocknumber&from=default";
    }

    /**
     * @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 override returns (address) {
        return _delegates[account];
    }

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

    /**
     * @dev Retrieve the number of votes for `account` at the end of `timepoint`.
     *
     * Requirements:
     *
     * - `timepoint` must be in the past
     */
    function getPastVotes(address account, uint256 timepoint) public view virtual override returns (uint256) {
        require(timepoint < clock(), "ERC20Votes: future lookup");
        return _checkpointsLookup(_checkpoints[account], timepoint);
    }

    /**
     * @dev Retrieve the `totalSupply` at the end of `timepoint`. Note, this value is the sum of all balances.
     * It is NOT the sum of all the delegated votes!
     *
     * Requirements:
     *
     * - `timepoint` must be in the past
     */
    function getPastTotalSupply(uint256 timepoint) public view virtual override returns (uint256) {
        require(timepoint < clock(), "ERC20Votes: future lookup");
        return _checkpointsLookup(_totalSupplyCheckpoints, timepoint);
    }

    /**
     * @dev Lookup a value in a list of (sorted) checkpoints.
     */
    function _checkpointsLookup(Checkpoint[] storage ckpts, uint256 timepoint) private view returns (uint256) {
        // We run a binary search to look for the last (most recent) checkpoint taken before (or at) `timepoint`.
        //
        // Initially we check if the block is recent to narrow the search range.
        // 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 `timepoint`, we look in [low, mid)
        // - If the middle checkpoint is before or equal to `timepoint`, 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 `timepoint`, we end up with an index that is
        // past the end of the array, so we technically don't find a checkpoint after `timepoint`, but it works out
        // the same.
        uint256 length = ckpts.length;

        uint256 low = 0;
        uint256 high = length;

        if (length > 5) {
            uint256 mid = length - Math.sqrt(length);
            if (_unsafeAccess(ckpts, mid).fromBlock > timepoint) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        while (low < high) {
            uint256 mid = Math.average(low, high);
            if (_unsafeAccess(ckpts, mid).fromBlock > timepoint) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        unchecked {
            return high == 0 ? 0 : _unsafeAccess(ckpts, high - 1).votes;
        }
    }

    /**
     * @dev Delegate votes from the sender to `delegatee`.
     */
    function delegate(address delegatee) public virtual override {
        _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 override {
        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 {IVotes-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 {IVotes-DelegateChanged} and {IVotes-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;

        unchecked {
            Checkpoint memory oldCkpt = pos == 0 ? Checkpoint(0, 0) : _unsafeAccess(ckpts, pos - 1);

            oldWeight = oldCkpt.votes;
            newWeight = op(oldWeight, delta);

            if (pos > 0 && oldCkpt.fromBlock == clock()) {
                _unsafeAccess(ckpts, pos - 1).votes = SafeCast.toUint224(newWeight);
            } else {
                ckpts.push(Checkpoint({fromBlock: SafeCast.toUint32(clock()), 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;
    }

    /**
     * @dev Access an element of the array without performing bounds check. The position is assumed to be within bounds.
     */
    function _unsafeAccess(Checkpoint[] storage ckpts, uint256 pos) private pure returns (Checkpoint storage result) {
        assembly {
            mstore(0, ckpts.slot)
            result.slot := add(keccak256(0, 0x20), pos)
        }
    }
}

// File: KunjiFinanceTokenNoUpgrade.sol


pragma solidity ^0.8.9;





contract KunjiFinance is ERC20, ERC20Permit, ERC20Votes, Ownable {
    constructor() ERC20("Kunji Finance", "KNJ") ERC20Permit("Kunji Finance") {
        _mint(msg.sender, 100000000 * 10 ** decimals());
    }

    // The following functions are overrides required by Solidity.

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"InvalidShortString","type":"error"},{"inputs":[{"internalType":"string","name":"str","type":"string"}],"name":"StringTooLong","type":"error"},{"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":[],"name":"EIP712DomainChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"CLOCK_MODE","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"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":"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":"clock","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"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":[],"name":"eip712Domain","outputs":[{"internalType":"bytes1","name":"fields","type":"bytes1"},{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"version","type":"string"},{"internalType":"uint256","name":"chainId","type":"uint256"},{"internalType":"address","name":"verifyingContract","type":"address"},{"internalType":"bytes32","name":"salt","type":"bytes32"},{"internalType":"uint256[]","name":"extensions","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"timepoint","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"timepoint","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":[],"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":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101606040523480156200001257600080fd5b506040518060400160405280600d81526020017f4b756e6a692046696e616e636500000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600d81526020017f4b756e6a692046696e616e6365000000000000000000000000000000000000008152506040518060400160405280600381526020017f4b4e4a00000000000000000000000000000000000000000000000000000000008152508160039081620000fd9190620010cf565b5080600490816200010f9190620010cf565b5050506200012d6005836200023360201b620012171790919060201c565b6101208181525050620001506006826200023360201b620012171790919060201c565b6101408181525050818051906020012060e08181525050808051906020012061010081815250504660a081815250506200018f6200029060201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff1681525050505050620001ed620001e1620002ed60201b60201c565b620002f560201b60201c565b6200022d3362000202620003bb60201b60201c565b600a62000210919062001346565b6305f5e10062000221919062001397565b620003c460201b60201c565b62001997565b600060208351101562000259576200025183620003df60201b60201c565b90506200028a565b8262000270836200044c60201b6200125b1760201c565b6000019081620002819190620010cf565b5060ff60001b90505b92915050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60e051610100514630604051602001620002d295949392919062001453565b60405160208183030381529060405280519060200120905090565b600033905090565b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006012905090565b620003db82826200045660201b620012651760201c565b5050565b600080829050601f815111156200042f57826040517f305a27a90000000000000000000000000000000000000000000000000000000081526004016200042691906200153f565b60405180910390fd5b8051816200043d9062001595565b60001c1760001b915050919050565b6000819050919050565b6200046d82826200051460201b620012f21760201c565b6200047d6200068160201b60201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16620004ab620006a560201b60201c565b1115620004ef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620004e6906200167b565b60405180910390fd5b6200050e600b620006af60201b620014481783620006c760201b60201c565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000586576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200057d90620016ed565b60405180910390fd5b6200059a60008383620009ec60201b60201c565b8060026000828254620005ae91906200170f565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200066191906200174a565b60405180910390a36200067d60008383620009f160201b60201c565b5050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b6000600254905090565b60008183620006bf91906200170f565b905092915050565b60008060008580549050905060008082146200079757620006f2876001840362000a0e60201b60201c565b6040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050620007d3565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505b905080602001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1693506200080684868860201c565b92506000821180156200083957506200082462000a2360201b60201c565b65ffffffffffff16816000015163ffffffff16145b15620008c157620008558362000a4060201b6200145e1760201c565b6200086a886001850362000a0e60201b60201c565b60000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550620009e2565b866040518060400160405280620008fa620008e162000a2360201b60201c565b65ffffffffffff1662000aae60201b620014c91760201c565b63ffffffff1681526020016200091b8662000a4060201b6200145e1760201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b5050935093915050565b505050565b62000a0983838362000b0460201b6200151c1760201c565b505050565b60008260005281602060002001905092915050565b600062000a3b4362000b5460201b620015471760201c565b905090565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff801682111562000aa6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000a9d90620017dd565b60405180910390fd5b819050919050565b600063ffffffff801682111562000afc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000af39062001875565b60405180910390fd5b819050919050565b62000b1c83838362000bac60201b6200159c1760201c565b62000b4f62000b318462000bb160201b60201c565b62000b428462000bb160201b60201c565b8362000c1a60201b60201c565b505050565b600065ffffffffffff801682111562000ba4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000b9b906200190d565b60405180910390fd5b819050919050565b505050565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801562000c575750600081115b1562000e3857600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161462000d4a5760008062000cf1600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002062000e3d60201b620015a11785620006c760201b60201c565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000d3f9291906200192f565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161462000e375760008062000dde600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020620006af60201b620014481785620006c760201b60201c565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000e2c9291906200192f565b60405180910390a250505b5b505050565b6000818362000e4d91906200195c565b905092915050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168062000ed757607f821691505b60208210810362000eed5762000eec62000e8f565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b60006008830262000f577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000f18565b62000f63868362000f18565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b600062000fb062000faa62000fa48462000f7b565b62000f85565b62000f7b565b9050919050565b6000819050919050565b62000fcc8362000f8f565b62000fe462000fdb8262000fb7565b84845462000f25565b825550505050565b600090565b62000ffb62000fec565b6200100881848462000fc1565b505050565b5b8181101562001030576200102460008262000ff1565b6001810190506200100e565b5050565b601f8211156200107f57620010498162000ef3565b620010548462000f08565b8101602085101562001064578190505b6200107c620010738562000f08565b8301826200100d565b50505b505050565b600082821c905092915050565b6000620010a46000198460080262001084565b1980831691505092915050565b6000620010bf838362001091565b9150826002028217905092915050565b620010da8262000e55565b67ffffffffffffffff811115620010f657620010f562000e60565b5b62001102825462000ebe565b6200110f82828562001034565b600060209050601f83116001811462001147576000841562001132578287015190505b6200113e8582620010b1565b865550620011ae565b601f198416620011578662000ef3565b60005b8281101562001181578489015182556001820191506020850194506020810190506200115a565b86831015620011a157848901516200119d601f89168262001091565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b600185111562001244578086048111156200121c576200121b620011b6565b5b60018516156200122c5780820291505b80810290506200123c85620011e5565b9450620011fc565b94509492505050565b6000826200125f576001905062001332565b816200126f576000905062001332565b81600181146200128857600281146200129357620012c9565b600191505062001332565b60ff841115620012a857620012a7620011b6565b5b8360020a915084821115620012c257620012c1620011b6565b5b5062001332565b5060208310610133831016604e8410600b8410161715620013035782820a905083811115620012fd57620012fc620011b6565b5b62001332565b620013128484846001620011f2565b925090508184048111156200132c576200132b620011b6565b5b81810290505b9392505050565b600060ff82169050919050565b6000620013538262000f7b565b9150620013608362001339565b92506200138f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200124d565b905092915050565b6000620013a48262000f7b565b9150620013b18362000f7b565b9250828202620013c18162000f7b565b91508282048414831517620013db57620013da620011b6565b5b5092915050565b6000819050919050565b620013f781620013e2565b82525050565b620014088162000f7b565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200143b826200140e565b9050919050565b6200144d816200142e565b82525050565b600060a0820190506200146a6000830188620013ec565b620014796020830187620013ec565b620014886040830186620013ec565b620014976060830185620013fd565b620014a6608083018462001442565b9695505050505050565b600082825260208201905092915050565b60005b83811015620014e1578082015181840152602081019050620014c4565b60008484015250505050565b6000601f19601f8301169050919050565b60006200150b8262000e55565b620015178185620014b0565b935062001529818560208601620014c1565b6200153481620014ed565b840191505092915050565b600060208201905081810360008301526200155b8184620014fe565b905092915050565b600081519050919050565b6000819050602082019050919050565b60006200158c8251620013e2565b80915050919050565b6000620015a28262001563565b82620015ae846200156e565b9050620015bb816200157e565b92506020821015620015fe57620015f97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8360200360080262000f18565b831692505b5050919050565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b600062001663603083620014b0565b9150620016708262001605565b604082019050919050565b60006020820190508181036000830152620016968162001654565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000620016d5601f83620014b0565b9150620016e2826200169d565b602082019050919050565b600060208201905081810360008301526200170881620016c6565b9050919050565b60006200171c8262000f7b565b9150620017298362000f7b565b9250828201905080821115620017445762001743620011b6565b5b92915050565b6000602082019050620017616000830184620013fd565b92915050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b6000620017c5602783620014b0565b9150620017d28262001767565b604082019050919050565b60006020820190508181036000830152620017f881620017b6565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b60006200185d602683620014b0565b91506200186a82620017ff565b604082019050919050565b6000602082019050818103600083015262001890816200184e565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203460008201527f3820626974730000000000000000000000000000000000000000000000000000602082015250565b6000620018f5602683620014b0565b9150620019028262001897565b604082019050919050565b600060208201905081810360008301526200192881620018e6565b9050919050565b6000604082019050620019466000830185620013fd565b620019556020830184620013fd565b9392505050565b6000620019698262000f7b565b9150620019768362000f7b565b9250828203905081811115620019915762001990620011b6565b5b92915050565b60805160a05160c05160e051610100516101205161014051614617620019f26000396000610a29015260006109f501526000612603015260006125e201526000611a8e01526000611ae401526000611b0d01526146176000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c80637ecebe00116100f9578063a457c2d711610097578063d505accf11610071578063d505accf1461055f578063dd62ed3e1461057b578063f1127ed8146105ab578063f2fde38b146105db576101c4565b8063a457c2d7146104e3578063a9059cbb14610513578063c3cda52014610543576101c4565b80638e539e8c116100d35780638e539e8c1461044757806391ddadf41461047757806395d89b41146104955780639ab24eb0146104b3576101c4565b80637ecebe00146103d557806384b0196e146104055780638da5cb5b14610429576101c4565b80633a46b1a8116101665780635c19a95c116101405780635c19a95c1461034f5780636fcfff451461036b57806370a082311461039b578063715018a6146103cb576101c4565b80633a46b1a8146102d15780634bf5d7e914610301578063587cde1e1461031f576101c4565b806323b872dd116101a257806323b872dd14610235578063313ce567146102655780633644e5151461028357806339509351146102a1576101c4565b806306fdde03146101c9578063095ea7b3146101e757806318160ddd14610217575b600080fd5b6101d16105f7565b6040516101de9190612cb2565b60405180910390f35b61020160048036038101906101fc9190612d6d565b610689565b60405161020e9190612dc8565b60405180910390f35b61021f6106ac565b60405161022c9190612df2565b60405180910390f35b61024f600480360381019061024a9190612e0d565b6106b6565b60405161025c9190612dc8565b60405180910390f35b61026d6106e5565b60405161027a9190612e7c565b60405180910390f35b61028b6106ee565b6040516102989190612eb0565b60405180910390f35b6102bb60048036038101906102b69190612d6d565b6106fd565b6040516102c89190612dc8565b60405180910390f35b6102eb60048036038101906102e69190612d6d565b610734565b6040516102f89190612df2565b60405180910390f35b6103096107d7565b6040516103169190612cb2565b60405180910390f35b61033960048036038101906103349190612ecb565b610865565b6040516103469190612f07565b60405180910390f35b61036960048036038101906103649190612ecb565b6108ce565b005b61038560048036038101906103809190612ecb565b6108e2565b6040516103929190612f41565b60405180910390f35b6103b560048036038101906103b09190612ecb565b610936565b6040516103c29190612df2565b60405180910390f35b6103d361097e565b005b6103ef60048036038101906103ea9190612ecb565b610992565b6040516103fc9190612df2565b60405180910390f35b61040d6109e2565b6040516104209796959493929190613055565b60405180910390f35b610431610ae4565b60405161043e9190612f07565b60405180910390f35b610461600480360381019061045c91906130d9565b610b0e565b60405161046e9190612df2565b60405180910390f35b61047f610b73565b60405161048c9190613127565b60405180910390f35b61049d610b83565b6040516104aa9190612cb2565b60405180910390f35b6104cd60048036038101906104c89190612ecb565b610c15565b6040516104da9190612df2565b60405180910390f35b6104fd60048036038101906104f89190612d6d565b610d1d565b60405161050a9190612dc8565b60405180910390f35b61052d60048036038101906105289190612d6d565b610d94565b60405161053a9190612dc8565b60405180910390f35b61055d6004803603810190610558919061319a565b610db7565b005b61057960048036038101906105749190613227565b610ebb565b005b610595600480360381019061059091906132c9565b610ffd565b6040516105a29190612df2565b60405180910390f35b6105c560048036038101906105c09190613335565b611084565b6040516105d291906133ea565b60405180910390f35b6105f560048036038101906105f09190612ecb565b611194565b005b60606003805461060690613434565b80601f016020809104026020016040519081016040528092919081815260200182805461063290613434565b801561067f5780601f106106545761010080835404028352916020019161067f565b820191906000526020600020905b81548152906001019060200180831161066257829003601f168201915b5050505050905090565b6000806106946115b7565b90506106a18185856115bf565b600191505092915050565b6000600254905090565b6000806106c16115b7565b90506106ce858285611788565b6106d9858585611814565b60019150509392505050565b60006012905090565b60006106f8611a8a565b905090565b6000806107086115b7565b905061072981858561071a8589610ffd565b6107249190613494565b6115bf565b600191505092915050565b600061073e610b73565b65ffffffffffff168210610787576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077e90613514565b60405180910390fd5b6107cf600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083611b41565b905092915050565b6060436107e2610b73565b65ffffffffffff161461082a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082190613580565b60405180910390fd5b6040518060400160405280601d81526020017f6d6f64653d626c6f636b6e756d6265722666726f6d3d64656661756c74000000815250905090565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b6108df6108d96115b7565b82611c89565b50565b600061092f600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506114c9565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610986611da3565b6109906000611e21565b565b60006109db600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611ee7565b9050919050565b600060608060008060006060610a2260057f0000000000000000000000000000000000000000000000000000000000000000611ef590919063ffffffff16565b610a5660067f0000000000000000000000000000000000000000000000000000000000000000611ef590919063ffffffff16565b46306000801b600067ffffffffffffffff811115610a7757610a766135a0565b5b604051908082528060200260200182016040528015610aa55781602001602082028036833780820191505090505b507f0f00000000000000000000000000000000000000000000000000000000000000959493929190965096509650965096509650965090919293949596565b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000610b18610b73565b65ffffffffffff168210610b61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5890613514565b60405180910390fd5b610b6c600b83611b41565b9050919050565b6000610b7e43611547565b905090565b606060048054610b9290613434565b80601f0160208091040260200160405190810160405280929190818152602001828054610bbe90613434565b8015610c0b5780601f10610be057610100808354040283529160200191610c0b565b820191906000526020600020905b815481529060010190602001808311610bee57829003601f168201915b5050505050905090565b600080600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050905060008114610cf457600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001820381548110610cb957610cb86135cf565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610cf7565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b600080610d286115b7565b90506000610d368286610ffd565b905083811015610d7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d7290613670565b60405180910390fd5b610d8882868684036115bf565b60019250505092915050565b600080610d9f6115b7565b9050610dac818585611814565b600191505092915050565b83421115610dfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df1906136dc565b60405180910390fd5b6000610e5c610e547fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf898989604051602001610e3994939291906136fc565b60405160208183030381529060405280519060200120611fa5565b858585611fbf565b9050610e6781611fea565b8614610ea8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e9f9061378d565b60405180910390fd5b610eb28188611c89565b50505050505050565b83421115610efe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef5906137f9565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610f2d8c611fea565b89604051602001610f4396959493929190613819565b6040516020818303038152906040528051906020012090506000610f6682611fa5565b90506000610f7682878787611fbf565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610fe6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fdd906138c6565b60405180910390fd5b610ff18a8a8a6115bf565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61108c612be4565b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff16815481106110e3576110e26135cf565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b61119c611da3565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361120b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161120290613958565b60405180910390fd5b61121481611e21565b50565b60006020835110156112335761122c83612048565b9050611255565b8261123d8361125b565b600001908161124c9190613b24565b5060ff60001b90505b92915050565b6000819050919050565b61126f82826112f2565b6112776120b0565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661129d6106ac565b11156112de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d590613c68565b60405180910390fd5b6112ec600b611448836120d4565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611361576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161135890613cd4565b60405180910390fd5b61136d600083836123af565b806002600082825461137f9190613494565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516114309190612df2565b60405180910390a3611444600083836123b4565b5050565b600081836114569190613494565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156114c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114b890613d66565b60405180910390fd5b819050919050565b600063ffffffff8016821115611514576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161150b90613df8565b60405180910390fd5b819050919050565b61152783838361159c565b61154261153384610865565b61153c84610865565b836123c4565b505050565b600065ffffffffffff8016821115611594576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161158b90613e8a565b60405180910390fd5b819050919050565b505050565b600081836115af9190613eaa565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361162e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161162590613f50565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361169d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169490613fe2565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161177b9190612df2565b60405180910390a3505050565b60006117948484610ffd565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461180e5781811015611800576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117f79061404e565b60405180910390fd5b61180d84848484036115bf565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611883576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161187a906140e0565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036118f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118e990614172565b60405180910390fd5b6118fd8383836123af565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611983576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161197a90614204565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611a719190612df2565b60405180910390a3611a848484846123b4565b50505050565b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015611b0657507f000000000000000000000000000000000000000000000000000000000000000046145b15611b33577f00000000000000000000000000000000000000000000000000000000000000009050611b3e565b611b3b6125bd565b90505b90565b600080838054905090506000808290506005831115611bb7576000611b6584612653565b84611b709190613eaa565b905085611b7d888361274c565b60000160009054906101000a900463ffffffff1663ffffffff161115611ba557809150611bb5565b600181611bb29190613494565b92505b505b5b80821015611c17576000611bcc8383612761565b905085611bd9888361274c565b60000160009054906101000a900463ffffffff1663ffffffff161115611c0157809150611c11565b600181611c0e9190613494565b92505b50611bb8565b60008114611c5d57611c2c866001830361274c565b60000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611c60565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935050505092915050565b6000611c9483610865565b90506000611ca184610936565b905082600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a4611d9d8284836123c4565b50505050565b611dab6115b7565b73ffffffffffffffffffffffffffffffffffffffff16611dc9610ae4565b73ffffffffffffffffffffffffffffffffffffffff1614611e1f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1690614270565b60405180910390fd5b565b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081600001549050919050565b606060ff60001b8314611f1257611f0b83612787565b9050611f9f565b818054611f1e90613434565b80601f0160208091040260200160405190810160405280929190818152602001828054611f4a90613434565b8015611f975780601f10611f6c57610100808354040283529160200191611f97565b820191906000526020600020905b815481529060010190602001808311611f7a57829003601f168201915b505050505090505b92915050565b6000611fb8611fb2611a8a565b836127fb565b9050919050565b6000806000611fd08787878761283c565b91509150611fdd8161291e565b8192505050949350505050565b600080600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061203781611ee7565b915061204281612a84565b50919050565b600080829050601f8151111561209557826040517f305a27a900000000000000000000000000000000000000000000000000000000815260040161208c9190612cb2565b60405180910390fd5b8051816120a1906142c0565b60001c1760001b915050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b600080600085805490509050600080821461219a576120f6876001840361274c565b6040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250506121d6565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505b905080602001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935061220b84868863ffffffff16565b92506000821180156122355750612220610b73565b65ffffffffffff16816000015163ffffffff16145b156122a6576122438361145e565b612250886001850361274c565b60000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506123a5565b8660405180604001604052806122ca6122bd610b73565b65ffffffffffff166114c9565b63ffffffff1681526020016122de8661145e565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b5050935093915050565b505050565b6123bf83838361151c565b505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156124005750600081115b156125b857600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146124de57600080612487600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206115a1856120d4565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516124d3929190614327565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16146125b757600080612560600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611448856120d4565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516125ac929190614327565b60405180910390a250505b5b505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000004630604051602001612638959493929190614350565b60405160208183030381529060405280519060200120905090565b60008082036126655760009050612747565b6000600161267284612a9a565b901c6001901b9050600181848161268c5761268b6143a3565b5b048201901c905060018184816126a5576126a46143a3565b5b048201901c905060018184816126be576126bd6143a3565b5b048201901c905060018184816126d7576126d66143a3565b5b048201901c905060018184816126f0576126ef6143a3565b5b048201901c90506001818481612709576127086143a3565b5b048201901c90506001818481612722576127216143a3565b5b048201901c90506127438182858161273d5761273c6143a3565b5b04612b7b565b9150505b919050565b60008260005281602060002001905092915050565b6000600282841861277291906143d2565b82841661277f9190613494565b905092915050565b6060600061279483612b94565b90506000602067ffffffffffffffff8111156127b3576127b26135a0565b5b6040519080825280601f01601f1916602001820160405280156127e55781602001600182028036833780820191505090505b5090508181528360208201528092505050919050565b60006040517f190100000000000000000000000000000000000000000000000000000000000081528360028201528260228201526042812091505092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c1115612877576000600391509150612915565b60006001878787876040516000815260200160405260405161289c9493929190614403565b6020604051602081039080840390855afa1580156128be573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361290c57600060019250925050612915565b80600092509250505b94509492505050565b6000600481111561293257612931614448565b5b81600481111561294557612944614448565b5b0315612a81576001600481111561295f5761295e614448565b5b81600481111561297257612971614448565b5b036129b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129a9906144c3565b60405180910390fd5b600260048111156129c6576129c5614448565b5b8160048111156129d9576129d8614448565b5b03612a19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a109061452f565b60405180910390fd5b60036004811115612a2d57612a2c614448565b5b816004811115612a4057612a3f614448565b5b03612a80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a77906145c1565b60405180910390fd5b5b50565b6001816000016000828254019250508190555050565b600080600090506000608084901c1115612abc57608083901c92506080810190505b6000604084901c1115612ad757604083901c92506040810190505b6000602084901c1115612af257602083901c92506020810190505b6000601084901c1115612b0d57601083901c92506010810190505b6000600884901c1115612b2857600883901c92506008810190505b6000600484901c1115612b4357600483901c92506004810190505b6000600284901c1115612b5e57600283901c92506002810190505b6000600184901c1115612b72576001810190505b80915050919050565b6000818310612b8a5781612b8c565b825b905092915050565b60008060ff8360001c169050601f811115612bdb576040517fb3512b0c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80915050919050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b600081519050919050565b600082825260208201905092915050565b60005b83811015612c5c578082015181840152602081019050612c41565b60008484015250505050565b6000601f19601f8301169050919050565b6000612c8482612c22565b612c8e8185612c2d565b9350612c9e818560208601612c3e565b612ca781612c68565b840191505092915050565b60006020820190508181036000830152612ccc8184612c79565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612d0482612cd9565b9050919050565b612d1481612cf9565b8114612d1f57600080fd5b50565b600081359050612d3181612d0b565b92915050565b6000819050919050565b612d4a81612d37565b8114612d5557600080fd5b50565b600081359050612d6781612d41565b92915050565b60008060408385031215612d8457612d83612cd4565b5b6000612d9285828601612d22565b9250506020612da385828601612d58565b9150509250929050565b60008115159050919050565b612dc281612dad565b82525050565b6000602082019050612ddd6000830184612db9565b92915050565b612dec81612d37565b82525050565b6000602082019050612e076000830184612de3565b92915050565b600080600060608486031215612e2657612e25612cd4565b5b6000612e3486828701612d22565b9350506020612e4586828701612d22565b9250506040612e5686828701612d58565b9150509250925092565b600060ff82169050919050565b612e7681612e60565b82525050565b6000602082019050612e916000830184612e6d565b92915050565b6000819050919050565b612eaa81612e97565b82525050565b6000602082019050612ec56000830184612ea1565b92915050565b600060208284031215612ee157612ee0612cd4565b5b6000612eef84828501612d22565b91505092915050565b612f0181612cf9565b82525050565b6000602082019050612f1c6000830184612ef8565b92915050565b600063ffffffff82169050919050565b612f3b81612f22565b82525050565b6000602082019050612f566000830184612f32565b92915050565b60007fff0000000000000000000000000000000000000000000000000000000000000082169050919050565b612f9181612f5c565b82525050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b612fcc81612d37565b82525050565b6000612fde8383612fc3565b60208301905092915050565b6000602082019050919050565b600061300282612f97565b61300c8185612fa2565b935061301783612fb3565b8060005b8381101561304857815161302f8882612fd2565b975061303a83612fea565b92505060018101905061301b565b5085935050505092915050565b600060e08201905061306a600083018a612f88565b818103602083015261307c8189612c79565b905081810360408301526130908188612c79565b905061309f6060830187612de3565b6130ac6080830186612ef8565b6130b960a0830185612ea1565b81810360c08301526130cb8184612ff7565b905098975050505050505050565b6000602082840312156130ef576130ee612cd4565b5b60006130fd84828501612d58565b91505092915050565b600065ffffffffffff82169050919050565b61312181613106565b82525050565b600060208201905061313c6000830184613118565b92915050565b61314b81612e60565b811461315657600080fd5b50565b60008135905061316881613142565b92915050565b61317781612e97565b811461318257600080fd5b50565b6000813590506131948161316e565b92915050565b60008060008060008060c087890312156131b7576131b6612cd4565b5b60006131c589828a01612d22565b96505060206131d689828a01612d58565b95505060406131e789828a01612d58565b94505060606131f889828a01613159565b935050608061320989828a01613185565b92505060a061321a89828a01613185565b9150509295509295509295565b600080600080600080600060e0888a03121561324657613245612cd4565b5b60006132548a828b01612d22565b97505060206132658a828b01612d22565b96505060406132768a828b01612d58565b95505060606132878a828b01612d58565b94505060806132988a828b01613159565b93505060a06132a98a828b01613185565b92505060c06132ba8a828b01613185565b91505092959891949750929550565b600080604083850312156132e0576132df612cd4565b5b60006132ee85828601612d22565b92505060206132ff85828601612d22565b9150509250929050565b61331281612f22565b811461331d57600080fd5b50565b60008135905061332f81613309565b92915050565b6000806040838503121561334c5761334b612cd4565b5b600061335a85828601612d22565b925050602061336b85828601613320565b9150509250929050565b61337e81612f22565b82525050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6133b581613384565b82525050565b6040820160008201516133d16000850182613375565b5060208201516133e460208501826133ac565b50505050565b60006040820190506133ff60008301846133bb565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061344c57607f821691505b60208210810361345f5761345e613405565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061349f82612d37565b91506134aa83612d37565b92508282019050808211156134c2576134c1613465565b5b92915050565b7f4552433230566f7465733a20667574757265206c6f6f6b757000000000000000600082015250565b60006134fe601983612c2d565b9150613509826134c8565b602082019050919050565b6000602082019050818103600083015261352d816134f1565b9050919050565b7f4552433230566f7465733a2062726f6b656e20636c6f636b206d6f6465000000600082015250565b600061356a601d83612c2d565b915061357582613534565b602082019050919050565b600060208201905081810360008301526135998161355d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061365a602583612c2d565b9150613665826135fe565b604082019050919050565b600060208201905081810360008301526136898161364d565b9050919050565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b60006136c6601d83612c2d565b91506136d182613690565b602082019050919050565b600060208201905081810360008301526136f5816136b9565b9050919050565b60006080820190506137116000830187612ea1565b61371e6020830186612ef8565b61372b6040830185612de3565b6137386060830184612de3565b95945050505050565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b6000613777601983612c2d565b915061378282613741565b602082019050919050565b600060208201905081810360008301526137a68161376a565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b60006137e3601d83612c2d565b91506137ee826137ad565b602082019050919050565b60006020820190508181036000830152613812816137d6565b9050919050565b600060c08201905061382e6000830189612ea1565b61383b6020830188612ef8565b6138486040830187612ef8565b6138556060830186612de3565b6138626080830185612de3565b61386f60a0830184612de3565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b60006138b0601e83612c2d565b91506138bb8261387a565b602082019050919050565b600060208201905081810360008301526138df816138a3565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000613942602683612c2d565b915061394d826138e6565b604082019050919050565b6000602082019050818103600083015261397181613935565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026139da7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261399d565b6139e4868361399d565b95508019841693508086168417925050509392505050565b6000819050919050565b6000613a21613a1c613a1784612d37565b6139fc565b612d37565b9050919050565b6000819050919050565b613a3b83613a06565b613a4f613a4782613a28565b8484546139aa565b825550505050565b600090565b613a64613a57565b613a6f818484613a32565b505050565b5b81811015613a9357613a88600082613a5c565b600181019050613a75565b5050565b601f821115613ad857613aa981613978565b613ab28461398d565b81016020851015613ac1578190505b613ad5613acd8561398d565b830182613a74565b50505b505050565b600082821c905092915050565b6000613afb60001984600802613add565b1980831691505092915050565b6000613b148383613aea565b9150826002028217905092915050565b613b2d82612c22565b67ffffffffffffffff811115613b4657613b456135a0565b5b613b508254613434565b613b5b828285613a97565b600060209050601f831160018114613b8e5760008415613b7c578287015190505b613b868582613b08565b865550613bee565b601f198416613b9c86613978565b60005b82811015613bc457848901518255600182019150602085019450602081019050613b9f565b86831015613be15784890151613bdd601f891682613aea565b8355505b6001600288020188555050505b505050505050565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b6000613c52603083612c2d565b9150613c5d82613bf6565b604082019050919050565b60006020820190508181036000830152613c8181613c45565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000613cbe601f83612c2d565b9150613cc982613c88565b602082019050919050565b60006020820190508181036000830152613ced81613cb1565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b6000613d50602783612c2d565b9150613d5b82613cf4565b604082019050919050565b60006020820190508181036000830152613d7f81613d43565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b6000613de2602683612c2d565b9150613ded82613d86565b604082019050919050565b60006020820190508181036000830152613e1181613dd5565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203460008201527f3820626974730000000000000000000000000000000000000000000000000000602082015250565b6000613e74602683612c2d565b9150613e7f82613e18565b604082019050919050565b60006020820190508181036000830152613ea381613e67565b9050919050565b6000613eb582612d37565b9150613ec083612d37565b9250828203905081811115613ed857613ed7613465565b5b92915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000613f3a602483612c2d565b9150613f4582613ede565b604082019050919050565b60006020820190508181036000830152613f6981613f2d565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000613fcc602283612c2d565b9150613fd782613f70565b604082019050919050565b60006020820190508181036000830152613ffb81613fbf565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000614038601d83612c2d565b915061404382614002565b602082019050919050565b600060208201905081810360008301526140678161402b565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006140ca602583612c2d565b91506140d58261406e565b604082019050919050565b600060208201905081810360008301526140f9816140bd565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b600061415c602383612c2d565b915061416782614100565b604082019050919050565b6000602082019050818103600083015261418b8161414f565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b60006141ee602683612c2d565b91506141f982614192565b604082019050919050565b6000602082019050818103600083015261421d816141e1565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600061425a602083612c2d565b915061426582614224565b602082019050919050565b600060208201905081810360008301526142898161424d565b9050919050565b600081519050919050565b6000819050602082019050919050565b60006142b78251612e97565b80915050919050565b60006142cb82614290565b826142d58461429b565b90506142e0816142ab565b925060208210156143205761431b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8360200360080261399d565b831692505b5050919050565b600060408201905061433c6000830185612de3565b6143496020830184612de3565b9392505050565b600060a0820190506143656000830188612ea1565b6143726020830187612ea1565b61437f6040830186612ea1565b61438c6060830185612de3565b6143996080830184612ef8565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006143dd82612d37565b91506143e883612d37565b9250826143f8576143f76143a3565b5b828204905092915050565b60006080820190506144186000830187612ea1565b6144256020830186612e6d565b6144326040830185612ea1565b61443f6060830184612ea1565b95945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b60006144ad601883612c2d565b91506144b882614477565b602082019050919050565b600060208201905081810360008301526144dc816144a0565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b6000614519601f83612c2d565b9150614524826144e3565b602082019050919050565b600060208201905081810360008301526145488161450c565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b60006145ab602283612c2d565b91506145b68261454f565b604082019050919050565b600060208201905081810360008301526145da8161459e565b905091905056fea26469706673582212209fb0e7b64403725b48071fae8d0abcf2cf87821308586eb88d55609957de9af364736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c80637ecebe00116100f9578063a457c2d711610097578063d505accf11610071578063d505accf1461055f578063dd62ed3e1461057b578063f1127ed8146105ab578063f2fde38b146105db576101c4565b8063a457c2d7146104e3578063a9059cbb14610513578063c3cda52014610543576101c4565b80638e539e8c116100d35780638e539e8c1461044757806391ddadf41461047757806395d89b41146104955780639ab24eb0146104b3576101c4565b80637ecebe00146103d557806384b0196e146104055780638da5cb5b14610429576101c4565b80633a46b1a8116101665780635c19a95c116101405780635c19a95c1461034f5780636fcfff451461036b57806370a082311461039b578063715018a6146103cb576101c4565b80633a46b1a8146102d15780634bf5d7e914610301578063587cde1e1461031f576101c4565b806323b872dd116101a257806323b872dd14610235578063313ce567146102655780633644e5151461028357806339509351146102a1576101c4565b806306fdde03146101c9578063095ea7b3146101e757806318160ddd14610217575b600080fd5b6101d16105f7565b6040516101de9190612cb2565b60405180910390f35b61020160048036038101906101fc9190612d6d565b610689565b60405161020e9190612dc8565b60405180910390f35b61021f6106ac565b60405161022c9190612df2565b60405180910390f35b61024f600480360381019061024a9190612e0d565b6106b6565b60405161025c9190612dc8565b60405180910390f35b61026d6106e5565b60405161027a9190612e7c565b60405180910390f35b61028b6106ee565b6040516102989190612eb0565b60405180910390f35b6102bb60048036038101906102b69190612d6d565b6106fd565b6040516102c89190612dc8565b60405180910390f35b6102eb60048036038101906102e69190612d6d565b610734565b6040516102f89190612df2565b60405180910390f35b6103096107d7565b6040516103169190612cb2565b60405180910390f35b61033960048036038101906103349190612ecb565b610865565b6040516103469190612f07565b60405180910390f35b61036960048036038101906103649190612ecb565b6108ce565b005b61038560048036038101906103809190612ecb565b6108e2565b6040516103929190612f41565b60405180910390f35b6103b560048036038101906103b09190612ecb565b610936565b6040516103c29190612df2565b60405180910390f35b6103d361097e565b005b6103ef60048036038101906103ea9190612ecb565b610992565b6040516103fc9190612df2565b60405180910390f35b61040d6109e2565b6040516104209796959493929190613055565b60405180910390f35b610431610ae4565b60405161043e9190612f07565b60405180910390f35b610461600480360381019061045c91906130d9565b610b0e565b60405161046e9190612df2565b60405180910390f35b61047f610b73565b60405161048c9190613127565b60405180910390f35b61049d610b83565b6040516104aa9190612cb2565b60405180910390f35b6104cd60048036038101906104c89190612ecb565b610c15565b6040516104da9190612df2565b60405180910390f35b6104fd60048036038101906104f89190612d6d565b610d1d565b60405161050a9190612dc8565b60405180910390f35b61052d60048036038101906105289190612d6d565b610d94565b60405161053a9190612dc8565b60405180910390f35b61055d6004803603810190610558919061319a565b610db7565b005b61057960048036038101906105749190613227565b610ebb565b005b610595600480360381019061059091906132c9565b610ffd565b6040516105a29190612df2565b60405180910390f35b6105c560048036038101906105c09190613335565b611084565b6040516105d291906133ea565b60405180910390f35b6105f560048036038101906105f09190612ecb565b611194565b005b60606003805461060690613434565b80601f016020809104026020016040519081016040528092919081815260200182805461063290613434565b801561067f5780601f106106545761010080835404028352916020019161067f565b820191906000526020600020905b81548152906001019060200180831161066257829003601f168201915b5050505050905090565b6000806106946115b7565b90506106a18185856115bf565b600191505092915050565b6000600254905090565b6000806106c16115b7565b90506106ce858285611788565b6106d9858585611814565b60019150509392505050565b60006012905090565b60006106f8611a8a565b905090565b6000806107086115b7565b905061072981858561071a8589610ffd565b6107249190613494565b6115bf565b600191505092915050565b600061073e610b73565b65ffffffffffff168210610787576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077e90613514565b60405180910390fd5b6107cf600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083611b41565b905092915050565b6060436107e2610b73565b65ffffffffffff161461082a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082190613580565b60405180910390fd5b6040518060400160405280601d81526020017f6d6f64653d626c6f636b6e756d6265722666726f6d3d64656661756c74000000815250905090565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b6108df6108d96115b7565b82611c89565b50565b600061092f600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506114c9565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610986611da3565b6109906000611e21565b565b60006109db600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611ee7565b9050919050565b600060608060008060006060610a2260057f4b756e6a692046696e616e63650000000000000000000000000000000000000d611ef590919063ffffffff16565b610a5660067f3100000000000000000000000000000000000000000000000000000000000001611ef590919063ffffffff16565b46306000801b600067ffffffffffffffff811115610a7757610a766135a0565b5b604051908082528060200260200182016040528015610aa55781602001602082028036833780820191505090505b507f0f00000000000000000000000000000000000000000000000000000000000000959493929190965096509650965096509650965090919293949596565b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000610b18610b73565b65ffffffffffff168210610b61576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5890613514565b60405180910390fd5b610b6c600b83611b41565b9050919050565b6000610b7e43611547565b905090565b606060048054610b9290613434565b80601f0160208091040260200160405190810160405280929190818152602001828054610bbe90613434565b8015610c0b5780601f10610be057610100808354040283529160200191610c0b565b820191906000526020600020905b815481529060010190602001808311610bee57829003601f168201915b5050505050905090565b600080600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050905060008114610cf457600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001820381548110610cb957610cb86135cf565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610cf7565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b600080610d286115b7565b90506000610d368286610ffd565b905083811015610d7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d7290613670565b60405180910390fd5b610d8882868684036115bf565b60019250505092915050565b600080610d9f6115b7565b9050610dac818585611814565b600191505092915050565b83421115610dfa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df1906136dc565b60405180910390fd5b6000610e5c610e547fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf898989604051602001610e3994939291906136fc565b60405160208183030381529060405280519060200120611fa5565b858585611fbf565b9050610e6781611fea565b8614610ea8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e9f9061378d565b60405180910390fd5b610eb28188611c89565b50505050505050565b83421115610efe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef5906137f9565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610f2d8c611fea565b89604051602001610f4396959493929190613819565b6040516020818303038152906040528051906020012090506000610f6682611fa5565b90506000610f7682878787611fbf565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610fe6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fdd906138c6565b60405180910390fd5b610ff18a8a8a6115bf565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b61108c612be4565b600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff16815481106110e3576110e26135cf565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b61119c611da3565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361120b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161120290613958565b60405180910390fd5b61121481611e21565b50565b60006020835110156112335761122c83612048565b9050611255565b8261123d8361125b565b600001908161124c9190613b24565b5060ff60001b90505b92915050565b6000819050919050565b61126f82826112f2565b6112776120b0565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661129d6106ac565b11156112de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d590613c68565b60405180910390fd5b6112ec600b611448836120d4565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611361576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161135890613cd4565b60405180910390fd5b61136d600083836123af565b806002600082825461137f9190613494565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516114309190612df2565b60405180910390a3611444600083836123b4565b5050565b600081836114569190613494565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156114c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114b890613d66565b60405180910390fd5b819050919050565b600063ffffffff8016821115611514576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161150b90613df8565b60405180910390fd5b819050919050565b61152783838361159c565b61154261153384610865565b61153c84610865565b836123c4565b505050565b600065ffffffffffff8016821115611594576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161158b90613e8a565b60405180910390fd5b819050919050565b505050565b600081836115af9190613eaa565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361162e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161162590613f50565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361169d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169490613fe2565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161177b9190612df2565b60405180910390a3505050565b60006117948484610ffd565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461180e5781811015611800576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117f79061404e565b60405180910390fd5b61180d84848484036115bf565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611883576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161187a906140e0565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036118f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118e990614172565b60405180910390fd5b6118fd8383836123af565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611983576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161197a90614204565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611a719190612df2565b60405180910390a3611a848484846123b4565b50505050565b60007f000000000000000000000000fbbb21d8e7a461f06e5e27efd69703acb5c732a873ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015611b0657507f000000000000000000000000000000000000000000000000000000000000a4b146145b15611b33577f426717cfca4d9a32db4f50e9e15bb7780fc1d8c56aa52a78df38fb65b0496a879050611b3e565b611b3b6125bd565b90505b90565b600080838054905090506000808290506005831115611bb7576000611b6584612653565b84611b709190613eaa565b905085611b7d888361274c565b60000160009054906101000a900463ffffffff1663ffffffff161115611ba557809150611bb5565b600181611bb29190613494565b92505b505b5b80821015611c17576000611bcc8383612761565b905085611bd9888361274c565b60000160009054906101000a900463ffffffff1663ffffffff161115611c0157809150611c11565b600181611c0e9190613494565b92505b50611bb8565b60008114611c5d57611c2c866001830361274c565b60000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611c60565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935050505092915050565b6000611c9483610865565b90506000611ca184610936565b905082600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a4611d9d8284836123c4565b50505050565b611dab6115b7565b73ffffffffffffffffffffffffffffffffffffffff16611dc9610ae4565b73ffffffffffffffffffffffffffffffffffffffff1614611e1f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1690614270565b60405180910390fd5b565b6000600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081600001549050919050565b606060ff60001b8314611f1257611f0b83612787565b9050611f9f565b818054611f1e90613434565b80601f0160208091040260200160405190810160405280929190818152602001828054611f4a90613434565b8015611f975780601f10611f6c57610100808354040283529160200191611f97565b820191906000526020600020905b815481529060010190602001808311611f7a57829003601f168201915b505050505090505b92915050565b6000611fb8611fb2611a8a565b836127fb565b9050919050565b6000806000611fd08787878761283c565b91509150611fdd8161291e565b8192505050949350505050565b600080600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061203781611ee7565b915061204281612a84565b50919050565b600080829050601f8151111561209557826040517f305a27a900000000000000000000000000000000000000000000000000000000815260040161208c9190612cb2565b60405180910390fd5b8051816120a1906142c0565b60001c1760001b915050919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b600080600085805490509050600080821461219a576120f6876001840361274c565b6040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250506121d6565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505b905080602001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935061220b84868863ffffffff16565b92506000821180156122355750612220610b73565b65ffffffffffff16816000015163ffffffff16145b156122a6576122438361145e565b612250886001850361274c565b60000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506123a5565b8660405180604001604052806122ca6122bd610b73565b65ffffffffffff166114c9565b63ffffffff1681526020016122de8661145e565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b5050935093915050565b505050565b6123bf83838361151c565b505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156124005750600081115b156125b857600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146124de57600080612487600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206115a1856120d4565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516124d3929190614327565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16146125b757600080612560600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611448856120d4565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72483836040516125ac929190614327565b60405180910390a250505b5b505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7fcdb57c7cfd2551a6655c1f3f9f49661babcb7790a1e31f09d9668a18a79ee30a7fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001612638959493929190614350565b60405160208183030381529060405280519060200120905090565b60008082036126655760009050612747565b6000600161267284612a9a565b901c6001901b9050600181848161268c5761268b6143a3565b5b048201901c905060018184816126a5576126a46143a3565b5b048201901c905060018184816126be576126bd6143a3565b5b048201901c905060018184816126d7576126d66143a3565b5b048201901c905060018184816126f0576126ef6143a3565b5b048201901c90506001818481612709576127086143a3565b5b048201901c90506001818481612722576127216143a3565b5b048201901c90506127438182858161273d5761273c6143a3565b5b04612b7b565b9150505b919050565b60008260005281602060002001905092915050565b6000600282841861277291906143d2565b82841661277f9190613494565b905092915050565b6060600061279483612b94565b90506000602067ffffffffffffffff8111156127b3576127b26135a0565b5b6040519080825280601f01601f1916602001820160405280156127e55781602001600182028036833780820191505090505b5090508181528360208201528092505050919050565b60006040517f190100000000000000000000000000000000000000000000000000000000000081528360028201528260228201526042812091505092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c1115612877576000600391509150612915565b60006001878787876040516000815260200160405260405161289c9493929190614403565b6020604051602081039080840390855afa1580156128be573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361290c57600060019250925050612915565b80600092509250505b94509492505050565b6000600481111561293257612931614448565b5b81600481111561294557612944614448565b5b0315612a81576001600481111561295f5761295e614448565b5b81600481111561297257612971614448565b5b036129b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129a9906144c3565b60405180910390fd5b600260048111156129c6576129c5614448565b5b8160048111156129d9576129d8614448565b5b03612a19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a109061452f565b60405180910390fd5b60036004811115612a2d57612a2c614448565b5b816004811115612a4057612a3f614448565b5b03612a80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a77906145c1565b60405180910390fd5b5b50565b6001816000016000828254019250508190555050565b600080600090506000608084901c1115612abc57608083901c92506080810190505b6000604084901c1115612ad757604083901c92506040810190505b6000602084901c1115612af257602083901c92506020810190505b6000601084901c1115612b0d57601083901c92506010810190505b6000600884901c1115612b2857600883901c92506008810190505b6000600484901c1115612b4357600483901c92506004810190505b6000600284901c1115612b5e57600283901c92506002810190505b6000600184901c1115612b72576001810190505b80915050919050565b6000818310612b8a5781612b8c565b825b905092915050565b60008060ff8360001c169050601f811115612bdb576040517fb3512b0c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80915050919050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b600081519050919050565b600082825260208201905092915050565b60005b83811015612c5c578082015181840152602081019050612c41565b60008484015250505050565b6000601f19601f8301169050919050565b6000612c8482612c22565b612c8e8185612c2d565b9350612c9e818560208601612c3e565b612ca781612c68565b840191505092915050565b60006020820190508181036000830152612ccc8184612c79565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612d0482612cd9565b9050919050565b612d1481612cf9565b8114612d1f57600080fd5b50565b600081359050612d3181612d0b565b92915050565b6000819050919050565b612d4a81612d37565b8114612d5557600080fd5b50565b600081359050612d6781612d41565b92915050565b60008060408385031215612d8457612d83612cd4565b5b6000612d9285828601612d22565b9250506020612da385828601612d58565b9150509250929050565b60008115159050919050565b612dc281612dad565b82525050565b6000602082019050612ddd6000830184612db9565b92915050565b612dec81612d37565b82525050565b6000602082019050612e076000830184612de3565b92915050565b600080600060608486031215612e2657612e25612cd4565b5b6000612e3486828701612d22565b9350506020612e4586828701612d22565b9250506040612e5686828701612d58565b9150509250925092565b600060ff82169050919050565b612e7681612e60565b82525050565b6000602082019050612e916000830184612e6d565b92915050565b6000819050919050565b612eaa81612e97565b82525050565b6000602082019050612ec56000830184612ea1565b92915050565b600060208284031215612ee157612ee0612cd4565b5b6000612eef84828501612d22565b91505092915050565b612f0181612cf9565b82525050565b6000602082019050612f1c6000830184612ef8565b92915050565b600063ffffffff82169050919050565b612f3b81612f22565b82525050565b6000602082019050612f566000830184612f32565b92915050565b60007fff0000000000000000000000000000000000000000000000000000000000000082169050919050565b612f9181612f5c565b82525050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b612fcc81612d37565b82525050565b6000612fde8383612fc3565b60208301905092915050565b6000602082019050919050565b600061300282612f97565b61300c8185612fa2565b935061301783612fb3565b8060005b8381101561304857815161302f8882612fd2565b975061303a83612fea565b92505060018101905061301b565b5085935050505092915050565b600060e08201905061306a600083018a612f88565b818103602083015261307c8189612c79565b905081810360408301526130908188612c79565b905061309f6060830187612de3565b6130ac6080830186612ef8565b6130b960a0830185612ea1565b81810360c08301526130cb8184612ff7565b905098975050505050505050565b6000602082840312156130ef576130ee612cd4565b5b60006130fd84828501612d58565b91505092915050565b600065ffffffffffff82169050919050565b61312181613106565b82525050565b600060208201905061313c6000830184613118565b92915050565b61314b81612e60565b811461315657600080fd5b50565b60008135905061316881613142565b92915050565b61317781612e97565b811461318257600080fd5b50565b6000813590506131948161316e565b92915050565b60008060008060008060c087890312156131b7576131b6612cd4565b5b60006131c589828a01612d22565b96505060206131d689828a01612d58565b95505060406131e789828a01612d58565b94505060606131f889828a01613159565b935050608061320989828a01613185565b92505060a061321a89828a01613185565b9150509295509295509295565b600080600080600080600060e0888a03121561324657613245612cd4565b5b60006132548a828b01612d22565b97505060206132658a828b01612d22565b96505060406132768a828b01612d58565b95505060606132878a828b01612d58565b94505060806132988a828b01613159565b93505060a06132a98a828b01613185565b92505060c06132ba8a828b01613185565b91505092959891949750929550565b600080604083850312156132e0576132df612cd4565b5b60006132ee85828601612d22565b92505060206132ff85828601612d22565b9150509250929050565b61331281612f22565b811461331d57600080fd5b50565b60008135905061332f81613309565b92915050565b6000806040838503121561334c5761334b612cd4565b5b600061335a85828601612d22565b925050602061336b85828601613320565b9150509250929050565b61337e81612f22565b82525050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b6133b581613384565b82525050565b6040820160008201516133d16000850182613375565b5060208201516133e460208501826133ac565b50505050565b60006040820190506133ff60008301846133bb565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061344c57607f821691505b60208210810361345f5761345e613405565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061349f82612d37565b91506134aa83612d37565b92508282019050808211156134c2576134c1613465565b5b92915050565b7f4552433230566f7465733a20667574757265206c6f6f6b757000000000000000600082015250565b60006134fe601983612c2d565b9150613509826134c8565b602082019050919050565b6000602082019050818103600083015261352d816134f1565b9050919050565b7f4552433230566f7465733a2062726f6b656e20636c6f636b206d6f6465000000600082015250565b600061356a601d83612c2d565b915061357582613534565b602082019050919050565b600060208201905081810360008301526135998161355d565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061365a602583612c2d565b9150613665826135fe565b604082019050919050565b600060208201905081810360008301526136898161364d565b9050919050565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b60006136c6601d83612c2d565b91506136d182613690565b602082019050919050565b600060208201905081810360008301526136f5816136b9565b9050919050565b60006080820190506137116000830187612ea1565b61371e6020830186612ef8565b61372b6040830185612de3565b6137386060830184612de3565b95945050505050565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b6000613777601983612c2d565b915061378282613741565b602082019050919050565b600060208201905081810360008301526137a68161376a565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b60006137e3601d83612c2d565b91506137ee826137ad565b602082019050919050565b60006020820190508181036000830152613812816137d6565b9050919050565b600060c08201905061382e6000830189612ea1565b61383b6020830188612ef8565b6138486040830187612ef8565b6138556060830186612de3565b6138626080830185612de3565b61386f60a0830184612de3565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b60006138b0601e83612c2d565b91506138bb8261387a565b602082019050919050565b600060208201905081810360008301526138df816138a3565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000613942602683612c2d565b915061394d826138e6565b604082019050919050565b6000602082019050818103600083015261397181613935565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026139da7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261399d565b6139e4868361399d565b95508019841693508086168417925050509392505050565b6000819050919050565b6000613a21613a1c613a1784612d37565b6139fc565b612d37565b9050919050565b6000819050919050565b613a3b83613a06565b613a4f613a4782613a28565b8484546139aa565b825550505050565b600090565b613a64613a57565b613a6f818484613a32565b505050565b5b81811015613a9357613a88600082613a5c565b600181019050613a75565b5050565b601f821115613ad857613aa981613978565b613ab28461398d565b81016020851015613ac1578190505b613ad5613acd8561398d565b830182613a74565b50505b505050565b600082821c905092915050565b6000613afb60001984600802613add565b1980831691505092915050565b6000613b148383613aea565b9150826002028217905092915050565b613b2d82612c22565b67ffffffffffffffff811115613b4657613b456135a0565b5b613b508254613434565b613b5b828285613a97565b600060209050601f831160018114613b8e5760008415613b7c578287015190505b613b868582613b08565b865550613bee565b601f198416613b9c86613978565b60005b82811015613bc457848901518255600182019150602085019450602081019050613b9f565b86831015613be15784890151613bdd601f891682613aea565b8355505b6001600288020188555050505b505050505050565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b6000613c52603083612c2d565b9150613c5d82613bf6565b604082019050919050565b60006020820190508181036000830152613c8181613c45565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000613cbe601f83612c2d565b9150613cc982613c88565b602082019050919050565b60006020820190508181036000830152613ced81613cb1565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b6000613d50602783612c2d565b9150613d5b82613cf4565b604082019050919050565b60006020820190508181036000830152613d7f81613d43565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b6000613de2602683612c2d565b9150613ded82613d86565b604082019050919050565b60006020820190508181036000830152613e1181613dd5565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203460008201527f3820626974730000000000000000000000000000000000000000000000000000602082015250565b6000613e74602683612c2d565b9150613e7f82613e18565b604082019050919050565b60006020820190508181036000830152613ea381613e67565b9050919050565b6000613eb582612d37565b9150613ec083612d37565b9250828203905081811115613ed857613ed7613465565b5b92915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000613f3a602483612c2d565b9150613f4582613ede565b604082019050919050565b60006020820190508181036000830152613f6981613f2d565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000613fcc602283612c2d565b9150613fd782613f70565b604082019050919050565b60006020820190508181036000830152613ffb81613fbf565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000614038601d83612c2d565b915061404382614002565b602082019050919050565b600060208201905081810360008301526140678161402b565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006140ca602583612c2d565b91506140d58261406e565b604082019050919050565b600060208201905081810360008301526140f9816140bd565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b600061415c602383612c2d565b915061416782614100565b604082019050919050565b6000602082019050818103600083015261418b8161414f565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b60006141ee602683612c2d565b91506141f982614192565b604082019050919050565b6000602082019050818103600083015261421d816141e1565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600061425a602083612c2d565b915061426582614224565b602082019050919050565b600060208201905081810360008301526142898161424d565b9050919050565b600081519050919050565b6000819050602082019050919050565b60006142b78251612e97565b80915050919050565b60006142cb82614290565b826142d58461429b565b90506142e0816142ab565b925060208210156143205761431b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8360200360080261399d565b831692505b5050919050565b600060408201905061433c6000830185612de3565b6143496020830184612de3565b9392505050565b600060a0820190506143656000830188612ea1565b6143726020830187612ea1565b61437f6040830186612ea1565b61438c6060830185612de3565b6143996080830184612ef8565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006143dd82612d37565b91506143e883612d37565b9250826143f8576143f76143a3565b5b828204905092915050565b60006080820190506144186000830187612ea1565b6144256020830186612e6d565b6144326040830185612ea1565b61443f6060830184612ea1565b95945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b60006144ad601883612c2d565b91506144b882614477565b602082019050919050565b600060208201905081810360008301526144dc816144a0565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b6000614519601f83612c2d565b9150614524826144e3565b602082019050919050565b600060208201905081810360008301526145488161450c565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b60006145ab602283612c2d565b91506145b68261454f565b604082019050919050565b600060208201905081810360008301526145da8161459e565b905091905056fea26469706673582212209fb0e7b64403725b48071fae8d0abcf2cf87821308586eb88d55609957de9af364736f6c63430008120033

119675:801:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;94409:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;96769:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95538:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;97550:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95380:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;108209:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;98220:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;112081:251;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;110618:258;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;111432:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;114955:114;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;111188:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95709:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87864:103;;;:::i;:::-;;107951:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;82063:657;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;87223:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;112604:242;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;110380:120;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94628:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;111644:248;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;98961:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;96042:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115151:591;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;107240:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;96298:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;110958:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;88122:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;94409:100;94463:13;94496:5;94489:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;94409:100;:::o;96769:201::-;96852:4;96869:13;96885:12;:10;:12::i;:::-;96869:28;;96908:32;96917:5;96924:7;96933:6;96908:8;:32::i;:::-;96958:4;96951:11;;;96769:201;;;;:::o;95538:108::-;95599:7;95626:12;;95619:19;;95538:108;:::o;97550:261::-;97647:4;97664:15;97682:12;:10;:12::i;:::-;97664:30;;97705:38;97721:4;97727:7;97736:6;97705:15;:38::i;:::-;97754:27;97764:4;97770:2;97774:6;97754:9;:27::i;:::-;97799:4;97792:11;;;97550:261;;;;;:::o;95380:93::-;95438:5;95463:2;95456:9;;95380:93;:::o;108209:115::-;108269:7;108296:20;:18;:20::i;:::-;108289:27;;108209:115;:::o;98220:238::-;98308:4;98325:13;98341:12;:10;:12::i;:::-;98325:28;;98364:64;98373:5;98380:7;98417:10;98389:25;98399:5;98406:7;98389:9;:25::i;:::-;:38;;;;:::i;:::-;98364:8;:64::i;:::-;98446:4;98439:11;;;98220:238;;;;:::o;112081:251::-;112177:7;112217;:5;:7::i;:::-;112205:19;;:9;:19;112197:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;112272:52;112291:12;:21;112304:7;112291:21;;;;;;;;;;;;;;;112314:9;112272:18;:52::i;:::-;112265:59;;112081:251;;;;:::o;110618:258::-;110678:13;110773:12;110762:7;:5;:7::i;:::-;:23;;;110754:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;110830:38;;;;;;;;;;;;;;;;;;;110618:258;:::o;111432:128::-;111506:7;111533:10;:19;111544:7;111533:19;;;;;;;;;;;;;;;;;;;;;;;;;111526:26;;111432:128;;;:::o;114955:114::-;115027:34;115037:12;:10;:12::i;:::-;115051:9;115027;:34::i;:::-;114955:114;:::o;111188:151::-;111258:6;111284:47;111302:12;:21;111315:7;111302:21;;;;;;;;;;;;;;;:28;;;;111284:17;:47::i;:::-;111277:54;;111188:151;;;:::o;95709:127::-;95783:7;95810:9;:18;95820:7;95810:18;;;;;;;;;;;;;;;;95803:25;;95709:127;;;:::o;87864:103::-;87109:13;:11;:13::i;:::-;87929:30:::1;87956:1;87929:18;:30::i;:::-;87864:103::o:0;107951:128::-;108020:7;108047:24;:7;:14;108055:5;108047:14;;;;;;;;;;;;;;;:22;:24::i;:::-;108040:31;;107951:128;;;:::o;82063:657::-;82184:13;82212:18;82245:21;82281:15;82311:25;82351:12;82378:27;82486:41;82513:13;82486:5;:26;;:41;;;;:::i;:::-;82542:47;82572:16;82542:8;:29;;:47;;;;:::i;:::-;82604:13;82640:4;82668:1;82660:10;;82699:1;82685:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;82433:279;;;;;;;;;;;;;;;;;;;;;82063:657;;;;;;;:::o;87223:87::-;87269:7;87296:6;;;;;;;;;;;87289:13;;87223:87;:::o;112604:242::-;112689:7;112729;:5;:7::i;:::-;112717:19;;:9;:19;112709:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;112784:54;112803:23;112828:9;112784:18;:54::i;:::-;112777:61;;112604:242;;;:::o;110380:120::-;110435:6;110461:31;110479:12;110461:17;:31::i;:::-;110454:38;;110380:120;:::o;94628:104::-;94684:13;94717:7;94710:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;94628:104;:::o;111644:248::-;111717:7;111737:11;111751:12;:21;111764:7;111751:21;;;;;;;;;;;;;;;:28;;;;111737:42;;111829:1;111822:3;:8;:51;;111837:12;:21;111850:7;111837:21;;;;;;;;;;;;;;;111865:1;111859:3;:7;111837:30;;;;;;;;:::i;:::-;;;;;;;;;:36;;;;;;;;;;;;111822:51;;;111833:1;111822:51;111815:58;;;;;111644:248;;;:::o;98961:436::-;99054:4;99071:13;99087:12;:10;:12::i;:::-;99071:28;;99110:24;99137:25;99147:5;99154:7;99137:9;:25::i;:::-;99110:52;;99201:15;99181:16;:35;;99173:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;99294:60;99303:5;99310:7;99338:15;99319:16;:34;99294:8;:60::i;:::-;99385:4;99378:11;;;;98961:436;;;;:::o;96042:193::-;96121:4;96138:13;96154:12;:10;:12::i;:::-;96138:28;;96177;96187:5;96194:2;96198:6;96177:9;:28::i;:::-;96223:4;96216:11;;;96042:193;;;;:::o;115151:591::-;115378:6;115359:15;:25;;115351:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;115429:14;115446:174;115474:87;109993:71;115534:9;115545:5;115552:6;115501:58;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;115491:69;;;;;;115474:16;:87::i;:::-;115576:1;115592;115608;115446:13;:174::i;:::-;115429:191;;115648:17;115658:6;115648:9;:17::i;:::-;115639:5;:26;115631:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;115706:28;115716:6;115724:9;115706;:28::i;:::-;115340:402;115151:591;;;;;;:::o;107240:645::-;107484:8;107465:15;:27;;107457:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;107539:18;106415:95;107599:5;107606:7;107615:5;107622:16;107632:5;107622:9;:16::i;:::-;107640:8;107570:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;107560:90;;;;;;107539:111;;107663:12;107678:28;107695:10;107678:16;:28::i;:::-;107663:43;;107719:14;107736:28;107750:4;107756:1;107759;107762;107736:13;:28::i;:::-;107719:45;;107793:5;107783:15;;:6;:15;;;107775:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;107846:31;107855:5;107862:7;107871:5;107846:8;:31::i;:::-;107446:439;;;107240:645;;;;;;;:::o;96298:151::-;96387:7;96414:11;:18;96426:5;96414:18;;;;;;;;;;;;;;;:27;96433:7;96414:27;;;;;;;;;;;;;;;;96407:34;;96298:151;;;;:::o;110958:150::-;111037:17;;:::i;:::-;111074:12;:21;111087:7;111074:21;;;;;;;;;;;;;;;111096:3;111074:26;;;;;;;;;;:::i;:::-;;;;;;;;;111067:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;110958:150;;;;:::o;88122:201::-;87109:13;:11;:13::i;:::-;88231:1:::1;88211:22;;:8;:22;;::::0;88203:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;88287:28;88306:8;88287:18;:28::i;:::-;88122:201:::0;:::o;48875:348::-;48971:11;49021:2;49005:5;48999:19;:24;48995:221;;;49047:20;49061:5;49047:13;:20::i;:::-;49040:27;;;;48995:221;49141:5;49100:32;49126:5;49100:25;:32::i;:::-;:38;;:46;;;;;;:::i;:::-;;47304:66;49185:18;;49161:43;;48875:348;;;;;:::o;45068:207::-;45136:20;45247:10;45237:20;;45068:207;;;:::o;116048:290::-;116133:28;116145:7;116154:6;116133:11;:28::i;:::-;116197:12;:10;:12::i;:::-;116180:29;;:13;:11;:13::i;:::-;:29;;116172:90;;;;;;;;;;;;:::i;:::-;;;;;;;;;116275:55;116292:23;116317:4;116323:6;116275:16;:55::i;:::-;;;116048:290;;:::o;100960:548::-;101063:1;101044:21;;:7;:21;;;101036:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;101114:49;101143:1;101147:7;101156:6;101114:20;:49::i;:::-;101192:6;101176:12;;:22;;;;;;;:::i;:::-;;;;;;;;101369:6;101347:9;:18;101357:7;101347:18;;;;;;;;;;;;;;;;:28;;;;;;;;;;;101423:7;101402:37;;101419:1;101402:37;;;101432:6;101402:37;;;;;;:::i;:::-;;;;;;;;101452:48;101480:1;101484:7;101493:6;101452:19;:48::i;:::-;100960:548;;:::o;118987:98::-;119045:7;119076:1;119072;:5;;;;:::i;:::-;119065:12;;118987:98;;;;:::o;2950:195::-;3007:7;3044:17;3035:26;;:5;:26;;3027:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;3131:5;3116:21;;2950:195;;;:::o;15786:190::-;15842:6;15878:16;15869:25;;:5;:25;;15861:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;15962:5;15948:20;;15786:190;;;:::o;116773:228::-;116881:43;116907:4;116913:2;116917:6;116881:25;:43::i;:::-;116937:56;116954:15;116964:4;116954:9;:15::i;:::-;116971:13;116981:2;116971:9;:13::i;:::-;116986:6;116937:16;:56::i;:::-;116773:228;;;:::o;14728:190::-;14784:6;14820:16;14811:25;;:5;:25;;14803:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;14904:5;14890:20;;14728:190;;;:::o;105305:90::-;;;;:::o;119093:103::-;119156:7;119187:1;119183;:5;;;;:::i;:::-;119176:12;;119093:103;;;;:::o;85774:98::-;85827:7;85854:10;85847:17;;85774:98;:::o;102954:346::-;103073:1;103056:19;;:5;:19;;;103048:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;103154:1;103135:21;;:7;:21;;;103127:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;103238:6;103208:11;:18;103220:5;103208:18;;;;;;;;;;;;;;;:27;103227:7;103208:27;;;;;;;;;;;;;;;:36;;;;103276:7;103260:32;;103269:5;103260:32;;;103285:6;103260:32;;;;;;:::i;:::-;;;;;;;;102954:346;;;:::o;103591:419::-;103692:24;103719:25;103729:5;103736:7;103719:9;:25::i;:::-;103692:52;;103779:17;103759:16;:37;103755:248;;103841:6;103821:16;:26;;103813:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;103925:51;103934:5;103941:7;103969:6;103950:16;:25;103925:8;:51::i;:::-;103755:248;103681:329;103591:419;;;:::o;99867:806::-;99980:1;99964:18;;:4;:18;;;99956:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;100057:1;100043:16;;:2;:16;;;100035:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;100112:38;100133:4;100139:2;100143:6;100112:20;:38::i;:::-;100163:19;100185:9;:15;100195:4;100185:15;;;;;;;;;;;;;;;;100163:37;;100234:6;100219:11;:21;;100211:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;100351:6;100337:11;:20;100319:9;:15;100329:4;100319:15;;;;;;;;;;;;;;;:38;;;;100554:6;100537:9;:13;100547:2;100537:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;100604:2;100589:26;;100598:4;100589:26;;;100608:6;100589:26;;;;;;:::i;:::-;;;;;;;;100628:37;100648:4;100654:2;100658:6;100628:19;:37::i;:::-;99945:728;99867:806;;;:::o;80701:268::-;80754:7;80795:11;80778:28;;80786:4;80778:28;;;:63;;;;;80827:14;80810:13;:31;80778:63;80774:188;;;80865:22;80858:29;;;;80774:188;80927:23;:21;:23::i;:::-;80920:30;;80701:268;;:::o;112935:1934::-;113032:7;114142:14;114159:5;:12;;;;114142:29;;114184:11;114210:12;114225:6;114210:21;;114257:1;114248:6;:10;114244:249;;;114275:11;114298:17;114308:6;114298:9;:17::i;:::-;114289:6;:26;;;;:::i;:::-;114275:40;;114372:9;114334:25;114348:5;114355:3;114334:13;:25::i;:::-;:35;;;;;;;;;;;;:47;;;114330:152;;;114409:3;114402:10;;114330:152;;;114465:1;114459:3;:7;;;;:::i;:::-;114453:13;;114330:152;114260:233;114244:249;114505;114518:4;114512:3;:10;114505:249;;;114539:11;114553:23;114566:3;114571:4;114553:12;:23::i;:::-;114539:37;;114633:9;114595:25;114609:5;114616:3;114595:13;:25::i;:::-;:35;;;;;;;;;;;;:47;;;114591:152;;;114670:3;114663:10;;114591:152;;;114726:1;114720:3;:7;;;;:::i;:::-;114714:13;;114591:152;114524:230;114505:249;;;114806:1;114798:4;:9;:52;;114814:30;114828:5;114842:1;114835:4;:8;114814:13;:30::i;:::-;:36;;;;;;;;;;;;114798:52;;;114810:1;114798:52;114791:59;;;;;;;112935:1934;;;;:::o;117179:388::-;117264:23;117290:20;117300:9;117290;:20::i;:::-;117264:46;;117321:24;117348:20;117358:9;117348;:20::i;:::-;117321:47;;117403:9;117379:10;:21;117390:9;117379:21;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;117474:9;117430:54;;117457:15;117430:54;;117446:9;117430:54;;;;;;;;;;;;117497:62;117514:15;117531:9;117542:16;117497;:62::i;:::-;117253:314;;117179:388;;:::o;87388:132::-;87463:12;:10;:12::i;:::-;87452:23;;:7;:5;:7::i;:::-;:23;;;87444:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;87388:132::o;88483:191::-;88557:16;88576:6;;;;;;;;;;;88557:25;;88602:8;88593:6;;:17;;;;;;;;;;;;;;;;;;88657:8;88626:40;;88647:8;88626:40;;;;;;;;;;;;88546:128;88483:191;:::o;40230:114::-;40295:7;40322;:14;;;40315:21;;40230:114;;;:::o;49359:274::-;49453:13;47304:66;49512:18;;49502:5;49483:47;49479:147;;49554:15;49563:5;49554:8;:15::i;:::-;49547:22;;;;49479:147;49609:5;49602:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49359:274;;;;;:::o;81801:167::-;81878:7;81905:55;81927:20;:18;:20::i;:::-;81949:10;81905:21;:55::i;:::-;81898:62;;81801:167;;;:::o;74380:236::-;74465:7;74486:17;74505:18;74527:25;74538:4;74544:1;74547;74550;74527:10;:25::i;:::-;74485:67;;;;74563:18;74575:5;74563:11;:18::i;:::-;74599:9;74592:16;;;;74380:236;;;;;;:::o;108462:207::-;108522:15;108550:30;108583:7;:14;108591:5;108583:14;;;;;;;;;;;;;;;108550:47;;108618:15;:5;:13;:15::i;:::-;108608:25;;108644:17;:5;:15;:17::i;:::-;108539:130;108462:207;;;:::o;47632:292::-;47697:11;47721:17;47747:3;47721:30;;47780:2;47766:4;:11;:16;47762:74;;;47820:3;47806:18;;;;;;;;;;;:::i;:::-;;;;;;;;47762:74;47903:4;:11;47894:4;47886:13;;;:::i;:::-;47878:22;;:36;47870:45;;47846:70;;;47632:292;;;:::o;115849:105::-;115902:7;115929:17;115922:24;;115849:105;:::o;118192:787::-;118366:17;118385;118415:11;118429:5;:12;;;;118415:26;;118479:25;118514:1;118507:3;:8;:59;;118537:29;118551:5;118564:1;118558:3;:7;118537:13;:29::i;:::-;118507:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;118518:16;;;;;;;;118529:1;118518:16;;;;;;118532:1;118518:16;;;;;118507:59;118479:87;;118595:7;:13;;;118583:25;;;;118635:20;118638:9;118649:5;118635:2;:20;;:::i;:::-;118623:32;;118682:1;118676:3;:7;:39;;;;;118708:7;:5;:7::i;:::-;118687:28;;:7;:17;;;:28;;;118676:39;118672:289;;;118774:29;118793:9;118774:18;:29::i;:::-;118736;118750:5;118763:1;118757:3;:7;118736:13;:29::i;:::-;:35;;;:67;;;;;;;;;;;;;;;;;;118672:289;;;118844:5;118855:89;;;;;;;;118878:26;118896:7;:5;:7::i;:::-;118878:26;;:17;:26::i;:::-;118855:89;;;;;;118913:29;118932:9;118913:18;:29::i;:::-;118855:89;;;;;118844:101;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;118672:289;118454:518;118404:575;118192:787;;;;;;:::o;104610:91::-;;;;:::o;119964:193::-;120106:43;120132:4;120138:2;120142:6;120106:25;:43::i;:::-;119964:193;;;:::o;117575:609::-;117673:3;117666:10;;:3;:10;;;;:24;;;;;117689:1;117680:6;:10;117666:24;117662:515;;;117726:1;117711:17;;:3;:17;;;117707:224;;117750:17;117769;117790:54;117807:12;:17;117820:3;117807:17;;;;;;;;;;;;;;;117826:9;117837:6;117790:16;:54::i;:::-;117749:95;;;;117889:3;117868:47;;;117894:9;117905;117868:47;;;;;;;:::i;:::-;;;;;;;;117730:201;;117707:224;117966:1;117951:17;;:3;:17;;;117947:219;;117990:17;118009;118030:49;118047:12;:17;118060:3;118047:17;;;;;;;;;;;;;;;118066:4;118072:6;118030:16;:49::i;:::-;117989:90;;;;118124:3;118103:47;;;118129:9;118140;118103:47;;;;;;;:::i;:::-;;;;;;;;117970:196;;117947:219;117662:515;117575:609;;;:::o;80977:182::-;81032:7;78893:95;81092:11;81105:14;81121:13;81144:4;81069:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;81059:92;;;;;;81052:99;;80977:182;:::o;58347:1673::-;58395:7;58424:1;58419;:6;58415:47;;58449:1;58442:8;;;;58415:47;59153:14;59187:1;59176:7;59181:1;59176:4;:7::i;:::-;:12;;59170:1;:19;;59153:36;;59655:1;59644:6;59640:1;:10;;;;;:::i;:::-;;;59631:6;:19;59630:26;;59621:35;;59705:1;59694:6;59690:1;:10;;;;;:::i;:::-;;;59681:6;:19;59680:26;;59671:35;;59755:1;59744:6;59740:1;:10;;;;;:::i;:::-;;;59731:6;:19;59730:26;;59721:35;;59805:1;59794:6;59790:1;:10;;;;;:::i;:::-;;;59781:6;:19;59780:26;;59771:35;;59855:1;59844:6;59840:1;:10;;;;;:::i;:::-;;;59831:6;:19;59830:26;;59821:35;;59905:1;59894:6;59890:1;:10;;;;;:::i;:::-;;;59881:6;:19;59880:26;;59871:35;;59955:1;59944:6;59940:1;:10;;;;;:::i;:::-;;;59931:6;:19;59930:26;;59921:35;;59978:23;59982:6;59994;59990:1;:10;;;;;:::i;:::-;;;59978:3;:23::i;:::-;59971:30;;;58347:1673;;;;:::o;119344:244::-;119430:25;119502:10;119499:1;119492:21;119566:3;119559:4;119556:1;119546:18;119542:28;119527:43;;119344:244;;;;:::o;52504:156::-;52566:7;52651:1;52646;52642;:5;52641:11;;;;:::i;:::-;52636:1;52632;:5;52631:21;;;;:::i;:::-;52624:28;;52504:156;;;;:::o;48013:415::-;48072:13;48098:11;48112:16;48123:4;48112:10;:16::i;:::-;48098:30;;48218:17;48249:2;48238:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;48218:34;;48343:3;48338;48331:16;48384:4;48377;48372:3;48368:14;48361:28;48417:3;48410:10;;;;48013:415;;;:::o;76164:406::-;76257:12;76367:4;76361:11;76398:10;76393:3;76386:23;76446:15;76439:4;76434:3;76430:14;76423:39;76499:10;76492:4;76487:3;76483:14;76476:34;76547:4;76542:3;76532:20;76524:28;;76335:228;76164:406;;;;:::o;72764:1477::-;72852:7;72861:12;73786:66;73781:1;73773:10;;:79;73769:163;;;73885:1;73889:30;73869:51;;;;;;73769:163;74029:14;74046:24;74056:4;74062:1;74065;74068;74046:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;74029:41;;74103:1;74085:20;;:6;:20;;;74081:103;;74138:1;74142:29;74122:50;;;;;;;74081:103;74204:6;74212:20;74196:37;;;;;72764:1477;;;;;;;;:::o;68224:521::-;68302:20;68293:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;68289:449;68339:7;68289:449;68400:29;68391:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;68387:351;;68446:34;;;;;;;;;;:::i;:::-;;;;;;;;68387:351;68511:35;68502:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;68498:240;;68563:41;;;;;;;;;;:::i;:::-;;;;;;;;68498:240;68635:30;68626:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;68622:116;;68682:44;;;;;;;;;;:::i;:::-;;;;;;;;68622:116;68224:521;;:::o;40352:127::-;40459:1;40441:7;:14;;;:19;;;;;;;;;;;40352:127;:::o;60497:1019::-;60549:7;60569:14;60586:1;60569:18;;60642:1;60636:3;60627:5;:12;;:16;60623:102;;;60674:3;60664:13;;;;;60706:3;60696:13;;;;60623:102;60757:1;60752:2;60743:5;:11;;:15;60739:99;;;60789:2;60779:12;;;;;60820:2;60810:12;;;;60739:99;60870:1;60865:2;60856:5;:11;;:15;60852:99;;;60902:2;60892:12;;;;;60933:2;60923:12;;;;60852:99;60983:1;60978:2;60969:5;:11;;:15;60965:99;;;61015:2;61005:12;;;;;61046:2;61036:12;;;;60965:99;61095:1;61091;61082:5;:10;;:14;61078:96;;;61127:1;61117:11;;;;;61157:1;61147:11;;;;61078:96;61205:1;61201;61192:5;:10;;:14;61188:96;;;61237:1;61227:11;;;;;61267:1;61257:11;;;;61188:96;61315:1;61311;61302:5;:10;;:14;61298:96;;;61347:1;61337:11;;;;;61377:1;61367:11;;;;61298:96;61425:1;61421;61412:5;:10;;:14;61408:66;;;61457:1;61447:11;;;;61408:66;61502:6;61495:13;;;60497:1019;;;:::o;52279:106::-;52337:7;52368:1;52364;:5;:13;;52376:1;52364:13;;;52372:1;52364:13;52357:20;;52279:106;;;;:::o;48505:251::-;48566:7;48586:14;48639:4;48630;48603:33;;:40;48586:57;;48667:2;48658:6;:11;48654:71;;;48693:20;;;;;;;;;;;;;;48654:71;48742:6;48735:13;;;48505:251;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:77::-;4890:7;4919:5;4908:16;;4853:77;;;:::o;4936:118::-;5023:24;5041:5;5023:24;:::i;:::-;5018:3;5011:37;4936:118;;:::o;5060:222::-;5153:4;5191:2;5180:9;5176:18;5168:26;;5204:71;5272:1;5261:9;5257:17;5248:6;5204:71;:::i;:::-;5060:222;;;;:::o;5288:329::-;5347:6;5396:2;5384:9;5375:7;5371:23;5367:32;5364:119;;;5402:79;;:::i;:::-;5364:119;5522:1;5547:53;5592:7;5583:6;5572:9;5568:22;5547:53;:::i;:::-;5537:63;;5493:117;5288:329;;;;:::o;5623:118::-;5710:24;5728:5;5710:24;:::i;:::-;5705:3;5698:37;5623:118;;:::o;5747:222::-;5840:4;5878:2;5867:9;5863:18;5855:26;;5891:71;5959:1;5948:9;5944:17;5935:6;5891:71;:::i;:::-;5747:222;;;;:::o;5975:93::-;6011:7;6051:10;6044:5;6040:22;6029:33;;5975:93;;;:::o;6074:115::-;6159:23;6176:5;6159:23;:::i;:::-;6154:3;6147:36;6074:115;;:::o;6195:218::-;6286:4;6324:2;6313:9;6309:18;6301:26;;6337:69;6403:1;6392:9;6388:17;6379:6;6337:69;:::i;:::-;6195:218;;;;:::o;6419:149::-;6455:7;6495:66;6488:5;6484:78;6473:89;;6419:149;;;:::o;6574:115::-;6659:23;6676:5;6659:23;:::i;:::-;6654:3;6647:36;6574:115;;:::o;6695:114::-;6762:6;6796:5;6790:12;6780:22;;6695:114;;;:::o;6815:184::-;6914:11;6948:6;6943:3;6936:19;6988:4;6983:3;6979:14;6964:29;;6815:184;;;;:::o;7005:132::-;7072:4;7095:3;7087:11;;7125:4;7120:3;7116:14;7108:22;;7005:132;;;:::o;7143:108::-;7220:24;7238:5;7220:24;:::i;:::-;7215:3;7208:37;7143:108;;:::o;7257:179::-;7326:10;7347:46;7389:3;7381:6;7347:46;:::i;:::-;7425:4;7420:3;7416:14;7402:28;;7257:179;;;;:::o;7442:113::-;7512:4;7544;7539:3;7535:14;7527:22;;7442:113;;;:::o;7591:732::-;7710:3;7739:54;7787:5;7739:54;:::i;:::-;7809:86;7888:6;7883:3;7809:86;:::i;:::-;7802:93;;7919:56;7969:5;7919:56;:::i;:::-;7998:7;8029:1;8014:284;8039:6;8036:1;8033:13;8014:284;;;8115:6;8109:13;8142:63;8201:3;8186:13;8142:63;:::i;:::-;8135:70;;8228:60;8281:6;8228:60;:::i;:::-;8218:70;;8074:224;8061:1;8058;8054:9;8049:14;;8014:284;;;8018:14;8314:3;8307:10;;7715:608;;;7591:732;;;;:::o;8329:1215::-;8678:4;8716:3;8705:9;8701:19;8693:27;;8730:69;8796:1;8785:9;8781:17;8772:6;8730:69;:::i;:::-;8846:9;8840:4;8836:20;8831:2;8820:9;8816:18;8809:48;8874:78;8947:4;8938:6;8874:78;:::i;:::-;8866:86;;8999:9;8993:4;8989:20;8984:2;8973:9;8969:18;8962:48;9027:78;9100:4;9091:6;9027:78;:::i;:::-;9019:86;;9115:72;9183:2;9172:9;9168:18;9159:6;9115:72;:::i;:::-;9197:73;9265:3;9254:9;9250:19;9241:6;9197:73;:::i;:::-;9280;9348:3;9337:9;9333:19;9324:6;9280:73;:::i;:::-;9401:9;9395:4;9391:20;9385:3;9374:9;9370:19;9363:49;9429:108;9532:4;9523:6;9429:108;:::i;:::-;9421:116;;8329:1215;;;;;;;;;;:::o;9550:329::-;9609:6;9658:2;9646:9;9637:7;9633:23;9629:32;9626:119;;;9664:79;;:::i;:::-;9626:119;9784:1;9809:53;9854:7;9845:6;9834:9;9830:22;9809:53;:::i;:::-;9799:63;;9755:117;9550:329;;;;:::o;9885:97::-;9921:7;9961:14;9954:5;9950:26;9939:37;;9885:97;;;:::o;9988:115::-;10073:23;10090:5;10073:23;:::i;:::-;10068:3;10061:36;9988:115;;:::o;10109:218::-;10200:4;10238:2;10227:9;10223:18;10215:26;;10251:69;10317:1;10306:9;10302:17;10293:6;10251:69;:::i;:::-;10109:218;;;;:::o;10333:118::-;10404:22;10420:5;10404:22;:::i;:::-;10397:5;10394:33;10384:61;;10441:1;10438;10431:12;10384:61;10333:118;:::o;10457:135::-;10501:5;10539:6;10526:20;10517:29;;10555:31;10580:5;10555:31;:::i;:::-;10457:135;;;;:::o;10598:122::-;10671:24;10689:5;10671:24;:::i;:::-;10664:5;10661:35;10651:63;;10710:1;10707;10700:12;10651:63;10598:122;:::o;10726:139::-;10772:5;10810:6;10797:20;10788:29;;10826:33;10853:5;10826:33;:::i;:::-;10726:139;;;;:::o;10871:1053::-;10973:6;10981;10989;10997;11005;11013;11062:3;11050:9;11041:7;11037:23;11033:33;11030:120;;;11069:79;;:::i;:::-;11030:120;11189:1;11214:53;11259:7;11250:6;11239:9;11235:22;11214:53;:::i;:::-;11204:63;;11160:117;11316:2;11342:53;11387:7;11378:6;11367:9;11363:22;11342:53;:::i;:::-;11332:63;;11287:118;11444:2;11470:53;11515:7;11506:6;11495:9;11491:22;11470:53;:::i;:::-;11460:63;;11415:118;11572:2;11598:51;11641:7;11632:6;11621:9;11617:22;11598:51;:::i;:::-;11588:61;;11543:116;11698:3;11725:53;11770:7;11761:6;11750:9;11746:22;11725:53;:::i;:::-;11715:63;;11669:119;11827:3;11854:53;11899:7;11890:6;11879:9;11875:22;11854:53;:::i;:::-;11844:63;;11798:119;10871:1053;;;;;;;;:::o;11930:1199::-;12041:6;12049;12057;12065;12073;12081;12089;12138:3;12126:9;12117:7;12113:23;12109:33;12106:120;;;12145:79;;:::i;:::-;12106:120;12265:1;12290:53;12335:7;12326:6;12315:9;12311:22;12290:53;:::i;:::-;12280:63;;12236:117;12392:2;12418:53;12463:7;12454:6;12443:9;12439:22;12418:53;:::i;:::-;12408:63;;12363:118;12520:2;12546:53;12591:7;12582:6;12571:9;12567:22;12546:53;:::i;:::-;12536:63;;12491:118;12648:2;12674:53;12719:7;12710:6;12699:9;12695:22;12674:53;:::i;:::-;12664:63;;12619:118;12776:3;12803:51;12846:7;12837:6;12826:9;12822:22;12803:51;:::i;:::-;12793:61;;12747:117;12903:3;12930:53;12975:7;12966:6;12955:9;12951:22;12930:53;:::i;:::-;12920:63;;12874:119;13032:3;13059:53;13104:7;13095:6;13084:9;13080:22;13059:53;:::i;:::-;13049:63;;13003:119;11930:1199;;;;;;;;;;:::o;13135:474::-;13203:6;13211;13260:2;13248:9;13239:7;13235:23;13231:32;13228:119;;;13266:79;;:::i;:::-;13228:119;13386:1;13411:53;13456:7;13447:6;13436:9;13432:22;13411:53;:::i;:::-;13401:63;;13357:117;13513:2;13539:53;13584:7;13575:6;13564:9;13560:22;13539:53;:::i;:::-;13529:63;;13484:118;13135:474;;;;;:::o;13615:120::-;13687:23;13704:5;13687:23;:::i;:::-;13680:5;13677:34;13667:62;;13725:1;13722;13715:12;13667:62;13615:120;:::o;13741:137::-;13786:5;13824:6;13811:20;13802:29;;13840:32;13866:5;13840:32;:::i;:::-;13741:137;;;;:::o;13884:472::-;13951:6;13959;14008:2;13996:9;13987:7;13983:23;13979:32;13976:119;;;14014:79;;:::i;:::-;13976:119;14134:1;14159:53;14204:7;14195:6;14184:9;14180:22;14159:53;:::i;:::-;14149:63;;14105:117;14261:2;14287:52;14331:7;14322:6;14311:9;14307:22;14287:52;:::i;:::-;14277:62;;14232:117;13884:472;;;;;:::o;14362:105::-;14437:23;14454:5;14437:23;:::i;:::-;14432:3;14425:36;14362:105;;:::o;14473:142::-;14510:7;14550:58;14543:5;14539:70;14528:81;;14473:142;;;:::o;14621:108::-;14698:24;14716:5;14698:24;:::i;:::-;14693:3;14686:37;14621:108;;:::o;14803:517::-;14956:4;14951:3;14947:14;15048:4;15041:5;15037:16;15031:23;15067:61;15122:4;15117:3;15113:14;15099:12;15067:61;:::i;:::-;14971:167;15221:4;15214:5;15210:16;15204:23;15240:63;15297:4;15292:3;15288:14;15274:12;15240:63;:::i;:::-;15148:165;14925:395;14803:517;;:::o;15326:334::-;15475:4;15513:2;15502:9;15498:18;15490:26;;15526:127;15650:1;15639:9;15635:17;15626:6;15526:127;:::i;:::-;15326:334;;;;:::o;15666:180::-;15714:77;15711:1;15704:88;15811:4;15808:1;15801:15;15835:4;15832:1;15825:15;15852:320;15896:6;15933:1;15927:4;15923:12;15913:22;;15980:1;15974:4;15970:12;16001:18;15991:81;;16057:4;16049:6;16045:17;16035:27;;15991:81;16119:2;16111:6;16108:14;16088:18;16085:38;16082:84;;16138:18;;:::i;:::-;16082:84;15903:269;15852:320;;;:::o;16178:180::-;16226:77;16223:1;16216:88;16323:4;16320:1;16313:15;16347:4;16344:1;16337:15;16364:191;16404:3;16423:20;16441:1;16423:20;:::i;:::-;16418:25;;16457:20;16475:1;16457:20;:::i;:::-;16452:25;;16500:1;16497;16493:9;16486:16;;16521:3;16518:1;16515:10;16512:36;;;16528:18;;:::i;:::-;16512:36;16364:191;;;;:::o;16561:175::-;16701:27;16697:1;16689:6;16685:14;16678:51;16561:175;:::o;16742:366::-;16884:3;16905:67;16969:2;16964:3;16905:67;:::i;:::-;16898:74;;16981:93;17070:3;16981:93;:::i;:::-;17099:2;17094:3;17090:12;17083:19;;16742:366;;;:::o;17114:419::-;17280:4;17318:2;17307:9;17303:18;17295:26;;17367:9;17361:4;17357:20;17353:1;17342:9;17338:17;17331:47;17395:131;17521:4;17395:131;:::i;:::-;17387:139;;17114:419;;;:::o;17539:179::-;17679:31;17675:1;17667:6;17663:14;17656:55;17539:179;:::o;17724:366::-;17866:3;17887:67;17951:2;17946:3;17887:67;:::i;:::-;17880:74;;17963:93;18052:3;17963:93;:::i;:::-;18081:2;18076:3;18072:12;18065:19;;17724:366;;;:::o;18096:419::-;18262:4;18300:2;18289:9;18285:18;18277:26;;18349:9;18343:4;18339:20;18335:1;18324:9;18320:17;18313:47;18377:131;18503:4;18377:131;:::i;:::-;18369:139;;18096:419;;;:::o;18521:180::-;18569:77;18566:1;18559:88;18666:4;18663:1;18656:15;18690:4;18687:1;18680:15;18707:180;18755:77;18752:1;18745:88;18852:4;18849:1;18842:15;18876:4;18873:1;18866:15;18893:224;19033:34;19029:1;19021:6;19017:14;19010:58;19102:7;19097:2;19089:6;19085:15;19078:32;18893:224;:::o;19123:366::-;19265:3;19286:67;19350:2;19345:3;19286:67;:::i;:::-;19279:74;;19362:93;19451:3;19362:93;:::i;:::-;19480:2;19475:3;19471:12;19464:19;;19123:366;;;:::o;19495:419::-;19661:4;19699:2;19688:9;19684:18;19676:26;;19748:9;19742:4;19738:20;19734:1;19723:9;19719:17;19712:47;19776:131;19902:4;19776:131;:::i;:::-;19768:139;;19495:419;;;:::o;19920:179::-;20060:31;20056:1;20048:6;20044:14;20037:55;19920:179;:::o;20105:366::-;20247:3;20268:67;20332:2;20327:3;20268:67;:::i;:::-;20261:74;;20344:93;20433:3;20344:93;:::i;:::-;20462:2;20457:3;20453:12;20446:19;;20105:366;;;:::o;20477:419::-;20643:4;20681:2;20670:9;20666:18;20658:26;;20730:9;20724:4;20720:20;20716:1;20705:9;20701:17;20694:47;20758:131;20884:4;20758:131;:::i;:::-;20750:139;;20477:419;;;:::o;20902:553::-;21079:4;21117:3;21106:9;21102:19;21094:27;;21131:71;21199:1;21188:9;21184:17;21175:6;21131:71;:::i;:::-;21212:72;21280:2;21269:9;21265:18;21256:6;21212:72;:::i;:::-;21294;21362:2;21351:9;21347:18;21338:6;21294:72;:::i;:::-;21376;21444:2;21433:9;21429:18;21420:6;21376:72;:::i;:::-;20902:553;;;;;;;:::o;21461:175::-;21601:27;21597:1;21589:6;21585:14;21578:51;21461:175;:::o;21642:366::-;21784:3;21805:67;21869:2;21864:3;21805:67;:::i;:::-;21798:74;;21881:93;21970:3;21881:93;:::i;:::-;21999:2;21994:3;21990:12;21983:19;;21642:366;;;:::o;22014:419::-;22180:4;22218:2;22207:9;22203:18;22195:26;;22267:9;22261:4;22257:20;22253:1;22242:9;22238:17;22231:47;22295:131;22421:4;22295:131;:::i;:::-;22287:139;;22014:419;;;:::o;22439:179::-;22579:31;22575:1;22567:6;22563:14;22556:55;22439:179;:::o;22624:366::-;22766:3;22787:67;22851:2;22846:3;22787:67;:::i;:::-;22780:74;;22863:93;22952:3;22863:93;:::i;:::-;22981:2;22976:3;22972:12;22965:19;;22624:366;;;:::o;22996:419::-;23162:4;23200:2;23189:9;23185:18;23177:26;;23249:9;23243:4;23239:20;23235:1;23224:9;23220:17;23213:47;23277:131;23403:4;23277:131;:::i;:::-;23269:139;;22996:419;;;:::o;23421:775::-;23654:4;23692:3;23681:9;23677:19;23669:27;;23706:71;23774:1;23763:9;23759:17;23750:6;23706:71;:::i;:::-;23787:72;23855:2;23844:9;23840:18;23831:6;23787:72;:::i;:::-;23869;23937:2;23926:9;23922:18;23913:6;23869:72;:::i;:::-;23951;24019:2;24008:9;24004:18;23995:6;23951:72;:::i;:::-;24033:73;24101:3;24090:9;24086:19;24077:6;24033:73;:::i;:::-;24116;24184:3;24173:9;24169:19;24160:6;24116:73;:::i;:::-;23421:775;;;;;;;;;:::o;24202:180::-;24342:32;24338:1;24330:6;24326:14;24319:56;24202:180;:::o;24388:366::-;24530:3;24551:67;24615:2;24610:3;24551:67;:::i;:::-;24544:74;;24627:93;24716:3;24627:93;:::i;:::-;24745:2;24740:3;24736:12;24729:19;;24388:366;;;:::o;24760:419::-;24926:4;24964:2;24953:9;24949:18;24941:26;;25013:9;25007:4;25003:20;24999:1;24988:9;24984:17;24977:47;25041:131;25167:4;25041:131;:::i;:::-;25033:139;;24760:419;;;:::o;25185:225::-;25325:34;25321:1;25313:6;25309:14;25302:58;25394:8;25389:2;25381:6;25377:15;25370:33;25185:225;:::o;25416:366::-;25558:3;25579:67;25643:2;25638:3;25579:67;:::i;:::-;25572:74;;25655:93;25744:3;25655:93;:::i;:::-;25773:2;25768:3;25764:12;25757:19;;25416:366;;;:::o;25788:419::-;25954:4;25992:2;25981:9;25977:18;25969:26;;26041:9;26035:4;26031:20;26027:1;26016:9;26012:17;26005:47;26069:131;26195:4;26069:131;:::i;:::-;26061:139;;25788:419;;;:::o;26213:141::-;26262:4;26285:3;26277:11;;26308:3;26305:1;26298:14;26342:4;26339:1;26329:18;26321:26;;26213:141;;;:::o;26360:93::-;26397:6;26444:2;26439;26432:5;26428:14;26424:23;26414:33;;26360:93;;;:::o;26459:107::-;26503:8;26553:5;26547:4;26543:16;26522:37;;26459:107;;;;:::o;26572:393::-;26641:6;26691:1;26679:10;26675:18;26714:97;26744:66;26733:9;26714:97;:::i;:::-;26832:39;26862:8;26851:9;26832:39;:::i;:::-;26820:51;;26904:4;26900:9;26893:5;26889:21;26880:30;;26953:4;26943:8;26939:19;26932:5;26929:30;26919:40;;26648:317;;26572:393;;;;;:::o;26971:60::-;26999:3;27020:5;27013:12;;26971:60;;;:::o;27037:142::-;27087:9;27120:53;27138:34;27147:24;27165:5;27147:24;:::i;:::-;27138:34;:::i;:::-;27120:53;:::i;:::-;27107:66;;27037:142;;;:::o;27185:75::-;27228:3;27249:5;27242:12;;27185:75;;;:::o;27266:269::-;27376:39;27407:7;27376:39;:::i;:::-;27437:91;27486:41;27510:16;27486:41;:::i;:::-;27478:6;27471:4;27465:11;27437:91;:::i;:::-;27431:4;27424:105;27342:193;27266:269;;;:::o;27541:73::-;27586:3;27541:73;:::o;27620:189::-;27697:32;;:::i;:::-;27738:65;27796:6;27788;27782:4;27738:65;:::i;:::-;27673:136;27620:189;;:::o;27815:186::-;27875:120;27892:3;27885:5;27882:14;27875:120;;;27946:39;27983:1;27976:5;27946:39;:::i;:::-;27919:1;27912:5;27908:13;27899:22;;27875:120;;;27815:186;;:::o;28007:543::-;28108:2;28103:3;28100:11;28097:446;;;28142:38;28174:5;28142:38;:::i;:::-;28226:29;28244:10;28226:29;:::i;:::-;28216:8;28212:44;28409:2;28397:10;28394:18;28391:49;;;28430:8;28415:23;;28391:49;28453:80;28509:22;28527:3;28509:22;:::i;:::-;28499:8;28495:37;28482:11;28453:80;:::i;:::-;28112:431;;28097:446;28007:543;;;:::o;28556:117::-;28610:8;28660:5;28654:4;28650:16;28629:37;;28556:117;;;;:::o;28679:169::-;28723:6;28756:51;28804:1;28800:6;28792:5;28789:1;28785:13;28756:51;:::i;:::-;28752:56;28837:4;28831;28827:15;28817:25;;28730:118;28679:169;;;;:::o;28853:295::-;28929:4;29075:29;29100:3;29094:4;29075:29;:::i;:::-;29067:37;;29137:3;29134:1;29130:11;29124:4;29121:21;29113:29;;28853:295;;;;:::o;29153:1395::-;29270:37;29303:3;29270:37;:::i;:::-;29372:18;29364:6;29361:30;29358:56;;;29394:18;;:::i;:::-;29358:56;29438:38;29470:4;29464:11;29438:38;:::i;:::-;29523:67;29583:6;29575;29569:4;29523:67;:::i;:::-;29617:1;29641:4;29628:17;;29673:2;29665:6;29662:14;29690:1;29685:618;;;;30347:1;30364:6;30361:77;;;30413:9;30408:3;30404:19;30398:26;30389:35;;30361:77;30464:67;30524:6;30517:5;30464:67;:::i;:::-;30458:4;30451:81;30320:222;29655:887;;29685:618;29737:4;29733:9;29725:6;29721:22;29771:37;29803:4;29771:37;:::i;:::-;29830:1;29844:208;29858:7;29855:1;29852:14;29844:208;;;29937:9;29932:3;29928:19;29922:26;29914:6;29907:42;29988:1;29980:6;29976:14;29966:24;;30035:2;30024:9;30020:18;30007:31;;29881:4;29878:1;29874:12;29869:17;;29844:208;;;30080:6;30071:7;30068:19;30065:179;;;30138:9;30133:3;30129:19;30123:26;30181:48;30223:4;30215:6;30211:17;30200:9;30181:48;:::i;:::-;30173:6;30166:64;30088:156;30065:179;30290:1;30286;30278:6;30274:14;30270:22;30264:4;30257:36;29692:611;;;29655:887;;29245:1303;;;29153:1395;;:::o;30554:235::-;30694:34;30690:1;30682:6;30678:14;30671:58;30763:18;30758:2;30750:6;30746:15;30739:43;30554:235;:::o;30795:366::-;30937:3;30958:67;31022:2;31017:3;30958:67;:::i;:::-;30951:74;;31034:93;31123:3;31034:93;:::i;:::-;31152:2;31147:3;31143:12;31136:19;;30795:366;;;:::o;31167:419::-;31333:4;31371:2;31360:9;31356:18;31348:26;;31420:9;31414:4;31410:20;31406:1;31395:9;31391:17;31384:47;31448:131;31574:4;31448:131;:::i;:::-;31440:139;;31167:419;;;:::o;31592:181::-;31732:33;31728:1;31720:6;31716:14;31709:57;31592:181;:::o;31779:366::-;31921:3;31942:67;32006:2;32001:3;31942:67;:::i;:::-;31935:74;;32018:93;32107:3;32018:93;:::i;:::-;32136:2;32131:3;32127:12;32120:19;;31779:366;;;:::o;32151:419::-;32317:4;32355:2;32344:9;32340:18;32332:26;;32404:9;32398:4;32394:20;32390:1;32379:9;32375:17;32368:47;32432:131;32558:4;32432:131;:::i;:::-;32424:139;;32151:419;;;:::o;32576:226::-;32716:34;32712:1;32704:6;32700:14;32693:58;32785:9;32780:2;32772:6;32768:15;32761:34;32576:226;:::o;32808:366::-;32950:3;32971:67;33035:2;33030:3;32971:67;:::i;:::-;32964:74;;33047:93;33136:3;33047:93;:::i;:::-;33165:2;33160:3;33156:12;33149:19;;32808:366;;;:::o;33180:419::-;33346:4;33384:2;33373:9;33369:18;33361:26;;33433:9;33427:4;33423:20;33419:1;33408:9;33404:17;33397:47;33461:131;33587:4;33461:131;:::i;:::-;33453:139;;33180:419;;;:::o;33605:225::-;33745:34;33741:1;33733:6;33729:14;33722:58;33814:8;33809:2;33801:6;33797:15;33790:33;33605:225;:::o;33836:366::-;33978:3;33999:67;34063:2;34058:3;33999:67;:::i;:::-;33992:74;;34075:93;34164:3;34075:93;:::i;:::-;34193:2;34188:3;34184:12;34177:19;;33836:366;;;:::o;34208:419::-;34374:4;34412:2;34401:9;34397:18;34389:26;;34461:9;34455:4;34451:20;34447:1;34436:9;34432:17;34425:47;34489:131;34615:4;34489:131;:::i;:::-;34481:139;;34208:419;;;:::o;34633:225::-;34773:34;34769:1;34761:6;34757:14;34750:58;34842:8;34837:2;34829:6;34825:15;34818:33;34633:225;:::o;34864:366::-;35006:3;35027:67;35091:2;35086:3;35027:67;:::i;:::-;35020:74;;35103:93;35192:3;35103:93;:::i;:::-;35221:2;35216:3;35212:12;35205:19;;34864:366;;;:::o;35236:419::-;35402:4;35440:2;35429:9;35425:18;35417:26;;35489:9;35483:4;35479:20;35475:1;35464:9;35460:17;35453:47;35517:131;35643:4;35517:131;:::i;:::-;35509:139;;35236:419;;;:::o;35661:194::-;35701:4;35721:20;35739:1;35721:20;:::i;:::-;35716:25;;35755:20;35773:1;35755:20;:::i;:::-;35750:25;;35799:1;35796;35792:9;35784:17;;35823:1;35817:4;35814:11;35811:37;;;35828:18;;:::i;:::-;35811:37;35661:194;;;;:::o;35861:223::-;36001:34;35997:1;35989:6;35985:14;35978:58;36070:6;36065:2;36057:6;36053:15;36046:31;35861:223;:::o;36090:366::-;36232:3;36253:67;36317:2;36312:3;36253:67;:::i;:::-;36246:74;;36329:93;36418:3;36329:93;:::i;:::-;36447:2;36442:3;36438:12;36431:19;;36090:366;;;:::o;36462:419::-;36628:4;36666:2;36655:9;36651:18;36643:26;;36715:9;36709:4;36705:20;36701:1;36690:9;36686:17;36679:47;36743:131;36869:4;36743:131;:::i;:::-;36735:139;;36462:419;;;:::o;36887:221::-;37027:34;37023:1;37015:6;37011:14;37004:58;37096:4;37091:2;37083:6;37079:15;37072:29;36887:221;:::o;37114:366::-;37256:3;37277:67;37341:2;37336:3;37277:67;:::i;:::-;37270:74;;37353:93;37442:3;37353:93;:::i;:::-;37471:2;37466:3;37462:12;37455:19;;37114:366;;;:::o;37486:419::-;37652:4;37690:2;37679:9;37675:18;37667:26;;37739:9;37733:4;37729:20;37725:1;37714:9;37710:17;37703:47;37767:131;37893:4;37767:131;:::i;:::-;37759:139;;37486:419;;;:::o;37911:179::-;38051:31;38047:1;38039:6;38035:14;38028:55;37911:179;:::o;38096:366::-;38238:3;38259:67;38323:2;38318:3;38259:67;:::i;:::-;38252:74;;38335:93;38424:3;38335:93;:::i;:::-;38453:2;38448:3;38444:12;38437:19;;38096:366;;;:::o;38468:419::-;38634:4;38672:2;38661:9;38657:18;38649:26;;38721:9;38715:4;38711:20;38707:1;38696:9;38692:17;38685:47;38749:131;38875:4;38749:131;:::i;:::-;38741:139;;38468:419;;;:::o;38893:224::-;39033:34;39029:1;39021:6;39017:14;39010:58;39102:7;39097:2;39089:6;39085:15;39078:32;38893:224;:::o;39123:366::-;39265:3;39286:67;39350:2;39345:3;39286:67;:::i;:::-;39279:74;;39362:93;39451:3;39362:93;:::i;:::-;39480:2;39475:3;39471:12;39464:19;;39123:366;;;:::o;39495:419::-;39661:4;39699:2;39688:9;39684:18;39676:26;;39748:9;39742:4;39738:20;39734:1;39723:9;39719:17;39712:47;39776:131;39902:4;39776:131;:::i;:::-;39768:139;;39495:419;;;:::o;39920:222::-;40060:34;40056:1;40048:6;40044:14;40037:58;40129:5;40124:2;40116:6;40112:15;40105:30;39920:222;:::o;40148:366::-;40290:3;40311:67;40375:2;40370:3;40311:67;:::i;:::-;40304:74;;40387:93;40476:3;40387:93;:::i;:::-;40505:2;40500:3;40496:12;40489:19;;40148:366;;;:::o;40520:419::-;40686:4;40724:2;40713:9;40709:18;40701:26;;40773:9;40767:4;40763:20;40759:1;40748:9;40744:17;40737:47;40801:131;40927:4;40801:131;:::i;:::-;40793:139;;40520:419;;;:::o;40945:225::-;41085:34;41081:1;41073:6;41069:14;41062:58;41154:8;41149:2;41141:6;41137:15;41130:33;40945:225;:::o;41176:366::-;41318:3;41339:67;41403:2;41398:3;41339:67;:::i;:::-;41332:74;;41415:93;41504:3;41415:93;:::i;:::-;41533:2;41528:3;41524:12;41517:19;;41176:366;;;:::o;41548:419::-;41714:4;41752:2;41741:9;41737:18;41729:26;;41801:9;41795:4;41791:20;41787:1;41776:9;41772:17;41765:47;41829:131;41955:4;41829:131;:::i;:::-;41821:139;;41548:419;;;:::o;41973:182::-;42113:34;42109:1;42101:6;42097:14;42090:58;41973:182;:::o;42161:366::-;42303:3;42324:67;42388:2;42383:3;42324:67;:::i;:::-;42317:74;;42400:93;42489:3;42400:93;:::i;:::-;42518:2;42513:3;42509:12;42502:19;;42161:366;;;:::o;42533:419::-;42699:4;42737:2;42726:9;42722:18;42714:26;;42786:9;42780:4;42776:20;42772:1;42761:9;42757:17;42750:47;42814:131;42940:4;42814:131;:::i;:::-;42806:139;;42533:419;;;:::o;42958:98::-;43009:6;43043:5;43037:12;43027:22;;42958:98;;;:::o;43062:116::-;43113:4;43136:3;43128:11;;43166:4;43161:3;43157:14;43149:22;;43062:116;;;:::o;43184:154::-;43227:11;43263:29;43287:3;43281:10;43263:29;:::i;:::-;43326:5;43302:29;;43239:99;43184:154;;;:::o;43344:594::-;43428:5;43459:38;43491:5;43459:38;:::i;:::-;43522:5;43549:40;43583:5;43549:40;:::i;:::-;43537:52;;43608:35;43634:8;43608:35;:::i;:::-;43599:44;;43667:2;43659:6;43656:14;43653:278;;;43738:169;43823:66;43793:6;43789:2;43785:15;43782:1;43778:23;43738:169;:::i;:::-;43715:5;43694:227;43685:236;;43653:278;43434:504;;43344:594;;;:::o;43944:332::-;44065:4;44103:2;44092:9;44088:18;44080:26;;44116:71;44184:1;44173:9;44169:17;44160:6;44116:71;:::i;:::-;44197:72;44265:2;44254:9;44250:18;44241:6;44197:72;:::i;:::-;43944:332;;;;;:::o;44282:664::-;44487:4;44525:3;44514:9;44510:19;44502:27;;44539:71;44607:1;44596:9;44592:17;44583:6;44539:71;:::i;:::-;44620:72;44688:2;44677:9;44673:18;44664:6;44620:72;:::i;:::-;44702;44770:2;44759:9;44755:18;44746:6;44702:72;:::i;:::-;44784;44852:2;44841:9;44837:18;44828:6;44784:72;:::i;:::-;44866:73;44934:3;44923:9;44919:19;44910:6;44866:73;:::i;:::-;44282:664;;;;;;;;:::o;44952:180::-;45000:77;44997:1;44990:88;45097:4;45094:1;45087:15;45121:4;45118:1;45111:15;45138:185;45178:1;45195:20;45213:1;45195:20;:::i;:::-;45190:25;;45229:20;45247:1;45229:20;:::i;:::-;45224:25;;45268:1;45258:35;;45273:18;;:::i;:::-;45258:35;45315:1;45312;45308:9;45303:14;;45138:185;;;;:::o;45329:545::-;45502:4;45540:3;45529:9;45525:19;45517:27;;45554:71;45622:1;45611:9;45607:17;45598:6;45554:71;:::i;:::-;45635:68;45699:2;45688:9;45684:18;45675:6;45635:68;:::i;:::-;45713:72;45781:2;45770:9;45766:18;45757:6;45713:72;:::i;:::-;45795;45863:2;45852:9;45848:18;45839:6;45795:72;:::i;:::-;45329:545;;;;;;;:::o;45880:180::-;45928:77;45925:1;45918:88;46025:4;46022:1;46015:15;46049:4;46046:1;46039:15;46066:174;46206:26;46202:1;46194:6;46190:14;46183:50;46066:174;:::o;46246:366::-;46388:3;46409:67;46473:2;46468:3;46409:67;:::i;:::-;46402:74;;46485:93;46574:3;46485:93;:::i;:::-;46603:2;46598:3;46594:12;46587:19;;46246:366;;;:::o;46618:419::-;46784:4;46822:2;46811:9;46807:18;46799:26;;46871:9;46865:4;46861:20;46857:1;46846:9;46842:17;46835:47;46899:131;47025:4;46899:131;:::i;:::-;46891:139;;46618:419;;;:::o;47043:181::-;47183:33;47179:1;47171:6;47167:14;47160:57;47043:181;:::o;47230:366::-;47372:3;47393:67;47457:2;47452:3;47393:67;:::i;:::-;47386:74;;47469:93;47558:3;47469:93;:::i;:::-;47587:2;47582:3;47578:12;47571:19;;47230:366;;;:::o;47602:419::-;47768:4;47806:2;47795:9;47791:18;47783:26;;47855:9;47849:4;47845:20;47841:1;47830:9;47826:17;47819:47;47883:131;48009:4;47883:131;:::i;:::-;47875:139;;47602:419;;;:::o;48027:221::-;48167:34;48163:1;48155:6;48151:14;48144:58;48236:4;48231:2;48223:6;48219:15;48212:29;48027:221;:::o;48254:366::-;48396:3;48417:67;48481:2;48476:3;48417:67;:::i;:::-;48410:74;;48493:93;48582:3;48493:93;:::i;:::-;48611:2;48606:3;48602:12;48595:19;;48254:366;;;:::o;48626:419::-;48792:4;48830:2;48819:9;48815:18;48807:26;;48879:9;48873:4;48869:20;48865:1;48854:9;48850:17;48843:47;48907:131;49033:4;48907:131;:::i;:::-;48899:139;;48626:419;;;:::o

ipfs://9fb0e7b64403725b48071fae8d0abcf2cf87821308586eb88d55609957de9af3