Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
•    - function ceilDiv(uint256 a, uint256 b ...
•    - function mulDiv(uint256 x, uint256 y, ...
•    - function mulDiv(uint256 x, uint256 y, ...
•    - function sqrt(uint256 a)
•    - function sqrt(uint256 a, Rounding rou ...
•    - function log2(uint256 value)
•    - function log2(uint256 value, Rounding ...
•    - function log10(uint256 value)
•    - function log10(uint256 value, Roundin ...
•    - function log256(uint256 value)
•    - function log256(uint256 value, Roundi ...
• library SignedMath
•    - function max(int256 a, int256 b)
•    - function min(int256 a, int256 b)
•    - function average(int256 a, int256 b)
•    - function abs(int256 n)
• library Strings
•    - function toString(uint256 value)
•    - function toString(int256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function toHexString(address addr)
•    - function equal(string memory a, strin ...
•    - function transferOwnership(address _o ...
•    - function revokeOwnership()
•    - function onERC721Received(
•    - function setWhitelist(address target, ...
•    - function ownerOf(uint256 id)
•    - function tokenURI(uint256 id)
•    - function approve(
•    - function setApprovalForAll(address op ...
•    - function transferFrom(
•    - function transfer(
•    - function safeTransferFrom(
•    - function safeTransferFrom(
•    - function _transfer(
•    - function _getUnit()
•    - function _mint(address to)
•    - function _burn(address from)
•    - function _setNameSymbol(
•  contract BoredPunks is ERC404 *
•    - function mint()
•    - function setTokenURI(string memory _t ...
•    - function setNameSymbol(
•    - function tokenURI(
•    - function withdrawEth(address to)

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at apescan.io on 2024-10-22
*/

// https://404boredpunks.xyz/
// https://x.com/BoredPunks404


// SPDX-License-Identifier: MIT 


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



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


contract BoredPunks is ERC404 {
    uint256 public constant TOTAL_MINT_SUPPLY = 10000;
    uint256 public constant USER_MINT_SUPPLY = 100;
    uint256 public constant NFT_PRICE = 2 ether;

    address public BoredPunksTreasury = address(0x72355AB5bC42994eA2DDdB3f13Dbd2306D05954d);

    string public baseTokenURI;

    uint256 public totalMintCount;

    mapping(address => uint256) public mintCount;

    constructor() ERC404("404BoredPunks", "404PUNKS", 18, 10000, msg.sender) {
        balanceOf[BoredPunksTreasury] = 1000 * 10 ** 18;
        setWhitelist(BoredPunksTreasury, 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":"BoredPunksTreasury","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"}]

60c0604052600c80546001600160a01b0319167372355ab5bc42994ea2dddb3f13dbd2306d05954d179055348015610035575f80fd5b50604080518082018252600d81526c343034426f72656450756e6b7360981b6020808301919091528251808401909352600883526734303450554e4b5360c01b9083015290601261271033808061009f576040516349e27cff60e01b815260040160405180910390fd5b5f80546001600160a01b0319166001600160a01b03831690811782556040519091907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060016100f3868261024f565b506002610100858261024f565b5060ff8316608081905261011590600a610402565b61011f9083610417565b60a0525050600c80546001600160a01b039081165f908152600460205260409020683635c9adc5dea000009055905461015f945016915060019050610164565b61042e565b5f546001600160a01b0316331461018d576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03919091165f908152600b60205260409020805460ff1916911515919091179055565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806101df57607f821691505b6020821081036101fd57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561024a57805f5260205f20601f840160051c810160208510156102285750805b601f840160051c820191505b81811015610247575f8155600101610234565b50505b505050565b81516001600160401b03811115610268576102686101b7565b61027c8161027684546101cb565b84610203565b6020601f8211600181146102ae575f83156102975750848201515b5f19600385901b1c1916600184901b178455610247565b5f84815260208120601f198516915b828110156102dd57878501518255602094850194600190920191016102bd565b50848210156102fa57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156103585780850481111561033c5761033c610309565b600184161561034a57908102905b60019390931c928002610321565b935093915050565b5f8261036e575060016103fc565b8161037a57505f6103fc565b8160018114610390576002811461039a576103b6565b60019150506103fc565b60ff8411156103ab576103ab610309565b50506001821b6103fc565b5060208310610133831016604e8410600b84101617156103d9575081810a6103fc565b6103e55f19848461031d565b805f19048211156103f8576103f8610309565b0290505b92915050565b5f61041060ff841683610360565b9392505050565b80820281158282048414176103fc576103fc610309565b60805160a051611eb86104565f395f6102aa01525f818161035c01526113570152611eb85ff3fe6080604052600436106101e6575f3560e01c80636352211e11610108578063a9059cbb1161009d578063dd62ed3e1161006d578063dd62ed3e14610595578063e0df5b6f146105cb578063e985e9c5146105ea578063ed9ec88814610623578063f2fde38b1461064e575f80fd5b8063a9059cbb14610524578063b88d4fde14610543578063c87b56dd14610562578063d547cfb714610581575f80fd5b80638da5cb5b116100d85780638da5cb5b146104a557806395d89b41146104c35780639b19251a146104d7578063a22cb46514610505575f80fd5b80636352211e1461042b578063676dd5631461044a57806370a08231146104655780637a0d230214610490575f80fd5b80632c5622e61161017e5780634f02c4201161014e5780634f02c420146103c3578063504334c2146103d857806353d6fd59146103f75780635ade202114610416575f80fd5b80632c5622e61461032c578063313ce5671461034b57806342842e0e146103905780634c191fc3146103af575f80fd5b806318160ddd116101b957806318160ddd1461029957806323b872dd146102da57806325e16063146102f95780632b96895814610318575f80fd5b806306fdde03146101ea578063081812fc14610214578063095ea7b3146102605780631249c58b1461028f575b5f80fd5b3480156101f5575f80fd5b506101fe61066d565b60405161020b91906117c8565b60405180910390f35b34801561021f575f80fd5b5061024861022e3660046117fd565b60066020525f90815260409020546001600160a01b031681565b6040516001600160a01b03909116815260200161020b565b34801561026b575f80fd5b5061027f61027a36600461182a565b6106f9565b604051901515815260200161020b565b610297610844565b005b3480156102a4575f80fd5b506102cc7f000000000000000000000000000000000000000000000000000000000000000081565b60405190815260200161020b565b3480156102e5575f80fd5b506102976102f4366004611852565b6109b5565b348015610304575f80fd5b5061029761031336600461188c565b610d31565b348015610323575f80fd5b50610297610dcd565b348015610337575f80fd5b50600c54610248906001600160a01b031681565b348015610356575f80fd5b5061037e7f000000000000000000000000000000000000000000000000000000000000000081565b60405160ff909116815260200161020b565b34801561039b575f80fd5b506102976103aa366004611852565b610e31565b3480156103ba575f80fd5b506102cc606481565b3480156103ce575f80fd5b506102cc60035481565b3480156103e3575f80fd5b506102976103f2366004611944565b610f02565b348015610402575f80fd5b506102976104113660046119a9565b610f39565b348015610421575f80fd5b506102cc61271081565b348015610436575f80fd5b506102486104453660046117fd565b610f8c565b348015610455575f80fd5b506102cc671bc16d674ec8000081565b348015610470575f80fd5b506102cc61047f36600461188c565b60046020525f908152604090205481565b34801561049b575f80fd5b506102cc600e5481565b3480156104b0575f80fd5b505f54610248906001600160a01b031681565b3480156104ce575f80fd5b506101fe610fc6565b3480156104e2575f80fd5b5061027f6104f136600461188c565b600b6020525f908152604090205460ff1681565b348015610510575f80fd5b5061029761051f3660046119a9565b610fd3565b34801561052f575f80fd5b5061027f61053e36600461182a565b61103e565b34801561054e575f80fd5b5061029761055d3660046119e2565b611051565b34801561056d575f80fd5b506101fe61057c3660046117fd565b611111565b34801561058c575f80fd5b506101fe61116d565b3480156105a0575f80fd5b506102cc6105af366004611a77565b600560209081525f928352604080842090915290825290205481565b3480156105d6575f80fd5b506102976105e5366004611aa8565b61117a565b3480156105f5575f80fd5b5061027f610604366004611a77565b600760209081525f928352604080842090915290825290205460ff1681565b34801561062e575f80fd5b506102cc61063d36600461188c565b600f6020525f908152604090205481565b348015610659575f80fd5b5061029761066836600461188c565b6111af565b6001805461067a90611ae2565b80601f01602080910402602001604051908101604052809291908181526020018280546106a690611ae2565b80156106f15780601f106106c8576101008083540402835291602001916106f1565b820191905f5260205f20905b8154815290600101906020018083116106d457829003601f168201915b505050505081565b5f600354821115801561070b57505f82115b156107df575f828152600860205260409020546001600160a01b031633811480159061075a57506001600160a01b0381165f90815260076020908152604080832033845290915290205460ff16155b15610777576040516282b42960e81b815260040160405180910390fd5b5f8381526006602090815260409182902080546001600160a01b0319166001600160a01b038881169182179092559251868152908416917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35061083a565b335f8181526005602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35b5060015b92915050565b671bc16d674ec8000034146108965760405162461bcd60e51b8152602060048201526013602482015272496e636f7272656374206574682076616c756560681b60448201526064015b60405180910390fd5b335f908152600f60205260409020546064116108f45760405162461bcd60e51b815260206004820152601760248201527f4578636565642075736572206d696e7420737570706c79000000000000000000604482015260640161088d565b612710600e541061093d5760405162461bcd60e51b815260206004820152601360248201527245786365656420746f74616c20737570706c7960681b604482015260640161088d565b335f908152600f6020526040902054610957906001611b2e565b335f908152600f6020526040902055600e54610974906001611b2e565b600e55335f9081526004602052604090205461099890670de0b6b3a7640000611b2e565b335f818152600460205260409020919091556109b390611249565b565b6003548111610cc5575f818152600860205260409020546001600160a01b038481169116146109f757604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b038216610a1e57604051634e46966960e11b815260040160405180910390fd5b336001600160a01b03841614801590610a5a57506001600160a01b0383165f90815260076020908152604080832033845290915290205460ff16155b8015610a7c57505f818152600660205260409020546001600160a01b03163314155b15610a99576040516282b42960e81b815260040160405180910390fd5b610aa1611351565b6001600160a01b0384165f9081526004602052604081208054909190610ac8908490611b41565b90915550610ad69050611351565b6001600160a01b038084165f81815260046020908152604080832080549096019095558582526008815284822080546001600160a01b031990811690941790556006815284822080549093169092559186168252600990529081208054610b3f90600190611b41565b81548110610b4f57610b4f611b54565b5f9182526020808320909101546001600160a01b0387168352600982526040808420868552600a90935290922054815492935083928110610b9257610b92611b54565b5f9182526020808320909101929092556001600160a01b0386168152600990915260409020805480610bc657610bc6611b68565b5f828152602080822083015f19908101839055909201909255838252600a8152604080832054848452818420556001600160a01b038616808452600983529083208054600181810183558286529385200186905592529054610c289190611b41565b5f838152600a602052604080822092909255905183916001600160a01b0380871692908816917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4826001600160a01b0316846001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487610cae611351565b60405190815260200160405180910390a350505050565b6001600160a01b0383165f9081526005602090815260408083203384529091529020545f198114610d1e57610cfa8282611b41565b6001600160a01b0385165f9081526005602090815260408083203384529091529020555b610d29848484611382565b50505b505050565b5f546001600160a01b03163314610d5a576040516282b42960e81b815260040160405180910390fd5b4780610d9a5760405162461bcd60e51b815260206004820152600f60248201526e62616c616e6365206973207a65726f60881b604482015260640161088d565b6040516001600160a01b0383169082156108fc029083905f818181858888f19350505050158015610d2c573d5f803e3d5ffd5b5f546001600160a01b03163314610df6576040516282b42960e81b815260040160405180910390fd5b5f80546001600160a01b031916815560405133907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3565b610e3c8383836109b5565b6001600160a01b0382163b15801590610ee45750604051630a85bd0160e11b8082523360048301526001600160a01b03858116602484015260448301849052608060648401525f608484015290919084169063150b7a029060a4016020604051808303815f875af1158015610eb3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ed79190611b7c565b6001600160e01b03191614155b15610d2c57604051633da6393160e01b815260040160405180910390fd5b5f546001600160a01b03163314610f2b576040516282b42960e81b815260040160405180910390fd5b610f358282611527565b5050565b5f546001600160a01b03163314610f62576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03919091165f908152600b60205260409020805460ff1916911515919091179055565b5f818152600860205260409020546001600160a01b031680610fc15760405163c5723b5160e01b815260040160405180910390fd5b919050565b6002805461067a90611ae2565b335f8181526007602090815260408083206001600160a01b03871680855290835292819020805460ff191686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b5f61104a338484611382565b9392505050565b61105c8585856109b5565b6001600160a01b0384163b158015906110f35750604051630a85bd0160e11b808252906001600160a01b0386169063150b7a02906110a69033908a90899089908990600401611ba3565b6020604051808303815f875af11580156110c2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110e69190611b7c565b6001600160e01b03191614155b15610d2957604051633da6393160e01b815260040160405180910390fd5b60605f600d805461112190611ae2565b90501161113c5760405180602001604052805f81525061083e565b600d61114783611540565b604051602001611158929190611bf3565b60405160208183030381529060405292915050565b600d805461067a90611ae2565b5f546001600160a01b031633146111a3576040516282b42960e81b815260040160405180910390fd5b600d610f358282611cb7565b5f546001600160a01b031633146111d8576040516282b42960e81b815260040160405180910390fd5b6001600160a01b0381166111ff576040516349e27cff60e01b815260040160405180910390fd5b5f80546001600160a01b0319166001600160a01b0383169081178255604051909133917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a350565b6001600160a01b03811661127057604051634e46966960e11b815260040160405180910390fd5b60038054600101908190555f818152600860205260409020546001600160a01b0316156112b05760405163119b4fd360e11b815260040160405180910390fd5b5f81815260086020908152604080832080546001600160a01b0319166001600160a01b0387169081179091558084526009835290832080546001818101835582865293852001859055925290546113079190611b41565b5f828152600a602052604080822092909255905182916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b5f61137d7f0000000000000000000000000000000000000000000000000000000000000000600a611e55565b905090565b5f8061138c611351565b6001600160a01b038087165f818152600460205260408082208054948a16835290822054928252939450919290918691906113c78386611b41565b90915550506001600160a01b038087165f90815260046020908152604080832080548a019055928a168252600b9052205460ff16611456576001600160a01b0387165f90815260046020526040812054611422908590611e63565b61142c8585611e63565b6114369190611b41565b90505f5b818110156114535761144b896115d0565b60010161143a565b50505b6001600160a01b0386165f908152600b602052604090205460ff166114cd575f6114808483611e63565b6001600160a01b0388165f908152600460205260409020546114a3908690611e63565b6114ad9190611b41565b90505f5b818110156114ca576114c288611249565b6001016114b1565b50505b856001600160a01b0316876001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e0314878760405161151291815260200190565b60405180910390a35060019695505050505050565b60016115338382611cb7565b506002610d2c8282611cb7565b60605f61154c836116f1565b60010190505f8167ffffffffffffffff81111561156b5761156b6118a5565b6040519080825280601f01601f191660200182016040528015611595576020820181803683370190505b5090508181016020015b5f19016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a850494508461159f57509392505050565b6001600160a01b0381166115f757604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b0381165f908152600960205260408120805461161c90600190611b41565b8154811061162c5761162c611b54565b905f5260205f200154905060095f836001600160a01b03166001600160a01b031681526020019081526020015f2080548061166957611669611b68565b5f828152602080822083015f19908101839055909201909255828252600a815260408083208390556008825280832080546001600160a01b031990811690915560069092528083208054909216909155518291906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a45050565b5f8072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b831061172f5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef8100000000831061175b576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061177957662386f26fc10000830492506010015b6305f5e1008310611791576305f5e100830492506008015b61271083106117a557612710830492506004015b606483106117b7576064830492506002015b600a831061083e5760010192915050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b5f6020828403121561180d575f80fd5b5035919050565b80356001600160a01b0381168114610fc1575f80fd5b5f806040838503121561183b575f80fd5b61184483611814565b946020939093013593505050565b5f805f60608486031215611864575f80fd5b61186d84611814565b925061187b60208501611814565b929592945050506040919091013590565b5f6020828403121561189c575f80fd5b61104a82611814565b634e487b7160e01b5f52604160045260245ffd5b5f82601f8301126118c8575f80fd5b813567ffffffffffffffff8111156118e2576118e26118a5565b604051601f8201601f19908116603f0116810167ffffffffffffffff81118282101715611911576119116118a5565b604052818152838201602001851015611928575f80fd5b816020850160208301375f918101602001919091529392505050565b5f8060408385031215611955575f80fd5b823567ffffffffffffffff81111561196b575f80fd5b611977858286016118b9565b925050602083013567ffffffffffffffff811115611993575f80fd5b61199f858286016118b9565b9150509250929050565b5f80604083850312156119ba575f80fd5b6119c383611814565b9150602083013580151581146119d7575f80fd5b809150509250929050565b5f805f805f608086880312156119f6575f80fd5b6119ff86611814565b9450611a0d60208701611814565b935060408601359250606086013567ffffffffffffffff811115611a2f575f80fd5b8601601f81018813611a3f575f80fd5b803567ffffffffffffffff811115611a55575f80fd5b886020828401011115611a66575f80fd5b959894975092955050506020019190565b5f8060408385031215611a88575f80fd5b611a9183611814565b9150611a9f60208401611814565b90509250929050565b5f60208284031215611ab8575f80fd5b813567ffffffffffffffff811115611ace575f80fd5b611ada848285016118b9565b949350505050565b600181811c90821680611af657607f821691505b602082108103611b1457634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8082018082111561083e5761083e611b1a565b8181038181111561083e5761083e611b1a565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52603160045260245ffd5b5f60208284031215611b8c575f80fd5b81516001600160e01b03198116811461104a575f80fd5b6001600160a01b03868116825285166020820152604081018490526080606082018190528101829052818360a08301375f81830160a090810191909152601f909201601f19160101949350505050565b5f808454611c0081611ae2565b600182168015611c175760018114611c2c57611c59565b60ff1983168652811515820286019350611c59565b875f5260205f205f5b83811015611c5157815488820152600190910190602001611c35565b505081860193505b50505083518060208601835e5f9101908152949350505050565b601f821115610d2c57805f5260205f20601f840160051c81016020851015611c985750805b601f840160051c820191505b81811015610d29575f8155600101611ca4565b815167ffffffffffffffff811115611cd157611cd16118a5565b611ce581611cdf8454611ae2565b84611c73565b6020601f821160018114611d17575f8315611d005750848201515b5f19600385901b1c1916600184901b178455610d29565b5f84815260208120601f198516915b82811015611d465787850151825560209485019460019092019101611d26565b5084821015611d6357868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b6001815b6001841115611dad57808504811115611d9157611d91611b1a565b6001841615611d9f57908102905b60019390931c928002611d76565b935093915050565b5f82611dc35750600161083e565b81611dcf57505f61083e565b8160018114611de55760028114611def57611e0b565b600191505061083e565b60ff841115611e0057611e00611b1a565b50506001821b61083e565b5060208310610133831016604e8410600b8410161715611e2e575081810a61083e565b611e3a5f198484611d72565b805f1904821115611e4d57611e4d611b1a565b029392505050565b5f61104a60ff841683611db5565b5f82611e7d57634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220aff91fe77ab524cb026c7ea115636442ab93bba2340d9c16acbc786d792b482264736f6c634300081a0033

0x6080604052600436106101e6575f3560e01c80636352211e11610108578063a9059cbb1161009d578063dd62ed3e1161006d578063dd62ed3e14610595578063e0df5b6f146105cb578063e985e9c5146105ea578063ed9ec88814610623578063f2fde38b1461064e575f80fd5b8063a9059cbb14610524578063b88d4fde14610543578063c87b56dd14610562578063d547cfb714610581575f80fd5b80638da5cb5b116100d85780638da5cb5b146104a557806395d89b41146104c35780639b19251a146104d7578063a22cb46514610505575f80fd5b80636352211e1461042b578063676dd5631461044a57806370a08231146104655780637a0d230214610490575f80fd5b80632c5622e61161017e5780634f02c4201161014e5780634f02c420146103c3578063504334c2146103d857806353d6fd59146103f75780635ade202114610416575f80fd5b80632c5622e61461032c578063313ce5671461034b57806342842e0e146103905780634c191fc3146103af575f80fd5b806318160ddd116101b957806318160ddd1461029957806323b872dd146102da57806325e16063146102f95780632b96895814610318575f80fd5b806306fdde03146101ea578063081812fc14610214578063095ea7b3146102605780631249c58b1461028f575b5f80fd5b3480156101f5575f80fd5b506101fe61066d565b60405161020b91906117c8565b60405180910390f35b34801561021f575f80fd5b5061024861022e3660046117fd565b60066020525f90815260409020546001600160a01b031681565b6040516001600160a01b03909116815260200161020b565b34801561026b575f80fd5b5061027f61027a36600461182a565b6106f9565b604051901515815260200161020b565b610297610844565b005b3480156102a4575f80fd5b506102cc7f00000000000000000000000000000000000000000000021e19e0c9bab240000081565b60405190815260200161020b565b3480156102e5575f80fd5b506102976102f4366004611852565b6109b5565b348015610304575f80fd5b5061029761031336600461188c565b610d31565b348015610323575f80fd5b50610297610dcd565b348015610337575f80fd5b50600c54610248906001600160a01b031681565b348015610356575f80fd5b5061037e7f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff909116815260200161020b565b34801561039b575f80fd5b506102976103aa366004611852565b610e31565b3480156103ba575f80fd5b506102cc606481565b3480156103ce575f80fd5b506102cc60035481565b3480156103e3575f80fd5b506102976103f2366004611944565b610f02565b348015610402575f80fd5b506102976104113660046119a9565b610f39565b348015610421575f80fd5b506102cc61271081565b348015610436575f80fd5b506102486104453660046117fd565b610f8c565b348015610455575f80fd5b506102cc671bc16d674ec8000081565b348015610470575f80fd5b506102cc61047f36600461188c565b60046020525f908152604090205481565b34801561049b575f80fd5b506102cc600e5481565b3480156104b0575f80fd5b505f54610248906001600160a01b031681565b3480156104ce575f80fd5b506101fe610fc6565b3480156104e2575f80fd5b5061027f6104f136600461188c565b600b6020525f908152604090205460ff1681565b348015610510575f80fd5b5061029761051f3660046119a9565b610fd3565b34801561052f575f80fd5b5061027f61053e36600461182a565b61103e565b34801561054e575f80fd5b5061029761055d3660046119e2565b611051565b34801561056d575f80fd5b506101fe61057c3660046117fd565b611111565b34801561058c575f80fd5b506101fe61116d565b3480156105a0575f80fd5b506102cc6105af366004611a77565b600560209081525f928352604080842090915290825290205481565b3480156105d6575f80fd5b506102976105e5366004611aa8565b61117a565b3480156105f5575f80fd5b5061027f610604366004611a77565b600760209081525f928352604080842090915290825290205460ff1681565b34801561062e575f80fd5b506102cc61063d36600461188c565b600f6020525f908152604090205481565b348015610659575f80fd5b5061029761066836600461188c565b6111af565b6001805461067a90611ae2565b80601f01602080910402602001604051908101604052809291908181526020018280546106a690611ae2565b80156106f15780601f106106c8576101008083540402835291602001916106f1565b820191905f5260205f20905b8154815290600101906020018083116106d457829003601f168201915b505050505081565b5f600354821115801561070b57505f82115b156107df575f828152600860205260409020546001600160a01b031633811480159061075a57506001600160a01b0381165f90815260076020908152604080832033845290915290205460ff16155b15610777576040516282b42960e81b815260040160405180910390fd5b5f8381526006602090815260409182902080546001600160a01b0319166001600160a01b038881169182179092559251868152908416917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35061083a565b335f8181526005602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35b5060015b92915050565b671bc16d674ec8000034146108965760405162461bcd60e51b8152602060048201526013602482015272496e636f7272656374206574682076616c756560681b60448201526064015b60405180910390fd5b335f908152600f60205260409020546064116108f45760405162461bcd60e51b815260206004820152601760248201527f4578636565642075736572206d696e7420737570706c79000000000000000000604482015260640161088d565b612710600e541061093d5760405162461bcd60e51b815260206004820152601360248201527245786365656420746f74616c20737570706c7960681b604482015260640161088d565b335f908152600f6020526040902054610957906001611b2e565b335f908152600f6020526040902055600e54610974906001611b2e565b600e55335f9081526004602052604090205461099890670de0b6b3a7640000611b2e565b335f818152600460205260409020919091556109b390611249565b565b6003548111610cc5575f818152600860205260409020546001600160a01b038481169116146109f757604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b038216610a1e57604051634e46966960e11b815260040160405180910390fd5b336001600160a01b03841614801590610a5a57506001600160a01b0383165f90815260076020908152604080832033845290915290205460ff16155b8015610a7c57505f818152600660205260409020546001600160a01b03163314155b15610a99576040516282b42960e81b815260040160405180910390fd5b610aa1611351565b6001600160a01b0384165f9081526004602052604081208054909190610ac8908490611b41565b90915550610ad69050611351565b6001600160a01b038084165f81815260046020908152604080832080549096019095558582526008815284822080546001600160a01b031990811690941790556006815284822080549093169092559186168252600990529081208054610b3f90600190611b41565b81548110610b4f57610b4f611b54565b5f9182526020808320909101546001600160a01b0387168352600982526040808420868552600a90935290922054815492935083928110610b9257610b92611b54565b5f9182526020808320909101929092556001600160a01b0386168152600990915260409020805480610bc657610bc6611b68565b5f828152602080822083015f19908101839055909201909255838252600a8152604080832054848452818420556001600160a01b038616808452600983529083208054600181810183558286529385200186905592529054610c289190611b41565b5f838152600a602052604080822092909255905183916001600160a01b0380871692908816917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4826001600160a01b0316846001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487610cae611351565b60405190815260200160405180910390a350505050565b6001600160a01b0383165f9081526005602090815260408083203384529091529020545f198114610d1e57610cfa8282611b41565b6001600160a01b0385165f9081526005602090815260408083203384529091529020555b610d29848484611382565b50505b505050565b5f546001600160a01b03163314610d5a576040516282b42960e81b815260040160405180910390fd5b4780610d9a5760405162461bcd60e51b815260206004820152600f60248201526e62616c616e6365206973207a65726f60881b604482015260640161088d565b6040516001600160a01b0383169082156108fc029083905f818181858888f19350505050158015610d2c573d5f803e3d5ffd5b5f546001600160a01b03163314610df6576040516282b42960e81b815260040160405180910390fd5b5f80546001600160a01b031916815560405133907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3565b610e3c8383836109b5565b6001600160a01b0382163b15801590610ee45750604051630a85bd0160e11b8082523360048301526001600160a01b03858116602484015260448301849052608060648401525f608484015290919084169063150b7a029060a4016020604051808303815f875af1158015610eb3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ed79190611b7c565b6001600160e01b03191614155b15610d2c57604051633da6393160e01b815260040160405180910390fd5b5f546001600160a01b03163314610f2b576040516282b42960e81b815260040160405180910390fd5b610f358282611527565b5050565b5f546001600160a01b03163314610f62576040516282b42960e81b815260040160405180910390fd5b6001600160a01b03919091165f908152600b60205260409020805460ff1916911515919091179055565b5f818152600860205260409020546001600160a01b031680610fc15760405163c5723b5160e01b815260040160405180910390fd5b919050565b6002805461067a90611ae2565b335f8181526007602090815260408083206001600160a01b03871680855290835292819020805460ff191686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b5f61104a338484611382565b9392505050565b61105c8585856109b5565b6001600160a01b0384163b158015906110f35750604051630a85bd0160e11b808252906001600160a01b0386169063150b7a02906110a69033908a90899089908990600401611ba3565b6020604051808303815f875af11580156110c2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110e69190611b7c565b6001600160e01b03191614155b15610d2957604051633da6393160e01b815260040160405180910390fd5b60605f600d805461112190611ae2565b90501161113c5760405180602001604052805f81525061083e565b600d61114783611540565b604051602001611158929190611bf3565b60405160208183030381529060405292915050565b600d805461067a90611ae2565b5f546001600160a01b031633146111a3576040516282b42960e81b815260040160405180910390fd5b600d610f358282611cb7565b5f546001600160a01b031633146111d8576040516282b42960e81b815260040160405180910390fd5b6001600160a01b0381166111ff576040516349e27cff60e01b815260040160405180910390fd5b5f80546001600160a01b0319166001600160a01b0383169081178255604051909133917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a350565b6001600160a01b03811661127057604051634e46966960e11b815260040160405180910390fd5b60038054600101908190555f818152600860205260409020546001600160a01b0316156112b05760405163119b4fd360e11b815260040160405180910390fd5b5f81815260086020908152604080832080546001600160a01b0319166001600160a01b0387169081179091558084526009835290832080546001818101835582865293852001859055925290546113079190611b41565b5f828152600a602052604080822092909255905182916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b5f61137d7f0000000000000000000000000000000000000000000000000000000000000012600a611e55565b905090565b5f8061138c611351565b6001600160a01b038087165f818152600460205260408082208054948a16835290822054928252939450919290918691906113c78386611b41565b90915550506001600160a01b038087165f90815260046020908152604080832080548a019055928a168252600b9052205460ff16611456576001600160a01b0387165f90815260046020526040812054611422908590611e63565b61142c8585611e63565b6114369190611b41565b90505f5b818110156114535761144b896115d0565b60010161143a565b50505b6001600160a01b0386165f908152600b602052604090205460ff166114cd575f6114808483611e63565b6001600160a01b0388165f908152600460205260409020546114a3908690611e63565b6114ad9190611b41565b90505f5b818110156114ca576114c288611249565b6001016114b1565b50505b856001600160a01b0316876001600160a01b03167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e0314878760405161151291815260200190565b60405180910390a35060019695505050505050565b60016115338382611cb7565b506002610d2c8282611cb7565b60605f61154c836116f1565b60010190505f8167ffffffffffffffff81111561156b5761156b6118a5565b6040519080825280601f01601f191660200182016040528015611595576020820181803683370190505b5090508181016020015b5f19016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a850494508461159f57509392505050565b6001600160a01b0381166115f757604051636edaef2f60e11b815260040160405180910390fd5b6001600160a01b0381165f908152600960205260408120805461161c90600190611b41565b8154811061162c5761162c611b54565b905f5260205f200154905060095f836001600160a01b03166001600160a01b031681526020019081526020015f2080548061166957611669611b68565b5f828152602080822083015f19908101839055909201909255828252600a815260408083208390556008825280832080546001600160a01b031990811690915560069092528083208054909216909155518291906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a45050565b5f8072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b831061172f5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef8100000000831061175b576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061177957662386f26fc10000830492506010015b6305f5e1008310611791576305f5e100830492506008015b61271083106117a557612710830492506004015b606483106117b7576064830492506002015b600a831061083e5760010192915050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b5f6020828403121561180d575f80fd5b5035919050565b80356001600160a01b0381168114610fc1575f80fd5b5f806040838503121561183b575f80fd5b61184483611814565b946020939093013593505050565b5f805f60608486031215611864575f80fd5b61186d84611814565b925061187b60208501611814565b929592945050506040919091013590565b5f6020828403121561189c575f80fd5b61104a82611814565b634e487b7160e01b5f52604160045260245ffd5b5f82601f8301126118c8575f80fd5b813567ffffffffffffffff8111156118e2576118e26118a5565b604051601f8201601f19908116603f0116810167ffffffffffffffff81118282101715611911576119116118a5565b604052818152838201602001851015611928575f80fd5b816020850160208301375f918101602001919091529392505050565b5f8060408385031215611955575f80fd5b823567ffffffffffffffff81111561196b575f80fd5b611977858286016118b9565b925050602083013567ffffffffffffffff811115611993575f80fd5b61199f858286016118b9565b9150509250929050565b5f80604083850312156119ba575f80fd5b6119c383611814565b9150602083013580151581146119d7575f80fd5b809150509250929050565b5f805f805f608086880312156119f6575f80fd5b6119ff86611814565b9450611a0d60208701611814565b935060408601359250606086013567ffffffffffffffff811115611a2f575f80fd5b8601601f81018813611a3f575f80fd5b803567ffffffffffffffff811115611a55575f80fd5b886020828401011115611a66575f80fd5b959894975092955050506020019190565b5f8060408385031215611a88575f80fd5b611a9183611814565b9150611a9f60208401611814565b90509250929050565b5f60208284031215611ab8575f80fd5b813567ffffffffffffffff811115611ace575f80fd5b611ada848285016118b9565b949350505050565b600181811c90821680611af657607f821691505b602082108103611b1457634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8082018082111561083e5761083e611b1a565b8181038181111561083e5761083e611b1a565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52603160045260245ffd5b5f60208284031215611b8c575f80fd5b81516001600160e01b03198116811461104a575f80fd5b6001600160a01b03868116825285166020820152604081018490526080606082018190528101829052818360a08301375f81830160a090810191909152601f909201601f19160101949350505050565b5f808454611c0081611ae2565b600182168015611c175760018114611c2c57611c59565b60ff1983168652811515820286019350611c59565b875f5260205f205f5b83811015611c5157815488820152600190910190602001611c35565b505081860193505b50505083518060208601835e5f9101908152949350505050565b601f821115610d2c57805f5260205f20601f840160051c81016020851015611c985750805b601f840160051c820191505b81811015610d29575f8155600101611ca4565b815167ffffffffffffffff811115611cd157611cd16118a5565b611ce581611cdf8454611ae2565b84611c73565b6020601f821160018114611d17575f8315611d005750848201515b5f19600385901b1c1916600184901b178455610d29565b5f84815260208120601f198516915b82811015611d465787850151825560209485019460019092019101611d26565b5084821015611d6357868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b6001815b6001841115611dad57808504811115611d9157611d91611b1a565b6001841615611d9f57908102905b60019390931c928002611d76565b935093915050565b5f82611dc35750600161083e565b81611dcf57505f61083e565b8160018114611de55760028114611def57611e0b565b600191505061083e565b60ff841115611e0057611e00611b1a565b50506001821b61083e565b5060208310610133831016604e8410600b8410161715611e2e575081810a61083e565b611e3a5f198484611d72565b805f1904821115611e4d57611e4d611b1a565b029392505050565b5f61104a60ff841683611db5565b5f82611e7d57634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220aff91fe77ab524cb026c7ea115636442ab93bba2340d9c16acbc786d792b482264736f6c634300081a0033

29148:1896:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20186:18;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20897:46;;;;;;;;;;-1:-1:-1;20897:46:0;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;20897:46:0;;;;;;-1:-1:-1;;;;;832:32:1;;;814:51;;802:2;787:18;20897:46:0;668:203:1;22728:642:0;;;;;;;;;;-1:-1:-1;22728:642:0;;;;;:::i;:::-;;:::i;:::-;;;1524:14:1;;1517:22;1499:41;;1487:2;1472:18;22728:642:0;1359:187:1;29764:522:0;;;:::i;:::-;;20422:36;;;;;;;;;;;;;;;;;;1697:25:1;;;1685:2;1670:18;20422:36:0;1551:177:1;23777:1716:0;;;;;;;;;;-1:-1:-1;23777:1716:0;;;;;:::i;:::-;;:::i;30843:198::-;;;;;;;;;;-1:-1:-1;30843:198:0;;;;;:::i;:::-;;:::i;18159:151::-;;;;;;;;;;;;;:::i;29346:87::-;;;;;;;;;;-1:-1:-1;29346:87:0;;;;-1:-1:-1;;;;;29346:87:0;;;20322:31;;;;;;;;;;;;;;;;;;2475:4:1;2463:17;;;2445:36;;2433:2;2418:18;20322:31:0;2303:184:1;25789:405:0;;;;;;;;;;-1:-1:-1;25789:405:0;;;;;:::i;:::-;;:::i;29241:46::-;;;;;;;;;;;;29284:3;29241:46;;20557:21;;;;;;;;;;;;;;;;30408:158;;;;;;;;;;-1:-1:-1;30408:158:0;;;;;:::i;:::-;;:::i;22057:111::-;;;;;;;;;;-1:-1:-1;22057:111:0;;;;;:::i;:::-;;:::i;29185:49::-;;;;;;;;;;;;29229:5;29185:49;;22240:193;;;;;;;;;;-1:-1:-1;22240:193:0;;;;;:::i;:::-;;:::i;29294:43::-;;;;;;;;;;;;29330:7;29294:43;;20663:44;;;;;;;;;;-1:-1:-1;20663:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;29477:29;;;;;;;;;;;;;;;;17600:20;;;;;;;;;;-1:-1:-1;17600:20:0;;;;-1:-1:-1;;;;;17600:20:0;;;20240;;;;;;;;;;;;;:::i;21508:41::-;;;;;;;;;;-1:-1:-1;21508:41:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;23421:207;;;;;;;;;;-1:-1:-1;23421:207:0;;;;;:::i;:::-;;:::i;25552:160::-;;;;;;;;;;-1:-1:-1;25552:160:0;;;;;:::i;:::-;;:::i;26289:437::-;;;;;;;;;;-1:-1:-1;26289:437:0;;;;;:::i;:::-;;:::i;30574:261::-;;;;;;;;;;-1:-1:-1;30574:261:0;;;;;:::i;:::-;;:::i;29442:26::-;;;;;;;;;;;;;:::i;20777:64::-;;;;;;;;;;-1:-1:-1;20777:64:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;30294:106;;;;;;;;;;-1:-1:-1;30294:106:0;;;;;:::i;:::-;;:::i;21008:68::-;;;;;;;;;;-1:-1:-1;21008:68:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;29515:44;;;;;;;;;;-1:-1:-1;29515:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;17932:219;;;;;;;;;;-1:-1:-1;17932:219:0;;;;;:::i;:::-;;:::i;20186:18::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;22728:642::-;22831:4;22866:6;;22852:10;:20;;:38;;;;;22889:1;22876:10;:14;22852:38;22848:491;;;22907:13;22923:20;;;:8;:20;;;;;;-1:-1:-1;;;;;22923:20:0;22964:10;:19;;;;;:59;;-1:-1:-1;;;;;;22988:23:0;;;;;;:16;:23;;;;;;;;23012:10;22988:35;;;;;;;;;;22987:36;22964:59;22960:121;;;23051:14;;-1:-1:-1;;;23051:14:0;;;;;;;;;;;22960:121;23097:23;;;;:11;:23;;;;;;;;;:33;;-1:-1:-1;;;;;;23097:33:0;-1:-1:-1;;;;;23097:33:0;;;;;;;;;23152:36;;1697:25:1;;;23152:36:0;;;;;;1670:18:1;23152:36:0;;;;;;;22892:308;22848:491;;;23231:10;23221:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;23221:30:0;;;;;;;;;;;;:43;;;23286:41;1697:25:1;;;23221:30:0;;23231:10;23286:41;;1670:18:1;23286:41:0;;;;;;;22848:491;-1:-1:-1;23358:4:0;22728:642;;;;;:::o;29764:522::-;29330:7;29816:9;:22;29808:54;;;;-1:-1:-1;;;29808:54:0;;6283:2:1;29808:54:0;;;6265:21:1;6322:2;6302:18;;;6295:30;-1:-1:-1;;;6341:18:1;;;6334:49;6400:18;;29808:54:0;;;;;;;;;29907:10;29897:21;;;;:9;:21;;;;;;29284:3;-1:-1:-1;29875:113:0;;;;-1:-1:-1;;;29875:113:0;;6631:2:1;29875:113:0;;;6613:21:1;6670:2;6650:18;;;6643:30;6709:25;6689:18;;;6682:53;6752:18;;29875:113:0;6429:347:1;29875:113:0;29229:5;30007:14;;:34;29999:66;;;;-1:-1:-1;;;29999:66:0;;6983:2:1;29999:66:0;;;6965:21:1;7022:2;7002:18;;;6995:30;-1:-1:-1;;;7041:18:1;;;7034:49;7100:18;;29999:66:0;6781:343:1;29999:66:0;30110:10;30100:21;;;;:9;:21;;;;;;:25;;30124:1;30100:25;:::i;:::-;30086:10;30076:21;;;;:9;:21;;;;;:49;30153:14;;:18;;30170:1;30153:18;:::i;:::-;30136:14;:35;30218:10;30208:21;;;;:9;:21;;;;;;:36;;30232:12;30208:36;:::i;:::-;30194:10;30184:21;;;;:9;:21;;;;;:60;;;;30255:23;;:11;:23::i;:::-;29764:522::o;23777:1716::-;23923:6;;23909:10;:20;23905:1581;;23958:20;;;;:8;:20;;;;;;-1:-1:-1;;;;;23950:28:0;;;23958:20;;23950:28;23946:91;;24006:15;;-1:-1:-1;;;24006:15:0;;;;;;;;;;;23946:91;-1:-1:-1;;;;;24057:16:0;;24053:82;;24101:18;;-1:-1:-1;;;24101:18:0;;;;;;;;;;;24053:82;24173:10;-1:-1:-1;;;;;24173:18:0;;;;;;:74;;-1:-1:-1;;;;;;24213:22:0;;;;;;:16;:22;;;;;;;;24236:10;24213:34;;;;;;;;;;24212:35;24173:74;:132;;;;-1:-1:-1;24282:23:0;;;;:11;:23;;;;;;-1:-1:-1;;;;;24282:23:0;24268:10;:37;;24173:132;24151:226;;;24347:14;;-1:-1:-1;;;24347:14:0;;;;;;;;;;;24151:226;24412:10;:8;:10::i;:::-;-1:-1:-1;;;;;24393:15:0;;;;;;:9;:15;;;;;:29;;:15;;;:29;;;;;:::i;:::-;;;;-1:-1:-1;24485:10:0;;-1:-1:-1;24485:8:0;:10::i;:::-;-1:-1:-1;;;;;24468:13:0;;;;;;;:9;:13;;;;;;;;:27;;;;;;;;24527:20;;;:8;:20;;;;;:25;;-1:-1:-1;;;;;;24527:25:0;;;;;;;;24574:11;:23;;;;;24567:30;;;;;;;;24675:12;;;;;:6;:12;;;;;24688:19;;:23;;-1:-1:-1;;24688:23:0;:::i;:::-;24675:37;;;;;;;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;24727:12:0;;;;:6;:12;;;;;;24740:23;;;:11;:23;;;;;;;24727:37;;24675;;-1:-1:-1;24675:37:0;;24727;;;;;;:::i;:::-;;;;;;;;;;;;:49;;;;-1:-1:-1;;;;;24811:12:0;;;;:6;:12;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;-1:-1:-1;;24811:18:0;;;;;;;;;;;;24915:23;;;:11;:23;;;;;;;24890:22;;;;;;:48;-1:-1:-1;;;;;24992:10:0;;;;;:6;:10;;;;;:27;;24811:18;24992:27;;;;;;;;;;;;;;;25102:10;;:17;;:21;;24811:18;25102:21;:::i;:::-;25076:23;;;;:11;:23;;;;;;:47;;;;25145:30;;25088:10;;-1:-1:-1;;;;;25145:30:0;;;;;;;;;;;25215:2;-1:-1:-1;;;;;25195:35:0;25209:4;-1:-1:-1;;;;;25195:35:0;;25219:10;:8;:10::i;:::-;25195:35;;1697:25:1;;;1685:2;1670:18;25195:35:0;;;;;;;23931:1311;23777:1716;;;:::o;23905:1581::-;-1:-1:-1;;;;;25281:15:0;;25263;25281;;;:9;:15;;;;;;;;25297:10;25281:27;;;;;;;;-1:-1:-1;;25329:28:0;;25325:101;;25406:20;25416:10;25406:7;:20;:::i;:::-;-1:-1:-1;;;;;25376:15:0;;;;;;:9;:15;;;;;;;;25392:10;25376:27;;;;;;;:50;25325:101;25443:31;25453:4;25459:2;25463:10;25443:9;:31::i;:::-;;25248:238;23905:1581;23777:1716;;;:::o;30843:198::-;17687:5;;-1:-1:-1;;;;;17687:5:0;17673:10;:19;17669:46;;17701:14;;-1:-1:-1;;;17701:14:0;;;;;;;;;;;17669:46;30922:21:::1;30962:11:::0;30954:39:::1;;;::::0;-1:-1:-1;;;30954:39:0;;7990:2:1;30954:39:0::1;::::0;::::1;7972:21:1::0;8029:2;8009:18;;;8002:30;-1:-1:-1;;;8048:18:1;;;8041:45;8103:18;;30954:39:0::1;7788:339:1::0;30954:39:0::1;31004:29;::::0;-1:-1:-1;;;;;31004:20:0;::::1;::::0;:29;::::1;;;::::0;31025:7;;31004:29:::1;::::0;;;31025:7;31004:20;:29;::::1;;;;;;;;;;;;;::::0;::::1;;;;18159:151:::0;17687:5;;-1:-1:-1;;;;;17687:5:0;17673:10;:19;17669:46;;17701:14;;-1:-1:-1;;;17701:14:0;;;;;;;;;;;17669:46;18238:1:::1;18222:18:::0;;-1:-1:-1;;;;;;18222:18:0::1;::::0;;18258:44:::1;::::0;18279:10:::1;::::0;18258:44:::1;::::0;18238:1;;18258:44:::1;18159:151::o:0;25789:405::-;25913:26;25926:4;25932:2;25936;25913:12;:26::i;:::-;-1:-1:-1;;;;;25970:14:0;;;:19;;;;:154;;-1:-1:-1;26006:61:0;;-1:-1:-1;;;26006:61:0;;;26042:10;26006:61;;;8399:51:1;-1:-1:-1;;;;;8486:32:1;;;8466:18;;;8459:60;8535:18;;;8528:34;;;8598:3;8578:18;;;8571:31;-1:-1:-1;8618:19:1;;;8611:30;26084:40:0;;26006:35;;;;26084:40;;8658:19:1;;26006:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;26006:118:0;;;25970:154;25952:235;;;26158:17;;-1:-1:-1;;;26158:17:0;;;;;;;;;;;30408:158;17687:5;;-1:-1:-1;;;;;17687:5:0;17673:10;:19;17669:46;;17701:14;;-1:-1:-1;;;17701:14:0;;;;;;;;;;;17669:46;30528:30:::1;30543:5;30550:7;30528:14;:30::i;:::-;30408:158:::0;;:::o;22057:111::-;17687:5;;-1:-1:-1;;;;;17687:5:0;17673:10;:19;17669:46;;17701:14;;-1:-1:-1;;;17701:14:0;;;;;;;;;;;17669:46;-1:-1:-1;;;;;22135:17:0;;;::::1;;::::0;;;:9:::1;:17;::::0;;;;:25;;-1:-1:-1;;22135:25:0::1;::::0;::::1;;::::0;;;::::1;::::0;;22057:111::o;22240:193::-;22298:13;22332:12;;;:8;:12;;;;;;-1:-1:-1;;;;;22332:12:0;;22357:69;;22404:10;;-1:-1:-1;;;22404:10:0;;;;;;;;;;;22357:69;22240:193;;;:::o;20240:20::-;;;;;;;:::i;23421:207::-;23524:10;23507:28;;;;:16;:28;;;;;;;;-1:-1:-1;;;;;23507:38:0;;;;;;;;;;;;:49;;-1:-1:-1;;23507:49:0;;;;;;;;;;23574:46;;1499:41:1;;;23507:38:0;;23524:10;23574:46;;1472:18:1;23574:46:0;;;;;;;23421:207;;:::o;25552:160::-;25647:4;25671:33;25681:10;25693:2;25697:6;25671:9;:33::i;:::-;25664:40;25552:160;-1:-1:-1;;;25552:160:0:o;26289:437::-;26443:26;26456:4;26462:2;26466;26443:12;:26::i;:::-;-1:-1:-1;;;;;26500:14:0;;;:19;;;;:156;;-1:-1:-1;26536:63:0;;-1:-1:-1;;;26536:63:0;;;26616:40;-1:-1:-1;;;;;26536:35:0;;;26616:40;;26536:63;;26572:10;;26584:4;;26590:2;;26594:4;;;;26536:63;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;26536:120:0;;;26500:156;26482:237;;;26690:17;;-1:-1:-1;;;26690:17:0;;;;;;;;;;;30574:261;30655:13;30730:1;30707:12;30701:26;;;;;:::i;:::-;;;:30;:126;;;;;;;;;;;;;;;;;30765:12;30779:25;30796:7;30779:16;:25::i;:::-;30751:54;;;;;;;;;:::i;:::-;;;;;;;;;;;;;30681:146;30574:261;-1:-1:-1;;30574:261:0:o;29442:26::-;;;;;;;:::i;30294:106::-;17687:5;;-1:-1:-1;;;;;17687:5:0;17673:10;:19;17669:46;;17701:14;;-1:-1:-1;;;17701:14:0;;;;;;;;;;;17669:46;30368:12:::1;:24;30383:9:::0;30368:12;:24:::1;:::i;17932:219::-:0;17687:5;;-1:-1:-1;;;;;17687:5:0;17673:10;:19;17669:46;;17701:14;;-1:-1:-1;;;17701:14:0;;;;;;;;;;;17669:46;-1:-1:-1;;;;;18015:20:0;::::1;18011:47;;18044:14;;-1:-1:-1::0;;;18044:14:0::1;;;;;;;;;;;18011:47;18071:5;:14:::0;;-1:-1:-1;;;;;;18071:14:0::1;-1:-1:-1::0;;;;;18071:14:0;::::1;::::0;;::::1;::::0;;18103:40:::1;::::0;18071:14;;18124:10:::1;::::0;18103:40:::1;::::0;18071:5;18103:40:::1;17932:219:::0;:::o;28026:474::-;-1:-1:-1;;;;;28085:16:0;;28081:74;;28125:18;;-1:-1:-1;;;28125:18:0;;;;;;;;;;;28081:74;28192:6;:8;;;;;;;;:6;28260:12;;;:8;:12;;;;;;-1:-1:-1;;;;;28260:12:0;:26;28256:81;;28310:15;;-1:-1:-1;;;28310:15:0;;;;;;;;;;;28256:81;28349:12;;;;:8;:12;;;;;;;;:17;;-1:-1:-1;;;;;;28349:17:0;-1:-1:-1;;;;;28349:17:0;;;;;;;;28377:10;;;:6;:10;;;;;:19;;-1:-1:-1;28377:19:0;;;;;;;;;;;;;;;28425:10;;:17;;:21;;-1:-1:-1;28425:21:0;:::i;:::-;28407:15;;;;:11;:15;;;;;;:39;;;;28464:28;;28419:2;;-1:-1:-1;;;;;28464:28:0;;;;;28407:15;;28464:28;28070:430;28026:474;:::o;27926:92::-;27969:7;27996:14;28002:8;27996:2;:14;:::i;:::-;27989:21;;27926:92;:::o;26794:1093::-;26907:4;26924:12;26939:10;:8;:10::i;:::-;-1:-1:-1;;;;;26990:15:0;;;26960:27;26990:15;;;:9;:15;;;;;;;;27048:13;;;;;;;;;27074:15;;;26924:25;;-1:-1:-1;26990:15:0;;27048:13;;27093:6;;26990:15;27074:25;27093:6;26990:15;27074:25;:::i;:::-;;;;-1:-1:-1;;;;;;;27137:13:0;;;;;;;:9;:13;;;;;;;;:23;;;;;;27245:15;;;;;:9;:15;;;;;;27240:251;;-1:-1:-1;;;;;27351:15:0;;27277:22;27351:15;;;:9;:15;;;;;;:22;;27369:4;;27351:22;:::i;:::-;27303:26;27325:4;27303:19;:26;:::i;:::-;27302:72;;;;:::i;:::-;27277:97;;27394:9;27389:91;27413:14;27409:1;:18;27389:91;;;27453:11;27459:4;27453:5;:11::i;:::-;27429:3;;27389:91;;;;27262:229;27240:251;-1:-1:-1;;;;;27567:13:0;;;;;;:9;:13;;;;;;;;27562:247;;27597:22;27665:28;27689:4;27665:21;:28;:::i;:::-;-1:-1:-1;;;;;27623:13:0;;;;;;:9;:13;;;;;;:20;;27639:4;;27623:20;:::i;:::-;27622:72;;;;:::i;:::-;27597:97;;27714:9;27709:89;27733:14;27729:1;:18;27709:89;;;27773:9;27779:2;27773:5;:9::i;:::-;27749:3;;27709:89;;;;27582:227;27562:247;27846:2;-1:-1:-1;;;;;27826:31:0;27840:4;-1:-1:-1;;;;;27826:31:0;;27850:6;27826:31;;;;1697:25:1;;1685:2;1670:18;;1551:177;27826:31:0;;;;;;;;-1:-1:-1;27875:4:0;;26794:1093;-1:-1:-1;;;;;;26794:1093:0:o;28889:160::-;29002:4;:12;29009:5;29002:4;:12;:::i;:::-;-1:-1:-1;29025:6:0;:16;29034:7;29025:6;:16;:::i;14900:716::-;14956:13;15007:14;15024:17;15035:5;15024:10;:17::i;:::-;15044:1;15024:21;15007:38;;15060:20;15094:6;15083:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15083:18:0;-1:-1:-1;15060:41:0;-1:-1:-1;15225:28:0;;;15241:2;15225:28;15282:288;-1:-1:-1;;15314:5:0;-1:-1:-1;;;15451:2:0;15440:14;;15435:30;15314:5;15422:44;15512:2;15503:11;;;-1:-1:-1;15533:21:0;15282:288;15533:21;-1:-1:-1;15591:6:0;14900:716;-1:-1:-1;;;14900:716:0:o;28508:373::-;-1:-1:-1;;;;;28569:18:0;;28565:73;;28611:15;;-1:-1:-1;;;28611:15:0;;;;;;;;;;;28565:73;-1:-1:-1;;;;;28663:12:0;;28650:10;28663:12;;;:6;:12;;;;;28676:19;;:23;;28698:1;;28676:23;:::i;:::-;28663:37;;;;;;;;:::i;:::-;;;;;;;;;28650:50;;28711:6;:12;28718:4;-1:-1:-1;;;;;28711:12:0;-1:-1:-1;;;;;28711:12:0;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;-1:-1:-1;;28711:18:0;;;;;;;;;;;;28747:15;;;:11;:15;;;;;;28740:22;;;28780:8;:12;;;;;28773:19;;-1:-1:-1;;;;;;28773:19:0;;;;;;28810:11;:15;;;;;;28803:22;;;;;;;;28843:30;28759:2;;28711:18;-1:-1:-1;;;;;28843:30:0;;;;;28711:18;;28843:30;28554:327;28508:373;:::o;10283:948::-;10336:7;;-1:-1:-1;;;10414:17:0;;10410:106;;-1:-1:-1;;;10452:17:0;;;-1:-1:-1;10498:2:0;10488:12;10410:106;10543:8;10534:5;:17;10530:106;;10581:8;10572:17;;;-1:-1:-1;10618:2:0;10608:12;10530:106;10663:8;10654:5;:17;10650:106;;10701:8;10692:17;;;-1:-1:-1;10738:2:0;10728:12;10650:106;10783:7;10774:5;:16;10770:103;;10820:7;10811:16;;;-1:-1:-1;10856:1:0;10846:11;10770:103;10900:7;10891:5;:16;10887:103;;10937:7;10928:16;;;-1:-1:-1;10973:1:0;10963:11;10887:103;11017:7;11008:5;:16;11004:103;;11054:7;11045:16;;;-1:-1:-1;11090:1:0;11080:11;11004:103;11134:7;11125:5;:16;11121:68;;11172:1;11162:11;11217:6;10283:948;-1:-1:-1;;10283:948:0:o;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:226::-;496:6;549:2;537:9;528:7;524:23;520:32;517:52;;;565:1;562;555:12;517:52;-1:-1:-1;610:23:1;;437:226;-1:-1:-1;437:226:1:o;876:173::-;944:20;;-1:-1:-1;;;;;993:31:1;;983:42;;973:70;;1039:1;1036;1029:12;1054:300;1122:6;1130;1183:2;1171:9;1162:7;1158:23;1154:32;1151:52;;;1199:1;1196;1189:12;1151:52;1222:29;1241:9;1222:29;:::i;:::-;1212:39;1320:2;1305:18;;;;1292:32;;-1:-1:-1;;;1054:300:1:o;1733:374::-;1810:6;1818;1826;1879:2;1867:9;1858:7;1854:23;1850:32;1847:52;;;1895:1;1892;1885:12;1847:52;1918:29;1937:9;1918:29;:::i;:::-;1908:39;;1966:38;2000:2;1989:9;1985:18;1966:38;:::i;:::-;1733:374;;1956:48;;-1:-1:-1;;;2073:2:1;2058:18;;;;2045:32;;1733:374::o;2112:186::-;2171:6;2224:2;2212:9;2203:7;2199:23;2195:32;2192:52;;;2240:1;2237;2230:12;2192:52;2263:29;2282:9;2263:29;:::i;2492:127::-;2553:10;2548:3;2544:20;2541:1;2534:31;2584:4;2581:1;2574:15;2608:4;2605:1;2598:15;2624:726;2667:5;2720:3;2713:4;2705:6;2701:17;2697:27;2687:55;;2738:1;2735;2728:12;2687:55;2778:6;2765:20;2808:18;2800:6;2797:30;2794:56;;;2830:18;;:::i;:::-;2879:2;2873:9;2971:2;2933:17;;-1:-1:-1;;2929:31:1;;;2962:2;2925:40;2921:54;2909:67;;3006:18;2991:34;;3027:22;;;2988:62;2985:88;;;3053:18;;:::i;:::-;3089:2;3082:22;3113;;;3154:19;;;3175:4;3150:30;3147:39;-1:-1:-1;3144:59:1;;;3199:1;3196;3189:12;3144:59;3263:6;3256:4;3248:6;3244:17;3237:4;3229:6;3225:17;3212:58;3318:1;3290:19;;;3311:4;3286:30;3279:41;;;;3294:6;2624:726;-1:-1:-1;;;2624:726:1:o;3355:538::-;3443:6;3451;3504:2;3492:9;3483:7;3479:23;3475:32;3472:52;;;3520:1;3517;3510:12;3472:52;3560:9;3547:23;3593:18;3585:6;3582:30;3579:50;;;3625:1;3622;3615:12;3579:50;3648;3690:7;3681:6;3670:9;3666:22;3648:50;:::i;:::-;3638:60;;;3751:2;3740:9;3736:18;3723:32;3780:18;3770:8;3767:32;3764:52;;;3812:1;3809;3802:12;3764:52;3835;3879:7;3868:8;3857:9;3853:24;3835:52;:::i;:::-;3825:62;;;3355:538;;;;;:::o;3898:347::-;3963:6;3971;4024:2;4012:9;4003:7;3999:23;3995:32;3992:52;;;4040:1;4037;4030:12;3992:52;4063:29;4082:9;4063:29;:::i;:::-;4053:39;;4142:2;4131:9;4127:18;4114:32;4189:5;4182:13;4175:21;4168:5;4165:32;4155:60;;4211:1;4208;4201:12;4155:60;4234:5;4224:15;;;3898:347;;;;;:::o;4250:849::-;4347:6;4355;4363;4371;4379;4432:3;4420:9;4411:7;4407:23;4403:33;4400:53;;;4449:1;4446;4439:12;4400:53;4472:29;4491:9;4472:29;:::i;:::-;4462:39;;4520:38;4554:2;4543:9;4539:18;4520:38;:::i;:::-;4510:48;-1:-1:-1;4627:2:1;4612:18;;4599:32;;-1:-1:-1;4706:2:1;4691:18;;4678:32;4733:18;4722:30;;4719:50;;;4765:1;4762;4755:12;4719:50;4788:22;;4841:4;4833:13;;4829:27;-1:-1:-1;4819:55:1;;4870:1;4867;4860:12;4819:55;4910:2;4897:16;4936:18;4928:6;4925:30;4922:50;;;4968:1;4965;4958:12;4922:50;5013:7;5008:2;4999:6;4995:2;4991:15;4987:24;4984:37;4981:57;;;5034:1;5031;5024:12;4981:57;4250:849;;;;-1:-1:-1;4250:849:1;;-1:-1:-1;;;5065:2:1;5057:11;;5087:6;4250:849::o;5104:260::-;5172:6;5180;5233:2;5221:9;5212:7;5208:23;5204:32;5201:52;;;5249:1;5246;5239:12;5201:52;5272:29;5291:9;5272:29;:::i;:::-;5262:39;;5320:38;5354:2;5343:9;5339:18;5320:38;:::i;:::-;5310:48;;5104:260;;;;;:::o;5369:322::-;5438:6;5491:2;5479:9;5470:7;5466:23;5462:32;5459:52;;;5507:1;5504;5497:12;5459:52;5547:9;5534:23;5580:18;5572:6;5569:30;5566:50;;;5612:1;5609;5602:12;5566:50;5635;5677:7;5668:6;5657:9;5653:22;5635:50;:::i;:::-;5625:60;5369:322;-1:-1:-1;;;;5369:322:1:o;5696:380::-;5775:1;5771:12;;;;5818;;;5839:61;;5893:4;5885:6;5881:17;5871:27;;5839:61;5946:2;5938:6;5935:14;5915:18;5912:38;5909:161;;5992:10;5987:3;5983:20;5980:1;5973:31;6027:4;6024:1;6017:15;6055:4;6052:1;6045:15;5909:161;;5696:380;;;:::o;7129:127::-;7190:10;7185:3;7181:20;7178:1;7171:31;7221:4;7218:1;7211:15;7245:4;7242:1;7235:15;7261:125;7326:9;;;7347:10;;;7344:36;;;7360:18;;:::i;7391:128::-;7458:9;;;7479:11;;;7476:37;;;7493:18;;:::i;7524:127::-;7585:10;7580:3;7576:20;7573:1;7566:31;7616:4;7613:1;7606:15;7640:4;7637:1;7630:15;7656:127;7717:10;7712:3;7708:20;7705:1;7698:31;7748:4;7745:1;7738:15;7772:4;7769:1;7762:15;8688:290;8757:6;8810:2;8798:9;8789:7;8785:23;8781:32;8778:52;;;8826:1;8823;8816:12;8778:52;8852:16;;-1:-1:-1;;;;;;8897:32:1;;8887:43;;8877:71;;8944:1;8941;8934:12;8983:658;-1:-1:-1;;;;;9224:32:1;;;9206:51;;9293:32;;9288:2;9273:18;;9266:60;9357:2;9342:18;;9335:34;;;9405:3;9400:2;9385:18;;9378:31;;;9425:19;;9418:35;;;9446:6;9496;9244:3;9475:19;;9462:49;9561:1;9531:22;;;9555:3;9527:32;;;9520:43;;;;9624:2;9603:15;;;-1:-1:-1;;9599:29:1;9584:45;9580:55;;8983:658;-1:-1:-1;;;;8983:658:1:o;9772:989::-;9948:3;9977:1;10010:6;10004:13;10040:36;10066:9;10040:36;:::i;:::-;10107:1;10092:17;;10118:133;;;;10265:1;10260:332;;;;10085:507;;10118:133;-1:-1:-1;;10151:24:1;;10139:37;;10224:14;;10217:22;10205:35;;10196:45;;;-1:-1:-1;10118:133:1;;10260:332;10291:6;10288:1;10281:17;10339:4;10336:1;10326:18;10366:1;10380:166;10394:6;10391:1;10388:13;10380:166;;;10474:14;;10461:11;;;10454:35;10530:1;10517:15;;;;10416:4;10409:12;10380:166;;;10384:3;;10575:6;10570:3;10566:16;10559:23;;10085:507;;;;10623:6;10617:13;10669:8;10662:4;10654:6;10650:17;10645:3;10639:39;10735:1;10697:18;;10724:13;;;10697:18;9772:989;-1:-1:-1;;;;9772:989:1:o;10766:518::-;10868:2;10863:3;10860:11;10857:421;;;10904:5;10901:1;10894:16;10948:4;10945:1;10935:18;11018:2;11006:10;11002:19;10999:1;10995:27;10989:4;10985:38;11054:4;11042:10;11039:20;11036:47;;;-1:-1:-1;11077:4:1;11036:47;11132:2;11127:3;11123:12;11120:1;11116:20;11110:4;11106:31;11096:41;;11187:81;11205:2;11198:5;11195:13;11187:81;;;11264:1;11250:16;;11231:1;11220:13;11187:81;;11460:1299;11586:3;11580:10;11613:18;11605:6;11602:30;11599:56;;;11635:18;;:::i;:::-;11664:97;11754:6;11714:38;11746:4;11740:11;11714:38;:::i;:::-;11708:4;11664:97;:::i;:::-;11810:4;11841:2;11830:14;;11858:1;11853:649;;;;12546:1;12563:6;12560:89;;;-1:-1:-1;12615:19:1;;;12609:26;12560:89;-1:-1:-1;;11417:1:1;11413:11;;;11409:24;11405:29;11395:40;11441:1;11437:11;;;11392:57;12662:81;;11823:930;;11853:649;9719:1;9712:14;;;9756:4;9743:18;;-1:-1:-1;;11889:20:1;;;12007:222;12021:7;12018:1;12015:14;12007:222;;;12103:19;;;12097:26;12082:42;;12210:4;12195:20;;;;12163:1;12151:14;;;;12037:12;12007:222;;;12011:3;12257:6;12248:7;12245:19;12242:201;;;12318:19;;;12312:26;-1:-1:-1;;12401:1:1;12397:14;;;12413:3;12393:24;12389:37;12385:42;12370:58;12355:74;;12242:201;-1:-1:-1;;;;12489:1:1;12473:14;;;12469:22;12456:36;;-1:-1:-1;11460:1299:1:o;12764:375::-;12852:1;12870:5;12884:249;12905:1;12895:8;12892:15;12884:249;;;12955:4;12950:3;12946:14;12940:4;12937:24;12934:50;;;12964:18;;:::i;:::-;13014:1;13004:8;13000:16;12997:49;;;13028:16;;;;12997:49;13111:1;13107:16;;;;;13067:15;;12884:249;;;12764:375;;;;;;:::o;13144:902::-;13193:5;13223:8;13213:80;;-1:-1:-1;13264:1:1;13278:5;;13213:80;13312:4;13302:76;;-1:-1:-1;13349:1:1;13363:5;;13302:76;13394:4;13412:1;13407:59;;;;13480:1;13475:174;;;;13387:262;;13407:59;13437:1;13428:10;;13451:5;;;13475:174;13512:3;13502:8;13499:17;13496:43;;;13519:18;;:::i;:::-;-1:-1:-1;;13575:1:1;13561:16;;13634:5;;13387:262;;13733:2;13723:8;13720:16;13714:3;13708:4;13705:13;13701:36;13695:2;13685:8;13682:16;13677:2;13671:4;13668:12;13664:35;13661:77;13658:203;;;-1:-1:-1;13770:19:1;;;13846:5;;13658:203;13893:42;-1:-1:-1;;13918:8:1;13912:4;13893:42;:::i;:::-;13971:6;13967:1;13963:6;13959:19;13950:7;13947:32;13944:58;;;13982:18;;:::i;:::-;14020:20;;13144:902;-1:-1:-1;;;13144:902:1:o;14051:140::-;14109:5;14138:47;14179:4;14169:8;14165:19;14159:4;14138:47;:::i;14328:217::-;14368:1;14394;14384:132;;14438:10;14433:3;14429:20;14426:1;14419:31;14473:4;14470:1;14463:15;14501:4;14498:1;14491:15;14384:132;-1:-1:-1;14530:9:1;;14328:217::o

ipfs://aff91fe77ab524cb026c7ea115636442ab93bba2340d9c16acbc786d792b4822