Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

//SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.0;



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

    error Unauthorized();
    error InvalidOwner();

    address public owner;

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

        _;
    }

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

        owner = _owner;

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

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

        owner = _owner;

        emit OwnershipTransferred(msg.sender, _owner);
    }

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

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

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

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

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

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

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

pragma solidity ^0.8.20;


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


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

pragma solidity ^0.8.20;

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

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

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

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


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


contract Alphabet is ERC404 {
    string public dataURI;
    string public baseTokenURI;

    constructor(address _owner)
        ERC404("Alphabet", "ALPHABET", 18, 10000, _owner)
    {
        balanceOf[_owner] = 10000 * 10**18;
    }

    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 {
            uint16 seed = uint16(bytes2(keccak256(abi.encodePacked(id))));
            string memory image;
            string memory letter;

            // Calculate the segment index (0 to 25) based on the seed value
            uint256 segmentIndex = seed / 2520; // 65535 / 26 segments = 2520 per segment

            // Define arrays of letters and images
            string[26] memory letters = [
                "A",
                "B",
                "C",
                "D",
                "E",
                "F",
                "G",
                "H",
                "I",
                "J",
                "K",
                "L",
                "M",
                "N",
                "O",
                "P",
                "Q",
                "R",
                "S",
                "T",
                "U",
                "V",
                "W",
                "X",
                "Y",
                "Z"
            ];
            string[26] memory images = [
                "a.gif",
                "b.gif",
                "c.gif",
                "d.gif",
                "e.gif",
                "f.gif",
                "g.gif",
                "h.gif",
                "i.gif",
                "j.gif",
                "k.gif",
                "l.gif",
                "m.gif",
                "n.gif",
                "o.gif",
                "p.gif",
                "q.gif",
                "r.gif",
                "s.gif",
                "t.gif",
                "u.gif",
                "v.gif",
                "w.gif",
                "x.gif",
                "y.gif",
                "z.gif"
            ];

            // Use the segment index to select the letter and image
            if (segmentIndex < 26) {
                letter = letters[segmentIndex];
                image = images[segmentIndex];
            } else {
                // Handle unexpected case if segmentIndex somehow exceeds 25
                letter = "Z"; // Default/fallback letter
                image = "z.gif"; // Default/fallback image
            }

            string memory jsonPreImage = string.concat(
                string.concat(
                    string.concat('{"name": "Alphabet #', Strings.toString(id)),
                    '","description":"A collection of 10,000 replicants enabled by ERC404, an experimental token standard.","external_url":"https://404alphabet.xyz","image":"'
                ),
                string.concat(dataURI, image)
            );
            string memory jsonPostImage = string.concat(
                '","attributes":[{"trait_type":"Letter","value":"',
                letter
            );
            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":[{"internalType":"address","name":"_owner","type":"address"}],"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"}]

60c060405234801562000010575f80fd5b5060405162004f7238038062004f728339818101604052810190620000369190620002bd565b6040518060400160405280600881526020017f416c7068616265740000000000000000000000000000000000000000000000008152506040518060400160405280600881526020017f414c504841424554000000000000000000000000000000000000000000000000815250601261271084805f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036200010f576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3508460019081620001ba919062000551565b508360029081620001cc919062000551565b508260ff1660808160ff1681525050608051600a620001ec9190620007be565b82620001f991906200080e565b60a08181525050505050505069021e19e0c9bab240000060045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505062000858565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f62000287826200025c565b9050919050565b62000299816200027b565b8114620002a4575f80fd5b50565b5f81519050620002b7816200028e565b92915050565b5f60208284031215620002d557620002d462000258565b5b5f620002e484828501620002a7565b91505092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200036957607f821691505b6020821081036200037f576200037e62000324565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003e37fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003a6565b620003ef8683620003a6565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f62000439620004336200042d8462000407565b62000410565b62000407565b9050919050565b5f819050919050565b620004548362000419565b6200046c620004638262000440565b848454620003b2565b825550505050565b5f90565b6200048262000474565b6200048f81848462000449565b505050565b5b81811015620004b657620004aa5f8262000478565b60018101905062000495565b5050565b601f8211156200050557620004cf8162000385565b620004da8462000397565b81016020851015620004ea578190505b62000502620004f98562000397565b83018262000494565b50505b505050565b5f82821c905092915050565b5f620005275f19846008026200050a565b1980831691505092915050565b5f62000541838362000516565b9150826002028217905092915050565b6200055c82620002ed565b67ffffffffffffffff811115620005785762000577620002f7565b5b62000584825462000351565b62000591828285620004ba565b5f60209050601f831160018114620005c7575f8415620005b2578287015190505b620005be858262000534565b8655506200062d565b601f198416620005d78662000385565b5f5b828110156200060057848901518255600182019150602085019450602081019050620005d9565b868310156200062057848901516200061c601f89168262000516565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620006bf5780860481111562000697576200069662000635565b5b6001851615620006a75780820291505b8081029050620006b78562000662565b945062000677565b94509492505050565b5f82620006d95760019050620007ab565b81620006e8575f9050620007ab565b81600181146200070157600281146200070c5762000742565b6001915050620007ab565b60ff84111562000721576200072062000635565b5b8360020a9150848211156200073b576200073a62000635565b5b50620007ab565b5060208310610133831016604e8410600b84101617156200077c5782820a90508381111562000776576200077562000635565b5b620007ab565b6200078b84848460016200066e565b92509050818404811115620007a557620007a462000635565b5b81810290505b9392505050565b5f60ff82169050919050565b5f620007ca8262000407565b9150620007d783620007b2565b9250620008067fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620006c8565b905092915050565b5f6200081a8262000407565b9150620008278362000407565b9250828202620008378162000407565b9150828204841483151762000851576200085062000635565b5b5092915050565b60805160a0516146f1620008815f395f6108f601525f81816112c70152612b8101526146f15ff3fe608060405234801561000f575f80fd5b50600436106101a7575f3560e01c806370a08231116100f7578063c87b56dd11610095578063e0df5b6f1161006f578063e0df5b6f146104cb578063e985e9c5146104e7578063f28ca1dd14610517578063f2fde38b14610535576101a7565b8063c87b56dd1461044d578063d547cfb71461047d578063dd62ed3e1461049b576101a7565b80639b19251a116100d15780639b19251a146103b5578063a22cb465146103e5578063a9059cbb14610401578063b88d4fde14610431576101a7565b806370a08231146103495780638da5cb5b1461037957806395d89b4114610397576101a7565b80632b968958116101645780634f02c4201161013e5780634f02c420146102c3578063504334c2146102e157806353d6fd59146102fd5780636352211e14610319576101a7565b80632b9689581461027f578063313ce5671461028957806342842e0e146102a7576101a7565b806306fdde03146101ab578063081812fc146101c9578063095ea7b3146101f957806318160ddd1461022957806318d217c31461024757806323b872dd14610263575b5f80fd5b6101b3610551565b6040516101c09190613685565b60405180910390f35b6101e360048036038101906101de91906136e9565b6105dd565b6040516101f09190613753565b60405180910390f35b610213600480360381019061020e9190613796565b61060d565b60405161022091906137ee565b60405180910390f35b6102316108f4565b60405161023e9190613816565b60405180910390f35b610261600480360381019061025c919061395b565b610918565b005b61027d600480360381019061027891906139a2565b6109af565b005b6102876111a6565b005b6102916112c5565b60405161029e9190613a0d565b60405180910390f35b6102c160048036038101906102bc91906139a2565b6112e9565b005b6102cb611418565b6040516102d89190613816565b60405180910390f35b6102fb60048036038101906102f69190613a26565b61141e565b005b61031760048036038101906103129190613ac6565b6114b0565b005b610333600480360381019061032e91906136e9565b61158c565b6040516103409190613753565b60405180910390f35b610363600480360381019061035e9190613b04565b61162a565b6040516103709190613816565b60405180910390f35b61038161163f565b60405161038e9190613753565b60405180910390f35b61039f611662565b6040516103ac9190613685565b60405180910390f35b6103cf60048036038101906103ca9190613b04565b6116ee565b6040516103dc91906137ee565b60405180910390f35b6103ff60048036038101906103fa9190613ac6565b61170b565b005b61041b60048036038101906104169190613796565b611803565b60405161042891906137ee565b60405180910390f35b61044b60048036038101906104469190613b8c565b611817565b005b610467600480360381019061046291906136e9565b61194c565b6040516104749190613685565b60405180910390f35b610485612800565b6040516104929190613685565b60405180910390f35b6104b560048036038101906104b09190613c10565b61288c565b6040516104c29190613816565b60405180910390f35b6104e560048036038101906104e0919061395b565b6128ac565b005b61050160048036038101906104fc9190613c10565b612943565b60405161050e91906137ee565b60405180910390f35b61051f61296d565b60405161052c9190613685565b60405180910390f35b61054f600480360381019061054a9190613b04565b6129f9565b005b6001805461055e90613c7b565b80601f016020809104026020016040519081016040528092919081815260200182805461058a90613c7b565b80156105d55780601f106105ac576101008083540402835291602001916105d5565b820191905f5260205f20905b8154815290600101906020018083116105b857829003601f168201915b505050505081565b6006602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f600354821115801561061f57505f82115b15610807575f60085f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610716575060075f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b1561074d576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8360065f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040516107f99190613816565b60405180910390a3506108ea565b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516108e19190613816565b60405180910390a35b6001905092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461099c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600c90816109ab9190613e48565b5050565b60035481116110675760085f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610a4d576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ab2576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610b70575060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b8015610bd8575060065f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610c0f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b610c17612b7e565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c629190613f44565b92505081905550610c71612b7e565b60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f60095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610dc79190613f44565b81548110610dd857610dd7613f77565b5b905f5260205f20015490508060095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600a5f8581526020019081526020015f205481548110610e4457610e43613f77565b5b905f5260205f20018190555060095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805480610e9d57610e9c613fa4565b5b600190038181905f5260205f20015f90559055600a5f8381526020019081526020015f2054600a5f8381526020019081526020015f208190555060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610f859190613f44565b600a5f8481526020019081526020015f2081905550818373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e03148761104c612b7e565b6040516110599190613816565b60405180910390a3506111a1565b5f60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146111935781816111169190613f44565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b61119e848484612bb1565b50505b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461122a576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3565b7f000000000000000000000000000000000000000000000000000000000000000081565b6112f48383836109af565b5f8273ffffffffffffffffffffffffffffffffffffffff163b141580156113dc575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168273ffffffffffffffffffffffffffffffffffffffff1663150b7a023386856040518463ffffffff1660e01b815260040161137a93929190614004565b6020604051808303815f875af1158015611396573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ba91906140a1565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611413576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60035481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114a2576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6114ac8282612ef5565b5050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611534576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b5f60085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611625576040517fc5723b5100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b919050565b6004602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002805461166f90613c7b565b80601f016020809104026020016040519081016040528092919081815260200182805461169b90613c7b565b80156116e65780601f106116bd576101008083540402835291602001916116e6565b820191905f5260205f20905b8154815290600101906020018083116116c957829003601f168201915b505050505081565b600b602052805f5260405f205f915054906101000a900460ff1681565b8060075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516117f791906137ee565b60405180910390a35050565b5f61180f338484612bb1565b905092915050565b6118228585856109af565b5f8473ffffffffffffffffffffffffffffffffffffffff163b1415801561190e575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663150b7a0233888787876040518663ffffffff1660e01b81526004016118ac9594939291906140f8565b6020604051808303815f875af11580156118c8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906118ec91906140a1565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611945576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050505050565b60605f600d805461195c90613c7b565b9050111561199657600d61196f83612f19565b6040516020016119809291906141fe565b60405160208183030381529060405290506127fb565b5f826040516020016119a89190614241565b6040516020818303038152906040528051906020012060f01c90506060805f6109d8846119d59190614295565b61ffff1690505f6040518061034001604052806040518060400160405280600181526020017f410000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f420000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f430000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f440000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f450000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f460000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f470000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f480000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f490000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4a0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4b0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4c0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4d0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4e0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4f0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f500000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f510000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f520000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f530000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f540000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f550000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f560000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f570000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f580000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f590000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f5a0000000000000000000000000000000000000000000000000000000000000081525081525090505f6040518061034001604052806040518060400160405280600581526020017f612e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f622e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f632e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f642e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f652e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f662e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f672e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f682e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f692e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6a2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6b2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6c2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6d2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6e2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6f2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f702e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f712e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f722e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f732e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f742e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f752e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f762e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f772e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f782e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f792e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f7a2e6769660000000000000000000000000000000000000000000000000000008152508152509050601a831015612633578183601a811061260d5761260c613f77565b5b602002015193508083601a811061262757612626613f77565b5b602002015194506126a4565b6040518060400160405280600181526020017f5a0000000000000000000000000000000000000000000000000000000000000081525093506040518060400160405280600581526020017f7a2e67696600000000000000000000000000000000000000000000000000000081525094505b5f6126ae89612f19565b6040516020016126be91906142eb565b6040516020818303038152906040526040516020016126dd91906143f2565b604051602081830303815290604052600c876040516020016127009291906141fe565b604051602081830303815290604052604051602001612720929190614413565b60405160208183030381529060405290505f8560405160200161274391906144a6565b60405160208183030381529060405290505f6040518060400160405280600481526020017f227d5d7d00000000000000000000000000000000000000000000000000000000815250905082826040516020016127a0929190614413565b604051602081830303815290604052816040516020016127c1929190614413565b6040516020818303038152906040526040516020016127e091906144ed565b60405160208183030381529060405299505050505050505050505b919050565b600d805461280d90613c7b565b80601f016020809104026020016040519081016040528092919081815260200182805461283990613c7b565b80156128845780601f1061285b57610100808354040283529160200191612884565b820191905f5260205f20905b81548152906001019060200180831161286757829003601f168201915b505050505081565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612930576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600d908161293f9190613e48565b5050565b6007602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b600c805461297a90613c7b565b80601f01602080910402602001604051908101604052809291908181526020018280546129a690613c7b565b80156129f15780601f106129c8576101008083540402835291602001916129f1565b820191905f5260205f20905b8154815290600101906020018083116129d457829003601f168201915b505050505081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612a7d576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612ae2576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b5f7f0000000000000000000000000000000000000000000000000000000000000000600a612bac9190614641565b905090565b5f80612bbb612b7e565b90505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508460045f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254612c8b9190613f44565b925050819055508460045f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550600b5f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16612daf575f8360045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054612d74919061468b565b8484612d80919061468b565b612d8a9190613f44565b90505f5b81811015612dac57612d9f89612fe3565b8080600101915050612d8e565b50505b600b5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16612e82575f8382612e0a919061468b565b8460045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054612e53919061468b565b612e5d9190613f44565b90505f5b81811015612e7f57612e7288613228565b8080600101915050612e61565b50505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e03148787604051612edf9190613816565b60405180910390a3600193505050509392505050565b8160019081612f049190613e48565b508060029081612f149190613e48565b505050565b60605f6001612f27846134aa565b0190505f8167ffffffffffffffff811115612f4557612f44613837565b5b6040519080825280601f01601f191660200182016040528015612f775781602001600182028036833780820191505090505b5090505f82602001820190505b600115612fd8578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8581612fcd57612fcc614268565b5b0494505f8503612f84575b819350505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603613048576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f60095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490506130d39190613f44565b815481106130e4576130e3613f77565b5b905f5260205f200154905060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080548061313c5761313b613fa4565b5b600190038181905f5260205f20015f90559055600a5f8281526020019081526020015f205f905560085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055805f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361328d576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60035f81548092919060010191905055505f60035490505f73ffffffffffffffffffffffffffffffffffffffff1660085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614613339576040517f23369fa600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490506134369190613f44565b600a5f8381526020019081526020015f2081905550808273ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310613506577a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083816134fc576134fb614268565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310613543576d04ee2d6d415b85acef8100000000838161353957613538614268565b5b0492506020810190505b662386f26fc10000831061357257662386f26fc10000838161356857613567614268565b5b0492506010810190505b6305f5e100831061359b576305f5e100838161359157613590614268565b5b0492506008810190505b61271083106135c05761271083816135b6576135b5614268565b5b0492506004810190505b606483106135e357606483816135d9576135d8614268565b5b0492506002810190505b600a83106135f2576001810190505b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015613632578082015181840152602081019050613617565b5f8484015250505050565b5f601f19601f8301169050919050565b5f613657826135fb565b6136618185613605565b9350613671818560208601613615565b61367a8161363d565b840191505092915050565b5f6020820190508181035f83015261369d818461364d565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f819050919050565b6136c8816136b6565b81146136d2575f80fd5b50565b5f813590506136e3816136bf565b92915050565b5f602082840312156136fe576136fd6136ae565b5b5f61370b848285016136d5565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61373d82613714565b9050919050565b61374d81613733565b82525050565b5f6020820190506137665f830184613744565b92915050565b61377581613733565b811461377f575f80fd5b50565b5f813590506137908161376c565b92915050565b5f80604083850312156137ac576137ab6136ae565b5b5f6137b985828601613782565b92505060206137ca858286016136d5565b9150509250929050565b5f8115159050919050565b6137e8816137d4565b82525050565b5f6020820190506138015f8301846137df565b92915050565b613810816136b6565b82525050565b5f6020820190506138295f830184613807565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61386d8261363d565b810181811067ffffffffffffffff8211171561388c5761388b613837565b5b80604052505050565b5f61389e6136a5565b90506138aa8282613864565b919050565b5f67ffffffffffffffff8211156138c9576138c8613837565b5b6138d28261363d565b9050602081019050919050565b828183375f83830152505050565b5f6138ff6138fa846138af565b613895565b90508281526020810184848401111561391b5761391a613833565b5b6139268482856138df565b509392505050565b5f82601f8301126139425761394161382f565b5b81356139528482602086016138ed565b91505092915050565b5f602082840312156139705761396f6136ae565b5b5f82013567ffffffffffffffff81111561398d5761398c6136b2565b5b6139998482850161392e565b91505092915050565b5f805f606084860312156139b9576139b86136ae565b5b5f6139c686828701613782565b93505060206139d786828701613782565b92505060406139e8868287016136d5565b9150509250925092565b5f60ff82169050919050565b613a07816139f2565b82525050565b5f602082019050613a205f8301846139fe565b92915050565b5f8060408385031215613a3c57613a3b6136ae565b5b5f83013567ffffffffffffffff811115613a5957613a586136b2565b5b613a658582860161392e565b925050602083013567ffffffffffffffff811115613a8657613a856136b2565b5b613a928582860161392e565b9150509250929050565b613aa5816137d4565b8114613aaf575f80fd5b50565b5f81359050613ac081613a9c565b92915050565b5f8060408385031215613adc57613adb6136ae565b5b5f613ae985828601613782565b9250506020613afa85828601613ab2565b9150509250929050565b5f60208284031215613b1957613b186136ae565b5b5f613b2684828501613782565b91505092915050565b5f80fd5b5f80fd5b5f8083601f840112613b4c57613b4b61382f565b5b8235905067ffffffffffffffff811115613b6957613b68613b2f565b5b602083019150836001820283011115613b8557613b84613b33565b5b9250929050565b5f805f805f60808688031215613ba557613ba46136ae565b5b5f613bb288828901613782565b9550506020613bc388828901613782565b9450506040613bd4888289016136d5565b935050606086013567ffffffffffffffff811115613bf557613bf46136b2565b5b613c0188828901613b37565b92509250509295509295909350565b5f8060408385031215613c2657613c256136ae565b5b5f613c3385828601613782565b9250506020613c4485828601613782565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680613c9257607f821691505b602082108103613ca557613ca4613c4e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302613d077fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82613ccc565b613d118683613ccc565b95508019841693508086168417925050509392505050565b5f819050919050565b5f613d4c613d47613d42846136b6565b613d29565b6136b6565b9050919050565b5f819050919050565b613d6583613d32565b613d79613d7182613d53565b848454613cd8565b825550505050565b5f90565b613d8d613d81565b613d98818484613d5c565b505050565b5b81811015613dbb57613db05f82613d85565b600181019050613d9e565b5050565b601f821115613e0057613dd181613cab565b613dda84613cbd565b81016020851015613de9578190505b613dfd613df585613cbd565b830182613d9d565b50505b505050565b5f82821c905092915050565b5f613e205f1984600802613e05565b1980831691505092915050565b5f613e388383613e11565b9150826002028217905092915050565b613e51826135fb565b67ffffffffffffffff811115613e6a57613e69613837565b5b613e748254613c7b565b613e7f828285613dbf565b5f60209050601f831160018114613eb0575f8415613e9e578287015190505b613ea88582613e2d565b865550613f0f565b601f198416613ebe86613cab565b5f5b82811015613ee557848901518255600182019150602085019450602081019050613ec0565b86831015613f025784890151613efe601f891682613e11565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f613f4e826136b6565b9150613f59836136b6565b9250828203905081811115613f7157613f70613f17565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b5f82825260208201905092915050565b50565b5f613fef5f83613fd1565b9150613ffa82613fe1565b5f82019050919050565b5f6080820190506140175f830186613744565b6140246020830185613744565b6140316040830184613807565b818103606083015261404281613fe4565b9050949350505050565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6140808161404c565b811461408a575f80fd5b50565b5f8151905061409b81614077565b92915050565b5f602082840312156140b6576140b56136ae565b5b5f6140c38482850161408d565b91505092915050565b5f6140d78385613fd1565b93506140e48385846138df565b6140ed8361363d565b840190509392505050565b5f60808201905061410b5f830188613744565b6141186020830187613744565b6141256040830186613807565b81810360608301526141388184866140cc565b90509695505050505050565b5f81905092915050565b5f815461415a81613c7b565b6141648186614144565b9450600182165f811461417e5760018114614193576141c5565b60ff19831686528115158202860193506141c5565b61419c85613cab565b5f5b838110156141bd5781548189015260018201915060208101905061419e565b838801955050505b50505092915050565b5f6141d8826135fb565b6141e28185614144565b93506141f2818560208601613615565b80840191505092915050565b5f614209828561414e565b915061421582846141ce565b91508190509392505050565b5f819050919050565b61423b614236826136b6565b614221565b82525050565b5f61424c828461422a565b60208201915081905092915050565b5f61ffff82169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61429f8261425b565b91506142aa8361425b565b9250826142ba576142b9614268565b5b828204905092915050565b7f7b226e616d65223a2022416c7068616265742023000000000000000000000000815250565b5f6142f5826142c5565b60148201915061430582846141ce565b915081905092915050565b7f222c226465736372697074696f6e223a224120636f6c6c656374696f6e206f665f8201527f2031302c303030207265706c6963616e747320656e61626c656420627920455260208201527f433430342c20616e206578706572696d656e74616c20746f6b656e207374616e60408201527f646172642e222c2265787465726e616c5f75726c223a2268747470733a2f2f3460608201527f3034616c7068616265742e78797a222c22696d616765223a2200000000000000608082015250565b5f6143dc609983614144565b91506143e782614310565b609982019050919050565b5f6143fd82846141ce565b9150614408826143d0565b915081905092915050565b5f61441e82856141ce565b915061442a82846141ce565b91508190509392505050565b7f222c2261747472696275746573223a5b7b2274726169745f74797065223a224c5f8201527f6574746572222c2276616c7565223a2200000000000000000000000000000000602082015250565b5f614490603083614144565b915061449b82614436565b603082019050919050565b5f6144b082614484565b91506144bc82846141ce565b915081905092915050565b7f646174613a6170706c69636174696f6e2f6a736f6e3b757466382c0000000000815250565b5f6144f7826144c7565b601b8201915061450782846141ce565b915081905092915050565b5f8160011c9050919050565b5f808291508390505b60018511156145675780860481111561454357614542613f17565b5b60018516156145525780820291505b808102905061456085614512565b9450614527565b94509492505050565b5f8261457f576001905061463a565b8161458c575f905061463a565b81600181146145a257600281146145ac576145db565b600191505061463a565b60ff8411156145be576145bd613f17565b5b8360020a9150848211156145d5576145d4613f17565b5b5061463a565b5060208310610133831016604e8410600b84101617156146105782820a90508381111561460b5761460a613f17565b5b61463a565b61461d848484600161451e565b9250905081840481111561463457614633613f17565b5b81810290505b9392505050565b5f61464b826136b6565b9150614656836139f2565b92506146837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484614570565b905092915050565b5f614695826136b6565b91506146a0836136b6565b9250826146b0576146af614268565b5b82820490509291505056fea264697066735822122087af6265b0b957b82efa28eccd974a7ec491374fb40ce4d822ad55726f8e09e264736f6c63430008180033000000000000000000000000071d9fe61ce306aef04b7889780f889f444d7bf7

0x608060405234801561000f575f80fd5b50600436106101a7575f3560e01c806370a08231116100f7578063c87b56dd11610095578063e0df5b6f1161006f578063e0df5b6f146104cb578063e985e9c5146104e7578063f28ca1dd14610517578063f2fde38b14610535576101a7565b8063c87b56dd1461044d578063d547cfb71461047d578063dd62ed3e1461049b576101a7565b80639b19251a116100d15780639b19251a146103b5578063a22cb465146103e5578063a9059cbb14610401578063b88d4fde14610431576101a7565b806370a08231146103495780638da5cb5b1461037957806395d89b4114610397576101a7565b80632b968958116101645780634f02c4201161013e5780634f02c420146102c3578063504334c2146102e157806353d6fd59146102fd5780636352211e14610319576101a7565b80632b9689581461027f578063313ce5671461028957806342842e0e146102a7576101a7565b806306fdde03146101ab578063081812fc146101c9578063095ea7b3146101f957806318160ddd1461022957806318d217c31461024757806323b872dd14610263575b5f80fd5b6101b3610551565b6040516101c09190613685565b60405180910390f35b6101e360048036038101906101de91906136e9565b6105dd565b6040516101f09190613753565b60405180910390f35b610213600480360381019061020e9190613796565b61060d565b60405161022091906137ee565b60405180910390f35b6102316108f4565b60405161023e9190613816565b60405180910390f35b610261600480360381019061025c919061395b565b610918565b005b61027d600480360381019061027891906139a2565b6109af565b005b6102876111a6565b005b6102916112c5565b60405161029e9190613a0d565b60405180910390f35b6102c160048036038101906102bc91906139a2565b6112e9565b005b6102cb611418565b6040516102d89190613816565b60405180910390f35b6102fb60048036038101906102f69190613a26565b61141e565b005b61031760048036038101906103129190613ac6565b6114b0565b005b610333600480360381019061032e91906136e9565b61158c565b6040516103409190613753565b60405180910390f35b610363600480360381019061035e9190613b04565b61162a565b6040516103709190613816565b60405180910390f35b61038161163f565b60405161038e9190613753565b60405180910390f35b61039f611662565b6040516103ac9190613685565b60405180910390f35b6103cf60048036038101906103ca9190613b04565b6116ee565b6040516103dc91906137ee565b60405180910390f35b6103ff60048036038101906103fa9190613ac6565b61170b565b005b61041b60048036038101906104169190613796565b611803565b60405161042891906137ee565b60405180910390f35b61044b60048036038101906104469190613b8c565b611817565b005b610467600480360381019061046291906136e9565b61194c565b6040516104749190613685565b60405180910390f35b610485612800565b6040516104929190613685565b60405180910390f35b6104b560048036038101906104b09190613c10565b61288c565b6040516104c29190613816565b60405180910390f35b6104e560048036038101906104e0919061395b565b6128ac565b005b61050160048036038101906104fc9190613c10565b612943565b60405161050e91906137ee565b60405180910390f35b61051f61296d565b60405161052c9190613685565b60405180910390f35b61054f600480360381019061054a9190613b04565b6129f9565b005b6001805461055e90613c7b565b80601f016020809104026020016040519081016040528092919081815260200182805461058a90613c7b565b80156105d55780601f106105ac576101008083540402835291602001916105d5565b820191905f5260205f20905b8154815290600101906020018083116105b857829003601f168201915b505050505081565b6006602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f600354821115801561061f57505f82115b15610807575f60085f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610716575060075f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b1561074d576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8360065f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040516107f99190613816565b60405180910390a3506108ea565b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516108e19190613816565b60405180910390a35b6001905092915050565b7f00000000000000000000000000000000000000000000021e19e0c9bab240000081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461099c576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600c90816109ab9190613e48565b5050565b60035481116110675760085f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610a4d576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ab2576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610b70575060075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b8015610bd8575060065f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610c0f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b610c17612b7e565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c629190613f44565b92505081905550610c71612b7e565b60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f60095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610dc79190613f44565b81548110610dd857610dd7613f77565b5b905f5260205f20015490508060095f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600a5f8581526020019081526020015f205481548110610e4457610e43613f77565b5b905f5260205f20018190555060095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805480610e9d57610e9c613fa4565b5b600190038181905f5260205f20015f90559055600a5f8381526020019081526020015f2054600a5f8381526020019081526020015f208190555060095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2082908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080549050610f859190613f44565b600a5f8481526020019081526020015f2081905550818373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a48273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e03148761104c612b7e565b6040516110599190613816565b60405180910390a3506111a1565b5f60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146111935781816111169190613f44565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b61119e848484612bb1565b50505b505050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461122a576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3565b7f000000000000000000000000000000000000000000000000000000000000001281565b6112f48383836109af565b5f8273ffffffffffffffffffffffffffffffffffffffff163b141580156113dc575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168273ffffffffffffffffffffffffffffffffffffffff1663150b7a023386856040518463ffffffff1660e01b815260040161137a93929190614004565b6020604051808303815f875af1158015611396573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ba91906140a1565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611413576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60035481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114a2576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6114ac8282612ef5565b5050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611534576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600b5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b5f60085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611625576040517fc5723b5100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b919050565b6004602052805f5260405f205f915090505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6002805461166f90613c7b565b80601f016020809104026020016040519081016040528092919081815260200182805461169b90613c7b565b80156116e65780601f106116bd576101008083540402835291602001916116e6565b820191905f5260205f20905b8154815290600101906020018083116116c957829003601f168201915b505050505081565b600b602052805f5260405f205f915054906101000a900460ff1681565b8060075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516117f791906137ee565b60405180910390a35050565b5f61180f338484612bb1565b905092915050565b6118228585856109af565b5f8473ffffffffffffffffffffffffffffffffffffffff163b1415801561190e575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663150b7a0233888787876040518663ffffffff1660e01b81526004016118ac9594939291906140f8565b6020604051808303815f875af11580156118c8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906118ec91906140a1565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614155b15611945576040517f3da6393100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050505050565b60605f600d805461195c90613c7b565b9050111561199657600d61196f83612f19565b6040516020016119809291906141fe565b60405160208183030381529060405290506127fb565b5f826040516020016119a89190614241565b6040516020818303038152906040528051906020012060f01c90506060805f6109d8846119d59190614295565b61ffff1690505f6040518061034001604052806040518060400160405280600181526020017f410000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f420000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f430000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f440000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f450000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f460000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f470000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f480000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f490000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4a0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4b0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4c0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4d0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4e0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f4f0000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f500000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f510000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f520000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f530000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f540000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f550000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f560000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f570000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f580000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f590000000000000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600181526020017f5a0000000000000000000000000000000000000000000000000000000000000081525081525090505f6040518061034001604052806040518060400160405280600581526020017f612e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f622e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f632e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f642e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f652e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f662e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f672e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f682e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f692e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6a2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6b2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6c2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6d2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6e2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f6f2e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f702e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f712e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f722e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f732e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f742e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f752e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f762e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f772e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f782e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f792e67696600000000000000000000000000000000000000000000000000000081525081526020016040518060400160405280600581526020017f7a2e6769660000000000000000000000000000000000000000000000000000008152508152509050601a831015612633578183601a811061260d5761260c613f77565b5b602002015193508083601a811061262757612626613f77565b5b602002015194506126a4565b6040518060400160405280600181526020017f5a0000000000000000000000000000000000000000000000000000000000000081525093506040518060400160405280600581526020017f7a2e67696600000000000000000000000000000000000000000000000000000081525094505b5f6126ae89612f19565b6040516020016126be91906142eb565b6040516020818303038152906040526040516020016126dd91906143f2565b604051602081830303815290604052600c876040516020016127009291906141fe565b604051602081830303815290604052604051602001612720929190614413565b60405160208183030381529060405290505f8560405160200161274391906144a6565b60405160208183030381529060405290505f6040518060400160405280600481526020017f227d5d7d00000000000000000000000000000000000000000000000000000000815250905082826040516020016127a0929190614413565b604051602081830303815290604052816040516020016127c1929190614413565b6040516020818303038152906040526040516020016127e091906144ed565b60405160208183030381529060405299505050505050505050505b919050565b600d805461280d90613c7b565b80601f016020809104026020016040519081016040528092919081815260200182805461283990613c7b565b80156128845780601f1061285b57610100808354040283529160200191612884565b820191905f5260205f20905b81548152906001019060200180831161286757829003601f168201915b505050505081565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612930576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b80600d908161293f9190613e48565b5050565b6007602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b600c805461297a90613c7b565b80601f01602080910402602001604051908101604052809291908181526020018280546129a690613c7b565b80156129f15780601f106129c8576101008083540402835291602001916129f1565b820191905f5260205f20905b8154815290600101906020018083116129d457829003601f168201915b505050505081565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612a7d576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612ae2576040517f49e27cff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b5f7f0000000000000000000000000000000000000000000000000000000000000012600a612bac9190614641565b905090565b5f80612bbb612b7e565b90505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508460045f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254612c8b9190613f44565b925050819055508460045f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550600b5f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16612daf575f8360045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054612d74919061468b565b8484612d80919061468b565b612d8a9190613f44565b90505f5b81811015612dac57612d9f89612fe3565b8080600101915050612d8e565b50505b600b5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16612e82575f8382612e0a919061468b565b8460045f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054612e53919061468b565b612e5d9190613f44565b90505f5b81811015612e7f57612e7288613228565b8080600101915050612e61565b50505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fe59fdd36d0d223c0c7d996db7ad796880f45e1936cb0bb7ac102e7082e03148787604051612edf9190613816565b60405180910390a3600193505050509392505050565b8160019081612f049190613e48565b508060029081612f149190613e48565b505050565b60605f6001612f27846134aa565b0190505f8167ffffffffffffffff811115612f4557612f44613837565b5b6040519080825280601f01601f191660200182016040528015612f775781602001600182028036833780820191505090505b5090505f82602001820190505b600115612fd8578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8581612fcd57612fcc614268565b5b0494505f8503612f84575b819350505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603613048576040517fddb5de5e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f60095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20600160095f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490506130d39190613f44565b815481106130e4576130e3613f77565b5b905f5260205f200154905060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080548061313c5761313b613fa4565b5b600190038181905f5260205f20015f90559055600a5f8281526020019081526020015f205f905560085f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560065f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055805f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361328d576040517f9c8d2cd200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60035f81548092919060010191905055505f60035490505f73ffffffffffffffffffffffffffffffffffffffff1660085f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614613339576040517f23369fa600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8160085f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081908060018154018082558091505060019003905f5260205f20015f9091909190915055600160095f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20805490506134369190613f44565b600a5f8381526020019081526020015f2081905550808273ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310613506577a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083816134fc576134fb614268565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310613543576d04ee2d6d415b85acef8100000000838161353957613538614268565b5b0492506020810190505b662386f26fc10000831061357257662386f26fc10000838161356857613567614268565b5b0492506010810190505b6305f5e100831061359b576305f5e100838161359157613590614268565b5b0492506008810190505b61271083106135c05761271083816135b6576135b5614268565b5b0492506004810190505b606483106135e357606483816135d9576135d8614268565b5b0492506002810190505b600a83106135f2576001810190505b80915050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015613632578082015181840152602081019050613617565b5f8484015250505050565b5f601f19601f8301169050919050565b5f613657826135fb565b6136618185613605565b9350613671818560208601613615565b61367a8161363d565b840191505092915050565b5f6020820190508181035f83015261369d818461364d565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f819050919050565b6136c8816136b6565b81146136d2575f80fd5b50565b5f813590506136e3816136bf565b92915050565b5f602082840312156136fe576136fd6136ae565b5b5f61370b848285016136d5565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61373d82613714565b9050919050565b61374d81613733565b82525050565b5f6020820190506137665f830184613744565b92915050565b61377581613733565b811461377f575f80fd5b50565b5f813590506137908161376c565b92915050565b5f80604083850312156137ac576137ab6136ae565b5b5f6137b985828601613782565b92505060206137ca858286016136d5565b9150509250929050565b5f8115159050919050565b6137e8816137d4565b82525050565b5f6020820190506138015f8301846137df565b92915050565b613810816136b6565b82525050565b5f6020820190506138295f830184613807565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61386d8261363d565b810181811067ffffffffffffffff8211171561388c5761388b613837565b5b80604052505050565b5f61389e6136a5565b90506138aa8282613864565b919050565b5f67ffffffffffffffff8211156138c9576138c8613837565b5b6138d28261363d565b9050602081019050919050565b828183375f83830152505050565b5f6138ff6138fa846138af565b613895565b90508281526020810184848401111561391b5761391a613833565b5b6139268482856138df565b509392505050565b5f82601f8301126139425761394161382f565b5b81356139528482602086016138ed565b91505092915050565b5f602082840312156139705761396f6136ae565b5b5f82013567ffffffffffffffff81111561398d5761398c6136b2565b5b6139998482850161392e565b91505092915050565b5f805f606084860312156139b9576139b86136ae565b5b5f6139c686828701613782565b93505060206139d786828701613782565b92505060406139e8868287016136d5565b9150509250925092565b5f60ff82169050919050565b613a07816139f2565b82525050565b5f602082019050613a205f8301846139fe565b92915050565b5f8060408385031215613a3c57613a3b6136ae565b5b5f83013567ffffffffffffffff811115613a5957613a586136b2565b5b613a658582860161392e565b925050602083013567ffffffffffffffff811115613a8657613a856136b2565b5b613a928582860161392e565b9150509250929050565b613aa5816137d4565b8114613aaf575f80fd5b50565b5f81359050613ac081613a9c565b92915050565b5f8060408385031215613adc57613adb6136ae565b5b5f613ae985828601613782565b9250506020613afa85828601613ab2565b9150509250929050565b5f60208284031215613b1957613b186136ae565b5b5f613b2684828501613782565b91505092915050565b5f80fd5b5f80fd5b5f8083601f840112613b4c57613b4b61382f565b5b8235905067ffffffffffffffff811115613b6957613b68613b2f565b5b602083019150836001820283011115613b8557613b84613b33565b5b9250929050565b5f805f805f60808688031215613ba557613ba46136ae565b5b5f613bb288828901613782565b9550506020613bc388828901613782565b9450506040613bd4888289016136d5565b935050606086013567ffffffffffffffff811115613bf557613bf46136b2565b5b613c0188828901613b37565b92509250509295509295909350565b5f8060408385031215613c2657613c256136ae565b5b5f613c3385828601613782565b9250506020613c4485828601613782565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680613c9257607f821691505b602082108103613ca557613ca4613c4e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302613d077fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82613ccc565b613d118683613ccc565b95508019841693508086168417925050509392505050565b5f819050919050565b5f613d4c613d47613d42846136b6565b613d29565b6136b6565b9050919050565b5f819050919050565b613d6583613d32565b613d79613d7182613d53565b848454613cd8565b825550505050565b5f90565b613d8d613d81565b613d98818484613d5c565b505050565b5b81811015613dbb57613db05f82613d85565b600181019050613d9e565b5050565b601f821115613e0057613dd181613cab565b613dda84613cbd565b81016020851015613de9578190505b613dfd613df585613cbd565b830182613d9d565b50505b505050565b5f82821c905092915050565b5f613e205f1984600802613e05565b1980831691505092915050565b5f613e388383613e11565b9150826002028217905092915050565b613e51826135fb565b67ffffffffffffffff811115613e6a57613e69613837565b5b613e748254613c7b565b613e7f828285613dbf565b5f60209050601f831160018114613eb0575f8415613e9e578287015190505b613ea88582613e2d565b865550613f0f565b601f198416613ebe86613cab565b5f5b82811015613ee557848901518255600182019150602085019450602081019050613ec0565b86831015613f025784890151613efe601f891682613e11565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f613f4e826136b6565b9150613f59836136b6565b9250828203905081811115613f7157613f70613f17565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b5f82825260208201905092915050565b50565b5f613fef5f83613fd1565b9150613ffa82613fe1565b5f82019050919050565b5f6080820190506140175f830186613744565b6140246020830185613744565b6140316040830184613807565b818103606083015261404281613fe4565b9050949350505050565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6140808161404c565b811461408a575f80fd5b50565b5f8151905061409b81614077565b92915050565b5f602082840312156140b6576140b56136ae565b5b5f6140c38482850161408d565b91505092915050565b5f6140d78385613fd1565b93506140e48385846138df565b6140ed8361363d565b840190509392505050565b5f60808201905061410b5f830188613744565b6141186020830187613744565b6141256040830186613807565b81810360608301526141388184866140cc565b90509695505050505050565b5f81905092915050565b5f815461415a81613c7b565b6141648186614144565b9450600182165f811461417e5760018114614193576141c5565b60ff19831686528115158202860193506141c5565b61419c85613cab565b5f5b838110156141bd5781548189015260018201915060208101905061419e565b838801955050505b50505092915050565b5f6141d8826135fb565b6141e28185614144565b93506141f2818560208601613615565b80840191505092915050565b5f614209828561414e565b915061421582846141ce565b91508190509392505050565b5f819050919050565b61423b614236826136b6565b614221565b82525050565b5f61424c828461422a565b60208201915081905092915050565b5f61ffff82169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61429f8261425b565b91506142aa8361425b565b9250826142ba576142b9614268565b5b828204905092915050565b7f7b226e616d65223a2022416c7068616265742023000000000000000000000000815250565b5f6142f5826142c5565b60148201915061430582846141ce565b915081905092915050565b7f222c226465736372697074696f6e223a224120636f6c6c656374696f6e206f665f8201527f2031302c303030207265706c6963616e747320656e61626c656420627920455260208201527f433430342c20616e206578706572696d656e74616c20746f6b656e207374616e60408201527f646172642e222c2265787465726e616c5f75726c223a2268747470733a2f2f3460608201527f3034616c7068616265742e78797a222c22696d616765223a2200000000000000608082015250565b5f6143dc609983614144565b91506143e782614310565b609982019050919050565b5f6143fd82846141ce565b9150614408826143d0565b915081905092915050565b5f61441e82856141ce565b915061442a82846141ce565b91508190509392505050565b7f222c2261747472696275746573223a5b7b2274726169745f74797065223a224c5f8201527f6574746572222c2276616c7565223a2200000000000000000000000000000000602082015250565b5f614490603083614144565b915061449b82614436565b603082019050919050565b5f6144b082614484565b91506144bc82846141ce565b915081905092915050565b7f646174613a6170706c69636174696f6e2f6a736f6e3b757466382c0000000000815250565b5f6144f7826144c7565b601b8201915061450782846141ce565b915081905092915050565b5f8160011c9050919050565b5f808291508390505b60018511156145675780860481111561454357614542613f17565b5b60018516156145525780820291505b808102905061456085614512565b9450614527565b94509492505050565b5f8261457f576001905061463a565b8161458c575f905061463a565b81600181146145a257600281146145ac576145db565b600191505061463a565b60ff8411156145be576145bd613f17565b5b8360020a9150848211156145d5576145d4613f17565b5b5061463a565b5060208310610133831016604e8410600b84101617156146105782820a90508381111561460b5761460a613f17565b5b61463a565b61461d848484600161451e565b9250905081840481111561463457614633613f17565b5b81810290505b9392505050565b5f61464b826136b6565b9150614656836139f2565b92506146837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484614570565b905092915050565b5f614695826136b6565b91506146a0836136b6565b9250826146b0576146af614268565b5b82820490509291505056fea264697066735822122087af6265b0b957b82efa28eccd974a7ec491374fb40ce4d822ad55726f8e09e264736f6c63430008180033

000000000000000000000000071d9fe61ce306aef04b7889780f889f444d7bf7

-----Decoded View---------------
Arg [0] : _owner (address): 0x071D9fe61cE306AEF04b7889780f889f444D7BF7

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000071d9fe61ce306aef04b7889780f889f444d7bf7

31530:3985:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2804:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3515:46;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5346:642;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3040:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31781:98;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6395:1716;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;801:151;;;:::i;:::-;;2940:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8407:405;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3175:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32001:156;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4675:111;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4858:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3281:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;242:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2858;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4126:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6039:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8170:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8907:437;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;32165:3347;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31593:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3395:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31887:106;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3626:68;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31565:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;574:219;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2804:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3515:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;5346:642::-;5449:4;5484:6;;5470:10;:20;;:38;;;;;5507:1;5494:10;:14;5470:38;5466:491;;;5525:13;5541:8;:20;5550:10;5541:20;;;;;;;;;;;;;;;;;;;;;5525:36;;5596:5;5582:19;;:10;:19;;;;:59;;;;;5606:16;:23;5623:5;5606:23;;;;;;;;;;;;;;;:35;5630:10;5606:35;;;;;;;;;;;;;;;;;;;;;;;;;5605:36;5582:59;5578:121;;;5669:14;;;;;;;;;;;;;;5578:121;5741:7;5715:11;:23;5727:10;5715:23;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;5786:7;5770:36;;5779:5;5770:36;;;5795:10;5770:36;;;;;;:::i;:::-;;;;;;;;5510:308;5466:491;;;5872:10;5839:9;:21;5849:10;5839:21;;;;;;;;;;;;;;;:30;5861:7;5839:30;;;;;;;;;;;;;;;:43;;;;5925:7;5904:41;;5913:10;5904:41;;;5934:10;5904:41;;;;;;:::i;:::-;;;;;;;;5466:491;5976:4;5969:11;;5346:642;;;;:::o;3040:36::-;;;:::o;31781:98::-;329:5;;;;;;;;;;315:19;;:10;:19;;;311:46;;343:14;;;;;;;;;;;;;;311:46;31863:8:::1;31853:7;:18;;;;;;:::i;:::-;;31781:98:::0;:::o;6395:1716::-;6541:6;;6527:10;:20;6523:1581;;6576:8;:20;6585:10;6576:20;;;;;;;;;;;;;;;;;;;;;6568:28;;:4;:28;;;6564:91;;6624:15;;;;;;;;;;;;;;6564:91;6689:1;6675:16;;:2;:16;;;6671:82;;6719:18;;;;;;;;;;;;;;6671:82;6805:4;6791:18;;:10;:18;;;;:74;;;;;6831:16;:22;6848:4;6831:22;;;;;;;;;;;;;;;:34;6854:10;6831:34;;;;;;;;;;;;;;;;;;;;;;;;;6830:35;6791:74;:132;;;;;6900:11;:23;6912:10;6900:23;;;;;;;;;;;;;;;;;;;;;6886:37;;:10;:37;;;;6791:132;6769:226;;;6965:14;;;;;;;;;;;;;;6769:226;7030:10;:8;:10::i;:::-;7011:9;:15;7021:4;7011:15;;;;;;;;;;;;;;;;:29;;;;;;;:::i;:::-;;;;;;;;7103:10;:8;:10::i;:::-;7086:9;:13;7096:2;7086:13;;;;;;;;;;;;;;;;:27;;;;;;;;;;;7168:2;7145:8;:20;7154:10;7145:20;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;7192:11;:23;7204:10;7192:23;;;;;;;;;;;;7185:30;;;;;;;;;;;7273:17;7293:6;:12;7300:4;7293:12;;;;;;;;;;;;;;;7328:1;7306:6;:12;7313:4;7306:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;7293:37;;;;;;;;:::i;:::-;;;;;;;;;;7273:57;;7385:9;7345:6;:12;7352:4;7345:12;;;;;;;;;;;;;;;7358:11;:23;7370:10;7358:23;;;;;;;;;;;;7345:37;;;;;;;;:::i;:::-;;;;;;;;;:49;;;;7429:6;:12;7436:4;7429:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7533:11;:23;7545:10;7533:23;;;;;;;;;;;;7508:11;:22;7520:9;7508:22;;;;;;;;;;;:48;;;;7610:6;:10;7617:2;7610:10;;;;;;;;;;;;;;;7626;7610:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7740:1;7720:6;:10;7727:2;7720:10;;;;;;;;;;;;;;;:17;;;;:21;;;;:::i;:::-;7694:11;:23;7706:10;7694:23;;;;;;;;;;;:47;;;;7782:10;7778:2;7763:30;;7772:4;7763:30;;;;;;;;;;;;7833:2;7813:35;;7827:4;7813:35;;;7837:10;:8;:10::i;:::-;7813:35;;;;;;:::i;:::-;;;;;;;;6549:1311;6523:1581;;;7881:15;7899:9;:15;7909:4;7899:15;;;;;;;;;;;;;;;:27;7915:10;7899:27;;;;;;;;;;;;;;;;7881:45;;7958:17;7947:7;:28;7943:101;;8034:10;8024:7;:20;;;;:::i;:::-;7994:9;:15;8004:4;7994:15;;;;;;;;;;;;;;;:27;8010:10;7994:27;;;;;;;;;;;;;;;:50;;;;7943:101;8061:31;8071:4;8077:2;8081:10;8061:9;:31::i;:::-;;7866:238;6523:1581;6395:1716;;;:::o;801:151::-;329:5;;;;;;;;;;315:19;;:10;:19;;;311:46;;343:14;;;;;;;;;;;;;;311:46;880:1:::1;864:5:::0;::::1;:18;;;;;;;;;;;;;;;;;;941:1;900:44;;921:10;900:44;;;;;;;;;;;;801:151::o:0;2940:31::-;;;:::o;8407:405::-;8531:26;8544:4;8550:2;8554;8531:12;:26::i;:::-;8606:1;8588:2;:14;;;:19;;:154;;;;;8702:40;;;8624:118;;;8639:2;8624:35;;;8660:10;8672:4;8678:2;8624:61;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:118;;;;;8588:154;8570:235;;;8776:17;;;;;;;;;;;;;;8570:235;8407:405;;;:::o;3175:21::-;;;;:::o;32001:156::-;329:5;;;;;;;;;;315:19;;:10;:19;;;311:46;;343:14;;;;;;;;;;;;;;311:46;32119:30:::1;32134:5;32141:7;32119:14;:30::i;:::-;32001:156:::0;;:::o;4675:111::-;329:5;;;;;;;;;;315:19;;:10;:19;;;311:46;;343:14;;;;;;;;;;;;;;311:46;4773:5:::1;4753:9;:17;4763:6;4753:17;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;4675:111:::0;;:::o;4858:193::-;4916:13;4950:8;:12;4959:2;4950:12;;;;;;;;;;;;;;;;;;;;;4942:20;;4996:1;4979:19;;:5;:19;;;4975:69;;5022:10;;;;;;;;;;;;;;4975:69;4858:193;;;:::o;3281:44::-;;;;;;;;;;;;;;;;;:::o;242:20::-;;;;;;;;;;;;:::o;2858:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4126:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;6039:207::-;6166:8;6125:16;:28;6142:10;6125:28;;;;;;;;;;;;;;;:38;6154:8;6125:38;;;;;;;;;;;;;;;;:49;;;;;;;;;;;;;;;;;;6219:8;6192:46;;6207:10;6192:46;;;6229:8;6192:46;;;;;;:::i;:::-;;;;;;;;6039:207;;:::o;8170:160::-;8265:4;8289:33;8299:10;8311:2;8315:6;8289:9;:33::i;:::-;8282:40;;8170:160;;;;:::o;8907:437::-;9061:26;9074:4;9080:2;9084;9061:12;:26::i;:::-;9136:1;9118:2;:14;;;:19;;:156;;;;;9234:40;;;9154:120;;;9169:2;9154:35;;;9190:10;9202:4;9208:2;9212:4;;9154:63;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:120;;;;;9118:156;9100:237;;;9308:17;;;;;;;;;;;;;;9100:237;8907:437;;;;;:::o;32165:3347::-;32225:13;32284:1;32261:12;32255:26;;;;;:::i;:::-;;;:30;32251:3254;;;32323:12;32337:20;32354:2;32337:16;:20::i;:::-;32309:49;;;;;;;;;:::i;:::-;;;;;;;;;;;;;32302:56;;;;32251:3254;32391:11;32446:2;32429:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;32419:31;;;;;;32405:47;;32391:61;;32467:19;32501:20;32616;32646:4;32639;:11;;;;:::i;:::-;32616:34;;;;32761:25;:615;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33391:24;:718;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34214:2;34199:12;:17;34195:353;;;34246:7;34254:12;34246:21;;;;;;;:::i;:::-;;;;;;34237:30;;34294:6;34301:12;34294:20;;;;;;;:::i;:::-;;;;;;34286:28;;34195:353;;;34433:12;;;;;;;;;;;;;;;;;;;34491:15;;;;;;;;;;;;;;;;;;;34195:353;34564:26;34699:20;34716:2;34699:16;:20::i;:::-;34661:59;;;;;;;;:::i;:::-;;;;;;;;;;;;;34625:292;;;;;;;;:::i;:::-;;;;;;;;;;;;;34950:7;34959:5;34936:29;;;;;;;;;:::i;:::-;;;;;;;;;;;;;34593:387;;;;;;;;;:::i;:::-;;;;;;;;;;;;;34564:416;;34995:27;35126:6;35025:122;;;;;;;;:::i;:::-;;;;;;;;;;;;;34995:152;;35162:28;:37;;;;;;;;;;;;;;;;;;;35382:12;35396:13;35368:42;;;;;;;;;:::i;:::-;;;;;;;;;;;;;35437:14;35328:146;;;;;;;;;:::i;:::-;;;;;;;;;;;;;35240:253;;;;;;;;:::i;:::-;;;;;;;;;;;;;35216:277;;;;;;;;;;;32165:3347;;;;:::o;31593:26::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3395:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;31887:106::-;329:5;;;;;;;;;;315:19;;:10;:19;;;311:46;;343:14;;;;;;;;;;;;;;311:46;31976:9:::1;31961:12;:24;;;;;;:::i;:::-;;31887:106:::0;:::o;3626:68::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;31565:21::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;574:219::-;329:5;;;;;;;;;;315:19;;:10;:19;;;311:46;;343:14;;;;;;;;;;;;;;311:46;675:1:::1;657:20;;:6;:20;;::::0;653:47:::1;;686:14;;;;;;;;;;;;;;653:47;721:6;713:5;::::0;:14:::1;;;;;;;;;;;;;;;;;;778:6;745:40;;766:10;745:40;;;;;;;;;;;;574:219:::0;:::o;10544:92::-;10587:7;10620:8;10614:2;:14;;;;:::i;:::-;10607:21;;10544:92;:::o;9412:1093::-;9525:4;9542:12;9557:10;:8;:10::i;:::-;9542:25;;9578:27;9608:9;:15;9618:4;9608:15;;;;;;;;;;;;;;;;9578:45;;9634:29;9666:9;:13;9676:2;9666:13;;;;;;;;;;;;;;;;9634:45;;9711:6;9692:9;:15;9702:4;9692:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;9772:6;9755:9;:13;9765:2;9755:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;9863:9;:15;9873:4;9863:15;;;;;;;;;;;;;;;;;;;;;;;;;9858:251;;9895:22;9987:4;9969:9;:15;9979:4;9969:15;;;;;;;;;;;;;;;;:22;;;;:::i;:::-;9943:4;9921:19;:26;;;;:::i;:::-;9920:72;;;;:::i;:::-;9895:97;;10012:9;10007:91;10031:14;10027:1;:18;10007:91;;;10071:11;10077:4;10071:5;:11::i;:::-;10047:3;;;;;;;10007:91;;;;9880:229;9858:251;10185:9;:13;10195:2;10185:13;;;;;;;;;;;;;;;;;;;;;;;;;10180:247;;10215:22;10307:4;10283:21;:28;;;;:::i;:::-;10257:4;10241:9;:13;10251:2;10241:13;;;;;;;;;;;;;;;;:20;;;;:::i;:::-;10240:72;;;;:::i;:::-;10215:97;;10332:9;10327:89;10351:14;10347:1;:18;10327:89;;;10391:9;10397:2;10391:5;:9::i;:::-;10367:3;;;;;;;10327:89;;;;10200:227;10180:247;10464:2;10444:31;;10458:4;10444:31;;;10468:6;10444:31;;;;;;:::i;:::-;;;;;;;;10493:4;10486:11;;;;;9412:1093;;;;;:::o;11507:160::-;11627:5;11620:4;:12;;;;;;:::i;:::-;;11652:7;11643:6;:16;;;;;;:::i;:::-;;11507:160;;:::o;28993:718::-;29049:13;29100:14;29137:1;29117:17;29128:5;29117:10;:17::i;:::-;:21;29100:38;;29153:20;29187:6;29176:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29153:41;;29209:11;29338:6;29334:2;29330:15;29322:6;29318:28;29311:35;;29375:290;29382:4;29375:290;;;29407:5;;;;;;;;29549:10;29544:2;29537:5;29533:14;29528:32;29523:3;29515:46;29607:2;29598:11;;;;;;:::i;:::-;;;;;29641:1;29632:5;:10;29375:290;29628:21;29375:290;29686:6;29679:13;;;;;28993:718;;;:::o;11126:373::-;11203:1;11187:18;;:4;:18;;;11183:73;;11229:15;;;;;;;;;;;;;;11183:73;11268:10;11281:6;:12;11288:4;11281:12;;;;;;;;;;;;;;;11316:1;11294:6;:12;11301:4;11294:12;;;;;;;;;;;;;;;:19;;;;:23;;;;:::i;:::-;11281:37;;;;;;;;:::i;:::-;;;;;;;;;;11268:50;;11329:6;:12;11336:4;11329:12;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11365:11;:15;11377:2;11365:15;;;;;;;;;;;11358:22;;;11398:8;:12;11407:2;11398:12;;;;;;;;;;;;11391:19;;;;;;;;;;;11428:11;:15;11440:2;11428:15;;;;;;;;;;;;11421:22;;;;;;;;;;;11488:2;11484:1;11461:30;;11470:4;11461:30;;;;;;;;;;;;11172:327;11126:373;:::o;10644:474::-;10717:1;10703:16;;:2;:16;;;10699:74;;10743:18;;;;;;;;;;;;;;10699:74;10810:6;;:8;;;;;;;;;;;;;10842:10;10855:6;;10842:19;;10902:1;10878:26;;:8;:12;10887:2;10878:12;;;;;;;;;;;;;;;;;;;;;:26;;;10874:81;;10928:15;;;;;;;;;;;;;;10874:81;10982:2;10967:8;:12;10976:2;10967:12;;;;;;;;;;;;:17;;;;;;;;;;;;;;;;;;10995:6;:10;11002:2;10995:10;;;;;;;;;;;;;;;11011:2;10995:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11063:1;11043:6;:10;11050:2;11043:10;;;;;;;;;;;;;;;:17;;;;:21;;;;:::i;:::-;11025:11;:15;11037:2;11025:15;;;;;;;;;;;:39;;;;11107:2;11103;11082:28;;11099:1;11082:28;;;;;;;;;;;;10688:430;10644:474;:::o;24276:948::-;24329:7;24349:14;24366:1;24349:18;;24416:8;24407:5;:17;24403:106;;24454:8;24445:17;;;;;;:::i;:::-;;;;;24491:2;24481:12;;;;24403:106;24536:8;24527:5;:17;24523:106;;24574:8;24565:17;;;;;;:::i;:::-;;;;;24611:2;24601:12;;;;24523:106;24656:8;24647:5;:17;24643:106;;24694:8;24685:17;;;;;;:::i;:::-;;;;;24731:2;24721:12;;;;24643:106;24776:7;24767:5;:16;24763:103;;24813:7;24804:16;;;;;;:::i;:::-;;;;;24849:1;24839:11;;;;24763:103;24893:7;24884:5;:16;24880:103;;24930:7;24921:16;;;;;;:::i;:::-;;;;;24966:1;24956:11;;;;24880:103;25010:7;25001:5;:16;24997:103;;25047:7;25038:16;;;;;;:::i;:::-;;;;;25083:1;25073:11;;;;24997:103;25127:7;25118:5;:16;25114:68;;25165:1;25155:11;;;;25114:68;25210:6;25203:13;;;24276: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:89::-;23595:7;23635:6;23628:5;23624:18;23613:29;;23559:89;;;:::o;23654:180::-;23702:77;23699:1;23692:88;23799:4;23796:1;23789:15;23823:4;23820:1;23813:15;23840:182;23879:1;23896:19;23913:1;23896:19;:::i;:::-;23891:24;;23929:19;23946:1;23929:19;:::i;:::-;23924:24;;23967:1;23957:35;;23972:18;;:::i;:::-;23957:35;24014:1;24011;24007:9;24002:14;;23840:182;;;;:::o;24028:242::-;24197:66;24192:3;24185:79;24028:242;:::o;24276:542::-;24499:3;24514:138;24648:3;24514:138;:::i;:::-;24677:2;24672:3;24668:12;24661:19;;24697:95;24788:3;24779:6;24697:95;:::i;:::-;24690:102;;24809:3;24802:10;;24276:542;;;;:::o;24824:555::-;24964:66;24960:1;24952:6;24948:14;24941:90;25065:34;25060:2;25052:6;25048:15;25041:59;25134:34;25129:2;25121:6;25117:15;25110:59;25203:66;25198:2;25190:6;25186:15;25179:91;25305:66;25299:3;25291:6;25287:16;25280:92;24824:555;:::o;25385:404::-;25545:3;25566:86;25648:3;25643;25566:86;:::i;:::-;25559:93;;25661;25750:3;25661:93;:::i;:::-;25779:3;25774;25770:13;25763:20;;25385:404;;;:::o;25795:541::-;26028:3;26050:95;26141:3;26132:6;26050:95;:::i;:::-;26043:102;;26162:148;26306:3;26162:148;:::i;:::-;26155:155;;26327:3;26320:10;;25795:541;;;;:::o;26342:435::-;26522:3;26544:95;26635:3;26626:6;26544:95;:::i;:::-;26537:102;;26656:95;26747:3;26738:6;26656:95;:::i;:::-;26649:102;;26768:3;26761:10;;26342:435;;;;;:::o;26783:315::-;26923:66;26919:1;26911:6;26907:14;26900:90;27024:66;27019:2;27011:6;27007:15;27000:91;26783:315;:::o;27104:402::-;27264:3;27285:85;27367:2;27362:3;27285:85;:::i;:::-;27278:92;;27379:93;27468:3;27379:93;:::i;:::-;27497:2;27492:3;27488:12;27481:19;;27104:402;;;:::o;27512:541::-;27745:3;27767:148;27911:3;27767:148;:::i;:::-;27760:155;;27932:95;28023:3;28014:6;27932:95;:::i;:::-;27925:102;;28044:3;28037:10;;27512:541;;;;:::o;28059:205::-;28228:29;28223:3;28216:42;28059:205;:::o;28270:542::-;28493:3;28508:138;28642:3;28508:138;:::i;:::-;28671:2;28666:3;28662:12;28655:19;;28691:95;28782:3;28773:6;28691:95;:::i;:::-;28684:102;;28803:3;28796:10;;28270:542;;;;:::o;28818:102::-;28860:8;28907:5;28904:1;28900:13;28879:34;;28818:102;;;:::o;28926:848::-;28987:5;28994:4;29018:6;29009:15;;29042:5;29033:14;;29056:712;29077:1;29067:8;29064:15;29056:712;;;29172:4;29167:3;29163:14;29157:4;29154:24;29151:50;;;29181:18;;:::i;:::-;29151:50;29231:1;29221:8;29217:16;29214:451;;;29646:4;29639:5;29635:16;29626:25;;29214:451;29696:4;29690;29686:15;29678:23;;29726:32;29749:8;29726:32;:::i;:::-;29714:44;;29056:712;;;28926:848;;;;;;;:::o;29780:1073::-;29834:5;30025:8;30015:40;;30046:1;30037:10;;30048:5;;30015:40;30074:4;30064:36;;30091:1;30082:10;;30093:5;;30064:36;30160:4;30208:1;30203:27;;;;30244:1;30239:191;;;;30153:277;;30203:27;30221:1;30212:10;;30223:5;;;30239:191;30284:3;30274:8;30271:17;30268:43;;;30291:18;;:::i;:::-;30268:43;30340:8;30337:1;30333:16;30324:25;;30375:3;30368:5;30365:14;30362:40;;;30382:18;;:::i;:::-;30362:40;30415:5;;;30153:277;;30539:2;30529:8;30526:16;30520:3;30514:4;30511:13;30507:36;30489:2;30479:8;30476:16;30471:2;30465:4;30462:12;30458:35;30442:111;30439:246;;;30595:8;30589:4;30585:19;30576:28;;30630:3;30623:5;30620:14;30617:40;;;30637:18;;:::i;:::-;30617:40;30670:5;;30439:246;30710:42;30748:3;30738:8;30732:4;30729:1;30710:42;:::i;:::-;30695:57;;;;30784:4;30779:3;30775:14;30768:5;30765:25;30762:51;;;30793:18;;:::i;:::-;30762:51;30842:4;30835:5;30831:16;30822:25;;29780:1073;;;;;;:::o;30859:281::-;30917:5;30941:23;30959:4;30941:23;:::i;:::-;30933:31;;30985:25;31001:8;30985:25;:::i;:::-;30973:37;;31029:104;31066:66;31056:8;31050:4;31029:104;:::i;:::-;31020:113;;30859:281;;;;:::o;31146:185::-;31186:1;31203:20;31221:1;31203:20;:::i;:::-;31198:25;;31237:20;31255:1;31237:20;:::i;:::-;31232:25;;31276:1;31266:35;;31281:18;;:::i;:::-;31266:35;31323:1;31320;31316:9;31311:14;;31146:185;;;;:::o

ipfs://87af6265b0b957b82efa28eccd974a7ec491374fb40ce4d822ad55726f8e09e2