Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-12
*/

// Sources flattened with hardhat v2.19.1 https://hardhat.org

// SPDX-License-Identifier: MIT AND UNLICENSED

// File @openzeppelin/contracts/utils/math/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


// File @openzeppelin/contracts/utils/math/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.0;

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

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

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

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


// File @openzeppelin/contracts/utils/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/Strings.sol)

pragma solidity ^0.8.0;


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

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

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

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

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

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

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


// File contracts/ERC404/ERC404.sol

// Original license: SPDX_License_Identifier: UNLICENSED
pragma solidity ^0.8.0;

abstract contract Ownable {
    event OwnershipTransferred(address indexed user, address indexed newOwner);

    error Unauthorized();
    error InvalidOwner();

    address public owner;

    modifier onlyOwner() virtual {
        if (msg.sender != owner) revert Unauthorized();

        _;
    }

    constructor(address _owner) {
        if (_owner == address(0)) revert InvalidOwner();

        owner = _owner;

        emit OwnershipTransferred(address(0), _owner);
    }

    function transferOwnership(address _owner) public virtual onlyOwner {
        if (_owner == address(0)) revert InvalidOwner();

        owner = _owner;

        emit OwnershipTransferred(msg.sender, _owner);
    }

    function revokeOwnership() public virtual onlyOwner {
        owner = address(0);

        emit OwnershipTransferred(msg.sender, address(0));
    }
}

abstract contract ERC721Receiver {
    function onERC721Received(
        address,
        address,
        uint256,
        bytes calldata
    ) external virtual returns (bytes4) {
        return ERC721Receiver.onERC721Received.selector;
    }
}

/// @notice ERC404
///         A gas-efficient, mixed ERC20 / ERC721 implementation
///         with native liquidity and fractionalization.
///
///         This is an experimental standard designed to integrate
///         with pre-existing ERC20 / ERC721 support as smoothly as
///         possible.
///
/// @dev    In order to support full functionality of ERC20 and ERC721
///         supply assumptions are made that slightly constraint usage.
///         Ensure decimals are sufficiently large (standard 18 recommended)
///         as ids are effectively encoded in the lowest range of amounts.
///
///         NFTs are spent on ERC20 functions in a FILO queue, this is by
///         design.
///
abstract contract ERC404 is Ownable {
    // Events
    event ERC20Transfer(
        address indexed from,
        address indexed to,
        uint256 amount
    );
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 amount
    );
    event Transfer(
        address indexed from,
        address indexed to,
        uint256 indexed id
    );
    event ERC721Approval(
        address indexed owner,
        address indexed spender,
        uint256 indexed id
    );
    event ApprovalForAll(
        address indexed owner,
        address indexed operator,
        bool approved
    );

    // Errors
    error NotFound();
    error AlreadyExists();
    error InvalidRecipient();
    error InvalidSender();
    error UnsafeRecipient();
    error InvalidId();

    // Metadata
    /// @dev Token name
    string public name;

    /// @dev Token symbol
    string public symbol;

    /// @dev Decimals for fractional representation
    uint8 public immutable decimals;

    /// @dev Total supply in fractionalized representation
    uint256 public immutable totalSupply;

    /// @dev Current mint counter, monotonically increasing to ensure accurate ownership
    uint256 public minted;

    // Mappings
    /// @dev Balance of user in fractional representation
    mapping(address => uint256) public balanceOf;

    /// @dev Allowance of user in fractional representation
    mapping(address => mapping(address => uint256)) public allowance;

    /// @dev Approval in native representaion
    mapping(uint256 => address) public getApproved;

    /// @dev Approval for all in native representation
    mapping(address => mapping(address => bool)) public isApprovedForAll;

    /// @dev Owner of id in native representation
    mapping(uint256 => address) internal _ownerOf;

    /// @dev Array of owned ids in native representation
    mapping(address => uint256[]) internal _owned;

    /// @dev Tracks indices for the _owned mapping
    mapping(uint256 => uint256) internal _ownedIndex;

    /// @dev Addresses whitelisted from minting / burning for gas savings (pairs, routers, etc)
    mapping(address => bool) public whitelist;

    // Constructor
    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals,
        uint256 _totalNativeSupply,
        address _owner
    ) Ownable(_owner) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply = _totalNativeSupply * (10 ** decimals);
    }

    /// @notice Initialization function to set pairs / etc
    ///         saving gas by avoiding mint / burn on unnecessary targets
    function setWhitelist(address target, bool state) public onlyOwner {
        whitelist[target] = state;
    }

    /// @notice Function to find owner of a given native token
    function ownerOf(uint256 id) public view virtual returns (address owner) {
        owner = _ownerOf[id];

        if (owner == address(0)) {
            revert NotFound();
        }
    }

    /// @notice tokenURI must be implemented by child contract
    function tokenURI(uint256 id) public view virtual returns (string memory);

    /// @notice Function for token approvals
    /// @dev This function assumes id / native if amount less than or equal to current max id
    function approve(
        address spender,
        uint256 amountOrId
    ) public virtual returns (bool) {
        if (amountOrId <= minted && amountOrId > 0) {
            address owner = _ownerOf[amountOrId];

            if (msg.sender != owner && !isApprovedForAll[owner][msg.sender]) {
                revert Unauthorized();
            }

            getApproved[amountOrId] = spender;

            emit Approval(owner, spender, amountOrId);
        } else {
            allowance[msg.sender][spender] = amountOrId;

            emit Approval(msg.sender, spender, amountOrId);
        }

        return true;
    }

    /// @notice Function native approvals
    function setApprovalForAll(address operator, bool approved) public virtual {
        isApprovedForAll[msg.sender][operator] = approved;

        emit ApprovalForAll(msg.sender, operator, approved);
    }

    /// @notice Function for mixed transfers
    /// @dev This function assumes id / native if amount less than or equal to current max id
    function transferFrom(
        address from,
        address to,
        uint256 amountOrId
    ) public virtual {
        if (amountOrId <= minted) {
            if (from != _ownerOf[amountOrId]) {
                revert InvalidSender();
            }

            if (to == address(0)) {
                revert InvalidRecipient();
            }

            if (
                msg.sender != from &&
                !isApprovedForAll[from][msg.sender] &&
                msg.sender != getApproved[amountOrId]
            ) {
                revert Unauthorized();
            }

            balanceOf[from] -= _getUnit();

            unchecked {
                balanceOf[to] += _getUnit();
            }

            _ownerOf[amountOrId] = to;
            delete getApproved[amountOrId];

            // update _owned for sender
            uint256 updatedId = _owned[from][_owned[from].length - 1];
            _owned[from][_ownedIndex[amountOrId]] = updatedId;
            // pop
            _owned[from].pop();
            // update index for the moved id
            _ownedIndex[updatedId] = _ownedIndex[amountOrId];
            // push token to to owned
            _owned[to].push(amountOrId);
            // update index for to owned
            _ownedIndex[amountOrId] = _owned[to].length - 1;

            emit Transfer(from, to, amountOrId);
            emit ERC20Transfer(from, to, _getUnit());
        } else {
            uint256 allowed = allowance[from][msg.sender];

            if (allowed != type(uint256).max)
                allowance[from][msg.sender] = allowed - amountOrId;

            _transfer(from, to, amountOrId);
        }
    }

    /// @notice Function for fractional transfers
    function transfer(
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        return _transfer(msg.sender, to, amount);
    }

    /// @notice Function for native transfers with contract support
    function safeTransferFrom(
        address from,
        address to,
        uint256 id
    ) public virtual {
        transferFrom(from, to, id);

        if (
            to.code.length != 0 &&
            ERC721Receiver(to).onERC721Received(msg.sender, from, id, "") !=
            ERC721Receiver.onERC721Received.selector
        ) {
            revert UnsafeRecipient();
        }
    }

    /// @notice Function for native transfers with contract support and callback data
    function safeTransferFrom(
        address from,
        address to,
        uint256 id,
        bytes calldata data
    ) public virtual {
        transferFrom(from, to, id);

        if (
            to.code.length != 0 &&
            ERC721Receiver(to).onERC721Received(msg.sender, from, id, data) !=
            ERC721Receiver.onERC721Received.selector
        ) {
            revert UnsafeRecipient();
        }
    }

    /// @notice Internal function for fractional transfers
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal returns (bool) {
        uint256 unit = _getUnit();
        uint256 balanceBeforeSender = balanceOf[from];
        uint256 balanceBeforeReceiver = balanceOf[to];

        balanceOf[from] -= amount;

        unchecked {
            balanceOf[to] += amount;
        }

        // Skip burn for certain addresses to save gas
        if (!whitelist[from]) {
            uint256 tokens_to_burn = (balanceBeforeSender / unit) -
                (balanceOf[from] / unit);
            for (uint256 i = 0; i < tokens_to_burn; i++) {
                _burn(from);
            }
        }

        // Skip minting for certain addresses to save gas
        if (!whitelist[to]) {
            uint256 tokens_to_mint = (balanceOf[to] / unit) -
                (balanceBeforeReceiver / unit);
            for (uint256 i = 0; i < tokens_to_mint; i++) {
                _mint(to);
            }
        }

        emit ERC20Transfer(from, to, amount);
        return true;
    }

    // Internal utility logic
    function _getUnit() internal view returns (uint256) {
        return 10 ** decimals;
    }

    function _mint(address to) internal virtual {
        if (to == address(0)) {
            revert InvalidRecipient();
        }

        unchecked {
            minted++;
        }

        uint256 id = minted;

        if (_ownerOf[id] != address(0)) {
            revert AlreadyExists();
        }

        _ownerOf[id] = to;
        _owned[to].push(id);
        _ownedIndex[id] = _owned[to].length - 1;

        emit Transfer(address(0), to, id);
    }

    function _burn(address from) internal virtual {
        if (from == address(0)) {
            revert InvalidSender();
        }

        uint256 id = _owned[from][_owned[from].length - 1];
        _owned[from].pop();
        delete _ownedIndex[id];
        delete _ownerOf[id];
        delete getApproved[id];

        emit Transfer(from, address(0), id);
    }

    function _setNameSymbol(
        string memory _name,
        string memory _symbol
    ) internal {
        name = _name;
        symbol = _symbol;
    }
}


// File contracts/Loong.sol

// Original license: SPDX_License_Identifier: UNLICENSED
pragma solidity ^0.8.20;


contract Loong is ERC404 {
    uint256 public constant TOTAL_MINT_SUPPLY = 10000;
    uint256 public constant USER_MINT_SUPPLY = 10;
    uint256 public constant NFT_PRICE = 0.012 ether;

    address public LoongTreasury = address(0xa51a0b85AC40581B6bA8c79Cc4A5bB767d799117);

    string public baseTokenURI;

    uint256 public totalMintCount;

    mapping(address => uint256) public mintCount;

    constructor() ERC404("Loong ERC404", "LOONG", 18, 10000, msg.sender) {
        balanceOf[LoongTreasury] = 1000 * 10 ** 18;
        setWhitelist(LoongTreasury, true);
    }

    function mint() external payable {
        require(msg.value == NFT_PRICE, "Incorrect eth value");

        require(
            mintCount[msg.sender] < USER_MINT_SUPPLY,
            "Exceed user mint supply"
        );
        require(totalMintCount < TOTAL_MINT_SUPPLY, "Exceed total supply");
        mintCount[msg.sender] = mintCount[msg.sender] + 1;
        totalMintCount = totalMintCount + 1;

        balanceOf[msg.sender] = balanceOf[msg.sender] + 1 * 10 ** 18;
        super._mint(msg.sender);
    }

    function setTokenURI(string memory _tokenURI) public onlyOwner {
        baseTokenURI = _tokenURI;
    }

    function setNameSymbol(
        string memory _name,
        string memory _symbol
    ) public onlyOwner {
        _setNameSymbol(_name, _symbol);
    }

    function tokenURI(
        uint256 tokenId
    ) public view override returns (string memory) {
        return
            bytes(baseTokenURI).length > 0
                ? string.concat(baseTokenURI, Strings.toString(tokenId))
                : "";
    }

    function withdrawEth(address to) public onlyOwner {
        uint256 balance = address(this).balance;
        require(balance > 0, "balance is zero");
        payable(to).transfer(balance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AlreadyExists","type":"error"},{"inputs":[],"name":"InvalidId","type":"error"},{"inputs":[],"name":"InvalidOwner","type":"error"},{"inputs":[],"name":"InvalidRecipient","type":"error"},{"inputs":[],"name":"InvalidSender","type":"error"},{"inputs":[],"name":"NotFound","type":"error"},{"inputs":[],"name":"Unauthorized","type":"error"},{"inputs":[],"name":"UnsafeRecipient","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","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":"amount","type":"uint256"}],"name":"ERC20Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"ERC721Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"LoongTreasury","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"NFT_PRICE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TOTAL_MINT_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"USER_MINT_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amountOrId","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseTokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mint","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"mintCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minted","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"owner","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"revokeOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"id","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"}],"name":"setNameSymbol","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_tokenURI","type":"string"}],"name":"setTokenURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"},{"internalType":"bool","name":"state","type":"bool"}],"name":"setWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalMintCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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":"amountOrId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelist","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60c0604052600c80546001600160a01b03191673a51a0b85ac40581b6ba8c79cc4a5bb767d7991171790553480156200003757600080fd5b50604080518082018252600c81526b131bdbdb99c8115490cd0c0d60a21b602080830191909152825180840190935260058352644c4f4f4e4760d81b908301529060126127103380806200009e576040516349e27cff60e01b815260040160405180910390fd5b600080546001600160a01b0319166001600160a01b03831690811782556040519091907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506001620000f586826200026b565b5060026200010485826200026b565b5060ff831660808190526200011b90600a6200044c565b62000127908362000464565b60a0525050600c80546001600160a01b039081166000908152600460205260409020683635c9adc5dea00000905590546200016a94501691506001905062000170565b6200047e565b6000546001600160a01b031633146200019b576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03919091166000908152600b60205260409020805460ff1916911515919091179055565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620001f157607f821691505b6020821081036200021257634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200026657600081815260208120601f850160051c81016020861015620002415750805b601f850160051c820191505b8181101562000262578281556001016200024d565b5050505b505050565b81516001600160401b03811115620002875762000287620001c6565b6200029f81620002988454620001dc565b8462000218565b602080601f831160018114620002d75760008415620002be5750858301515b600019600386901b1c1916600185901b17855562000262565b600085815260208120601f198616915b828110156200030857888601518255948401946001909101908401620002e7565b5085821015620003275787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200038e57816000190482111562000372576200037262000337565b808516156200038057918102915b93841c939080029062000352565b509250929050565b600082620003a75750600162000446565b81620003b65750600062000446565b8160018114620003cf5760028114620003da57620003fa565b600191505062000446565b60ff841115620003ee57620003ee62000337565b50506001821b62000446565b5060208310610133831016604e8410600b84101617156200041f575081810a62000446565b6200042b83836200034d565b806000190482111562000442576200044262000337565b0290505b92915050565b60006200045d60ff84168362000396565b9392505050565b808202811582820484141762000446576200044662000337565b60805160a051611fc3620004ab60003960006102b801526000818161034f01526113bb0152611fc36000f3fe6080604052600436106101ee5760003560e01c8063676dd5631161010d578063b88d4fde116100a0578063dd62ed3e1161006f578063dd62ed3e146105bc578063e0df5b6f146105f4578063e985e9c514610614578063ed9ec8881461064f578063f2fde38b1461067c57600080fd5b8063b88d4fde14610547578063c87b56dd14610567578063cbd419fc14610587578063d547cfb7146105a757600080fd5b806395d89b41116100dc57806395d89b41146104c25780639b19251a146104d7578063a22cb46514610507578063a9059cbb1461052757600080fd5b8063676dd5631461044457806370a082311461045f5780637a0d23021461048c5780638da5cb5b146104a257600080fd5b8063313ce56711610185578063504334c211610154578063504334c2146103ce57806353d6fd59146103ee5780635ade20211461040e5780636352211e1461042457600080fd5b8063313ce5671461033d57806342842e0e146103835780634c191fc3146103a35780634f02c420146103b857600080fd5b806318160ddd116101c157806318160ddd146102a657806323b872dd146102e857806325e16063146103085780632b9689581461032857600080fd5b806306fdde03146101f3578063081812fc1461021e578063095ea7b31461026c5780631249c58b1461029c575b600080fd5b3480156101ff57600080fd5b5061020861069c565b6040516102159190611878565b60405180910390f35b34801561022a57600080fd5b506102546102393660046118ab565b6006602052600090815260409020546001600160a01b031681565b6040516001600160a01b039091168152602001610215565b34801561027857600080fd5b5061028c6102873660046118db565b61072a565b6040519015158152602001610215565b6102a461087b565b005b3480156102b257600080fd5b506102da7f000000000000000000000000000000000000000000000000000000000000000081565b604051908152602001610215565b3480156102f457600080fd5b506102a4610303366004611905565b6109f0565b34801561031457600080fd5b506102a4610323366004611941565b610d79565b34801561033457600080fd5b506102a4610e19565b34801561034957600080fd5b506103717f000000000000000000000000000000000000000000000000000000000000000081565b60405160ff9091168152602001610215565b34801561038f57600080fd5b506102a461039e366004611905565b610e7f565b3480156103af57600080fd5b506102da600a81565b3480156103c457600080fd5b506102da60035481565b3480156103da57600080fd5b506102a46103e93660046119ff565b610f54565b3480156103fa57600080fd5b506102a4610409366004611a63565b610f8c565b34801561041a57600080fd5b506102da61271081565b34801561043057600080fd5b5061025461043f3660046118ab565b610fe1565b34801561045057600080fd5b506102da662aa1efb94e000081565b34801561046b57600080fd5b506102da61047a366004611941565b60046020526000908152604090205481565b34801561049857600080fd5b506102da600e5481565b3480156104ae57600080fd5b50600054610254906001600160a01b031681565b3480156104ce57600080fd5b5061020861101c565b3480156104e357600080fd5b5061028c6104f2366004611941565b600b6020526000908152604090205460ff1681565b34801561051357600080fd5b506102a4610522366004611a63565b611029565b34801561053357600080fd5b5061028c6105423660046118db565b611095565b34801561055357600080fd5b506102a4610562366004611a9f565b6110a9565b34801561057357600080fd5b506102086105823660046118ab565b61116c565b34801561059357600080fd5b50600c54610254906001600160a01b031681565b3480156105b357600080fd5b506102086111ca565b3480156105c857600080fd5b506102da6105d7366004611b3a565b600560209081526000928352604080842090915290825290205481565b34801561060057600080fd5b506102a461060f366004611b6d565b6111d7565b34801561062057600080fd5b5061028c61062f366004611b3a565b600760209081526000928352604080842090915290825290205460ff1681565b34801561065b57600080fd5b506102da61066a366004611941565b600f6020526000908152604090205481565b34801561068857600080fd5b506102a4610697366004611941565b61120d565b600180546106a990611baa565b80601f01602080910402602001604051908101604052809291908181526020018280546106d590611baa565b80156107225780601f106106f757610100808354040283529160200191610722565b820191906000526020600020905b81548152906001019060200180831161070557829003601f168201915b505050505081565b6000600354821115801561073e5750600082115b15610815576000828152600860205260409020546001600160a01b031633811480159061078f57506001600160a01b038116600090815260076020908152604080832033845290915290205460ff16155b156107ac576040516282b42960e81b815260040160405180910390fd5b60008381526006602090815260409182902080546001600160a01b0319166001600160a01b038881169182179092559251868152908416917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350610871565b3360008181526005602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35b5060015b92915050565b662aa1efb94e000034146108cc5760405162461bcd60e51b8152602060048201526013602482015272496e636f7272656374206574682076616c756560681b60448201526064015b60405180910390fd5b336000908152600f6020526040902054600a1161092b5760405162461bcd60e51b815260206004820152601760248201527f4578636565642075736572206d696e7420737570706c7900000000000000000060448201526064016108c3565b612710600e54106109745760405162461bcd60e51b815260206004820152601360248201527245786365656420746f74616c20737570706c7960681b60448201526064016108c3565b336000908152600f602052604090205461098f906001611bfa565b336000908152600f6020526040902055600e546109ad906001611bfa565b600e55336000908152600460205260409020546109d290670de0b6b3a7640000611bfa565b336000818152600460205260409020919091556109ee906112a9565b565b6003548111610d0a576000818152600860205260409020546001600160a01b03848116911614610a3357604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b038216610a5a57604051634e46966960e11b815260040160405180910390fd5b336001600160a01b03841614801590610a9757506001600160a01b038316600090815260076020908152604080832033845290915290205460ff16155b8015610aba57506000818152600660205260409020546001600160a01b03163314155b15610ad7576040516282b42960e81b815260040160405180910390fd5b610adf6113b4565b6001600160a01b03841660009081526004602052604081208054909190610b07908490611c0d565b90915550610b1590506113b4565b6001600160a01b03808416600081815260046020908152604080832080549096019095558582526008815284822080546001600160a01b031990811690941790556006815284822080549093169092559186168252600990529081208054610b7f90600190611c0d565b81548110610b8f57610b8f611c20565b60009182526020808320909101546001600160a01b0387168352600982526040808420868552600a90935290922054815492935083928110610bd357610bd3611c20565b60009182526020808320909101929092556001600160a01b0386168152600990915260409020805480610c0857610c08611c36565b600082815260208082208301600019908101839055909201909255838252600a8152604080832054848452818420556001600160a01b038616808452600983529083208054600181810183558286529385200186905592529054610c6c9190611c0d565b6000838152600a602052604080822092909255905183916001600160a01b0380871692908816917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4826001600160a01b0316846001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487610cf36113b4565b60405190815260200160405180910390a350505050565b6001600160a01b03831660009081526005602090815260408083203384529091529020546000198114610d6657610d418282611c0d565b6001600160a01b03851660009081526005602090815260408083203384529091529020555b610d718484846113e6565b50505b505050565b6000546001600160a01b03163314610da3576040516282b42960e81b815260040160405180910390fd5b4780610de35760405162461bcd60e51b815260206004820152600f60248201526e62616c616e6365206973207a65726f60881b60448201526064016108c3565b6040516001600160a01b0383169082156108fc029083906000818181858888f19350505050158015610d74573d6000803e3d6000fd5b6000546001600160a01b03163314610e43576040516282b42960e81b815260040160405180910390fd5b600080546001600160a01b031916815560405133907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3565b610e8a8383836109f0565b6001600160a01b0382163b15801590610f365750604051630a85bd0160e11b8082523360048301526001600160a01b03858116602484015260448301849052608060648401526000608484015290919084169063150b7a029060a4016020604051808303816000875af1158015610f05573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f299190611c4c565b6001600160e01b03191614155b15610d7457604051633da6393160e01b815260040160405180910390fd5b6000546001600160a01b03163314610f7e576040516282b42960e81b815260040160405180910390fd5b610f8882826115a8565b5050565b6000546001600160a01b03163314610fb6576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03919091166000908152600b60205260409020805460ff1916911515919091179055565b6000818152600860205260409020546001600160a01b0316806110175760405163c5723b5160e01b815260040160405180910390fd5b919050565b600280546106a990611baa565b3360008181526007602090815260408083206001600160a01b03871680855290835292819020805460ff191686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b60006110a23384846113e6565b9392505050565b6110b48585856109f0565b6001600160a01b0384163b1580159061114e5750604051630a85bd0160e11b808252906001600160a01b0386169063150b7a02906110fe9033908a90899089908990600401611c76565b6020604051808303816000875af115801561111d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111419190611c4c565b6001600160e01b03191614155b15610d7157604051633da6393160e01b815260040160405180910390fd5b60606000600d805461117d90611baa565b9050116111995760405180602001604052806000815250610875565b600d6111a4836115c1565b6040516020016111b5929190611cca565b60405160208183030381529060405292915050565b600d80546106a990611baa565b6000546001600160a01b03163314611201576040516282b42960e81b815260040160405180910390fd5b600d610f888282611d9f565b6000546001600160a01b03163314611237576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03811661125e576040516349e27cff60e01b815260040160405180910390fd5b600080546001600160a01b0319166001600160a01b0383169081178255604051909133917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a350565b6001600160a01b0381166112d057604051634e46966960e11b815260040160405180910390fd5b60038054600101908190556000818152600860205260409020546001600160a01b0316156113115760405163119b4fd360e11b815260040160405180910390fd5b600081815260086020908152604080832080546001600160a01b0319166001600160a01b0387169081179091558084526009835290832080546001818101835582865293852001859055925290546113699190611c0d565b6000828152600a602052604080822092909255905182916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b60006113e17f0000000000000000000000000000000000000000000000000000000000000000600a611f43565b905090565b6000806113f16113b4565b6001600160a01b038087166000818152600460205260408082208054948a168352908220549282529394509192909186919061142d8386611c0d565b90915550506001600160a01b03808716600090815260046020908152604080832080548a019055928a168252600b9052205460ff166114c9576001600160a01b03871660009081526004602052604081205461148a908590611f52565b6114948585611f52565b61149e9190611c0d565b905060005b818110156114c6576114b489611654565b806114be81611f74565b9150506114a3565b50505b6001600160a01b0386166000908152600b602052604090205460ff1661154e5760006114f58483611f52565b6001600160a01b038816600090815260046020526040902054611519908690611f52565b6115239190611c0d565b905060005b8181101561154b57611539886112a9565b8061154381611f74565b915050611528565b50505b856001600160a01b0316876001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e0314878760405161159391815260200190565b60405180910390a35060019695505050505050565b60016115b48382611d9f565b506002610d748282611d9f565b606060006115ce8361177c565b600101905060008167ffffffffffffffff8111156115ee576115ee61195c565b6040519080825280601f01601f191660200182016040528015611618576020820181803683370190505b5090508181016020015b600019016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a850494508461162257509392505050565b6001600160a01b03811661167b57604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b038116600090815260096020526040812080546116a190600190611c0d565b815481106116b1576116b1611c20565b9060005260206000200154905060096000836001600160a01b03166001600160a01b031681526020019081526020016000208054806116f2576116f2611c36565b600082815260208082208301600019908101839055909201909255828252600a815260408083208390556008825280832080546001600160a01b031990811690915560069092528083208054909216909155518291906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a45050565b60008072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b83106117bb5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef810000000083106117e7576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061180557662386f26fc10000830492506010015b6305f5e100831061181d576305f5e100830492506008015b612710831061183157612710830492506004015b60648310611843576064830492506002015b600a83106108755760010192915050565b60005b8381101561186f578181015183820152602001611857565b50506000910152565b6020815260008251806020840152611897816040850160208701611854565b601f01601f19169190910160400192915050565b6000602082840312156118bd57600080fd5b5035919050565b80356001600160a01b038116811461101757600080fd5b600080604083850312156118ee57600080fd5b6118f7836118c4565b946020939093013593505050565b60008060006060848603121561191a57600080fd5b611923846118c4565b9250611931602085016118c4565b9150604084013590509250925092565b60006020828403121561195357600080fd5b6110a2826118c4565b634e487b7160e01b600052604160045260246000fd5b600082601f83011261198357600080fd5b813567ffffffffffffffff8082111561199e5761199e61195c565b604051601f8301601f19908116603f011681019082821181831017156119c6576119c661195c565b816040528381528660208588010111156119df57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215611a1257600080fd5b823567ffffffffffffffff80821115611a2a57600080fd5b611a3686838701611972565b93506020850135915080821115611a4c57600080fd5b50611a5985828601611972565b9150509250929050565b60008060408385031215611a7657600080fd5b611a7f836118c4565b915060208301358015158114611a9457600080fd5b809150509250929050565b600080600080600060808688031215611ab757600080fd5b611ac0866118c4565b9450611ace602087016118c4565b935060408601359250606086013567ffffffffffffffff80821115611af257600080fd5b818801915088601f830112611b0657600080fd5b813581811115611b1557600080fd5b896020828501011115611b2757600080fd5b9699959850939650602001949392505050565b60008060408385031215611b4d57600080fd5b611b56836118c4565b9150611b64602084016118c4565b90509250929050565b600060208284031215611b7f57600080fd5b813567ffffffffffffffff811115611b9657600080fd5b611ba284828501611972565b949350505050565b600181811c90821680611bbe57607f821691505b602082108103611bde57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082018082111561087557610875611be4565b8181038181111561087557610875611be4565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052603160045260246000fd5b600060208284031215611c5e57600080fd5b81516001600160e01b0319811681146110a257600080fd5b6001600160a01b038681168252851660208201526040810184905260806060820181905281018290526000828460a0840137600060a0848401015260a0601f19601f85011683010190509695505050505050565b6000808454611cd881611baa565b60018281168015611cf05760018114611d0557611d34565b60ff1984168752821515830287019450611d34565b8860005260208060002060005b85811015611d2b5781548a820152908401908201611d12565b50505082870194505b505050508351611d48818360208801611854565b01949350505050565b601f821115610d7457600081815260208120601f850160051c81016020861015611d785750805b601f850160051c820191505b81811015611d9757828155600101611d84565b505050505050565b815167ffffffffffffffff811115611db957611db961195c565b611dcd81611dc78454611baa565b84611d51565b602080601f831160018114611e025760008415611dea5750858301515b600019600386901b1c1916600185901b178555611d97565b600085815260208120601f198616915b82811015611e3157888601518255948401946001909101908401611e12565b5085821015611e4f5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b600181815b80851115611e9a578160001904821115611e8057611e80611be4565b80851615611e8d57918102915b93841c9390800290611e64565b509250929050565b600082611eb157506001610875565b81611ebe57506000610875565b8160018114611ed45760028114611ede57611efa565b6001915050610875565b60ff841115611eef57611eef611be4565b50506001821b610875565b5060208310610133831016604e8410600b8410161715611f1d575081810a610875565b611f278383611e5f565b8060001904821115611f3b57611f3b611be4565b029392505050565b60006110a260ff841683611ea2565b600082611f6f57634e487b7160e01b600052601260045260246000fd5b500490565b600060018201611f8657611f86611be4565b506001019056fea264697066735822122032c3d89268715dfa5d225ec3f3aa6b4079fe45b358c21266aa2b9934a329f25164736f6c63430008140033

0x6080604052600436106101ee5760003560e01c8063676dd5631161010d578063b88d4fde116100a0578063dd62ed3e1161006f578063dd62ed3e146105bc578063e0df5b6f146105f4578063e985e9c514610614578063ed9ec8881461064f578063f2fde38b1461067c57600080fd5b8063b88d4fde14610547578063c87b56dd14610567578063cbd419fc14610587578063d547cfb7146105a757600080fd5b806395d89b41116100dc57806395d89b41146104c25780639b19251a146104d7578063a22cb46514610507578063a9059cbb1461052757600080fd5b8063676dd5631461044457806370a082311461045f5780637a0d23021461048c5780638da5cb5b146104a257600080fd5b8063313ce56711610185578063504334c211610154578063504334c2146103ce57806353d6fd59146103ee5780635ade20211461040e5780636352211e1461042457600080fd5b8063313ce5671461033d57806342842e0e146103835780634c191fc3146103a35780634f02c420146103b857600080fd5b806318160ddd116101c157806318160ddd146102a657806323b872dd146102e857806325e16063146103085780632b9689581461032857600080fd5b806306fdde03146101f3578063081812fc1461021e578063095ea7b31461026c5780631249c58b1461029c575b600080fd5b3480156101ff57600080fd5b5061020861069c565b6040516102159190611878565b60405180910390f35b34801561022a57600080fd5b506102546102393660046118ab565b6006602052600090815260409020546001600160a01b031681565b6040516001600160a01b039091168152602001610215565b34801561027857600080fd5b5061028c6102873660046118db565b61072a565b6040519015158152602001610215565b6102a461087b565b005b3480156102b257600080fd5b506102da7f00000000000000000000000000000000000000000000021e19e0c9bab240000081565b604051908152602001610215565b3480156102f457600080fd5b506102a4610303366004611905565b6109f0565b34801561031457600080fd5b506102a4610323366004611941565b610d79565b34801561033457600080fd5b506102a4610e19565b34801561034957600080fd5b506103717f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff9091168152602001610215565b34801561038f57600080fd5b506102a461039e366004611905565b610e7f565b3480156103af57600080fd5b506102da600a81565b3480156103c457600080fd5b506102da60035481565b3480156103da57600080fd5b506102a46103e93660046119ff565b610f54565b3480156103fa57600080fd5b506102a4610409366004611a63565b610f8c565b34801561041a57600080fd5b506102da61271081565b34801561043057600080fd5b5061025461043f3660046118ab565b610fe1565b34801561045057600080fd5b506102da662aa1efb94e000081565b34801561046b57600080fd5b506102da61047a366004611941565b60046020526000908152604090205481565b34801561049857600080fd5b506102da600e5481565b3480156104ae57600080fd5b50600054610254906001600160a01b031681565b3480156104ce57600080fd5b5061020861101c565b3480156104e357600080fd5b5061028c6104f2366004611941565b600b6020526000908152604090205460ff1681565b34801561051357600080fd5b506102a4610522366004611a63565b611029565b34801561053357600080fd5b5061028c6105423660046118db565b611095565b34801561055357600080fd5b506102a4610562366004611a9f565b6110a9565b34801561057357600080fd5b506102086105823660046118ab565b61116c565b34801561059357600080fd5b50600c54610254906001600160a01b031681565b3480156105b357600080fd5b506102086111ca565b3480156105c857600080fd5b506102da6105d7366004611b3a565b600560209081526000928352604080842090915290825290205481565b34801561060057600080fd5b506102a461060f366004611b6d565b6111d7565b34801561062057600080fd5b5061028c61062f366004611b3a565b600760209081526000928352604080842090915290825290205460ff1681565b34801561065b57600080fd5b506102da61066a366004611941565b600f6020526000908152604090205481565b34801561068857600080fd5b506102a4610697366004611941565b61120d565b600180546106a990611baa565b80601f01602080910402602001604051908101604052809291908181526020018280546106d590611baa565b80156107225780601f106106f757610100808354040283529160200191610722565b820191906000526020600020905b81548152906001019060200180831161070557829003601f168201915b505050505081565b6000600354821115801561073e5750600082115b15610815576000828152600860205260409020546001600160a01b031633811480159061078f57506001600160a01b038116600090815260076020908152604080832033845290915290205460ff16155b156107ac576040516282b42960e81b815260040160405180910390fd5b60008381526006602090815260409182902080546001600160a01b0319166001600160a01b038881169182179092559251868152908416917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350610871565b3360008181526005602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35b5060015b92915050565b662aa1efb94e000034146108cc5760405162461bcd60e51b8152602060048201526013602482015272496e636f7272656374206574682076616c756560681b60448201526064015b60405180910390fd5b336000908152600f6020526040902054600a1161092b5760405162461bcd60e51b815260206004820152601760248201527f4578636565642075736572206d696e7420737570706c7900000000000000000060448201526064016108c3565b612710600e54106109745760405162461bcd60e51b815260206004820152601360248201527245786365656420746f74616c20737570706c7960681b60448201526064016108c3565b336000908152600f602052604090205461098f906001611bfa565b336000908152600f6020526040902055600e546109ad906001611bfa565b600e55336000908152600460205260409020546109d290670de0b6b3a7640000611bfa565b336000818152600460205260409020919091556109ee906112a9565b565b6003548111610d0a576000818152600860205260409020546001600160a01b03848116911614610a3357604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b038216610a5a57604051634e46966960e11b815260040160405180910390fd5b336001600160a01b03841614801590610a9757506001600160a01b038316600090815260076020908152604080832033845290915290205460ff16155b8015610aba57506000818152600660205260409020546001600160a01b03163314155b15610ad7576040516282b42960e81b815260040160405180910390fd5b610adf6113b4565b6001600160a01b03841660009081526004602052604081208054909190610b07908490611c0d565b90915550610b1590506113b4565b6001600160a01b03808416600081815260046020908152604080832080549096019095558582526008815284822080546001600160a01b031990811690941790556006815284822080549093169092559186168252600990529081208054610b7f90600190611c0d565b81548110610b8f57610b8f611c20565b60009182526020808320909101546001600160a01b0387168352600982526040808420868552600a90935290922054815492935083928110610bd357610bd3611c20565b60009182526020808320909101929092556001600160a01b0386168152600990915260409020805480610c0857610c08611c36565b600082815260208082208301600019908101839055909201909255838252600a8152604080832054848452818420556001600160a01b038616808452600983529083208054600181810183558286529385200186905592529054610c6c9190611c0d565b6000838152600a602052604080822092909255905183916001600160a01b0380871692908816917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4826001600160a01b0316846001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487610cf36113b4565b60405190815260200160405180910390a350505050565b6001600160a01b03831660009081526005602090815260408083203384529091529020546000198114610d6657610d418282611c0d565b6001600160a01b03851660009081526005602090815260408083203384529091529020555b610d718484846113e6565b50505b505050565b6000546001600160a01b03163314610da3576040516282b42960e81b815260040160405180910390fd5b4780610de35760405162461bcd60e51b815260206004820152600f60248201526e62616c616e6365206973207a65726f60881b60448201526064016108c3565b6040516001600160a01b0383169082156108fc029083906000818181858888f19350505050158015610d74573d6000803e3d6000fd5b6000546001600160a01b03163314610e43576040516282b42960e81b815260040160405180910390fd5b600080546001600160a01b031916815560405133907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3565b610e8a8383836109f0565b6001600160a01b0382163b15801590610f365750604051630a85bd0160e11b8082523360048301526001600160a01b03858116602484015260448301849052608060648401526000608484015290919084169063150b7a029060a4016020604051808303816000875af1158015610f05573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f299190611c4c565b6001600160e01b03191614155b15610d7457604051633da6393160e01b815260040160405180910390fd5b6000546001600160a01b03163314610f7e576040516282b42960e81b815260040160405180910390fd5b610f8882826115a8565b5050565b6000546001600160a01b03163314610fb6576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03919091166000908152600b60205260409020805460ff1916911515919091179055565b6000818152600860205260409020546001600160a01b0316806110175760405163c5723b5160e01b815260040160405180910390fd5b919050565b600280546106a990611baa565b3360008181526007602090815260408083206001600160a01b03871680855290835292819020805460ff191686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b60006110a23384846113e6565b9392505050565b6110b48585856109f0565b6001600160a01b0384163b1580159061114e5750604051630a85bd0160e11b808252906001600160a01b0386169063150b7a02906110fe9033908a90899089908990600401611c76565b6020604051808303816000875af115801561111d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111419190611c4c565b6001600160e01b03191614155b15610d7157604051633da6393160e01b815260040160405180910390fd5b60606000600d805461117d90611baa565b9050116111995760405180602001604052806000815250610875565b600d6111a4836115c1565b6040516020016111b5929190611cca565b60405160208183030381529060405292915050565b600d80546106a990611baa565b6000546001600160a01b03163314611201576040516282b42960e81b815260040160405180910390fd5b600d610f888282611d9f565b6000546001600160a01b03163314611237576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03811661125e576040516349e27cff60e01b815260040160405180910390fd5b600080546001600160a01b0319166001600160a01b0383169081178255604051909133917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a350565b6001600160a01b0381166112d057604051634e46966960e11b815260040160405180910390fd5b60038054600101908190556000818152600860205260409020546001600160a01b0316156113115760405163119b4fd360e11b815260040160405180910390fd5b600081815260086020908152604080832080546001600160a01b0319166001600160a01b0387169081179091558084526009835290832080546001818101835582865293852001859055925290546113699190611c0d565b6000828152600a602052604080822092909255905182916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b60006113e17f0000000000000000000000000000000000000000000000000000000000000012600a611f43565b905090565b6000806113f16113b4565b6001600160a01b038087166000818152600460205260408082208054948a168352908220549282529394509192909186919061142d8386611c0d565b90915550506001600160a01b03808716600090815260046020908152604080832080548a019055928a168252600b9052205460ff166114c9576001600160a01b03871660009081526004602052604081205461148a908590611f52565b6114948585611f52565b61149e9190611c0d565b905060005b818110156114c6576114b489611654565b806114be81611f74565b9150506114a3565b50505b6001600160a01b0386166000908152600b602052604090205460ff1661154e5760006114f58483611f52565b6001600160a01b038816600090815260046020526040902054611519908690611f52565b6115239190611c0d565b905060005b8181101561154b57611539886112a9565b8061154381611f74565b915050611528565b50505b856001600160a01b0316876001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e0314878760405161159391815260200190565b60405180910390a35060019695505050505050565b60016115b48382611d9f565b506002610d748282611d9f565b606060006115ce8361177c565b600101905060008167ffffffffffffffff8111156115ee576115ee61195c565b6040519080825280601f01601f191660200182016040528015611618576020820181803683370190505b5090508181016020015b600019016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a850494508461162257509392505050565b6001600160a01b03811661167b57604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b038116600090815260096020526040812080546116a190600190611c0d565b815481106116b1576116b1611c20565b9060005260206000200154905060096000836001600160a01b03166001600160a01b031681526020019081526020016000208054806116f2576116f2611c36565b600082815260208082208301600019908101839055909201909255828252600a815260408083208390556008825280832080546001600160a01b031990811690915560069092528083208054909216909155518291906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a45050565b60008072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b83106117bb5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef810000000083106117e7576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061180557662386f26fc10000830492506010015b6305f5e100831061181d576305f5e100830492506008015b612710831061183157612710830492506004015b60648310611843576064830492506002015b600a83106108755760010192915050565b60005b8381101561186f578181015183820152602001611857565b50506000910152565b6020815260008251806020840152611897816040850160208701611854565b601f01601f19169190910160400192915050565b6000602082840312156118bd57600080fd5b5035919050565b80356001600160a01b038116811461101757600080fd5b600080604083850312156118ee57600080fd5b6118f7836118c4565b946020939093013593505050565b60008060006060848603121561191a57600080fd5b611923846118c4565b9250611931602085016118c4565b9150604084013590509250925092565b60006020828403121561195357600080fd5b6110a2826118c4565b634e487b7160e01b600052604160045260246000fd5b600082601f83011261198357600080fd5b813567ffffffffffffffff8082111561199e5761199e61195c565b604051601f8301601f19908116603f011681019082821181831017156119c6576119c661195c565b816040528381528660208588010111156119df57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215611a1257600080fd5b823567ffffffffffffffff80821115611a2a57600080fd5b611a3686838701611972565b93506020850135915080821115611a4c57600080fd5b50611a5985828601611972565b9150509250929050565b60008060408385031215611a7657600080fd5b611a7f836118c4565b915060208301358015158114611a9457600080fd5b809150509250929050565b600080600080600060808688031215611ab757600080fd5b611ac0866118c4565b9450611ace602087016118c4565b935060408601359250606086013567ffffffffffffffff80821115611af257600080fd5b818801915088601f830112611b0657600080fd5b813581811115611b1557600080fd5b896020828501011115611b2757600080fd5b9699959850939650602001949392505050565b60008060408385031215611b4d57600080fd5b611b56836118c4565b9150611b64602084016118c4565b90509250929050565b600060208284031215611b7f57600080fd5b813567ffffffffffffffff811115611b9657600080fd5b611ba284828501611972565b949350505050565b600181811c90821680611bbe57607f821691505b602082108103611bde57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082018082111561087557610875611be4565b8181038181111561087557610875611be4565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052603160045260246000fd5b600060208284031215611c5e57600080fd5b81516001600160e01b0319811681146110a257600080fd5b6001600160a01b038681168252851660208201526040810184905260806060820181905281018290526000828460a0840137600060a0848401015260a0601f19601f85011683010190509695505050505050565b6000808454611cd881611baa565b60018281168015611cf05760018114611d0557611d34565b60ff1984168752821515830287019450611d34565b8860005260208060002060005b85811015611d2b5781548a820152908401908201611d12565b50505082870194505b505050508351611d48818360208801611854565b01949350505050565b601f821115610d7457600081815260208120601f850160051c81016020861015611d785750805b601f850160051c820191505b81811015611d9757828155600101611d84565b505050505050565b815167ffffffffffffffff811115611db957611db961195c565b611dcd81611dc78454611baa565b84611d51565b602080601f831160018114611e025760008415611dea5750858301515b600019600386901b1c1916600185901b178555611d97565b600085815260208120601f198616915b82811015611e3157888601518255948401946001909101908401611e12565b5085821015611e4f5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b600181815b80851115611e9a578160001904821115611e8057611e80611be4565b80851615611e8d57918102915b93841c9390800290611e64565b509250929050565b600082611eb157506001610875565b81611ebe57506000610875565b8160018114611ed45760028114611ede57611efa565b6001915050610875565b60ff841115611eef57611eef611be4565b50506001821b610875565b5060208310610133831016604e8410600b8410161715611f1d575081810a610875565b611f278383611e5f565b8060001904821115611f3b57611f3b611be4565b029392505050565b60006110a260ff841683611ea2565b600082611f6f57634e487b7160e01b600052601260045260246000fd5b500490565b600060018201611f8657611f86611be4565b506001019056fea264697066735822122032c3d89268715dfa5d225ec3f3aa6b4079fe45b358c21266aa2b9934a329f25164736f6c63430008140033

29479:1875:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20488:18;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21199:46;;;;;;;;;;-1:-1:-1;21199:46:0;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;21199:46:0;;;;;;-1:-1:-1;;;;;1019:32:1;;;1001:51;;989:2;974:18;21199:46:0;855:203:1;23030:642:0;;;;;;;;;;-1:-1:-1;23030:642:0;;;;;:::i;:::-;;:::i;:::-;;;1665:14:1;;1658:22;1640:41;;1628:2;1613:18;23030:642:0;1500:187:1;30074:522:0;;;:::i;:::-;;20724:36;;;;;;;;;;;;;;;;;;1838:25:1;;;1826:2;1811:18;20724:36:0;1692:177:1;24079:1716:0;;;;;;;;;;-1:-1:-1;24079:1716:0;;;;;:::i;:::-;;:::i;31153:198::-;;;;;;;;;;-1:-1:-1;31153:198:0;;;;;:::i;:::-;;:::i;18461:151::-;;;;;;;;;;;;;:::i;20624:31::-;;;;;;;;;;;;;;;;;;2570:4:1;2558:17;;;2540:36;;2528:2;2513:18;20624:31:0;2398:184:1;26091:405:0;;;;;;;;;;-1:-1:-1;26091:405:0;;;;;:::i;:::-;;:::i;29567:45::-;;;;;;;;;;;;29610:2;29567:45;;20859:21;;;;;;;;;;;;;;;;30718:158;;;;;;;;;;-1:-1:-1;30718:158:0;;;;;:::i;:::-;;:::i;22359:111::-;;;;;;;;;;-1:-1:-1;22359:111:0;;;;;:::i;:::-;;:::i;29511:49::-;;;;;;;;;;;;29555:5;29511:49;;22542:193;;;;;;;;;;-1:-1:-1;22542:193:0;;;;;:::i;:::-;;:::i;29619:47::-;;;;;;;;;;;;29655:11;29619:47;;20965:44;;;;;;;;;;-1:-1:-1;20965:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;29801:29;;;;;;;;;;;;;;;;17902:20;;;;;;;;;;-1:-1:-1;17902:20:0;;;;-1:-1:-1;;;;;17902:20:0;;;20542;;;;;;;;;;;;;:::i;21810:41::-;;;;;;;;;;-1:-1:-1;21810:41:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;23723:207;;;;;;;;;;-1:-1:-1;23723:207:0;;;;;:::i;:::-;;:::i;25854:160::-;;;;;;;;;;-1:-1:-1;25854:160:0;;;;;:::i;:::-;;:::i;26591:437::-;;;;;;;;;;-1:-1:-1;26591:437:0;;;;;:::i;:::-;;:::i;30884:261::-;;;;;;;;;;-1:-1:-1;30884:261:0;;;;;:::i;:::-;;:::i;29675:82::-;;;;;;;;;;-1:-1:-1;29675:82:0;;;;-1:-1:-1;;;;;29675:82:0;;;29766:26;;;;;;;;;;;;;:::i;21079:64::-;;;;;;;;;;-1:-1:-1;21079:64:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;30604:106;;;;;;;;;;-1:-1:-1;30604:106:0;;;;;:::i;:::-;;:::i;21310:68::-;;;;;;;;;;-1:-1:-1;21310:68:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;29839:44;;;;;;;;;;-1:-1:-1;29839:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;18234:219;;;;;;;;;;-1:-1:-1;18234:219:0;;;;;:::i;:::-;;:::i;20488:18::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23030:642::-;23133:4;23168:6;;23154:10;:20;;:38;;;;;23191:1;23178:10;:14;23154:38;23150:491;;;23209:13;23225:20;;;:8;:20;;;;;;-1:-1:-1;;;;;23225:20:0;23266:10;:19;;;;;:59;;-1:-1:-1;;;;;;23290:23:0;;;;;;:16;:23;;;;;;;;23314:10;23290:35;;;;;;;;;;23289:36;23266:59;23262:121;;;23353:14;;-1:-1:-1;;;23353:14:0;;;;;;;;;;;23262:121;23399:23;;;;:11;:23;;;;;;;;;:33;;-1:-1:-1;;;;;;23399:33:0;-1:-1:-1;;;;;23399:33:0;;;;;;;;;23454:36;;1838:25:1;;;23454:36:0;;;;;;1811:18:1;23454:36:0;;;;;;;23194:308;23150:491;;;23533:10;23523:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;23523:30:0;;;;;;;;;;;;:43;;;23588:41;1838:25:1;;;23523:30:0;;23533:10;23588:41;;1811:18:1;23588:41:0;;;;;;;23150:491;-1:-1:-1;23660:4:0;23030:642;;;;;:::o;30074:522::-;29655:11;30126:9;:22;30118:54;;;;-1:-1:-1;;;30118:54:0;;6335:2:1;30118:54:0;;;6317:21:1;6374:2;6354:18;;;6347:30;-1:-1:-1;;;6393:18:1;;;6386:49;6452:18;;30118:54:0;;;;;;;;;30217:10;30207:21;;;;:9;:21;;;;;;29610:2;-1:-1:-1;30185:113:0;;;;-1:-1:-1;;;30185:113:0;;6683:2:1;30185:113:0;;;6665:21:1;6722:2;6702:18;;;6695:30;6761:25;6741:18;;;6734:53;6804:18;;30185:113:0;6481:347:1;30185:113:0;29555:5;30317:14;;:34;30309:66;;;;-1:-1:-1;;;30309:66:0;;7035:2:1;30309:66:0;;;7017:21:1;7074:2;7054:18;;;7047:30;-1:-1:-1;;;7093:18:1;;;7086:49;7152:18;;30309:66:0;6833:343:1;30309:66:0;30420:10;30410:21;;;;:9;:21;;;;;;:25;;30434:1;30410:25;:::i;:::-;30396:10;30386:21;;;;:9;:21;;;;;:49;30463:14;;:18;;30480:1;30463:18;:::i;:::-;30446:14;:35;30528:10;30518:21;;;;:9;:21;;;;;;:36;;30542:12;30518:36;:::i;:::-;30504:10;30494:21;;;;:9;:21;;;;;:60;;;;30565:23;;:11;:23::i;:::-;30074:522::o;24079:1716::-;24225:6;;24211:10;:20;24207:1581;;24260:20;;;;:8;:20;;;;;;-1:-1:-1;;;;;24252:28:0;;;24260:20;;24252:28;24248:91;;24308:15;;-1:-1:-1;;;24308:15:0;;;;;;;;;;;24248:91;-1:-1:-1;;;;;24359:16:0;;24355:82;;24403:18;;-1:-1:-1;;;24403:18:0;;;;;;;;;;;24355:82;24475:10;-1:-1:-1;;;;;24475:18:0;;;;;;:74;;-1:-1:-1;;;;;;24515:22:0;;;;;;:16;:22;;;;;;;;24538:10;24515:34;;;;;;;;;;24514:35;24475:74;:132;;;;-1:-1:-1;24584:23:0;;;;:11;:23;;;;;;-1:-1:-1;;;;;24584:23:0;24570:10;:37;;24475:132;24453:226;;;24649:14;;-1:-1:-1;;;24649:14:0;;;;;;;;;;;24453:226;24714:10;:8;:10::i;:::-;-1:-1:-1;;;;;24695:15:0;;;;;;:9;:15;;;;;:29;;:15;;;:29;;;;;:::i;:::-;;;;-1:-1:-1;24787:10:0;;-1:-1:-1;24787:8:0;:10::i;:::-;-1:-1:-1;;;;;24770:13:0;;;;;;;:9;:13;;;;;;;;:27;;;;;;;;24829:20;;;:8;:20;;;;;:25;;-1:-1:-1;;;;;;24829:25:0;;;;;;;;24876:11;:23;;;;;24869:30;;;;;;;;24977:12;;;;;:6;:12;;;;;24990:19;;:23;;-1:-1:-1;;24990:23:0;:::i;:::-;24977:37;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;25029:12:0;;;;:6;:12;;;;;;25042:23;;;:11;:23;;;;;;;25029:37;;24977;;-1:-1:-1;24977:37:0;;25029;;;;;;:::i;:::-;;;;;;;;;;;;:49;;;;-1:-1:-1;;;;;25113:12:0;;;;:6;:12;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;-1:-1:-1;;25113:18:0;;;;;;;;;;;;25217:23;;;:11;:23;;;;;;;25192:22;;;;;;:48;-1:-1:-1;;;;;25294:10:0;;;;;:6;:10;;;;;:27;;25113:18;25294:27;;;;;;;;;;;;;;;25404:10;;:17;;:21;;25113:18;25404:21;:::i;:::-;25378:23;;;;:11;:23;;;;;;:47;;;;25447:30;;25390:10;;-1:-1:-1;;;;;25447:30:0;;;;;;;;;;;25517:2;-1:-1:-1;;;;;25497:35:0;25511:4;-1:-1:-1;;;;;25497:35:0;;25521:10;:8;:10::i;:::-;25497:35;;1838:25:1;;;1826:2;1811:18;25497:35:0;;;;;;;24233:1311;24079:1716;;;:::o;24207:1581::-;-1:-1:-1;;;;;25583:15:0;;25565;25583;;;:9;:15;;;;;;;;25599:10;25583:27;;;;;;;;-1:-1:-1;;25631:28:0;;25627:101;;25708:20;25718:10;25708:7;:20;:::i;:::-;-1:-1:-1;;;;;25678:15:0;;;;;;:9;:15;;;;;;;;25694:10;25678:27;;;;;;;:50;25627:101;25745:31;25755:4;25761:2;25765:10;25745:9;:31::i;:::-;;25550:238;24207:1581;24079:1716;;;:::o;31153:198::-;17989:5;;-1:-1:-1;;;;;17989:5:0;17975:10;:19;17971:46;;18003:14;;-1:-1:-1;;;18003:14:0;;;;;;;;;;;17971:46;31232:21:::1;31272:11:::0;31264:39:::1;;;::::0;-1:-1:-1;;;31264:39:0;;8042:2:1;31264:39:0::1;::::0;::::1;8024:21:1::0;8081:2;8061:18;;;8054:30;-1:-1:-1;;;8100:18:1;;;8093:45;8155:18;;31264:39:0::1;7840:339:1::0;31264:39:0::1;31314:29;::::0;-1:-1:-1;;;;;31314:20:0;::::1;::::0;:29;::::1;;;::::0;31335:7;;31314:29:::1;::::0;;;31335:7;31314:20;:29;::::1;;;;;;;;;;;;;::::0;::::1;;;;18461:151:::0;17989:5;;-1:-1:-1;;;;;17989:5:0;17975:10;:19;17971:46;;18003:14;;-1:-1:-1;;;18003:14:0;;;;;;;;;;;17971:46;18540:1:::1;18524:18:::0;;-1:-1:-1;;;;;;18524:18:0::1;::::0;;18560:44:::1;::::0;18581:10:::1;::::0;18560:44:::1;::::0;18540:1;;18560:44:::1;18461:151::o:0;26091:405::-;26215:26;26228:4;26234:2;26238;26215:12;:26::i;:::-;-1:-1:-1;;;;;26272:14:0;;;:19;;;;:154;;-1:-1:-1;26308:61:0;;-1:-1:-1;;;26308:61:0;;;26344:10;26308:61;;;8489:34:1;-1:-1:-1;;;;;8559:15:1;;;8539:18;;;8532:43;8591:18;;;8584:34;;;8654:3;8634:18;;;8627:31;-1:-1:-1;8674:19:1;;;8667:30;26386:40:0;;26308:35;;;;26386:40;;8714:19:1;;26308:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;26308:118:0;;;26272:154;26254:235;;;26460:17;;-1:-1:-1;;;26460:17:0;;;;;;;;;;;30718:158;17989:5;;-1:-1:-1;;;;;17989:5:0;17975:10;:19;17971:46;;18003:14;;-1:-1:-1;;;18003:14:0;;;;;;;;;;;17971:46;30838:30:::1;30853:5;30860:7;30838:14;:30::i;:::-;30718:158:::0;;:::o;22359:111::-;17989:5;;-1:-1:-1;;;;;17989:5:0;17975:10;:19;17971:46;;18003:14;;-1:-1:-1;;;18003:14:0;;;;;;;;;;;17971:46;-1:-1:-1;;;;;22437:17:0;;;::::1;;::::0;;;:9:::1;:17;::::0;;;;:25;;-1:-1:-1;;22437:25:0::1;::::0;::::1;;::::0;;;::::1;::::0;;22359:111::o;22542:193::-;22600:13;22634:12;;;:8;:12;;;;;;-1:-1:-1;;;;;22634:12:0;;22659:69;;22706:10;;-1:-1:-1;;;22706:10:0;;;;;;;;;;;22659:69;22542:193;;;:::o;20542:20::-;;;;;;;:::i;23723:207::-;23826:10;23809:28;;;;:16;:28;;;;;;;;-1:-1:-1;;;;;23809:38:0;;;;;;;;;;;;:49;;-1:-1:-1;;23809:49:0;;;;;;;;;;23876:46;;1640:41:1;;;23809:38:0;;23826:10;23876:46;;1613:18:1;23876:46:0;;;;;;;23723:207;;:::o;25854:160::-;25949:4;25973:33;25983:10;25995:2;25999:6;25973:9;:33::i;:::-;25966:40;25854:160;-1:-1:-1;;;25854:160:0:o;26591:437::-;26745:26;26758:4;26764:2;26768;26745:12;:26::i;:::-;-1:-1:-1;;;;;26802:14:0;;;:19;;;;:156;;-1:-1:-1;26838:63:0;;-1:-1:-1;;;26838:63:0;;;26918:40;-1:-1:-1;;;;;26838:35:0;;;26918:40;;26838:63;;26874:10;;26886:4;;26892:2;;26896:4;;;;26838:63;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;26838:120:0;;;26802:156;26784:237;;;26992:17;;-1:-1:-1;;;26992:17:0;;;;;;;;;;;30884:261;30965:13;31040:1;31017:12;31011:26;;;;;:::i;:::-;;;:30;:126;;;;;;;;;;;;;;;;;31075:12;31089:25;31106:7;31089:16;:25::i;:::-;31061:54;;;;;;;;;:::i;:::-;;;;;;;;;;;;;30991:146;30884:261;-1:-1:-1;;30884:261:0:o;29766:26::-;;;;;;;:::i;30604:106::-;17989:5;;-1:-1:-1;;;;;17989:5:0;17975:10;:19;17971:46;;18003:14;;-1:-1:-1;;;18003:14:0;;;;;;;;;;;17971:46;30678:12:::1;:24;30693:9:::0;30678:12;:24:::1;:::i;18234:219::-:0;17989:5;;-1:-1:-1;;;;;17989:5:0;17975:10;:19;17971:46;;18003:14;;-1:-1:-1;;;18003:14:0;;;;;;;;;;;17971:46;-1:-1:-1;;;;;18317:20:0;::::1;18313:47;;18346:14;;-1:-1:-1::0;;;18346:14:0::1;;;;;;;;;;;18313:47;18373:5;:14:::0;;-1:-1:-1;;;;;;18373:14:0::1;-1:-1:-1::0;;;;;18373:14:0;::::1;::::0;;::::1;::::0;;18405:40:::1;::::0;18373:14;;18426:10:::1;::::0;18405:40:::1;::::0;18373:5;18405:40:::1;18234:219:::0;:::o;28328:474::-;-1:-1:-1;;;;;28387:16:0;;28383:74;;28427:18;;-1:-1:-1;;;28427:18:0;;;;;;;;;;;28383:74;28494:6;:8;;;;;;;;:6;28562:12;;;:8;:12;;;;;;-1:-1:-1;;;;;28562:12:0;:26;28558:81;;28612:15;;-1:-1:-1;;;28612:15:0;;;;;;;;;;;28558:81;28651:12;;;;:8;:12;;;;;;;;:17;;-1:-1:-1;;;;;;28651:17:0;-1:-1:-1;;;;;28651:17:0;;;;;;;;28679:10;;;:6;:10;;;;;:19;;-1:-1:-1;28679:19:0;;;;;;;;;;;;;;;28727:10;;:17;;:21;;-1:-1:-1;28727:21:0;:::i;:::-;28709:15;;;;:11;:15;;;;;;:39;;;;28766:28;;28721:2;;-1:-1:-1;;;;;28766:28:0;;;;;28709:15;;28766:28;28372:430;28328:474;:::o;28228:92::-;28271:7;28298:14;28304:8;28298:2;:14;:::i;:::-;28291:21;;28228:92;:::o;27096:1093::-;27209:4;27226:12;27241:10;:8;:10::i;:::-;-1:-1:-1;;;;;27292:15:0;;;27262:27;27292:15;;;:9;:15;;;;;;;;27350:13;;;;;;;;;27376:15;;;27226:25;;-1:-1:-1;27292:15:0;;27350:13;;27395:6;;27292:15;27376:25;27395:6;27292:15;27376:25;:::i;:::-;;;;-1:-1:-1;;;;;;;27439:13:0;;;;;;;:9;:13;;;;;;;;:23;;;;;;27547:15;;;;;:9;:15;;;;;;27542:251;;-1:-1:-1;;;;;27653:15:0;;27579:22;27653:15;;;:9;:15;;;;;;:22;;27671:4;;27653:22;:::i;:::-;27605:26;27627:4;27605:19;:26;:::i;:::-;27604:72;;;;:::i;:::-;27579:97;;27696:9;27691:91;27715:14;27711:1;:18;27691:91;;;27755:11;27761:4;27755:5;:11::i;:::-;27731:3;;;;:::i;:::-;;;;27691:91;;;;27564:229;27542:251;-1:-1:-1;;;;;27869:13:0;;;;;;:9;:13;;;;;;;;27864:247;;27899:22;27967:28;27991:4;27967:21;:28;:::i;:::-;-1:-1:-1;;;;;27925:13:0;;;;;;:9;:13;;;;;;:20;;27941:4;;27925:20;:::i;:::-;27924:72;;;;:::i;:::-;27899:97;;28016:9;28011:89;28035:14;28031:1;:18;28011:89;;;28075:9;28081:2;28075:5;:9::i;:::-;28051:3;;;;:::i;:::-;;;;28011:89;;;;27884:227;27864:247;28148:2;-1:-1:-1;;;;;28128:31:0;28142:4;-1:-1:-1;;;;;28128:31:0;;28152:6;28128:31;;;;1838:25:1;;1826:2;1811:18;;1692:177;28128:31:0;;;;;;;;-1:-1:-1;28177:4:0;;27096:1093;-1:-1:-1;;;;;;27096:1093:0:o;29191:160::-;29304:4;:12;29311:5;29304:4;:12;:::i;:::-;-1:-1:-1;29327:6:0;:16;29336:7;29327:6;:16;:::i;15202:716::-;15258:13;15309:14;15326:17;15337:5;15326:10;:17::i;:::-;15346:1;15326:21;15309:38;;15362:20;15396:6;15385:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15385:18:0;-1:-1:-1;15362:41:0;-1:-1:-1;15527:28:0;;;15543:2;15527:28;15584:288;-1:-1:-1;;15616:5:0;-1:-1:-1;;;15753:2:0;15742:14;;15737:30;15616:5;15724:44;15814:2;15805:11;;;-1:-1:-1;15835:21:0;15584:288;15835:21;-1:-1:-1;15893:6:0;15202:716;-1:-1:-1;;;15202:716:0:o;28810:373::-;-1:-1:-1;;;;;28871:18:0;;28867:73;;28913:15;;-1:-1:-1;;;28913:15:0;;;;;;;;;;;28867:73;-1:-1:-1;;;;;28965:12:0;;28952:10;28965:12;;;:6;:12;;;;;28978:19;;:23;;29000:1;;28978:23;:::i;:::-;28965:37;;;;;;;;:::i;:::-;;;;;;;;;28952:50;;29013:6;:12;29020:4;-1:-1:-1;;;;;29013:12:0;-1:-1:-1;;;;;29013:12:0;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;-1:-1:-1;;29013:18:0;;;;;;;;;;;;29049:15;;;:11;:15;;;;;;29042:22;;;29082:8;:12;;;;;29075:19;;-1:-1:-1;;;;;;29075:19:0;;;;;;29112:11;:15;;;;;;29105:22;;;;;;;;29145:30;29061:2;;29013:18;-1:-1:-1;;;;;29145:30:0;;;;;29013:18;;29145:30;28856:327;28810:373;:::o;10585:948::-;10638:7;;-1:-1:-1;;;10716:17:0;;10712:106;;-1:-1:-1;;;10754:17:0;;;-1:-1:-1;10800:2:0;10790:12;10712:106;10845:8;10836:5;:17;10832:106;;10883:8;10874:17;;;-1:-1:-1;10920:2:0;10910:12;10832:106;10965:8;10956:5;:17;10952:106;;11003:8;10994:17;;;-1:-1:-1;11040:2:0;11030:12;10952:106;11085:7;11076:5;:16;11072:103;;11122:7;11113:16;;;-1:-1:-1;11158:1:0;11148:11;11072:103;11202:7;11193:5;:16;11189:103;;11239:7;11230:16;;;-1:-1:-1;11275:1:0;11265:11;11189:103;11319:7;11310:5;:16;11306:103;;11356:7;11347:16;;;-1:-1:-1;11392:1:0;11382:11;11306:103;11436:7;11427:5;:16;11423:68;;11474:1;11464:11;11519:6;10585:948;-1:-1:-1;;10585:948:0:o;14:250:1:-;99:1;109:113;123:6;120:1;117:13;109:113;;;199:11;;;193:18;180:11;;;173:39;145:2;138:10;109:113;;;-1:-1:-1;;256:1:1;238:16;;231:27;14:250::o;269:396::-;418:2;407:9;400:21;381:4;450:6;444:13;493:6;488:2;477:9;473:18;466:34;509:79;581:6;576:2;565:9;561:18;556:2;548:6;544:15;509:79;:::i;:::-;649:2;628:15;-1:-1:-1;;624:29:1;609:45;;;;656:2;605:54;;269:396;-1:-1:-1;;269:396:1:o;670:180::-;729:6;782:2;770:9;761:7;757:23;753:32;750:52;;;798:1;795;788:12;750:52;-1:-1:-1;821:23:1;;670:180;-1:-1:-1;670:180:1:o;1063:173::-;1131:20;;-1:-1:-1;;;;;1180:31:1;;1170:42;;1160:70;;1226:1;1223;1216:12;1241:254;1309:6;1317;1370:2;1358:9;1349:7;1345:23;1341:32;1338:52;;;1386:1;1383;1376:12;1338:52;1409:29;1428:9;1409:29;:::i;:::-;1399:39;1485:2;1470:18;;;;1457:32;;-1:-1:-1;;;1241:254:1:o;1874:328::-;1951:6;1959;1967;2020:2;2008:9;1999:7;1995:23;1991:32;1988:52;;;2036:1;2033;2026:12;1988:52;2059:29;2078:9;2059:29;:::i;:::-;2049:39;;2107:38;2141:2;2130:9;2126:18;2107:38;:::i;:::-;2097:48;;2192:2;2181:9;2177:18;2164:32;2154:42;;1874:328;;;;;:::o;2207:186::-;2266:6;2319:2;2307:9;2298:7;2294:23;2290:32;2287:52;;;2335:1;2332;2325:12;2287:52;2358:29;2377:9;2358:29;:::i;2587:127::-;2648:10;2643:3;2639:20;2636:1;2629:31;2679:4;2676:1;2669:15;2703:4;2700:1;2693:15;2719:719;2762:5;2815:3;2808:4;2800:6;2796:17;2792:27;2782:55;;2833:1;2830;2823:12;2782:55;2869:6;2856:20;2895:18;2932:2;2928;2925:10;2922:36;;;2938:18;;:::i;:::-;3013:2;3007:9;2981:2;3067:13;;-1:-1:-1;;3063:22:1;;;3087:2;3059:31;3055:40;3043:53;;;3111:18;;;3131:22;;;3108:46;3105:72;;;3157:18;;:::i;:::-;3197:10;3193:2;3186:22;3232:2;3224:6;3217:18;3278:3;3271:4;3266:2;3258:6;3254:15;3250:26;3247:35;3244:55;;;3295:1;3292;3285:12;3244:55;3359:2;3352:4;3344:6;3340:17;3333:4;3325:6;3321:17;3308:54;3406:1;3399:4;3394:2;3386:6;3382:15;3378:26;3371:37;3426:6;3417:15;;;;;;2719:719;;;;:::o;3443:543::-;3531:6;3539;3592:2;3580:9;3571:7;3567:23;3563:32;3560:52;;;3608:1;3605;3598:12;3560:52;3648:9;3635:23;3677:18;3718:2;3710:6;3707:14;3704:34;;;3734:1;3731;3724:12;3704:34;3757:50;3799:7;3790:6;3779:9;3775:22;3757:50;:::i;:::-;3747:60;;3860:2;3849:9;3845:18;3832:32;3816:48;;3889:2;3879:8;3876:16;3873:36;;;3905:1;3902;3895:12;3873:36;;3928:52;3972:7;3961:8;3950:9;3946:24;3928:52;:::i;:::-;3918:62;;;3443:543;;;;;:::o;3991:347::-;4056:6;4064;4117:2;4105:9;4096:7;4092:23;4088:32;4085:52;;;4133:1;4130;4123:12;4085:52;4156:29;4175:9;4156:29;:::i;:::-;4146:39;;4235:2;4224:9;4220:18;4207:32;4282:5;4275:13;4268:21;4261:5;4258:32;4248:60;;4304:1;4301;4294:12;4248:60;4327:5;4317:15;;;3991:347;;;;;:::o;4343:808::-;4440:6;4448;4456;4464;4472;4525:3;4513:9;4504:7;4500:23;4496:33;4493:53;;;4542:1;4539;4532:12;4493:53;4565:29;4584:9;4565:29;:::i;:::-;4555:39;;4613:38;4647:2;4636:9;4632:18;4613:38;:::i;:::-;4603:48;;4698:2;4687:9;4683:18;4670:32;4660:42;;4753:2;4742:9;4738:18;4725:32;4776:18;4817:2;4809:6;4806:14;4803:34;;;4833:1;4830;4823:12;4803:34;4871:6;4860:9;4856:22;4846:32;;4916:7;4909:4;4905:2;4901:13;4897:27;4887:55;;4938:1;4935;4928:12;4887:55;4978:2;4965:16;5004:2;4996:6;4993:14;4990:34;;;5020:1;5017;5010:12;4990:34;5065:7;5060:2;5051:6;5047:2;5043:15;5039:24;5036:37;5033:57;;;5086:1;5083;5076:12;5033:57;4343:808;;;;-1:-1:-1;4343:808:1;;-1:-1:-1;5117:2:1;5109:11;;5139:6;4343:808;-1:-1:-1;;;4343:808:1:o;5156:260::-;5224:6;5232;5285:2;5273:9;5264:7;5260:23;5256:32;5253:52;;;5301:1;5298;5291:12;5253:52;5324:29;5343:9;5324:29;:::i;:::-;5314:39;;5372:38;5406:2;5395:9;5391:18;5372:38;:::i;:::-;5362:48;;5156:260;;;;;:::o;5421:322::-;5490:6;5543:2;5531:9;5522:7;5518:23;5514:32;5511:52;;;5559:1;5556;5549:12;5511:52;5599:9;5586:23;5632:18;5624:6;5621:30;5618:50;;;5664:1;5661;5654:12;5618:50;5687;5729:7;5720:6;5709:9;5705:22;5687:50;:::i;:::-;5677:60;5421:322;-1:-1:-1;;;;5421:322:1:o;5748:380::-;5827:1;5823:12;;;;5870;;;5891:61;;5945:4;5937:6;5933:17;5923:27;;5891:61;5998:2;5990:6;5987:14;5967:18;5964:38;5961:161;;6044:10;6039:3;6035:20;6032:1;6025:31;6079:4;6076:1;6069:15;6107:4;6104:1;6097:15;5961:161;;5748:380;;;:::o;7181:127::-;7242:10;7237:3;7233:20;7230:1;7223:31;7273:4;7270:1;7263:15;7297:4;7294:1;7287:15;7313:125;7378:9;;;7399:10;;;7396:36;;;7412:18;;:::i;7443:128::-;7510:9;;;7531:11;;;7528:37;;;7545:18;;:::i;7576:127::-;7637:10;7632:3;7628:20;7625:1;7618:31;7668:4;7665:1;7658:15;7692:4;7689:1;7682:15;7708:127;7769:10;7764:3;7760:20;7757:1;7750:31;7800:4;7797:1;7790:15;7824:4;7821:1;7814:15;8744:290;8813:6;8866:2;8854:9;8845:7;8841:23;8837:32;8834:52;;;8882:1;8879;8872:12;8834:52;8908:16;;-1:-1:-1;;;;;;8953:32:1;;8943:43;;8933:71;;9000:1;8997;8990:12;9039:662;-1:-1:-1;;;;;9318:15:1;;;9300:34;;9370:15;;9365:2;9350:18;;9343:43;9417:2;9402:18;;9395:34;;;9465:3;9460:2;9445:18;;9438:31;;;9485:19;;9478:35;;;9243:4;9506:6;9556;9280:3;9535:19;;9522:49;9621:1;9615:3;9606:6;9595:9;9591:22;9587:32;9580:43;9691:3;9684:2;9680:7;9675:2;9667:6;9663:15;9659:29;9648:9;9644:45;9640:55;9632:63;;9039:662;;;;;;;;:::o;9832:1020::-;10008:3;10037:1;10070:6;10064:13;10100:36;10126:9;10100:36;:::i;:::-;10155:1;10172:18;;;10199:133;;;;10346:1;10341:356;;;;10165:532;;10199:133;-1:-1:-1;;10232:24:1;;10220:37;;10305:14;;10298:22;10286:35;;10277:45;;;-1:-1:-1;10199:133:1;;10341:356;10372:6;10369:1;10362:17;10402:4;10447:2;10444:1;10434:16;10472:1;10486:165;10500:6;10497:1;10494:13;10486:165;;;10578:14;;10565:11;;;10558:35;10621:16;;;;10515:10;;10486:165;;;10490:3;;;10680:6;10675:3;10671:16;10664:23;;10165:532;;;;;10728:6;10722:13;10744:68;10803:8;10798:3;10791:4;10783:6;10779:17;10744:68;:::i;:::-;10828:18;;9832:1020;-1:-1:-1;;;;9832:1020:1:o;10857:545::-;10959:2;10954:3;10951:11;10948:448;;;10995:1;11020:5;11016:2;11009:17;11065:4;11061:2;11051:19;11135:2;11123:10;11119:19;11116:1;11112:27;11106:4;11102:38;11171:4;11159:10;11156:20;11153:47;;;-1:-1:-1;11194:4:1;11153:47;11249:2;11244:3;11240:12;11237:1;11233:20;11227:4;11223:31;11213:41;;11304:82;11322:2;11315:5;11312:13;11304:82;;;11367:17;;;11348:1;11337:13;11304:82;;;11308:3;;;10857:545;;;:::o;11578:1352::-;11704:3;11698:10;11731:18;11723:6;11720:30;11717:56;;;11753:18;;:::i;:::-;11782:97;11872:6;11832:38;11864:4;11858:11;11832:38;:::i;:::-;11826:4;11782:97;:::i;:::-;11934:4;;11998:2;11987:14;;12015:1;12010:663;;;;12717:1;12734:6;12731:89;;;-1:-1:-1;12786:19:1;;;12780:26;12731:89;-1:-1:-1;;11535:1:1;11531:11;;;11527:24;11523:29;11513:40;11559:1;11555:11;;;11510:57;12833:81;;11980:944;;12010:663;9779:1;9772:14;;;9816:4;9803:18;;-1:-1:-1;;12046:20:1;;;12164:236;12178:7;12175:1;12172:14;12164:236;;;12267:19;;;12261:26;12246:42;;12359:27;;;;12327:1;12315:14;;;;12194:19;;12164:236;;;12168:3;12428:6;12419:7;12416:19;12413:201;;;12489:19;;;12483:26;-1:-1:-1;;12572:1:1;12568:14;;;12584:3;12564:24;12560:37;12556:42;12541:58;12526:74;;12413:201;-1:-1:-1;;;;;12660:1:1;12644:14;;;12640:22;12627:36;;-1:-1:-1;11578:1352:1:o;12935:422::-;13024:1;13067:5;13024:1;13081:270;13102:7;13092:8;13089:21;13081:270;;;13161:4;13157:1;13153:6;13149:17;13143:4;13140:27;13137:53;;;13170:18;;:::i;:::-;13220:7;13210:8;13206:22;13203:55;;;13240:16;;;;13203:55;13319:22;;;;13279:15;;;;13081:270;;;13085:3;12935:422;;;;;:::o;13362:806::-;13411:5;13441:8;13431:80;;-1:-1:-1;13482:1:1;13496:5;;13431:80;13530:4;13520:76;;-1:-1:-1;13567:1:1;13581:5;;13520:76;13612:4;13630:1;13625:59;;;;13698:1;13693:130;;;;13605:218;;13625:59;13655:1;13646:10;;13669:5;;;13693:130;13730:3;13720:8;13717:17;13714:43;;;13737:18;;:::i;:::-;-1:-1:-1;;13793:1:1;13779:16;;13808:5;;13605:218;;13907:2;13897:8;13894:16;13888:3;13882:4;13879:13;13875:36;13869:2;13859:8;13856:16;13851:2;13845:4;13842:12;13838:35;13835:77;13832:159;;;-1:-1:-1;13944:19:1;;;13976:5;;13832:159;14023:34;14048:8;14042:4;14023:34;:::i;:::-;14093:6;14089:1;14085:6;14081:19;14072:7;14069:32;14066:58;;;14104:18;;:::i;:::-;14142:20;;13362:806;-1:-1:-1;;;13362:806:1:o;14173:140::-;14231:5;14260:47;14301:4;14291:8;14287:19;14281:4;14260:47;:::i;14450:217::-;14490:1;14516;14506:132;;14560:10;14555:3;14551:20;14548:1;14541:31;14595:4;14592:1;14585:15;14623:4;14620:1;14613:15;14506:132;-1:-1:-1;14652:9:1;;14450:217::o;14672:135::-;14711:3;14732:17;;;14729:43;;14752:18;;:::i;:::-;-1:-1:-1;14799:1:1;14788:13;;14672:135::o

ipfs://32c3d89268715dfa5d225ec3f3aa6b4079fe45b358c21266aa2b9934a329f251