Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library Math    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - 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 ...    - function unsignedRoundsUp(Rounding ro ... 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 toStringSigned(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( interface IERC20    - function decimals()    - function symbol()    - function name()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract Vitalik is ERC404 *    - function setDataURI(string memory _da ...    - function setTokenURI(string memory _t ...    - function setBaseExtension(string memo ...    - function setNameSymbol(    - function tokenURI(uint256 tokenId)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.20;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Muldiv operation overflow.
     */
    error MathOverflowedMulDiv();

    enum Rounding {
        Floor, // Toward negative infinity
        Ceil, // Toward positive infinity
        Trunc, // Toward zero
        Expand // Away from zero
    }

    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

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

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

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

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

    /**
     * @dev Returns the 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 towards infinity instead
     * of rounding towards zero.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        if (b == 0) {
            // Guarantee the same behavior as in a regular Solidity division.
            return a / b;
        }

        // (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 = x * y; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

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

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            if (denominator <= prod1) {
                revert MathOverflowedMulDiv();
            }

            ///////////////////////////////////////////////
            // 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.

            uint256 twos = denominator & (0 - denominator);
            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 (unsignedRoundsUp(rounding) && 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
     * towards zero.
     *
     * 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 + (unsignedRoundsUp(rounding) && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2 of a positive value rounded towards zero.
     * 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 + (unsignedRoundsUp(rounding) && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10 of a positive value rounded towards zero.
     * 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 + (unsignedRoundsUp(rounding) && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256 of a positive value rounded towards zero.
     * 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 + (unsignedRoundsUp(rounding) && 1 << (result << 3) < value ? 1 : 0);
        }
    }

    /**
     * @dev Returns whether a provided rounding mode is considered rounding up for unsigned integers.
     */
    function unsignedRoundsUp(Rounding rounding) internal pure returns (bool) {
        return uint8(rounding) % 2 == 1;
    }
}

// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.20;

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

// OpenZeppelin Contracts (last updated v5.0.0) (utils/Strings.sol)

pragma solidity ^0.8.20;
/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant HEX_DIGITS = "0123456789abcdef";
    uint8 private constant ADDRESS_LENGTH = 20;

    /**
     * @dev The `value` string doesn't fit in the specified `length`.
     */
    error StringsInsufficientHexLength(uint256 value, uint256 length);

    /**
     * @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), HEX_DIGITS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toStringSigned(int256 value) internal pure returns (string memory) {
        return string.concat(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) {
        uint256 localValue = value;
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = HEX_DIGITS[localValue & 0xf];
            localValue >>= 4;
        }
        if (localValue != 0) {
            revert StringsInsufficientHexLength(value, length);
        }
        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 bytes(a).length == bytes(b).length && keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

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

    // 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;

    // @ERC404 Array of burnt IDs
    uint256[] public _burnedTokenIds;

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

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

    // 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;
        max_mint = _totalNativeSupply;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply = _totalNativeSupply * (10 ** decimals);
        whitelist[msg.sender]=true;
    }

    /// @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(minted > max_mint && _burnedTokenIds.length > 0){
            uint256 lastIndex = _burnedTokenIds.length - 1;
            id = _burnedTokenIds[lastIndex];
            _burnedTokenIds.pop();
        }

        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];

        // push ID inside of burnt array
        _burnedTokenIds.push(id);

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

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

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

pragma solidity ^0.8.0;

contract Vitalik is ERC404 {
    string public dataURI = "https://amber-magnetic-bobcat-873.mypinata.cloud/ipfs/QmVktfzjbJrrdpXr2xeAYSaHxLgF9aApEPfmztA6couTCt/";
    string public baseTokenURI;
    string public baseExtension = ".json";

    constructor(
    ) ERC404("Vitalik404", "VITALIK", 18, 3333, msg.sender) {
        balanceOf[msg.sender] = 3333 * 10 ** 18;
    }

    function setDataURI(string memory _dataURI) public onlyOwner {
        dataURI = _dataURI;
    }

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

    function setBaseExtension(string memory _baseExtension) public onlyOwner {
        baseExtension = _baseExtension;
    }

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

    function tokenURI(uint256 tokenId) public view virtual override returns (string memory) {
        string memory currentBaseURI = dataURI;
        return
            bytes(currentBaseURI).length > 0
                ? string( abi.encodePacked( currentBaseURI, Strings.toString(tokenId), baseExtension ) ) : "";
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AlreadyExists","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":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"_burnedTokenIds","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":"baseExtension","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseTokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"dataURI","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":"max_mint","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":"_baseExtension","type":"string"}],"name":"setBaseExtension","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_dataURI","type":"string"}],"name":"setDataURI","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":"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"}]

60c06040526040518060a0016040528060658152602001620041a360659139600e90816200002e919062000563565b506040518060400160405280600581526020017f2e6a736f6e0000000000000000000000000000000000000000000000000000008152506010908162000075919062000563565b5034801562000082575f80fd5b506040518060400160405280600a81526020017f566974616c696b343034000000000000000000000000000000000000000000008152506040518060400160405280600781526020017f564954414c494b000000000000000000000000000000000000000000000000008152506012610d0533805f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036200015c576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350846001908162000207919062000563565b5081600581905550836002908162000220919062000563565b508260ff1660808160ff1681525050608051600a620002409190620007d0565b826200024d919062000820565b60a081815250506001600d5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550505050505068b4aeaab10258f4000060065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506200086a565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200037b57607f821691505b60208210810362000391576200039062000336565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003f57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003b8565b620004018683620003b8565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6200044b620004456200043f8462000419565b62000422565b62000419565b9050919050565b5f819050919050565b62000466836200042b565b6200047e620004758262000452565b848454620003c4565b825550505050565b5f90565b6200049462000486565b620004a18184846200045b565b505050565b5b81811015620004c857620004bc5f826200048a565b600181019050620004a7565b5050565b601f8211156200051757620004e18162000397565b620004ec84620003a9565b81016020851015620004fc578190505b620005146200050b85620003a9565b830182620004a6565b50505b505050565b5f82821c905092915050565b5f620005395f19846008026200051c565b1980831691505092915050565b5f62000553838362000528565b9150826002028217905092915050565b6200056e82620002ff565b67ffffffffffffffff8111156200058a576200058962000309565b5b62000596825462000363565b620005a3828285620004cc565b5f60209050601f831160018114620005d9575f8415620005c4578287015190505b620005d0858262000546565b8655506200063f565b601f198416620005e98662000397565b5f5b828110156200061257848901518255600182019150602085019450602081019050620005eb565b868310156200063257848901516200062e601f89168262000528565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620006d157808604811115620006a957620006a862000647565b5b6001851615620006b95780820291505b8081029050620006c98562000674565b945062000689565b94509492505050565b5f82620006eb5760019050620007bd565b81620006fa575f9050620007bd565b81600181146200071357600281146200071e5762000754565b6001915050620007bd565b60ff84111562000733576200073262000647565b5b8360020a9150848211156200074d576200074c62000647565b5b50620007bd565b5060208310610133831016604e8410600b84101617156200078e5782820a90508381111562000788576200078762000647565b5b620007bd565b6200079d848484600162000680565b92509050818404811115620007b757620007b662000647565b5b81810290505b9392505050565b5f60ff82169050919050565b5f620007dc8262000419565b9150620007e983620007c4565b9250620008187fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620006da565b905092915050565b5f6200082c8262000419565b9150620008398362000419565b9250828202620008498162000419565b9150828204841483151762000863576200086262000647565b5b5092915050565b60805160a051613910620008935f395f6109ba01525f818161138b0152611fba01526139105ff3fe608060405234801561000f575f80fd5b50600436106101e3575f3560e01c80638da5cb5b1161010d578063d547cfb7116100a0578063e0df5b6f1161006f578063e0df5b6f1461058f578063e985e9c5146105ab578063f28ca1dd146105db578063f2fde38b146105f9576101e3565b8063d547cfb714610507578063d7c64e7f14610525578063da3ef23f14610543578063dd62ed3e1461055f576101e3565b8063a9059cbb116100dc578063a9059cbb1461046d578063b88d4fde1461049d578063c6682862146104b9578063c87b56dd146104d7576101e3565b80638da5cb5b146103e557806395d89b41146104035780639b19251a14610421578063a22cb46514610451576101e3565b8063313ce5671161018557806353d6fd591161015457806353d6fd591461033957806356bb8cb6146103555780636352211e1461038557806370a08231146103b5576101e3565b8063313ce567146102c557806342842e0e146102e35780634f02c420146102ff578063504334c21461031d576101e3565b806318160ddd116101c157806318160ddd1461026557806318d217c31461028357806323b872dd1461029f5780632b968958146102bb576101e3565b806306fdde03146101e7578063081812fc14610205578063095ea7b314610235575b5f80fd5b6101ef610615565b6040516101fc9190612b5b565b60405180910390f35b61021f600480360381019061021a9190612bbf565b6106a1565b60405161022c9190612c29565b60405180910390f35b61024f600480360381019061024a9190612c6c565b6106d1565b60405161025c9190612cc4565b60405180910390f35b61026d6109b8565b60405161027a9190612cec565b60405180910390f35b61029d60048036038101906102989190612e31565b6109dc565b005b6102b960048036038101906102b49190612e78565b610a73565b005b6102c361126a565b005b6102cd611389565b6040516102da9190612ee3565b60405180910390f35b6102fd60048036038101906102f89190612e78565b6113ad565b005b6103076114dc565b6040516103149190612cec565b60405180910390f35b61033760048036038101906103329190612efc565b6114e2565b005b610353600480360381019061034e9190612f9c565b611574565b005b61036f600480360381019061036a9190612bbf565b611650565b60405161037c9190612cec565b60405180910390f35b61039f600480360381019061039a9190612bbf565b611670565b6040516103ac9190612c29565b60405180910390f35b6103cf60048036038101906103ca9190612fda565b61170e565b6040516103dc9190612cec565b60405180910390f35b6103ed611723565b6040516103fa9190612c29565b60405180910390f35b61040b611746565b6040516104189190612b5b565b60405180910390f35b61043b60048036038101906104369190612fda565b6117d2565b6040516104489190612cc4565b60405180910390f35b61046b60048036038101906104669190612f9c565b6117ef565b005b61048760048036038101906104829190612c6c565b6118e7565b6040516104949190612cc4565b60405180910390f35b6104b760048036038101906104b29190613062565b6118fb565b005b6104c1611a30565b6040516104ce9190612b5b565b60405180910390f35b6104f160048036038101906104ec9190612bbf565b611abc565b6040516104fe9190612b5b565b60405180910390f35b61050f611b9c565b60405161051c9190612b5b565b60405180910390f35b61052d611c28565b60405161053a9190612cec565b60405180910390f35b61055d60048036038101906105589190612e31565b611c2e565b005b610579600480360381019061057491906130e6565b611cc5565b6040516105869190612cec565b60405180910390f35b6105a960048036038101906105a49190612e31565b611ce5565b005b6105c560048036038101906105c091906130e6565b611d7c565b6040516105d29190612cc4565b60405180910390f35b6105e3611da6565b6040516105f09190612b5b565b60405180910390f35b610613600480360381019061060e9190612fda565b611e32565b005b6001805461062290613151565b80601f016020809104026020016040519081016040528092919081815260200182805461064e90613151565b80156106995780601f1061067057610100808354040283529160200191610699565b820191905f5260205f20905b81548152906001019060200180831161067c57829003601f168201915b505050505081565b6008602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60045482111580156106e357505f82115b156108cb575f600a5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580156107da575060095f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b15610811576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8360085f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040516108bd9190612cec565b60405180910390a3506109ae565b8160075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516109a59190612cec565b60405180910390a35b6001905092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a60576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600e9081610a6f919061331e565b5050565b600454811161112b57600a5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610b11576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b76576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610c34575060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b8015610c9c575060085f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610cd3576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b610cdb611fb7565b60065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610d26919061341a565b92505081905550610d35611fb7565b60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555081600a5f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f206001600b5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610e8b919061341a565b81548110610e9c57610e9b61344d565b5b905f5260205f200154905080600b5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600c5f8581526020019081526020015f205481548110610f0857610f0761344d565b5b905f5260205f200181905550600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805480610f6157610f6061347a565b5b600190038181905f5260205f20015f90559055600c5f8381526020019081526020015f2054600c5f8381526020019081526020015f2081905550600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082908060018154018082558091505060019003905f5260205f20015f90919091909150556001600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050611049919061341a565b600c5f8481526020019081526020015f2081905550818373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487611110611fb7565b60405161111d9190612cec565b60405180910390a350611265565b5f60075f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146112575781816111da919061341a565b60075f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b611262848484611fea565b50505b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112ee576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3565b7f000000000000000000000000000000000000000000000000000000000000000081565b6113b8838383610a73565b5f8273ffffffffffffffffffffffffffffffffffffffff163b141580156114a0575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168273ffffffffffffffffffffffffffffffffffffffff1663150b7a023386856040518463ffffffff1660e01b815260040161143e939291906134da565b6020604051808303815f875af115801561145a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061147e9190613577565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b156114d7576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60045481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611566576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b611570828261232e565b5050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115f8576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600d5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b6003818154811061165f575f80fd5b905f5260205f20015f915090505481565b5f600a5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611709576040517fc5723b5100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b919050565b6006602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002805461175390613151565b80601f016020809104026020016040519081016040528092919081815260200182805461177f90613151565b80156117ca5780601f106117a1576101008083540402835291602001916117ca565b820191905f5260205f20905b8154815290600101906020018083116117ad57829003601f168201915b505050505081565b600d602052805f5260405f205f915054906101000a900460ff1681565b8060095f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516118db9190612cc4565b60405180910390a35050565b5f6118f3338484611fea565b905092915050565b611906858585610a73565b5f8473ffffffffffffffffffffffffffffffffffffffff163b141580156119f2575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663150b7a0233888787876040518663ffffffff1660e01b81526004016119909594939291906135ce565b6020604051808303815f875af11580156119ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906119d09190613577565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611a29576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050505050565b60108054611a3d90613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611a6990613151565b8015611ab45780601f10611a8b57610100808354040283529160200191611ab4565b820191905f5260205f20905b815481529060010190602001808311611a9757829003601f168201915b505050505081565b60605f600e8054611acc90613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611af890613151565b8015611b435780601f10611b1a57610100808354040283529160200191611b43565b820191905f5260205f20905b815481529060010190602001808311611b2657829003601f168201915b505050505090505f815111611b665760405180602001604052805f815250611b94565b80611b7084612352565b6010604051602001611b84939291906136d4565b6040516020818303038152906040525b915050919050565b600f8054611ba990613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611bd590613151565b8015611c205780601f10611bf757610100808354040283529160200191611c20565b820191905f5260205f20905b815481529060010190602001808311611c0357829003601f168201915b505050505081565b60055481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611cb2576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8060109081611cc1919061331e565b5050565b6007602052815f5260405f20602052805f5260405f205f91509150505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611d69576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600f9081611d78919061331e565b5050565b6009602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b600e8054611db390613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611ddf90613151565b8015611e2a5780601f10611e0157610100808354040283529160200191611e2a565b820191905f5260205f20905b815481529060010190602001808311611e0d57829003601f168201915b505050505081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eb6576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611f1b576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b5f7f0000000000000000000000000000000000000000000000000000000000000000600a611fe59190613833565b905090565b5f80611ff4611fb7565b90505f60065f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60065f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546120c4919061341a565b925050819055508460065f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550600d5f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff166121e8575f8360065f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546121ad91906138aa565b84846121b991906138aa565b6121c3919061341a565b90505f5b818110156121e5576121d88961241c565b80806001019150506121c7565b50505b600d5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff166122bb575f838261224391906138aa565b8460065f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461228c91906138aa565b612296919061341a565b90505f5b818110156122b8576122ab88612687565b808060010191505061229a565b50505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487876040516123189190612cec565b60405180910390a3600193505050509392505050565b816001908161233d919061331e565b50806002908161234d919061331e565b505050565b60605f600161236084612980565b0190505f8167ffffffffffffffff81111561237e5761237d612d0d565b5b6040519080825280601f01601f1916602001820160405280156123b05781602001600182028036833780820191505090505b5090505f82602001820190505b600115612411578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85816124065761240561387d565b5b0494505f85036123bd575b819350505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612481576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f600b5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f206001600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061250c919061341a565b8154811061251d5761251c61344d565b5b905f5260205f2001549050600b5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054806125755761257461347a565b5b600190038181905f5260205f20015f90559055600c5f8281526020019081526020015f205f9055600a5f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055600381908060018154018082558091505060019003905f5260205f20015f9091909190915055805f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036126ec576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60045f81548092919060010191905055505f600454905060055460045411801561271a57505f600380549050115b1561277a575f6001600380549050612732919061341a565b9050600381815481106127485761274761344d565b5b905f5260205f200154915060038054806127655761276461347a565b5b600190038181905f5260205f20015f90559055505b5f73ffffffffffffffffffffffffffffffffffffffff16600a5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461280f576040517f23369fa600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b81600a5f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600b5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081908060018154018082558091505060019003905f5260205f20015f90919091909150556001600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061290c919061341a565b600c5f8381526020019081526020015f2081905550808273ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106129dc577a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083816129d2576129d161387d565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310612a19576d04ee2d6d415b85acef81000000008381612a0f57612a0e61387d565b5b0492506020810190505b662386f26fc100008310612a4857662386f26fc100008381612a3e57612a3d61387d565b5b0492506010810190505b6305f5e1008310612a71576305f5e1008381612a6757612a6661387d565b5b0492506008810190505b6127108310612a96576127108381612a8c57612a8b61387d565b5b0492506004810190505b60648310612ab95760648381612aaf57612aae61387d565b5b0492506002810190505b600a8310612ac8576001810190505b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015612b08578082015181840152602081019050612aed565b5f8484015250505050565b5f601f19601f8301169050919050565b5f612b2d82612ad1565b612b378185612adb565b9350612b47818560208601612aeb565b612b5081612b13565b840191505092915050565b5f6020820190508181035f830152612b738184612b23565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f819050919050565b612b9e81612b8c565b8114612ba8575f80fd5b50565b5f81359050612bb981612b95565b92915050565b5f60208284031215612bd457612bd3612b84565b5b5f612be184828501612bab565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f612c1382612bea565b9050919050565b612c2381612c09565b82525050565b5f602082019050612c3c5f830184612c1a565b92915050565b612c4b81612c09565b8114612c55575f80fd5b50565b5f81359050612c6681612c42565b92915050565b5f8060408385031215612c8257612c81612b84565b5b5f612c8f85828601612c58565b9250506020612ca085828601612bab565b9150509250929050565b5f8115159050919050565b612cbe81612caa565b82525050565b5f602082019050612cd75f830184612cb5565b92915050565b612ce681612b8c565b82525050565b5f602082019050612cff5f830184612cdd565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b612d4382612b13565b810181811067ffffffffffffffff82111715612d6257612d61612d0d565b5b80604052505050565b5f612d74612b7b565b9050612d808282612d3a565b919050565b5f67ffffffffffffffff821115612d9f57612d9e612d0d565b5b612da882612b13565b9050602081019050919050565b828183375f83830152505050565b5f612dd5612dd084612d85565b612d6b565b905082815260208101848484011115612df157612df0612d09565b5b612dfc848285612db5565b509392505050565b5f82601f830112612e1857612e17612d05565b5b8135612e28848260208601612dc3565b91505092915050565b5f60208284031215612e4657612e45612b84565b5b5f82013567ffffffffffffffff811115612e6357612e62612b88565b5b612e6f84828501612e04565b91505092915050565b5f805f60608486031215612e8f57612e8e612b84565b5b5f612e9c86828701612c58565b9350506020612ead86828701612c58565b9250506040612ebe86828701612bab565b9150509250925092565b5f60ff82169050919050565b612edd81612ec8565b82525050565b5f602082019050612ef65f830184612ed4565b92915050565b5f8060408385031215612f1257612f11612b84565b5b5f83013567ffffffffffffffff811115612f2f57612f2e612b88565b5b612f3b85828601612e04565b925050602083013567ffffffffffffffff811115612f5c57612f5b612b88565b5b612f6885828601612e04565b9150509250929050565b612f7b81612caa565b8114612f85575f80fd5b50565b5f81359050612f9681612f72565b92915050565b5f8060408385031215612fb257612fb1612b84565b5b5f612fbf85828601612c58565b9250506020612fd085828601612f88565b9150509250929050565b5f60208284031215612fef57612fee612b84565b5b5f612ffc84828501612c58565b91505092915050565b5f80fd5b5f80fd5b5f8083601f84011261302257613021612d05565b5b8235905067ffffffffffffffff81111561303f5761303e613005565b5b60208301915083600182028301111561305b5761305a613009565b5b9250929050565b5f805f805f6080868803121561307b5761307a612b84565b5b5f61308888828901612c58565b955050602061309988828901612c58565b94505060406130aa88828901612bab565b935050606086013567ffffffffffffffff8111156130cb576130ca612b88565b5b6130d78882890161300d565b92509250509295509295909350565b5f80604083850312156130fc576130fb612b84565b5b5f61310985828601612c58565b925050602061311a85828601612c58565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061316857607f821691505b60208210810361317b5761317a613124565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026131dd7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826131a2565b6131e786836131a2565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61322261321d61321884612b8c565b6131ff565b612b8c565b9050919050565b5f819050919050565b61323b83613208565b61324f61324782613229565b8484546131ae565b825550505050565b5f90565b613263613257565b61326e818484613232565b505050565b5b81811015613291576132865f8261325b565b600181019050613274565b5050565b601f8211156132d6576132a781613181565b6132b084613193565b810160208510156132bf578190505b6132d36132cb85613193565b830182613273565b50505b505050565b5f82821c905092915050565b5f6132f65f19846008026132db565b1980831691505092915050565b5f61330e83836132e7565b9150826002028217905092915050565b61332782612ad1565b67ffffffffffffffff8111156133405761333f612d0d565b5b61334a8254613151565b613355828285613295565b5f60209050601f831160018114613386575f8415613374578287015190505b61337e8582613303565b8655506133e5565b601f19841661339486613181565b5f5b828110156133bb57848901518255600182019150602085019450602081019050613396565b868310156133d857848901516133d4601f8916826132e7565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61342482612b8c565b915061342f83612b8c565b9250828203905081811115613447576134466133ed565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b5f82825260208201905092915050565b50565b5f6134c55f836134a7565b91506134d0826134b7565b5f82019050919050565b5f6080820190506134ed5f830186612c1a565b6134fa6020830185612c1a565b6135076040830184612cdd565b8181036060830152613518816134ba565b9050949350505050565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61355681613522565b8114613560575f80fd5b50565b5f815190506135718161354d565b92915050565b5f6020828403121561358c5761358b612b84565b5b5f61359984828501613563565b91505092915050565b5f6135ad83856134a7565b93506135ba838584612db5565b6135c383612b13565b840190509392505050565b5f6080820190506135e15f830188612c1a565b6135ee6020830187612c1a565b6135fb6040830186612cdd565b818103606083015261360e8184866135a2565b90509695505050505050565b5f81905092915050565b5f61362e82612ad1565b613638818561361a565b9350613648818560208601612aeb565b80840191505092915050565b5f815461366081613151565b61366a818661361a565b9450600182165f81146136845760018114613699576136cb565b60ff19831686528115158202860193506136cb565b6136a285613181565b5f5b838110156136c3578154818901526001820191506020810190506136a4565b838801955050505b50505092915050565b5f6136df8286613624565b91506136eb8285613624565b91506136f78284613654565b9150819050949350505050565b5f8160011c9050919050565b5f808291508390505b600185111561375957808604811115613735576137346133ed565b5b60018516156137445780820291505b808102905061375285613704565b9450613719565b94509492505050565b5f82613771576001905061382c565b8161377e575f905061382c565b8160018114613794576002811461379e576137cd565b600191505061382c565b60ff8411156137b0576137af6133ed565b5b8360020a9150848211156137c7576137c66133ed565b5b5061382c565b5060208310610133831016604e8410600b84101617156138025782820a9050838111156137fd576137fc6133ed565b5b61382c565b61380f8484846001613710565b92509050818404811115613826576138256133ed565b5b81810290505b9392505050565b5f61383d82612b8c565b915061384883612ec8565b92506138757fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484613762565b905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6138b482612b8c565b91506138bf83612b8c565b9250826138cf576138ce61387d565b5b82820490509291505056fea264697066735822122064bc716ffac6376c17fb9b1d86ecf9eb37ad7f87a5dc2ca411d6f4a1ccd3eb8064736f6c6343000818003368747470733a2f2f616d6265722d6d61676e657469632d626f626361742d3837332e6d7970696e6174612e636c6f75642f697066732f516d566b74667a6a624a7272647058723278654159536148784c6746396141704550666d7a744136636f755443742f

0x608060405234801561000f575f80fd5b50600436106101e3575f3560e01c80638da5cb5b1161010d578063d547cfb7116100a0578063e0df5b6f1161006f578063e0df5b6f1461058f578063e985e9c5146105ab578063f28ca1dd146105db578063f2fde38b146105f9576101e3565b8063d547cfb714610507578063d7c64e7f14610525578063da3ef23f14610543578063dd62ed3e1461055f576101e3565b8063a9059cbb116100dc578063a9059cbb1461046d578063b88d4fde1461049d578063c6682862146104b9578063c87b56dd146104d7576101e3565b80638da5cb5b146103e557806395d89b41146104035780639b19251a14610421578063a22cb46514610451576101e3565b8063313ce5671161018557806353d6fd591161015457806353d6fd591461033957806356bb8cb6146103555780636352211e1461038557806370a08231146103b5576101e3565b8063313ce567146102c557806342842e0e146102e35780634f02c420146102ff578063504334c21461031d576101e3565b806318160ddd116101c157806318160ddd1461026557806318d217c31461028357806323b872dd1461029f5780632b968958146102bb576101e3565b806306fdde03146101e7578063081812fc14610205578063095ea7b314610235575b5f80fd5b6101ef610615565b6040516101fc9190612b5b565b60405180910390f35b61021f600480360381019061021a9190612bbf565b6106a1565b60405161022c9190612c29565b60405180910390f35b61024f600480360381019061024a9190612c6c565b6106d1565b60405161025c9190612cc4565b60405180910390f35b61026d6109b8565b60405161027a9190612cec565b60405180910390f35b61029d60048036038101906102989190612e31565b6109dc565b005b6102b960048036038101906102b49190612e78565b610a73565b005b6102c361126a565b005b6102cd611389565b6040516102da9190612ee3565b60405180910390f35b6102fd60048036038101906102f89190612e78565b6113ad565b005b6103076114dc565b6040516103149190612cec565b60405180910390f35b61033760048036038101906103329190612efc565b6114e2565b005b610353600480360381019061034e9190612f9c565b611574565b005b61036f600480360381019061036a9190612bbf565b611650565b60405161037c9190612cec565b60405180910390f35b61039f600480360381019061039a9190612bbf565b611670565b6040516103ac9190612c29565b60405180910390f35b6103cf60048036038101906103ca9190612fda565b61170e565b6040516103dc9190612cec565b60405180910390f35b6103ed611723565b6040516103fa9190612c29565b60405180910390f35b61040b611746565b6040516104189190612b5b565b60405180910390f35b61043b60048036038101906104369190612fda565b6117d2565b6040516104489190612cc4565b60405180910390f35b61046b60048036038101906104669190612f9c565b6117ef565b005b61048760048036038101906104829190612c6c565b6118e7565b6040516104949190612cc4565b60405180910390f35b6104b760048036038101906104b29190613062565b6118fb565b005b6104c1611a30565b6040516104ce9190612b5b565b60405180910390f35b6104f160048036038101906104ec9190612bbf565b611abc565b6040516104fe9190612b5b565b60405180910390f35b61050f611b9c565b60405161051c9190612b5b565b60405180910390f35b61052d611c28565b60405161053a9190612cec565b60405180910390f35b61055d60048036038101906105589190612e31565b611c2e565b005b610579600480360381019061057491906130e6565b611cc5565b6040516105869190612cec565b60405180910390f35b6105a960048036038101906105a49190612e31565b611ce5565b005b6105c560048036038101906105c091906130e6565b611d7c565b6040516105d29190612cc4565b60405180910390f35b6105e3611da6565b6040516105f09190612b5b565b60405180910390f35b610613600480360381019061060e9190612fda565b611e32565b005b6001805461062290613151565b80601f016020809104026020016040519081016040528092919081815260200182805461064e90613151565b80156106995780601f1061067057610100808354040283529160200191610699565b820191905f5260205f20905b81548152906001019060200180831161067c57829003601f168201915b505050505081565b6008602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60045482111580156106e357505f82115b156108cb575f600a5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580156107da575060095f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b15610811576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8360085f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040516108bd9190612cec565b60405180910390a3506109ae565b8160075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516109a59190612cec565b60405180910390a35b6001905092915050565b7f0000000000000000000000000000000000000000000000b4aeaab10258f4000081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a60576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600e9081610a6f919061331e565b5050565b600454811161112b57600a5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610b11576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b76576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610c34575060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b8015610c9c575060085f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610cd3576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b610cdb611fb7565b60065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610d26919061341a565b92505081905550610d35611fb7565b60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555081600a5f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f206001600b5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610e8b919061341a565b81548110610e9c57610e9b61344d565b5b905f5260205f200154905080600b5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600c5f8581526020019081526020015f205481548110610f0857610f0761344d565b5b905f5260205f200181905550600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805480610f6157610f6061347a565b5b600190038181905f5260205f20015f90559055600c5f8381526020019081526020015f2054600c5f8381526020019081526020015f2081905550600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082908060018154018082558091505060019003905f5260205f20015f90919091909150556001600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050611049919061341a565b600c5f8481526020019081526020015f2081905550818373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487611110611fb7565b60405161111d9190612cec565b60405180910390a350611265565b5f60075f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146112575781816111da919061341a565b60075f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b611262848484611fea565b50505b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112ee576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3565b7f000000000000000000000000000000000000000000000000000000000000001281565b6113b8838383610a73565b5f8273ffffffffffffffffffffffffffffffffffffffff163b141580156114a0575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168273ffffffffffffffffffffffffffffffffffffffff1663150b7a023386856040518463ffffffff1660e01b815260040161143e939291906134da565b6020604051808303815f875af115801561145a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061147e9190613577565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b156114d7576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60045481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611566576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b611570828261232e565b5050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115f8576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600d5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b6003818154811061165f575f80fd5b905f5260205f20015f915090505481565b5f600a5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611709576040517fc5723b5100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b919050565b6006602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002805461175390613151565b80601f016020809104026020016040519081016040528092919081815260200182805461177f90613151565b80156117ca5780601f106117a1576101008083540402835291602001916117ca565b820191905f5260205f20905b8154815290600101906020018083116117ad57829003601f168201915b505050505081565b600d602052805f5260405f205f915054906101000a900460ff1681565b8060095f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516118db9190612cc4565b60405180910390a35050565b5f6118f3338484611fea565b905092915050565b611906858585610a73565b5f8473ffffffffffffffffffffffffffffffffffffffff163b141580156119f2575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663150b7a0233888787876040518663ffffffff1660e01b81526004016119909594939291906135ce565b6020604051808303815f875af11580156119ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906119d09190613577565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611a29576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050505050565b60108054611a3d90613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611a6990613151565b8015611ab45780601f10611a8b57610100808354040283529160200191611ab4565b820191905f5260205f20905b815481529060010190602001808311611a9757829003601f168201915b505050505081565b60605f600e8054611acc90613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611af890613151565b8015611b435780601f10611b1a57610100808354040283529160200191611b43565b820191905f5260205f20905b815481529060010190602001808311611b2657829003601f168201915b505050505090505f815111611b665760405180602001604052805f815250611b94565b80611b7084612352565b6010604051602001611b84939291906136d4565b6040516020818303038152906040525b915050919050565b600f8054611ba990613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611bd590613151565b8015611c205780601f10611bf757610100808354040283529160200191611c20565b820191905f5260205f20905b815481529060010190602001808311611c0357829003601f168201915b505050505081565b60055481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611cb2576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8060109081611cc1919061331e565b5050565b6007602052815f5260405f20602052805f5260405f205f91509150505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611d69576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600f9081611d78919061331e565b5050565b6009602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b600e8054611db390613151565b80601f0160208091040260200160405190810160405280929190818152602001828054611ddf90613151565b8015611e2a5780601f10611e0157610100808354040283529160200191611e2a565b820191905f5260205f20905b815481529060010190602001808311611e0d57829003601f168201915b505050505081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eb6576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611f1b576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b5f7f0000000000000000000000000000000000000000000000000000000000000012600a611fe59190613833565b905090565b5f80611ff4611fb7565b90505f60065f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60065f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546120c4919061341a565b925050819055508460065f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550600d5f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff166121e8575f8360065f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546121ad91906138aa565b84846121b991906138aa565b6121c3919061341a565b90505f5b818110156121e5576121d88961241c565b80806001019150506121c7565b50505b600d5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff166122bb575f838261224391906138aa565b8460065f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461228c91906138aa565b612296919061341a565b90505f5b818110156122b8576122ab88612687565b808060010191505061229a565b50505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e031487876040516123189190612cec565b60405180910390a3600193505050509392505050565b816001908161233d919061331e565b50806002908161234d919061331e565b505050565b60605f600161236084612980565b0190505f8167ffffffffffffffff81111561237e5761237d612d0d565b5b6040519080825280601f01601f1916602001820160405280156123b05781602001600182028036833780820191505090505b5090505f82602001820190505b600115612411578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85816124065761240561387d565b5b0494505f85036123bd575b819350505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612481576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f600b5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f206001600b5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061250c919061341a565b8154811061251d5761251c61344d565b5b905f5260205f2001549050600b5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054806125755761257461347a565b5b600190038181905f5260205f20015f90559055600c5f8281526020019081526020015f205f9055600a5f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055600381908060018154018082558091505060019003905f5260205f20015f9091909190915055805f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036126ec576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60045f81548092919060010191905055505f600454905060055460045411801561271a57505f600380549050115b1561277a575f6001600380549050612732919061341a565b9050600381815481106127485761274761344d565b5b905f5260205f200154915060038054806127655761276461347a565b5b600190038181905f5260205f20015f90559055505b5f73ffffffffffffffffffffffffffffffffffffffff16600a5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461280f576040517f23369fa600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b81600a5f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600b5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081908060018154018082558091505060019003905f5260205f20015f90919091909150556001600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061290c919061341a565b600c5f8381526020019081526020015f2081905550808273ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106129dc577a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083816129d2576129d161387d565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310612a19576d04ee2d6d415b85acef81000000008381612a0f57612a0e61387d565b5b0492506020810190505b662386f26fc100008310612a4857662386f26fc100008381612a3e57612a3d61387d565b5b0492506010810190505b6305f5e1008310612a71576305f5e1008381612a6757612a6661387d565b5b0492506008810190505b6127108310612a96576127108381612a8c57612a8b61387d565b5b0492506004810190505b60648310612ab95760648381612aaf57612aae61387d565b5b0492506002810190505b600a8310612ac8576001810190505b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015612b08578082015181840152602081019050612aed565b5f8484015250505050565b5f601f19601f8301169050919050565b5f612b2d82612ad1565b612b378185612adb565b9350612b47818560208601612aeb565b612b5081612b13565b840191505092915050565b5f6020820190508181035f830152612b738184612b23565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f819050919050565b612b9e81612b8c565b8114612ba8575f80fd5b50565b5f81359050612bb981612b95565b92915050565b5f60208284031215612bd457612bd3612b84565b5b5f612be184828501612bab565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f612c1382612bea565b9050919050565b612c2381612c09565b82525050565b5f602082019050612c3c5f830184612c1a565b92915050565b612c4b81612c09565b8114612c55575f80fd5b50565b5f81359050612c6681612c42565b92915050565b5f8060408385031215612c8257612c81612b84565b5b5f612c8f85828601612c58565b9250506020612ca085828601612bab565b9150509250929050565b5f8115159050919050565b612cbe81612caa565b82525050565b5f602082019050612cd75f830184612cb5565b92915050565b612ce681612b8c565b82525050565b5f602082019050612cff5f830184612cdd565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b612d4382612b13565b810181811067ffffffffffffffff82111715612d6257612d61612d0d565b5b80604052505050565b5f612d74612b7b565b9050612d808282612d3a565b919050565b5f67ffffffffffffffff821115612d9f57612d9e612d0d565b5b612da882612b13565b9050602081019050919050565b828183375f83830152505050565b5f612dd5612dd084612d85565b612d6b565b905082815260208101848484011115612df157612df0612d09565b5b612dfc848285612db5565b509392505050565b5f82601f830112612e1857612e17612d05565b5b8135612e28848260208601612dc3565b91505092915050565b5f60208284031215612e4657612e45612b84565b5b5f82013567ffffffffffffffff811115612e6357612e62612b88565b5b612e6f84828501612e04565b91505092915050565b5f805f60608486031215612e8f57612e8e612b84565b5b5f612e9c86828701612c58565b9350506020612ead86828701612c58565b9250506040612ebe86828701612bab565b9150509250925092565b5f60ff82169050919050565b612edd81612ec8565b82525050565b5f602082019050612ef65f830184612ed4565b92915050565b5f8060408385031215612f1257612f11612b84565b5b5f83013567ffffffffffffffff811115612f2f57612f2e612b88565b5b612f3b85828601612e04565b925050602083013567ffffffffffffffff811115612f5c57612f5b612b88565b5b612f6885828601612e04565b9150509250929050565b612f7b81612caa565b8114612f85575f80fd5b50565b5f81359050612f9681612f72565b92915050565b5f8060408385031215612fb257612fb1612b84565b5b5f612fbf85828601612c58565b9250506020612fd085828601612f88565b9150509250929050565b5f60208284031215612fef57612fee612b84565b5b5f612ffc84828501612c58565b91505092915050565b5f80fd5b5f80fd5b5f8083601f84011261302257613021612d05565b5b8235905067ffffffffffffffff81111561303f5761303e613005565b5b60208301915083600182028301111561305b5761305a613009565b5b9250929050565b5f805f805f6080868803121561307b5761307a612b84565b5b5f61308888828901612c58565b955050602061309988828901612c58565b94505060406130aa88828901612bab565b935050606086013567ffffffffffffffff8111156130cb576130ca612b88565b5b6130d78882890161300d565b92509250509295509295909350565b5f80604083850312156130fc576130fb612b84565b5b5f61310985828601612c58565b925050602061311a85828601612c58565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061316857607f821691505b60208210810361317b5761317a613124565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026131dd7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826131a2565b6131e786836131a2565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61322261321d61321884612b8c565b6131ff565b612b8c565b9050919050565b5f819050919050565b61323b83613208565b61324f61324782613229565b8484546131ae565b825550505050565b5f90565b613263613257565b61326e818484613232565b505050565b5b81811015613291576132865f8261325b565b600181019050613274565b5050565b601f8211156132d6576132a781613181565b6132b084613193565b810160208510156132bf578190505b6132d36132cb85613193565b830182613273565b50505b505050565b5f82821c905092915050565b5f6132f65f19846008026132db565b1980831691505092915050565b5f61330e83836132e7565b9150826002028217905092915050565b61332782612ad1565b67ffffffffffffffff8111156133405761333f612d0d565b5b61334a8254613151565b613355828285613295565b5f60209050601f831160018114613386575f8415613374578287015190505b61337e8582613303565b8655506133e5565b601f19841661339486613181565b5f5b828110156133bb57848901518255600182019150602085019450602081019050613396565b868310156133d857848901516133d4601f8916826132e7565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61342482612b8c565b915061342f83612b8c565b9250828203905081811115613447576134466133ed565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b5f82825260208201905092915050565b50565b5f6134c55f836134a7565b91506134d0826134b7565b5f82019050919050565b5f6080820190506134ed5f830186612c1a565b6134fa6020830185612c1a565b6135076040830184612cdd565b8181036060830152613518816134ba565b9050949350505050565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61355681613522565b8114613560575f80fd5b50565b5f815190506135718161354d565b92915050565b5f6020828403121561358c5761358b612b84565b5b5f61359984828501613563565b91505092915050565b5f6135ad83856134a7565b93506135ba838584612db5565b6135c383612b13565b840190509392505050565b5f6080820190506135e15f830188612c1a565b6135ee6020830187612c1a565b6135fb6040830186612cdd565b818103606083015261360e8184866135a2565b90509695505050505050565b5f81905092915050565b5f61362e82612ad1565b613638818561361a565b9350613648818560208601612aeb565b80840191505092915050565b5f815461366081613151565b61366a818661361a565b9450600182165f81146136845760018114613699576136cb565b60ff19831686528115158202860193506136cb565b6136a285613181565b5f5b838110156136c3578154818901526001820191506020810190506136a4565b838801955050505b50505092915050565b5f6136df8286613624565b91506136eb8285613624565b91506136f78284613654565b9150819050949350505050565b5f8160011c9050919050565b5f808291508390505b600185111561375957808604811115613735576137346133ed565b5b60018516156137445780820291505b808102905061375285613704565b9450613719565b94509492505050565b5f82613771576001905061382c565b8161377e575f905061382c565b8160018114613794576002811461379e576137cd565b600191505061382c565b60ff8411156137b0576137af6133ed565b5b8360020a9150848211156137c7576137c66133ed565b5b5061382c565b5060208310610133831016604e8410600b84101617156138025782820a9050838111156137fd576137fc6133ed565b5b61382c565b61380f8484846001613710565b92509050818404811115613826576138256133ed565b5b81810290505b9392505050565b5f61383d82612b8c565b915061384883612ec8565b92506138757fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484613762565b905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6138b482612b8c565b91506138bf83612b8c565b9250826138cf576138ce61387d565b5b82820490509291505056fea264697066735822122064bc716ffac6376c17fb9b1d86ecf9eb37ad7f87a5dc2ca411d6f4a1ccd3eb8064736f6c63430008180033

32897:1225:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22569:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23478:46;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25390:642;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22805:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33284:98;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;26439:1716;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;20566:151;;;:::i;:::-;;22705:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28451:405;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23016:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33634:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24719:111;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22885:32;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24902:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23244:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20007:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22623;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24089:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26083:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28214:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28951:437;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;33098:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33800:319;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33065:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23136:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33504:122;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23358:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33390:106;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23589:68;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32931:127;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20339:219;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22569:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23478:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;25390:642::-;25493:4;25528:6;;25514:10;:20;;:38;;;;;25551:1;25538:10;:14;25514:38;25510:491;;;25569:13;25585:8;:20;25594:10;25585:20;;;;;;;;;;;;;;;;;;;;;25569:36;;25640:5;25626:19;;:10;:19;;;;:59;;;;;25650:16;:23;25667:5;25650:23;;;;;;;;;;;;;;;:35;25674:10;25650:35;;;;;;;;;;;;;;;;;;;;;;;;;25649:36;25626:59;25622:121;;;25713:14;;;;;;;;;;;;;;25622:121;25785:7;25759:11;:23;25771:10;25759:23;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;25830:7;25814:36;;25823:5;25814:36;;;25839:10;25814:36;;;;;;:::i;:::-;;;;;;;;25554:308;25510:491;;;25916:10;25883:9;:21;25893:10;25883:21;;;;;;;;;;;;;;;:30;25905:7;25883:30;;;;;;;;;;;;;;;:43;;;;25969:7;25948:41;;25957:10;25948:41;;;25978:10;25948:41;;;;;;:::i;:::-;;;;;;;;25510:491;26020:4;26013:11;;25390:642;;;;:::o;22805:36::-;;;:::o;33284:98::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;33366:8:::1;33356:7;:18;;;;;;:::i;:::-;;33284:98:::0;:::o;26439:1716::-;26585:6;;26571:10;:20;26567:1581;;26620:8;:20;26629:10;26620:20;;;;;;;;;;;;;;;;;;;;;26612:28;;:4;:28;;;26608:91;;26668:15;;;;;;;;;;;;;;26608:91;26733:1;26719:16;;:2;:16;;;26715:82;;26763:18;;;;;;;;;;;;;;26715:82;26849:4;26835:18;;:10;:18;;;;:74;;;;;26875:16;:22;26892:4;26875:22;;;;;;;;;;;;;;;:34;26898:10;26875:34;;;;;;;;;;;;;;;;;;;;;;;;;26874:35;26835:74;:132;;;;;26944:11;:23;26956:10;26944:23;;;;;;;;;;;;;;;;;;;;;26930:37;;:10;:37;;;;26835:132;26813:226;;;27009:14;;;;;;;;;;;;;;26813:226;27074:10;:8;:10::i;:::-;27055:9;:15;27065:4;27055:15;;;;;;;;;;;;;;;;:29;;;;;;;:::i;:::-;;;;;;;;27147:10;:8;:10::i;:::-;27130:9;:13;27140:2;27130:13;;;;;;;;;;;;;;;;:27;;;;;;;;;;;27212:2;27189:8;:20;27198:10;27189:20;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;27236:11;:23;27248:10;27236:23;;;;;;;;;;;;27229:30;;;;;;;;;;;27317:17;27337:6;:12;27344:4;27337:12;;;;;;;;;;;;;;;27372:1;27350:6;:12;27357:4;27350:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;27337:37;;;;;;;;:::i;:::-;;;;;;;;;;27317:57;;27429:9;27389:6;:12;27396:4;27389:12;;;;;;;;;;;;;;;27402:11;:23;27414:10;27402:23;;;;;;;;;;;;27389:37;;;;;;;;:::i;:::-;;;;;;;;;:49;;;;27473:6;:12;27480:4;27473:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;27577:11;:23;27589:10;27577:23;;;;;;;;;;;;27552:11;:22;27564:9;27552:22;;;;;;;;;;;:48;;;;27654:6;:10;27661:2;27654:10;;;;;;;;;;;;;;;27670;27654:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27784:1;27764:6;:10;27771:2;27764:10;;;;;;;;;;;;;;;:17;;;;:21;;;;:::i;:::-;27738:11;:23;27750:10;27738:23;;;;;;;;;;;:47;;;;27826:10;27822:2;27807:30;;27816:4;27807:30;;;;;;;;;;;;27877:2;27857:35;;27871:4;27857:35;;;27881:10;:8;:10::i;:::-;27857:35;;;;;;:::i;:::-;;;;;;;;26593:1311;26567:1581;;;27925:15;27943:9;:15;27953:4;27943:15;;;;;;;;;;;;;;;:27;27959:10;27943:27;;;;;;;;;;;;;;;;27925:45;;28002:17;27991:7;:28;27987:101;;28078:10;28068:7;:20;;;;:::i;:::-;28038:9;:15;28048:4;28038:15;;;;;;;;;;;;;;;:27;28054:10;28038:27;;;;;;;;;;;;;;;:50;;;;27987:101;28105:31;28115:4;28121:2;28125:10;28105:9;:31::i;:::-;;27910:238;26567:1581;26439:1716;;;:::o;20566:151::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;20645:1:::1;20629:5:::0;::::1;:18;;;;;;;;;;;;;;;;;;20706:1;20665:44;;20686:10;20665:44;;;;;;;;;;;;20566:151::o:0;22705:31::-;;;:::o;28451:405::-;28575:26;28588:4;28594:2;28598;28575:12;:26::i;:::-;28650:1;28632:2;:14;;;:19;;:154;;;;;28746:40;;;28668:118;;;28683:2;28668:35;;;28704:10;28716:4;28722:2;28668:61;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:118;;;;;28632:154;28614:235;;;28820:17;;;;;;;;;;;;;;28614:235;28451:405;;;:::o;23016:21::-;;;;:::o;33634:158::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;33754:30:::1;33769:5;33776:7;33754:14;:30::i;:::-;33634:158:::0;;:::o;24719:111::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;24817:5:::1;24797:9;:17;24807:6;24797:17;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;24719:111:::0;;:::o;22885:32::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;24902:193::-;24960:13;24994:8;:12;25003:2;24994:12;;;;;;;;;;;;;;;;;;;;;24986:20;;25040:1;25023:19;;:5;:19;;;25019:69;;25066:10;;;;;;;;;;;;;;25019:69;24902:193;;;:::o;23244:44::-;;;;;;;;;;;;;;;;;:::o;20007:20::-;;;;;;;;;;;;:::o;22623:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;24089:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;26083:207::-;26210:8;26169:16;:28;26186:10;26169:28;;;;;;;;;;;;;;;:38;26198:8;26169:38;;;;;;;;;;;;;;;;:49;;;;;;;;;;;;;;;;;;26263:8;26236:46;;26251:10;26236:46;;;26273:8;26236:46;;;;;;:::i;:::-;;;;;;;;26083:207;;:::o;28214:160::-;28309:4;28333:33;28343:10;28355:2;28359:6;28333:9;:33::i;:::-;28326:40;;28214:160;;;;:::o;28951:437::-;29105:26;29118:4;29124:2;29128;29105:12;:26::i;:::-;29180:1;29162:2;:14;;;:19;;:156;;;;;29278:40;;;29198:120;;;29213:2;29198:35;;;29234:10;29246:4;29252:2;29256:4;;29198:63;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:120;;;;;29162:156;29144:237;;;29352:17;;;;;;;;;;;;;;29144:237;28951:437;;;;;:::o;33098:37::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;33800:319::-;33873:13;33899:28;33930:7;33899:38;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33999:1;33974:14;33968:28;:32;:143;;;;;;;;;;;;;;;;;34046:14;34062:25;34079:7;34062:16;:25::i;:::-;34089:13;34028:76;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;33968:143;33948:163;;;33800:319;;;:::o;33065:26::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23136:23::-;;;;:::o;33504:122::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;33604:14:::1;33588:13;:30;;;;;;:::i;:::-;;33504:122:::0;:::o;23358:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;33390:106::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;33479:9:::1;33464:12;:24;;;;;;:::i;:::-;;33390:106:::0;:::o;23589:68::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;32931:127::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;20339:219::-;20094:5;;;;;;;;;;20080:19;;:10;:19;;;20076:46;;20108:14;;;;;;;;;;;;;;20076:46;20440:1:::1;20422:20;;:6;:20;;::::0;20418:47:::1;;20451:14;;;;;;;;;;;;;;20418:47;20486:6;20478:5;::::0;:14:::1;;;;;;;;;;;;;;;;;;20543:6;20510:40;;20531:10;20510:40;;;;;;;;;;;;20339:219:::0;:::o;30588:92::-;30631:7;30664:8;30658:2;:14;;;;:::i;:::-;30651:21;;30588:92;:::o;29456:1093::-;29569:4;29586:12;29601:10;:8;:10::i;:::-;29586:25;;29622:27;29652:9;:15;29662:4;29652:15;;;;;;;;;;;;;;;;29622:45;;29678:29;29710:9;:13;29720:2;29710:13;;;;;;;;;;;;;;;;29678:45;;29755:6;29736:9;:15;29746:4;29736:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;29816:6;29799:9;:13;29809:2;29799:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;29907:9;:15;29917:4;29907:15;;;;;;;;;;;;;;;;;;;;;;;;;29902:251;;29939:22;30031:4;30013:9;:15;30023:4;30013:15;;;;;;;;;;;;;;;;:22;;;;:::i;:::-;29987:4;29965:19;:26;;;;:::i;:::-;29964:72;;;;:::i;:::-;29939:97;;30056:9;30051:91;30075:14;30071:1;:18;30051:91;;;30115:11;30121:4;30115:5;:11::i;:::-;30091:3;;;;;;;30051:91;;;;29924:229;29902:251;30229:9;:13;30239:2;30229:13;;;;;;;;;;;;;;;;;;;;;;;;;30224:247;;30259:22;30351:4;30327:21;:28;;;;:::i;:::-;30301:4;30285:9;:13;30295:2;30285:13;;;;;;;;;;;;;;;;:20;;;;:::i;:::-;30284:72;;;;:::i;:::-;30259:97;;30376:9;30371:89;30395:14;30391:1;:18;30371:89;;;30435:9;30441:2;30435:5;:9::i;:::-;30411:3;;;;;;;30371:89;;;;30244:227;30224:247;30508:2;30488:31;;30502:4;30488:31;;;30512:6;30488:31;;;;;;:::i;:::-;;;;;;;;30537:4;30530:11;;;;;29456:1093;;;;;:::o;31848:160::-;31968:5;31961:4;:12;;;;;;:::i;:::-;;31993:7;31984:6;:16;;;;;;:::i;:::-;;31848:160;;:::o;17273:718::-;17329:13;17380:14;17417:1;17397:17;17408:5;17397:10;:17::i;:::-;:21;17380:38;;17433:20;17467:6;17456:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17433:41;;17489:11;17618:6;17614:2;17610:15;17602:6;17598:28;17591:35;;17655:290;17662:4;17655:290;;;17687:5;;;;;;;;17829:10;17824:2;17817:5;17813:14;17808:32;17803:3;17795:46;17887:2;17878:11;;;;;;:::i;:::-;;;;;17921:1;17912:5;:10;17655:290;17908:21;17655:290;17966:6;17959:13;;;;;17273:718;;;:::o;31388:452::-;31465:1;31449:18;;:4;:18;;;31445:73;;31491:15;;;;;;;;;;;;;;31445:73;31530:10;31543:6;:12;31550:4;31543:12;;;;;;;;;;;;;;;31578:1;31556:6;:12;31563:4;31556:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;31543:37;;;;;;;;:::i;:::-;;;;;;;;;;31530:50;;31591:6;:12;31598:4;31591:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;31627:11;:15;31639:2;31627:15;;;;;;;;;;;31620:22;;;31660:8;:12;31669:2;31660:12;;;;;;;;;;;;31653:19;;;;;;;;;;;31690:11;:15;31702:2;31690:15;;;;;;;;;;;;31683:22;;;;;;;;;;;31760:15;31781:2;31760:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31829:2;31825:1;31802:30;;31811:4;31802:30;;;;;;;;;;;;31434:406;31388:452;:::o;30688:692::-;30761:1;30747:16;;:2;:16;;;30743:74;;30787:18;;;;;;;;;;;;;;30743:74;30854:6;;:8;;;;;;;;;;;;;30886:10;30899:6;;30886:19;;30930:8;;30921:6;;:17;:47;;;;;30967:1;30942:15;:22;;;;:26;30921:47;30918:206;;;30984:17;31029:1;31004:15;:22;;;;:26;;;;:::i;:::-;30984:46;;31050:15;31066:9;31050:26;;;;;;;;:::i;:::-;;;;;;;;;;31045:31;;31091:15;:21;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;30969:155;30918:206;31164:1;31140:26;;:8;:12;31149:2;31140:12;;;;;;;;;;;;;;;;;;;;;:26;;;31136:81;;31190:15;;;;;;;;;;;;;;31136:81;31244:2;31229:8;:12;31238:2;31229:12;;;;;;;;;;;;:17;;;;;;;;;;;;;;;;;;31257:6;:10;31264:2;31257:10;;;;;;;;;;;;;;;31273:2;31257:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31325:1;31305:6;:10;31312:2;31305:10;;;;;;;;;;;;;;;:17;;;;:21;;;;:::i;:::-;31287:11;:15;31299:2;31287:15;;;;;;;;;;;:39;;;;31369:2;31365;31344:28;;31361:1;31344:28;;;;;;;;;;;;30732:648;30688:692;:::o;12463:948::-;12516:7;12536:14;12553:1;12536:18;;12603:8;12594:5;:17;12590:106;;12641:8;12632:17;;;;;;:::i;:::-;;;;;12678:2;12668:12;;;;12590:106;12723:8;12714:5;:17;12710:106;;12761:8;12752:17;;;;;;:::i;:::-;;;;;12798:2;12788:12;;;;12710:106;12843:8;12834:5;:17;12830:106;;12881:8;12872:17;;;;;;:::i;:::-;;;;;12918:2;12908:12;;;;12830:106;12963:7;12954:5;:16;12950:103;;13000:7;12991:16;;;;;;:::i;:::-;;;;;13036:1;13026:11;;;;12950:103;13080:7;13071:5;:16;13067:103;;13117:7;13108:16;;;;;;:::i;:::-;;;;;13153:1;13143:11;;;;13067:103;13197:7;13188:5;:16;13184:103;;13234:7;13225:16;;;;;;:::i;:::-;;;;;13270:1;13260:11;;;;13184:103;13314:7;13305:5;:16;13301:68;;13352:1;13342:11;;;;13301:68;13397:6;13390:13;;;12463:948;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1349:75::-;1382:6;1415:2;1409:9;1399:19;;1349:75;:::o;1430:117::-;1539:1;1536;1529:12;1553:117;1662:1;1659;1652:12;1676:77;1713:7;1742:5;1731:16;;1676:77;;;:::o;1759:122::-;1832:24;1850:5;1832:24;:::i;:::-;1825:5;1822:35;1812:63;;1871:1;1868;1861:12;1812:63;1759:122;:::o;1887:139::-;1933:5;1971:6;1958:20;1949:29;;1987:33;2014:5;1987:33;:::i;:::-;1887:139;;;;:::o;2032:329::-;2091:6;2140:2;2128:9;2119:7;2115:23;2111:32;2108:119;;;2146:79;;:::i;:::-;2108:119;2266:1;2291:53;2336:7;2327:6;2316:9;2312:22;2291:53;:::i;:::-;2281:63;;2237:117;2032:329;;;;:::o;2367:126::-;2404:7;2444:42;2437:5;2433:54;2422:65;;2367:126;;;:::o;2499:96::-;2536:7;2565:24;2583:5;2565:24;:::i;:::-;2554:35;;2499:96;;;:::o;2601:118::-;2688:24;2706:5;2688:24;:::i;:::-;2683:3;2676:37;2601:118;;:::o;2725:222::-;2818:4;2856:2;2845:9;2841:18;2833:26;;2869:71;2937:1;2926:9;2922:17;2913:6;2869:71;:::i;:::-;2725:222;;;;:::o;2953:122::-;3026:24;3044:5;3026:24;:::i;:::-;3019:5;3016:35;3006:63;;3065:1;3062;3055:12;3006:63;2953:122;:::o;3081:139::-;3127:5;3165:6;3152:20;3143:29;;3181:33;3208:5;3181:33;:::i;:::-;3081:139;;;;:::o;3226:474::-;3294:6;3302;3351:2;3339:9;3330:7;3326:23;3322:32;3319:119;;;3357:79;;:::i;:::-;3319:119;3477:1;3502:53;3547:7;3538:6;3527:9;3523:22;3502:53;:::i;:::-;3492:63;;3448:117;3604:2;3630:53;3675:7;3666:6;3655:9;3651:22;3630:53;:::i;:::-;3620:63;;3575:118;3226:474;;;;;:::o;3706:90::-;3740:7;3783:5;3776:13;3769:21;3758:32;;3706:90;;;:::o;3802:109::-;3883:21;3898:5;3883:21;:::i;:::-;3878:3;3871:34;3802:109;;:::o;3917:210::-;4004:4;4042:2;4031:9;4027:18;4019:26;;4055:65;4117:1;4106:9;4102:17;4093:6;4055:65;:::i;:::-;3917:210;;;;:::o;4133:118::-;4220:24;4238:5;4220:24;:::i;:::-;4215:3;4208:37;4133:118;;:::o;4257:222::-;4350:4;4388:2;4377:9;4373:18;4365:26;;4401:71;4469:1;4458:9;4454:17;4445:6;4401:71;:::i;:::-;4257:222;;;;:::o;4485:117::-;4594:1;4591;4584:12;4608:117;4717:1;4714;4707:12;4731:180;4779:77;4776:1;4769:88;4876:4;4873:1;4866:15;4900:4;4897:1;4890:15;4917:281;5000:27;5022:4;5000:27;:::i;:::-;4992:6;4988:40;5130:6;5118:10;5115:22;5094:18;5082:10;5079:34;5076:62;5073:88;;;5141:18;;:::i;:::-;5073:88;5181:10;5177:2;5170:22;4960:238;4917:281;;:::o;5204:129::-;5238:6;5265:20;;:::i;:::-;5255:30;;5294:33;5322:4;5314:6;5294:33;:::i;:::-;5204:129;;;:::o;5339:308::-;5401:4;5491:18;5483:6;5480:30;5477:56;;;5513:18;;:::i;:::-;5477:56;5551:29;5573:6;5551:29;:::i;:::-;5543:37;;5635:4;5629;5625:15;5617:23;;5339:308;;;:::o;5653:146::-;5750:6;5745:3;5740;5727:30;5791:1;5782:6;5777:3;5773:16;5766:27;5653:146;;;:::o;5805:425::-;5883:5;5908:66;5924:49;5966:6;5924:49;:::i;:::-;5908:66;:::i;:::-;5899:75;;5997:6;5990:5;5983:21;6035:4;6028:5;6024:16;6073:3;6064:6;6059:3;6055:16;6052:25;6049:112;;;6080:79;;:::i;:::-;6049:112;6170:54;6217:6;6212:3;6207;6170:54;:::i;:::-;5889:341;5805:425;;;;;:::o;6250:340::-;6306:5;6355:3;6348:4;6340:6;6336:17;6332:27;6322:122;;6363:79;;:::i;:::-;6322:122;6480:6;6467:20;6505:79;6580:3;6572:6;6565:4;6557:6;6553:17;6505:79;:::i;:::-;6496:88;;6312:278;6250:340;;;;:::o;6596:509::-;6665:6;6714:2;6702:9;6693:7;6689:23;6685:32;6682:119;;;6720:79;;:::i;:::-;6682:119;6868:1;6857:9;6853:17;6840:31;6898:18;6890:6;6887:30;6884:117;;;6920:79;;:::i;:::-;6884:117;7025:63;7080:7;7071:6;7060:9;7056:22;7025:63;:::i;:::-;7015:73;;6811:287;6596:509;;;;:::o;7111:619::-;7188:6;7196;7204;7253:2;7241:9;7232:7;7228:23;7224:32;7221:119;;;7259:79;;:::i;:::-;7221:119;7379:1;7404:53;7449:7;7440:6;7429:9;7425:22;7404:53;:::i;:::-;7394:63;;7350:117;7506:2;7532:53;7577:7;7568:6;7557:9;7553:22;7532:53;:::i;:::-;7522:63;;7477:118;7634:2;7660:53;7705:7;7696:6;7685:9;7681:22;7660:53;:::i;:::-;7650:63;;7605:118;7111:619;;;;;:::o;7736:86::-;7771:7;7811:4;7804:5;7800:16;7789:27;;7736:86;;;:::o;7828:112::-;7911:22;7927:5;7911:22;:::i;:::-;7906:3;7899:35;7828:112;;:::o;7946:214::-;8035:4;8073:2;8062:9;8058:18;8050:26;;8086:67;8150:1;8139:9;8135:17;8126:6;8086:67;:::i;:::-;7946:214;;;;:::o;8166:834::-;8254:6;8262;8311:2;8299:9;8290:7;8286:23;8282:32;8279:119;;;8317:79;;:::i;:::-;8279:119;8465:1;8454:9;8450:17;8437:31;8495:18;8487:6;8484:30;8481:117;;;8517:79;;:::i;:::-;8481:117;8622:63;8677:7;8668:6;8657:9;8653:22;8622:63;:::i;:::-;8612:73;;8408:287;8762:2;8751:9;8747:18;8734:32;8793:18;8785:6;8782:30;8779:117;;;8815:79;;:::i;:::-;8779:117;8920:63;8975:7;8966:6;8955:9;8951:22;8920:63;:::i;:::-;8910:73;;8705:288;8166:834;;;;;:::o;9006:116::-;9076:21;9091:5;9076:21;:::i;:::-;9069:5;9066:32;9056:60;;9112:1;9109;9102:12;9056:60;9006:116;:::o;9128:133::-;9171:5;9209:6;9196:20;9187:29;;9225:30;9249:5;9225:30;:::i;:::-;9128:133;;;;:::o;9267:468::-;9332:6;9340;9389:2;9377:9;9368:7;9364:23;9360:32;9357:119;;;9395:79;;:::i;:::-;9357:119;9515:1;9540:53;9585:7;9576:6;9565:9;9561:22;9540:53;:::i;:::-;9530:63;;9486:117;9642:2;9668:50;9710:7;9701:6;9690:9;9686:22;9668:50;:::i;:::-;9658:60;;9613:115;9267:468;;;;;:::o;9741:329::-;9800:6;9849:2;9837:9;9828:7;9824:23;9820:32;9817:119;;;9855:79;;:::i;:::-;9817:119;9975:1;10000:53;10045:7;10036:6;10025:9;10021:22;10000:53;:::i;:::-;9990:63;;9946:117;9741:329;;;;:::o;10076:117::-;10185:1;10182;10175:12;10199:117;10308:1;10305;10298:12;10335:552;10392:8;10402:6;10452:3;10445:4;10437:6;10433:17;10429:27;10419:122;;10460:79;;:::i;:::-;10419:122;10573:6;10560:20;10550:30;;10603:18;10595:6;10592:30;10589:117;;;10625:79;;:::i;:::-;10589:117;10739:4;10731:6;10727:17;10715:29;;10793:3;10785:4;10777:6;10773:17;10763:8;10759:32;10756:41;10753:128;;;10800:79;;:::i;:::-;10753:128;10335:552;;;;;:::o;10893:963::-;10990:6;10998;11006;11014;11022;11071:3;11059:9;11050:7;11046:23;11042:33;11039:120;;;11078:79;;:::i;:::-;11039:120;11198:1;11223:53;11268:7;11259:6;11248:9;11244:22;11223:53;:::i;:::-;11213:63;;11169:117;11325:2;11351:53;11396:7;11387:6;11376:9;11372:22;11351:53;:::i;:::-;11341:63;;11296:118;11453:2;11479:53;11524:7;11515:6;11504:9;11500:22;11479:53;:::i;:::-;11469:63;;11424:118;11609:2;11598:9;11594:18;11581:32;11640:18;11632:6;11629:30;11626:117;;;11662:79;;:::i;:::-;11626:117;11775:64;11831:7;11822:6;11811:9;11807:22;11775:64;:::i;:::-;11757:82;;;;11552:297;10893:963;;;;;;;;:::o;11862:474::-;11930:6;11938;11987:2;11975:9;11966:7;11962:23;11958:32;11955:119;;;11993:79;;:::i;:::-;11955:119;12113:1;12138:53;12183:7;12174:6;12163:9;12159:22;12138:53;:::i;:::-;12128:63;;12084:117;12240:2;12266:53;12311:7;12302:6;12291:9;12287:22;12266:53;:::i;:::-;12256:63;;12211:118;11862:474;;;;;:::o;12342:180::-;12390:77;12387:1;12380:88;12487:4;12484:1;12477:15;12511:4;12508:1;12501:15;12528:320;12572:6;12609:1;12603:4;12599:12;12589:22;;12656:1;12650:4;12646:12;12677:18;12667:81;;12733:4;12725:6;12721:17;12711:27;;12667:81;12795:2;12787:6;12784:14;12764:18;12761:38;12758:84;;12814:18;;:::i;:::-;12758:84;12579:269;12528:320;;;:::o;12854:141::-;12903:4;12926:3;12918:11;;12949:3;12946:1;12939:14;12983:4;12980:1;12970:18;12962:26;;12854:141;;;:::o;13001:93::-;13038:6;13085:2;13080;13073:5;13069:14;13065:23;13055:33;;13001:93;;;:::o;13100:107::-;13144:8;13194:5;13188:4;13184:16;13163:37;;13100:107;;;;:::o;13213:393::-;13282:6;13332:1;13320:10;13316:18;13355:97;13385:66;13374:9;13355:97;:::i;:::-;13473:39;13503:8;13492:9;13473:39;:::i;:::-;13461:51;;13545:4;13541:9;13534:5;13530:21;13521:30;;13594:4;13584:8;13580:19;13573:5;13570:30;13560:40;;13289:317;;13213:393;;;;;:::o;13612:60::-;13640:3;13661:5;13654:12;;13612:60;;;:::o;13678:142::-;13728:9;13761:53;13779:34;13788:24;13806:5;13788:24;:::i;:::-;13779:34;:::i;:::-;13761:53;:::i;:::-;13748:66;;13678:142;;;:::o;13826:75::-;13869:3;13890:5;13883:12;;13826:75;;;:::o;13907:269::-;14017:39;14048:7;14017:39;:::i;:::-;14078:91;14127:41;14151:16;14127:41;:::i;:::-;14119:6;14112:4;14106:11;14078:91;:::i;:::-;14072:4;14065:105;13983:193;13907:269;;;:::o;14182:73::-;14227:3;14182:73;:::o;14261:189::-;14338:32;;:::i;:::-;14379:65;14437:6;14429;14423:4;14379:65;:::i;:::-;14314:136;14261:189;;:::o;14456:186::-;14516:120;14533:3;14526:5;14523:14;14516:120;;;14587:39;14624:1;14617:5;14587:39;:::i;:::-;14560:1;14553:5;14549:13;14540:22;;14516:120;;;14456:186;;:::o;14648:543::-;14749:2;14744:3;14741:11;14738:446;;;14783:38;14815:5;14783:38;:::i;:::-;14867:29;14885:10;14867:29;:::i;:::-;14857:8;14853:44;15050:2;15038:10;15035:18;15032:49;;;15071:8;15056:23;;15032:49;15094:80;15150:22;15168:3;15150:22;:::i;:::-;15140:8;15136:37;15123:11;15094:80;:::i;:::-;14753:431;;14738:446;14648:543;;;:::o;15197:117::-;15251:8;15301:5;15295:4;15291:16;15270:37;;15197:117;;;;:::o;15320:169::-;15364:6;15397:51;15445:1;15441:6;15433:5;15430:1;15426:13;15397:51;:::i;:::-;15393:56;15478:4;15472;15468:15;15458:25;;15371:118;15320:169;;;;:::o;15494:295::-;15570:4;15716:29;15741:3;15735:4;15716:29;:::i;:::-;15708:37;;15778:3;15775:1;15771:11;15765:4;15762:21;15754:29;;15494:295;;;;:::o;15794:1395::-;15911:37;15944:3;15911:37;:::i;:::-;16013:18;16005:6;16002:30;15999:56;;;16035:18;;:::i;:::-;15999:56;16079:38;16111:4;16105:11;16079:38;:::i;:::-;16164:67;16224:6;16216;16210:4;16164:67;:::i;:::-;16258:1;16282:4;16269:17;;16314:2;16306:6;16303:14;16331:1;16326:618;;;;16988:1;17005:6;17002:77;;;17054:9;17049:3;17045:19;17039:26;17030:35;;17002:77;17105:67;17165:6;17158:5;17105:67;:::i;:::-;17099:4;17092:81;16961:222;16296:887;;16326:618;16378:4;16374:9;16366:6;16362:22;16412:37;16444:4;16412:37;:::i;:::-;16471:1;16485:208;16499:7;16496:1;16493:14;16485:208;;;16578:9;16573:3;16569:19;16563:26;16555:6;16548:42;16629:1;16621:6;16617:14;16607:24;;16676:2;16665:9;16661:18;16648:31;;16522:4;16519:1;16515:12;16510:17;;16485:208;;;16721:6;16712:7;16709:19;16706:179;;;16779:9;16774:3;16770:19;16764:26;16822:48;16864:4;16856:6;16852:17;16841:9;16822:48;:::i;:::-;16814:6;16807:64;16729:156;16706:179;16931:1;16927;16919:6;16915:14;16911:22;16905:4;16898:36;16333:611;;;16296:887;;15886:1303;;;15794:1395;;:::o;17195:180::-;17243:77;17240:1;17233:88;17340:4;17337:1;17330:15;17364:4;17361:1;17354:15;17381:194;17421:4;17441:20;17459:1;17441:20;:::i;:::-;17436:25;;17475:20;17493:1;17475:20;:::i;:::-;17470:25;;17519:1;17516;17512:9;17504:17;;17543:1;17537:4;17534:11;17531:37;;;17548:18;;:::i;:::-;17531:37;17381:194;;;;:::o;17581:180::-;17629:77;17626:1;17619:88;17726:4;17723:1;17716:15;17750:4;17747:1;17740:15;17767:180;17815:77;17812:1;17805:88;17912:4;17909:1;17902:15;17936:4;17933:1;17926:15;17953:168;18036:11;18070:6;18065:3;18058:19;18110:4;18105:3;18101:14;18086:29;;17953:168;;;;:::o;18127:114::-;;:::o;18247:362::-;18388:3;18409:65;18472:1;18467:3;18409:65;:::i;:::-;18402:72;;18483:93;18572:3;18483:93;:::i;:::-;18601:1;18596:3;18592:11;18585:18;;18247:362;;;:::o;18615:748::-;18864:4;18902:3;18891:9;18887:19;18879:27;;18916:71;18984:1;18973:9;18969:17;18960:6;18916:71;:::i;:::-;18997:72;19065:2;19054:9;19050:18;19041:6;18997:72;:::i;:::-;19079;19147:2;19136:9;19132:18;19123:6;19079:72;:::i;:::-;19198:9;19192:4;19188:20;19183:2;19172:9;19168:18;19161:48;19226:130;19351:4;19226:130;:::i;:::-;19218:138;;18615:748;;;;;;:::o;19369:149::-;19405:7;19445:66;19438:5;19434:78;19423:89;;19369:149;;;:::o;19524:120::-;19596:23;19613:5;19596:23;:::i;:::-;19589:5;19586:34;19576:62;;19634:1;19631;19624:12;19576:62;19524:120;:::o;19650:141::-;19706:5;19737:6;19731:13;19722:22;;19753:32;19779:5;19753:32;:::i;:::-;19650:141;;;;:::o;19797:349::-;19866:6;19915:2;19903:9;19894:7;19890:23;19886:32;19883:119;;;19921:79;;:::i;:::-;19883:119;20041:1;20066:63;20121:7;20112:6;20101:9;20097:22;20066:63;:::i;:::-;20056:73;;20012:127;19797:349;;;;:::o;20174:314::-;20270:3;20291:70;20354:6;20349:3;20291:70;:::i;:::-;20284:77;;20371:56;20420:6;20415:3;20408:5;20371:56;:::i;:::-;20452:29;20474:6;20452:29;:::i;:::-;20447:3;20443:39;20436:46;;20174:314;;;;;:::o;20494:660::-;20699:4;20737:3;20726:9;20722:19;20714:27;;20751:71;20819:1;20808:9;20804:17;20795:6;20751:71;:::i;:::-;20832:72;20900:2;20889:9;20885:18;20876:6;20832:72;:::i;:::-;20914;20982:2;20971:9;20967:18;20958:6;20914:72;:::i;:::-;21033:9;21027:4;21023:20;21018:2;21007:9;21003:18;20996:48;21061:86;21142:4;21133:6;21125;21061:86;:::i;:::-;21053:94;;20494:660;;;;;;;;:::o;21160:148::-;21262:11;21299:3;21284:18;;21160:148;;;;:::o;21314:390::-;21420:3;21448:39;21481:5;21448:39;:::i;:::-;21503:89;21585:6;21580:3;21503:89;:::i;:::-;21496:96;;21601:65;21659:6;21654:3;21647:4;21640:5;21636:16;21601:65;:::i;:::-;21691:6;21686:3;21682:16;21675:23;;21424:280;21314:390;;;;:::o;21734:874::-;21837:3;21874:5;21868:12;21903:36;21929:9;21903:36;:::i;:::-;21955:89;22037:6;22032:3;21955:89;:::i;:::-;21948:96;;22075:1;22064:9;22060:17;22091:1;22086:166;;;;22266:1;22261:341;;;;22053:549;;22086:166;22170:4;22166:9;22155;22151:25;22146:3;22139:38;22232:6;22225:14;22218:22;22210:6;22206:35;22201:3;22197:45;22190:52;;22086:166;;22261:341;22328:38;22360:5;22328:38;:::i;:::-;22388:1;22402:154;22416:6;22413:1;22410:13;22402:154;;;22490:7;22484:14;22480:1;22475:3;22471:11;22464:35;22540:1;22531:7;22527:15;22516:26;;22438:4;22435:1;22431:12;22426:17;;22402:154;;;22585:6;22580:3;22576:16;22569:23;;22268:334;;22053:549;;21841:767;;21734:874;;;;:::o;22614:589::-;22839:3;22861:95;22952:3;22943:6;22861:95;:::i;:::-;22854:102;;22973:95;23064:3;23055:6;22973:95;:::i;:::-;22966:102;;23085:92;23173:3;23164:6;23085:92;:::i;:::-;23078:99;;23194:3;23187:10;;22614:589;;;;;;:::o;23209:102::-;23251:8;23298:5;23295:1;23291:13;23270:34;;23209:102;;;:::o;23317:848::-;23378:5;23385:4;23409:6;23400:15;;23433:5;23424:14;;23447:712;23468:1;23458:8;23455:15;23447:712;;;23563:4;23558:3;23554:14;23548:4;23545:24;23542:50;;;23572:18;;:::i;:::-;23542:50;23622:1;23612:8;23608:16;23605:451;;;24037:4;24030:5;24026:16;24017:25;;23605:451;24087:4;24081;24077:15;24069:23;;24117:32;24140:8;24117:32;:::i;:::-;24105:44;;23447:712;;;23317:848;;;;;;;:::o;24171:1073::-;24225:5;24416:8;24406:40;;24437:1;24428:10;;24439:5;;24406:40;24465:4;24455:36;;24482:1;24473:10;;24484:5;;24455:36;24551:4;24599:1;24594:27;;;;24635:1;24630:191;;;;24544:277;;24594:27;24612:1;24603:10;;24614:5;;;24630:191;24675:3;24665:8;24662:17;24659:43;;;24682:18;;:::i;:::-;24659:43;24731:8;24728:1;24724:16;24715:25;;24766:3;24759:5;24756:14;24753:40;;;24773:18;;:::i;:::-;24753:40;24806:5;;;24544:277;;24930:2;24920:8;24917:16;24911:3;24905:4;24902:13;24898:36;24880:2;24870:8;24867:16;24862:2;24856:4;24853:12;24849:35;24833:111;24830:246;;;24986:8;24980:4;24976:19;24967:28;;25021:3;25014:5;25011:14;25008:40;;;25028:18;;:::i;:::-;25008:40;25061:5;;24830:246;25101:42;25139:3;25129:8;25123:4;25120:1;25101:42;:::i;:::-;25086:57;;;;25175:4;25170:3;25166:14;25159:5;25156:25;25153:51;;;25184:18;;:::i;:::-;25153:51;25233:4;25226:5;25222:16;25213:25;;24171:1073;;;;;;:::o;25250:281::-;25308:5;25332:23;25350:4;25332:23;:::i;:::-;25324:31;;25376:25;25392:8;25376:25;:::i;:::-;25364:37;;25420:104;25457:66;25447:8;25441:4;25420:104;:::i;:::-;25411:113;;25250:281;;;;:::o;25537:180::-;25585:77;25582:1;25575:88;25682:4;25679:1;25672:15;25706:4;25703:1;25696:15;25723:185;25763:1;25780:20;25798:1;25780:20;:::i;:::-;25775:25;;25814:20;25832:1;25814:20;:::i;:::-;25809:25;;25853:1;25843:35;;25858:18;;:::i;:::-;25843:35;25900:1;25897;25893:9;25888:14;;25723:185;;;;:::o

ipfs://64bc716ffac6376c17fb9b1d86ecf9eb37ad7f87a5dc2ca411d6f4a1ccd3eb80