Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/** 
    Web: https://prometheuseth.com/
    TG: https://t.me/PromERC404
    Twitter (X): https://x.com/PromERC404
*/

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

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


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

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

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


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

// File: https://github.com/0xacme/ERC404/blob/main/src/ERC404.sol


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;
    }
}
//SPDX-License-Identifier: UNLICENSED
/// @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;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            getApproved[amountOrId] = spender;

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

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

        return true;
    }

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

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

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

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

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

            balanceOf[from] -= _getUnit();

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

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

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

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

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

            _transfer(from, to, amountOrId);
        }
    }

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

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

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

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

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

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

        balanceOf[from] -= amount;

        unchecked {
            balanceOf[to] += amount;
        }

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

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

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

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

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

        unchecked {
            minted++;
        }

        uint256 id = minted;

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

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

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

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

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

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

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


pragma solidity ^0.8.0;



contract Prom is ERC404 {
    string public dataURI = 'https://www.prometheuseth.com/flames/';
    string public baseTokenURI;

    constructor(
    ) ERC404("Prometheus", "PROM", 18, 10000, msg.sender) {
        balanceOf[msg.sender] = 10000 * 10 ** 18;
        setWhitelist(msg.sender, true);
        setWhitelist(0xC36442b4a4522E871399CD717aBDD847Ab11FE88, true); // NFT Positions Mainnet
        
    }

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

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

    function setNameSymbol(
        string memory _name,
        string memory _symbol
    ) public onlyOwner {
        _setNameSymbol(_name, _symbol);
    }
    
    function tokenURI(uint256 id) public view override returns (string memory) {
        if (bytes(baseTokenURI).length > 0) {
            return string.concat(baseTokenURI, Strings.toString(id));
        } else {
            uint8 seed = uint8(bytes1(keccak256(abi.encodePacked(id))));
            string memory image;
            string memory color;

            if (seed <= 100) {
                image = "Green.mp4";
                color = "Green";
            } else if (seed <= 160) {
                image = "Blue.mp4";
                color = "Blue";
            } else if (seed <= 210) {
                image = "Purple.mp4";
                color = "Purple";
            } else if (seed <= 240) {
                image = "Orange.mp4";
                color = "Orange";
            } else if (seed <= 255) {
                image = "Red.mp4";
                color = "Red";
            }

            string memory jsonPreImage = string.concat(
                string.concat(
                    string.concat('{"name": "Pandora #', Strings.toString(id)),
                    '","description":"A collection of 10,000 Replicants enabled by ERC404, an experimental token standard.","external_url":"https://www.prometheuseth.com/","image":"'
                ),
                string.concat(dataURI, image)
            );
            string memory jsonPostImage = string.concat(
                '","attributes":[{"trait_type":"Color","value":"',
                color
            );
            string memory jsonPostTraits = '"}]}';

            return
                string.concat(
                    "data:application/json;utf8,",
                    string.concat(
                        string.concat(jsonPreImage, jsonPostImage),
                        jsonPostTraits
                    )
                );
        }
    }
}

• 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":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amountOrId","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseTokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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":"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":"_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":"id","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"}]

60c0604052604051806060016040528060258152602001620045ae60259139600c90816200002e9190620005d8565b503480156200003b575f80fd5b506040518060400160405280600a81526020017f50726f6d657468657573000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f50524f4d00000000000000000000000000000000000000000000000000000000815250601261271033805f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160362000115576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3508460019081620001c09190620005d8565b508360029081620001d29190620005d8565b508260ff1660808160ff1681525050608051600a620001f2919062000845565b82620001ff919062000895565b60a08181525050505050505069021e19e0c9bab240000060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506200026a3360016200029760201b60201c565b6200029173c36442b4a4522e871399cd717abdd847ab11fe8860016200029760201b60201c565b620008df565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146200031c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620003f057607f821691505b602082108103620004065762000405620003ab565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200046a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200042d565b6200047686836200042d565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620004c0620004ba620004b4846200048e565b62000497565b6200048e565b9050919050565b5f819050919050565b620004db83620004a0565b620004f3620004ea82620004c7565b84845462000439565b825550505050565b5f90565b62000509620004fb565b62000516818484620004d0565b505050565b5b818110156200053d57620005315f82620004ff565b6001810190506200051c565b5050565b601f8211156200058c5762000556816200040c565b62000561846200041e565b8101602085101562000571578190505b6200058962000580856200041e565b8301826200051b565b50505b505050565b5f82821c905092915050565b5f620005ae5f198460080262000591565b1980831691505092915050565b5f620005c883836200059d565b9150826002028217905092915050565b620005e38262000374565b67ffffffffffffffff811115620005ff57620005fe6200037e565b5b6200060b8254620003d8565b6200061882828562000541565b5f60209050601f8311600181146200064e575f841562000639578287015190505b620006458582620005bb565b865550620006b4565b601f1984166200065e866200040c565b5f5b82811015620006875784890151825560018201915060208501945060208101905062000660565b86831015620006a75784890151620006a3601f8916826200059d565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b600185111562000746578086048111156200071e576200071d620006bc565b5b60018516156200072e5780820291505b80810290506200073e85620006e9565b9450620006fe565b94509492505050565b5f8262000760576001905062000832565b816200076f575f905062000832565b81600181146200078857600281146200079357620007c9565b600191505062000832565b60ff841115620007a857620007a7620006bc565b5b8360020a915084821115620007c257620007c1620006bc565b5b5062000832565b5060208310610133831016604e8410600b8410161715620008035782820a905083811115620007fd57620007fc620006bc565b5b62000832565b620008128484846001620006f5565b925090508184048111156200082c576200082b620006bc565b5b81810290505b9392505050565b5f60ff82169050919050565b5f62000851826200048e565b91506200085e8362000839565b92506200088d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200074f565b905092915050565b5f620008a1826200048e565b9150620008ae836200048e565b9250828202620008be816200048e565b91508282048414831517620008d857620008d7620006bc565b5b5092915050565b60805160a051613ca6620009085f395f6108f601525f81816112c701526121200152613ca65ff3fe608060405234801561000f575f80fd5b50600436106101a7575f3560e01c806370a08231116100f7578063c87b56dd11610095578063e0df5b6f1161006f578063e0df5b6f146104cb578063e985e9c5146104e7578063f28ca1dd14610517578063f2fde38b14610535576101a7565b8063c87b56dd1461044d578063d547cfb71461047d578063dd62ed3e1461049b576101a7565b80639b19251a116100d15780639b19251a146103b5578063a22cb465146103e5578063a9059cbb14610401578063b88d4fde14610431576101a7565b806370a08231146103495780638da5cb5b1461037957806395d89b4114610397576101a7565b80632b968958116101645780634f02c4201161013e5780634f02c420146102c3578063504334c2146102e157806353d6fd59146102fd5780636352211e14610319576101a7565b80632b9689581461027f578063313ce5671461028957806342842e0e146102a7576101a7565b806306fdde03146101ab578063081812fc146101c9578063095ea7b3146101f957806318160ddd1461022957806318d217c31461024757806323b872dd14610263575b5f80fd5b6101b3610551565b6040516101c09190612c30565b60405180910390f35b6101e360048036038101906101de9190612c94565b6105dd565b6040516101f09190612cfe565b60405180910390f35b610213600480360381019061020e9190612d41565b61060d565b6040516102209190612d99565b60405180910390f35b6102316108f4565b60405161023e9190612dc1565b60405180910390f35b610261600480360381019061025c9190612f06565b610918565b005b61027d60048036038101906102789190612f4d565b6109af565b005b6102876111a6565b005b6102916112c5565b60405161029e9190612fb8565b60405180910390f35b6102c160048036038101906102bc9190612f4d565b6112e9565b005b6102cb611418565b6040516102d89190612dc1565b60405180910390f35b6102fb60048036038101906102f69190612fd1565b61141e565b005b61031760048036038101906103129190613071565b6114b0565b005b610333600480360381019061032e9190612c94565b61158c565b6040516103409190612cfe565b60405180910390f35b610363600480360381019061035e91906130af565b61162a565b6040516103709190612dc1565b60405180910390f35b61038161163f565b60405161038e9190612cfe565b60405180910390f35b61039f611662565b6040516103ac9190612c30565b60405180910390f35b6103cf60048036038101906103ca91906130af565b6116ee565b6040516103dc9190612d99565b60405180910390f35b6103ff60048036038101906103fa9190613071565b61170b565b005b61041b60048036038101906104169190612d41565b611803565b6040516104289190612d99565b60405180910390f35b61044b60048036038101906104469190613137565b611817565b005b61046760048036038101906104629190612c94565b61194c565b6040516104749190612c30565b60405180910390f35b610485611d9f565b6040516104929190612c30565b60405180910390f35b6104b560048036038101906104b091906131bb565b611e2b565b6040516104c29190612dc1565b60405180910390f35b6104e560048036038101906104e09190612f06565b611e4b565b005b61050160048036038101906104fc91906131bb565b611ee2565b60405161050e9190612d99565b60405180910390f35b61051f611f0c565b60405161052c9190612c30565b60405180910390f35b61054f600480360381019061054a91906130af565b611f98565b005b6001805461055e90613226565b80601f016020809104026020016040519081016040528092919081815260200182805461058a90613226565b80156105d55780601f106105ac576101008083540402835291602001916105d5565b820191905f5260205f20905b8154815290600101906020018083116105b857829003601f168201915b505050505081565b6006602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f600354821115801561061f57505f82115b15610807575f60085f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610716575060075f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b1561074d576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8360065f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040516107f99190612dc1565b60405180910390a3506108ea565b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516108e19190612dc1565b60405180910390a35b6001905092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461099c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600c90816109ab91906133f3565b5050565b60035481116110675760085f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610a4d576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ab2576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610b70575060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b8015610bd8575060065f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610c0f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b610c1761211d565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c6291906134ef565b92505081905550610c7161211d565b60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f60095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610dc791906134ef565b81548110610dd857610dd7613522565b5b905f5260205f20015490508060095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600a5f8581526020019081526020015f205481548110610e4457610e43613522565b5b905f5260205f20018190555060095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805480610e9d57610e9c61354f565b5b600190038181905f5260205f20015f90559055600a5f8381526020019081526020015f2054600a5f8381526020019081526020015f208190555060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610f8591906134ef565b600a5f8481526020019081526020015f2081905550818373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e03148761104c61211d565b6040516110599190612dc1565b60405180910390a3506111a1565b5f60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461119357818161111691906134ef565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b61119e848484612150565b50505b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461122a576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3565b7f000000000000000000000000000000000000000000000000000000000000000081565b6112f48383836109af565b5f8273ffffffffffffffffffffffffffffffffffffffff163b141580156113dc575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168273ffffffffffffffffffffffffffffffffffffffff1663150b7a023386856040518463ffffffff1660e01b815260040161137a939291906135af565b6020604051808303815f875af1158015611396573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ba919061364c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611413576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60035481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114a2576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6114ac82826124a0565b5050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611534576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b5f60085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611625576040517fc5723b5100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b919050565b6004602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002805461166f90613226565b80601f016020809104026020016040519081016040528092919081815260200182805461169b90613226565b80156116e65780601f106116bd576101008083540402835291602001916116e6565b820191905f5260205f20905b8154815290600101906020018083116116c957829003601f168201915b505050505081565b600b602052805f5260405f205f915054906101000a900460ff1681565b8060075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516117f79190612d99565b60405180910390a35050565b5f61180f338484612150565b905092915050565b6118228585856109af565b5f8473ffffffffffffffffffffffffffffffffffffffff163b1415801561190e575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663150b7a0233888787876040518663ffffffff1660e01b81526004016118ac9594939291906136a3565b6020604051808303815f875af11580156118c8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906118ec919061364c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611945576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050505050565b60605f600d805461195c90613226565b9050111561199657600d61196f836124c4565b6040516020016119809291906137a9565b6040516020818303038152906040529050611d9a565b5f826040516020016119a891906137ec565b6040516020818303038152906040528051906020012060f81c905060608060648360ff1611611a46576040518060400160405280600981526020017f477265656e2e6d7034000000000000000000000000000000000000000000000081525091506040518060400160405280600581526020017f477265656e0000000000000000000000000000000000000000000000000000008152509050611c46565b60a08360ff1611611ac6576040518060400160405280600881526020017f426c75652e6d703400000000000000000000000000000000000000000000000081525091506040518060400160405280600481526020017f426c7565000000000000000000000000000000000000000000000000000000008152509050611c45565b60d28360ff1611611b46576040518060400160405280600a81526020017f507572706c652e6d70340000000000000000000000000000000000000000000081525091506040518060400160405280600681526020017f507572706c6500000000000000000000000000000000000000000000000000008152509050611c44565b60f08360ff1611611bc6576040518060400160405280600a81526020017f4f72616e67652e6d70340000000000000000000000000000000000000000000081525091506040518060400160405280600681526020017f4f72616e676500000000000000000000000000000000000000000000000000008152509050611c43565b60ff8360ff1611611c42576040518060400160405280600781526020017f5265642e6d70340000000000000000000000000000000000000000000000000081525091506040518060400160405280600381526020017f526564000000000000000000000000000000000000000000000000000000000081525090505b5b5b5b5b5f611c50866124c4565b604051602001611c60919061382c565b604051602081830303815290604052604051602001611c7f9190613933565b604051602081830303815290604052600c84604051602001611ca29291906137a9565b604051602081830303815290604052604051602001611cc2929190613954565b60405160208183030381529060405290505f82604051602001611ce591906139e7565b60405160208183030381529060405290505f6040518060400160405280600481526020017f227d5d7d0000000000000000000000000000000000000000000000000000000081525090508282604051602001611d42929190613954565b60405160208183030381529060405281604051602001611d63929190613954565b604051602081830303815290604052604051602001611d829190613a2e565b60405160208183030381529060405296505050505050505b919050565b600d8054611dac90613226565b80601f0160208091040260200160405190810160405280929190818152602001828054611dd890613226565b8015611e235780601f10611dfa57610100808354040283529160200191611e23565b820191905f5260205f20905b815481529060010190602001808311611e0657829003601f168201915b505050505081565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611ecf576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600d9081611ede91906133f3565b5050565b6007602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b600c8054611f1990613226565b80601f0160208091040260200160405190810160405280929190818152602001828054611f4590613226565b8015611f905780601f10611f6757610100808354040283529160200191611f90565b820191905f5260205f20905b815481529060010190602001808311611f7357829003601f168201915b505050505081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461201c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612081576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b5f7f0000000000000000000000000000000000000000000000000000000000000000600a61214b9190613b82565b905090565b5f8061215a61211d565b90505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508460045f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461222a91906134ef565b925050819055508460045f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550600b5f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16612354575f8360045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546123139190613bf9565b848461231f9190613bf9565b61232991906134ef565b90505f5b818110156123515761233e8961258e565b808061234990613c29565b91505061232d565b50505b600b5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661242d575f83826123af9190613bf9565b8460045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546123f89190613bf9565b61240291906134ef565b90505f5b8181101561242a57612417886127d3565b808061242290613c29565b915050612406565b50505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e0314878760405161248a9190612dc1565b60405180910390a3600193505050509392505050565b81600190816124af91906133f3565b5080600290816124bf91906133f3565b505050565b60605f60016124d284612a55565b0190505f8167ffffffffffffffff8111156124f0576124ef612de2565b5b6040519080825280601f01601f1916602001820160405280156125225781602001600182028036833780820191505090505b5090505f82602001820190505b600115612583578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161257857612577613bcc565b5b0494505f850361252f575b819350505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036125f3576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f60095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061267e91906134ef565b8154811061268f5761268e613522565b5b905f5260205f200154905060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054806126e7576126e661354f565b5b600190038181905f5260205f20015f90559055600a5f8281526020019081526020015f205f905560085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055805f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612838576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60035f81548092919060010191905055505f60035490505f73ffffffffffffffffffffffffffffffffffffffff1660085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146128e4576040517f23369fa600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490506129e191906134ef565b600a5f8381526020019081526020015f2081905550808273ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310612ab1577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381612aa757612aa6613bcc565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310612aee576d04ee2d6d415b85acef81000000008381612ae457612ae3613bcc565b5b0492506020810190505b662386f26fc100008310612b1d57662386f26fc100008381612b1357612b12613bcc565b5b0492506010810190505b6305f5e1008310612b46576305f5e1008381612b3c57612b3b613bcc565b5b0492506008810190505b6127108310612b6b576127108381612b6157612b60613bcc565b5b0492506004810190505b60648310612b8e5760648381612b8457612b83613bcc565b5b0492506002810190505b600a8310612b9d576001810190505b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015612bdd578082015181840152602081019050612bc2565b5f8484015250505050565b5f601f19601f8301169050919050565b5f612c0282612ba6565b612c0c8185612bb0565b9350612c1c818560208601612bc0565b612c2581612be8565b840191505092915050565b5f6020820190508181035f830152612c488184612bf8565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f819050919050565b612c7381612c61565b8114612c7d575f80fd5b50565b5f81359050612c8e81612c6a565b92915050565b5f60208284031215612ca957612ca8612c59565b5b5f612cb684828501612c80565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f612ce882612cbf565b9050919050565b612cf881612cde565b82525050565b5f602082019050612d115f830184612cef565b92915050565b612d2081612cde565b8114612d2a575f80fd5b50565b5f81359050612d3b81612d17565b92915050565b5f8060408385031215612d5757612d56612c59565b5b5f612d6485828601612d2d565b9250506020612d7585828601612c80565b9150509250929050565b5f8115159050919050565b612d9381612d7f565b82525050565b5f602082019050612dac5f830184612d8a565b92915050565b612dbb81612c61565b82525050565b5f602082019050612dd45f830184612db2565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b612e1882612be8565b810181811067ffffffffffffffff82111715612e3757612e36612de2565b5b80604052505050565b5f612e49612c50565b9050612e558282612e0f565b919050565b5f67ffffffffffffffff821115612e7457612e73612de2565b5b612e7d82612be8565b9050602081019050919050565b828183375f83830152505050565b5f612eaa612ea584612e5a565b612e40565b905082815260208101848484011115612ec657612ec5612dde565b5b612ed1848285612e8a565b509392505050565b5f82601f830112612eed57612eec612dda565b5b8135612efd848260208601612e98565b91505092915050565b5f60208284031215612f1b57612f1a612c59565b5b5f82013567ffffffffffffffff811115612f3857612f37612c5d565b5b612f4484828501612ed9565b91505092915050565b5f805f60608486031215612f6457612f63612c59565b5b5f612f7186828701612d2d565b9350506020612f8286828701612d2d565b9250506040612f9386828701612c80565b9150509250925092565b5f60ff82169050919050565b612fb281612f9d565b82525050565b5f602082019050612fcb5f830184612fa9565b92915050565b5f8060408385031215612fe757612fe6612c59565b5b5f83013567ffffffffffffffff81111561300457613003612c5d565b5b61301085828601612ed9565b925050602083013567ffffffffffffffff81111561303157613030612c5d565b5b61303d85828601612ed9565b9150509250929050565b61305081612d7f565b811461305a575f80fd5b50565b5f8135905061306b81613047565b92915050565b5f806040838503121561308757613086612c59565b5b5f61309485828601612d2d565b92505060206130a58582860161305d565b9150509250929050565b5f602082840312156130c4576130c3612c59565b5b5f6130d184828501612d2d565b91505092915050565b5f80fd5b5f80fd5b5f8083601f8401126130f7576130f6612dda565b5b8235905067ffffffffffffffff811115613114576131136130da565b5b6020830191508360018202830111156131305761312f6130de565b5b9250929050565b5f805f805f608086880312156131505761314f612c59565b5b5f61315d88828901612d2d565b955050602061316e88828901612d2d565b945050604061317f88828901612c80565b935050606086013567ffffffffffffffff8111156131a05761319f612c5d565b5b6131ac888289016130e2565b92509250509295509295909350565b5f80604083850312156131d1576131d0612c59565b5b5f6131de85828601612d2d565b92505060206131ef85828601612d2d565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061323d57607f821691505b6020821081036132505761324f6131f9565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026132b27fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82613277565b6132bc8683613277565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6132f76132f26132ed84612c61565b6132d4565b612c61565b9050919050565b5f819050919050565b613310836132dd565b61332461331c826132fe565b848454613283565b825550505050565b5f90565b61333861332c565b613343818484613307565b505050565b5b818110156133665761335b5f82613330565b600181019050613349565b5050565b601f8211156133ab5761337c81613256565b61338584613268565b81016020851015613394578190505b6133a86133a085613268565b830182613348565b50505b505050565b5f82821c905092915050565b5f6133cb5f19846008026133b0565b1980831691505092915050565b5f6133e383836133bc565b9150826002028217905092915050565b6133fc82612ba6565b67ffffffffffffffff81111561341557613414612de2565b5b61341f8254613226565b61342a82828561336a565b5f60209050601f83116001811461345b575f8415613449578287015190505b61345385826133d8565b8655506134ba565b601f19841661346986613256565b5f5b828110156134905784890151825560018201915060208501945060208101905061346b565b868310156134ad57848901516134a9601f8916826133bc565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6134f982612c61565b915061350483612c61565b925082820390508181111561351c5761351b6134c2565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b5f82825260208201905092915050565b50565b5f61359a5f8361357c565b91506135a58261358c565b5f82019050919050565b5f6080820190506135c25f830186612cef565b6135cf6020830185612cef565b6135dc6040830184612db2565b81810360608301526135ed8161358f565b9050949350505050565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61362b816135f7565b8114613635575f80fd5b50565b5f8151905061364681613622565b92915050565b5f6020828403121561366157613660612c59565b5b5f61366e84828501613638565b91505092915050565b5f613682838561357c565b935061368f838584612e8a565b61369883612be8565b840190509392505050565b5f6080820190506136b65f830188612cef565b6136c36020830187612cef565b6136d06040830186612db2565b81810360608301526136e3818486613677565b90509695505050505050565b5f81905092915050565b5f815461370581613226565b61370f81866136ef565b9450600182165f8114613729576001811461373e57613770565b60ff1983168652811515820286019350613770565b61374785613256565b5f5b8381101561376857815481890152600182019150602081019050613749565b838801955050505b50505092915050565b5f61378382612ba6565b61378d81856136ef565b935061379d818560208601612bc0565b80840191505092915050565b5f6137b482856136f9565b91506137c08284613779565b91508190509392505050565b5f819050919050565b6137e66137e182612c61565b6137cc565b82525050565b5f6137f782846137d5565b60208201915081905092915050565b7f7b226e616d65223a202250616e646f7261202300000000000000000000000000815250565b5f61383682613806565b6013820191506138468284613779565b915081905092915050565b7f222c226465736372697074696f6e223a224120636f6c6c656374696f6e206f665f8201527f2031302c303030205265706c6963616e747320656e61626c656420627920455260208201527f433430342c20616e206578706572696d656e74616c20746f6b656e207374616e60408201527f646172642e222c2265787465726e616c5f75726c223a2268747470733a2f2f7760608201527f77772e70726f6d6574686575736574682e636f6d2f222c22696d616765223a22608082015250565b5f61391d60a0836136ef565b915061392882613851565b60a082019050919050565b5f61393e8284613779565b915061394982613911565b915081905092915050565b5f61395f8285613779565b915061396b8284613779565b91508190509392505050565b7f222c2261747472696275746573223a5b7b2274726169745f74797065223a22435f8201527f6f6c6f72222c2276616c7565223a220000000000000000000000000000000000602082015250565b5f6139d1602f836136ef565b91506139dc82613977565b602f82019050919050565b5f6139f1826139c5565b91506139fd8284613779565b915081905092915050565b7f646174613a6170706c69636174696f6e2f6a736f6e3b757466382c0000000000815250565b5f613a3882613a08565b601b82019150613a488284613779565b915081905092915050565b5f8160011c9050919050565b5f808291508390505b6001851115613aa857808604811115613a8457613a836134c2565b5b6001851615613a935780820291505b8081029050613aa185613a53565b9450613a68565b94509492505050565b5f82613ac05760019050613b7b565b81613acd575f9050613b7b565b8160018114613ae35760028114613aed57613b1c565b6001915050613b7b565b60ff841115613aff57613afe6134c2565b5b8360020a915084821115613b1657613b156134c2565b5b50613b7b565b5060208310610133831016604e8410600b8410161715613b515782820a905083811115613b4c57613b4b6134c2565b5b613b7b565b613b5e8484846001613a5f565b92509050818404811115613b7557613b746134c2565b5b81810290505b9392505050565b5f613b8c82612c61565b9150613b9783612f9d565b9250613bc47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484613ab1565b905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f613c0382612c61565b9150613c0e83612c61565b925082613c1e57613c1d613bcc565b5b828204905092915050565b5f613c3382612c61565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203613c6557613c646134c2565b5b60018201905091905056fea2646970667358221220b82367e5364ff4206c1c49391d644b360f96b6bfe6a00631dd0ccc5d3337fd6564736f6c6343000814003368747470733a2f2f7777772e70726f6d6574686575736574682e636f6d2f666c616d65732f

0x608060405234801561000f575f80fd5b50600436106101a7575f3560e01c806370a08231116100f7578063c87b56dd11610095578063e0df5b6f1161006f578063e0df5b6f146104cb578063e985e9c5146104e7578063f28ca1dd14610517578063f2fde38b14610535576101a7565b8063c87b56dd1461044d578063d547cfb71461047d578063dd62ed3e1461049b576101a7565b80639b19251a116100d15780639b19251a146103b5578063a22cb465146103e5578063a9059cbb14610401578063b88d4fde14610431576101a7565b806370a08231146103495780638da5cb5b1461037957806395d89b4114610397576101a7565b80632b968958116101645780634f02c4201161013e5780634f02c420146102c3578063504334c2146102e157806353d6fd59146102fd5780636352211e14610319576101a7565b80632b9689581461027f578063313ce5671461028957806342842e0e146102a7576101a7565b806306fdde03146101ab578063081812fc146101c9578063095ea7b3146101f957806318160ddd1461022957806318d217c31461024757806323b872dd14610263575b5f80fd5b6101b3610551565b6040516101c09190612c30565b60405180910390f35b6101e360048036038101906101de9190612c94565b6105dd565b6040516101f09190612cfe565b60405180910390f35b610213600480360381019061020e9190612d41565b61060d565b6040516102209190612d99565b60405180910390f35b6102316108f4565b60405161023e9190612dc1565b60405180910390f35b610261600480360381019061025c9190612f06565b610918565b005b61027d60048036038101906102789190612f4d565b6109af565b005b6102876111a6565b005b6102916112c5565b60405161029e9190612fb8565b60405180910390f35b6102c160048036038101906102bc9190612f4d565b6112e9565b005b6102cb611418565b6040516102d89190612dc1565b60405180910390f35b6102fb60048036038101906102f69190612fd1565b61141e565b005b61031760048036038101906103129190613071565b6114b0565b005b610333600480360381019061032e9190612c94565b61158c565b6040516103409190612cfe565b60405180910390f35b610363600480360381019061035e91906130af565b61162a565b6040516103709190612dc1565b60405180910390f35b61038161163f565b60405161038e9190612cfe565b60405180910390f35b61039f611662565b6040516103ac9190612c30565b60405180910390f35b6103cf60048036038101906103ca91906130af565b6116ee565b6040516103dc9190612d99565b60405180910390f35b6103ff60048036038101906103fa9190613071565b61170b565b005b61041b60048036038101906104169190612d41565b611803565b6040516104289190612d99565b60405180910390f35b61044b60048036038101906104469190613137565b611817565b005b61046760048036038101906104629190612c94565b61194c565b6040516104749190612c30565b60405180910390f35b610485611d9f565b6040516104929190612c30565b60405180910390f35b6104b560048036038101906104b091906131bb565b611e2b565b6040516104c29190612dc1565b60405180910390f35b6104e560048036038101906104e09190612f06565b611e4b565b005b61050160048036038101906104fc91906131bb565b611ee2565b60405161050e9190612d99565b60405180910390f35b61051f611f0c565b60405161052c9190612c30565b60405180910390f35b61054f600480360381019061054a91906130af565b611f98565b005b6001805461055e90613226565b80601f016020809104026020016040519081016040528092919081815260200182805461058a90613226565b80156105d55780601f106105ac576101008083540402835291602001916105d5565b820191905f5260205f20905b8154815290600101906020018083116105b857829003601f168201915b505050505081565b6006602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f600354821115801561061f57505f82115b15610807575f60085f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610716575060075f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b1561074d576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8360065f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040516107f99190612dc1565b60405180910390a3506108ea565b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516108e19190612dc1565b60405180910390a35b6001905092915050565b7f00000000000000000000000000000000000000000000021e19e0c9bab240000081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461099c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600c90816109ab91906133f3565b5050565b60035481116110675760085f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610a4d576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ab2576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610b70575060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b8015610bd8575060065f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610c0f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b610c1761211d565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c6291906134ef565b92505081905550610c7161211d565b60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f60095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610dc791906134ef565b81548110610dd857610dd7613522565b5b905f5260205f20015490508060095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600a5f8581526020019081526020015f205481548110610e4457610e43613522565b5b905f5260205f20018190555060095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805480610e9d57610e9c61354f565b5b600190038181905f5260205f20015f90559055600a5f8381526020019081526020015f2054600a5f8381526020019081526020015f208190555060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610f8591906134ef565b600a5f8481526020019081526020015f2081905550818373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e03148761104c61211d565b6040516110599190612dc1565b60405180910390a3506111a1565b5f60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461119357818161111691906134ef565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b61119e848484612150565b50505b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461122a576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3565b7f000000000000000000000000000000000000000000000000000000000000001281565b6112f48383836109af565b5f8273ffffffffffffffffffffffffffffffffffffffff163b141580156113dc575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168273ffffffffffffffffffffffffffffffffffffffff1663150b7a023386856040518463ffffffff1660e01b815260040161137a939291906135af565b6020604051808303815f875af1158015611396573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ba919061364c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611413576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60035481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114a2576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6114ac82826124a0565b5050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611534576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b5f60085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611625576040517fc5723b5100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b919050565b6004602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002805461166f90613226565b80601f016020809104026020016040519081016040528092919081815260200182805461169b90613226565b80156116e65780601f106116bd576101008083540402835291602001916116e6565b820191905f5260205f20905b8154815290600101906020018083116116c957829003601f168201915b505050505081565b600b602052805f5260405f205f915054906101000a900460ff1681565b8060075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516117f79190612d99565b60405180910390a35050565b5f61180f338484612150565b905092915050565b6118228585856109af565b5f8473ffffffffffffffffffffffffffffffffffffffff163b1415801561190e575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663150b7a0233888787876040518663ffffffff1660e01b81526004016118ac9594939291906136a3565b6020604051808303815f875af11580156118c8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906118ec919061364c565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611945576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050505050565b60605f600d805461195c90613226565b9050111561199657600d61196f836124c4565b6040516020016119809291906137a9565b6040516020818303038152906040529050611d9a565b5f826040516020016119a891906137ec565b6040516020818303038152906040528051906020012060f81c905060608060648360ff1611611a46576040518060400160405280600981526020017f477265656e2e6d7034000000000000000000000000000000000000000000000081525091506040518060400160405280600581526020017f477265656e0000000000000000000000000000000000000000000000000000008152509050611c46565b60a08360ff1611611ac6576040518060400160405280600881526020017f426c75652e6d703400000000000000000000000000000000000000000000000081525091506040518060400160405280600481526020017f426c7565000000000000000000000000000000000000000000000000000000008152509050611c45565b60d28360ff1611611b46576040518060400160405280600a81526020017f507572706c652e6d70340000000000000000000000000000000000000000000081525091506040518060400160405280600681526020017f507572706c6500000000000000000000000000000000000000000000000000008152509050611c44565b60f08360ff1611611bc6576040518060400160405280600a81526020017f4f72616e67652e6d70340000000000000000000000000000000000000000000081525091506040518060400160405280600681526020017f4f72616e676500000000000000000000000000000000000000000000000000008152509050611c43565b60ff8360ff1611611c42576040518060400160405280600781526020017f5265642e6d70340000000000000000000000000000000000000000000000000081525091506040518060400160405280600381526020017f526564000000000000000000000000000000000000000000000000000000000081525090505b5b5b5b5b5f611c50866124c4565b604051602001611c60919061382c565b604051602081830303815290604052604051602001611c7f9190613933565b604051602081830303815290604052600c84604051602001611ca29291906137a9565b604051602081830303815290604052604051602001611cc2929190613954565b60405160208183030381529060405290505f82604051602001611ce591906139e7565b60405160208183030381529060405290505f6040518060400160405280600481526020017f227d5d7d0000000000000000000000000000000000000000000000000000000081525090508282604051602001611d42929190613954565b60405160208183030381529060405281604051602001611d63929190613954565b604051602081830303815290604052604051602001611d829190613a2e565b60405160208183030381529060405296505050505050505b919050565b600d8054611dac90613226565b80601f0160208091040260200160405190810160405280929190818152602001828054611dd890613226565b8015611e235780601f10611dfa57610100808354040283529160200191611e23565b820191905f5260205f20905b815481529060010190602001808311611e0657829003601f168201915b505050505081565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611ecf576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600d9081611ede91906133f3565b5050565b6007602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b600c8054611f1990613226565b80601f0160208091040260200160405190810160405280929190818152602001828054611f4590613226565b8015611f905780601f10611f6757610100808354040283529160200191611f90565b820191905f5260205f20905b815481529060010190602001808311611f7357829003601f168201915b505050505081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461201c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612081576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b5f7f0000000000000000000000000000000000000000000000000000000000000012600a61214b9190613b82565b905090565b5f8061215a61211d565b90505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508460045f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461222a91906134ef565b925050819055508460045f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550600b5f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16612354575f8360045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546123139190613bf9565b848461231f9190613bf9565b61232991906134ef565b90505f5b818110156123515761233e8961258e565b808061234990613c29565b91505061232d565b50505b600b5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661242d575f83826123af9190613bf9565b8460045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546123f89190613bf9565b61240291906134ef565b90505f5b8181101561242a57612417886127d3565b808061242290613c29565b915050612406565b50505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e0314878760405161248a9190612dc1565b60405180910390a3600193505050509392505050565b81600190816124af91906133f3565b5080600290816124bf91906133f3565b505050565b60605f60016124d284612a55565b0190505f8167ffffffffffffffff8111156124f0576124ef612de2565b5b6040519080825280601f01601f1916602001820160405280156125225781602001600182028036833780820191505090505b5090505f82602001820190505b600115612583578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161257857612577613bcc565b5b0494505f850361252f575b819350505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036125f3576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f60095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054905061267e91906134ef565b8154811061268f5761268e613522565b5b905f5260205f200154905060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208054806126e7576126e661354f565b5b600190038181905f5260205f20015f90559055600a5f8281526020019081526020015f205f905560085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055805f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612838576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60035f81548092919060010191905055505f60035490505f73ffffffffffffffffffffffffffffffffffffffff1660085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146128e4576040517f23369fa600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490506129e191906134ef565b600a5f8381526020019081526020015f2081905550808273ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310612ab1577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381612aa757612aa6613bcc565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310612aee576d04ee2d6d415b85acef81000000008381612ae457612ae3613bcc565b5b0492506020810190505b662386f26fc100008310612b1d57662386f26fc100008381612b1357612b12613bcc565b5b0492506010810190505b6305f5e1008310612b46576305f5e1008381612b3c57612b3b613bcc565b5b0492506008810190505b6127108310612b6b576127108381612b6157612b60613bcc565b5b0492506004810190505b60648310612b8e5760648381612b8457612b83613bcc565b5b0492506002810190505b600a8310612b9d576001810190505b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015612bdd578082015181840152602081019050612bc2565b5f8484015250505050565b5f601f19601f8301169050919050565b5f612c0282612ba6565b612c0c8185612bb0565b9350612c1c818560208601612bc0565b612c2581612be8565b840191505092915050565b5f6020820190508181035f830152612c488184612bf8565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f819050919050565b612c7381612c61565b8114612c7d575f80fd5b50565b5f81359050612c8e81612c6a565b92915050565b5f60208284031215612ca957612ca8612c59565b5b5f612cb684828501612c80565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f612ce882612cbf565b9050919050565b612cf881612cde565b82525050565b5f602082019050612d115f830184612cef565b92915050565b612d2081612cde565b8114612d2a575f80fd5b50565b5f81359050612d3b81612d17565b92915050565b5f8060408385031215612d5757612d56612c59565b5b5f612d6485828601612d2d565b9250506020612d7585828601612c80565b9150509250929050565b5f8115159050919050565b612d9381612d7f565b82525050565b5f602082019050612dac5f830184612d8a565b92915050565b612dbb81612c61565b82525050565b5f602082019050612dd45f830184612db2565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b612e1882612be8565b810181811067ffffffffffffffff82111715612e3757612e36612de2565b5b80604052505050565b5f612e49612c50565b9050612e558282612e0f565b919050565b5f67ffffffffffffffff821115612e7457612e73612de2565b5b612e7d82612be8565b9050602081019050919050565b828183375f83830152505050565b5f612eaa612ea584612e5a565b612e40565b905082815260208101848484011115612ec657612ec5612dde565b5b612ed1848285612e8a565b509392505050565b5f82601f830112612eed57612eec612dda565b5b8135612efd848260208601612e98565b91505092915050565b5f60208284031215612f1b57612f1a612c59565b5b5f82013567ffffffffffffffff811115612f3857612f37612c5d565b5b612f4484828501612ed9565b91505092915050565b5f805f60608486031215612f6457612f63612c59565b5b5f612f7186828701612d2d565b9350506020612f8286828701612d2d565b9250506040612f9386828701612c80565b9150509250925092565b5f60ff82169050919050565b612fb281612f9d565b82525050565b5f602082019050612fcb5f830184612fa9565b92915050565b5f8060408385031215612fe757612fe6612c59565b5b5f83013567ffffffffffffffff81111561300457613003612c5d565b5b61301085828601612ed9565b925050602083013567ffffffffffffffff81111561303157613030612c5d565b5b61303d85828601612ed9565b9150509250929050565b61305081612d7f565b811461305a575f80fd5b50565b5f8135905061306b81613047565b92915050565b5f806040838503121561308757613086612c59565b5b5f61309485828601612d2d565b92505060206130a58582860161305d565b9150509250929050565b5f602082840312156130c4576130c3612c59565b5b5f6130d184828501612d2d565b91505092915050565b5f80fd5b5f80fd5b5f8083601f8401126130f7576130f6612dda565b5b8235905067ffffffffffffffff811115613114576131136130da565b5b6020830191508360018202830111156131305761312f6130de565b5b9250929050565b5f805f805f608086880312156131505761314f612c59565b5b5f61315d88828901612d2d565b955050602061316e88828901612d2d565b945050604061317f88828901612c80565b935050606086013567ffffffffffffffff8111156131a05761319f612c5d565b5b6131ac888289016130e2565b92509250509295509295909350565b5f80604083850312156131d1576131d0612c59565b5b5f6131de85828601612d2d565b92505060206131ef85828601612d2d565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061323d57607f821691505b6020821081036132505761324f6131f9565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026132b27fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82613277565b6132bc8683613277565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6132f76132f26132ed84612c61565b6132d4565b612c61565b9050919050565b5f819050919050565b613310836132dd565b61332461331c826132fe565b848454613283565b825550505050565b5f90565b61333861332c565b613343818484613307565b505050565b5b818110156133665761335b5f82613330565b600181019050613349565b5050565b601f8211156133ab5761337c81613256565b61338584613268565b81016020851015613394578190505b6133a86133a085613268565b830182613348565b50505b505050565b5f82821c905092915050565b5f6133cb5f19846008026133b0565b1980831691505092915050565b5f6133e383836133bc565b9150826002028217905092915050565b6133fc82612ba6565b67ffffffffffffffff81111561341557613414612de2565b5b61341f8254613226565b61342a82828561336a565b5f60209050601f83116001811461345b575f8415613449578287015190505b61345385826133d8565b8655506134ba565b601f19841661346986613256565b5f5b828110156134905784890151825560018201915060208501945060208101905061346b565b868310156134ad57848901516134a9601f8916826133bc565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6134f982612c61565b915061350483612c61565b925082820390508181111561351c5761351b6134c2565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b5f82825260208201905092915050565b50565b5f61359a5f8361357c565b91506135a58261358c565b5f82019050919050565b5f6080820190506135c25f830186612cef565b6135cf6020830185612cef565b6135dc6040830184612db2565b81810360608301526135ed8161358f565b9050949350505050565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61362b816135f7565b8114613635575f80fd5b50565b5f8151905061364681613622565b92915050565b5f6020828403121561366157613660612c59565b5b5f61366e84828501613638565b91505092915050565b5f613682838561357c565b935061368f838584612e8a565b61369883612be8565b840190509392505050565b5f6080820190506136b65f830188612cef565b6136c36020830187612cef565b6136d06040830186612db2565b81810360608301526136e3818486613677565b90509695505050505050565b5f81905092915050565b5f815461370581613226565b61370f81866136ef565b9450600182165f8114613729576001811461373e57613770565b60ff1983168652811515820286019350613770565b61374785613256565b5f5b8381101561376857815481890152600182019150602081019050613749565b838801955050505b50505092915050565b5f61378382612ba6565b61378d81856136ef565b935061379d818560208601612bc0565b80840191505092915050565b5f6137b482856136f9565b91506137c08284613779565b91508190509392505050565b5f819050919050565b6137e66137e182612c61565b6137cc565b82525050565b5f6137f782846137d5565b60208201915081905092915050565b7f7b226e616d65223a202250616e646f7261202300000000000000000000000000815250565b5f61383682613806565b6013820191506138468284613779565b915081905092915050565b7f222c226465736372697074696f6e223a224120636f6c6c656374696f6e206f665f8201527f2031302c303030205265706c6963616e747320656e61626c656420627920455260208201527f433430342c20616e206578706572696d656e74616c20746f6b656e207374616e60408201527f646172642e222c2265787465726e616c5f75726c223a2268747470733a2f2f7760608201527f77772e70726f6d6574686575736574682e636f6d2f222c22696d616765223a22608082015250565b5f61391d60a0836136ef565b915061392882613851565b60a082019050919050565b5f61393e8284613779565b915061394982613911565b915081905092915050565b5f61395f8285613779565b915061396b8284613779565b91508190509392505050565b7f222c2261747472696275746573223a5b7b2274726169745f74797065223a22435f8201527f6f6c6f72222c2276616c7565223a220000000000000000000000000000000000602082015250565b5f6139d1602f836136ef565b91506139dc82613977565b602f82019050919050565b5f6139f1826139c5565b91506139fd8284613779565b915081905092915050565b7f646174613a6170706c69636174696f6e2f6a736f6e3b757466382c0000000000815250565b5f613a3882613a08565b601b82019150613a488284613779565b915081905092915050565b5f8160011c9050919050565b5f808291508390505b6001851115613aa857808604811115613a8457613a836134c2565b5b6001851615613a935780820291505b8081029050613aa185613a53565b9450613a68565b94509492505050565b5f82613ac05760019050613b7b565b81613acd575f9050613b7b565b8160018114613ae35760028114613aed57613b1c565b6001915050613b7b565b60ff841115613aff57613afe6134c2565b5b8360020a915084821115613b1657613b156134c2565b5b50613b7b565b5060208310610133831016604e8410600b8410161715613b515782820a905083811115613b4c57613b4b6134c2565b5b613b7b565b613b5e8484846001613a5f565b92509050818404811115613b7557613b746134c2565b5b81810290505b9392505050565b5f613b8c82612c61565b9150613b9783612f9d565b9250613bc47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484613ab1565b905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f613c0382612c61565b9150613c0e83612c61565b925082613c1e57613c1d613bcc565b5b828204905092915050565b5f613c3382612c61565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203613c6557613c646134c2565b5b60018201905091905056fea2646970667358221220b82367e5364ff4206c1c49391d644b360f96b6bfe6a00631dd0ccc5d3337fd6564736f6c63430008140033

31785:2702:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22882:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23593:46;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25424:642;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23118:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32209:98;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;26473:1716;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;20842:151;;;:::i;:::-;;23018:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28485:405;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23253:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32429:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24753:111;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24936:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23359:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20283:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22936;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24204:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26117:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28248:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28985:437;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;32599:1885;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31886:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23473:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32315:106;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23704:68;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31816:63;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20615:219;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22882:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23593:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;25424:642::-;25527:4;25562:6;;25548:10;:20;;:38;;;;;25585:1;25572:10;:14;25548:38;25544:491;;;25603:13;25619:8;:20;25628:10;25619:20;;;;;;;;;;;;;;;;;;;;;25603:36;;25674:5;25660:19;;:10;:19;;;;:59;;;;;25684:16;:23;25701:5;25684:23;;;;;;;;;;;;;;;:35;25708:10;25684:35;;;;;;;;;;;;;;;;;;;;;;;;;25683:36;25660:59;25656:121;;;25747:14;;;;;;;;;;;;;;25656:121;25819:7;25793:11;:23;25805:10;25793:23;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;25864:7;25848:36;;25857:5;25848:36;;;25873:10;25848:36;;;;;;:::i;:::-;;;;;;;;25588:308;25544:491;;;25950:10;25917:9;:21;25927:10;25917:21;;;;;;;;;;;;;;;:30;25939:7;25917:30;;;;;;;;;;;;;;;:43;;;;26003:7;25982:41;;25991:10;25982:41;;;26012:10;25982:41;;;;;;:::i;:::-;;;;;;;;25544:491;26054:4;26047:11;;25424:642;;;;:::o;23118:36::-;;;:::o;32209:98::-;20370:5;;;;;;;;;;20356:19;;:10;:19;;;20352:46;;20384:14;;;;;;;;;;;;;;20352:46;32291:8:::1;32281:7;:18;;;;;;:::i;:::-;;32209:98:::0;:::o;26473:1716::-;26619:6;;26605:10;:20;26601:1581;;26654:8;:20;26663:10;26654:20;;;;;;;;;;;;;;;;;;;;;26646:28;;:4;:28;;;26642:91;;26702:15;;;;;;;;;;;;;;26642:91;26767:1;26753:16;;:2;:16;;;26749:82;;26797:18;;;;;;;;;;;;;;26749:82;26883:4;26869:18;;:10;:18;;;;:74;;;;;26909:16;:22;26926:4;26909:22;;;;;;;;;;;;;;;:34;26932:10;26909:34;;;;;;;;;;;;;;;;;;;;;;;;;26908:35;26869:74;:132;;;;;26978:11;:23;26990:10;26978:23;;;;;;;;;;;;;;;;;;;;;26964:37;;:10;:37;;;;26869:132;26847:226;;;27043:14;;;;;;;;;;;;;;26847:226;27108:10;:8;:10::i;:::-;27089:9;:15;27099:4;27089:15;;;;;;;;;;;;;;;;:29;;;;;;;:::i;:::-;;;;;;;;27181:10;:8;:10::i;:::-;27164:9;:13;27174:2;27164:13;;;;;;;;;;;;;;;;:27;;;;;;;;;;;27246:2;27223:8;:20;27232:10;27223:20;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;27270:11;:23;27282:10;27270:23;;;;;;;;;;;;27263:30;;;;;;;;;;;27351:17;27371:6;:12;27378:4;27371:12;;;;;;;;;;;;;;;27406:1;27384:6;:12;27391:4;27384:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;27371:37;;;;;;;;:::i;:::-;;;;;;;;;;27351:57;;27463:9;27423:6;:12;27430:4;27423:12;;;;;;;;;;;;;;;27436:11;:23;27448:10;27436:23;;;;;;;;;;;;27423:37;;;;;;;;:::i;:::-;;;;;;;;;:49;;;;27507:6;:12;27514:4;27507:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;27611:11;:23;27623:10;27611:23;;;;;;;;;;;;27586:11;:22;27598:9;27586:22;;;;;;;;;;;:48;;;;27688:6;:10;27695:2;27688:10;;;;;;;;;;;;;;;27704;27688:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27818:1;27798:6;:10;27805:2;27798:10;;;;;;;;;;;;;;;:17;;;;:21;;;;:::i;:::-;27772:11;:23;27784:10;27772:23;;;;;;;;;;;:47;;;;27860:10;27856:2;27841:30;;27850:4;27841:30;;;;;;;;;;;;27911:2;27891:35;;27905:4;27891:35;;;27915:10;:8;:10::i;:::-;27891:35;;;;;;:::i;:::-;;;;;;;;26627:1311;26601:1581;;;27959:15;27977:9;:15;27987:4;27977:15;;;;;;;;;;;;;;;:27;27993:10;27977:27;;;;;;;;;;;;;;;;27959:45;;28036:17;28025:7;:28;28021:101;;28112:10;28102:7;:20;;;;:::i;:::-;28072:9;:15;28082:4;28072:15;;;;;;;;;;;;;;;:27;28088:10;28072:27;;;;;;;;;;;;;;;:50;;;;28021:101;28139:31;28149:4;28155:2;28159:10;28139:9;:31::i;:::-;;27944:238;26601:1581;26473:1716;;;:::o;20842:151::-;20370:5;;;;;;;;;;20356:19;;:10;:19;;;20352:46;;20384:14;;;;;;;;;;;;;;20352:46;20921:1:::1;20905:5:::0;::::1;:18;;;;;;;;;;;;;;;;;;20982:1;20941:44;;20962:10;20941:44;;;;;;;;;;;;20842:151::o:0;23018:31::-;;;:::o;28485:405::-;28609:26;28622:4;28628:2;28632;28609:12;:26::i;:::-;28684:1;28666:2;:14;;;:19;;:154;;;;;28780:40;;;28702:118;;;28717:2;28702:35;;;28738:10;28750:4;28756:2;28702:61;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:118;;;;;28666:154;28648:235;;;28854:17;;;;;;;;;;;;;;28648:235;28485:405;;;:::o;23253:21::-;;;;:::o;32429:158::-;20370:5;;;;;;;;;;20356:19;;:10;:19;;;20352:46;;20384:14;;;;;;;;;;;;;;20352:46;32549:30:::1;32564:5;32571:7;32549:14;:30::i;:::-;32429:158:::0;;:::o;24753:111::-;20370:5;;;;;;;;;;20356:19;;:10;:19;;;20352:46;;20384:14;;;;;;;;;;;;;;20352:46;24851:5:::1;24831:9;:17;24841:6;24831:17;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;24753:111:::0;;:::o;24936:193::-;24994:13;25028:8;:12;25037:2;25028:12;;;;;;;;;;;;;;;;;;;;;25020:20;;25074:1;25057:19;;:5;:19;;;25053:69;;25100:10;;;;;;;;;;;;;;25053:69;24936:193;;;:::o;23359:44::-;;;;;;;;;;;;;;;;;:::o;20283:20::-;;;;;;;;;;;;:::o;22936:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;24204:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;26117:207::-;26244:8;26203:16;:28;26220:10;26203:28;;;;;;;;;;;;;;;:38;26232:8;26203:38;;;;;;;;;;;;;;;;:49;;;;;;;;;;;;;;;;;;26297:8;26270:46;;26285:10;26270:46;;;26307:8;26270:46;;;;;;:::i;:::-;;;;;;;;26117:207;;:::o;28248:160::-;28343:4;28367:33;28377:10;28389:2;28393:6;28367:9;:33::i;:::-;28360:40;;28248:160;;;;:::o;28985:437::-;29139:26;29152:4;29158:2;29162;29139:12;:26::i;:::-;29214:1;29196:2;:14;;;:19;;:156;;;;;29312:40;;;29232:120;;;29247:2;29232:35;;;29268:10;29280:4;29286:2;29290:4;;29232:63;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:120;;;;;29196:156;29178:237;;;29386:17;;;;;;;;;;;;;;29178:237;28985:437;;;;;:::o;32599:1885::-;32659:13;32718:1;32695:12;32689:26;;;;;:::i;:::-;;;:30;32685:1792;;;32757:12;32771:20;32788:2;32771:16;:20::i;:::-;32743:49;;;;;;;;;:::i;:::-;;;;;;;;;;;;;32736:56;;;;32685:1792;32825:10;32878:2;32861:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;32851:31;;;;;;32838:46;;32825:59;;32899:19;32933;32981:3;32973:4;:11;;;32969:547;;33005:19;;;;;;;;;;;;;;;;;;;33043:15;;;;;;;;;;;;;;;;;;;32969:547;;;33092:3;33084:4;:11;;;33080:436;;33116:18;;;;;;;;;;;;;;;;;;;33153:14;;;;;;;;;;;;;;;;;;;33080:436;;;33201:3;33193:4;:11;;;33189:327;;33225:20;;;;;;;;;;;;;;;;;;;33264:16;;;;;;;;;;;;;;;;;;;33189:327;;;33314:3;33306:4;:11;;;33302:214;;33338:20;;;;;;;;;;;;;;;;;;;33377:16;;;;;;;;;;;;;;;;;;;33302:214;;;33427:3;33419:4;:11;;;33415:101;;33451:17;;;;;;;;;;;;;;;;;;;33487:13;;;;;;;;;;;;;;;;;;;33415:101;33302:214;33189:327;33080:436;32969:547;33532:26;33666:20;33683:2;33666:16;:20::i;:::-;33629:58;;;;;;;;:::i;:::-;;;;;;;;;;;;;33593:298;;;;;;;;:::i;:::-;;;;;;;;;;;;;33924:7;33933:5;33910:29;;;;;;;;;:::i;:::-;;;;;;;;;;;;;33561:393;;;;;;;;;:::i;:::-;;;;;;;;;;;;;33532:422;;33969:27;34099:5;33999:120;;;;;;;;:::i;:::-;;;;;;;;;;;;;33969:150;;34134:28;:37;;;;;;;;;;;;;;;;;;;34354:12;34368:13;34340:42;;;;;;;;;:::i;:::-;;;;;;;;;;;;;34409:14;34300:146;;;;;;;;;:::i;:::-;;;;;;;;;;;;;34212:253;;;;;;;;:::i;:::-;;;;;;;;;;;;;34188:277;;;;;;;;32599:1885;;;;:::o;31886:26::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23473:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;32315:106::-;20370:5;;;;;;;;;;20356:19;;:10;:19;;;20352:46;;20384:14;;;;;;;;;;;;;;20352:46;32404:9:::1;32389:12;:24;;;;;;:::i;:::-;;32315:106:::0;:::o;23704:68::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;31816:63::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;20615:219::-;20370:5;;;;;;;;;;20356:19;;:10;:19;;;20352:46;;20384:14;;;;;;;;;;;;;;20352:46;20716:1:::1;20698:20;;:6;:20;;::::0;20694:47:::1;;20727:14;;;;;;;;;;;;;;20694:47;20762:6;20754:5;::::0;:14:::1;;;;;;;;;;;;;;;;;;20819:6;20786:40;;20807:10;20786:40;;;;;;;;;;;;20615:219:::0;:::o;30622:92::-;30665:7;30698:8;30692:2;:14;;;;:::i;:::-;30685:21;;30622:92;:::o;29490:1093::-;29603:4;29620:12;29635:10;:8;:10::i;:::-;29620:25;;29656:27;29686:9;:15;29696:4;29686:15;;;;;;;;;;;;;;;;29656:45;;29712:29;29744:9;:13;29754:2;29744:13;;;;;;;;;;;;;;;;29712:45;;29789:6;29770:9;:15;29780:4;29770:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;29850:6;29833:9;:13;29843:2;29833:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;29941:9;:15;29951:4;29941:15;;;;;;;;;;;;;;;;;;;;;;;;;29936:251;;29973:22;30065:4;30047:9;:15;30057:4;30047:15;;;;;;;;;;;;;;;;:22;;;;:::i;:::-;30021:4;29999:19;:26;;;;:::i;:::-;29998:72;;;;:::i;:::-;29973:97;;30090:9;30085:91;30109:14;30105:1;:18;30085:91;;;30149:11;30155:4;30149:5;:11::i;:::-;30125:3;;;;;:::i;:::-;;;;30085:91;;;;29958:229;29936:251;30263:9;:13;30273:2;30263:13;;;;;;;;;;;;;;;;;;;;;;;;;30258:247;;30293:22;30385:4;30361:21;:28;;;;:::i;:::-;30335:4;30319:9;:13;30329:2;30319:13;;;;;;;;;;;;;;;;:20;;;;:::i;:::-;30318:72;;;;:::i;:::-;30293:97;;30410:9;30405:89;30429:14;30425:1;:18;30405:89;;;30469:9;30475:2;30469:5;:9::i;:::-;30445:3;;;;;:::i;:::-;;;;30405:89;;;;30278:227;30258:247;30542:2;30522:31;;30536:4;30522:31;;;30546:6;30522:31;;;;;;:::i;:::-;;;;;;;;30571:4;30564:11;;;;;29490:1093;;;;;:::o;31585:160::-;31705:5;31698:4;:12;;;;;;:::i;:::-;;31730:7;31721:6;:16;;;;;;:::i;:::-;;31585:160;;:::o;17477:718::-;17533:13;17584:14;17621:1;17601:17;17612:5;17601:10;:17::i;:::-;:21;17584:38;;17637:20;17671:6;17660:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17637:41;;17693:11;17822:6;17818:2;17814:15;17806:6;17802:28;17795:35;;17859:290;17866:4;17859:290;;;17891:5;;;;;;;;18033:10;18028:2;18021:5;18017:14;18012:32;18007:3;17999:46;18091:2;18082:11;;;;;;:::i;:::-;;;;;18125:1;18116:5;:10;17859:290;18112:21;17859:290;18170:6;18163:13;;;;;17477:718;;;:::o;31204:373::-;31281:1;31265:18;;:4;:18;;;31261:73;;31307:15;;;;;;;;;;;;;;31261:73;31346:10;31359:6;:12;31366:4;31359:12;;;;;;;;;;;;;;;31394:1;31372:6;:12;31379:4;31372:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;31359:37;;;;;;;;:::i;:::-;;;;;;;;;;31346:50;;31407:6;:12;31414:4;31407:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;31443:11;:15;31455:2;31443:15;;;;;;;;;;;31436:22;;;31476:8;:12;31485:2;31476:12;;;;;;;;;;;;31469:19;;;;;;;;;;;31506:11;:15;31518:2;31506:15;;;;;;;;;;;;31499:22;;;;;;;;;;;31566:2;31562:1;31539:30;;31548:4;31539:30;;;;;;;;;;;;31250:327;31204:373;:::o;30722:474::-;30795:1;30781:16;;:2;:16;;;30777:74;;30821:18;;;;;;;;;;;;;;30777:74;30888:6;;:8;;;;;;;;;;;;;30920:10;30933:6;;30920:19;;30980:1;30956:26;;:8;:12;30965:2;30956:12;;;;;;;;;;;;;;;;;;;;;:26;;;30952:81;;31006:15;;;;;;;;;;;;;;30952:81;31060:2;31045:8;:12;31054:2;31045:12;;;;;;;;;;;;:17;;;;;;;;;;;;;;;;;;31073:6;:10;31080:2;31073:10;;;;;;;;;;;;;;;31089:2;31073:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31141:1;31121:6;:10;31128:2;31121:10;;;;;;;;;;;;;;;:17;;;;:21;;;;:::i;:::-;31103:11;:15;31115:2;31103:15;;;;;;;;;;;:39;;;;31185:2;31181;31160:28;;31177:1;31160:28;;;;;;;;;;;;30766:430;30722:474;:::o;13881:948::-;13934:7;13954:14;13971:1;13954:18;;14021:8;14012:5;:17;14008:106;;14059:8;14050:17;;;;;;:::i;:::-;;;;;14096:2;14086:12;;;;14008:106;14141:8;14132:5;:17;14128:106;;14179:8;14170:17;;;;;;:::i;:::-;;;;;14216:2;14206:12;;;;14128:106;14261:8;14252:5;:17;14248:106;;14299:8;14290:17;;;;;;:::i;:::-;;;;;14336:2;14326:12;;;;14248:106;14381:7;14372:5;:16;14368:103;;14418:7;14409:16;;;;;;:::i;:::-;;;;;14454:1;14444:11;;;;14368:103;14498:7;14489:5;:16;14485:103;;14535:7;14526:16;;;;;;:::i;:::-;;;;;14571:1;14561:11;;;;14485:103;14615:7;14606:5;:16;14602:103;;14652:7;14643:16;;;;;;:::i;:::-;;;;;14688:1;14678:11;;;;14602:103;14732:7;14723:5;:16;14719:68;;14770:1;14760:11;;;;14719:68;14815:6;14808:13;;;13881: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;21338:874::-;21441:3;21478:5;21472:12;21507:36;21533:9;21507:36;:::i;:::-;21559:89;21641:6;21636:3;21559:89;:::i;:::-;21552:96;;21679:1;21668:9;21664:17;21695:1;21690:166;;;;21870:1;21865:341;;;;21657:549;;21690:166;21774:4;21770:9;21759;21755:25;21750:3;21743:38;21836:6;21829:14;21822:22;21814:6;21810:35;21805:3;21801:45;21794:52;;21690:166;;21865:341;21932:38;21964:5;21932:38;:::i;:::-;21992:1;22006:154;22020:6;22017:1;22014:13;22006:154;;;22094:7;22088:14;22084:1;22079:3;22075:11;22068:35;22144:1;22135:7;22131:15;22120:26;;22042:4;22039:1;22035:12;22030:17;;22006:154;;;22189:6;22184:3;22180:16;22173:23;;21872:334;;21657:549;;21445:767;;21338:874;;;;:::o;22218:390::-;22324:3;22352:39;22385:5;22352:39;:::i;:::-;22407:89;22489:6;22484:3;22407:89;:::i;:::-;22400:96;;22505:65;22563:6;22558:3;22551:4;22544:5;22540:16;22505:65;:::i;:::-;22595:6;22590:3;22586:16;22579:23;;22328:280;22218:390;;;;:::o;22614:429::-;22791:3;22813:92;22901:3;22892:6;22813:92;:::i;:::-;22806:99;;22922:95;23013:3;23004:6;22922:95;:::i;:::-;22915:102;;23034:3;23027:10;;22614:429;;;;;:::o;23049:79::-;23088:7;23117:5;23106:16;;23049:79;;;:::o;23134:157::-;23239:45;23259:24;23277:5;23259:24;:::i;:::-;23239:45;:::i;:::-;23234:3;23227:58;23134:157;;:::o;23297:256::-;23409:3;23424:75;23495:3;23486:6;23424:75;:::i;:::-;23524:2;23519:3;23515:12;23508:19;;23544:3;23537:10;;23297:256;;;;:::o;23559:242::-;23728:66;23723:3;23716:79;23559:242;:::o;23807:542::-;24030:3;24045:138;24179:3;24045:138;:::i;:::-;24208:2;24203:3;24199:12;24192:19;;24228:95;24319:3;24310:6;24228:95;:::i;:::-;24221:102;;24340:3;24333:10;;23807:542;;;;:::o;24355:555::-;24495:66;24491:1;24483:6;24479:14;24472:90;24596:34;24591:2;24583:6;24579:15;24572:59;24665:34;24660:2;24652:6;24648:15;24641:59;24734:66;24729:2;24721:6;24717:15;24710:91;24836:66;24830:3;24822:6;24818:16;24811:92;24355:555;:::o;24916:404::-;25076:3;25097:86;25179:3;25174;25097:86;:::i;:::-;25090:93;;25192;25281:3;25192:93;:::i;:::-;25310:3;25305;25301:13;25294:20;;24916:404;;;:::o;25326:541::-;25559:3;25581:95;25672:3;25663:6;25581:95;:::i;:::-;25574:102;;25693:148;25837:3;25693:148;:::i;:::-;25686:155;;25858:3;25851:10;;25326:541;;;;:::o;25873:435::-;26053:3;26075:95;26166:3;26157:6;26075:95;:::i;:::-;26068:102;;26187:95;26278:3;26269:6;26187:95;:::i;:::-;26180:102;;26299:3;26292:10;;25873:435;;;;;:::o;26314:315::-;26454:66;26450:1;26442:6;26438:14;26431:90;26555:66;26550:2;26542:6;26538:15;26531:91;26314:315;:::o;26635:402::-;26795:3;26816:85;26898:2;26893:3;26816:85;:::i;:::-;26809:92;;26910:93;26999:3;26910:93;:::i;:::-;27028:2;27023:3;27019:12;27012:19;;26635:402;;;:::o;27043:541::-;27276:3;27298:148;27442:3;27298:148;:::i;:::-;27291:155;;27463:95;27554:3;27545:6;27463:95;:::i;:::-;27456:102;;27575:3;27568:10;;27043:541;;;;:::o;27590:205::-;27759:29;27754:3;27747:42;27590:205;:::o;27801:542::-;28024:3;28039:138;28173:3;28039:138;:::i;:::-;28202:2;28197:3;28193:12;28186:19;;28222:95;28313:3;28304:6;28222:95;:::i;:::-;28215:102;;28334:3;28327:10;;27801:542;;;;:::o;28349:102::-;28391:8;28438:5;28435:1;28431:13;28410:34;;28349:102;;;:::o;28457:848::-;28518:5;28525:4;28549:6;28540:15;;28573:5;28564:14;;28587:712;28608:1;28598:8;28595:15;28587:712;;;28703:4;28698:3;28694:14;28688:4;28685:24;28682:50;;;28712:18;;:::i;:::-;28682:50;28762:1;28752:8;28748:16;28745:451;;;29177:4;29170:5;29166:16;29157:25;;28745:451;29227:4;29221;29217:15;29209:23;;29257:32;29280:8;29257:32;:::i;:::-;29245:44;;28587:712;;;28457:848;;;;;;;:::o;29311:1073::-;29365:5;29556:8;29546:40;;29577:1;29568:10;;29579:5;;29546:40;29605:4;29595:36;;29622:1;29613:10;;29624:5;;29595:36;29691:4;29739:1;29734:27;;;;29775:1;29770:191;;;;29684:277;;29734:27;29752:1;29743:10;;29754:5;;;29770:191;29815:3;29805:8;29802:17;29799:43;;;29822:18;;:::i;:::-;29799:43;29871:8;29868:1;29864:16;29855:25;;29906:3;29899:5;29896:14;29893:40;;;29913:18;;:::i;:::-;29893:40;29946:5;;;29684:277;;30070:2;30060:8;30057:16;30051:3;30045:4;30042:13;30038:36;30020:2;30010:8;30007:16;30002:2;29996:4;29993:12;29989:35;29973:111;29970:246;;;30126:8;30120:4;30116:19;30107:28;;30161:3;30154:5;30151:14;30148:40;;;30168:18;;:::i;:::-;30148:40;30201:5;;29970:246;30241:42;30279:3;30269:8;30263:4;30260:1;30241:42;:::i;:::-;30226:57;;;;30315:4;30310:3;30306:14;30299:5;30296:25;30293:51;;;30324:18;;:::i;:::-;30293:51;30373:4;30366:5;30362:16;30353:25;;29311:1073;;;;;;:::o;30390:281::-;30448:5;30472:23;30490:4;30472:23;:::i;:::-;30464:31;;30516:25;30532:8;30516:25;:::i;:::-;30504:37;;30560:104;30597:66;30587:8;30581:4;30560:104;:::i;:::-;30551:113;;30390:281;;;;:::o;30677:180::-;30725:77;30722:1;30715:88;30822:4;30819:1;30812:15;30846:4;30843:1;30836:15;30863:185;30903:1;30920:20;30938:1;30920:20;:::i;:::-;30915:25;;30954:20;30972:1;30954:20;:::i;:::-;30949:25;;30993:1;30983:35;;30998:18;;:::i;:::-;30983:35;31040:1;31037;31033:9;31028:14;;30863:185;;;;:::o;31054:233::-;31093:3;31116:24;31134:5;31116:24;:::i;:::-;31107:33;;31162:66;31155:5;31152:77;31149:103;;31232:18;;:::i;:::-;31149:103;31279:1;31272:5;31268:13;31261:20;;31054:233;;;:::o

ipfs://b82367e5364ff4206c1c49391d644b360f96b6bfe6a00631dd0ccc5d3337fd65