Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeCast
•    - function toUint248(uint256 value)
•    - function toUint240(uint256 value)
•    - function toUint232(uint256 value)
•    - function toUint224(uint256 value)
•    - function toUint216(uint256 value)
•    - function toUint208(uint256 value)
•    - function toUint200(uint256 value)
•    - function toUint192(uint256 value)
•    - function toUint184(uint256 value)
•    - function toUint176(uint256 value)
•    - function toUint168(uint256 value)
•    - function toUint160(uint256 value)
•    - function toUint152(uint256 value)
•    - function toUint144(uint256 value)
•    - function toUint136(uint256 value)
•    - function toUint128(uint256 value)
•    - function toUint120(uint256 value)
•    - function toUint112(uint256 value)
•    - function toUint104(uint256 value)
•    - function toUint96(uint256 value)
•    - function toUint88(uint256 value)
•    - function toUint80(uint256 value)
•    - function toUint72(uint256 value)
•    - function toUint64(uint256 value)
•    - function toUint56(uint256 value)
•    - function toUint48(uint256 value)
•    - function toUint40(uint256 value)
•    - function toUint32(uint256 value)
•    - function toUint24(uint256 value)
•    - function toUint16(uint256 value)
•    - function toUint8(uint256 value)
•    - function toUint256(int256 value)
•    - function toInt248(int256 value)
•    - function toInt240(int256 value)
•    - function toInt232(int256 value)
•    - function toInt224(int256 value)
•    - function toInt216(int256 value)
•    - function toInt208(int256 value)
•    - function toInt200(int256 value)
•    - function toInt192(int256 value)
•    - function toInt184(int256 value)
•    - function toInt176(int256 value)
•    - function toInt168(int256 value)
•    - function toInt160(int256 value)
•    - function toInt152(int256 value)
•    - function toInt144(int256 value)
•    - function toInt136(int256 value)
•    - function toInt128(int256 value)
•    - function toInt120(int256 value)
•    - function toInt112(int256 value)
•    - function toInt104(int256 value)
•    - function toInt96(int256 value)
•    - function toInt88(int256 value)
•    - function toInt80(int256 value)
•    - function toInt72(int256 value)
•    - function toInt64(int256 value)
•    - function toInt56(int256 value)
•    - function toInt48(int256 value)
•    - function toInt40(int256 value)
•    - function toInt32(int256 value)
•    - function toInt24(int256 value)
•    - function toInt16(int256 value)
•    - function toInt8(int256 value)
•    - function toInt256(uint256 value)
• interface IVotes
•    - function getVotes(address account)
•    - function getPastVotes(address account ...
•    - function getPastTotalSupply(uint256 b ...
•    - function delegates(address account)
•    - function delegate(address delegatee)
•    - function delegateBySig(
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• library Counters
•    - function current(Counter storage coun ...
•    - function increment(Counter storage co ...
•    - function decrement(Counter storage co ...
•    - function reset(Counter storage counte ...
• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
•    - function ceilDiv(uint256 a, uint256 b ...
•    - function mulDiv(
•    - function mulDiv(
•    - function sqrt(uint256 a)
•    - function sqrt(uint256 a, Rounding rou ...
•    - function log2(uint256 value)
•    - function log2(uint256 value, Rounding ...
•    - function log10(uint256 value)
•    - function log10(uint256 value, Roundin ...
•    - function log256(uint256 value)
•    - function log256(uint256 value, Roundi ...
• library Strings
•    - function toString(uint256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function toHexString(address addr)
• library ECDSA
•    - function _throwError(RecoverError err ...
•    - function tryRecover(bytes32 hash, byt ...
•    - function recover(bytes32 hash, bytes ...
•    - function tryRecover(
•    - function recover(
•    - function tryRecover(
•    - function recover(
•    - function toEthSignedMessageHash(bytes ...
•    - function toEthSignedMessageHash(bytes ...
•    - function toTypedDataHash(bytes32 doma ...
•    - function _domainSeparatorV4()
•    - function _buildDomainSeparator(
•    - function _hashTypedDataV4(bytes32 str ...
• library StorageSlot
•    - function getAddressSlot(bytes32 slot)
•    - function getBooleanSlot(bytes32 slot)
•    - function getBytes32Slot(bytes32 slot)
•    - function getUint256Slot(bytes32 slot)
• library Arrays
•    - function findUpperBound(uint256[] sto ...
•    - function unsafeAccess(address[] stora ...
•    - function unsafeAccess(bytes32[] stora ...
•    - function unsafeAccess(uint256[] stora ...
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _spendAllowance(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
•    - function _useNonce(address owner)
•    - function checkpoints(address account, ...
•    - function numCheckpoints(address accou ...
•    - function delegates(address account)
•    - function getVotes(address account)
•    - function getPastVotes(address account ...
•    - function getPastTotalSupply(uint256 b ...
•    - function _checkpointsLookup(Checkpoin ...
•    - function delegate(address delegatee)
•    - function delegateBySig(
•    - function _maxSupply()
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _afterTokenTransfer(
•    - function _delegate(address delegator, ...
•    - function _moveVotingPower(
•    - function _writeCheckpoint(
•    - function(uint256, uint256)
•    - function _add(uint256 a, uint256 b)
•    - function _subtract(uint256 a, uint256 ...
•    - function _unsafeAccess(Checkpoint[] s ...
•    - function _snapshot()
•    - function _getCurrentSnapshotId()
•    - function balanceOfAt(address account, ...
•    - function totalSupplyAt(uint256 snapsh ...
•    - function _beforeTokenTransfer(
•    - function _valueAt(uint256 snapshotId, ...
•    - function _updateAccountSnapshot(addre ...
•    - function _updateTotalSupplySnapshot()
•    - function _updateSnapshot(Snapshots st ...
•    - function _lastSnapshotId(uint256[] st ...
•    - function burn(uint256 amount)
•    - function burnFrom(address account, ui ...
•  contract HedgeUp is ERC20, ERC20Bu ... *
•    - function snapshot()
•    - function _beforeTokenTransfer(address ...
•    - function _afterTokenTransfer(address ...
•    - function _mint(address to, uint256 am ...
•    - function _burn(address account, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-12-20
*/

// SPDX-License-Identifier: MIT
// File: @openzeppelin/[email protected]/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/[email protected]/governance/utils/IVotes.sol


// OpenZeppelin Contracts (last updated v4.5.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 the end of a past block (`blockNumber`).
     */
    function getPastVotes(address account, uint256 blockNumber) external view returns (uint256);

    /**
     * @dev Returns the total supply of votes available at the end of a past block (`blockNumber`).
     *
     * 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 blockNumber) 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/[email protected]/token/ERC20/extensions/draft-IERC20Permit.sol


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

pragma solidity ^0.8.0;

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

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

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

// File: @openzeppelin/[email protected]/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/[email protected]/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v4.8.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) {
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1);

            ///////////////////////////////////////////////
            // 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 10, 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 * 8) < value ? 1 : 0);
        }
    }
}

// File: @openzeppelin/[email protected]/utils/Strings.sol


// OpenZeppelin Contracts (last updated v4.8.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 `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);
    }
}

// File: @openzeppelin/[email protected]/utils/cryptography/ECDSA.sol


// OpenZeppelin Contracts (last updated v4.8.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) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

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

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

// File: @openzeppelin/[email protected]/utils/cryptography/EIP712.sol


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

pragma solidity ^0.8.0;


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

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

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

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

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

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

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

// File: @openzeppelin/[email protected]/utils/StorageSlot.sol


// OpenZeppelin Contracts (last updated v4.7.0) (utils/StorageSlot.sol)

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:
 * ```
 * 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`, and `uint256`._
 */
library StorageSlot {
    struct AddressSlot {
        address value;
    }

    struct BooleanSlot {
        bool value;
    }

    struct Bytes32Slot {
        bytes32 value;
    }

    struct Uint256Slot {
        uint256 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
        }
    }
}

// File: @openzeppelin/[email protected]/utils/Arrays.sol


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

pragma solidity ^0.8.0;



/**
 * @dev Collection of functions related to array types.
 */
library Arrays {
    using StorageSlot for bytes32;

    /**
     * @dev Searches a sorted `array` and returns the first index that contains
     * a value greater or equal to `element`. If no such index exists (i.e. all
     * values in the array are strictly less than `element`), the array length is
     * returned. Time complexity O(log n).
     *
     * `array` is expected to be sorted in ascending order, and to contain no
     * repeated elements.
     */
    function findUpperBound(uint256[] storage array, uint256 element) internal view returns (uint256) {
        if (array.length == 0) {
            return 0;
        }

        uint256 low = 0;
        uint256 high = array.length;

        while (low < high) {
            uint256 mid = Math.average(low, high);

            // Note that mid will always be strictly less than high (i.e. it will be a valid array index)
            // because Math.average rounds down (it does integer division with truncation).
            if (unsafeAccess(array, mid).value > element) {
                high = mid;
            } else {
                low = mid + 1;
            }
        }

        // At this point `low` is the exclusive upper bound. We will return the inclusive upper bound.
        if (low > 0 && unsafeAccess(array, low - 1).value == element) {
            return low - 1;
        } else {
            return low;
        }
    }

    /**
     * @dev Access an array in an "unsafe" way. Skips solidity "index-out-of-range" check.
     *
     * WARNING: Only use if you are certain `pos` is lower than the array length.
     */
    function unsafeAccess(address[] storage arr, uint256 pos) internal pure returns (StorageSlot.AddressSlot storage) {
        bytes32 slot;
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0, arr.slot)
            slot := add(keccak256(0, 0x20), pos)
        }
        return slot.getAddressSlot();
    }

    /**
     * @dev Access an array in an "unsafe" way. Skips solidity "index-out-of-range" check.
     *
     * WARNING: Only use if you are certain `pos` is lower than the array length.
     */
    function unsafeAccess(bytes32[] storage arr, uint256 pos) internal pure returns (StorageSlot.Bytes32Slot storage) {
        bytes32 slot;
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0, arr.slot)
            slot := add(keccak256(0, 0x20), pos)
        }
        return slot.getBytes32Slot();
    }

    /**
     * @dev Access an array in an "unsafe" way. Skips solidity "index-out-of-range" check.
     *
     * WARNING: Only use if you are certain `pos` is lower than the array length.
     */
    function unsafeAccess(uint256[] storage arr, uint256 pos) internal pure returns (StorageSlot.Uint256Slot storage) {
        bytes32 slot;
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0, arr.slot)
            slot := add(keccak256(0, 0x20), pos)
        }
        return slot.getUint256Slot();
    }
}

// File: @openzeppelin/[email protected]/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/[email protected]/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.7.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 anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing 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/[email protected]/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.6.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/[email protected]/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/[email protected]/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v4.8.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].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `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/[email protected]/token/ERC20/extensions/draft-ERC20Permit.sol


// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/extensions/draft-ERC20Permit.sol)

pragma solidity ^0.8.0;






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

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

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private 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/[email protected]/token/ERC20/extensions/ERC20Votes.sol


// OpenZeppelin Contracts (last updated v4.8.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 IVotes, ERC20Permit {
    struct Checkpoint {
        uint32 fromBlock;
        uint224 votes;
    }

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

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

    /**
     * @dev 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;
        return pos == 0 ? 0 : _checkpoints[account][pos - 1].votes;
    }

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

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

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

        uint256 low = 0;
        uint256 high = length;

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

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

        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;

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

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

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

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

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

    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: @openzeppelin/[email protected]/token/ERC20/extensions/ERC20Snapshot.sol


// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC20/extensions/ERC20Snapshot.sol)

pragma solidity ^0.8.0;




/**
 * @dev This contract extends an ERC20 token with a snapshot mechanism. When a snapshot is created, the balances and
 * total supply at the time are recorded for later access.
 *
 * This can be used to safely create mechanisms based on token balances such as trustless dividends or weighted voting.
 * In naive implementations it's possible to perform a "double spend" attack by reusing the same balance from different
 * accounts. By using snapshots to calculate dividends or voting power, those attacks no longer apply. It can also be
 * used to create an efficient ERC20 forking mechanism.
 *
 * Snapshots are created by the internal {_snapshot} function, which will emit the {Snapshot} event and return a
 * snapshot id. To get the total supply at the time of a snapshot, call the function {totalSupplyAt} with the snapshot
 * id. To get the balance of an account at the time of a snapshot, call the {balanceOfAt} function with the snapshot id
 * and the account address.
 *
 * NOTE: Snapshot policy can be customized by overriding the {_getCurrentSnapshotId} method. For example, having it
 * return `block.number` will trigger the creation of snapshot at the beginning of each new block. When overriding this
 * function, be careful about the monotonicity of its result. Non-monotonic snapshot ids will break the contract.
 *
 * Implementing snapshots for every block using this method will incur significant gas costs. For a gas-efficient
 * alternative consider {ERC20Votes}.
 *
 * ==== Gas Costs
 *
 * Snapshots are efficient. Snapshot creation is _O(1)_. Retrieval of balances or total supply from a snapshot is _O(log
 * n)_ in the number of snapshots that have been created, although _n_ for a specific account will generally be much
 * smaller since identical balances in subsequent snapshots are stored as a single entry.
 *
 * There is a constant overhead for normal ERC20 transfers due to the additional snapshot bookkeeping. This overhead is
 * only significant for the first transfer that immediately follows a snapshot for a particular account. Subsequent
 * transfers will have normal cost until the next snapshot, and so on.
 */

abstract contract ERC20Snapshot is ERC20 {
    // Inspired by Jordi Baylina's MiniMeToken to record historical balances:
    // https://github.com/Giveth/minime/blob/ea04d950eea153a04c51fa510b068b9dded390cb/contracts/MiniMeToken.sol

    using Arrays for uint256[];
    using Counters for Counters.Counter;

    // Snapshotted values have arrays of ids and the value corresponding to that id. These could be an array of a
    // Snapshot struct, but that would impede usage of functions that work on an array.
    struct Snapshots {
        uint256[] ids;
        uint256[] values;
    }

    mapping(address => Snapshots) private _accountBalanceSnapshots;
    Snapshots private _totalSupplySnapshots;

    // Snapshot ids increase monotonically, with the first value being 1. An id of 0 is invalid.
    Counters.Counter private _currentSnapshotId;

    /**
     * @dev Emitted by {_snapshot} when a snapshot identified by `id` is created.
     */
    event Snapshot(uint256 id);

    /**
     * @dev Creates a new snapshot and returns its snapshot id.
     *
     * Emits a {Snapshot} event that contains the same id.
     *
     * {_snapshot} is `internal` and you have to decide how to expose it externally. Its usage may be restricted to a
     * set of accounts, for example using {AccessControl}, or it may be open to the public.
     *
     * [WARNING]
     * ====
     * While an open way of calling {_snapshot} is required for certain trust minimization mechanisms such as forking,
     * you must consider that it can potentially be used by attackers in two ways.
     *
     * First, it can be used to increase the cost of retrieval of values from snapshots, although it will grow
     * logarithmically thus rendering this attack ineffective in the long term. Second, it can be used to target
     * specific accounts and increase the cost of ERC20 transfers for them, in the ways specified in the Gas Costs
     * section above.
     *
     * We haven't measured the actual numbers; if this is something you're interested in please reach out to us.
     * ====
     */
    function _snapshot() internal virtual returns (uint256) {
        _currentSnapshotId.increment();

        uint256 currentId = _getCurrentSnapshotId();
        emit Snapshot(currentId);
        return currentId;
    }

    /**
     * @dev Get the current snapshotId
     */
    function _getCurrentSnapshotId() internal view virtual returns (uint256) {
        return _currentSnapshotId.current();
    }

    /**
     * @dev Retrieves the balance of `account` at the time `snapshotId` was created.
     */
    function balanceOfAt(address account, uint256 snapshotId) public view virtual returns (uint256) {
        (bool snapshotted, uint256 value) = _valueAt(snapshotId, _accountBalanceSnapshots[account]);

        return snapshotted ? value : balanceOf(account);
    }

    /**
     * @dev Retrieves the total supply at the time `snapshotId` was created.
     */
    function totalSupplyAt(uint256 snapshotId) public view virtual returns (uint256) {
        (bool snapshotted, uint256 value) = _valueAt(snapshotId, _totalSupplySnapshots);

        return snapshotted ? value : totalSupply();
    }

    // Update balance and/or total supply snapshots before the values are modified. This is implemented
    // in the _beforeTokenTransfer hook, which is executed for _mint, _burn, and _transfer operations.
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._beforeTokenTransfer(from, to, amount);

        if (from == address(0)) {
            // mint
            _updateAccountSnapshot(to);
            _updateTotalSupplySnapshot();
        } else if (to == address(0)) {
            // burn
            _updateAccountSnapshot(from);
            _updateTotalSupplySnapshot();
        } else {
            // transfer
            _updateAccountSnapshot(from);
            _updateAccountSnapshot(to);
        }
    }

    function _valueAt(uint256 snapshotId, Snapshots storage snapshots) private view returns (bool, uint256) {
        require(snapshotId > 0, "ERC20Snapshot: id is 0");
        require(snapshotId <= _getCurrentSnapshotId(), "ERC20Snapshot: nonexistent id");

        // When a valid snapshot is queried, there are three possibilities:
        //  a) The queried value was not modified after the snapshot was taken. Therefore, a snapshot entry was never
        //  created for this id, and all stored snapshot ids are smaller than the requested one. The value that corresponds
        //  to this id is the current one.
        //  b) The queried value was modified after the snapshot was taken. Therefore, there will be an entry with the
        //  requested id, and its value is the one to return.
        //  c) More snapshots were created after the requested one, and the queried value was later modified. There will be
        //  no entry for the requested id: the value that corresponds to it is that of the smallest snapshot id that is
        //  larger than the requested one.
        //
        // In summary, we need to find an element in an array, returning the index of the smallest value that is larger if
        // it is not found, unless said value doesn't exist (e.g. when all values are smaller). Arrays.findUpperBound does
        // exactly this.

        uint256 index = snapshots.ids.findUpperBound(snapshotId);

        if (index == snapshots.ids.length) {
            return (false, 0);
        } else {
            return (true, snapshots.values[index]);
        }
    }

    function _updateAccountSnapshot(address account) private {
        _updateSnapshot(_accountBalanceSnapshots[account], balanceOf(account));
    }

    function _updateTotalSupplySnapshot() private {
        _updateSnapshot(_totalSupplySnapshots, totalSupply());
    }

    function _updateSnapshot(Snapshots storage snapshots, uint256 currentValue) private {
        uint256 currentId = _getCurrentSnapshotId();
        if (_lastSnapshotId(snapshots.ids) < currentId) {
            snapshots.ids.push(currentId);
            snapshots.values.push(currentValue);
        }
    }

    function _lastSnapshotId(uint256[] storage ids) private view returns (uint256) {
        if (ids.length == 0) {
            return 0;
        } else {
            return ids[ids.length - 1];
        }
    }
}

// File: @openzeppelin/[email protected]/token/ERC20/extensions/ERC20Burnable.sol


// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/extensions/ERC20Burnable.sol)

pragma solidity ^0.8.0;



/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        _spendAllowance(account, _msgSender(), amount);
        _burn(account, amount);
    }
}

// File: contract-9146645bf0.sol


pragma solidity ^0.8.9;







/// @custom:security-contact [email protected]
contract HedgeUp is ERC20, ERC20Burnable, ERC20Snapshot, Ownable, ERC20Permit, ERC20Votes {
    constructor() ERC20("HedgeUp", "HDUP") ERC20Permit("HedgeUp") {
        _mint(msg.sender, 620000000 * 10 ** decimals());
    }

    function snapshot() public onlyOwner {
        _snapshot();
    }

    // The following functions are overrides required by Solidity.

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

    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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Snapshot","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"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":"uint256","name":"snapshotId","type":"uint256"}],"name":"balanceOfAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint32","name":"pos","type":"uint32"}],"name":"checkpoints","outputs":[{"components":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint224","name":"votes","type":"uint224"}],"internalType":"struct ERC20Votes.Checkpoint","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPastVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getVotes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"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":"snapshot","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":"uint256","name":"snapshotId","type":"uint256"}],"name":"totalSupplyAt","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"}]

6101406040523480156200001257600080fd5b506040518060400160405280600781526020017f4865646765557000000000000000000000000000000000000000000000000000815250806040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152506040518060400160405280600781526020017f48656467655570000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f48445550000000000000000000000000000000000000000000000000000000008152508160039081620000fd919062001235565b5080600490816200010f919062001235565b50505062000132620001266200022b60201b60201c565b6200023360201b60201c565b60008280519060200120905060008280519060200120905060007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f90508260e081815250508161010081815250504660a081815250506200019b818484620002f960201b60201c565b608081815250503073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff16815250508061012081815250505050505050506200022533620001fa6200033560201b60201c565b600a620002089190620014ac565b6324f47300620002199190620014fd565b6200033e60201b60201c565b62001950565b600033905090565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6000838383463060405160200162000316959493929190620015b9565b6040516020818303038152906040528051906020012090509392505050565b60006012905090565b6200035582826200035960201b620011a21760201c565b5050565b6200037082826200041760201b6200122f1760201c565b620003806200058460201b60201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16620003ae620005a860201b60201c565b1115620003f2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003e9906200169d565b60405180910390fd5b62000411600e620005b260201b620013851783620005ca60201b60201c565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000489576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000480906200170f565b60405180910390fd5b6200049d60008383620008d760201b60201c565b8060026000828254620004b1919062001731565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200056491906200176c565b60405180910390a36200058060008383620008f460201b60201c565b5050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b6000600254905090565b60008183620005c2919062001731565b905092915050565b6000806000858054905090506000808214620006a5576200060087600184620005f4919062001789565b6200091160201b60201c565b6040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050620006e1565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505b905080602001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1693506200071484868860201c565b925060008211801562000730575043816000015163ffffffff16145b15620007c3576200074c836200092660201b6200139b1760201c565b6200076c8860018562000760919062001789565b6200091160201b60201c565b60000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550620008cd565b866040518060400160405280620007e5436200099460201b620014061760201c565b63ffffffff16815260200162000806866200092660201b6200139b1760201c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b5050935093915050565b620008ef838383620009ea60201b620014591760201c565b505050565b6200090c83838362000ae360201b620015111760201c565b505050565b60008260005281602060002001905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156200098c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000983906200183a565b60405180910390fd5b819050919050565b600063ffffffff8016821115620009e2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620009d990620018d2565b60405180910390fd5b819050919050565b62000a0283838362000b3360201b6200153c1760201c565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160362000a5e5762000a488262000b3860201b60201c565b62000a5862000b9b60201b60201c565b62000ade565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000aba5762000aa48362000b3860201b60201c565b62000ab462000b9b60201b60201c565b62000add565b62000acb8362000b3860201b60201c565b62000adc8262000b3860201b60201c565b5b5b505050565b62000afb83838362000bbf60201b620015411760201c565b62000b2e62000b108462000bc460201b60201c565b62000b218462000bc460201b60201c565b8362000c2d60201b60201c565b505050565b505050565b62000b98600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002062000b8c8362000e5060201b60201c565b62000e9860201b60201c565b50565b62000bbd600662000bb1620005a860201b60201c565b62000e9860201b60201c565b565b505050565b6000600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801562000c6a5750600081115b1562000e4b57600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161462000d5d5760008062000d04600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002062000f2460201b620015461785620005ca60201b60201c565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000d52929190620018f4565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161462000e4a5760008062000df1600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020620005b260201b620013851785620005ca60201b60201c565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405162000e3f929190620018f4565b60405180910390a250505b5b505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600062000eaa62000f3c60201b60201c565b90508062000ec18460000162000f5a60201b60201c565b101562000f1f5782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b6000818362000f34919062001789565b905092915050565b600062000f55600862000fad60201b6200155c1760201c565b905090565b60008082805490500362000f72576000905062000fa8565b816001838054905062000f86919062001789565b8154811062000f9a5762000f9962001921565b5b906000526020600020015490505b919050565b600081600001549050919050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200103d57607f821691505b60208210810362001053576200105262000ff5565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620010bd7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200107e565b620010c986836200107e565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b600062001116620011106200110a84620010e1565b620010eb565b620010e1565b9050919050565b6000819050919050565b6200113283620010f5565b6200114a62001141826200111d565b8484546200108b565b825550505050565b600090565b6200116162001152565b6200116e81848462001127565b505050565b5b8181101562001196576200118a60008262001157565b60018101905062001174565b5050565b601f821115620011e557620011af8162001059565b620011ba846200106e565b81016020851015620011ca578190505b620011e2620011d9856200106e565b83018262001173565b50505b505050565b600082821c905092915050565b60006200120a60001984600802620011ea565b1980831691505092915050565b6000620012258383620011f7565b9150826002028217905092915050565b620012408262000fbb565b67ffffffffffffffff8111156200125c576200125b62000fc6565b5b62001268825462001024565b620012758282856200119a565b600060209050601f831160018114620012ad576000841562001298578287015190505b620012a4858262001217565b86555062001314565b601f198416620012bd8662001059565b60005b82811015620012e757848901518255600182019150602085019450602081019050620012c0565b8683101562001307578489015162001303601f891682620011f7565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115620013aa578086048111156200138257620013816200131c565b5b6001851615620013925780820291505b8081029050620013a2856200134b565b945062001362565b94509492505050565b600082620013c5576001905062001498565b81620013d5576000905062001498565b8160018114620013ee5760028114620013f9576200142f565b600191505062001498565b60ff8411156200140e576200140d6200131c565b5b8360020a9150848211156200142857620014276200131c565b5b5062001498565b5060208310610133831016604e8410600b8410161715620014695782820a9050838111156200146357620014626200131c565b5b62001498565b62001478848484600162001358565b925090508184048111156200149257620014916200131c565b5b81810290505b9392505050565b600060ff82169050919050565b6000620014b982620010e1565b9150620014c6836200149f565b9250620014f57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620013b3565b905092915050565b60006200150a82620010e1565b91506200151783620010e1565b92508282026200152781620010e1565b915082820484148315176200154157620015406200131c565b5b5092915050565b6000819050919050565b6200155d8162001548565b82525050565b6200156e81620010e1565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620015a18262001574565b9050919050565b620015b38162001594565b82525050565b600060a082019050620015d0600083018862001552565b620015df602083018762001552565b620015ee604083018662001552565b620015fd606083018562001563565b6200160c6080830184620015a8565b9695505050505050565b600082825260208201905092915050565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b60006200168560308362001616565b9150620016928262001627565b604082019050919050565b60006020820190508181036000830152620016b88162001676565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000620016f7601f8362001616565b91506200170482620016bf565b602082019050919050565b600060208201905081810360008301526200172a81620016e8565b9050919050565b60006200173e82620010e1565b91506200174b83620010e1565b92508282019050808211156200176657620017656200131c565b5b92915050565b600060208201905062001783600083018462001563565b92915050565b60006200179682620010e1565b9150620017a383620010e1565b9250828203905081811115620017be57620017bd6200131c565b5b92915050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b60006200182260278362001616565b91506200182f82620017c4565b604082019050919050565b60006020820190508181036000830152620018558162001813565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b6000620018ba60268362001616565b9150620018c7826200185c565b604082019050919050565b60006020820190508181036000830152620018ed81620018ab565b9050919050565b60006040820190506200190b600083018562001563565b6200191a602083018462001563565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60805160a05160c05160e05161010051610120516145f9620019a06000396000611aeb01526000611b2d01526000611b0c01526000611a4101526000611a9701526000611ac001526145f96000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c806379cc6790116101045780639ab24eb0116100a2578063d505accf11610071578063d505accf146105b7578063dd62ed3e146105d3578063f1127ed814610603578063f2fde38b14610633576101da565b80639ab24eb01461050b578063a457c2d71461053b578063a9059cbb1461056b578063c3cda5201461059b576101da565b80638e539e8c116100de5780638e539e8c1461048357806395d89b41146104b35780639711715a146104d1578063981b24d0146104db576101da565b806379cc6790146104195780637ecebe00146104355780638da5cb5b14610465576101da565b80633a46b1a81161017c5780635c19a95c1161014b5780635c19a95c146103935780636fcfff45146103af57806370a08231146103df578063715018a61461040f576101da565b80633a46b1a8146102e757806342966c68146103175780634ee2cd7e14610333578063587cde1e14610363576101da565b806323b872dd116101b857806323b872dd1461024b578063313ce5671461027b5780633644e5151461029957806339509351146102b7576101da565b806306fdde03146101df578063095ea7b3146101fd57806318160ddd1461022d575b600080fd5b6101e761064f565b6040516101f49190612fe4565b60405180910390f35b6102176004803603810190610212919061309f565b6106e1565b60405161022491906130fa565b60405180910390f35b610235610704565b6040516102429190613124565b60405180910390f35b6102656004803603810190610260919061313f565b61070e565b60405161027291906130fa565b60405180910390f35b61028361073d565b60405161029091906131ae565b60405180910390f35b6102a1610746565b6040516102ae91906131e2565b60405180910390f35b6102d160048036038101906102cc919061309f565b610755565b6040516102de91906130fa565b60405180910390f35b61030160048036038101906102fc919061309f565b61078c565b60405161030e9190613124565b60405180910390f35b610331600480360381019061032c91906131fd565b610820565b005b61034d6004803603810190610348919061309f565b610834565b60405161035a9190613124565b60405180910390f35b61037d6004803603810190610378919061322a565b6108a4565b60405161038a9190613266565b60405180910390f35b6103ad60048036038101906103a8919061322a565b61090d565b005b6103c960048036038101906103c4919061322a565b610921565b6040516103d691906132a0565b60405180910390f35b6103f960048036038101906103f4919061322a565b610975565b6040516104069190613124565b60405180910390f35b6104176109bd565b005b610433600480360381019061042e919061309f565b6109d1565b005b61044f600480360381019061044a919061322a565b6109f1565b60405161045c9190613124565b60405180910390f35b61046d610a41565b60405161047a9190613266565b60405180910390f35b61049d600480360381019061049891906131fd565b610a6b565b6040516104aa9190613124565b60405180910390f35b6104bb610ac1565b6040516104c89190612fe4565b60405180910390f35b6104d9610b53565b005b6104f560048036038101906104f091906131fd565b610b66565b6040516105029190613124565b60405180910390f35b6105256004803603810190610520919061322a565b610b97565b6040516105329190613124565b60405180910390f35b6105556004803603810190610550919061309f565b610ca8565b60405161056291906130fa565b60405180910390f35b6105856004803603810190610580919061309f565b610d1f565b60405161059291906130fa565b60405180910390f35b6105b560048036038101906105b09190613313565b610d42565b005b6105d160048036038101906105cc91906133a0565b610e46565b005b6105ed60048036038101906105e89190613442565b610f88565b6040516105fa9190613124565b60405180910390f35b61061d600480360381019061061891906134ae565b61100f565b60405161062a9190613563565b60405180910390f35b61064d6004803603810190610648919061322a565b61111f565b005b60606003805461065e906135ad565b80601f016020809104026020016040519081016040528092919081815260200182805461068a906135ad565b80156106d75780601f106106ac576101008083540402835291602001916106d7565b820191906000526020600020905b8154815290600101906020018083116106ba57829003601f168201915b5050505050905090565b6000806106ec61156a565b90506106f9818585611572565b600191505092915050565b6000600254905090565b60008061071961156a565b905061072685828561173b565b6107318585856117c7565b60019150509392505050565b60006012905090565b6000610750611a3d565b905090565b60008061076061156a565b90506107818185856107728589610f88565b61077c919061360d565b611572565b600191505092915050565b60004382106107d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c79061368d565b60405180910390fd5b610818600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083611b57565b905092915050565b61083161082b61156a565b82611ca8565b50565b600080600061088184600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611cb6565b91509150816108985761089385610975565b61089a565b805b9250505092915050565b6000600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b61091e61091861156a565b82611dab565b50565b600061096e600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050611406565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6109c5611ec5565b6109cf6000611f43565b565b6109e3826109dd61156a565b8361173b565b6109ed8282611ca8565b5050565b6000610a3a600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061155c565b9050919050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000438210610aaf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa69061368d565b60405180910390fd5b610aba600e83611b57565b9050919050565b606060048054610ad0906135ad565b80601f0160208091040260200160405190810160405280929190818152602001828054610afc906135ad565b8015610b495780601f10610b1e57610100808354040283529160200191610b49565b820191906000526020600020905b815481529060010190602001808311610b2c57829003601f168201915b5050505050905090565b610b5b611ec5565b610b63612009565b50565b6000806000610b76846006611cb6565b9150915081610b8c57610b87610704565b610b8e565b805b92505050919050565b600080600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050905060008114610c7f57600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600182610c3391906136ad565b81548110610c4457610c436136e1565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610c82565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b600080610cb361156a565b90506000610cc18286610f88565b905083811015610d06576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cfd90613782565b60405180910390fd5b610d138286868403611572565b60019250505092915050565b600080610d2a61156a565b9050610d378185856117c7565b600191505092915050565b83421115610d85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d7c906137ee565b60405180910390fd5b6000610de7610ddf7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf898989604051602001610dc4949392919061380e565b6040516020818303038152906040528051906020012061205f565b858585612079565b9050610df2816120a4565b8614610e33576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e2a9061389f565b60405180910390fd5b610e3d8188611dab565b50505050505050565b83421115610e89576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e809061390b565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610eb88c6120a4565b89604051602001610ece9695949392919061392b565b6040516020818303038152906040528051906020012090506000610ef18261205f565b90506000610f0182878787612079565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610f71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f68906139d8565b60405180910390fd5b610f7c8a8a8a611572565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611017612f16565b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff168154811061106e5761106d6136e1565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b611127611ec5565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118d90613a6a565b60405180910390fd5b61119f81611f43565b50565b6111ac828261122f565b6111b4612102565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166111da610704565b111561121b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161121290613afc565b60405180910390fd5b611229600e61138583612126565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361129e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129590613b68565b60405180910390fd5b6112aa600083836123f5565b80600260008282546112bc919061360d565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161136d9190613124565b60405180910390a361138160008383612405565b5050565b60008183611393919061360d565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156113fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113f590613bfa565b60405180910390fd5b819050919050565b600063ffffffff8016821115611451576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161144890613c8c565b60405180910390fd5b819050919050565b61146483838361153c565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036114ae576114a182612415565b6114a9612468565b61150c565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036114f8576114eb83612415565b6114f3612468565b61150b565b61150183612415565b61150a82612415565b5b5b505050565b61151c838383611541565b611537611528846108a4565b611531846108a4565b8361247c565b505050565b505050565b505050565b6000818361155491906136ad565b905092915050565b600081600001549050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036115e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115d890613d1e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611650576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161164790613db0565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161172e9190613124565b60405180910390a3505050565b60006117478484610f88565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146117c157818110156117b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117aa90613e1c565b60405180910390fd5b6117c08484848403611572565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611836576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161182d90613eae565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036118a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161189c90613f40565b60405180910390fd5b6118b08383836123f5565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611936576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161192d90613fd2565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611a249190613124565b60405180910390a3611a37848484612405565b50505050565b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015611ab957507f000000000000000000000000000000000000000000000000000000000000000046145b15611ae6577f00000000000000000000000000000000000000000000000000000000000000009050611b54565b611b517f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000612675565b90505b90565b600080838054905090506000808290506005831115611bcd576000611b7b846126af565b84611b8691906136ad565b905085611b9388836127a8565b60000160009054906101000a900463ffffffff1663ffffffff161115611bbb57809150611bcb565b600181611bc8919061360d565b92505b505b5b80821015611c2d576000611be283836127bd565b905085611bef88836127a8565b60000160009054906101000a900463ffffffff1663ffffffff161115611c1757809150611c27565b600181611c24919061360d565b92505b50611bce565b60008114611c7c57611c4b86600183611c4691906136ad565b6127a8565b60000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611c7f565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935050505092915050565b611cb282826127e3565b5050565b60008060008411611cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cf39061403e565b60405180910390fd5b611d04612801565b841115611d46576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d3d906140aa565b60405180910390fd5b6000611d5e858560000161281290919063ffffffff16565b905083600001805490508103611d7b576000809250925050611da4565b6001846001018281548110611d9357611d926136e1565b5b906000526020600020015492509250505b9250929050565b6000611db6836108a4565b90506000611dc384610975565b905082600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a4611ebf82848361247c565b50505050565b611ecd61156a565b73ffffffffffffffffffffffffffffffffffffffff16611eeb610a41565b73ffffffffffffffffffffffffffffffffffffffff1614611f41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f3890614116565b60405180910390fd5b565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600061201560086128cb565b600061201f612801565b90507f8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb67816040516120509190613124565b60405180910390a18091505090565b600061207261206c611a3d565b836128e1565b9050919050565b600080600061208a87878787612914565b91509150612097816129f6565b8192505050949350505050565b600080600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506120f18161155c565b91506120fc816128cb565b50919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b60008060008580549050905060008082146121f5576121518760018461214c91906136ad565b6127a8565b6040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050612231565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505b905080602001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935061226684868863ffffffff16565b9250600082118015612281575043816000015163ffffffff16145b156122fb5761228f8361139b565b6122a5886001856122a091906136ad565b6127a8565b60000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506123eb565b86604051806040016040528061231043611406565b63ffffffff1681526020016123248661139b565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b5050935093915050565b612400838383611459565b505050565b612410838383611511565b505050565b612465600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061246083610975565b612b5c565b50565b61247a6006612475610704565b612b5c565b565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156124b85750600081115b1561267057600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146125965760008061253f600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061154685612126565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405161258b929190614136565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461266f57600080612618600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061138585612126565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051612664929190614136565b60405180910390a250505b5b505050565b6000838383463060405160200161269095949392919061415f565b6040516020818303038152906040528051906020012090509392505050565b60008082036126c157600090506127a3565b600060016126ce84612bd7565b901c6001901b905060018184816126e8576126e76141b2565b5b048201901c90506001818481612701576127006141b2565b5b048201901c9050600181848161271a576127196141b2565b5b048201901c90506001818481612733576127326141b2565b5b048201901c9050600181848161274c5761274b6141b2565b5b048201901c90506001818481612765576127646141b2565b5b048201901c9050600181848161277e5761277d6141b2565b5b048201901c905061279f81828581612799576127986141b2565b5b04612cb8565b9150505b919050565b60008260005281602060002001905092915050565b600060028284186127ce91906141e1565b8284166127db919061360d565b905092915050565b6127ed8282612cd1565b6127fb600e61154683612126565b50505050565b600061280d600861155c565b905090565b60008083805490500361282857600090506128c5565b600080848054905090505b8082101561287c57600061284783836127bd565b9050846128548783612e9e565b60000154111561286657809150612876565b600181612873919061360d565b92505b50612833565b6000821180156128a457508361289e8660018561289991906136ad565b612e9e565b60000154145b156128bf576001826128b691906136ad565b925050506128c5565b81925050505b92915050565b6001816000016000828254019250508190555050565b600082826040516020016128f692919061428a565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c111561294f5760006003915091506129ed565b60006001878787876040516000815260200160405260405161297494939291906142c1565b6020604051602081039080840390855afa158015612996573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036129e4576000600192509250506129ed565b80600092509250505b94509492505050565b60006004811115612a0a57612a09614306565b5b816004811115612a1d57612a1c614306565b5b0315612b595760016004811115612a3757612a36614306565b5b816004811115612a4a57612a49614306565b5b03612a8a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a8190614381565b60405180910390fd5b60026004811115612a9e57612a9d614306565b5b816004811115612ab157612ab0614306565b5b03612af1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612ae8906143ed565b60405180910390fd5b60036004811115612b0557612b04614306565b5b816004811115612b1857612b17614306565b5b03612b58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612b4f9061447f565b60405180910390fd5b5b50565b6000612b66612801565b905080612b7584600001612ec0565b1015612bd25782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b600080600090506000608084901c1115612bf957608083901c92506080810190505b6000604084901c1115612c1457604083901c92506040810190505b6000602084901c1115612c2f57602083901c92506020810190505b6000601084901c1115612c4a57601083901c92506010810190505b6000600884901c1115612c6557600883901c92506008810190505b6000600484901c1115612c8057600483901c92506004810190505b6000600284901c1115612c9b57600283901c92506002810190505b6000600184901c1115612caf576001810190505b80915050919050565b6000818310612cc75781612cc9565b825b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612d40576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612d3790614511565b60405180910390fd5b612d4c826000836123f5565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015612dd2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612dc9906145a3565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051612e859190613124565b60405180910390a3612e9983600084612405565b505050565b60008083600052826020600020019050612eb781612f0c565b91505092915050565b600080828054905003612ed65760009050612f07565b8160018380549050612ee891906136ad565b81548110612ef957612ef86136e1565b5b906000526020600020015490505b919050565b6000819050919050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b600081519050919050565b600082825260208201905092915050565b60005b83811015612f8e578082015181840152602081019050612f73565b60008484015250505050565b6000601f19601f8301169050919050565b6000612fb682612f54565b612fc08185612f5f565b9350612fd0818560208601612f70565b612fd981612f9a565b840191505092915050565b60006020820190508181036000830152612ffe8184612fab565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006130368261300b565b9050919050565b6130468161302b565b811461305157600080fd5b50565b6000813590506130638161303d565b92915050565b6000819050919050565b61307c81613069565b811461308757600080fd5b50565b60008135905061309981613073565b92915050565b600080604083850312156130b6576130b5613006565b5b60006130c485828601613054565b92505060206130d58582860161308a565b9150509250929050565b60008115159050919050565b6130f4816130df565b82525050565b600060208201905061310f60008301846130eb565b92915050565b61311e81613069565b82525050565b60006020820190506131396000830184613115565b92915050565b60008060006060848603121561315857613157613006565b5b600061316686828701613054565b935050602061317786828701613054565b92505060406131888682870161308a565b9150509250925092565b600060ff82169050919050565b6131a881613192565b82525050565b60006020820190506131c3600083018461319f565b92915050565b6000819050919050565b6131dc816131c9565b82525050565b60006020820190506131f760008301846131d3565b92915050565b60006020828403121561321357613212613006565b5b60006132218482850161308a565b91505092915050565b6000602082840312156132405761323f613006565b5b600061324e84828501613054565b91505092915050565b6132608161302b565b82525050565b600060208201905061327b6000830184613257565b92915050565b600063ffffffff82169050919050565b61329a81613281565b82525050565b60006020820190506132b56000830184613291565b92915050565b6132c481613192565b81146132cf57600080fd5b50565b6000813590506132e1816132bb565b92915050565b6132f0816131c9565b81146132fb57600080fd5b50565b60008135905061330d816132e7565b92915050565b60008060008060008060c087890312156133305761332f613006565b5b600061333e89828a01613054565b965050602061334f89828a0161308a565b955050604061336089828a0161308a565b945050606061337189828a016132d2565b935050608061338289828a016132fe565b92505060a061339389828a016132fe565b9150509295509295509295565b600080600080600080600060e0888a0312156133bf576133be613006565b5b60006133cd8a828b01613054565b97505060206133de8a828b01613054565b96505060406133ef8a828b0161308a565b95505060606134008a828b0161308a565b94505060806134118a828b016132d2565b93505060a06134228a828b016132fe565b92505060c06134338a828b016132fe565b91505092959891949750929550565b6000806040838503121561345957613458613006565b5b600061346785828601613054565b925050602061347885828601613054565b9150509250929050565b61348b81613281565b811461349657600080fd5b50565b6000813590506134a881613482565b92915050565b600080604083850312156134c5576134c4613006565b5b60006134d385828601613054565b92505060206134e485828601613499565b9150509250929050565b6134f781613281565b82525050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b61352e816134fd565b82525050565b60408201600082015161354a60008501826134ee565b50602082015161355d6020850182613525565b50505050565b60006040820190506135786000830184613534565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806135c557607f821691505b6020821081036135d8576135d761357e565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061361882613069565b915061362383613069565b925082820190508082111561363b5761363a6135de565b5b92915050565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b6000613677601f83612f5f565b915061368282613641565b602082019050919050565b600060208201905081810360008301526136a68161366a565b9050919050565b60006136b882613069565b91506136c383613069565b92508282039050818111156136db576136da6135de565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061376c602583612f5f565b915061377782613710565b604082019050919050565b6000602082019050818103600083015261379b8161375f565b9050919050565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b60006137d8601d83612f5f565b91506137e3826137a2565b602082019050919050565b60006020820190508181036000830152613807816137cb565b9050919050565b600060808201905061382360008301876131d3565b6138306020830186613257565b61383d6040830185613115565b61384a6060830184613115565b95945050505050565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b6000613889601983612f5f565b915061389482613853565b602082019050919050565b600060208201905081810360008301526138b88161387c565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b60006138f5601d83612f5f565b9150613900826138bf565b602082019050919050565b60006020820190508181036000830152613924816138e8565b9050919050565b600060c08201905061394060008301896131d3565b61394d6020830188613257565b61395a6040830187613257565b6139676060830186613115565b6139746080830185613115565b61398160a0830184613115565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b60006139c2601e83612f5f565b91506139cd8261398c565b602082019050919050565b600060208201905081810360008301526139f1816139b5565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000613a54602683612f5f565b9150613a5f826139f8565b604082019050919050565b60006020820190508181036000830152613a8381613a47565b9050919050565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b6000613ae6603083612f5f565b9150613af182613a8a565b604082019050919050565b60006020820190508181036000830152613b1581613ad9565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000613b52601f83612f5f565b9150613b5d82613b1c565b602082019050919050565b60006020820190508181036000830152613b8181613b45565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b6000613be4602783612f5f565b9150613bef82613b88565b604082019050919050565b60006020820190508181036000830152613c1381613bd7565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b6000613c76602683612f5f565b9150613c8182613c1a565b604082019050919050565b60006020820190508181036000830152613ca581613c69565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000613d08602483612f5f565b9150613d1382613cac565b604082019050919050565b60006020820190508181036000830152613d3781613cfb565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000613d9a602283612f5f565b9150613da582613d3e565b604082019050919050565b60006020820190508181036000830152613dc981613d8d565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000613e06601d83612f5f565b9150613e1182613dd0565b602082019050919050565b60006020820190508181036000830152613e3581613df9565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000613e98602583612f5f565b9150613ea382613e3c565b604082019050919050565b60006020820190508181036000830152613ec781613e8b565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000613f2a602383612f5f565b9150613f3582613ece565b604082019050919050565b60006020820190508181036000830152613f5981613f1d565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000613fbc602683612f5f565b9150613fc782613f60565b604082019050919050565b60006020820190508181036000830152613feb81613faf565b9050919050565b7f4552433230536e617073686f743a206964206973203000000000000000000000600082015250565b6000614028601683612f5f565b915061403382613ff2565b602082019050919050565b600060208201905081810360008301526140578161401b565b9050919050565b7f4552433230536e617073686f743a206e6f6e6578697374656e74206964000000600082015250565b6000614094601d83612f5f565b915061409f8261405e565b602082019050919050565b600060208201905081810360008301526140c381614087565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000614100602083612f5f565b915061410b826140ca565b602082019050919050565b6000602082019050818103600083015261412f816140f3565b9050919050565b600060408201905061414b6000830185613115565b6141586020830184613115565b9392505050565b600060a08201905061417460008301886131d3565b61418160208301876131d3565b61418e60408301866131d3565b61419b6060830185613115565b6141a86080830184613257565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006141ec82613069565b91506141f783613069565b925082614207576142066141b2565b5b828204905092915050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b6000614253600283614212565b915061425e8261421d565b600282019050919050565b6000819050919050565b61428461427f826131c9565b614269565b82525050565b600061429582614246565b91506142a18285614273565b6020820191506142b18284614273565b6020820191508190509392505050565b60006080820190506142d660008301876131d3565b6142e3602083018661319f565b6142f060408301856131d3565b6142fd60608301846131d3565b95945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b600061436b601883612f5f565b915061437682614335565b602082019050919050565b6000602082019050818103600083015261439a8161435e565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b60006143d7601f83612f5f565b91506143e2826143a1565b602082019050919050565b60006020820190508181036000830152614406816143ca565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b6000614469602283612f5f565b91506144748261440d565b604082019050919050565b600060208201905081810360008301526144988161445c565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006144fb602183612f5f565b91506145068261449f565b604082019050919050565b6000602082019050818103600083015261452a816144ee565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b600061458d602283612f5f565b915061459882614531565b604082019050919050565b600060208201905081810360008301526145bc81614580565b905091905056fea2646970667358221220fd82b9132dc843f6618b67691a0805e118c74415d5a4bb4ea4bad6da23815d3764736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c806379cc6790116101045780639ab24eb0116100a2578063d505accf11610071578063d505accf146105b7578063dd62ed3e146105d3578063f1127ed814610603578063f2fde38b14610633576101da565b80639ab24eb01461050b578063a457c2d71461053b578063a9059cbb1461056b578063c3cda5201461059b576101da565b80638e539e8c116100de5780638e539e8c1461048357806395d89b41146104b35780639711715a146104d1578063981b24d0146104db576101da565b806379cc6790146104195780637ecebe00146104355780638da5cb5b14610465576101da565b80633a46b1a81161017c5780635c19a95c1161014b5780635c19a95c146103935780636fcfff45146103af57806370a08231146103df578063715018a61461040f576101da565b80633a46b1a8146102e757806342966c68146103175780634ee2cd7e14610333578063587cde1e14610363576101da565b806323b872dd116101b857806323b872dd1461024b578063313ce5671461027b5780633644e5151461029957806339509351146102b7576101da565b806306fdde03146101df578063095ea7b3146101fd57806318160ddd1461022d575b600080fd5b6101e761064f565b6040516101f49190612fe4565b60405180910390f35b6102176004803603810190610212919061309f565b6106e1565b60405161022491906130fa565b60405180910390f35b610235610704565b6040516102429190613124565b60405180910390f35b6102656004803603810190610260919061313f565b61070e565b60405161027291906130fa565b60405180910390f35b61028361073d565b60405161029091906131ae565b60405180910390f35b6102a1610746565b6040516102ae91906131e2565b60405180910390f35b6102d160048036038101906102cc919061309f565b610755565b6040516102de91906130fa565b60405180910390f35b61030160048036038101906102fc919061309f565b61078c565b60405161030e9190613124565b60405180910390f35b610331600480360381019061032c91906131fd565b610820565b005b61034d6004803603810190610348919061309f565b610834565b60405161035a9190613124565b60405180910390f35b61037d6004803603810190610378919061322a565b6108a4565b60405161038a9190613266565b60405180910390f35b6103ad60048036038101906103a8919061322a565b61090d565b005b6103c960048036038101906103c4919061322a565b610921565b6040516103d691906132a0565b60405180910390f35b6103f960048036038101906103f4919061322a565b610975565b6040516104069190613124565b60405180910390f35b6104176109bd565b005b610433600480360381019061042e919061309f565b6109d1565b005b61044f600480360381019061044a919061322a565b6109f1565b60405161045c9190613124565b60405180910390f35b61046d610a41565b60405161047a9190613266565b60405180910390f35b61049d600480360381019061049891906131fd565b610a6b565b6040516104aa9190613124565b60405180910390f35b6104bb610ac1565b6040516104c89190612fe4565b60405180910390f35b6104d9610b53565b005b6104f560048036038101906104f091906131fd565b610b66565b6040516105029190613124565b60405180910390f35b6105256004803603810190610520919061322a565b610b97565b6040516105329190613124565b60405180910390f35b6105556004803603810190610550919061309f565b610ca8565b60405161056291906130fa565b60405180910390f35b6105856004803603810190610580919061309f565b610d1f565b60405161059291906130fa565b60405180910390f35b6105b560048036038101906105b09190613313565b610d42565b005b6105d160048036038101906105cc91906133a0565b610e46565b005b6105ed60048036038101906105e89190613442565b610f88565b6040516105fa9190613124565b60405180910390f35b61061d600480360381019061061891906134ae565b61100f565b60405161062a9190613563565b60405180910390f35b61064d6004803603810190610648919061322a565b61111f565b005b60606003805461065e906135ad565b80601f016020809104026020016040519081016040528092919081815260200182805461068a906135ad565b80156106d75780601f106106ac576101008083540402835291602001916106d7565b820191906000526020600020905b8154815290600101906020018083116106ba57829003601f168201915b5050505050905090565b6000806106ec61156a565b90506106f9818585611572565b600191505092915050565b6000600254905090565b60008061071961156a565b905061072685828561173b565b6107318585856117c7565b60019150509392505050565b60006012905090565b6000610750611a3d565b905090565b60008061076061156a565b90506107818185856107728589610f88565b61077c919061360d565b611572565b600191505092915050565b60004382106107d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c79061368d565b60405180910390fd5b610818600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083611b57565b905092915050565b61083161082b61156a565b82611ca8565b50565b600080600061088184600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020611cb6565b91509150816108985761089385610975565b61089a565b805b9250505092915050565b6000600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b61091e61091861156a565b82611dab565b50565b600061096e600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050611406565b9050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6109c5611ec5565b6109cf6000611f43565b565b6109e3826109dd61156a565b8361173b565b6109ed8282611ca8565b5050565b6000610a3a600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061155c565b9050919050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000438210610aaf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa69061368d565b60405180910390fd5b610aba600e83611b57565b9050919050565b606060048054610ad0906135ad565b80601f0160208091040260200160405190810160405280929190818152602001828054610afc906135ad565b8015610b495780601f10610b1e57610100808354040283529160200191610b49565b820191906000526020600020905b815481529060010190602001808311610b2c57829003601f168201915b5050505050905090565b610b5b611ec5565b610b63612009565b50565b6000806000610b76846006611cb6565b9150915081610b8c57610b87610704565b610b8e565b805b92505050919050565b600080600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050905060008114610c7f57600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600182610c3391906136ad565b81548110610c4457610c436136e1565b5b9060005260206000200160000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16610c82565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16915050919050565b600080610cb361156a565b90506000610cc18286610f88565b905083811015610d06576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cfd90613782565b60405180910390fd5b610d138286868403611572565b60019250505092915050565b600080610d2a61156a565b9050610d378185856117c7565b600191505092915050565b83421115610d85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d7c906137ee565b60405180910390fd5b6000610de7610ddf7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf898989604051602001610dc4949392919061380e565b6040516020818303038152906040528051906020012061205f565b858585612079565b9050610df2816120a4565b8614610e33576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e2a9061389f565b60405180910390fd5b610e3d8188611dab565b50505050505050565b83421115610e89576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e809061390b565b60405180910390fd5b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9888888610eb88c6120a4565b89604051602001610ece9695949392919061392b565b6040516020818303038152906040528051906020012090506000610ef18261205f565b90506000610f0182878787612079565b90508973ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610f71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f68906139d8565b60405180910390fd5b610f7c8a8a8a611572565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611017612f16565b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208263ffffffff168154811061106e5761106d6136e1565b5b906000526020600020016040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050905092915050565b611127611ec5565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118d90613a6a565b60405180910390fd5b61119f81611f43565b50565b6111ac828261122f565b6111b4612102565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166111da610704565b111561121b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161121290613afc565b60405180910390fd5b611229600e61138583612126565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361129e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129590613b68565b60405180910390fd5b6112aa600083836123f5565b80600260008282546112bc919061360d565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161136d9190613124565b60405180910390a361138160008383612405565b5050565b60008183611393919061360d565b905092915050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff80168211156113fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113f590613bfa565b60405180910390fd5b819050919050565b600063ffffffff8016821115611451576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161144890613c8c565b60405180910390fd5b819050919050565b61146483838361153c565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036114ae576114a182612415565b6114a9612468565b61150c565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036114f8576114eb83612415565b6114f3612468565b61150b565b61150183612415565b61150a82612415565b5b5b505050565b61151c838383611541565b611537611528846108a4565b611531846108a4565b8361247c565b505050565b505050565b505050565b6000818361155491906136ad565b905092915050565b600081600001549050919050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036115e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115d890613d1e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611650576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161164790613db0565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161172e9190613124565b60405180910390a3505050565b60006117478484610f88565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146117c157818110156117b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117aa90613e1c565b60405180910390fd5b6117c08484848403611572565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611836576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161182d90613eae565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036118a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161189c90613f40565b60405180910390fd5b6118b08383836123f5565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611936576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161192d90613fd2565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611a249190613124565b60405180910390a3611a37848484612405565b50505050565b60007f000000000000000000000000f033acbb2edd5a3da90855a5afff0fb7736f4dda73ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff16148015611ab957507f000000000000000000000000000000000000000000000000000000000000000146145b15611ae6577f3b53459bed2b6f708e74336a1ce854c960819e637366c49a65d6b03c091078629050611b54565b611b517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f7f69b688cd33b17ccae6f4c9d2429952da27b28ce405d5bd834dc852b2208b85267fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6612675565b90505b90565b600080838054905090506000808290506005831115611bcd576000611b7b846126af565b84611b8691906136ad565b905085611b9388836127a8565b60000160009054906101000a900463ffffffff1663ffffffff161115611bbb57809150611bcb565b600181611bc8919061360d565b92505b505b5b80821015611c2d576000611be283836127bd565b905085611bef88836127a8565b60000160009054906101000a900463ffffffff1663ffffffff161115611c1757809150611c27565b600181611c24919061360d565b92505b50611bce565b60008114611c7c57611c4b86600183611c4691906136ad565b6127a8565b60000160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16611c7f565b60005b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935050505092915050565b611cb282826127e3565b5050565b60008060008411611cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cf39061403e565b60405180910390fd5b611d04612801565b841115611d46576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d3d906140aa565b60405180910390fd5b6000611d5e858560000161281290919063ffffffff16565b905083600001805490508103611d7b576000809250925050611da4565b6001846001018281548110611d9357611d926136e1565b5b906000526020600020015492509250505b9250929050565b6000611db6836108a4565b90506000611dc384610975565b905082600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a4611ebf82848361247c565b50505050565b611ecd61156a565b73ffffffffffffffffffffffffffffffffffffffff16611eeb610a41565b73ffffffffffffffffffffffffffffffffffffffff1614611f41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f3890614116565b60405180910390fd5b565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600061201560086128cb565b600061201f612801565b90507f8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb67816040516120509190613124565b60405180910390a18091505090565b600061207261206c611a3d565b836128e1565b9050919050565b600080600061208a87878787612914565b91509150612097816129f6565b8192505050949350505050565b600080600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506120f18161155c565b91506120fc816128cb565b50919050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b60008060008580549050905060008082146121f5576121518760018461214c91906136ad565b6127a8565b6040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90047bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525050612231565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152505b905080602001517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16935061226684868863ffffffff16565b9250600082118015612281575043816000015163ffffffff16145b156122fb5761228f8361139b565b6122a5886001856122a091906136ad565b6127a8565b60000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055506123eb565b86604051806040016040528061231043611406565b63ffffffff1681526020016123248661139b565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168152509080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050505b5050935093915050565b612400838383611459565b505050565b612410838383611511565b505050565b612465600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061246083610975565b612b5c565b50565b61247a6006612475610704565b612b5c565b565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156124b85750600081115b1561267057600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146125965760008061253f600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061154685612126565b915091508473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724838360405161258b929190614136565b60405180910390a250505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461266f57600080612618600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061138585612126565b915091508373ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248383604051612664929190614136565b60405180910390a250505b5b505050565b6000838383463060405160200161269095949392919061415f565b6040516020818303038152906040528051906020012090509392505050565b60008082036126c157600090506127a3565b600060016126ce84612bd7565b901c6001901b905060018184816126e8576126e76141b2565b5b048201901c90506001818481612701576127006141b2565b5b048201901c9050600181848161271a576127196141b2565b5b048201901c90506001818481612733576127326141b2565b5b048201901c9050600181848161274c5761274b6141b2565b5b048201901c90506001818481612765576127646141b2565b5b048201901c9050600181848161277e5761277d6141b2565b5b048201901c905061279f81828581612799576127986141b2565b5b04612cb8565b9150505b919050565b60008260005281602060002001905092915050565b600060028284186127ce91906141e1565b8284166127db919061360d565b905092915050565b6127ed8282612cd1565b6127fb600e61154683612126565b50505050565b600061280d600861155c565b905090565b60008083805490500361282857600090506128c5565b600080848054905090505b8082101561287c57600061284783836127bd565b9050846128548783612e9e565b60000154111561286657809150612876565b600181612873919061360d565b92505b50612833565b6000821180156128a457508361289e8660018561289991906136ad565b612e9e565b60000154145b156128bf576001826128b691906136ad565b925050506128c5565b81925050505b92915050565b6001816000016000828254019250508190555050565b600082826040516020016128f692919061428a565b60405160208183030381529060405280519060200120905092915050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08360001c111561294f5760006003915091506129ed565b60006001878787876040516000815260200160405260405161297494939291906142c1565b6020604051602081039080840390855afa158015612996573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036129e4576000600192509250506129ed565b80600092509250505b94509492505050565b60006004811115612a0a57612a09614306565b5b816004811115612a1d57612a1c614306565b5b0315612b595760016004811115612a3757612a36614306565b5b816004811115612a4a57612a49614306565b5b03612a8a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a8190614381565b60405180910390fd5b60026004811115612a9e57612a9d614306565b5b816004811115612ab157612ab0614306565b5b03612af1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612ae8906143ed565b60405180910390fd5b60036004811115612b0557612b04614306565b5b816004811115612b1857612b17614306565b5b03612b58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612b4f9061447f565b60405180910390fd5b5b50565b6000612b66612801565b905080612b7584600001612ec0565b1015612bd25782600001819080600181540180825580915050600190039060005260206000200160009091909190915055826001018290806001815401808255809150506001900390600052602060002001600090919091909150555b505050565b600080600090506000608084901c1115612bf957608083901c92506080810190505b6000604084901c1115612c1457604083901c92506040810190505b6000602084901c1115612c2f57602083901c92506020810190505b6000601084901c1115612c4a57601083901c92506010810190505b6000600884901c1115612c6557600883901c92506008810190505b6000600484901c1115612c8057600483901c92506004810190505b6000600284901c1115612c9b57600283901c92506002810190505b6000600184901c1115612caf576001810190505b80915050919050565b6000818310612cc75781612cc9565b825b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612d40576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612d3790614511565b60405180910390fd5b612d4c826000836123f5565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015612dd2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612dc9906145a3565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051612e859190613124565b60405180910390a3612e9983600084612405565b505050565b60008083600052826020600020019050612eb781612f0c565b91505092915050565b600080828054905003612ed65760009050612f07565b8160018380549050612ee891906136ad565b81548110612ef957612ef86136e1565b5b906000526020600020015490505b919050565b6000819050919050565b6040518060400160405280600063ffffffff16815260200160007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525090565b600081519050919050565b600082825260208201905092915050565b60005b83811015612f8e578082015181840152602081019050612f73565b60008484015250505050565b6000601f19601f8301169050919050565b6000612fb682612f54565b612fc08185612f5f565b9350612fd0818560208601612f70565b612fd981612f9a565b840191505092915050565b60006020820190508181036000830152612ffe8184612fab565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006130368261300b565b9050919050565b6130468161302b565b811461305157600080fd5b50565b6000813590506130638161303d565b92915050565b6000819050919050565b61307c81613069565b811461308757600080fd5b50565b60008135905061309981613073565b92915050565b600080604083850312156130b6576130b5613006565b5b60006130c485828601613054565b92505060206130d58582860161308a565b9150509250929050565b60008115159050919050565b6130f4816130df565b82525050565b600060208201905061310f60008301846130eb565b92915050565b61311e81613069565b82525050565b60006020820190506131396000830184613115565b92915050565b60008060006060848603121561315857613157613006565b5b600061316686828701613054565b935050602061317786828701613054565b92505060406131888682870161308a565b9150509250925092565b600060ff82169050919050565b6131a881613192565b82525050565b60006020820190506131c3600083018461319f565b92915050565b6000819050919050565b6131dc816131c9565b82525050565b60006020820190506131f760008301846131d3565b92915050565b60006020828403121561321357613212613006565b5b60006132218482850161308a565b91505092915050565b6000602082840312156132405761323f613006565b5b600061324e84828501613054565b91505092915050565b6132608161302b565b82525050565b600060208201905061327b6000830184613257565b92915050565b600063ffffffff82169050919050565b61329a81613281565b82525050565b60006020820190506132b56000830184613291565b92915050565b6132c481613192565b81146132cf57600080fd5b50565b6000813590506132e1816132bb565b92915050565b6132f0816131c9565b81146132fb57600080fd5b50565b60008135905061330d816132e7565b92915050565b60008060008060008060c087890312156133305761332f613006565b5b600061333e89828a01613054565b965050602061334f89828a0161308a565b955050604061336089828a0161308a565b945050606061337189828a016132d2565b935050608061338289828a016132fe565b92505060a061339389828a016132fe565b9150509295509295509295565b600080600080600080600060e0888a0312156133bf576133be613006565b5b60006133cd8a828b01613054565b97505060206133de8a828b01613054565b96505060406133ef8a828b0161308a565b95505060606134008a828b0161308a565b94505060806134118a828b016132d2565b93505060a06134228a828b016132fe565b92505060c06134338a828b016132fe565b91505092959891949750929550565b6000806040838503121561345957613458613006565b5b600061346785828601613054565b925050602061347885828601613054565b9150509250929050565b61348b81613281565b811461349657600080fd5b50565b6000813590506134a881613482565b92915050565b600080604083850312156134c5576134c4613006565b5b60006134d385828601613054565b92505060206134e485828601613499565b9150509250929050565b6134f781613281565b82525050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff82169050919050565b61352e816134fd565b82525050565b60408201600082015161354a60008501826134ee565b50602082015161355d6020850182613525565b50505050565b60006040820190506135786000830184613534565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806135c557607f821691505b6020821081036135d8576135d761357e565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061361882613069565b915061362383613069565b925082820190508082111561363b5761363a6135de565b5b92915050565b7f4552433230566f7465733a20626c6f636b206e6f7420796574206d696e656400600082015250565b6000613677601f83612f5f565b915061368282613641565b602082019050919050565b600060208201905081810360008301526136a68161366a565b9050919050565b60006136b882613069565b91506136c383613069565b92508282039050818111156136db576136da6135de565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061376c602583612f5f565b915061377782613710565b604082019050919050565b6000602082019050818103600083015261379b8161375f565b9050919050565b7f4552433230566f7465733a207369676e61747572652065787069726564000000600082015250565b60006137d8601d83612f5f565b91506137e3826137a2565b602082019050919050565b60006020820190508181036000830152613807816137cb565b9050919050565b600060808201905061382360008301876131d3565b6138306020830186613257565b61383d6040830185613115565b61384a6060830184613115565b95945050505050565b7f4552433230566f7465733a20696e76616c6964206e6f6e636500000000000000600082015250565b6000613889601983612f5f565b915061389482613853565b602082019050919050565b600060208201905081810360008301526138b88161387c565b9050919050565b7f45524332305065726d69743a206578706972656420646561646c696e65000000600082015250565b60006138f5601d83612f5f565b9150613900826138bf565b602082019050919050565b60006020820190508181036000830152613924816138e8565b9050919050565b600060c08201905061394060008301896131d3565b61394d6020830188613257565b61395a6040830187613257565b6139676060830186613115565b6139746080830185613115565b61398160a0830184613115565b979650505050505050565b7f45524332305065726d69743a20696e76616c6964207369676e61747572650000600082015250565b60006139c2601e83612f5f565b91506139cd8261398c565b602082019050919050565b600060208201905081810360008301526139f1816139b5565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000613a54602683612f5f565b9150613a5f826139f8565b604082019050919050565b60006020820190508181036000830152613a8381613a47565b9050919050565b7f4552433230566f7465733a20746f74616c20737570706c79207269736b73206f60008201527f766572666c6f77696e6720766f74657300000000000000000000000000000000602082015250565b6000613ae6603083612f5f565b9150613af182613a8a565b604082019050919050565b60006020820190508181036000830152613b1581613ad9565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000613b52601f83612f5f565b9150613b5d82613b1c565b602082019050919050565b60006020820190508181036000830152613b8181613b45565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203260008201527f3234206269747300000000000000000000000000000000000000000000000000602082015250565b6000613be4602783612f5f565b9150613bef82613b88565b604082019050919050565b60006020820190508181036000830152613c1381613bd7565b9050919050565b7f53616665436173743a2076616c756520646f65736e27742066697420696e203360008201527f3220626974730000000000000000000000000000000000000000000000000000602082015250565b6000613c76602683612f5f565b9150613c8182613c1a565b604082019050919050565b60006020820190508181036000830152613ca581613c69565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000613d08602483612f5f565b9150613d1382613cac565b604082019050919050565b60006020820190508181036000830152613d3781613cfb565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000613d9a602283612f5f565b9150613da582613d3e565b604082019050919050565b60006020820190508181036000830152613dc981613d8d565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000613e06601d83612f5f565b9150613e1182613dd0565b602082019050919050565b60006020820190508181036000830152613e3581613df9565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000613e98602583612f5f565b9150613ea382613e3c565b604082019050919050565b60006020820190508181036000830152613ec781613e8b565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000613f2a602383612f5f565b9150613f3582613ece565b604082019050919050565b60006020820190508181036000830152613f5981613f1d565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000613fbc602683612f5f565b9150613fc782613f60565b604082019050919050565b60006020820190508181036000830152613feb81613faf565b9050919050565b7f4552433230536e617073686f743a206964206973203000000000000000000000600082015250565b6000614028601683612f5f565b915061403382613ff2565b602082019050919050565b600060208201905081810360008301526140578161401b565b9050919050565b7f4552433230536e617073686f743a206e6f6e6578697374656e74206964000000600082015250565b6000614094601d83612f5f565b915061409f8261405e565b602082019050919050565b600060208201905081810360008301526140c381614087565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000614100602083612f5f565b915061410b826140ca565b602082019050919050565b6000602082019050818103600083015261412f816140f3565b9050919050565b600060408201905061414b6000830185613115565b6141586020830184613115565b9392505050565b600060a08201905061417460008301886131d3565b61418160208301876131d3565b61418e60408301866131d3565b61419b6060830185613115565b6141a86080830184613257565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006141ec82613069565b91506141f783613069565b925082614207576142066141b2565b5b828204905092915050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b6000614253600283614212565b915061425e8261421d565b600282019050919050565b6000819050919050565b61428461427f826131c9565b614269565b82525050565b600061429582614246565b91506142a18285614273565b6020820191506142b18284614273565b6020820191508190509392505050565b60006080820190506142d660008301876131d3565b6142e3602083018661319f565b6142f060408301856131d3565b6142fd60608301846131d3565b95945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b7f45434453413a20696e76616c6964207369676e61747572650000000000000000600082015250565b600061436b601883612f5f565b915061437682614335565b602082019050919050565b6000602082019050818103600083015261439a8161435e565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265206c656e67746800600082015250565b60006143d7601f83612f5f565b91506143e2826143a1565b602082019050919050565b60006020820190508181036000830152614406816143ca565b9050919050565b7f45434453413a20696e76616c6964207369676e6174757265202773272076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b6000614469602283612f5f565b91506144748261440d565b604082019050919050565b600060208201905081810360008301526144988161445c565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006144fb602183612f5f565b91506145068261449f565b604082019050919050565b6000602082019050818103600083015261452a816144ee565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b600061458d602283612f5f565b915061459882614531565b604082019050919050565b600060208201905081810360008301526145bc81614580565b905091905056fea2646970667358221220fd82b9132dc843f6618b67691a0805e118c74415d5a4bb4ea4bad6da23815d3764736f6c63430008110033

121287:1096:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;86416:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;88767:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87536:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;89548:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87378:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;100429:115;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;90252:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;103637:268;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;120580:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;116096:266;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;103011:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;106523:114;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;102767:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87707:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;79823:103;;;:::i;:::-;;120990:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;100171:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;79175:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;104194:259;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;86635:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;121520:67;;;:::i;:::-;;116466:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;103223:212;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;90993:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;88040:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;106719:591;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;99460:645;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;88296:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;102537:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;80081:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;86416:100;86470:13;86503:5;86496:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;86416:100;:::o;88767:201::-;88850:4;88867:13;88883:12;:10;:12::i;:::-;88867:28;;88906:32;88915:5;88922:7;88931:6;88906:8;:32::i;:::-;88956:4;88949:11;;;88767:201;;;;:::o;87536:108::-;87597:7;87624:12;;87617:19;;87536:108;:::o;89548:295::-;89679:4;89696:15;89714:12;:10;:12::i;:::-;89696:30;;89737:38;89753:4;89759:7;89768:6;89737:15;:38::i;:::-;89786:27;89796:4;89802:2;89806:6;89786:9;:27::i;:::-;89831:4;89824:11;;;89548:295;;;;;:::o;87378:93::-;87436:5;87461:2;87454:9;;87378:93;:::o;100429:115::-;100489:7;100516:20;:18;:20::i;:::-;100509:27;;100429:115;:::o;90252:238::-;90340:4;90357:13;90373:12;:10;:12::i;:::-;90357:28;;90396:64;90405:5;90412:7;90449:10;90421:25;90431:5;90438:7;90421:9;:25::i;:::-;:38;;;;:::i;:::-;90396:8;:64::i;:::-;90478:4;90471:11;;;90252:238;;;;:::o;103637:268::-;103735:7;103777:12;103763:11;:26;103755:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;103843:54;103862:12;:21;103875:7;103862:21;;;;;;;;;;;;;;;103885:11;103843:18;:54::i;:::-;103836:61;;103637:268;;;;:::o;120580:91::-;120636:27;120642:12;:10;:12::i;:::-;120656:6;120636:5;:27::i;:::-;120580:91;:::o;116096:266::-;116183:7;116204:16;116222:13;116239:55;116248:10;116260:24;:33;116285:7;116260:33;;;;;;;;;;;;;;;116239:8;:55::i;:::-;116203:91;;;;116314:11;:40;;116336:18;116346:7;116336:9;:18::i;:::-;116314:40;;;116328:5;116314:40;116307:47;;;;116096:266;;;;:::o;103011:128::-;103085:7;103112:10;:19;103123:7;103112:19;;;;;;;;;;;;;;;;;;;;;;;;;103105:26;;103011:128;;;:::o;106523:114::-;106595:34;106605:12;:10;:12::i;:::-;106619:9;106595;:34::i;:::-;106523:114;:::o;102767:151::-;102837:6;102863:47;102881:12;:21;102894:7;102881:21;;;;;;;;;;;;;;;:28;;;;102863:17;:47::i;:::-;102856:54;;102767:151;;;:::o;87707:127::-;87781:7;87808:9;:18;87818:7;87808:18;;;;;;;;;;;;;;;;87801:25;;87707:127;;;:::o;79823:103::-;79061:13;:11;:13::i;:::-;79888:30:::1;79915:1;79888:18;:30::i;:::-;79823:103::o:0;120990:164::-;121067:46;121083:7;121092:12;:10;:12::i;:::-;121106:6;121067:15;:46::i;:::-;121124:22;121130:7;121139:6;121124:5;:22::i;:::-;120990:164;;:::o;100171:128::-;100240:7;100267:24;:7;:14;100275:5;100267:14;;;;;;;;;;;;;;;:22;:24::i;:::-;100260:31;;100171:128;;;:::o;79175:87::-;79221:7;79248:6;;;;;;;;;;;79241:13;;79175:87;:::o;104194:259::-;104281:7;104323:12;104309:11;:26;104301:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;104389:56;104408:23;104433:11;104389:18;:56::i;:::-;104382:63;;104194:259;;;:::o;86635:104::-;86691:13;86724:7;86717:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;86635:104;:::o;121520:67::-;79061:13;:11;:13::i;:::-;121568:11:::1;:9;:11::i;:::-;;121520:67::o:0;116466:234::-;116538:7;116559:16;116577:13;116594:43;116603:10;116615:21;116594:8;:43::i;:::-;116558:79;;;;116657:11;:35;;116679:13;:11;:13::i;:::-;116657:35;;;116671:5;116657:35;116650:42;;;;116466:234;;;:::o;103223:212::-;103296:7;103316:11;103330:12;:21;103343:7;103330:21;;;;;;;;;;;;;;;:28;;;;103316:42;;103383:1;103376:3;:8;:51;;103391:12;:21;103404:7;103391:21;;;;;;;;;;;;;;;103419:1;103413:3;:7;;;;:::i;:::-;103391:30;;;;;;;;:::i;:::-;;;;;;;;;:36;;;;;;;;;;;;103376:51;;;103387:1;103376:51;103369:58;;;;;103223:212;;;:::o;90993:436::-;91086:4;91103:13;91119:12;:10;:12::i;:::-;91103:28;;91142:24;91169:25;91179:5;91186:7;91169:9;:25::i;:::-;91142:52;;91233:15;91213:16;:35;;91205:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;91326:60;91335:5;91342:7;91370:15;91351:16;:34;91326:8;:60::i;:::-;91417:4;91410:11;;;;90993:436;;;;:::o;88040:193::-;88119:4;88136:13;88152:12;:10;:12::i;:::-;88136:28;;88175;88185:5;88192:2;88196:6;88175:9;:28::i;:::-;88221:4;88214:11;;;88040:193;;;;:::o;106719:591::-;106946:6;106927:15;:25;;106919:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;106997:14;107014:174;107042:87;102217:71;107102:9;107113:5;107120:6;107069:58;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;107059:69;;;;;;107042:16;:87::i;:::-;107144:1;107160;107176;107014:13;:174::i;:::-;106997:191;;107216:17;107226:6;107216:9;:17::i;:::-;107207:5;:26;107199:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;107274:28;107284:6;107292:9;107274;:28::i;:::-;106908:402;106719:591;;;;;;:::o;99460:645::-;99704:8;99685:15;:27;;99677:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;99759:18;98635:95;99819:5;99826:7;99835:5;99842:16;99852:5;99842:9;:16::i;:::-;99860:8;99790:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;99780:90;;;;;;99759:111;;99883:12;99898:28;99915:10;99898:16;:28::i;:::-;99883:43;;99939:14;99956:28;99970:4;99976:1;99979;99982;99956:13;:28::i;:::-;99939:45;;100013:5;100003:15;;:6;:15;;;99995:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;100066:31;100075:5;100082:7;100091:5;100066:8;:31::i;:::-;99666:439;;;99460:645;;;;;;;:::o;88296:151::-;88385:7;88412:11;:18;88424:5;88412:18;;;;;;;;;;;;;;;:27;88431:7;88412:27;;;;;;;;;;;;;;;;88405:34;;88296:151;;;;:::o;102537:150::-;102616:17;;:::i;:::-;102653:12;:21;102666:7;102653:21;;;;;;;;;;;;;;;102675:3;102653:26;;;;;;;;;;:::i;:::-;;;;;;;;;102646:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;102537:150;;;;:::o;80081:201::-;79061:13;:11;:13::i;:::-;80190:1:::1;80170:22;;:8;:22;;::::0;80162:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;80246:28;80265:8;80246:18;:28::i;:::-;80081:201:::0;:::o;107616:290::-;107701:28;107713:7;107722:6;107701:11;:28::i;:::-;107765:12;:10;:12::i;:::-;107748:29;;:13;:11;:13::i;:::-;:29;;107740:90;;;;;;;;;;;;:::i;:::-;;;;;;;;;107843:55;107860:23;107885:4;107891:6;107843:16;:55::i;:::-;;;107616:290;;:::o;93026:548::-;93129:1;93110:21;;:7;:21;;;93102:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;93180:49;93209:1;93213:7;93222:6;93180:20;:49::i;:::-;93258:6;93242:12;;:22;;;;;;;:::i;:::-;;;;;;;;93435:6;93413:9;:18;93423:7;93413:18;;;;;;;;;;;;;;;;:28;;;;;;;;;;;93489:7;93468:37;;93485:1;93468:37;;;93498:6;93468:37;;;;;;:::i;:::-;;;;;;;;93518:48;93546:1;93550:7;93559:6;93518:19;:48::i;:::-;93026:548;;:::o;110569:98::-;110627:7;110658:1;110654;:5;;;;:::i;:::-;110647:12;;110569:98;;;;:::o;2989:195::-;3046:7;3083:17;3074:26;;:5;:26;;3066:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;3170:5;3155:21;;2989:195;;;:::o;15825:190::-;15881:6;15917:16;15908:25;;:5;:25;;15900:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;16001:5;15987:20;;15825:190;;;:::o;116917:622::-;117060:44;117087:4;117093:2;117097:6;117060:26;:44::i;:::-;117137:1;117121:18;;:4;:18;;;117117:415;;117177:26;117200:2;117177:22;:26::i;:::-;117218:28;:26;:28::i;:::-;117117:415;;;117282:1;117268:16;;:2;:16;;;117264:268;;117322:28;117345:4;117322:22;:28::i;:::-;117365;:26;:28::i;:::-;117264:268;;;117451:28;117474:4;117451:22;:28::i;:::-;117494:26;117517:2;117494:22;:26::i;:::-;117264:268;117117:415;116917:622;;;:::o;108341:262::-;108483:43;108509:4;108515:2;108519:6;108483:25;:43::i;:::-;108539:56;108556:15;108566:4;108556:9;:15::i;:::-;108573:13;108583:2;108573:9;:13::i;:::-;108588:6;108539:16;:56::i;:::-;108341:262;;;:::o;96744:125::-;;;;:::o;97473:124::-;;;;:::o;110675:103::-;110738:7;110769:1;110765;:5;;;;:::i;:::-;110758:12;;110675:103;;;;:::o;41702:114::-;41767:7;41794;:14;;;41787:21;;41702:114;;;:::o;77720:98::-;77773:7;77800:10;77793:17;;77720:98;:::o;95020:380::-;95173:1;95156:19;;:5;:19;;;95148:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;95254:1;95235:21;;:7;:21;;;95227:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;95338:6;95308:11;:18;95320:5;95308:18;;;;;;;;;;;;;;;:27;95327:7;95308:27;;;;;;;;;;;;;;;:36;;;;95376:7;95360:32;;95369:5;95360:32;;;95385:6;95360:32;;;;;;:::i;:::-;;;;;;;;95020:380;;;:::o;95691:453::-;95826:24;95853:25;95863:5;95870:7;95853:9;:25::i;:::-;95826:52;;95913:17;95893:16;:37;95889:248;;95975:6;95955:16;:26;;95947:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;96059:51;96068:5;96075:7;96103:6;96084:16;:25;96059:8;:51::i;:::-;95889:248;95815:329;95691:453;;;:::o;91899:840::-;92046:1;92030:18;;:4;:18;;;92022:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;92123:1;92109:16;;:2;:16;;;92101:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;92178:38;92199:4;92205:2;92209:6;92178:20;:38::i;:::-;92229:19;92251:9;:15;92261:4;92251:15;;;;;;;;;;;;;;;;92229:37;;92300:6;92285:11;:21;;92277:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;92417:6;92403:11;:20;92385:9;:15;92395:4;92385:15;;;;;;;;;;;;;;;:38;;;;92620:6;92603:9;:13;92613:2;92603:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;92670:2;92655:26;;92664:4;92655:26;;;92674:6;92655:26;;;;;;:::i;:::-;;;;;;;;92694:37;92714:4;92720:2;92724:6;92694:19;:37::i;:::-;92011:728;91899:840;;;:::o;69512:314::-;69565:7;69606:12;69589:29;;69597:4;69589:29;;;:66;;;;;69639:16;69622:13;:33;69589:66;69585:234;;;69679:24;69672:31;;;;69585:234;69743:64;69765:10;69777:12;69791:15;69743:21;:64::i;:::-;69736:71;;69512:314;;:::o;104542:1895::-;104641:7;105742:14;105759:5;:12;;;;105742:29;;105784:11;105810:12;105825:6;105810:21;;105857:1;105848:6;:10;105844:251;;;105875:11;105898:17;105908:6;105898:9;:17::i;:::-;105889:6;:26;;;;:::i;:::-;105875:40;;105972:11;105934:25;105948:5;105955:3;105934:13;:25::i;:::-;:35;;;;;;;;;;;;:49;;;105930:154;;;106011:3;106004:10;;105930:154;;;106067:1;106061:3;:7;;;;:::i;:::-;106055:13;;105930:154;105860:235;105844:251;106107;106120:4;106114:3;:10;106107:251;;;106141:11;106155:23;106168:3;106173:4;106155:12;:23::i;:::-;106141:37;;106235:11;106197:25;106211:5;106218:3;106197:13;:25::i;:::-;:35;;;;;;;;;;;;:49;;;106193:154;;;106274:3;106267:10;;106193:154;;;106330:1;106324:3;:7;;;;:::i;:::-;106318:13;;106193:154;106126:232;106107:251;;;106385:1;106377:4;:9;:52;;106393:30;106407:5;106421:1;106414:4;:8;;;;:::i;:::-;106393:13;:30::i;:::-;:36;;;;;;;;;;;;106377:52;;;106389:1;106377:52;106370:59;;;;;;;104542:1895;;;;:::o;122225:155::-;122344:28;122356:7;122365:6;122344:11;:28::i;:::-;122225:155;;:::o;117547:1619::-;117636:4;117642:7;117683:1;117670:10;:14;117662:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;117744:23;:21;:23::i;:::-;117730:10;:37;;117722:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;118940:13;118956:40;118985:10;118956:9;:13;;:28;;:40;;;;:::i;:::-;118940:56;;119022:9;:13;;:20;;;;119013:5;:29;119009:150;;119067:5;119074:1;119059:17;;;;;;;119009:150;119117:4;119123:9;:16;;119140:5;119123:23;;;;;;;;:::i;:::-;;;;;;;;;;119109:38;;;;;117547:1619;;;;;;:::o;108781:388::-;108866:23;108892:20;108902:9;108892;:20::i;:::-;108866:46;;108923:24;108950:20;108960:9;108950;:20::i;:::-;108923:47;;109005:9;108981:10;:21;108992:9;108981:21;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;109076:9;109032:54;;109059:15;109032:54;;109048:9;109032:54;;;;;;;;;;;;109099:62;109116:15;109133:9;109144:16;109099;:62::i;:::-;108855:314;;108781:388;;:::o;79340:132::-;79415:12;:10;:12::i;:::-;79404:23;;:7;:5;:7::i;:::-;:23;;;79396:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;79340:132::o;80442:191::-;80516:16;80535:6;;;;;;;;;;;80516:25;;80561:8;80552:6;;:17;;;;;;;;;;;;;;;;;;80616:8;80585:40;;80606:8;80585:40;;;;;;;;;;;;80505:128;80442:191;:::o;115568:223::-;115615:7;115635:30;:18;:28;:30::i;:::-;115678:17;115698:23;:21;:23::i;:::-;115678:43;;115737:19;115746:9;115737:19;;;;;;:::i;:::-;;;;;;;;115774:9;115767:16;;;115568:223;:::o;70739:167::-;70816:7;70843:55;70865:20;:18;:20::i;:::-;70887:10;70843:21;:55::i;:::-;70836:62;;70739:167;;;:::o;64379:279::-;64507:7;64528:17;64547:18;64569:25;64580:4;64586:1;64589;64592;64569:10;:25::i;:::-;64527:67;;;;64605:18;64617:5;64605:11;:18::i;:::-;64641:9;64634:16;;;;64379:279;;;;;;:::o;100682:207::-;100742:15;100770:30;100803:7;:14;100811:5;100803:14;;;;;;;;;;;;;;;100770:47;;100838:15;:5;:13;:15::i;:::-;100828:25;;100864:17;:5;:15;:17::i;:::-;100759:130;100682:207;;;:::o;107417:105::-;107470:7;107497:17;107490:24;;107417:105;:::o;109828:733::-;110002:17;110021;110051:11;110065:5;:12;;;;110051:26;;110090:25;110125:1;110118:3;:8;:59;;110148:29;110162:5;110175:1;110169:3;:7;;;;:::i;:::-;110148:13;:29::i;:::-;110118:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;110129:16;;;;;;;;110140:1;110129:16;;;;;;110143:1;110129:16;;;;;110118:59;110090:87;;110202:7;:13;;;110190:25;;;;110238:20;110241:9;110252:5;110238:2;:20;;:::i;:::-;110226:32;;110281:1;110275:3;:7;:44;;;;;110307:12;110286:7;:17;;;:33;;;110275:44;110271:283;;;110374:29;110393:9;110374:18;:29::i;:::-;110336;110350:5;110363:1;110357:3;:7;;;;:::i;:::-;110336:13;:29::i;:::-;:35;;;:67;;;;;;;;;;;;;;;;;;110271:283;;;110436:5;110447:94;;;;;;;;110470:31;110488:12;110470:17;:31::i;:::-;110447:94;;;;;;110510:29;110529:9;110510:18;:29::i;:::-;110447:94;;;;;110436:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;110271:283;110040:521;;109828:733;;;;;;:::o;121665:198::-;121811:44;121838:4;121844:2;121848:6;121811:26;:44::i;:::-;121665:198;;;:::o;121871:193::-;122013:43;122039:4;122045:2;122049:6;122013:25;:43::i;:::-;121871:193;;;:::o;119174:146::-;119242:70;119258:24;:33;119283:7;119258:33;;;;;;;;;;;;;;;119293:18;119303:7;119293:9;:18::i;:::-;119242:15;:70::i;:::-;119174:146;:::o;119328:118::-;119385:53;119401:21;119424:13;:11;:13::i;:::-;119385:15;:53::i;:::-;119328:118::o;109177:643::-;109309:3;109302:10;;:3;:10;;;;:24;;;;;109325:1;109316:6;:10;109302:24;109298:515;;;109362:1;109347:17;;:3;:17;;;109343:224;;109386:17;109405;109426:54;109443:12;:17;109456:3;109443:17;;;;;;;;;;;;;;;109462:9;109473:6;109426:16;:54::i;:::-;109385:95;;;;109525:3;109504:47;;;109530:9;109541;109504:47;;;;;;;:::i;:::-;;;;;;;;109366:201;;109343:224;109602:1;109587:17;;:3;:17;;;109583:219;;109626:17;109645;109666:49;109683:12;:17;109696:3;109683:17;;;;;;;;;;;;;;;109702:4;109708:6;109666:16;:49::i;:::-;109625:90;;;;109760:3;109739:47;;;109765:9;109776;109739:47;;;;;;;:::i;:::-;;;;;;;;109606:196;;109583:219;109298:515;109177:643;;;:::o;69834:263::-;69978:7;70026:8;70036;70046:11;70059:13;70082:4;70015:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;70005:84;;;;;;69998:91;;69834:263;;;;;:::o;48763:1673::-;48811:7;48840:1;48835;:6;48831:47;;48865:1;48858:8;;;;48831:47;49569:14;49603:1;49592:7;49597:1;49592:4;:7::i;:::-;:12;;49586:1;:19;;49569:36;;50071:1;50060:6;50056:1;:10;;;;;:::i;:::-;;;50047:6;:19;50046:26;;50037:35;;50121:1;50110:6;50106:1;:10;;;;;:::i;:::-;;;50097:6;:19;50096:26;;50087:35;;50171:1;50160:6;50156:1;:10;;;;;:::i;:::-;;;50147:6;:19;50146:26;;50137:35;;50221:1;50210:6;50206:1;:10;;;;;:::i;:::-;;;50197:6;:19;50196:26;;50187:35;;50271:1;50260:6;50256:1;:10;;;;;:::i;:::-;;;50247:6;:19;50246:26;;50237:35;;50321:1;50310:6;50306:1;:10;;;;;:::i;:::-;;;50297:6;:19;50296:26;;50287:35;;50371:1;50360:6;50356:1;:10;;;;;:::i;:::-;;;50347:6;:19;50346:26;;50337:35;;50394:23;50398:6;50410;50406:1;:10;;;;;:::i;:::-;;;50394:3;:23::i;:::-;50387:30;;;48763:1673;;;;:::o;110786:244::-;110872:25;110944:10;110941:1;110934:21;111008:3;111001:4;110998:1;110988:18;110984:28;110969:43;;110786:244;;;;:::o;43164:156::-;43226:7;43311:1;43306;43302;:5;43301:11;;;;:::i;:::-;43296:1;43292;:5;43291:21;;;;:::i;:::-;43284:28;;43164:156;;;;:::o;108000:194::-;108085:28;108097:7;108106:6;108085:11;:28::i;:::-;108126:60;108143:23;108168:9;108179:6;108126:16;:60::i;:::-;;;108000:194;;:::o;115857:127::-;115921:7;115948:28;:18;:26;:28::i;:::-;115941:35;;115857:127;:::o;74417:958::-;74506:7;74546:1;74530:5;:12;;;;:17;74526:58;;74571:1;74564:8;;;;74526:58;74596:11;74622:12;74637:5;:12;;;;74622:27;;74662:444;74675:4;74669:3;:10;74662:444;;;74696:11;74710:23;74723:3;74728:4;74710:12;:23::i;:::-;74696:37;;74987:7;74954:24;74967:5;74974:3;74954:12;:24::i;:::-;:30;;;:40;74950:145;;;75022:3;75015:10;;74950:145;;;75078:1;75072:3;:7;;;;:::i;:::-;75066:13;;74950:145;74681:425;74662:444;;;75232:1;75226:3;:7;:56;;;;;75275:7;75237:28;75250:5;75263:1;75257:3;:7;;;;:::i;:::-;75237:12;:28::i;:::-;:34;;;:45;75226:56;75222:146;;;75312:1;75306:3;:7;;;;:::i;:::-;75299:14;;;;;;75222:146;75353:3;75346:10;;;;74417:958;;;;;:::o;41824:127::-;41931:1;41913:7;:14;;;:19;;;;;;;;;;;41824:127;:::o;66070:196::-;66163:7;66229:15;66246:10;66200:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;66190:68;;;;;;66183:75;;66070:196;;;;:::o;62720:1520::-;62851:7;62860:12;63785:66;63780:1;63772:10;;:79;63768:163;;;63884:1;63888:30;63868:51;;;;;;63768:163;64028:14;64045:24;64055:4;64061:1;64064;64067;64045:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;64028:41;;64102:1;64084:20;;:6;:20;;;64080:103;;64137:1;64141:29;64121:50;;;;;;;64080:103;64203:6;64211:20;64195:37;;;;;62720:1520;;;;;;;;:::o;58112:521::-;58190:20;58181:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;58177:449;58227:7;58177:449;58288:29;58279:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;58275:351;;58334:34;;;;;;;;;;:::i;:::-;;;;;;;;58275:351;58399:35;58390:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;58386:240;;58451:41;;;;;;;;;;:::i;:::-;;;;;;;;58386:240;58523:30;58514:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;58510:116;;58570:44;;;;;;;;;;:::i;:::-;;;;;;;;58510:116;58112:521;;:::o;119454:310::-;119549:17;119569:23;:21;:23::i;:::-;119549:43;;119640:9;119607:30;119623:9;:13;;119607:15;:30::i;:::-;:42;119603:154;;;119666:9;:13;;119685:9;119666:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;119710:9;:16;;119732:12;119710:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;119603:154;119538:226;119454:310;;:::o;50913:1019::-;50965:7;50985:14;51002:1;50985:18;;51058:1;51052:3;51043:5;:12;;:16;51039:102;;;51090:3;51080:13;;;;;51122:3;51112:13;;;;51039:102;51173:1;51168:2;51159:5;:11;;:15;51155:99;;;51205:2;51195:12;;;;;51236:2;51226:12;;;;51155:99;51286:1;51281:2;51272:5;:11;;:15;51268:99;;;51318:2;51308:12;;;;;51349:2;51339:12;;;;51268:99;51399:1;51394:2;51385:5;:11;;:15;51381:99;;;51431:2;51421:12;;;;;51462:2;51452:12;;;;51381:99;51511:1;51507;51498:5;:10;;:14;51494:96;;;51543:1;51533:11;;;;;51573:1;51563:11;;;;51494:96;51621:1;51617;51608:5;:10;;:14;51604:96;;;51653:1;51643:11;;;;;51683:1;51673:11;;;;51604:96;51731:1;51727;51718:5;:10;;:14;51714:96;;;51763:1;51753:11;;;;;51793:1;51783:11;;;;51714:96;51841:1;51837;51828:5;:10;;:14;51824:66;;;51873:1;51863:11;;;;51824:66;51918:6;51911:13;;;50913:1019;;;:::o;42939:106::-;42997:7;43028:1;43024;:5;:13;;43036:1;43024:13;;;43032:1;43024:13;43017:20;;42939:106;;;;:::o;93907:675::-;94010:1;93991:21;;:7;:21;;;93983:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;94063:49;94084:7;94101:1;94105:6;94063:20;:49::i;:::-;94125:22;94150:9;:18;94160:7;94150:18;;;;;;;;;;;;;;;;94125:43;;94205:6;94187:14;:24;;94179:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;94324:6;94307:14;:23;94286:9;:18;94296:7;94286:18;;;;;;;;;;;;;;;:44;;;;94441:6;94425:12;;:22;;;;;;;;;;;94502:1;94476:37;;94485:7;94476:37;;;94506:6;94476:37;;;;;;:::i;:::-;;;;;;;;94526:48;94546:7;94563:1;94567:6;94526:19;:48::i;:::-;93972:610;93907:675;;:::o;76686:342::-;76767:31;76811:12;76912:8;76909:1;76902:19;76967:3;76960:4;76957:1;76947:18;76943:28;76935:36;;76999:21;:4;:19;:21::i;:::-;76992:28;;;76686:342;;;;:::o;119772:212::-;119842:7;119880:1;119866:3;:10;;;;:15;119862:115;;119905:1;119898:8;;;;119862:115;119946:3;119963:1;119950:3;:10;;;;:14;;;;:::i;:::-;119946:19;;;;;;;;:::i;:::-;;;;;;;;;;119939:26;;119772:212;;;;:::o;73505:195::-;73566:21;73678:4;73668:14;;73505:195;;;:::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:::-;5682:6;5731:2;5719:9;5710:7;5706:23;5702:32;5699:119;;;5737:79;;:::i;:::-;5699:119;5857:1;5882:53;5927:7;5918:6;5907:9;5903:22;5882:53;:::i;:::-;5872:63;;5828:117;5623:329;;;;:::o;5958:118::-;6045:24;6063:5;6045:24;:::i;:::-;6040:3;6033:37;5958:118;;:::o;6082:222::-;6175:4;6213:2;6202:9;6198:18;6190:26;;6226:71;6294:1;6283:9;6279:17;6270:6;6226:71;:::i;:::-;6082:222;;;;:::o;6310:93::-;6346:7;6386:10;6379:5;6375:22;6364:33;;6310:93;;;:::o;6409:115::-;6494:23;6511:5;6494:23;:::i;:::-;6489:3;6482:36;6409:115;;:::o;6530:218::-;6621:4;6659:2;6648:9;6644:18;6636:26;;6672:69;6738:1;6727:9;6723:17;6714:6;6672:69;:::i;:::-;6530:218;;;;:::o;6754:118::-;6825:22;6841:5;6825:22;:::i;:::-;6818:5;6815:33;6805:61;;6862:1;6859;6852:12;6805:61;6754:118;:::o;6878:135::-;6922:5;6960:6;6947:20;6938:29;;6976:31;7001:5;6976:31;:::i;:::-;6878:135;;;;:::o;7019:122::-;7092:24;7110:5;7092:24;:::i;:::-;7085:5;7082:35;7072:63;;7131:1;7128;7121:12;7072:63;7019:122;:::o;7147:139::-;7193:5;7231:6;7218:20;7209:29;;7247:33;7274:5;7247:33;:::i;:::-;7147:139;;;;:::o;7292:1053::-;7394:6;7402;7410;7418;7426;7434;7483:3;7471:9;7462:7;7458:23;7454:33;7451:120;;;7490:79;;:::i;:::-;7451:120;7610:1;7635:53;7680:7;7671:6;7660:9;7656:22;7635:53;:::i;:::-;7625:63;;7581:117;7737:2;7763:53;7808:7;7799:6;7788:9;7784:22;7763:53;:::i;:::-;7753:63;;7708:118;7865:2;7891:53;7936:7;7927:6;7916:9;7912:22;7891:53;:::i;:::-;7881:63;;7836:118;7993:2;8019:51;8062:7;8053:6;8042:9;8038:22;8019:51;:::i;:::-;8009:61;;7964:116;8119:3;8146:53;8191:7;8182:6;8171:9;8167:22;8146:53;:::i;:::-;8136:63;;8090:119;8248:3;8275:53;8320:7;8311:6;8300:9;8296:22;8275:53;:::i;:::-;8265:63;;8219:119;7292:1053;;;;;;;;:::o;8351:1199::-;8462:6;8470;8478;8486;8494;8502;8510;8559:3;8547:9;8538:7;8534:23;8530:33;8527:120;;;8566:79;;:::i;:::-;8527:120;8686:1;8711:53;8756:7;8747:6;8736:9;8732:22;8711:53;:::i;:::-;8701:63;;8657:117;8813:2;8839:53;8884:7;8875:6;8864:9;8860:22;8839:53;:::i;:::-;8829:63;;8784:118;8941:2;8967:53;9012:7;9003:6;8992:9;8988:22;8967:53;:::i;:::-;8957:63;;8912:118;9069:2;9095:53;9140:7;9131:6;9120:9;9116:22;9095:53;:::i;:::-;9085:63;;9040:118;9197:3;9224:51;9267:7;9258:6;9247:9;9243:22;9224:51;:::i;:::-;9214:61;;9168:117;9324:3;9351:53;9396:7;9387:6;9376:9;9372:22;9351:53;:::i;:::-;9341:63;;9295:119;9453:3;9480:53;9525:7;9516:6;9505:9;9501:22;9480:53;:::i;:::-;9470:63;;9424:119;8351:1199;;;;;;;;;;:::o;9556:474::-;9624:6;9632;9681:2;9669:9;9660:7;9656:23;9652:32;9649:119;;;9687:79;;:::i;:::-;9649:119;9807:1;9832:53;9877:7;9868:6;9857:9;9853:22;9832:53;:::i;:::-;9822:63;;9778:117;9934:2;9960:53;10005:7;9996:6;9985:9;9981:22;9960:53;:::i;:::-;9950:63;;9905:118;9556:474;;;;;:::o;10036:120::-;10108:23;10125:5;10108:23;:::i;:::-;10101:5;10098:34;10088:62;;10146:1;10143;10136:12;10088:62;10036:120;:::o;10162:137::-;10207:5;10245:6;10232:20;10223:29;;10261:32;10287:5;10261:32;:::i;:::-;10162:137;;;;:::o;10305:472::-;10372:6;10380;10429:2;10417:9;10408:7;10404:23;10400:32;10397:119;;;10435:79;;:::i;:::-;10397:119;10555:1;10580:53;10625:7;10616:6;10605:9;10601:22;10580:53;:::i;:::-;10570:63;;10526:117;10682:2;10708:52;10752:7;10743:6;10732:9;10728:22;10708:52;:::i;:::-;10698:62;;10653:117;10305:472;;;;;:::o;10783:105::-;10858:23;10875:5;10858:23;:::i;:::-;10853:3;10846:36;10783:105;;:::o;10894:142::-;10931:7;10971:58;10964:5;10960:70;10949:81;;10894:142;;;:::o;11042:108::-;11119:24;11137:5;11119:24;:::i;:::-;11114:3;11107:37;11042:108;;:::o;11224:517::-;11377:4;11372:3;11368:14;11469:4;11462:5;11458:16;11452:23;11488:61;11543:4;11538:3;11534:14;11520:12;11488:61;:::i;:::-;11392:167;11642:4;11635:5;11631:16;11625:23;11661:63;11718:4;11713:3;11709:14;11695:12;11661:63;:::i;:::-;11569:165;11346:395;11224:517;;:::o;11747:334::-;11896:4;11934:2;11923:9;11919:18;11911:26;;11947:127;12071:1;12060:9;12056:17;12047:6;11947:127;:::i;:::-;11747:334;;;;:::o;12087:180::-;12135:77;12132:1;12125:88;12232:4;12229:1;12222:15;12256:4;12253:1;12246:15;12273:320;12317:6;12354:1;12348:4;12344:12;12334:22;;12401:1;12395:4;12391:12;12422:18;12412:81;;12478:4;12470:6;12466:17;12456:27;;12412:81;12540:2;12532:6;12529:14;12509:18;12506:38;12503:84;;12559:18;;:::i;:::-;12503:84;12324:269;12273:320;;;:::o;12599:180::-;12647:77;12644:1;12637:88;12744:4;12741:1;12734:15;12768:4;12765:1;12758:15;12785:191;12825:3;12844:20;12862:1;12844:20;:::i;:::-;12839:25;;12878:20;12896:1;12878:20;:::i;:::-;12873:25;;12921:1;12918;12914:9;12907:16;;12942:3;12939:1;12936:10;12933:36;;;12949:18;;:::i;:::-;12933:36;12785:191;;;;:::o;12982:181::-;13122:33;13118:1;13110:6;13106:14;13099:57;12982:181;:::o;13169:366::-;13311:3;13332:67;13396:2;13391:3;13332:67;:::i;:::-;13325:74;;13408:93;13497:3;13408:93;:::i;:::-;13526:2;13521:3;13517:12;13510:19;;13169:366;;;:::o;13541:419::-;13707:4;13745:2;13734:9;13730:18;13722:26;;13794:9;13788:4;13784:20;13780:1;13769:9;13765:17;13758:47;13822:131;13948:4;13822:131;:::i;:::-;13814:139;;13541:419;;;:::o;13966:194::-;14006:4;14026:20;14044:1;14026:20;:::i;:::-;14021:25;;14060:20;14078:1;14060:20;:::i;:::-;14055:25;;14104:1;14101;14097:9;14089:17;;14128:1;14122:4;14119:11;14116:37;;;14133:18;;:::i;:::-;14116:37;13966:194;;;;:::o;14166:180::-;14214:77;14211:1;14204:88;14311:4;14308:1;14301:15;14335:4;14332:1;14325:15;14352:224;14492:34;14488:1;14480:6;14476:14;14469:58;14561:7;14556:2;14548:6;14544:15;14537:32;14352:224;:::o;14582:366::-;14724:3;14745:67;14809:2;14804:3;14745:67;:::i;:::-;14738:74;;14821:93;14910:3;14821:93;:::i;:::-;14939:2;14934:3;14930:12;14923:19;;14582:366;;;:::o;14954:419::-;15120:4;15158:2;15147:9;15143:18;15135:26;;15207:9;15201:4;15197:20;15193:1;15182:9;15178:17;15171:47;15235:131;15361:4;15235:131;:::i;:::-;15227:139;;14954:419;;;:::o;15379:179::-;15519:31;15515:1;15507:6;15503:14;15496:55;15379:179;:::o;15564:366::-;15706:3;15727:67;15791:2;15786:3;15727:67;:::i;:::-;15720:74;;15803:93;15892:3;15803:93;:::i;:::-;15921:2;15916:3;15912:12;15905:19;;15564:366;;;:::o;15936:419::-;16102:4;16140:2;16129:9;16125:18;16117:26;;16189:9;16183:4;16179:20;16175:1;16164:9;16160:17;16153:47;16217:131;16343:4;16217:131;:::i;:::-;16209:139;;15936:419;;;:::o;16361:553::-;16538:4;16576:3;16565:9;16561:19;16553:27;;16590:71;16658:1;16647:9;16643:17;16634:6;16590:71;:::i;:::-;16671:72;16739:2;16728:9;16724:18;16715:6;16671:72;:::i;:::-;16753;16821:2;16810:9;16806:18;16797:6;16753:72;:::i;:::-;16835;16903:2;16892:9;16888:18;16879:6;16835:72;:::i;:::-;16361:553;;;;;;;:::o;16920:175::-;17060:27;17056:1;17048:6;17044:14;17037:51;16920:175;:::o;17101:366::-;17243:3;17264:67;17328:2;17323:3;17264:67;:::i;:::-;17257:74;;17340:93;17429:3;17340:93;:::i;:::-;17458:2;17453:3;17449:12;17442:19;;17101:366;;;:::o;17473:419::-;17639:4;17677:2;17666:9;17662:18;17654:26;;17726:9;17720:4;17716:20;17712:1;17701:9;17697:17;17690:47;17754:131;17880:4;17754:131;:::i;:::-;17746:139;;17473:419;;;:::o;17898:179::-;18038:31;18034:1;18026:6;18022:14;18015:55;17898:179;:::o;18083:366::-;18225:3;18246:67;18310:2;18305:3;18246:67;:::i;:::-;18239:74;;18322:93;18411:3;18322:93;:::i;:::-;18440:2;18435:3;18431:12;18424:19;;18083:366;;;:::o;18455:419::-;18621:4;18659:2;18648:9;18644:18;18636:26;;18708:9;18702:4;18698:20;18694:1;18683:9;18679:17;18672:47;18736:131;18862:4;18736:131;:::i;:::-;18728:139;;18455:419;;;:::o;18880:775::-;19113:4;19151:3;19140:9;19136:19;19128:27;;19165:71;19233:1;19222:9;19218:17;19209:6;19165:71;:::i;:::-;19246:72;19314:2;19303:9;19299:18;19290:6;19246:72;:::i;:::-;19328;19396:2;19385:9;19381:18;19372:6;19328:72;:::i;:::-;19410;19478:2;19467:9;19463:18;19454:6;19410:72;:::i;:::-;19492:73;19560:3;19549:9;19545:19;19536:6;19492:73;:::i;:::-;19575;19643:3;19632:9;19628:19;19619:6;19575:73;:::i;:::-;18880:775;;;;;;;;;:::o;19661:180::-;19801:32;19797:1;19789:6;19785:14;19778:56;19661:180;:::o;19847:366::-;19989:3;20010:67;20074:2;20069:3;20010:67;:::i;:::-;20003:74;;20086:93;20175:3;20086:93;:::i;:::-;20204:2;20199:3;20195:12;20188:19;;19847:366;;;:::o;20219:419::-;20385:4;20423:2;20412:9;20408:18;20400:26;;20472:9;20466:4;20462:20;20458:1;20447:9;20443:17;20436:47;20500:131;20626:4;20500:131;:::i;:::-;20492:139;;20219:419;;;:::o;20644:225::-;20784:34;20780:1;20772:6;20768:14;20761:58;20853:8;20848:2;20840:6;20836:15;20829:33;20644:225;:::o;20875:366::-;21017:3;21038:67;21102:2;21097:3;21038:67;:::i;:::-;21031:74;;21114:93;21203:3;21114:93;:::i;:::-;21232:2;21227:3;21223:12;21216:19;;20875:366;;;:::o;21247:419::-;21413:4;21451:2;21440:9;21436:18;21428:26;;21500:9;21494:4;21490:20;21486:1;21475:9;21471:17;21464:47;21528:131;21654:4;21528:131;:::i;:::-;21520:139;;21247:419;;;:::o;21672:235::-;21812:34;21808:1;21800:6;21796:14;21789:58;21881:18;21876:2;21868:6;21864:15;21857:43;21672:235;:::o;21913:366::-;22055:3;22076:67;22140:2;22135:3;22076:67;:::i;:::-;22069:74;;22152:93;22241:3;22152:93;:::i;:::-;22270:2;22265:3;22261:12;22254:19;;21913:366;;;:::o;22285:419::-;22451:4;22489:2;22478:9;22474:18;22466:26;;22538:9;22532:4;22528:20;22524:1;22513:9;22509:17;22502:47;22566:131;22692:4;22566:131;:::i;:::-;22558:139;;22285:419;;;:::o;22710:181::-;22850:33;22846:1;22838:6;22834:14;22827:57;22710:181;:::o;22897:366::-;23039:3;23060:67;23124:2;23119:3;23060:67;:::i;:::-;23053:74;;23136:93;23225:3;23136:93;:::i;:::-;23254:2;23249:3;23245:12;23238:19;;22897:366;;;:::o;23269:419::-;23435:4;23473:2;23462:9;23458:18;23450:26;;23522:9;23516:4;23512:20;23508:1;23497:9;23493:17;23486:47;23550:131;23676:4;23550:131;:::i;:::-;23542:139;;23269:419;;;:::o;23694:226::-;23834:34;23830:1;23822:6;23818:14;23811:58;23903:9;23898:2;23890:6;23886:15;23879:34;23694:226;:::o;23926:366::-;24068:3;24089:67;24153:2;24148:3;24089:67;:::i;:::-;24082:74;;24165:93;24254:3;24165:93;:::i;:::-;24283:2;24278:3;24274:12;24267:19;;23926:366;;;:::o;24298:419::-;24464:4;24502:2;24491:9;24487:18;24479:26;;24551:9;24545:4;24541:20;24537:1;24526:9;24522:17;24515:47;24579:131;24705:4;24579:131;:::i;:::-;24571:139;;24298:419;;;:::o;24723:225::-;24863:34;24859:1;24851:6;24847:14;24840:58;24932:8;24927:2;24919:6;24915:15;24908:33;24723:225;:::o;24954:366::-;25096:3;25117:67;25181:2;25176:3;25117:67;:::i;:::-;25110:74;;25193:93;25282:3;25193:93;:::i;:::-;25311:2;25306:3;25302:12;25295:19;;24954:366;;;:::o;25326:419::-;25492:4;25530:2;25519:9;25515:18;25507:26;;25579:9;25573:4;25569:20;25565:1;25554:9;25550:17;25543:47;25607:131;25733:4;25607:131;:::i;:::-;25599:139;;25326:419;;;:::o;25751:223::-;25891:34;25887:1;25879:6;25875:14;25868:58;25960:6;25955:2;25947:6;25943:15;25936:31;25751:223;:::o;25980:366::-;26122:3;26143:67;26207:2;26202:3;26143:67;:::i;:::-;26136:74;;26219:93;26308:3;26219:93;:::i;:::-;26337:2;26332:3;26328:12;26321:19;;25980:366;;;:::o;26352:419::-;26518:4;26556:2;26545:9;26541:18;26533:26;;26605:9;26599:4;26595:20;26591:1;26580:9;26576:17;26569:47;26633:131;26759:4;26633:131;:::i;:::-;26625:139;;26352:419;;;:::o;26777:221::-;26917:34;26913:1;26905:6;26901:14;26894:58;26986:4;26981:2;26973:6;26969:15;26962:29;26777:221;:::o;27004:366::-;27146:3;27167:67;27231:2;27226:3;27167:67;:::i;:::-;27160:74;;27243:93;27332:3;27243:93;:::i;:::-;27361:2;27356:3;27352:12;27345:19;;27004:366;;;:::o;27376:419::-;27542:4;27580:2;27569:9;27565:18;27557:26;;27629:9;27623:4;27619:20;27615:1;27604:9;27600:17;27593:47;27657:131;27783:4;27657:131;:::i;:::-;27649:139;;27376:419;;;:::o;27801:179::-;27941:31;27937:1;27929:6;27925:14;27918:55;27801:179;:::o;27986:366::-;28128:3;28149:67;28213:2;28208:3;28149:67;:::i;:::-;28142:74;;28225:93;28314:3;28225:93;:::i;:::-;28343:2;28338:3;28334:12;28327:19;;27986:366;;;:::o;28358:419::-;28524:4;28562:2;28551:9;28547:18;28539:26;;28611:9;28605:4;28601:20;28597:1;28586:9;28582:17;28575:47;28639:131;28765:4;28639:131;:::i;:::-;28631:139;;28358:419;;;:::o;28783:224::-;28923:34;28919:1;28911:6;28907:14;28900:58;28992:7;28987:2;28979:6;28975:15;28968:32;28783:224;:::o;29013:366::-;29155:3;29176:67;29240:2;29235:3;29176:67;:::i;:::-;29169:74;;29252:93;29341:3;29252:93;:::i;:::-;29370:2;29365:3;29361:12;29354:19;;29013:366;;;:::o;29385:419::-;29551:4;29589:2;29578:9;29574:18;29566:26;;29638:9;29632:4;29628:20;29624:1;29613:9;29609:17;29602:47;29666:131;29792:4;29666:131;:::i;:::-;29658:139;;29385:419;;;:::o;29810:222::-;29950:34;29946:1;29938:6;29934:14;29927:58;30019:5;30014:2;30006:6;30002:15;29995:30;29810:222;:::o;30038:366::-;30180:3;30201:67;30265:2;30260:3;30201:67;:::i;:::-;30194:74;;30277:93;30366:3;30277:93;:::i;:::-;30395:2;30390:3;30386:12;30379:19;;30038:366;;;:::o;30410:419::-;30576:4;30614:2;30603:9;30599:18;30591:26;;30663:9;30657:4;30653:20;30649:1;30638:9;30634:17;30627:47;30691:131;30817:4;30691:131;:::i;:::-;30683:139;;30410:419;;;:::o;30835:225::-;30975:34;30971:1;30963:6;30959:14;30952:58;31044:8;31039:2;31031:6;31027:15;31020:33;30835:225;:::o;31066:366::-;31208:3;31229:67;31293:2;31288:3;31229:67;:::i;:::-;31222:74;;31305:93;31394:3;31305:93;:::i;:::-;31423:2;31418:3;31414:12;31407:19;;31066:366;;;:::o;31438:419::-;31604:4;31642:2;31631:9;31627:18;31619:26;;31691:9;31685:4;31681:20;31677:1;31666:9;31662:17;31655:47;31719:131;31845:4;31719:131;:::i;:::-;31711:139;;31438:419;;;:::o;31863:172::-;32003:24;31999:1;31991:6;31987:14;31980:48;31863:172;:::o;32041:366::-;32183:3;32204:67;32268:2;32263:3;32204:67;:::i;:::-;32197:74;;32280:93;32369:3;32280:93;:::i;:::-;32398:2;32393:3;32389:12;32382:19;;32041:366;;;:::o;32413:419::-;32579:4;32617:2;32606:9;32602:18;32594:26;;32666:9;32660:4;32656:20;32652:1;32641:9;32637:17;32630:47;32694:131;32820:4;32694:131;:::i;:::-;32686:139;;32413:419;;;:::o;32838:179::-;32978:31;32974:1;32966:6;32962:14;32955:55;32838:179;:::o;33023:366::-;33165:3;33186:67;33250:2;33245:3;33186:67;:::i;:::-;33179:74;;33262:93;33351:3;33262:93;:::i;:::-;33380:2;33375:3;33371:12;33364:19;;33023:366;;;:::o;33395:419::-;33561:4;33599:2;33588:9;33584:18;33576:26;;33648:9;33642:4;33638:20;33634:1;33623:9;33619:17;33612:47;33676:131;33802:4;33676:131;:::i;:::-;33668:139;;33395:419;;;:::o;33820:182::-;33960:34;33956:1;33948:6;33944:14;33937:58;33820:182;:::o;34008:366::-;34150:3;34171:67;34235:2;34230:3;34171:67;:::i;:::-;34164:74;;34247:93;34336:3;34247:93;:::i;:::-;34365:2;34360:3;34356:12;34349:19;;34008:366;;;:::o;34380:419::-;34546:4;34584:2;34573:9;34569:18;34561:26;;34633:9;34627:4;34623:20;34619:1;34608:9;34604:17;34597:47;34661:131;34787:4;34661:131;:::i;:::-;34653:139;;34380:419;;;:::o;34805:332::-;34926:4;34964:2;34953:9;34949:18;34941:26;;34977:71;35045:1;35034:9;35030:17;35021:6;34977:71;:::i;:::-;35058:72;35126:2;35115:9;35111:18;35102:6;35058:72;:::i;:::-;34805:332;;;;;:::o;35143:664::-;35348:4;35386:3;35375:9;35371:19;35363:27;;35400:71;35468:1;35457:9;35453:17;35444:6;35400:71;:::i;:::-;35481:72;35549:2;35538:9;35534:18;35525:6;35481:72;:::i;:::-;35563;35631:2;35620:9;35616:18;35607:6;35563:72;:::i;:::-;35645;35713:2;35702:9;35698:18;35689:6;35645:72;:::i;:::-;35727:73;35795:3;35784:9;35780:19;35771:6;35727:73;:::i;:::-;35143:664;;;;;;;;:::o;35813:180::-;35861:77;35858:1;35851:88;35958:4;35955:1;35948:15;35982:4;35979:1;35972:15;35999:185;36039:1;36056:20;36074:1;36056:20;:::i;:::-;36051:25;;36090:20;36108:1;36090:20;:::i;:::-;36085:25;;36129:1;36119:35;;36134:18;;:::i;:::-;36119:35;36176:1;36173;36169:9;36164:14;;35999:185;;;;:::o;36190:148::-;36292:11;36329:3;36314:18;;36190:148;;;;:::o;36344:214::-;36484:66;36480:1;36472:6;36468:14;36461:90;36344:214;:::o;36564:400::-;36724:3;36745:84;36827:1;36822:3;36745:84;:::i;:::-;36738:91;;36838:93;36927:3;36838:93;:::i;:::-;36956:1;36951:3;36947:11;36940:18;;36564:400;;;:::o;36970:79::-;37009:7;37038:5;37027:16;;36970:79;;;:::o;37055:157::-;37160:45;37180:24;37198:5;37180:24;:::i;:::-;37160:45;:::i;:::-;37155:3;37148:58;37055:157;;:::o;37218:663::-;37459:3;37481:148;37625:3;37481:148;:::i;:::-;37474:155;;37639:75;37710:3;37701:6;37639:75;:::i;:::-;37739:2;37734:3;37730:12;37723:19;;37752:75;37823:3;37814:6;37752:75;:::i;:::-;37852:2;37847:3;37843:12;37836:19;;37872:3;37865:10;;37218:663;;;;;:::o;37887:545::-;38060:4;38098:3;38087:9;38083:19;38075:27;;38112:71;38180:1;38169:9;38165:17;38156:6;38112:71;:::i;:::-;38193:68;38257:2;38246:9;38242:18;38233:6;38193:68;:::i;:::-;38271:72;38339:2;38328:9;38324:18;38315:6;38271:72;:::i;:::-;38353;38421:2;38410:9;38406:18;38397:6;38353:72;:::i;:::-;37887:545;;;;;;;:::o;38438:180::-;38486:77;38483:1;38476:88;38583:4;38580:1;38573:15;38607:4;38604:1;38597:15;38624:174;38764:26;38760:1;38752:6;38748:14;38741:50;38624:174;:::o;38804:366::-;38946:3;38967:67;39031:2;39026:3;38967:67;:::i;:::-;38960:74;;39043:93;39132:3;39043:93;:::i;:::-;39161:2;39156:3;39152:12;39145:19;;38804:366;;;:::o;39176:419::-;39342:4;39380:2;39369:9;39365:18;39357:26;;39429:9;39423:4;39419:20;39415:1;39404:9;39400:17;39393:47;39457:131;39583:4;39457:131;:::i;:::-;39449:139;;39176:419;;;:::o;39601:181::-;39741:33;39737:1;39729:6;39725:14;39718:57;39601:181;:::o;39788:366::-;39930:3;39951:67;40015:2;40010:3;39951:67;:::i;:::-;39944:74;;40027:93;40116:3;40027:93;:::i;:::-;40145:2;40140:3;40136:12;40129:19;;39788:366;;;:::o;40160:419::-;40326:4;40364:2;40353:9;40349:18;40341:26;;40413:9;40407:4;40403:20;40399:1;40388:9;40384:17;40377:47;40441:131;40567:4;40441:131;:::i;:::-;40433:139;;40160:419;;;:::o;40585:221::-;40725:34;40721:1;40713:6;40709:14;40702:58;40794:4;40789:2;40781:6;40777:15;40770:29;40585:221;:::o;40812:366::-;40954:3;40975:67;41039:2;41034:3;40975:67;:::i;:::-;40968:74;;41051:93;41140:3;41051:93;:::i;:::-;41169:2;41164:3;41160:12;41153:19;;40812:366;;;:::o;41184:419::-;41350:4;41388:2;41377:9;41373:18;41365:26;;41437:9;41431:4;41427:20;41423:1;41412:9;41408:17;41401:47;41465:131;41591:4;41465:131;:::i;:::-;41457:139;;41184:419;;;:::o;41609:220::-;41749:34;41745:1;41737:6;41733:14;41726:58;41818:3;41813:2;41805:6;41801:15;41794:28;41609:220;:::o;41835:366::-;41977:3;41998:67;42062:2;42057:3;41998:67;:::i;:::-;41991:74;;42074:93;42163:3;42074:93;:::i;:::-;42192:2;42187:3;42183:12;42176:19;;41835:366;;;:::o;42207:419::-;42373:4;42411:2;42400:9;42396:18;42388:26;;42460:9;42454:4;42450:20;42446:1;42435:9;42431:17;42424:47;42488:131;42614:4;42488:131;:::i;:::-;42480:139;;42207:419;;;:::o;42632:221::-;42772:34;42768:1;42760:6;42756:14;42749:58;42841:4;42836:2;42828:6;42824:15;42817:29;42632:221;:::o;42859:366::-;43001:3;43022:67;43086:2;43081:3;43022:67;:::i;:::-;43015:74;;43098:93;43187:3;43098:93;:::i;:::-;43216:2;43211:3;43207:12;43200:19;;42859:366;;;:::o;43231:419::-;43397:4;43435:2;43424:9;43420:18;43412:26;;43484:9;43478:4;43474:20;43470:1;43459:9;43455:17;43448:47;43512:131;43638:4;43512:131;:::i;:::-;43504:139;;43231:419;;;:::o

ipfs://fd82b9132dc843f6618b67691a0805e118c74415d5a4bb4ea4bad6da23815d37