Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘ ⌘
// SPDX-License-Identifier: AGPL-3.0-only
pragma solidity ^0.8.19;

import {SafeTransferLib} from "../lib/solady/src/utils/SafeTransferLib.sol";
import {MetadataReaderLib} from "../lib/solady/src/utils/MetadataReaderLib.sol";

/// @title Intents Engine (IE) on Ethereum (IETH)
/// @notice Simple helper contract for turning transactional intents into executable code.
/// @dev V1 simulates typical commands (sending and swapping tokens) and includes execution.
/// IE also has a workflow to verify the intent of ERC4337 account userOps against calldata.
/// Example commands include "send nani 100 dai" or "swap usdc for 1 eth" and such variants.
/// @author nani.eth (https://github.com/NaniDAO/ie)
/// @custom:version 2.0.0
contract IETH {
    /// ======================= LIBRARY USAGE ======================= ///

    /// @dev Token transfer library.
    using SafeTransferLib for address;

    /// @dev Token metadata reader library.
    using MetadataReaderLib for address;

    /// ======================= CUSTOM ERRORS ======================= ///

    /// @dev Bad math.
    error Overflow();

    /// @dev 0-liquidity.
    error InvalidSwap();

    /// @dev Invalid command.
    error InvalidSyntax();

    /// @dev Invalid out receiver.
    error InvalidReceiver();

    /// @dev Non-numeric character.
    error InvalidCharacter();

    /// @dev Insufficient swap output.
    error InsufficientSwap();

    /// @dev Invalid selector for spend.
    error InvalidSelector();

    /// =========================== EVENTS =========================== ///

    /// @dev Logs the setting of a token name.
    event NameSet(address token, string name);

    /// @dev Logs the setting of a swap pool pair on Uniswap V3.
    event PairSet(address token0, address token1, address pair);

    /// ========================== STRUCTS ========================== ///

    /// @dev The packed ERC4337 user operation (userOp) struct.
    struct PackedUserOperation {
        address sender;
        uint256 nonce;
        bytes initCode;
        bytes callData;
        bytes32 accountGasLimits;
        uint256 preVerificationGas;
        bytes32 gasFees;
        bytes paymasterAndData;
        bytes signature;
    }

    /// @dev The `swap()` command information struct.
    struct SwapInfo {
        bool ETHIn;
        bool ETHOut;
        address tokenIn;
        address tokenOut;
        uint256 amountIn;
    }

    /// @dev The `swap()` pool liquidity struct.
    struct SwapLiq {
        address pool;
        uint256 liq;
    }

    /// @dev The string start and end indices.
    struct StringPart {
        uint256 start;
        uint256 end;
    }

    /// =========================== ENUMS =========================== ///

    /// @dev `ENSAsciiNormalizer` rules.
    enum Rule {
        DISALLOWED,
        VALID
    }

    /// ========================= CONSTANTS ========================= ///

    /// @dev The governing DAO address.
    address internal constant DAO = 0xDa000000000000d2885F108500803dfBAaB2f2aA;

    /// @dev The conventional ERC7528 ETH address.
    address internal constant ETH = 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE;

    /// @dev The canonical wrapped ETH address.
    address internal constant WETH = 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2;

    /// @dev The popular wrapped BTC address.
    address internal constant WBTC = 0x2260FAC5E5542a773Aa44fBCfeDf7C193bc2C599;

    /// @dev The Circle USD stablecoin address.
    address internal constant USDC = 0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48;

    /// @dev The Tether USD stablecoin address.
    address internal constant USDT = 0xdAC17F958D2ee523a2206206994597C13D831ec7;

    /// @dev The Maker DAO USD stablecoin address.
    address internal constant DAI = 0x6B175474E89094C44Da98b954EedeAC495271d0F;

    /// @dev The Lido Wrapped Staked ETH token address.
    address internal constant WSTETH = 0x7f39C581F595B53c5cb19bD0b3f8dA6c935E2Ca0;

    /// @dev The Rocket Pool Staked ETH token address.
    address internal constant RETH = 0xae78736Cd615f374D3085123A210448E74Fc6393;

    /// @dev The address of the Uniswap V3 Factory.
    address internal constant UNISWAP_V3_FACTORY = 0x1F98431c8aD98523631AE4a59f267346ea31F984;

    /// @dev The Uniswap V3 Pool `initcodehash`.
    bytes32 internal constant UNISWAP_V3_POOL_INIT_CODE_HASH =
        0xe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b54;

    /// @dev The minimum value that can be returned from `getSqrtRatioAtTick` (plus one).
    uint160 internal constant MIN_SQRT_RATIO_PLUS_ONE = 4295128740;

    /// @dev The maximum value that can be returned from `getSqrtRatioAtTick` (minus one).
    uint160 internal constant MAX_SQRT_RATIO_MINUS_ONE =
        1461446703485210103287273052203988822378723970341;

    /// @dev ENS fallback registry contract.
    IENSHelper internal constant ENS_REGISTRY =
        IENSHelper(0x00000000000C2E074eC69A0dFb2997BA6C7d2e1e);

    /// @dev ENS name wrapper token contract.
    IENSHelper internal constant ENS_WRAPPER =
        IENSHelper(0xD4416b13d2b3a9aBae7AcD5D6C2BbDBE25686401);

    /// @dev String mapping for `ENSAsciiNormalizer` logic.
    bytes internal constant ASCII_MAP =
        hex"2d00020101000a010700016101620163016401650166016701680169016a016b016c016d016e016f0170017101720173017401750176017701780179017a06001a010500";

    /// ========================== STORAGE ========================== ///

    /// @dev DAO-governed token names to addresses.
    mapping(string name => address) public addresses;

    /// @dev DAO-governed token addresses to names.
    mapping(address addresses => string) public names;

    /// @dev DAO-governed token swap pool routing on Uniswap V3.
    mapping(address token0 => mapping(address token1 => address)) public pairs;

    /// @dev Each index in idnamap refers to an ascii code point.
    /// If idnamap[char] > 2, char maps to a valid ascii character.
    /// Otherwise, idna[char] returns Rule.DISALLOWED or Rule.VALID.
    /// Modified from `ENSAsciiNormalizer` deployed by royalfork.eth
    /// (0x4A5cae3EC0b144330cf1a6CeAD187D8F6B891758).
    bytes1[] internal _idnamap;

    /// ======================== CONSTRUCTOR ======================== ///

    /// @dev Constructs this IE on Ethereum with ENS `ASCII_MAP`.
    constructor() payable {
        unchecked {
            for (uint256 i; i != ASCII_MAP.length; i += 2) {
                bytes1 r = ASCII_MAP[i + 1];
                for (uint8 j; j != uint8(ASCII_MAP[i]); ++j) {
                    _idnamap.push(r);
                }
            }
        }
    }

    /// ====================== COMMAND PREVIEW ====================== ///

    /// @dev Preview natural language smart contract command.
    /// The `send` syntax uses ENS naming: 'send vitalik 20 DAI'.
    /// `swap` syntax uses common format: 'swap 100 DAI for WETH'.
    function previewCommand(string calldata intent)
        public
        view
        virtual
        returns (
            address to, // Receiver address.
            uint256 amount, // Formatted amount.
            uint256 minAmountOut, // Formatted amount.
            address token, // Asset to send `to`.
            bytes memory callData, // Raw calldata for send transaction.
            bytes memory executeCallData // Anticipates common execute API.
        )
    {
        bytes memory normalized = _lowercase(bytes(intent));
        bytes32 action = _extraction(normalized);
        if (action == "send" || action == "transfer" || action == "pay" || action == "grant") {
            (bytes memory _to, bytes memory _amount, bytes memory _token) = _extractSend(normalized);
            (to, amount, token, callData, executeCallData) = _previewSend(_to, _amount, _token);
        } else if (
            action == "swap" || action == "sell" || action == "exchange" || action == "stake"
        ) {
            (
                bytes memory amountIn,
                bytes memory amountOutMin,
                bytes memory tokenIn,
                bytes memory tokenOut,
                bytes memory receiver
            ) = _extractSwap(normalized);
            address _receiver;
            (amount, minAmountOut, token, to, _receiver) =
                _previewSwap(amountIn, amountOutMin, tokenIn, tokenOut, receiver);
            callData = abi.encodePacked(_receiver);
        } else {
            revert InvalidSyntax(); // Invalid command format.
        }
    }

    /// @dev Previews a `send` command from the parts of a matched intent string.
    function _previewSend(bytes memory to, bytes memory amount, bytes memory token)
        internal
        view
        virtual
        returns (
            address _to,
            uint256 _amount,
            address _token,
            bytes memory callData,
            bytes memory executeCallData
        )
    {
        uint256 decimals;
        (_token, decimals) = _returnTokenConstants(bytes32(token));
        if (_token == address(0)) _token = addresses[string(token)];
        bool isETH = _token == ETH;
        (, _to,) = whatIsTheAddressOf(string(to));
        _amount = _toUint(amount, decimals != 0 ? decimals : _token.readDecimals(), _token);

        if (!isETH) callData = abi.encodeCall(IToken.transfer, (_to, _amount));
        executeCallData =
            abi.encodeCall(IExecutor.execute, (isETH ? _to : _token, isETH ? _amount : 0, callData));
    }

    /// @dev Previews a `swap` command from the parts of a matched intent string.
    function _previewSwap(
        bytes memory amountIn,
        bytes memory amountOutMin,
        bytes memory tokenIn,
        bytes memory tokenOut,
        bytes memory receiver
    )
        internal
        view
        virtual
        returns (
            uint256 _amountIn,
            uint256 _amountOut,
            address _tokenIn,
            address _tokenOut,
            address _receiver
        )
    {
        uint256 decimalsIn;
        uint256 decimalsOut;
        (_tokenIn, decimalsIn) = _returnTokenConstants(bytes32(tokenIn));
        if (_tokenIn == address(0)) _tokenIn = addresses[string(tokenIn)];
        (_tokenOut, decimalsOut) = _returnTokenConstants(bytes32(tokenOut));
        if (_tokenOut == address(0)) _tokenOut = addresses[string(tokenOut)];

        _amountIn =
            _toUint(amountIn, decimalsIn != 0 ? decimalsIn : _tokenIn.readDecimals(), _tokenIn);
        _amountOut = _toUint(
            amountOutMin, decimalsOut != 0 ? decimalsOut : _tokenOut.readDecimals(), _tokenOut
        );

        if (receiver.length != 0) (, _receiver,) = whatIsTheAddressOf(string(receiver));
    }

    /// @dev Checks packed ERC4337 userOp against the output of the command intent.
    function checkUserOp(string calldata intent, PackedUserOperation calldata userOp)
        public
        view
        virtual
        returns (bool intentMatched)
    {
        (,,,,, bytes memory executeCallData) = previewCommand(intent);
        if (executeCallData.length != userOp.callData.length) return false;
        return keccak256(executeCallData) == keccak256(userOp.callData);
    }

    /// @dev Checks and returns the canonical token address constant for a matched intent string.
    function _returnTokenConstants(bytes32 token)
        internal
        pure
        virtual
        returns (address _token, uint256 _decimals)
    {
        if (token == "eth" || token == "ether") return (ETH, 18);
        if (token == "usdc") return (USDC, 6);
        if (token == "usdt" || token == "tether") return (USDT, 6);
        if (token == "dai") return (DAI, 18);
        if (token == "weth") return (WETH, 18);
        if (token == "wbtc" || token == "btc" || token == "bitcoin") return (WBTC, 8);
        if (token == "steth" || token == "wsteth" || token == "lido") return (WSTETH, 18);
        if (token == "reth") return (RETH, 18);
    }

    /// @dev Checks and returns the canonical token string constant for a matched address.
    function _returnTokenAliasConstants(address token)
        internal
        pure
        virtual
        returns (string memory _token, uint256 _decimals)
    {
        if (token == USDC) return ("USDC", 6);
        if (token == USDT) return ("USDT", 6);
        if (token == DAI) return ("DAI", 18);
        if (token == WETH) return ("WETH", 18);
        if (token == WBTC) return ("WBTC", 8);
        if (token == WSTETH) return ("WSTETH", 18);
        if (token == RETH) return ("RETH", 18);
    }

    /// @dev Checks and returns popular pool pairs for WETH swaps.
    function _returnPoolConstants(address token0, address token1)
        internal
        pure
        virtual
        returns (address pool)
    {
        if (token0 == WSTETH && token1 == WETH) return 0x109830a1AAaD605BbF02a9dFA7B0B92EC2FB7dAa;
        if (token0 == RETH && token1 == WETH) return 0x553e9C493678d8606d6a5ba284643dB2110Df823;
        if (token0 == USDC && token1 == WETH) return 0x88e6A0c2dDD26FEEb64F039a2c41296FcB3f5640;
        if (token0 == WETH && token1 == USDT) return 0x11b815efB8f581194ae79006d24E0d814B7697F6;
        if (token0 == DAI && token1 == WETH) return 0xC2e9F25Be6257c210d7Adf0D4Cd6E3E881ba25f8;
        if (token0 == WBTC && token1 == WETH) return 0x4585FE77225b41b697C938B018E2Ac67Ac5a20c0;
    }

    /// ===================== COMMAND EXECUTION ===================== ///

    /// @dev Executes a text command from an `intent` string.
    function command(string calldata intent) public payable virtual {
        bytes memory normalized = _lowercase(bytes(intent));
        bytes32 action = _extraction(normalized);
        if (action == "send" || action == "transfer" || action == "pay" || action == "grant") {
            (bytes memory to, bytes memory amount, bytes memory token) = _extractSend(normalized);
            send(string(to), string(amount), string(token));
        } else if (
            action == "swap" || action == "sell" || action == "exchange" || action == "stake"
        ) {
            (
                bytes memory amountIn,
                bytes memory amountOutMin,
                bytes memory tokenIn,
                bytes memory tokenOut,
                bytes memory receiver
            ) = _extractSwap(normalized);
            swap(
                string(amountIn),
                string(amountOutMin),
                string(tokenIn),
                string(tokenOut),
                string(receiver)
            );
        } else {
            revert InvalidSyntax(); // Invalid command format.
        }
    }

    /// @dev Executes batch of text commands from an `intents` string.
    function command(string[] calldata intents) public payable virtual {
        for (uint256 i; i != intents.length; ++i) {
            command(intents[i]);
        }
    }

    /// @dev Executes a `send` command from the parts of a matched intent string.
    function send(string memory to, string memory amount, string memory token)
        public
        payable
        virtual
    {
        (address _token, uint256 decimals) = _returnTokenConstants(bytes32(bytes(token)));
        if (_token == address(0)) _token = addresses[token];
        (, address _to,) = whatIsTheAddressOf(to);
        uint256 _amount =
            _toUint(bytes(amount), decimals != 0 ? decimals : _token.readDecimals(), _token);

        if (_token == ETH) {
            _to.safeTransferETH(_amount);
        } else {
            _token.safeTransferFrom(msg.sender, _to, _amount);
        }
    }

    /// @dev Executes a `swap` command from the parts of a matched intent string.
    function swap(
        string memory amountIn,
        string memory amountOutMin,
        string memory tokenIn,
        string memory tokenOut,
        string memory receiver
    ) public payable virtual {
        SwapInfo memory info;
        uint256 decimalsIn;
        uint256 decimalsOut;
        (info.tokenIn, decimalsIn) = _returnTokenConstants(bytes32(bytes(tokenIn)));
        if (info.tokenIn == address(0)) info.tokenIn = addresses[tokenIn];
        (info.tokenOut, decimalsOut) = _returnTokenConstants(bytes32(bytes(tokenOut)));
        if (info.tokenOut == address(0)) info.tokenOut = addresses[tokenOut];
        info.ETHIn = info.tokenIn == ETH;
        if (info.ETHIn) info.tokenIn = WETH;
        info.ETHOut = info.tokenOut == ETH;
        if (info.ETHOut) info.tokenOut = WETH;

        uint256 minOut;
        if (bytes(amountOutMin).length != 0) {
            minOut = _toUint(
                bytes(amountOutMin),
                decimalsOut != 0 ? decimalsOut : info.tokenOut.readDecimals(),
                info.tokenOut
            );
        }

        bool exactOut = bytes(amountIn).length == 0;
        info.amountIn = exactOut
            ? minOut
            : _toUint(
                bytes(amountIn),
                decimalsIn != 0 ? decimalsIn : info.tokenIn.readDecimals(),
                info.tokenIn
            );

        if (info.amountIn >= 1 << 255) revert Overflow();

        address _receiver;
        if (bytes(receiver).length == 0) _receiver = msg.sender;
        else (, _receiver,) = whatIsTheAddressOf(receiver);

        (address pool, bool zeroForOne) = _computePoolAddress(info.tokenIn, info.tokenOut);
        (int256 amount0, int256 amount1) = ISwapRouter(pool).swap(
            !info.ETHOut ? _receiver : address(this),
            zeroForOne,
            !exactOut ? int256(info.amountIn) : -int256(info.amountIn),
            zeroForOne ? MIN_SQRT_RATIO_PLUS_ONE : MAX_SQRT_RATIO_MINUS_ONE,
            abi.encodePacked(
                info.ETHIn, info.ETHOut, msg.sender, info.tokenIn, info.tokenOut, _receiver
            )
        );

        if (minOut != 0) {
            if (uint256(-(zeroForOne ? amount1 : amount0)) < minOut) revert InsufficientSwap();
        }
    }

    /// @dev Fallback `uniswapV3SwapCallback`.
    /// If ETH is swapped, WETH is forwarded.
    fallback() external payable virtual {
        int256 amount0Delta;
        int256 amount1Delta;
        bool ETHIn;
        bool ETHOut;
        address payer;
        address tokenIn;
        address tokenOut;
        address receiver;
        assembly ("memory-safe") {
            amount0Delta := calldataload(0x4)
            amount1Delta := calldataload(0x24)
            ETHIn := byte(0, calldataload(0x84))
            ETHOut := byte(0, calldataload(add(0x84, 1)))
            payer := shr(96, calldataload(add(0x84, 2)))
            tokenIn := shr(96, calldataload(add(0x84, 22)))
            tokenOut := shr(96, calldataload(add(0x84, 42)))
            receiver := shr(96, calldataload(add(0x84, 62)))
        }
        if (amount0Delta <= 0 && amount1Delta <= 0) revert InvalidSwap();
        (address pool, bool zeroForOne) = _computePoolAddress(tokenIn, tokenOut);
        assembly ("memory-safe") {
            if iszero(eq(caller(), pool)) { revert(codesize(), codesize()) }
        }
        if (ETHIn) {
            _wrapETH(uint256(zeroForOne ? amount0Delta : amount1Delta));
        } else {
            tokenIn.safeTransferFrom(payer, pool, uint256(zeroForOne ? amount0Delta : amount1Delta));
        }
        if (ETHOut) {
            uint256 amount = uint256(-(zeroForOne ? amount1Delta : amount0Delta));
            _unwrapETH(amount);
            receiver.safeTransferETH(amount);
        }
    }

    /// @dev Computes the create2 address for given token pair.
    /// note: This process checks all available pools for price.
    function _computePoolAddress(address tokenA, address tokenB)
        internal
        view
        virtual
        returns (address pool, bool zeroForOne)
    {
        if (tokenA < tokenB) zeroForOne = true;
        else (tokenA, tokenB) = (tokenB, tokenA);
        pool = _returnPoolConstants(tokenA, tokenB);
        if (pool == address(0)) {
            pool = pairs[tokenA][tokenB];
            if (pool == address(0)) {
                address pool100 = _computePairHash(tokenA, tokenB, 100); // Lowest fee.
                address pool500 = _computePairHash(tokenA, tokenB, 500); // Lower fee.
                address pool3000 = _computePairHash(tokenA, tokenB, 3000); // Mid fee.
                address pool10000 = _computePairHash(tokenA, tokenB, 10000); // Hi fee.
                SwapLiq memory topPool;
                uint256 liq;
                if (pool100.code.length != 0) {
                    liq = _balanceOf(tokenA, pool100);
                    topPool = SwapLiq(pool100, liq);
                }
                if (pool500.code.length != 0) {
                    liq = _balanceOf(tokenA, pool500);
                    if (liq > topPool.liq) {
                        topPool = SwapLiq(pool500, liq);
                    }
                }
                if (pool3000.code.length != 0) {
                    liq = _balanceOf(tokenA, pool3000);
                    if (liq > topPool.liq) {
                        topPool = SwapLiq(pool3000, liq);
                    }
                }
                if (pool10000.code.length != 0) {
                    liq = _balanceOf(tokenA, pool10000);
                    if (liq > topPool.liq) {
                        topPool = SwapLiq(pool10000, liq);
                    }
                }
                pool = topPool.pool; // Return top pool.
            }
        }
    }

    /// @dev Computes the create2 deployment hash for a given token pair.
    function _computePairHash(address token0, address token1, uint24 fee)
        internal
        pure
        virtual
        returns (address pool)
    {
        bytes32 salt = _hash(token0, token1, fee);
        assembly ("memory-safe") {
            mstore8(0x00, 0xff) // Write the prefix.
            mstore(0x35, UNISWAP_V3_POOL_INIT_CODE_HASH)
            mstore(0x01, shl(96, UNISWAP_V3_FACTORY))
            mstore(0x15, salt)
            pool := keccak256(0x00, 0x55)
            mstore(0x35, 0) // Restore overwritten.
        }
    }

    /// @dev Returns `keccak256(abi.encode(value0, value1, value2))`.
    function _hash(address value0, address value1, uint24 value2)
        internal
        pure
        virtual
        returns (bytes32 result)
    {
        assembly ("memory-safe") {
            let m := mload(0x40)
            mstore(m, value0)
            mstore(add(m, 0x20), value1)
            mstore(add(m, 0x40), value2)
            result := keccak256(m, 0x60)
        }
    }

    /// @dev Wraps an `amount` of ETH to WETH and funds pool caller for swap.
    function _wrapETH(uint256 amount) internal virtual {
        assembly ("memory-safe") {
            pop(call(gas(), WETH, amount, codesize(), 0x00, codesize(), 0x00))
            mstore(0x14, caller()) // Store the `pool` argument.
            mstore(0x34, amount) // Store the `amount` argument.
            mstore(0x00, 0xa9059cbb000000000000000000000000) // `transfer(address,uint256)`.
            pop(call(gas(), WETH, 0, 0x10, 0x44, codesize(), 0x00))
            mstore(0x34, 0) // Restore the part of the free memory pointer that was overwritten.
        }
    }

    /// @dev Unwraps an `amount` of ETH from WETH for return.
    function _unwrapETH(uint256 amount) internal virtual {
        assembly ("memory-safe") {
            mstore(0x00, 0x2e1a7d4d) // `withdraw(uint256)`.
            mstore(0x20, amount) // Store the `amount` argument.
            pop(call(gas(), WETH, 0, 0x1c, 0x24, codesize(), 0x00))
        }
    }

    /// @dev Returns the amount of ERC20 `token` owned by `account`.
    function _balanceOf(address token, address account)
        internal
        view
        virtual
        returns (uint256 amount)
    {
        assembly ("memory-safe") {
            mstore(0x00, 0x70a08231000000000000000000000000) // `balanceOf(address)`.
            mstore(0x14, account) // Store the `account` argument.
            pop(staticcall(gas(), token, 0x10, 0x24, 0x20, 0x20))
            amount := mload(0x20)
        }
    }

    /// @dev ETH receiver fallback.
    /// Only canonical WETH can call.
    receive() external payable virtual {
        assembly ("memory-safe") {
            if iszero(eq(caller(), WETH)) { revert(codesize(), codesize()) }
        }
    }

    /// ==================== COMMAND TRANSLATION ==================== ///

    /// @dev Translates an `intent` from raw `command()` calldata.
    function translateCommand(bytes calldata callData)
        public
        pure
        virtual
        returns (string memory intent)
    {
        return string(callData[4:]);
    }

    /// @dev Translates an `intent` for send action from the solution `callData` of standard `execute()`.
    /// note: The function selector technically doesn't need to be `execute()` but params should match.
    function translateExecute(bytes calldata callData)
        public
        view
        virtual
        returns (string memory intent)
    {
        unchecked {
            (address target, uint256 value) = abi.decode(callData[4:68], (address, uint256));

            if (value != 0) {
                return string(
                    abi.encodePacked(
                        "send ",
                        _convertWeiToString(value, 18),
                        " ETH to 0x",
                        _toAsciiString(target)
                    )
                );
            }

            if (
                bytes4(callData[132:136]) != IToken.transfer.selector
                    && bytes4(callData[132:136]) != IToken.approve.selector
            ) revert InvalidSelector();
            bool transfer = bytes4(callData[132:136]) == IToken.transfer.selector;

            (string memory token, uint256 decimals) = _returnTokenAliasConstants(target);
            if (bytes(token).length == 0) token = names[target];
            if (decimals == 0) decimals = target.readDecimals(); // Sanity check.
            (target, value) = abi.decode(callData[136:], (address, uint256));

            return string(
                abi.encodePacked(
                    transfer ? "send " : "approve ",
                    _convertWeiToString(value, decimals),
                    " ",
                    token,
                    " to 0x",
                    _toAsciiString(target)
                )
            );
        }
    }

    /// @dev Translate packed ERC4337 userOp `callData` into readable `intent`.
    function translateUserOp(PackedUserOperation calldata userOp)
        public
        view
        virtual
        returns (string memory intent)
    {
        return bytes4(userOp.callData) == IExecutor.execute.selector
            ? translateExecute(userOp.callData)
            : translateCommand(userOp.callData);
    }

    /// ====================== ENS VERIFICATION ====================== ///

    /// @dev Returns ENS name ownership details.
    /// note: The `receiver` should be already set,
    /// or, the command should use the raw address.
    function whatIsTheAddressOf(string memory name)
        public
        view
        virtual
        returns (address owner, address receiver, bytes32 node)
    {
        // If address length, convert.
        if (bytes(name).length == 42) {
            receiver = _toAddress(bytes(name));
        } else {
            node = _namehash(string(abi.encodePacked(name, ".eth")));
            owner = ENS_REGISTRY.owner(node);
            if (IENSHelper(owner) == ENS_WRAPPER) owner = ENS_WRAPPER.ownerOf(uint256(node));
            receiver = IENSHelper(ENS_REGISTRY.resolver(node)).addr(node); // Fails on misname.
            if (receiver == address(0)) revert InvalidReceiver(); // No receiver has been set.
        }
    }

    /// @dev Computes an ENS domain namehash.
    function _namehash(string memory domain) internal view virtual returns (bytes32 node) {
        // Process labels (in reverse order for namehash).
        uint256 i = bytes(domain).length;
        uint256 lastDot = i;
        unchecked {
            for (; i != 0; --i) {
                bytes1 c = bytes(domain)[i - 1];
                if (c == ".") {
                    node = keccak256(abi.encodePacked(node, _labelhash(domain, i, lastDot)));
                    lastDot = i - 1;
                    continue;
                }
                require(c < 0x80);
                bytes1 r = _idnamap[uint8(c)];
                require(uint8(r) != uint8(Rule.DISALLOWED));
                if (uint8(r) > 1) {
                    bytes(domain)[i - 1] = r;
                }
            }
        }
        return keccak256(abi.encodePacked(node, _labelhash(domain, i, lastDot)));
    }

    /// @dev Computes an ENS domain labelhash given its start and end.
    function _labelhash(string memory domain, uint256 start, uint256 end)
        internal
        pure
        virtual
        returns (bytes32 hash)
    {
        assembly ("memory-safe") {
            hash := keccak256(add(add(domain, 0x20), start), sub(end, start))
        }
    }

    /// ========================= GOVERNANCE ========================= ///

    /// @dev Sets a public `name` tag for a given `token` address. Governed by DAO.
    function setName(address token, string calldata name) public payable virtual {
        assembly ("memory-safe") {
            if iszero(eq(caller(), DAO)) { revert(codesize(), codesize()) }
        }
        string memory normalized = string(_lowercase(bytes(name)));
        names[token] = normalized;
        emit NameSet(addresses[normalized] = token, normalized);
    }

    /// @dev Sets a public `name` and ticker for a given `token` address. Open.
    function setName(address token) public payable virtual {
        string memory normalizedName = string(_lowercase(bytes(token.readName())));
        string memory normalizedSymbol = string(_lowercase(bytes(token.readSymbol())));
        names[token] = normalizedSymbol;
        emit NameSet(addresses[normalizedName] = token, normalizedName);
        emit NameSet(addresses[normalizedSymbol] = token, normalizedSymbol);
    }

    /// @dev Sets a public pool `pair` for swapping tokens. Governed by DAO.
    function setPair(address tokenA, address tokenB, address pair) public payable virtual {
        assembly ("memory-safe") {
            if iszero(eq(caller(), DAO)) { revert(codesize(), codesize()) }
        }
        if (tokenB < tokenA) (tokenA, tokenB) = (tokenB, tokenA);
        emit PairSet(tokenA, tokenB, pairs[tokenA][tokenB] = pair);
    }

    /// ===================== STRING OPERATIONS ===================== ///

    /// @dev Returns copy of string in lowercase.
    /// Modified from Solady LibString `toCase`.
    function _lowercase(bytes memory subject) internal pure virtual returns (bytes memory result) {
        assembly ("memory-safe") {
            let len := mload(subject)
            result := add(mload(0x40), 0x20)
            subject := add(subject, 1)
            let flags := shl(add(70, shl(5, 0)), 0x3ffffff)
            let w := not(0)
            for { let o := len } 1 {} {
                o := add(o, w)
                let b := and(0xff, mload(add(subject, o)))
                mstore8(add(result, o), xor(b, and(shr(b, flags), 0x20)))
                if iszero(o) { break }
            }
            result := mload(0x40)
            mstore(result, len) // Store the length.
            let last := add(add(result, 0x20), len)
            mstore(last, 0) // Zeroize the slot after the string.
            mstore(0x40, add(last, 0x20)) // Allocate the memory.
        }
    }

    /// @dev Extracts the first word (action) as bytes32.
    function _extraction(bytes memory normalizedIntent)
        internal
        pure
        virtual
        returns (bytes32 result)
    {
        assembly ("memory-safe") {
            let str := add(normalizedIntent, 0x20)
            result := mload(str)

            // Find the index of the first space or null terminator.
            let spaceIndex := 32
            for { let i := 0 } lt(i, 32) { i := add(i, 1) } {
                let char := byte(i, result)
                if or(eq(char, 0x20), eq(char, 0)) {
                    spaceIndex := i
                    break
                }
            }

            // Create a mask to clear bytes after the first word.
            let mask := shl(mul(8, sub(32, spaceIndex)), not(0))
            result := and(result, mask)
        }
    }

    /// @dev Extract the key words of normalized `send` intent.
    function _extractSend(bytes memory normalizedIntent)
        internal
        pure
        virtual
        returns (bytes memory to, bytes memory amount, bytes memory token)
    {
        StringPart[] memory parts = _split(normalizedIntent, " ");
        if (parts.length == 4) {
            return (
                _getPart(normalizedIntent, parts[1]),
                _getPart(normalizedIntent, parts[2]),
                _getPart(normalizedIntent, parts[3])
            );
        }
        if (parts.length == 5) {
            return (
                _getPart(normalizedIntent, parts[4]),
                _getPart(normalizedIntent, parts[1]),
                _getPart(normalizedIntent, parts[2])
            );
        } else {
            revert InvalidSyntax(); // Command is not formatted.
        }
    }

    /// @dev Extract the key words of normalized `swap` intent.
    function _extractSwap(bytes memory normalizedIntent)
        internal
        pure
        virtual
        returns (
            bytes memory amountIn,
            bytes memory amountOutMin,
            bytes memory tokenIn,
            bytes memory tokenOut,
            bytes memory receiver
        )
    {
        StringPart[] memory parts = _split(normalizedIntent, " ");
        bool isNumber;
        if (parts.length == 5) {
            isNumber = _isNumber(_getPart(normalizedIntent, parts[1]));
            if (isNumber) {
                return ( // 'exactIn'.
                    _getPart(normalizedIntent, parts[1]),
                    "",
                    _getPart(normalizedIntent, parts[2]),
                    _getPart(normalizedIntent, parts[4]),
                    ""
                );
            } else {
                return ( // 'exactOut'.
                    "",
                    _getPart(normalizedIntent, parts[3]),
                    _getPart(normalizedIntent, parts[1]),
                    _getPart(normalizedIntent, parts[4]),
                    ""
                );
            }
        } else if (parts.length == 6) {
            return ( // 'minOut'.
                _getPart(normalizedIntent, parts[1]),
                _getPart(normalizedIntent, parts[4]),
                _getPart(normalizedIntent, parts[2]),
                _getPart(normalizedIntent, parts[5]),
                ""
            );
        } else if (parts.length == 7) {
            isNumber = _isNumber(_getPart(normalizedIntent, parts[1]));
            if (isNumber) {
                return ( // 'exactIn' send.
                    _getPart(normalizedIntent, parts[1]),
                    "",
                    _getPart(normalizedIntent, parts[2]),
                    _getPart(normalizedIntent, parts[4]),
                    _getPart(normalizedIntent, parts[6])
                );
            } else {
                return ( // 'exactOut' send.
                    "",
                    _getPart(normalizedIntent, parts[3]),
                    _getPart(normalizedIntent, parts[1]),
                    _getPart(normalizedIntent, parts[4]),
                    _getPart(normalizedIntent, parts[6])
                );
            }
        } else if (parts.length == 8) {
            // 'minOut' send.
            return (
                _getPart(normalizedIntent, parts[1]),
                _getPart(normalizedIntent, parts[4]),
                _getPart(normalizedIntent, parts[2]),
                _getPart(normalizedIntent, parts[5]),
                _getPart(normalizedIntent, parts[7])
            );
        } else {
            revert InvalidSyntax(); // Unformatted.
        }
    }

    /// @dev Validate whether given bytes string is number, percentage or 'all'.
    function _isNumber(bytes memory s) internal pure virtual returns (bool) {
        if (bytes32(s) == "all") return true;
        return (s[0] >= 0x30 && s[0] <= 0x39);
    }

    /// @dev Splits a string into parts based on a delimiter.
    function _split(bytes memory base, bytes1 delimiter)
        internal
        pure
        virtual
        returns (StringPart[] memory parts)
    {
        unchecked {
            uint256 len = base.length;
            uint256 count = 1;
            // Count the number of parts.
            for (uint256 i; i != len; ++i) {
                if (base[i] == delimiter) {
                    ++count;
                }
            }
            parts = new StringPart[](count);
            uint256 partIndex;
            uint256 start;
            // Split the string and populate parts array.
            for (uint256 i; i != len; ++i) {
                if (base[i] == delimiter) {
                    parts[partIndex++] = StringPart(start, i);
                    start = i + 1;
                }
            }
            // Add the final part.
            parts[partIndex] = StringPart(start, len);
        }
    }

    /// @dev Converts a `StringPart` into its compact bytes.
    function _getPart(bytes memory base, StringPart memory part)
        internal
        pure
        virtual
        returns (bytes memory)
    {
        unchecked {
            bytes memory result = new bytes(part.end - part.start);
            for (uint256 i; i != result.length; ++i) {
                result[i] = base[part.start + i];
            }
            return result;
        }
    }

    /// @dev Convert string to decimalized numerical value.
    function _toUint(bytes memory s, uint256 decimals, address token)
        internal
        view
        virtual
        returns (uint256 result)
    {
        unchecked {
            // Check for "all" or "100%" first.
            bytes32 sBytes32 = bytes32(s);
            if (sBytes32 == bytes32("all") || sBytes32 == bytes32("100%")) {
                return token == ETH ? msg.sender.balance + msg.value : _balanceOf(token, msg.sender);
            }

            uint256 len = s.length;
            bool hasDecimal;
            uint256 decimalPlaces;
            bool isPercentage;

            for (uint256 i; i < len; ++i) {
                bytes1 c = s[i];
                if (c >= 0x30 && c <= 0x39) {
                    result = result * 10 + uint8(c) - 48;
                    if (hasDecimal) {
                        if (++decimalPlaces > decimals) break;
                    }
                } else if (c == 0x2E && !hasDecimal) {
                    hasDecimal = true;
                } else if (c == 0x25 && i == len - 1) {
                    isPercentage = true;
                } else if (c != 0x20) {
                    revert InvalidCharacter();
                }
            }

            // Adjust for decimals.
            if (!hasDecimal) {
                result *= 10 ** decimals;
            } else if (decimalPlaces < decimals) {
                result *= 10 ** (decimals - decimalPlaces);
            }

            // Handle percentage.
            if (isPercentage) {
                uint256 balance =
                    token == ETH ? msg.sender.balance + msg.value : _balanceOf(token, msg.sender);
                result = (balance * result) / (100 * 10 ** decimals);
            }
        }
    }

    /// @dev Converts a hexadecimal string to its `address` representation.
    function _toAddress(bytes memory s) internal pure virtual returns (address addr) {
        unchecked {
            if (s.length != 42) revert InvalidSyntax();
            uint256 result;
            for (uint256 i = 2; i != 42; ++i) {
                result *= 16;
                uint8 b = uint8(s[i]);
                if (b >= 48 && b <= 57) {
                    result += b - 48;
                } else if (b >= 65 && b <= 70) {
                    result += b - 55;
                } else if (b >= 97 && b <= 102) {
                    result += b - 87;
                } else {
                    revert InvalidSyntax();
                }
            }
            return address(uint160(result));
        }
    }

    /// @dev Convert an address to an ASCII string representation.
    function _toAsciiString(address x) internal pure virtual returns (string memory) {
        unchecked {
            bytes memory s = new bytes(40);
            for (uint256 i; i != 20; ++i) {
                bytes1 b = bytes1(uint8(uint256(uint160(x)) / (2 ** (8 * (19 - i)))));
                bytes1 hi = bytes1(uint8(b) / 16);
                bytes1 lo = bytes1(uint8(b) - 16 * uint8(hi));
                s[2 * i] = _char(hi);
                s[2 * i + 1] = _char(lo);
            }
            return string(s);
        }
    }

    /// @dev Convert a single byte to a character in the ASCII string.
    function _char(bytes1 b) internal pure virtual returns (bytes1 c) {
        unchecked {
            uint8 n = uint8(b) & 0xf;
            c = bytes1(n + (n < 10 ? 0x30 : 0x57));
        }
    }

    /// @dev Convert number to string and insert decimal point.
    function _convertWeiToString(uint256 weiAmount, uint256 decimals)
        internal
        pure
        virtual
        returns (string memory)
    {
        unchecked {
            uint256 scalingFactor = 10 ** decimals;
            string memory wholeNumberStr = _toString(weiAmount / scalingFactor);
            string memory decimalPartStr = _toString(weiAmount % scalingFactor);
            while (bytes(decimalPartStr).length != decimals) {
                decimalPartStr = string(abi.encodePacked("0", decimalPartStr));
            }
            decimalPartStr = _removeTrailingZeros(bytes(decimalPartStr));
            if (bytes(decimalPartStr).length == 0) {
                return wholeNumberStr;
            }
            return string(abi.encodePacked(wholeNumberStr, ".", decimalPartStr));
        }
    }

    /// @dev Remove any trailing zeroes from bytes.
    function _removeTrailingZeros(bytes memory str) internal pure virtual returns (string memory) {
        unchecked {
            uint256 len = str.length;
            uint256 end = len;
            while (end != 0 && str[end - 1] == 0x30) {
                --end;
            }
            if (end == len) {
                return string(str);
            }
            bytes memory trimmedBytes = new bytes(end);
            for (uint256 i; i != end; ++i) {
                trimmedBytes[i] = str[i];
            }
            return string(trimmedBytes);
        }
    }

    /// @dev Returns the base 10 decimal representation of `value`.
    /// Modified from (https://github.com/Vectorized/solady/blob/main/src/utils/LibString.sol)
    function _toString(uint256 value) internal pure virtual returns (string memory str) {
        assembly ("memory-safe") {
            str := add(mload(0x40), 0x80)
            mstore(0x40, add(str, 0x20))
            mstore(str, 0)
            let end := str
            let w := not(0)
            for { let temp := value } 1 {} {
                str := add(str, w)
                mstore8(str, add(48, mod(temp, 10)))
                temp := div(temp, 10)
                if iszero(temp) { break }
            }
            let len := sub(end, str)
            str := sub(str, 0x20)
            mstore(str, len)
        }
    }
}

/// @dev ENS name resolution helper contracts interface.
interface IENSHelper {
    function addr(bytes32) external view returns (address);
    function owner(bytes32) external view returns (address);
    function ownerOf(uint256) external view returns (address);
    function resolver(bytes32) external view returns (address);
}

/// @dev Simple token handler interface.
interface IToken {
    function approve(address, uint256) external returns (bool);
    function transfer(address, uint256) external returns (bool);
}

/// @notice Simple calldata executor interface.
interface IExecutor {
    function execute(address, uint256, bytes calldata) external payable returns (bytes memory);
}

/// @dev Simple Uniswap V3 swapping interface.
interface ISwapRouter {
    function swap(address, bool, int256, uint160, bytes calldata)
        external
        returns (int256, int256);
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.4;

/// @notice Safe ETH and ERC20 transfer library that gracefully handles missing return values.
/// @author Solady (https://github.com/vectorized/solady/blob/main/src/utils/SafeTransferLib.sol)
/// @author Modified from Solmate (https://github.com/transmissions11/solmate/blob/main/src/utils/SafeTransferLib.sol)
/// @author Permit2 operations from (https://github.com/Uniswap/permit2/blob/main/src/libraries/Permit2Lib.sol)
///
/// @dev Note:
/// - For ETH transfers, please use `forceSafeTransferETH` for DoS protection.
/// - For ERC20s, this implementation won't check that a token has code,
///   responsibility is delegated to the caller.
library SafeTransferLib {
    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                       CUSTOM ERRORS                        */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    /// @dev The ETH transfer has failed.
    error ETHTransferFailed();

    /// @dev The ERC20 `transferFrom` has failed.
    error TransferFromFailed();

    /// @dev The ERC20 `transfer` has failed.
    error TransferFailed();

    /// @dev The ERC20 `approve` has failed.
    error ApproveFailed();

    /// @dev The Permit2 operation has failed.
    error Permit2Failed();

    /// @dev The Permit2 amount must be less than `2**160 - 1`.
    error Permit2AmountOverflow();

    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                         CONSTANTS                          */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    /// @dev Suggested gas stipend for contract receiving ETH that disallows any storage writes.
    uint256 internal constant GAS_STIPEND_NO_STORAGE_WRITES = 2300;

    /// @dev Suggested gas stipend for contract receiving ETH to perform a few
    /// storage reads and writes, but low enough to prevent griefing.
    uint256 internal constant GAS_STIPEND_NO_GRIEF = 100000;

    /// @dev The unique EIP-712 domain domain separator for the DAI token contract.
    bytes32 internal constant DAI_DOMAIN_SEPARATOR =
        0xdbb8cf42e1ecb028be3f3dbc922e1d878b963f411dc388ced501601c60f7c6f7;

    /// @dev The address for the WETH9 contract on Ethereum mainnet.
    address internal constant WETH9 = 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2;

    /// @dev The canonical Permit2 address.
    /// [Github](https://github.com/Uniswap/permit2)
    /// [Etherscan](https://etherscan.io/address/0x000000000022D473030F116dDEE9F6B43aC78BA3)
    address internal constant PERMIT2 = 0x000000000022D473030F116dDEE9F6B43aC78BA3;

    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                       ETH OPERATIONS                       */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    // If the ETH transfer MUST succeed with a reasonable gas budget, use the force variants.
    //
    // The regular variants:
    // - Forwards all remaining gas to the target.
    // - Reverts if the target reverts.
    // - Reverts if the current contract has insufficient balance.
    //
    // The force variants:
    // - Forwards with an optional gas stipend
    //   (defaults to `GAS_STIPEND_NO_GRIEF`, which is sufficient for most cases).
    // - If the target reverts, or if the gas stipend is exhausted,
    //   creates a temporary contract to force send the ETH via `SELFDESTRUCT`.
    //   Future compatible with `SENDALL`: https://eips.ethereum.org/EIPS/eip-4758.
    // - Reverts if the current contract has insufficient balance.
    //
    // The try variants:
    // - Forwards with a mandatory gas stipend.
    // - Instead of reverting, returns whether the transfer succeeded.

    /// @dev Sends `amount` (in wei) ETH to `to`.
    function safeTransferETH(address to, uint256 amount) internal {
        /// @solidity memory-safe-assembly
        assembly {
            if iszero(call(gas(), to, amount, codesize(), 0x00, codesize(), 0x00)) {
                mstore(0x00, 0xb12d13eb) // `ETHTransferFailed()`.
                revert(0x1c, 0x04)
            }
        }
    }

    /// @dev Sends all the ETH in the current contract to `to`.
    function safeTransferAllETH(address to) internal {
        /// @solidity memory-safe-assembly
        assembly {
            // Transfer all the ETH and check if it succeeded or not.
            if iszero(call(gas(), to, selfbalance(), codesize(), 0x00, codesize(), 0x00)) {
                mstore(0x00, 0xb12d13eb) // `ETHTransferFailed()`.
                revert(0x1c, 0x04)
            }
        }
    }

    /// @dev Force sends `amount` (in wei) ETH to `to`, with a `gasStipend`.
    function forceSafeTransferETH(address to, uint256 amount, uint256 gasStipend) internal {
        /// @solidity memory-safe-assembly
        assembly {
            if lt(selfbalance(), amount) {
                mstore(0x00, 0xb12d13eb) // `ETHTransferFailed()`.
                revert(0x1c, 0x04)
            }
            if iszero(call(gasStipend, to, amount, codesize(), 0x00, codesize(), 0x00)) {
                mstore(0x00, to) // Store the address in scratch space.
                mstore8(0x0b, 0x73) // Opcode `PUSH20`.
                mstore8(0x20, 0xff) // Opcode `SELFDESTRUCT`.
                if iszero(create(amount, 0x0b, 0x16)) { revert(codesize(), codesize()) } // For gas estimation.
            }
        }
    }

    /// @dev Force sends all the ETH in the current contract to `to`, with a `gasStipend`.
    function forceSafeTransferAllETH(address to, uint256 gasStipend) internal {
        /// @solidity memory-safe-assembly
        assembly {
            if iszero(call(gasStipend, to, selfbalance(), codesize(), 0x00, codesize(), 0x00)) {
                mstore(0x00, to) // Store the address in scratch space.
                mstore8(0x0b, 0x73) // Opcode `PUSH20`.
                mstore8(0x20, 0xff) // Opcode `SELFDESTRUCT`.
                if iszero(create(selfbalance(), 0x0b, 0x16)) { revert(codesize(), codesize()) } // For gas estimation.
            }
        }
    }

    /// @dev Force sends `amount` (in wei) ETH to `to`, with `GAS_STIPEND_NO_GRIEF`.
    function forceSafeTransferETH(address to, uint256 amount) internal {
        /// @solidity memory-safe-assembly
        assembly {
            if lt(selfbalance(), amount) {
                mstore(0x00, 0xb12d13eb) // `ETHTransferFailed()`.
                revert(0x1c, 0x04)
            }
            if iszero(call(GAS_STIPEND_NO_GRIEF, to, amount, codesize(), 0x00, codesize(), 0x00)) {
                mstore(0x00, to) // Store the address in scratch space.
                mstore8(0x0b, 0x73) // Opcode `PUSH20`.
                mstore8(0x20, 0xff) // Opcode `SELFDESTRUCT`.
                if iszero(create(amount, 0x0b, 0x16)) { revert(codesize(), codesize()) } // For gas estimation.
            }
        }
    }

    /// @dev Force sends all the ETH in the current contract to `to`, with `GAS_STIPEND_NO_GRIEF`.
    function forceSafeTransferAllETH(address to) internal {
        /// @solidity memory-safe-assembly
        assembly {
            // forgefmt: disable-next-item
            if iszero(call(GAS_STIPEND_NO_GRIEF, to, selfbalance(), codesize(), 0x00, codesize(), 0x00)) {
                mstore(0x00, to) // Store the address in scratch space.
                mstore8(0x0b, 0x73) // Opcode `PUSH20`.
                mstore8(0x20, 0xff) // Opcode `SELFDESTRUCT`.
                if iszero(create(selfbalance(), 0x0b, 0x16)) { revert(codesize(), codesize()) } // For gas estimation.
            }
        }
    }

    /// @dev Sends `amount` (in wei) ETH to `to`, with a `gasStipend`.
    function trySafeTransferETH(address to, uint256 amount, uint256 gasStipend)
        internal
        returns (bool success)
    {
        /// @solidity memory-safe-assembly
        assembly {
            success := call(gasStipend, to, amount, codesize(), 0x00, codesize(), 0x00)
        }
    }

    /// @dev Sends all the ETH in the current contract to `to`, with a `gasStipend`.
    function trySafeTransferAllETH(address to, uint256 gasStipend)
        internal
        returns (bool success)
    {
        /// @solidity memory-safe-assembly
        assembly {
            success := call(gasStipend, to, selfbalance(), codesize(), 0x00, codesize(), 0x00)
        }
    }

    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                      ERC20 OPERATIONS                      */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    /// @dev Sends `amount` of ERC20 `token` from `from` to `to`.
    /// Reverts upon failure.
    ///
    /// The `from` account must have at least `amount` approved for
    /// the current contract to manage.
    function safeTransferFrom(address token, address from, address to, uint256 amount) internal {
        /// @solidity memory-safe-assembly
        assembly {
            let m := mload(0x40) // Cache the free memory pointer.
            mstore(0x60, amount) // Store the `amount` argument.
            mstore(0x40, to) // Store the `to` argument.
            mstore(0x2c, shl(96, from)) // Store the `from` argument.
            mstore(0x0c, 0x23b872dd000000000000000000000000) // `transferFrom(address,address,uint256)`.
            // Perform the transfer, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x1c, 0x64, 0x00, 0x20)
                )
            ) {
                mstore(0x00, 0x7939f424) // `TransferFromFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x60, 0) // Restore the zero slot to zero.
            mstore(0x40, m) // Restore the free memory pointer.
        }
    }

    /// @dev Sends `amount` of ERC20 `token` from `from` to `to`.
    ///
    /// The `from` account must have at least `amount` approved for the current contract to manage.
    function trySafeTransferFrom(address token, address from, address to, uint256 amount)
        internal
        returns (bool success)
    {
        /// @solidity memory-safe-assembly
        assembly {
            let m := mload(0x40) // Cache the free memory pointer.
            mstore(0x60, amount) // Store the `amount` argument.
            mstore(0x40, to) // Store the `to` argument.
            mstore(0x2c, shl(96, from)) // Store the `from` argument.
            mstore(0x0c, 0x23b872dd000000000000000000000000) // `transferFrom(address,address,uint256)`.
            success :=
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x1c, 0x64, 0x00, 0x20)
                )
            mstore(0x60, 0) // Restore the zero slot to zero.
            mstore(0x40, m) // Restore the free memory pointer.
        }
    }

    /// @dev Sends all of ERC20 `token` from `from` to `to`.
    /// Reverts upon failure.
    ///
    /// The `from` account must have their entire balance approved for the current contract to manage.
    function safeTransferAllFrom(address token, address from, address to)
        internal
        returns (uint256 amount)
    {
        /// @solidity memory-safe-assembly
        assembly {
            let m := mload(0x40) // Cache the free memory pointer.
            mstore(0x40, to) // Store the `to` argument.
            mstore(0x2c, shl(96, from)) // Store the `from` argument.
            mstore(0x0c, 0x70a08231000000000000000000000000) // `balanceOf(address)`.
            // Read the balance, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    gt(returndatasize(), 0x1f), // At least 32 bytes returned.
                    staticcall(gas(), token, 0x1c, 0x24, 0x60, 0x20)
                )
            ) {
                mstore(0x00, 0x7939f424) // `TransferFromFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x00, 0x23b872dd) // `transferFrom(address,address,uint256)`.
            amount := mload(0x60) // The `amount` is already at 0x60. We'll need to return it.
            // Perform the transfer, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x1c, 0x64, 0x00, 0x20)
                )
            ) {
                mstore(0x00, 0x7939f424) // `TransferFromFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x60, 0) // Restore the zero slot to zero.
            mstore(0x40, m) // Restore the free memory pointer.
        }
    }

    /// @dev Sends `amount` of ERC20 `token` from the current contract to `to`.
    /// Reverts upon failure.
    function safeTransfer(address token, address to, uint256 amount) internal {
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x14, to) // Store the `to` argument.
            mstore(0x34, amount) // Store the `amount` argument.
            mstore(0x00, 0xa9059cbb000000000000000000000000) // `transfer(address,uint256)`.
            // Perform the transfer, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x10, 0x44, 0x00, 0x20)
                )
            ) {
                mstore(0x00, 0x90b8ec18) // `TransferFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x34, 0) // Restore the part of the free memory pointer that was overwritten.
        }
    }

    /// @dev Sends all of ERC20 `token` from the current contract to `to`.
    /// Reverts upon failure.
    function safeTransferAll(address token, address to) internal returns (uint256 amount) {
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x00, 0x70a08231) // Store the function selector of `balanceOf(address)`.
            mstore(0x20, address()) // Store the address of the current contract.
            // Read the balance, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    gt(returndatasize(), 0x1f), // At least 32 bytes returned.
                    staticcall(gas(), token, 0x1c, 0x24, 0x34, 0x20)
                )
            ) {
                mstore(0x00, 0x90b8ec18) // `TransferFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x14, to) // Store the `to` argument.
            amount := mload(0x34) // The `amount` is already at 0x34. We'll need to return it.
            mstore(0x00, 0xa9059cbb000000000000000000000000) // `transfer(address,uint256)`.
            // Perform the transfer, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x10, 0x44, 0x00, 0x20)
                )
            ) {
                mstore(0x00, 0x90b8ec18) // `TransferFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x34, 0) // Restore the part of the free memory pointer that was overwritten.
        }
    }

    /// @dev Sets `amount` of ERC20 `token` for `to` to manage on behalf of the current contract.
    /// Reverts upon failure.
    function safeApprove(address token, address to, uint256 amount) internal {
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x14, to) // Store the `to` argument.
            mstore(0x34, amount) // Store the `amount` argument.
            mstore(0x00, 0x095ea7b3000000000000000000000000) // `approve(address,uint256)`.
            // Perform the approval, reverting upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x10, 0x44, 0x00, 0x20)
                )
            ) {
                mstore(0x00, 0x3e3f8f73) // `ApproveFailed()`.
                revert(0x1c, 0x04)
            }
            mstore(0x34, 0) // Restore the part of the free memory pointer that was overwritten.
        }
    }

    /// @dev Sets `amount` of ERC20 `token` for `to` to manage on behalf of the current contract.
    /// If the initial attempt to approve fails, attempts to reset the approved amount to zero,
    /// then retries the approval again (some tokens, e.g. USDT, requires this).
    /// Reverts upon failure.
    function safeApproveWithRetry(address token, address to, uint256 amount) internal {
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x14, to) // Store the `to` argument.
            mstore(0x34, amount) // Store the `amount` argument.
            mstore(0x00, 0x095ea7b3000000000000000000000000) // `approve(address,uint256)`.
            // Perform the approval, retrying upon failure.
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                    call(gas(), token, 0, 0x10, 0x44, 0x00, 0x20)
                )
            ) {
                mstore(0x34, 0) // Store 0 for the `amount`.
                mstore(0x00, 0x095ea7b3000000000000000000000000) // `approve(address,uint256)`.
                pop(call(gas(), token, 0, 0x10, 0x44, codesize(), 0x00)) // Reset the approval.
                mstore(0x34, amount) // Store back the original `amount`.
                // Retry the approval, reverting upon failure.
                if iszero(
                    and(
                        or(eq(mload(0x00), 1), iszero(returndatasize())), // Returned 1 or nothing.
                        call(gas(), token, 0, 0x10, 0x44, 0x00, 0x20)
                    )
                ) {
                    mstore(0x00, 0x3e3f8f73) // `ApproveFailed()`.
                    revert(0x1c, 0x04)
                }
            }
            mstore(0x34, 0) // Restore the part of the free memory pointer that was overwritten.
        }
    }

    /// @dev Returns the amount of ERC20 `token` owned by `account`.
    /// Returns zero if the `token` does not exist.
    function balanceOf(address token, address account) internal view returns (uint256 amount) {
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x14, account) // Store the `account` argument.
            mstore(0x00, 0x70a08231000000000000000000000000) // `balanceOf(address)`.
            amount :=
                mul( // The arguments of `mul` are evaluated from right to left.
                    mload(0x20),
                    and( // The arguments of `and` are evaluated from right to left.
                        gt(returndatasize(), 0x1f), // At least 32 bytes returned.
                        staticcall(gas(), token, 0x10, 0x24, 0x20, 0x20)
                    )
                )
        }
    }

    /// @dev Sends `amount` of ERC20 `token` from `from` to `to`.
    /// If the initial attempt fails, try to use Permit2 to transfer the token.
    /// Reverts upon failure.
    ///
    /// The `from` account must have at least `amount` approved for the current contract to manage.
    function safeTransferFrom2(address token, address from, address to, uint256 amount) internal {
        if (!trySafeTransferFrom(token, from, to, amount)) {
            permit2TransferFrom(token, from, to, amount);
        }
    }

    /// @dev Sends `amount` of ERC20 `token` from `from` to `to` via Permit2.
    /// Reverts upon failure.
    function permit2TransferFrom(address token, address from, address to, uint256 amount)
        internal
    {
        /// @solidity memory-safe-assembly
        assembly {
            let m := mload(0x40)
            mstore(add(m, 0x74), shr(96, shl(96, token)))
            mstore(add(m, 0x54), amount)
            mstore(add(m, 0x34), to)
            mstore(add(m, 0x20), shl(96, from))
            // `transferFrom(address,address,uint160,address)`.
            mstore(m, 0x36c78516000000000000000000000000)
            let p := PERMIT2
            let exists := eq(chainid(), 1)
            if iszero(exists) { exists := iszero(iszero(extcodesize(p))) }
            if iszero(and(call(gas(), p, 0, add(m, 0x10), 0x84, codesize(), 0x00), exists)) {
                mstore(0x00, 0x7939f4248757f0fd) // `TransferFromFailed()` or `Permit2AmountOverflow()`.
                revert(add(0x18, shl(2, iszero(iszero(shr(160, amount))))), 0x04)
            }
        }
    }

    /// @dev Permit a user to spend a given amount of
    /// another user's tokens via native EIP-2612 permit if possible, falling
    /// back to Permit2 if native permit fails or is not implemented on the token.
    function permit2(
        address token,
        address owner,
        address spender,
        uint256 amount,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal {
        bool success;
        /// @solidity memory-safe-assembly
        assembly {
            for {} shl(96, xor(token, WETH9)) {} {
                mstore(0x00, 0x3644e515) // `DOMAIN_SEPARATOR()`.
                if iszero(
                    and( // The arguments of `and` are evaluated from right to left.
                        lt(iszero(mload(0x00)), eq(returndatasize(), 0x20)), // Returns 1 non-zero word.
                        // Gas stipend to limit gas burn for tokens that don't refund gas when
                        // an non-existing function is called. 5K should be enough for a SLOAD.
                        staticcall(5000, token, 0x1c, 0x04, 0x00, 0x20)
                    )
                ) { break }
                // After here, we can be sure that token is a contract.
                let m := mload(0x40)
                mstore(add(m, 0x34), spender)
                mstore(add(m, 0x20), shl(96, owner))
                mstore(add(m, 0x74), deadline)
                if eq(mload(0x00), DAI_DOMAIN_SEPARATOR) {
                    mstore(0x14, owner)
                    mstore(0x00, 0x7ecebe00000000000000000000000000) // `nonces(address)`.
                    mstore(add(m, 0x94), staticcall(gas(), token, 0x10, 0x24, add(m, 0x54), 0x20))
                    mstore(m, 0x8fcbaf0c000000000000000000000000) // `IDAIPermit.permit`.
                    // `nonces` is already at `add(m, 0x54)`.
                    // `1` is already stored at `add(m, 0x94)`.
                    mstore(add(m, 0xb4), and(0xff, v))
                    mstore(add(m, 0xd4), r)
                    mstore(add(m, 0xf4), s)
                    success := call(gas(), token, 0, add(m, 0x10), 0x104, codesize(), 0x00)
                    break
                }
                mstore(m, 0xd505accf000000000000000000000000) // `IERC20Permit.permit`.
                mstore(add(m, 0x54), amount)
                mstore(add(m, 0x94), and(0xff, v))
                mstore(add(m, 0xb4), r)
                mstore(add(m, 0xd4), s)
                success := call(gas(), token, 0, add(m, 0x10), 0xe4, codesize(), 0x00)
                break
            }
        }
        if (!success) simplePermit2(token, owner, spender, amount, deadline, v, r, s);
    }

    /// @dev Simple permit on the Permit2 contract.
    function simplePermit2(
        address token,
        address owner,
        address spender,
        uint256 amount,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal {
        /// @solidity memory-safe-assembly
        assembly {
            let m := mload(0x40)
            mstore(m, 0x927da105) // `allowance(address,address,address)`.
            {
                let addressMask := shr(96, not(0))
                mstore(add(m, 0x20), and(addressMask, owner))
                mstore(add(m, 0x40), and(addressMask, token))
                mstore(add(m, 0x60), and(addressMask, spender))
                mstore(add(m, 0xc0), and(addressMask, spender))
            }
            let p := mul(PERMIT2, iszero(shr(160, amount)))
            if iszero(
                and( // The arguments of `and` are evaluated from right to left.
                    gt(returndatasize(), 0x5f), // Returns 3 words: `amount`, `expiration`, `nonce`.
                    staticcall(gas(), p, add(m, 0x1c), 0x64, add(m, 0x60), 0x60)
                )
            ) {
                mstore(0x00, 0x6b836e6b8757f0fd) // `Permit2Failed()` or `Permit2AmountOverflow()`.
                revert(add(0x18, shl(2, iszero(p))), 0x04)
            }
            mstore(m, 0x2b67b570) // `Permit2.permit` (PermitSingle variant).
            // `owner` is already `add(m, 0x20)`.
            // `token` is already at `add(m, 0x40)`.
            mstore(add(m, 0x60), amount)
            mstore(add(m, 0x80), 0xffffffffffff) // `expiration = type(uint48).max`.
            // `nonce` is already at `add(m, 0xa0)`.
            // `spender` is already at `add(m, 0xc0)`.
            mstore(add(m, 0xe0), deadline)
            mstore(add(m, 0x100), 0x100) // `signature` offset.
            mstore(add(m, 0x120), 0x41) // `signature` length.
            mstore(add(m, 0x140), r)
            mstore(add(m, 0x160), s)
            mstore(add(m, 0x180), shl(248, v))
            if iszero(call(gas(), p, 0, add(m, 0x1c), 0x184, codesize(), 0x00)) {
                mstore(0x00, 0x6b836e6b) // `Permit2Failed()`.
                revert(0x1c, 0x04)
            }
        }
    }
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.4;

/// @notice Library for reading contract metadata robustly.
/// @author Solady (https://github.com/vectorized/solady/blob/main/src/utils/MetadataReaderLib.sol)
library MetadataReaderLib {
    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                         CONSTANTS                          */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    /// @dev Default gas stipend for contract reads. High enough for most practical use cases
    /// (able to SLOAD about 1000 bytes of data), but low enough to prevent griefing.
    uint256 internal constant GAS_STIPEND_NO_GRIEF = 100000;

    /// @dev Default string byte length limit.
    uint256 internal constant STRING_LIMIT_DEFAULT = 1000;

    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                METADATA READING OPERATIONS                 */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    // Best-effort string reading operations.
    // Should NOT revert as long as sufficient gas is provided.
    //
    // Performs the following in order:
    // 1. Returns the empty string for the following cases:
    //     - Reverts.
    //     - No returndata (e.g. function returns nothing, EOA).
    //     - Returns empty string.
    // 2. Attempts to `abi.decode` the returndata into a string.
    // 3. With any remaining gas, scans the returndata from start to end for the
    //    null byte '\0', to interpret the returndata as a null-terminated string.

    /// @dev Equivalent to `readString(abi.encodeWithSignature("name()"))`.
    function readName(address target) internal view returns (string memory) {
        return _string(target, _ptr(0x06fdde03), STRING_LIMIT_DEFAULT, GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Equivalent to `readString(abi.encodeWithSignature("name()"), limit)`.
    function readName(address target, uint256 limit) internal view returns (string memory) {
        return _string(target, _ptr(0x06fdde03), limit, GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Equivalent to `readString(abi.encodeWithSignature("name()"), limit, gasStipend)`.
    function readName(address target, uint256 limit, uint256 gasStipend)
        internal
        view
        returns (string memory)
    {
        return _string(target, _ptr(0x06fdde03), limit, gasStipend);
    }

    /// @dev Equivalent to `readString(abi.encodeWithSignature("symbol()"))`.
    function readSymbol(address target) internal view returns (string memory) {
        return _string(target, _ptr(0x95d89b41), STRING_LIMIT_DEFAULT, GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Equivalent to `readString(abi.encodeWithSignature("symbol()"), limit)`.
    function readSymbol(address target, uint256 limit) internal view returns (string memory) {
        return _string(target, _ptr(0x95d89b41), limit, GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Equivalent to `readString(abi.encodeWithSignature("symbol()"), limit, gasStipend)`.
    function readSymbol(address target, uint256 limit, uint256 gasStipend)
        internal
        view
        returns (string memory)
    {
        return _string(target, _ptr(0x95d89b41), limit, gasStipend);
    }

    /// @dev Performs a best-effort string query on `target` with `data` as the calldata.
    /// The string will be truncated to `STRING_LIMIT_DEFAULT` (1000) bytes.
    function readString(address target, bytes memory data) internal view returns (string memory) {
        return _string(target, _ptr(data), STRING_LIMIT_DEFAULT, GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Performs a best-effort string query on `target` with `data` as the calldata.
    /// The string will be truncated to `limit` bytes.
    function readString(address target, bytes memory data, uint256 limit)
        internal
        view
        returns (string memory)
    {
        return _string(target, _ptr(data), limit, GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Performs a best-effort string query on `target` with `data` as the calldata.
    /// The string will be truncated to `limit` bytes.
    function readString(address target, bytes memory data, uint256 limit, uint256 gasStipend)
        internal
        view
        returns (string memory)
    {
        return _string(target, _ptr(data), limit, gasStipend);
    }

    // Best-effort unsigned integer reading operations.
    // Should NOT revert as long as sufficient gas is provided.
    //
    // Performs the following in order:
    // 1. Attempts to `abi.decode` the result into a uint256
    //    (equivalent across all Solidity uint types, downcast as needed).
    // 2. Returns zero for the following cases:
    //     - Reverts.
    //     - No returndata (e.g. function returns nothing, EOA).
    //     - Returns zero.
    //     - `abi.decode` failure.

    /// @dev Equivalent to `uint8(readUint(abi.encodeWithSignature("decimal()")))`.
    function readDecimals(address target) internal view returns (uint8) {
        return uint8(_uint(target, _ptr(0x313ce567), GAS_STIPEND_NO_GRIEF));
    }

    /// @dev Equivalent to `uint8(readUint(abi.encodeWithSignature("decimal()"), gasStipend))`.
    function readDecimals(address target, uint256 gasStipend) internal view returns (uint8) {
        return uint8(_uint(target, _ptr(0x313ce567), gasStipend));
    }

    /// @dev Performs a best-effort uint query on `target` with `data` as the calldata.
    function readUint(address target, bytes memory data) internal view returns (uint256) {
        return _uint(target, _ptr(data), GAS_STIPEND_NO_GRIEF);
    }

    /// @dev Performs a best-effort uint query on `target` with `data` as the calldata.
    function readUint(address target, bytes memory data, uint256 gasStipend)
        internal
        view
        returns (uint256)
    {
        return _uint(target, _ptr(data), gasStipend);
    }

    /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
    /*                      PRIVATE HELPERS                       */
    /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/

    /// @dev Attempts to read and return a string at `target`.
    function _string(address target, bytes32 ptr, uint256 limit, uint256 gasStipend)
        private
        view
        returns (string memory result)
    {
        /// @solidity memory-safe-assembly
        assembly {
            function min(x_, y_) -> _z {
                _z := xor(x_, mul(xor(x_, y_), lt(y_, x_)))
            }
            for {} staticcall(gasStipend, target, add(ptr, 0x20), mload(ptr), 0x00, 0x20) {} {
                let m := mload(0x40) // Grab the free memory pointer.
                let s := add(0x20, m) // Start of the string's bytes in memory.
                // Attempt to `abi.decode` if the returndatasize is greater or equal to 64.
                if iszero(lt(returndatasize(), 0x40)) {
                    let o := mload(0x00) // Load the string's offset in the returndata.
                    // If the string's offset is within bounds.
                    if iszero(gt(o, sub(returndatasize(), 0x20))) {
                        returndatacopy(m, o, 0x20) // Copy the string's length.
                        // If the full string's end is within bounds.
                        // Note: If the full string doesn't fit, the `abi.decode` must be aborted
                        // for compliance purposes, regardless if the truncated string can fit.
                        if iszero(gt(mload(m), sub(returndatasize(), add(o, 0x20)))) {
                            let n := min(mload(m), limit) // Truncate if needed.
                            mstore(m, n) // Overwrite the length.
                            returndatacopy(s, add(o, 0x20), n) // Copy the string's bytes.
                            mstore(add(s, n), 0) // Zeroize the slot after the string.
                            mstore(0x40, add(0x20, add(s, n))) // Allocate memory for the string.
                            result := m
                            break
                        }
                    }
                }
                // Try interpreting as a null-terminated string.
                let n := min(returndatasize(), limit) // Truncate if needed.
                returndatacopy(s, 0, n) // Copy the string's bytes.
                mstore8(add(s, n), 0) // Place a '\0' at the end.
                let i := s // Pointer to the next byte to scan.
                for {} byte(0, mload(i)) { i := add(i, 1) } {} // Scan for '\0'.
                mstore(m, sub(i, s)) // Store the string's length.
                mstore(i, 0) // Zeroize the slot after the string.
                mstore(0x40, add(0x20, i)) // Allocate memory for the string.
                result := m
                break
            }
        }
    }

    /// @dev Attempts to read and return a uint at `target`.
    function _uint(address target, bytes32 ptr, uint256 gasStipend)
        private
        view
        returns (uint256 result)
    {
        /// @solidity memory-safe-assembly
        assembly {
            result :=
                mul(
                    mload(0x20),
                    and( // The arguments of `and` are evaluated from right to left.
                        gt(returndatasize(), 0x1f), // At least 32 bytes returned.
                        staticcall(gasStipend, target, add(ptr, 0x20), mload(ptr), 0x20, 0x20)
                    )
                )
        }
    }

    /// @dev Casts the function selector `s` into a pointer.
    function _ptr(uint256 s) private pure returns (bytes32 result) {
        /// @solidity memory-safe-assembly
        assembly {
            // Layout the calldata in the scratch space for temporary usage.
            mstore(0x04, s) // Store the function selector.
            mstore(result, 4) // Store the length.
        }
    }

    /// @dev Casts the `data` into a pointer.
    function _ptr(bytes memory data) private pure returns (bytes32 result) {
        /// @solidity memory-safe-assembly
        assembly {
            result := data
        }
    }
}

{
  "remappings": [
    "forge-std/=lib/forge-std/src/",
    "solady/=lib/solady/src/"
  ],
  "optimizer": {
    "enabled": true,
    "runs": 9999999
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "evmVersion": "cancun",
  "viaIR": true,
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","type":"constructor"},{"inputs":[],"name":"InsufficientSwap","type":"error"},{"inputs":[],"name":"InvalidCharacter","type":"error"},{"inputs":[],"name":"InvalidReceiver","type":"error"},{"inputs":[],"name":"InvalidSelector","type":"error"},{"inputs":[],"name":"InvalidSwap","type":"error"},{"inputs":[],"name":"InvalidSyntax","type":"error"},{"inputs":[],"name":"Overflow","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"name","type":"string"}],"name":"NameSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"token0","type":"address"},{"indexed":false,"internalType":"address","name":"token1","type":"address"},{"indexed":false,"internalType":"address","name":"pair","type":"address"}],"name":"PairSet","type":"event"},{"stateMutability":"payable","type":"fallback"},{"inputs":[{"internalType":"string","name":"name","type":"string"}],"name":"addresses","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"intent","type":"string"},{"components":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"bytes","name":"initCode","type":"bytes"},{"internalType":"bytes","name":"callData","type":"bytes"},{"internalType":"bytes32","name":"accountGasLimits","type":"bytes32"},{"internalType":"uint256","name":"preVerificationGas","type":"uint256"},{"internalType":"bytes32","name":"gasFees","type":"bytes32"},{"internalType":"bytes","name":"paymasterAndData","type":"bytes"},{"internalType":"bytes","name":"signature","type":"bytes"}],"internalType":"struct IETH.PackedUserOperation","name":"userOp","type":"tuple"}],"name":"checkUserOp","outputs":[{"internalType":"bool","name":"intentMatched","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string[]","name":"intents","type":"string[]"}],"name":"command","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"intent","type":"string"}],"name":"command","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"addresses","type":"address"}],"name":"names","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"token0","type":"address"},{"internalType":"address","name":"token1","type":"address"}],"name":"pairs","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"intent","type":"string"}],"name":"previewCommand","outputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"minAmountOut","type":"uint256"},{"internalType":"address","name":"token","type":"address"},{"internalType":"bytes","name":"callData","type":"bytes"},{"internalType":"bytes","name":"executeCallData","type":"bytes"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"to","type":"string"},{"internalType":"string","name":"amount","type":"string"},{"internalType":"string","name":"token","type":"string"}],"name":"send","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"string","name":"name","type":"string"}],"name":"setName","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"setName","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenA","type":"address"},{"internalType":"address","name":"tokenB","type":"address"},{"internalType":"address","name":"pair","type":"address"}],"name":"setPair","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"amountIn","type":"string"},{"internalType":"string","name":"amountOutMin","type":"string"},{"internalType":"string","name":"tokenIn","type":"string"},{"internalType":"string","name":"tokenOut","type":"string"},{"internalType":"string","name":"receiver","type":"string"}],"name":"swap","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes","name":"callData","type":"bytes"}],"name":"translateCommand","outputs":[{"internalType":"string","name":"intent","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes","name":"callData","type":"bytes"}],"name":"translateExecute","outputs":[{"internalType":"string","name":"intent","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"bytes","name":"initCode","type":"bytes"},{"internalType":"bytes","name":"callData","type":"bytes"},{"internalType":"bytes32","name":"accountGasLimits","type":"bytes32"},{"internalType":"uint256","name":"preVerificationGas","type":"uint256"},{"internalType":"bytes32","name":"gasFees","type":"bytes32"},{"internalType":"bytes","name":"paymasterAndData","type":"bytes"},{"internalType":"bytes","name":"signature","type":"bytes"}],"internalType":"struct IETH.PackedUserOperation","name":"userOp","type":"tuple"}],"name":"translateUserOp","outputs":[{"internalType":"string","name":"intent","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"name","type":"string"}],"name":"whatIsTheAddressOf","outputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"bytes32","name":"node","type":"bytes32"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f5b61000e6100e2565b5181146100d35761002a6100206100e2565b600183019061015e565b5160f81c5f5b6100418361003c6100e2565b61015e565b5160f81c60ff8216146100c957600354680100000000000000008110156100b55760018101806003558110156100a15760ff9160019160035f5260205f208160051c019060f882549160031b16908587831b921b19161790550116610030565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52604160045260245ffd5b5050600201610006565b604051614b3390816101708239f35b60405190608082016001600160401b038111838210176100b5576040908152604483527f2d00020101000a010700016101620163016401650166016701680169016a016b60208401527f016c016d016e016f0170017101720173017401750176017701780179017a060090830152621a010560e81b6060830152565b9081518110156100a157016020019056fe6080604052600436101561018e575b361561017157600435609a3560601c6024355f83131580610167575b61013f5761003d60ae3560601c83613844565b9281330361013b576084355f1a15610116575050811561011057825b5f3881808473c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af150336014526034526fa9059cbb0000000000000000000000005f525f38604460108373c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af1505f6034525b6085355f1a6100bf57005b610107926100d29215610109575061180f565b632e1a7d4d5f52806020525f386024601c8373c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af15060c23560601c613490565b005b905061180f565b80610059565b61012f9184156101345785915b60863560601c9061343b565b6100b4565b8391610123565b3838fd5b7f11157667000000000000000000000000000000000000000000000000000000005f5260045ffd5b505f81131561002a565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2330361013b57005b5f3560e01c8063046591971461114f5780633121db1c14610eaf57806352a13e8814610d8e5780635615264d14610cf9578063579a8c4c14610be25780635cf3d34614610b7f5780635fcc450014610b2c5780636662c9e314610a5657806369454b86146109b45780637bb410121461085357806394a78edb14610524578063a35e65111461047a578063bdfe7d47146103f1578063bfe686761461033f578063c47d04e2146102b95763f12a64eb0361000e57346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55761029d6102976102b19236906004016111a0565b9061291c565b6040519182916020835260208301906111ce565b0390f35b5f80fd5b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55773ffffffffffffffffffffffffffffffffffffffff6103276103226060933690600401611324565b61230c565b91929081604051941684521660208301526040820152f35b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55773ffffffffffffffffffffffffffffffffffffffff6102b16103e36103b36103ad849536906004016111a0565b90611dee565b959497929093604051998a991689526020890152604088015216606086015260c0608086015260c08501906111ce565b9083820360a08501526111ce565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55773ffffffffffffffffffffffffffffffffffffffff60208061045981943690600401611324565b604051928184925191829101835e81015f8152030190205416604051908152f35b346102b55760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b5576104c99036906004016111a0565b906024359067ffffffffffffffff82116102b5576101207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc83360301126102b55760209261051a9260040191611d99565b6040519015158152f35b60207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b557610556611211565b6306fdde0360045260045f5261057361056e826147e3565b612cd2565b906395d89b4160045260045f5261058c61056e826147e3565b9073ffffffffffffffffffffffffffffffffffffffff81165f52600160205260405f20825167ffffffffffffffff8111610826576105ca8254611342565b601f81116107e1575b506020601f821160011461071d57947fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda1759592826106a69388955f91610712575b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c19161790555b604051602081835180838601835e81015f81520301902073ffffffffffffffffffffffffffffffffffffffff85167fffffffffffffffffffffffff0000000000000000000000000000000000000000825416179055604051918291858361148b565b0390a1604051602081845180838701835e81015f81520301902073ffffffffffffffffffffffffffffffffffffffff82167fffffffffffffffffffffffff000000000000000000000000000000000000000082541617905561070d6040519283928361148b565b0390a1005b905087015189610613565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0821690835f52805f20915f5b8181106107c95750837fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda17598938996936106a69660019410610792575b5050811b019055610644565b8901517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c191690558980610786565b9192602060018192868b01518155019401920161074a565b825f5260205f20601f830160051c8101916020841061081c575b601f0160051c01905b81811061081157506105d3565b5f8155600101610804565b90915081906107fb565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b60607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b557610885611211565b61088d611234565b9060443573ffffffffffffffffffffffffffffffffffffffff81168091036102b55782908273da000000000000d2885f108500803dfbaab2f2aa330361013b577f0664a178e530b983dd853e440d433bbd0e0bb8991c3e7293c2360df7dc79751d948473ffffffffffffffffffffffffffffffffffffffff6060961673ffffffffffffffffffffffffffffffffffffffff831610610995575b505073ffffffffffffffffffffffffffffffffffffffff80911692835f52600260205260405f208282165f5260205260405f20837fffffffffffffffffffffffff00000000000000000000000000000000000000008254161790556040519384521660208301526040820152a1005b9350905073ffffffffffffffffffffffffffffffffffffffff80610926565b346102b55760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b5576109eb611211565b73ffffffffffffffffffffffffffffffffffffffff610a08611234565b91165f52600260205273ffffffffffffffffffffffffffffffffffffffff60405f2091165f52602052602073ffffffffffffffffffffffffffffffffffffffff60405f205416604051908152f35b60a07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557610aa0903690600401611324565b60243567ffffffffffffffff81116102b557610ac0903690600401611324565b9060443567ffffffffffffffff81116102b557610ae1903690600401611324565b60643567ffffffffffffffff81116102b557610b01903690600401611324565b906084359367ffffffffffffffff85116102b557610b26610107953690600401611324565b9361183b565b60207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557610b796101079136906004016111a0565b90611638565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55773ffffffffffffffffffffffffffffffffffffffff610bcb611211565b165f5260016020526102b161029d60405f20611393565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557806004016101207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc83360301126102b55760646102b19201907fb61d27f6000000000000000000000000000000000000000000000000000000007fffffffff00000000000000000000000000000000000000000000000000000000610ca884846114b8565b90358281169160048110610ce4575b50501603610ccc5761029d91610297916114b8565b610cdf91610cd9916114b8565b90611451565b61029d565b839250829060040360031b1b16168680610cb7565b60607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557610d43903690600401611324565b60243567ffffffffffffffff81116102b557610d63903690600401611324565b906044359167ffffffffffffffff83116102b557610d88610107933690600401611324565b9161154a565b60207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557366023820112156102b55780600401359067ffffffffffffffff82116102b55760248101903660248460051b830101116102b5575f5b838103610e0957005b83811015610e8257610e26610b7960248360051b850101856114b8565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610e5557600101610e00565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b60407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b557610ee1611211565b60243567ffffffffffffffff81116102b557610f019036906004016111a0565b73da000000000000d2885f108500803dfbaab2f2aa330361013b57610f2b9161056e9136916112ee565b73ffffffffffffffffffffffffffffffffffffffff82165f52600160205260405f209181519267ffffffffffffffff841161082657610f6a8154611342565b601f811161110a575b50602093601f811160011461104c57807fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda175955f91611041575b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c19161790555b604051602081845180838701835e81015f81520301902073ffffffffffffffffffffffffffffffffffffffff82167fffffffffffffffffffffffff000000000000000000000000000000000000000082541617905561070d6040519283928361148b565b905084015186610fac565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0811694825f52805f20955f5b8181106110f257509582916001937fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda17598106110bb575b5050811b019055610fdd565b8601517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c1916905586806110af565b86830151885560019097019660209283019201611079565b815f5260205f20601f860160051c81019160208710611145575b601f0160051c01905b81811061113a5750610f73565b5f815560010161112d565b9091508190611124565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55761029d610cd96102b19236906004015b9181601f840112156102b55782359167ffffffffffffffff83116102b557602083818601950101116102b557565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602080948051918291828752018686015e5f8582860101520116010190565b6004359073ffffffffffffffffffffffffffffffffffffffff821682036102b557565b6024359073ffffffffffffffffffffffffffffffffffffffff821682036102b557565b6040810190811067ffffffffffffffff82111761082657604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761082657604052565b67ffffffffffffffff811161082657601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b9291926112fa826112b4565b916113086040519384611273565b8294818452818301116102b5578281602093845f960137010152565b9080601f830112156102b55781602061133f933591016112ee565b90565b90600182811c92168015611389575b602083101461135c57565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b91607f1691611351565b9060405191825f8254926113a684611342565b808452936001811690811561141157506001146113cd575b506113cb92500383611273565b565b90505f9291925260205f20905f915b8183106113f55750509060206113cb928201015f6113be565b60209193508060019154838589010152019101909184926113dc565b602093506113cb9592507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0091501682840152151560051b8201015f6113be565b90806004116102b55761133f9160047ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36930191016112ee565b60409073ffffffffffffffffffffffffffffffffffffffff61133f949316815281602082015201906111ce565b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1813603018212156102b5570180359067ffffffffffffffff82116102b5576020019181360383136102b557565b60208151910151906020811061151d575090565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9060200360031b1b1690565b9061155c61155784611509565b612d3e565b92909373ffffffffffffffffffffffffffffffffffffffff8516156115f5575b5061159b9161158b859261230c565b5094905080156115e257906130fa565b9073ffffffffffffffffffffffffffffffffffffffff831673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee036115d7576113cb9250613490565b6113cb92339061343b565b5060ff6115ee8361308a565b16906130fa565b61158b94509173ffffffffffffffffffffffffffffffffffffffff60208061159b95604051928184925191829101835e81015f815203019020541694509161157c565b61056e906116479236916112ee565b611650816134ac565b7f73656e6400000000000000000000000000000000000000000000000000000000811480156117e6575b80156117bd575b8015611794575b1561169a5750610d886113cb916137d8565b7f7377617000000000000000000000000000000000000000000000000000000000811490811561176a575b8115611740575b8115611716575b50156116ee576116e56113cb9161359f565b9392909261183b565b7f1e3382cb000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f7374616b650000000000000000000000000000000000000000000000000000009150145f6116d3565b7f65786368616e6765000000000000000000000000000000000000000000000000811491506116cc565b7f73656c6c00000000000000000000000000000000000000000000000000000000811491506116c5565b507f6772616e740000000000000000000000000000000000000000000000000000008114611688565b507f70617900000000000000000000000000000000000000000000000000000000008114611681565b507f7472616e73666572000000000000000000000000000000000000000000000000811461167a565b7f80000000000000000000000000000000000000000000000000000000000000008114610e55575f0390565b919293906040519260a084019184831067ffffffffffffffff8411176108265773ffffffffffffffffffffffffffffffffffffffff9687936040525f865260208601965f88525f60408801525f60608801525f608088015261189f61155782611509565b951680604089015215611d71575b506118ba61155782611509565b981680606088015215611d35575b5073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee73ffffffffffffffffffffffffffffffffffffffff60408701511614808652611d16575b73eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee73ffffffffffffffffffffffffffffffffffffffff60608701511614808752611cf7575b5f968151611c94575b5050805115918215611c155750507f8000000000000000000000000000000000000000000000000000000000000000855b8060808601521015611bed57611ac1936040928051155f14611bc4575073ffffffffffffffffffffffffffffffffffffffff5f8133945b6119c282888a0151168360608b01511690613844565b9990958051158514611bbd5787925b158514611b89577fffffffffffffffffffffffffffffffffffffffff00000000000000000000000060808b0151985b8c8714611b6d57816401000276a49c5b8181511515955115159160608f820151910151928f519760f81b602089015260f81b60218801523360601b602288015260601b16603686015260601b16604a84015260601b16605e82015260528152611a6a607282611273565b8389519a8b998a9889967f128acb080000000000000000000000000000000000000000000000000000000088521660048701528d15156024870152604486015216606484015260a0608484015260a48301906111ce565b0393165af1908115611b62575f905f92611b28575b5083611ae3575b50505050565b611af29215610109575061180f565b10611b00575f808080611add565b7fc1328a53000000000000000000000000000000000000000000000000000000005f5260045ffd5b9150506040813d604011611b5a575b81611b4460409383611273565b810103126102b55760208151910151905f611ad6565b3d9150611b37565b6040513d5f823e3d90fd5b8173fffd8963efd1fc6a506488495d951d5263988d259c611a10565b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000611bb760808c015161180f565b98611a00565b30926119d1565b5f73ffffffffffffffffffffffffffffffffffffffff611be4819361230c565b509050946119ac565b7f35278d12000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f800000000000000000000000000000000000000000000000000000000000000091611c63918015611c68575b73ffffffffffffffffffffffffffffffffffffffff604088015116916130fa565b611975565b5060ff611c8e73ffffffffffffffffffffffffffffffffffffffff60408901511661308a565b16611c42565b919650611cc3918015611ccb575b73ffffffffffffffffffffffffffffffffffffffff606087015116916130fa565b945f80611944565b5060ff611cf173ffffffffffffffffffffffffffffffffffffffff60608801511661308a565b16611ca2565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2606086015261193b565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc26040860152611902565b604051815173ffffffffffffffffffffffffffffffffffffffff92602091839181908401835e81015f815203019020541660608601525f6118c8565b60405181518a92602091839181908401835e81015f815203019020541660408701525f6118ad565b90611da391611dee565b94505050505080519060608301611dba81856114b8565b90508303611de657611ddb926020611dd4930120936114b8565b36916112ee565b602081519101201490565b505050505f90565b90611e0161056e5f9360609336916112ee565b90611e0b826134ac565b7f73656e6400000000000000000000000000000000000000000000000000000000811480156122b7575b801561228e575b8015612265575b1561202c575050611e53906137d8565b909291906060611e6561155783611509565b95909273ffffffffffffffffffffffffffffffffffffffff841615611fed575b5082611ed191611ec173eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee73ffffffffffffffffffffffffffffffffffffffff8416149661230c565b5098905080156115e257906130fa565b928015611f8b575b8015611f845785905b15611f7e57835b73ffffffffffffffffffffffffffffffffffffffff604051927fb61d27f6000000000000000000000000000000000000000000000000000000006020850152166024830152604482015260606064820152611f7781611f4b60848201856111ce565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b9091929495565b5f611ee9565b8290611ee2565b90506040517fa9059cbb00000000000000000000000000000000000000000000000000000000602082015273ffffffffffffffffffffffffffffffffffffffff8616602482015283604482015260448152611fe7606482611273565b90611ed9565b611ed191935060208073ffffffffffffffffffffffffffffffffffffffff92604051928184925191829101835e81015f81520301902054169290611e85565b909392507f7377617000000000000000000000000000000000000000000000000000000000811490811561223b575b8115612211575b81156121e7575b50156116ee576120789061359f565b92949195905f9561208b61155789611509565b96909873ffffffffffffffffffffffffffffffffffffffff8a16156121ab575b5088906120ba61155785611509565b98909473ffffffffffffffffffffffffffffffffffffffff861615612162575b5061210093859390926120f39280156115e257906130fa565b9780156115e257906130fa565b93805161214d575b50959293947fffffffffffffffffffffffffffffffffffffffff0000000000000000000000006040519160601b1660208201526014815261214a603482611273565b91565b61215891965061230c565b509050945f612108565b612100949295509273ffffffffffffffffffffffffffffffffffffffff6020806120f39496604051928184925191829101835e81015f81520301902054169592945092906120da565b73ffffffffffffffffffffffffffffffffffffffff91995060208091604051928184925191829101835e81015f8152030190205416975f6120ab565b7f7374616b650000000000000000000000000000000000000000000000000000009150145f612069565b7f65786368616e676500000000000000000000000000000000000000000000000081149150612062565b7f73656c6c000000000000000000000000000000000000000000000000000000008114915061205b565b507f6772616e740000000000000000000000000000000000000000000000000000008114611e43565b507f70617900000000000000000000000000000000000000000000000000000000008114611e3c565b507f7472616e736665720000000000000000000000000000000000000000000000008114611e35565b908160209103126102b5575173ffffffffffffffffffffffffffffffffffffffff811681036102b55790565b80515f92918391602a81036124435750602a8151036116ee575f6002915b602a830361234e575073ffffffffffffffffffffffffffffffffffffffff91501691565b9060041b61235c83836130b2565b5160f81c90603082101580612438575b156123a45760ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd0600193011601925b01919061232a565b60418210158061242d575b156123e35760ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc96001930116019261239c565b606182101580612422575b156116ee5760ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa96001930116019261239c565b5060668211156123ee565b5060468211156123af565b50603982111561236c565b60209394506124b39250600491818592604051968793018484015e81017f2e657468000000000000000000000000000000000000000000000000000000008382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe4810184520182611273565b5f9080518081600354905b61275b57509080602092039201012060405190602082019283526040820152604081526124ec606082611273565b51902090604051917f02571be30000000000000000000000000000000000000000000000000000000083528060048401526020836024816e0c2e074ec69a0dfb2997ba6c7d2e1e5afa928315611b62575f9361273a575b5073d4416b13d2b3a9abae7acd5d6c2bbdbe2568640173ffffffffffffffffffffffffffffffffffffffff8416146126bb575b604051917f0178b8bf0000000000000000000000000000000000000000000000000000000083528160048401526020836024816e0c2e074ec69a0dfb2997ba6c7d2e1e5afa928315611b625773ffffffffffffffffffffffffffffffffffffffff936020915f9161269e575b506024604051809681937f3b3b57de000000000000000000000000000000000000000000000000000000008352876004840152165afa928315611b62575f9361266d575b5073ffffffffffffffffffffffffffffffffffffffff83161561264557565b7f1e4ec46b000000000000000000000000000000000000000000000000000000005f5260045ffd5b61269091935060203d602011612697575b6126888183611273565b8101906122e0565b915f612626565b503d61267e565b6126b59150823d8411612697576126888183611273565b5f6125e2565b91506040517f6352211e00000000000000000000000000000000000000000000000000000000815282600482015260208160248173d4416b13d2b3a9abae7acd5d6c2bbdbe256864015afa908115611b62575f9161271b575b5091612576565b612734915060203d602011612697576126888183611273565b5f612714565b61275491935060203d602011612697576126888183611273565b915f612543565b917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81019061278a82866130b2565b517fff0000000000000000000000000000000000000000000000000000000000000081167f2e000000000000000000000000000000000000000000000000000000000000008114612890577f800000000000000000000000000000000000000000000000000000000000000011156102b557848160f81c1015610e825760ff9060035f5260f86107f88260fd1c7fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b01549260f51c16161c1680156102b5577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff926001821161287e575b50505b0191826124be565b61288890876130b2565b535f80612873565b50509194827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9296036020848701012060405190602082019283526040820152604081526128df606082611273565b5190209491612876565b91908260409103126102b557813573ffffffffffffffffffffffffffffffffffffffff811681036102b557916020013590565b90806044116102b5578161294b604473ffffffffffffffffffffffffffffffffffffffff9401600483016128e9565b93169280612c1557508160881192836102b5577fffffffff00000000000000000000000000000000000000000000000000000000608483013516937fa9059cbb0000000000000000000000000000000000000000000000000000000085149485159081612be7575b50612bbf576102b55760209361133f936006936129cf84613f37565b929094859380965115612ba4575b15612b58575b5087928380612a6373ffffffffffffffffffffffffffffffffffffffff612a5c612a1760019a9860888699820191016128e9565b9b909815612b1b57604051612a2d604082611273565b600581527f73656e6420000000000000000000000000000000000000000000000000000000868201529b613d3b565b9616613e3f565b946040519b898d9a5191829101848c015e8901908282015f8152815193849201905e0101907f200000000000000000000000000000000000000000000000000000000000000082528051928391018683015e01907f20746f203078000000000000000000000000000000000000000000000000000084830152805192839101600783015e01015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b604051612b29604082611273565b600881527f617070726f766520000000000000000000000000000000000000000000000000868201529b613d3b565b88808095928194985073ffffffffffffffffffffffffffffffffffffffff612a5c612a1760019a98608860ff612b90612a639761308a565b169d995050989a50505050505050926129e3565b9350805f5260018952612bb960405f20611393565b936129dd565b7f7352d91c000000000000000000000000000000000000000000000000000000005f5260045ffd5b9150507f095ea7b3000000000000000000000000000000000000000000000000000000005f9114155f6129b3565b61133f9250600a91509260256020612c36612c308297613c04565b93613e3f565b6040519687947f73656e6420000000000000000000000000000000000000000000000000000000828701528051918291018587015e8401907f2045544820746f2030780000000000000000000000000000000000000000000084830152805192839101602f83015e01015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b90815191604051835b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff810190601f8185015160ff1660206bffffffc00000000000000000821c1618918401015380612cdb57505050604080519280845283015f602082015201604052565b5f915f917f657468000000000000000000000000000000000000000000000000000000000081148015613061575b613043577f75736463000000000000000000000000000000000000000000000000000000008114613025577f757364740000000000000000000000000000000000000000000000000000000081148015612ffc575b612fde577f64616900000000000000000000000000000000000000000000000000000000008114612fc0577f77657468000000000000000000000000000000000000000000000000000000008114612fa2577f776274630000000000000000000000000000000000000000000000000000000081148015612f79575b8015612f50575b612f32577f737465746800000000000000000000000000000000000000000000000000000081148015612f09575b8015612ee0575b612ec2577f726574680000000000000000000000000000000000000000000000000000000014612ea557565b73ae78736cd615f374d3085123a210448e74fc6393925060129150565b50737f39c581f595b53c5cb19bd0b3f8da6c935e2ca0925060129150565b507f6c69646f000000000000000000000000000000000000000000000000000000008114612e79565b507f77737465746800000000000000000000000000000000000000000000000000008114612e72565b50732260fac5e5542a773aa44fbcfedf7c193bc2c599925060089150565b507f626974636f696e000000000000000000000000000000000000000000000000008114612e44565b507f62746300000000000000000000000000000000000000000000000000000000008114612e3d565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2925060129150565b50736b175474e89094c44da98b954eedeac495271d0f925060129150565b5073dac17f958d2ee523a2206206994597c13d831ec7925060069150565b507f74657468657200000000000000000000000000000000000000000000000000008114612dc1565b5073a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48925060069150565b5073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee925060129150565b507f65746865720000000000000000000000000000000000000000000000000000008114612d6c565b60208060ff9263313ce56760045260045f52815f5191620186a0fa601f3d1116602051021690565b908151811015610e82570160200190565b81156130cd570490565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b92915f61310685611509565b7f616c6c00000000000000000000000000000000000000000000000000000000008114908115613411575b506133c8578451945f905f905f975f5b8181106131e0575b50505090155f146131c0575082600a0a02935b613164575050565b919261133f9273ffffffffffffffffffffffffffffffffffffffff811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee036131af575033313401915b600a0a60640291026130c3565b6131ba9033906141dd565b916131a2565b8381969296106131d1575b5061315c565b8303600a0a909402935f6131cb565b6131ea81846130b2565b517fff0000000000000000000000000000000000000000000000000000000000000081167f30000000000000000000000000000000000000000000000000000000000000008110158061339e575b1561329657508596600a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd09260f89897981c9102010195613281575b6001905b01939293613141565b93600101938785111561327457939293613149565b90507f2e0000000000000000000000000000000000000000000000000000000000000081969295961480613396575b156132d557505060018093613278565b7f2500000000000000000000000000000000000000000000000000000000000000819b92959b148061336b575b1561331257505060018099613278565b9099907fe0000000000000000000000000000000000000000000000000000000000000000161334357600190613278565b7f312a9f56000000000000000000000000000000000000000000000000000000005f5260045ffd5b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83018b14613302565b5081156132c5565b507f3900000000000000000000000000000000000000000000000000000000000000811115613238565b509192505073ffffffffffffffffffffffffffffffffffffffff811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee0361340657503331340190565b61133f9033906141dd565b7f31303025000000000000000000000000000000000000000000000000000000009150145f613131565b601c5f60649281946020966040519860605260405260601b602c526f23b872dd000000000000000000000000600c525af13d1560015f5114171615613483575f606052604052565b637939f4245f526004601cfd5b5f80809338935af11561349f57565b63b12d13eb5f526004601cfd5b602001516020905f5b602081106134ed575b50907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9060200360031b1b1690565b81811a60208115911417613503576001016134b5565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6134be565b805160011015610e825760400190565b805160041015610e825760a00190565b805160021015610e825760600190565b805160051015610e825760c00190565b805160031015610e825760800190565b805160061015610e825760e00190565b8051821015610e825760209160051b010190565b6135a88161421e565b908151600581145f1461367757506135d16135cc6135c58461352b565b51836143dd565b614448565b1561362c576136026135e56135c58461352b565b916135fb6135f56135c58661354b565b9461353b565b51906143dd565b9092604051613612602082611273565b5f8152929190604051613626602082611273565b5f815290565b9161365361364361363c8461356b565b51856143dd565b936135fb6135f56135c58661352b565b90604051613662602082611273565b5f815293929190604051613626602082611273565b909290600681036136d6575061369661368f8361352b565b51846143dd565b906136c36136ad6136a68561353b565b51866143dd565b946135fb6136bd6135c58761354b565b9561355b565b9193929190604051613626602082611273565b909290600781036137765750906136f26135cc61368f8361352b565b15613741576137036135c58261352b565b61372861371261363c8461354b565b936135fb6137226135c58661353b565b9461357b565b9093604051613738602082611273565b5f815293929190565b61374d6135c58261356b565b9261375d61371261363c8461352b565b9060405161376c602082611273565b5f81529493929190565b6008036116ee576137906137898361352b565b51826143dd565b61379c6135c58461353b565b936137a961368f8561354b565b936137b661363c8261355b565b93815160071015610e82576101006137d0920151906143dd565b919493929190565b6137e18161421e565b91600483511461381f5782516005036116ee5761381961380361368f8561353b565b926135fb6138136135c58761352b565b9561354b565b91929190565b61381961382e61368f8561352b565b926135fb61383e6135c58761354b565b9561356b565b915f73ffffffffffffffffffffffffffffffffffffffff831673ffffffffffffffffffffffffffffffffffffffff8516105f14613bfd57506001915b61388a818561452d565b9373ffffffffffffffffffffffffffffffffffffffff8516156138ab575050565b90935073ffffffffffffffffffffffffffffffffffffffff81165f52600260205260405f2073ffffffffffffffffffffffffffffffffffffffff85165f5260205273ffffffffffffffffffffffffffffffffffffffff60405f205416938415613912575050565b73ffffffffffffffffffffffffffffffffffffffff9294506060604051838152826020820152606460408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f98400000000000000000000000060015260155260555f20915f60355260606040518281528360208201526101f460408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f98400000000000000000000000060015260155260555f20915f6035526060604051838152826020820152610bb860408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f984000000000000000000000000600152601552606060555f20915f60355260405190848252602082015261271060408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f98400000000000000000000000060015260155260555f20925f603552604051613af181611257565b5f81525f602082015294803b613bd3575b50803b613b95575b50803b613b57575b50813b613b21575b5050511691565b81613b2b916141dd565b6020830151811115613b1a579091508260405192613b4884611257565b16825260208201525f80613b1a565b613b6181836141dd565b60208501518111613b73575b50613b12565b909193508460405192613b8584611257565b1682526020820152915f80613b6d565b613b9f81846141dd565b60208601518111613bb1575b50613b0a565b909194508560405192613bc384611257565b1682526020820152925f80613bab565b909450613be081846141dd565b8660405192613bee84611257565b1682526020820152935f613b02565b9192613880565b90613c23670de0b6b3a7640000613c1c8185046148fe565b93066148fe565b6012815114613ca257613c9d60216020926040519384917f3000000000000000000000000000000000000000000000000000000000000000828401528051918291018484015e81015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b613c23565b613cae909291926149a1565b805115613d37576001602092838061133f946040519684889551918291018487015e8401907f2e0000000000000000000000000000000000000000000000000000000000000083830152805192839101602183015e01015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b5090565b91909182600a0a90613d55613d5083836130c3565b6148fe565b9180156130cd57613d6691066148fe565b83815114613de457613ddf60216020926040519384917f3000000000000000000000000000000000000000000000000000000000000000828401528051918291018484015e81015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b613d66565b613cae919293506149a1565b90613dfa826112b4565b613e076040519182611273565b8281527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0613e3582946112b4565b0190602036910137565b90604051613e4e606082611273565b6028815260403660208301375f5b60148103613e6957509150565b8060ff80613e976001809560130360031b1b73ffffffffffffffffffffffffffffffffffffffff89166130c3565b161660f481901b7f0f000000000000000000000000000000000000000000000000000000000000001690613f30908490613f26907fff000000000000000000000000000000000000000000000000000000000000009060ff60f0610ff082613efe8a614ab8565b998d613f108d8b1b809d5f1a926130b2565b5360f81c1660041b161691160360f81b16614ab8565b5f1a9201856130b2565b5301613e5c565b60609173ffffffffffffffffffffffffffffffffffffffff5f921673a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48811461419b5773dac17f958d2ee523a2206206994597c13d831ec7811461415957736b175474e89094c44da98b954eedeac495271d0f81146141175773c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281146140d557732260fac5e5542a773aa44fbcfedf7c193bc2c599811461409357737f39c581f595b53c5cb19bd0b3f8da6c935e2ca081146140515773ae78736cd615f374d3085123a210448e74fc63931461401057565b915050604051614021604082611273565b600481527f5245544800000000000000000000000000000000000000000000000000000000602082015290601290565b50915050604051614063604082611273565b600681527f5753544554480000000000000000000000000000000000000000000000000000602082015290601290565b509150506040516140a5604082611273565b600481527f5742544300000000000000000000000000000000000000000000000000000000602082015290600890565b509150506040516140e7604082611273565b600481527f5745544800000000000000000000000000000000000000000000000000000000602082015290601290565b50915050604051614129604082611273565b600381527f4441490000000000000000000000000000000000000000000000000000000000602082015290601290565b5091505060405161416b604082611273565b600481527f5553445400000000000000000000000000000000000000000000000000000000602082015290600690565b509150506040516141ad604082611273565b600481527f5553444300000000000000000000000000000000000000000000000000000000602082015290600690565b602460106020939284936f70a082310000000000000000000000005f526014525afa5060205190565b67ffffffffffffffff81116108265760051b60200190565b908151906001915f5b81810361437657507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe061427261425c85614206565b9461426a6040519687611273565b808652614206565b015f5b818110614353575050825f915f905f5b8181036142bb57506142b894959650604051916142a183611257565b825260208201526142b2838361358b565b5261358b565b50565b7f20000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000614307838b6130b2565b511614614317575b600101614285565b9193614348906040519561432a87611257565b86528360208701526001810195614341828761358b565b528461358b565b50600182019161430f565b60209060405161436281611257565b5f81525f8382015282828801015201614275565b7f20000000000000000000000000000000000000000000000000000000000000007fff000000000000000000000000000000000000000000000000000000000000006143c283886130b2565b5116146143d2575b600101614227565b6001909301926143ca565b91906143f0602082015182519003613df0565b905f5b8251811461444157807fff0000000000000000000000000000000000000000000000000000000000000061442c600193855101886130b2565b51165f1a61443a82866130b2565b53016143f3565b5090925050565b7f616c6c000000000000000000000000000000000000000000000000000000000061447282611509565b1461452757805115610e8257602081017f30000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000825116101591826144d457505090565b9091505115610e82577fff000000000000000000000000000000000000000000000000000000000000007f3900000000000000000000000000000000000000000000000000000000000000915116111590565b50600190565b919073ffffffffffffffffffffffffffffffffffffffff5f9316737f39c581f595b53c5cb19bd0b3f8da6c935e2ca08114806147b0575b6147955773ae78736cd615f374d3085123a210448e74fc6393811480614762575b6147475773a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48811480614714575b6146f95773c02aaa39b223fe8d0a0e5c4f27ead9083c756cc28114806146c6575b6146ab57736b175474e89094c44da98b954eedeac495271d0f811480614678575b61465d57732260fac5e5542a773aa44fbcfedf7c193bc2c599149081614629575b5061461057565b734585fe77225b41b697c938b018e2ac67ac5a20c09150565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2915073ffffffffffffffffffffffffffffffffffffffff16145f614609565b5073c2e9f25be6257c210d7adf0d4cd6e3e881ba25f8925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff8316146145e8565b507311b815efb8f581194ae79006d24e0d814b7697f6925050565b5073dac17f958d2ee523a2206206994597c13d831ec773ffffffffffffffffffffffffffffffffffffffff8316146145c7565b507388e6a0c2ddd26feeb64f039a2c41296fcb3f5640925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff8316146145a6565b5073553e9c493678d8606d6a5ba284643db2110df823925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff831614614585565b5073109830a1aaad605bbf02a9dfa7b0b92ec2fb7daa925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff831614614564565b60205f60609282825191620186a0fa1561133f57506040518060200160403d1015614866575b5f60203d806103e8106103e8821802188083853e840101535b80515f1a1561483357600101614822565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08282030182525f815260200160405290565b5f517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe03d01811115614899575b50614809565b602081843e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0813d03018351908111156148d35750614893565b90604092826020936103e8106103e88218021892839283875201903e82015f60208201520160405290565b90604051600a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff608083019460a084016040525f8652945b0193818106603001855304928315614971577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600a91614936565b92506080837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09203019201918252565b90815190815b80151580614a41575b156149dc577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016149a7565b909181146142b8576149ed81613df0565b905f5b8181036149fe575090925050565b807fff00000000000000000000000000000000000000000000000000000000000000614a2c600193886130b2565b51165f1a614a3a82866130b2565b53016149f0565b507f30000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000614ab07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8401876130b2565b5116146149b0565b7fff000000000000000000000000000000000000000000000000000000000000009060f81c600f16600a811015614af5576030905b0160f81b1690565b605790614aed56fea264697066735822122013fca8ffab4aaec298cc63ded7780ab138c7a771f3b632dd7e099befb7446ae964736f6c634300081a0033

0x6080604052600436101561018e575b361561017157600435609a3560601c6024355f83131580610167575b61013f5761003d60ae3560601c83613844565b9281330361013b576084355f1a15610116575050811561011057825b5f3881808473c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af150336014526034526fa9059cbb0000000000000000000000005f525f38604460108373c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af1505f6034525b6085355f1a6100bf57005b610107926100d29215610109575061180f565b632e1a7d4d5f52806020525f386024601c8373c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af15060c23560601c613490565b005b905061180f565b80610059565b61012f9184156101345785915b60863560601c9061343b565b6100b4565b8391610123565b3838fd5b7f11157667000000000000000000000000000000000000000000000000000000005f5260045ffd5b505f81131561002a565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2330361013b57005b5f3560e01c8063046591971461114f5780633121db1c14610eaf57806352a13e8814610d8e5780635615264d14610cf9578063579a8c4c14610be25780635cf3d34614610b7f5780635fcc450014610b2c5780636662c9e314610a5657806369454b86146109b45780637bb410121461085357806394a78edb14610524578063a35e65111461047a578063bdfe7d47146103f1578063bfe686761461033f578063c47d04e2146102b95763f12a64eb0361000e57346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55761029d6102976102b19236906004016111a0565b9061291c565b6040519182916020835260208301906111ce565b0390f35b5f80fd5b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55773ffffffffffffffffffffffffffffffffffffffff6103276103226060933690600401611324565b61230c565b91929081604051941684521660208301526040820152f35b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55773ffffffffffffffffffffffffffffffffffffffff6102b16103e36103b36103ad849536906004016111a0565b90611dee565b959497929093604051998a991689526020890152604088015216606086015260c0608086015260c08501906111ce565b9083820360a08501526111ce565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55773ffffffffffffffffffffffffffffffffffffffff60208061045981943690600401611324565b604051928184925191829101835e81015f8152030190205416604051908152f35b346102b55760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b5576104c99036906004016111a0565b906024359067ffffffffffffffff82116102b5576101207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc83360301126102b55760209261051a9260040191611d99565b6040519015158152f35b60207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b557610556611211565b6306fdde0360045260045f5261057361056e826147e3565b612cd2565b906395d89b4160045260045f5261058c61056e826147e3565b9073ffffffffffffffffffffffffffffffffffffffff81165f52600160205260405f20825167ffffffffffffffff8111610826576105ca8254611342565b601f81116107e1575b506020601f821160011461071d57947fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda1759592826106a69388955f91610712575b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c19161790555b604051602081835180838601835e81015f81520301902073ffffffffffffffffffffffffffffffffffffffff85167fffffffffffffffffffffffff0000000000000000000000000000000000000000825416179055604051918291858361148b565b0390a1604051602081845180838701835e81015f81520301902073ffffffffffffffffffffffffffffffffffffffff82167fffffffffffffffffffffffff000000000000000000000000000000000000000082541617905561070d6040519283928361148b565b0390a1005b905087015189610613565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0821690835f52805f20915f5b8181106107c95750837fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda17598938996936106a69660019410610792575b5050811b019055610644565b8901517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c191690558980610786565b9192602060018192868b01518155019401920161074a565b825f5260205f20601f830160051c8101916020841061081c575b601f0160051c01905b81811061081157506105d3565b5f8155600101610804565b90915081906107fb565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b60607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b557610885611211565b61088d611234565b9060443573ffffffffffffffffffffffffffffffffffffffff81168091036102b55782908273da000000000000d2885f108500803dfbaab2f2aa330361013b577f0664a178e530b983dd853e440d433bbd0e0bb8991c3e7293c2360df7dc79751d948473ffffffffffffffffffffffffffffffffffffffff6060961673ffffffffffffffffffffffffffffffffffffffff831610610995575b505073ffffffffffffffffffffffffffffffffffffffff80911692835f52600260205260405f208282165f5260205260405f20837fffffffffffffffffffffffff00000000000000000000000000000000000000008254161790556040519384521660208301526040820152a1005b9350905073ffffffffffffffffffffffffffffffffffffffff80610926565b346102b55760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b5576109eb611211565b73ffffffffffffffffffffffffffffffffffffffff610a08611234565b91165f52600260205273ffffffffffffffffffffffffffffffffffffffff60405f2091165f52602052602073ffffffffffffffffffffffffffffffffffffffff60405f205416604051908152f35b60a07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557610aa0903690600401611324565b60243567ffffffffffffffff81116102b557610ac0903690600401611324565b9060443567ffffffffffffffff81116102b557610ae1903690600401611324565b60643567ffffffffffffffff81116102b557610b01903690600401611324565b906084359367ffffffffffffffff85116102b557610b26610107953690600401611324565b9361183b565b60207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557610b796101079136906004016111a0565b90611638565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55773ffffffffffffffffffffffffffffffffffffffff610bcb611211565b165f5260016020526102b161029d60405f20611393565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557806004016101207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc83360301126102b55760646102b19201907fb61d27f6000000000000000000000000000000000000000000000000000000007fffffffff00000000000000000000000000000000000000000000000000000000610ca884846114b8565b90358281169160048110610ce4575b50501603610ccc5761029d91610297916114b8565b610cdf91610cd9916114b8565b90611451565b61029d565b839250829060040360031b1b16168680610cb7565b60607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557610d43903690600401611324565b60243567ffffffffffffffff81116102b557610d63903690600401611324565b906044359167ffffffffffffffff83116102b557610d88610107933690600401611324565b9161154a565b60207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b557366023820112156102b55780600401359067ffffffffffffffff82116102b55760248101903660248460051b830101116102b5575f5b838103610e0957005b83811015610e8257610e26610b7960248360051b850101856114b8565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610e5557600101610e00565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b60407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b557610ee1611211565b60243567ffffffffffffffff81116102b557610f019036906004016111a0565b73da000000000000d2885f108500803dfbaab2f2aa330361013b57610f2b9161056e9136916112ee565b73ffffffffffffffffffffffffffffffffffffffff82165f52600160205260405f209181519267ffffffffffffffff841161082657610f6a8154611342565b601f811161110a575b50602093601f811160011461104c57807fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda175955f91611041575b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c19161790555b604051602081845180838701835e81015f81520301902073ffffffffffffffffffffffffffffffffffffffff82167fffffffffffffffffffffffff000000000000000000000000000000000000000082541617905561070d6040519283928361148b565b905084015186610fac565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0811694825f52805f20955f5b8181106110f257509582916001937fa4cea56cd77acc2291276688ddfb9e3144c5dc056ada99eed3cd0460fbeda17598106110bb575b5050811b019055610fdd565b8601517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c1916905586806110af565b86830151885560019097019660209283019201611079565b815f5260205f20601f860160051c81019160208710611145575b601f0160051c01905b81811061113a5750610f73565b5f815560010161112d565b9091508190611124565b346102b55760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126102b55760043567ffffffffffffffff81116102b55761029d610cd96102b19236906004015b9181601f840112156102b55782359167ffffffffffffffff83116102b557602083818601950101116102b557565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602080948051918291828752018686015e5f8582860101520116010190565b6004359073ffffffffffffffffffffffffffffffffffffffff821682036102b557565b6024359073ffffffffffffffffffffffffffffffffffffffff821682036102b557565b6040810190811067ffffffffffffffff82111761082657604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761082657604052565b67ffffffffffffffff811161082657601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b9291926112fa826112b4565b916113086040519384611273565b8294818452818301116102b5578281602093845f960137010152565b9080601f830112156102b55781602061133f933591016112ee565b90565b90600182811c92168015611389575b602083101461135c57565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b91607f1691611351565b9060405191825f8254926113a684611342565b808452936001811690811561141157506001146113cd575b506113cb92500383611273565b565b90505f9291925260205f20905f915b8183106113f55750509060206113cb928201015f6113be565b60209193508060019154838589010152019101909184926113dc565b602093506113cb9592507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0091501682840152151560051b8201015f6113be565b90806004116102b55761133f9160047ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36930191016112ee565b60409073ffffffffffffffffffffffffffffffffffffffff61133f949316815281602082015201906111ce565b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1813603018212156102b5570180359067ffffffffffffffff82116102b5576020019181360383136102b557565b60208151910151906020811061151d575090565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9060200360031b1b1690565b9061155c61155784611509565b612d3e565b92909373ffffffffffffffffffffffffffffffffffffffff8516156115f5575b5061159b9161158b859261230c565b5094905080156115e257906130fa565b9073ffffffffffffffffffffffffffffffffffffffff831673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee036115d7576113cb9250613490565b6113cb92339061343b565b5060ff6115ee8361308a565b16906130fa565b61158b94509173ffffffffffffffffffffffffffffffffffffffff60208061159b95604051928184925191829101835e81015f815203019020541694509161157c565b61056e906116479236916112ee565b611650816134ac565b7f73656e6400000000000000000000000000000000000000000000000000000000811480156117e6575b80156117bd575b8015611794575b1561169a5750610d886113cb916137d8565b7f7377617000000000000000000000000000000000000000000000000000000000811490811561176a575b8115611740575b8115611716575b50156116ee576116e56113cb9161359f565b9392909261183b565b7f1e3382cb000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f7374616b650000000000000000000000000000000000000000000000000000009150145f6116d3565b7f65786368616e6765000000000000000000000000000000000000000000000000811491506116cc565b7f73656c6c00000000000000000000000000000000000000000000000000000000811491506116c5565b507f6772616e740000000000000000000000000000000000000000000000000000008114611688565b507f70617900000000000000000000000000000000000000000000000000000000008114611681565b507f7472616e73666572000000000000000000000000000000000000000000000000811461167a565b7f80000000000000000000000000000000000000000000000000000000000000008114610e55575f0390565b919293906040519260a084019184831067ffffffffffffffff8411176108265773ffffffffffffffffffffffffffffffffffffffff9687936040525f865260208601965f88525f60408801525f60608801525f608088015261189f61155782611509565b951680604089015215611d71575b506118ba61155782611509565b981680606088015215611d35575b5073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee73ffffffffffffffffffffffffffffffffffffffff60408701511614808652611d16575b73eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee73ffffffffffffffffffffffffffffffffffffffff60608701511614808752611cf7575b5f968151611c94575b5050805115918215611c155750507f8000000000000000000000000000000000000000000000000000000000000000855b8060808601521015611bed57611ac1936040928051155f14611bc4575073ffffffffffffffffffffffffffffffffffffffff5f8133945b6119c282888a0151168360608b01511690613844565b9990958051158514611bbd5787925b158514611b89577fffffffffffffffffffffffffffffffffffffffff00000000000000000000000060808b0151985b8c8714611b6d57816401000276a49c5b8181511515955115159160608f820151910151928f519760f81b602089015260f81b60218801523360601b602288015260601b16603686015260601b16604a84015260601b16605e82015260528152611a6a607282611273565b8389519a8b998a9889967f128acb080000000000000000000000000000000000000000000000000000000088521660048701528d15156024870152604486015216606484015260a0608484015260a48301906111ce565b0393165af1908115611b62575f905f92611b28575b5083611ae3575b50505050565b611af29215610109575061180f565b10611b00575f808080611add565b7fc1328a53000000000000000000000000000000000000000000000000000000005f5260045ffd5b9150506040813d604011611b5a575b81611b4460409383611273565b810103126102b55760208151910151905f611ad6565b3d9150611b37565b6040513d5f823e3d90fd5b8173fffd8963efd1fc6a506488495d951d5263988d259c611a10565b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000611bb760808c015161180f565b98611a00565b30926119d1565b5f73ffffffffffffffffffffffffffffffffffffffff611be4819361230c565b509050946119ac565b7f35278d12000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f800000000000000000000000000000000000000000000000000000000000000091611c63918015611c68575b73ffffffffffffffffffffffffffffffffffffffff604088015116916130fa565b611975565b5060ff611c8e73ffffffffffffffffffffffffffffffffffffffff60408901511661308a565b16611c42565b919650611cc3918015611ccb575b73ffffffffffffffffffffffffffffffffffffffff606087015116916130fa565b945f80611944565b5060ff611cf173ffffffffffffffffffffffffffffffffffffffff60608801511661308a565b16611ca2565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2606086015261193b565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc26040860152611902565b604051815173ffffffffffffffffffffffffffffffffffffffff92602091839181908401835e81015f815203019020541660608601525f6118c8565b60405181518a92602091839181908401835e81015f815203019020541660408701525f6118ad565b90611da391611dee565b94505050505080519060608301611dba81856114b8565b90508303611de657611ddb926020611dd4930120936114b8565b36916112ee565b602081519101201490565b505050505f90565b90611e0161056e5f9360609336916112ee565b90611e0b826134ac565b7f73656e6400000000000000000000000000000000000000000000000000000000811480156122b7575b801561228e575b8015612265575b1561202c575050611e53906137d8565b909291906060611e6561155783611509565b95909273ffffffffffffffffffffffffffffffffffffffff841615611fed575b5082611ed191611ec173eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee73ffffffffffffffffffffffffffffffffffffffff8416149661230c565b5098905080156115e257906130fa565b928015611f8b575b8015611f845785905b15611f7e57835b73ffffffffffffffffffffffffffffffffffffffff604051927fb61d27f6000000000000000000000000000000000000000000000000000000006020850152166024830152604482015260606064820152611f7781611f4b60848201856111ce565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b9091929495565b5f611ee9565b8290611ee2565b90506040517fa9059cbb00000000000000000000000000000000000000000000000000000000602082015273ffffffffffffffffffffffffffffffffffffffff8616602482015283604482015260448152611fe7606482611273565b90611ed9565b611ed191935060208073ffffffffffffffffffffffffffffffffffffffff92604051928184925191829101835e81015f81520301902054169290611e85565b909392507f7377617000000000000000000000000000000000000000000000000000000000811490811561223b575b8115612211575b81156121e7575b50156116ee576120789061359f565b92949195905f9561208b61155789611509565b96909873ffffffffffffffffffffffffffffffffffffffff8a16156121ab575b5088906120ba61155785611509565b98909473ffffffffffffffffffffffffffffffffffffffff861615612162575b5061210093859390926120f39280156115e257906130fa565b9780156115e257906130fa565b93805161214d575b50959293947fffffffffffffffffffffffffffffffffffffffff0000000000000000000000006040519160601b1660208201526014815261214a603482611273565b91565b61215891965061230c565b509050945f612108565b612100949295509273ffffffffffffffffffffffffffffffffffffffff6020806120f39496604051928184925191829101835e81015f81520301902054169592945092906120da565b73ffffffffffffffffffffffffffffffffffffffff91995060208091604051928184925191829101835e81015f8152030190205416975f6120ab565b7f7374616b650000000000000000000000000000000000000000000000000000009150145f612069565b7f65786368616e676500000000000000000000000000000000000000000000000081149150612062565b7f73656c6c000000000000000000000000000000000000000000000000000000008114915061205b565b507f6772616e740000000000000000000000000000000000000000000000000000008114611e43565b507f70617900000000000000000000000000000000000000000000000000000000008114611e3c565b507f7472616e736665720000000000000000000000000000000000000000000000008114611e35565b908160209103126102b5575173ffffffffffffffffffffffffffffffffffffffff811681036102b55790565b80515f92918391602a81036124435750602a8151036116ee575f6002915b602a830361234e575073ffffffffffffffffffffffffffffffffffffffff91501691565b9060041b61235c83836130b2565b5160f81c90603082101580612438575b156123a45760ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd0600193011601925b01919061232a565b60418210158061242d575b156123e35760ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc96001930116019261239c565b606182101580612422575b156116ee5760ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa96001930116019261239c565b5060668211156123ee565b5060468211156123af565b50603982111561236c565b60209394506124b39250600491818592604051968793018484015e81017f2e657468000000000000000000000000000000000000000000000000000000008382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe4810184520182611273565b5f9080518081600354905b61275b57509080602092039201012060405190602082019283526040820152604081526124ec606082611273565b51902090604051917f02571be30000000000000000000000000000000000000000000000000000000083528060048401526020836024816e0c2e074ec69a0dfb2997ba6c7d2e1e5afa928315611b62575f9361273a575b5073d4416b13d2b3a9abae7acd5d6c2bbdbe2568640173ffffffffffffffffffffffffffffffffffffffff8416146126bb575b604051917f0178b8bf0000000000000000000000000000000000000000000000000000000083528160048401526020836024816e0c2e074ec69a0dfb2997ba6c7d2e1e5afa928315611b625773ffffffffffffffffffffffffffffffffffffffff936020915f9161269e575b506024604051809681937f3b3b57de000000000000000000000000000000000000000000000000000000008352876004840152165afa928315611b62575f9361266d575b5073ffffffffffffffffffffffffffffffffffffffff83161561264557565b7f1e4ec46b000000000000000000000000000000000000000000000000000000005f5260045ffd5b61269091935060203d602011612697575b6126888183611273565b8101906122e0565b915f612626565b503d61267e565b6126b59150823d8411612697576126888183611273565b5f6125e2565b91506040517f6352211e00000000000000000000000000000000000000000000000000000000815282600482015260208160248173d4416b13d2b3a9abae7acd5d6c2bbdbe256864015afa908115611b62575f9161271b575b5091612576565b612734915060203d602011612697576126888183611273565b5f612714565b61275491935060203d602011612697576126888183611273565b915f612543565b917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81019061278a82866130b2565b517fff0000000000000000000000000000000000000000000000000000000000000081167f2e000000000000000000000000000000000000000000000000000000000000008114612890577f800000000000000000000000000000000000000000000000000000000000000011156102b557848160f81c1015610e825760ff9060035f5260f86107f88260fd1c7fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b01549260f51c16161c1680156102b5577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff926001821161287e575b50505b0191826124be565b61288890876130b2565b535f80612873565b50509194827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9296036020848701012060405190602082019283526040820152604081526128df606082611273565b5190209491612876565b91908260409103126102b557813573ffffffffffffffffffffffffffffffffffffffff811681036102b557916020013590565b90806044116102b5578161294b604473ffffffffffffffffffffffffffffffffffffffff9401600483016128e9565b93169280612c1557508160881192836102b5577fffffffff00000000000000000000000000000000000000000000000000000000608483013516937fa9059cbb0000000000000000000000000000000000000000000000000000000085149485159081612be7575b50612bbf576102b55760209361133f936006936129cf84613f37565b929094859380965115612ba4575b15612b58575b5087928380612a6373ffffffffffffffffffffffffffffffffffffffff612a5c612a1760019a9860888699820191016128e9565b9b909815612b1b57604051612a2d604082611273565b600581527f73656e6420000000000000000000000000000000000000000000000000000000868201529b613d3b565b9616613e3f565b946040519b898d9a5191829101848c015e8901908282015f8152815193849201905e0101907f200000000000000000000000000000000000000000000000000000000000000082528051928391018683015e01907f20746f203078000000000000000000000000000000000000000000000000000084830152805192839101600783015e01015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b604051612b29604082611273565b600881527f617070726f766520000000000000000000000000000000000000000000000000868201529b613d3b565b88808095928194985073ffffffffffffffffffffffffffffffffffffffff612a5c612a1760019a98608860ff612b90612a639761308a565b169d995050989a50505050505050926129e3565b9350805f5260018952612bb960405f20611393565b936129dd565b7f7352d91c000000000000000000000000000000000000000000000000000000005f5260045ffd5b9150507f095ea7b3000000000000000000000000000000000000000000000000000000005f9114155f6129b3565b61133f9250600a91509260256020612c36612c308297613c04565b93613e3f565b6040519687947f73656e6420000000000000000000000000000000000000000000000000000000828701528051918291018587015e8401907f2045544820746f2030780000000000000000000000000000000000000000000084830152805192839101602f83015e01015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b90815191604051835b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff810190601f8185015160ff1660206bffffffc00000000000000000821c1618918401015380612cdb57505050604080519280845283015f602082015201604052565b5f915f917f657468000000000000000000000000000000000000000000000000000000000081148015613061575b613043577f75736463000000000000000000000000000000000000000000000000000000008114613025577f757364740000000000000000000000000000000000000000000000000000000081148015612ffc575b612fde577f64616900000000000000000000000000000000000000000000000000000000008114612fc0577f77657468000000000000000000000000000000000000000000000000000000008114612fa2577f776274630000000000000000000000000000000000000000000000000000000081148015612f79575b8015612f50575b612f32577f737465746800000000000000000000000000000000000000000000000000000081148015612f09575b8015612ee0575b612ec2577f726574680000000000000000000000000000000000000000000000000000000014612ea557565b73ae78736cd615f374d3085123a210448e74fc6393925060129150565b50737f39c581f595b53c5cb19bd0b3f8da6c935e2ca0925060129150565b507f6c69646f000000000000000000000000000000000000000000000000000000008114612e79565b507f77737465746800000000000000000000000000000000000000000000000000008114612e72565b50732260fac5e5542a773aa44fbcfedf7c193bc2c599925060089150565b507f626974636f696e000000000000000000000000000000000000000000000000008114612e44565b507f62746300000000000000000000000000000000000000000000000000000000008114612e3d565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2925060129150565b50736b175474e89094c44da98b954eedeac495271d0f925060129150565b5073dac17f958d2ee523a2206206994597c13d831ec7925060069150565b507f74657468657200000000000000000000000000000000000000000000000000008114612dc1565b5073a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48925060069150565b5073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee925060129150565b507f65746865720000000000000000000000000000000000000000000000000000008114612d6c565b60208060ff9263313ce56760045260045f52815f5191620186a0fa601f3d1116602051021690565b908151811015610e82570160200190565b81156130cd570490565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b92915f61310685611509565b7f616c6c00000000000000000000000000000000000000000000000000000000008114908115613411575b506133c8578451945f905f905f975f5b8181106131e0575b50505090155f146131c0575082600a0a02935b613164575050565b919261133f9273ffffffffffffffffffffffffffffffffffffffff811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee036131af575033313401915b600a0a60640291026130c3565b6131ba9033906141dd565b916131a2565b8381969296106131d1575b5061315c565b8303600a0a909402935f6131cb565b6131ea81846130b2565b517fff0000000000000000000000000000000000000000000000000000000000000081167f30000000000000000000000000000000000000000000000000000000000000008110158061339e575b1561329657508596600a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd09260f89897981c9102010195613281575b6001905b01939293613141565b93600101938785111561327457939293613149565b90507f2e0000000000000000000000000000000000000000000000000000000000000081969295961480613396575b156132d557505060018093613278565b7f2500000000000000000000000000000000000000000000000000000000000000819b92959b148061336b575b1561331257505060018099613278565b9099907fe0000000000000000000000000000000000000000000000000000000000000000161334357600190613278565b7f312a9f56000000000000000000000000000000000000000000000000000000005f5260045ffd5b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83018b14613302565b5081156132c5565b507f3900000000000000000000000000000000000000000000000000000000000000811115613238565b509192505073ffffffffffffffffffffffffffffffffffffffff811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee0361340657503331340190565b61133f9033906141dd565b7f31303025000000000000000000000000000000000000000000000000000000009150145f613131565b601c5f60649281946020966040519860605260405260601b602c526f23b872dd000000000000000000000000600c525af13d1560015f5114171615613483575f606052604052565b637939f4245f526004601cfd5b5f80809338935af11561349f57565b63b12d13eb5f526004601cfd5b602001516020905f5b602081106134ed575b50907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9060200360031b1b1690565b81811a60208115911417613503576001016134b5565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6134be565b805160011015610e825760400190565b805160041015610e825760a00190565b805160021015610e825760600190565b805160051015610e825760c00190565b805160031015610e825760800190565b805160061015610e825760e00190565b8051821015610e825760209160051b010190565b6135a88161421e565b908151600581145f1461367757506135d16135cc6135c58461352b565b51836143dd565b614448565b1561362c576136026135e56135c58461352b565b916135fb6135f56135c58661354b565b9461353b565b51906143dd565b9092604051613612602082611273565b5f8152929190604051613626602082611273565b5f815290565b9161365361364361363c8461356b565b51856143dd565b936135fb6135f56135c58661352b565b90604051613662602082611273565b5f815293929190604051613626602082611273565b909290600681036136d6575061369661368f8361352b565b51846143dd565b906136c36136ad6136a68561353b565b51866143dd565b946135fb6136bd6135c58761354b565b9561355b565b9193929190604051613626602082611273565b909290600781036137765750906136f26135cc61368f8361352b565b15613741576137036135c58261352b565b61372861371261363c8461354b565b936135fb6137226135c58661353b565b9461357b565b9093604051613738602082611273565b5f815293929190565b61374d6135c58261356b565b9261375d61371261363c8461352b565b9060405161376c602082611273565b5f81529493929190565b6008036116ee576137906137898361352b565b51826143dd565b61379c6135c58461353b565b936137a961368f8561354b565b936137b661363c8261355b565b93815160071015610e82576101006137d0920151906143dd565b919493929190565b6137e18161421e565b91600483511461381f5782516005036116ee5761381961380361368f8561353b565b926135fb6138136135c58761352b565b9561354b565b91929190565b61381961382e61368f8561352b565b926135fb61383e6135c58761354b565b9561356b565b915f73ffffffffffffffffffffffffffffffffffffffff831673ffffffffffffffffffffffffffffffffffffffff8516105f14613bfd57506001915b61388a818561452d565b9373ffffffffffffffffffffffffffffffffffffffff8516156138ab575050565b90935073ffffffffffffffffffffffffffffffffffffffff81165f52600260205260405f2073ffffffffffffffffffffffffffffffffffffffff85165f5260205273ffffffffffffffffffffffffffffffffffffffff60405f205416938415613912575050565b73ffffffffffffffffffffffffffffffffffffffff9294506060604051838152826020820152606460408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f98400000000000000000000000060015260155260555f20915f60355260606040518281528360208201526101f460408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f98400000000000000000000000060015260155260555f20915f6035526060604051838152826020820152610bb860408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f984000000000000000000000000600152601552606060555f20915f60355260405190848252602082015261271060408201522060ff5f537fe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b546035527f1f98431c8ad98523631ae4a59f267346ea31f98400000000000000000000000060015260155260555f20925f603552604051613af181611257565b5f81525f602082015294803b613bd3575b50803b613b95575b50803b613b57575b50813b613b21575b5050511691565b81613b2b916141dd565b6020830151811115613b1a579091508260405192613b4884611257565b16825260208201525f80613b1a565b613b6181836141dd565b60208501518111613b73575b50613b12565b909193508460405192613b8584611257565b1682526020820152915f80613b6d565b613b9f81846141dd565b60208601518111613bb1575b50613b0a565b909194508560405192613bc384611257565b1682526020820152925f80613bab565b909450613be081846141dd565b8660405192613bee84611257565b1682526020820152935f613b02565b9192613880565b90613c23670de0b6b3a7640000613c1c8185046148fe565b93066148fe565b6012815114613ca257613c9d60216020926040519384917f3000000000000000000000000000000000000000000000000000000000000000828401528051918291018484015e81015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b613c23565b613cae909291926149a1565b805115613d37576001602092838061133f946040519684889551918291018487015e8401907f2e0000000000000000000000000000000000000000000000000000000000000083830152805192839101602183015e01015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b5090565b91909182600a0a90613d55613d5083836130c3565b6148fe565b9180156130cd57613d6691066148fe565b83815114613de457613ddf60216020926040519384917f3000000000000000000000000000000000000000000000000000000000000000828401528051918291018484015e81015f8382015203017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282611273565b613d66565b613cae919293506149a1565b90613dfa826112b4565b613e076040519182611273565b8281527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0613e3582946112b4565b0190602036910137565b90604051613e4e606082611273565b6028815260403660208301375f5b60148103613e6957509150565b8060ff80613e976001809560130360031b1b73ffffffffffffffffffffffffffffffffffffffff89166130c3565b161660f481901b7f0f000000000000000000000000000000000000000000000000000000000000001690613f30908490613f26907fff000000000000000000000000000000000000000000000000000000000000009060ff60f0610ff082613efe8a614ab8565b998d613f108d8b1b809d5f1a926130b2565b5360f81c1660041b161691160360f81b16614ab8565b5f1a9201856130b2565b5301613e5c565b60609173ffffffffffffffffffffffffffffffffffffffff5f921673a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48811461419b5773dac17f958d2ee523a2206206994597c13d831ec7811461415957736b175474e89094c44da98b954eedeac495271d0f81146141175773c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281146140d557732260fac5e5542a773aa44fbcfedf7c193bc2c599811461409357737f39c581f595b53c5cb19bd0b3f8da6c935e2ca081146140515773ae78736cd615f374d3085123a210448e74fc63931461401057565b915050604051614021604082611273565b600481527f5245544800000000000000000000000000000000000000000000000000000000602082015290601290565b50915050604051614063604082611273565b600681527f5753544554480000000000000000000000000000000000000000000000000000602082015290601290565b509150506040516140a5604082611273565b600481527f5742544300000000000000000000000000000000000000000000000000000000602082015290600890565b509150506040516140e7604082611273565b600481527f5745544800000000000000000000000000000000000000000000000000000000602082015290601290565b50915050604051614129604082611273565b600381527f4441490000000000000000000000000000000000000000000000000000000000602082015290601290565b5091505060405161416b604082611273565b600481527f5553445400000000000000000000000000000000000000000000000000000000602082015290600690565b509150506040516141ad604082611273565b600481527f5553444300000000000000000000000000000000000000000000000000000000602082015290600690565b602460106020939284936f70a082310000000000000000000000005f526014525afa5060205190565b67ffffffffffffffff81116108265760051b60200190565b908151906001915f5b81810361437657507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe061427261425c85614206565b9461426a6040519687611273565b808652614206565b015f5b818110614353575050825f915f905f5b8181036142bb57506142b894959650604051916142a183611257565b825260208201526142b2838361358b565b5261358b565b50565b7f20000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000614307838b6130b2565b511614614317575b600101614285565b9193614348906040519561432a87611257565b86528360208701526001810195614341828761358b565b528461358b565b50600182019161430f565b60209060405161436281611257565b5f81525f8382015282828801015201614275565b7f20000000000000000000000000000000000000000000000000000000000000007fff000000000000000000000000000000000000000000000000000000000000006143c283886130b2565b5116146143d2575b600101614227565b6001909301926143ca565b91906143f0602082015182519003613df0565b905f5b8251811461444157807fff0000000000000000000000000000000000000000000000000000000000000061442c600193855101886130b2565b51165f1a61443a82866130b2565b53016143f3565b5090925050565b7f616c6c000000000000000000000000000000000000000000000000000000000061447282611509565b1461452757805115610e8257602081017f30000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000825116101591826144d457505090565b9091505115610e82577fff000000000000000000000000000000000000000000000000000000000000007f3900000000000000000000000000000000000000000000000000000000000000915116111590565b50600190565b919073ffffffffffffffffffffffffffffffffffffffff5f9316737f39c581f595b53c5cb19bd0b3f8da6c935e2ca08114806147b0575b6147955773ae78736cd615f374d3085123a210448e74fc6393811480614762575b6147475773a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48811480614714575b6146f95773c02aaa39b223fe8d0a0e5c4f27ead9083c756cc28114806146c6575b6146ab57736b175474e89094c44da98b954eedeac495271d0f811480614678575b61465d57732260fac5e5542a773aa44fbcfedf7c193bc2c599149081614629575b5061461057565b734585fe77225b41b697c938b018e2ac67ac5a20c09150565b73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2915073ffffffffffffffffffffffffffffffffffffffff16145f614609565b5073c2e9f25be6257c210d7adf0d4cd6e3e881ba25f8925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff8316146145e8565b507311b815efb8f581194ae79006d24e0d814b7697f6925050565b5073dac17f958d2ee523a2206206994597c13d831ec773ffffffffffffffffffffffffffffffffffffffff8316146145c7565b507388e6a0c2ddd26feeb64f039a2c41296fcb3f5640925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff8316146145a6565b5073553e9c493678d8606d6a5ba284643db2110df823925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff831614614585565b5073109830a1aaad605bbf02a9dfa7b0b92ec2fb7daa925050565b5073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff831614614564565b60205f60609282825191620186a0fa1561133f57506040518060200160403d1015614866575b5f60203d806103e8106103e8821802188083853e840101535b80515f1a1561483357600101614822565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08282030182525f815260200160405290565b5f517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe03d01811115614899575b50614809565b602081843e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0813d03018351908111156148d35750614893565b90604092826020936103e8106103e88218021892839283875201903e82015f60208201520160405290565b90604051600a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff608083019460a084016040525f8652945b0193818106603001855304928315614971577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600a91614936565b92506080837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09203019201918252565b90815190815b80151580614a41575b156149dc577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016149a7565b909181146142b8576149ed81613df0565b905f5b8181036149fe575090925050565b807fff00000000000000000000000000000000000000000000000000000000000000614a2c600193886130b2565b51165f1a614a3a82866130b2565b53016149f0565b507f30000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000614ab07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8401876130b2565b5116146149b0565b7fff000000000000000000000000000000000000000000000000000000000000009060f81c600f16600a811015614af5576030905b0160f81b1690565b605790614aed56fea264697066735822122013fca8ffab4aaec298cc63ded7780ab138c7a771f3b632dd7e099befb7446ae964736f6c634300081a0033

805:42771:2:-:0;;;;;;;;;-1:-1:-1;805:42771:2;;;;;18236:475;;;;;;;-1:-1:-1;18724:17:2;;;;:38;;-1:-1:-1;18720:64:2;;18828:38;18236:475;;;;18828:38;;:::i;:::-;18876:113;;;;;;18236:475;;-1:-1:-1;18236:475:2;;;;-1:-1:-1;;19040:40:2;;;;;;-1:-1:-1;22622:503:2;;;;;;;;18876:113;22622:503;;;;;-1:-1:-1;22622:503:2;-1:-1:-1;22622:503:2;;;;;;;;-1:-1:-1;22622:503:2;;18998:214;18236:475;;-1:-1:-1;18236:475:2;19221:184;;805:42771;19221:184;19387:6;;19272:43;;19274:40;;;;19272:43;:::i;:::-;23262:230;-1:-1:-1;23262:230:2;;;;-1:-1:-1;23262:230:2;18236:475;23262:230;;;;;;18236:475;;;;19387:6;:::i;:::-;19221:184;19274:40;;;19272:43;:::i;19040:40::-;;;;18998:214;19151:49;;19159:40;;;;;;;18236:475;;;;19151:49;;:::i;:::-;18998:214;;19159:40;;;;;18876:113;;;;18720:64;18771:13;-1:-1:-1;18771:13:2;805:42771;-1:-1:-1;18771:13:2;18724:38;18745:17;-1:-1:-1;18745:17:2;;;18724:38;;805:42771;24138:113;;;;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;:::i;:::-;1919:10:0;805:42771:2;9888:208:0;805:42771:2;;9888:208:0;29724:35:2;1898:77:0;;;:::i;:::-;29724:35:2;:::i;:::-;9888:208:0;2752:10;805:42771:2;9888:208:0;805:42771:2;;9888:208:0;29810:37:2;2731:77:0;;;:::i;29810:37:2:-;805:42771;;;;;;29858:5;805:42771;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;29904:58;805:42771;;;29904:58;805:42771;;;;;;;;;;;29858:5;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29904:58;;;;;;:::i;:::-;;;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29977:62;805:42771;;29977:62;;;;;:::i;:::-;;;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29904:58;805:42771;;;;;29904:58;805:42771;29858:5;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29858:5;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29858:5;805:42771;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::i;:::-;;;;;;;;;;;;;;;30225:112;;;;;30417:53;805:42771;;;;;;;;;30350:15;30346:56;;805:42771;;;;;;;;;;;30441:5;805:42771;;;;;;;;-1:-1:-1;805:42771:2;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;;;;;;;;;;;30417:53;805:42771;30346:56;30367:35;-1:-1:-1;30367:35:2;-1:-1:-1;805:42771:2;;30346:56;;805:42771;;;;;;;;;;;;;:::i;:::-;;;;:::i;:::-;;;;;5793:74;805:42771;;;;;;5793:74;805:42771;-1:-1:-1;805:42771:2;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;;;;5672:49;805:42771;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26594:15;805:42771;26594:15;;;26614:26;805:42771;26594:15;;;;:::i;:::-;26587:23;805:42771;;;;;;;;;;;-1:-1:-1;;805:42771:2;26587:53;26614:26;;26655:33;26672:15;;;;:::i;26587:149::-;26703:33;26720:15;;;;:::i;:::-;26703:33;;:::i;:::-;26587:149;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14781:19;;;;;;805:42771;14802:3;805:42771;;;;;;14829:10;805:42771;;;;;;;;;;:::i;14829:10::-;805:42771;;;;;;;14770:9;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;29249:112;;;;;29404:23;805:42771;;;;;;:::i;29404:23::-;805:42771;;;;;29438:5;805:42771;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;29478:50;805:42771;;;;;;;;;29438:5;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29478:50;805:42771;;29478:50;;;;;:::i;805:42771::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29438:5;805:42771;29478:50;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29438:5;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29438:5;805:42771;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;:::o;:::-;;;;;;;;;;;:::o;:::-;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;:::o;:::-;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:::o;:::-;;;-1:-1:-1;805:42771:2;;;;;-1:-1:-1;805:42771:2;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24405:182;;805:42771;24576:1;805:42771;;;;;24576:1;805:42771;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;:::o;14945:618::-;;15118:44;15140:21;;;:::i;:::-;15118:44;:::i;:::-;15081:81;;;805:42771;15081:81;805:42771;15176:20;15172:51;;14945:618;15252:22;15314:80;15252:22;;;;;:::i;:::-;-1:-1:-1;15337:48:2;;-1:-1:-1;15337:13:2;;;;:48;15314:80;:::i;:::-;805:42771;;;;3190:42;15409:13;3190:42;;15458:7;;;;:::i;15405:152::-;15538:7;15521:10;;15538:7;;:::i;15337:48::-;15364:21;805:42771;15364:21;;;:::i;:::-;805:42771;15337:48;15314:80;:::i;15172:51::-;15252:22;805:42771;;;;;;15314:80;805:42771;;;;;;;;;;;;;;;;15194:1;805:42771;;;;;;;;15172:51;;;;;13499:1112;805:42771;13499:1112;13599:25;13499:1112;805:42771;;;:::i;13599:25::-;13651:23;;;:::i;:::-;805:42771;13688:16;;:40;;;;13499:1112;13688:59;;;;13499:1112;13688:80;;;;13499:1112;13684:921;;;13845:24;;13916:13;13845:24;;:::i;13684:921::-;805:42771;13964:16;;:36;;;;;13684:921;13964:60;;;;13684:921;13964:81;;;;13684:921;-1:-1:-1;13947:658:2;;;14285:24;14484:16;14285:24;;:::i;:::-;14484:16;;;;;:::i;13947:658::-;14552:15;-1:-1:-1;14552:15:2;;-1:-1:-1;14552:15:2;13964:81;805:42771;14028:17;;;13964:81;;;:60;805:42771;14004:20;;;-1:-1:-1;13964:60:2;;:36;805:42771;13984:16;;;-1:-1:-1;13964:36:2;;13688:80;13751:17;805:42771;13751:17;;13688:80;;:59;13732:15;805:42771;13732:15;;13688:59;;:40;13708:20;805:42771;13708:20;;13688:40;;3320:42;;;;;;;;;:::o;15651:2241::-;;;;;805:42771;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;;;-1:-1:-1;805:42771:2;;-1:-1:-1;805:42771:2;;;;-1:-1:-1;805:42771:2;;;;-1:-1:-1;805:42771:2;;;;15983:46;16005:23;;;:::i;15983:46::-;805:42771;;;;;;;16043:26;16039:65;;15651:2241;16167:24;16145:47;16167:24;;;:::i;16145:47::-;805:42771;;;;;;;16206:27;16202:68;;15651:2241;805:42771;3190:42;805:42771;;;;;;16293:19;805:42771;;;16322:35;;15651:2241;3190:42;805:42771;;;;;;16381:20;805:42771;;;16411:37;;15651:2241;-1:-1:-1;805:42771:2;;;16483:239;;15651:2241;-1:-1:-1;;805:42771:2;;16748:27;;16801:204;;;;;;17037:8;16801:204;;805:42771;;;;3320:42;17020:25;;17016:48;;4645:10;17075:17;805:42771;17075:17;805:42771;;17106:27;17102:115;17106:15;;;17147:10;805:42771;-1:-1:-1;17147:10:2;;17102:115;;17262:48;805:42771;;;;;;;;;;;;17262:48;;:::i;:::-;805:42771;;;;;;17391:40;;;;;;;17469:9;;;;;4645:10;805:42771;;;3320:42;17469:58;;17541:63;;;;;;4645:10;17541:63;;805:42771;;;;;;;;;;;;;;;;;;;;;4645:10;;;805:42771;17618:123;;4645:10;;;;;;;17677;805:42771;4645:10;;;;;805:42771;4645:10;;;;;;805:42771;4645:10;;;;;;805:42771;4645:10;;;;;;17618:123;;;;;;;:::i;:::-;805:42771;;;17355:396;;;;;;;4645:10;17355:396;;805:42771;17355:396;;;805:42771;;;;4645:10;;;805:42771;4645:10;;;805:42771;;4645:10;;;805:42771;;4645:10;;;;;;;;;:::i;:::-;17355:396;805:42771;;17355:396;;;;;;;-1:-1:-1;;;17355:396:2;;;17541:63;17766:11;;17762:124;;17541:63;15651:2241;;;;:::o;17762:124::-;17805:33;;17807:30;;;;17805:33;:::i;:::-;17797:51;17793:82;;17762:124;;;;;;17793:82;17857:18;-1:-1:-1;17857:18:2;17355:396;-1:-1:-1;17857:18:2;17355:396;;;;805:42771;17355:396;;805:42771;17355:396;;;;;;805:42771;17355:396;;;:::i;:::-;;;4645:10;;;;805:42771;4645:10;;;;;17355:396;;;;;;;-1:-1:-1;17355:396:2;;;805:42771;;4645:10;-1:-1:-1;4645:10:2;;;;;17541:63;;4814:49;17541:63;;;17469:58;4645:10;17505:22;805:42771;;;3320:42;17505:22;:::i;:::-;17469:58;;;17391:40;17426:4;17391:40;;;17102:115;-1:-1:-1;805:42771:2;17189:28;;;;:::i;:::-;17172:45;;;17102:115;;;17016:48;17054:10;-1:-1:-1;17054:10:2;;-1:-1:-1;17054:10:2;16801:204;17037:8;;16845:160;;16903:15;;;;:58;805:42771;;;;;;16845:160;;:::i;:::-;16801:204;;16903:58;805:42771;;16934:27;805:42771;;;;;;16934:27;:::i;:::-;805:42771;16903:58;;16483:239;16605:61;;-1:-1:-1;16543:168:2;;16605:16;;;;:61;805:42771;;;;;;16543:168;;:::i;:::-;16483:239;;;;;16605:61;805:42771;;16638:28;805:42771;;;;;;16638:28;:::i;:::-;805:42771;16605:61;;16411:37;3320:42;805:42771;;;;16411:37;;16322:35;3320:42;805:42771;;;;16322:35;;16202:68;805:42771;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;16202:68;;;16039:65;805:42771;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;16039:65;;;10798:394;;11014:22;10798:394;11014:22;:::i;:::-;805:42771;;;;;;;;11076:15;;;;;;;;:::i;:::-;11050:48;;;;11046:66;;805:42771;;;11169:15;805:42771;;11129:26;11169:15;;:::i;:::-;805:42771;;;:::i;:::-;;;;;;11159:26;11129:56;10798:394;:::o;11046:66::-;11100:12;;;;805:42771;11100:12;:::o;6948:1579::-;;7456:25;805:42771;;7342:28;805:42771;;;;;:::i;7456:25::-;7508:23;;;;:::i;:::-;805:42771;7545:16;;:40;;;;6948:1579;7545:59;;;;6948:1579;7545:80;;;;6948:1579;7541:980;;;7705:24;;;;;:::i;:::-;7792:34;;;;805:42771;8988:37;9010:14;;;:::i;8988:37::-;8967:58;;;805:42771;8967:58;805:42771;9039:20;9035:59;;7541:980;805:42771;;9201:73;805:42771;9151:30;3190:42;805:42771;;;9117:13;9151:30;;:::i;:::-;-1:-1:-1;9217:48:2;;-1:-1:-1;9217:13:2;;;;:48;9201:73;:::i;:::-;9289:6;;;9285:70;;9217:48;9430:20;;;;;;;9452:19;;;;;805:42771;;;9395:88;;;;;;805:42771;9395:88;;;805:42771;;;;;;;;;;9395:88;805:42771;;;;;;;:::i;:::-;9395:88;;;;;;;;:::i;:::-;7743:83;;;;7541:980;6948:1579::o;9452:19::-;805:42771;9452:19;;9430:20;;;;;9285:70;805:42771;;;;9308:47;;;;;805:42771;;;9308:47;;;805:42771;;;;;;;9308:47;;;;;;:::i;:::-;9285:70;;;9035:59;9201:73;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9035:59;;;;7541:980;7860:16;;;;805:42771;7860:16;;:36;;;;;7541:980;7860:60;;;;7541:980;7860:81;;;;7541:980;-1:-1:-1;7843:678:2;;;8181:24;;;:::i;:::-;8313:65;;;;;805:42771;10110:16;10088:39;10110:16;;;:::i;10088:39::-;10063:64;;;805:42771;10063:64;805:42771;10141:22;10137:65;;7843:678;10261:17;;;10239:40;10261:17;;;:::i;10239:40::-;10212:67;;;805:42771;10212:67;805:42771;10293:23;10289:68;;7843:678;-1:-1:-1;10498:113:2;;10410:54;;;;10392:83;;10410:15;;;;:54;10392:83;:::i;:::-;10533:57;:16;;;;:57;10498:113;:::i;:::-;805:42771;;;10622:79;;10533:57;8250:128;;;;805:42771;4645:10;805:42771;;4645:10;805:42771;4645:10;;8403:27;;;4645:10;8403:27;;;;;;;:::i;:::-;7843:678;6948:1579::o;10622:79::-;10665:36;;;;;:::i;:::-;10648:53;;;10622:79;;;;10289:68;10498:113;805:42771;;;;;;;;10392:83;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;10289:68;;;;;;;;10137:65;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10137:65;;;;7860:81;805:42771;7924:17;;;7860:81;;;:60;805:42771;7900:20;;;-1:-1:-1;7860:60:2;;:36;805:42771;7880:16;;;-1:-1:-1;7860:36:2;;7545:80;7608:17;805:42771;7608:17;;7545:80;;:59;7589:15;805:42771;7589:15;;7545:59;;:40;7565:20;805:42771;7565:20;;7545:40;;4967:54;;;;;;;;;;805:42771;;;;;;;4967:54;:::o;26978:722::-;805:42771;;;;26978:722;805:42771;;27213:2;27191:24;;27213:2;;805:42771;27213:2;805:42771;;39786:14;39782:42;;805:42771;39883:1;39866:460;39886:7;27213:2;39886:7;;;;805:42771;;;;;27187:507;26978:722::o;39895:3::-;805:42771;;;39964:4;;;;:::i;:::-;805:42771;;;39991:7;39996:2;39991:7;;;:18;;;39895:3;39987:325;;;805:42771;;;;;;;39987:325;;805:42771;39871:13;;;;39987:325;40083:2;40078:7;;;:18;;;39987:325;40074:238;;;805:42771;;;;;;;40074:238;39987:325;;40074:238;40170:2;40165:7;;;:19;;;40074:238;40161:151;;;805:42771;;;;;;;40161:151;39987:325;;40165:19;40176:8;40181:3;40176:8;;;40165:19;;40078:18;40089:7;40094:2;40089:7;;;40078:18;;39991;40002:7;40007:2;40002:7;;;39991:18;;27187:507;27320:30;805:42771;;;27320:30;805:42771;;;;;;;;;;;;;27320:30;;;805:42771;;;;;;;;27320:30;;;;;;;;;;:::i;:::-;805:42771;;;;27949:19;805:42771;28346:8;805:42771;28002:538;28009:6;;;28876:114;;;27320:30;28876:114;;;;;;805:42771;;28576:54;27320:30;28576:54;;805:42771;;;;;;;;28576:54;;;;;;:::i;:::-;805:42771;28566:65;;805:42771;;;27374:24;4645:10;27374:24;;;805:42771;27374:24;;805:42771;27320:30;27374:24;;;4978:42;27374:24;;;;;;;805:42771;27374:24;;;28002:538;27366:32;5136:42;805:42771;27366:32;805:42771;27416:32;27412:80;;28002:538;805:42771;;27528:27;4645:10;27528:27;;;805:42771;27528:27;;805:42771;27320:30;27528:27;27374:24;27528:27;4978:42;27528:27;;;;;;;805:42771;27528:27;27320:30;27528:27;805:42771;27528:27;;;28002:538;805:42771;27374:24;805:42771;;27517:50;;;;4645:10;27517:50;;;805:42771;27517:50;;805:42771;;27517:50;;;;;;;805:42771;27517:50;;;28002:538;27506:61;805:42771;27506:61;805:42771;27606:22;27602:52;;26978:722::o;27602:52::-;27637:17;805:42771;27637:17;805:42771;;27637:17;27517:50;;;;;27320:30;27517:50;27320:30;27517:50;;;;;;;;:::i;:::-;;;;;:::i;:::-;;;;;;;;;;27528:27;;;;;;;;;;;;;;:::i;:::-;;;;27412:80;805:42771;;;;4645:10;27458:34;;;805:42771;27458:34;;805:42771;27320:30;27458:34;27374:24;27458:34;5136:42;27458:34;;;;;;;805:42771;27458:34;;;27412:80;27450:42;27412:80;;;27458:34;;;;27320:30;27458:34;27320:30;27458:34;;;;;;;:::i;:::-;;;;27374:24;;;;;27320:30;27374:24;27320:30;27374:24;;;;;;;:::i;:::-;;;;;28017:3;805:42771;;;;28051:20;;;;;:::i;:::-;805:42771;;;;;28093:8;;28089:194;;4645:10;-1:-1:-1;805:42771:2;;;;;4645:10;805:42771;;;;;;;28346:8;805:42771;;4645:10;805:42771;;;;;;;;;;;;;;28390:34;;805:42771;;;28447:12;28069:1;28447:12;;28443:83;;28017:3;;;28002:538;805:42771;28002:538;;;;28443:83;28483:24;;;;:::i;:::-;;28443:83;;;;28089:194;28876:114;;;;;805:42771;28876:114;;;27320:30;28876:114;;;;;805:42771;;28142:54;27320:30;28142:54;;805:42771;;;;;;;;28142:54;;;;;;:::i;:::-;805:42771;28132:65;;28219:15;28256:8;;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;:::o;24803:1532::-;;805:42771;25031:2;805:42771;;;25009:46;;25031:2;805:42771;25009:46;;25029:1;805:42771;;25009:46;:::i;:::-;805:42771;;25074:10;;25070:315;;805:42771;;25440:3;805:42771;;;;;;25436:3;805:42771;;;;25420:53;25449:24;25420:53;;;;;:129;;;;24803:1532;25399:189;;;805:42771;;26033:271;25728:34;26033:271;25728:34;805:42771;25728:34;;;;:::i;:::-;25686:76;;;;;;805:42771;;25780:24;25776:51;;24803:1532;25845:13;25841:51;;24803:1532;805:42771;;;;;26264:22;805:42771;26124:36;25941:46;805:42771;;;25440:3;805:42771;;25941:46;;805:42771;;25941:46;:::i;:::-;26071:31;;;;;;805:42771;;;;;;:::i;:::-;;;;;;;;;26071:31;26124:36;:::i;:::-;805:42771;;26264:22;:::i;:::-;805:42771;;;;;;;;;;;;26033:271;;;805:42771;;;;;;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;26033:271;;;;;;;;;:::i;26071:31::-;805:42771;;;;;;:::i;:::-;;;;;;;;;26071:31;26124:36;:::i;25841:51::-;25871:21;;;;;;;;;805:42771;26124:36;25941:46;805:42771;25871:21;;25440:3;805:42771;25871:21;26264:22;25871:21;;:::i;:::-;805:42771;25841:51;;;;;;;;;;;;;;;;25776;805:42771;;;-1:-1:-1;805:42771:2;25814:5;805:42771;;;;-1:-1:-1;805:42771:2;;:::i;:::-;25776:51;;;25399:189;25571:17;-1:-1:-1;25571:17:2;25029:1;-1:-1:-1;25571:17:2;25420:129;805:42771;;;25526:23;-1:-1:-1;25497:52:2;;;25420:129;;;25070:315;25139:213;25214:30;;805:42771;25214:30;;;805:42771;25139:213;25308:22;25214:30;;;;:::i;:::-;25308:22;;:::i;:::-;805:42771;;25139:213;;;805:42771;25139:213;;;805:42771;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;25139:213;;;;;;;;;:::i;30657:884::-;;30761:774;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30657:884::o;11296:656::-;805:42771;11421:17;805:42771;11458:14;805:42771;11458:14;;:34;;;;11296:656;11454:56;;805:42771;11524:15;;11520:37;;3578:42;11571:15;;:36;;;;11296:656;11567:58;;3708:42;11639:14;;11635:36;;3840:42;11685:15;;11681:38;;3840:42;11733:15;;:33;;;;11296:656;11733:55;;;;11296:656;11729:77;;3448:42;11820:16;;:37;;;;11296:656;11820:56;;;;11296:656;11816:81;;3980:42;11911:15;11907:38;;11296:656::o;11907:38::-;4117:42;;-1:-1:-1;11942:2:2;;-1:-1:-1;11928:17:2:o;11816:81::-;-1:-1:-1;3980:42:2;;-1:-1:-1;11894:2:2;;-1:-1:-1;11878:19:2:o;11820:56::-;11861:15;3448:42;11861:15;;11820:56;;:37;11840:17;3448:42;11840:17;;11820:37;;11729:77;-1:-1:-1;3448:42:2;;-1:-1:-1;11804:1:2;;-1:-1:-1;11790:16:2:o;11733:55::-;11770:18;3840:42;11770:18;;11733:55;;:33;11752:14;3840:42;11752:14;;11733:33;;11681:38;-1:-1:-1;3320:42:2;;-1:-1:-1;11716:2:2;;-1:-1:-1;11702:17:2:o;11635:36::-;-1:-1:-1;3840:42:2;;-1:-1:-1;11668:2:2;;-1:-1:-1;11655:16:2:o;11567:58::-;-1:-1:-1;3708:42:2;;-1:-1:-1;11623:1:2;;-1:-1:-1;11609:16:2:o;11571:36::-;11590:17;3578:42;11590:17;;11571:36;;11520:37;-1:-1:-1;3578:42:2;;-1:-1:-1;11555:1:2;;-1:-1:-1;11541:16:2:o;11454:56::-;-1:-1:-1;3190:42:2;;-1:-1:-1;11507:2:2;;-1:-1:-1;11494:16:2:o;11458:34::-;11476:16;805:42771;11476:16;;11458:34;;5093:152:0;9300:399;5093:152;805:42771:2;5093:152:0;5203:10;9888:208;;;-1:-1:-1;9888:208:0;9300:399;-1:-1:-1;9300:399:0;;761:6;9300:399;;;;;;;;805:42771:2;5093:152:0;:::o;805:42771:2:-;;;;;;;;;;;;;:::o;:::-;;;;;;;:::o;:::-;;;;;;;;;;37849:1736;;;805:42771;38099:10;;;:::i;:::-;805:42771;38127:26;;:57;;;;;37849:1736;38123:180;;;805:42771;;38353:15;805:42771;38382:21;805:42771;38417:17;805:42771;38454:9;805:42771;38465:7;;;;;;38449:601;39104:11;;;;;39100:185;39104:11;;;805:42771;;39145:2;805:42771;;39100:185;;39333:236;;37849:1736;;:::o;39333:236::-;39407:77;;39511:43;;805:42771;;;3190:42;39407:12;3190:42;;39422:10;;:18;39443:9;805:42771;39407:77;;39539:2;805:42771;39533:3;805:42771;;;39511:43;:::i;39407:77::-;39455:29;39473:10;;39455:29;;:::i;:::-;39407:77;;;39100:185;39184:24;;;;;;39180:105;;39100:185;;;;39180:105;805:42771;;39238:2;805:42771;;;;;39180:105;;;38474:3;38508:4;;;;:::i;:::-;805:42771;;;;4645:10;38534:9;;;:22;;;38474:3;38530:506;;;805:42771;;;38598:2;805:42771;;4645:10;805:42771;;;;;;;;38638:102;;;38530:506;805:42771;38530:506;;805:42771;38454:9;;;;;38638:102;805:42771;;;38684:26;;;;38680:37;38638:102;38680:37;38712:5;;;;;38530:506;38768:9;;4645:10;38768:9;;;;;;:24;;;38530:506;38764:272;;;38816:17;;805:42771;38816:17;38764:272;38530:506;;38764:272;4645:10;38862:9;;;;;;:25;;;38764:272;38858:178;;;38911:19;;805:42771;38911:19;38858:178;38530:506;;38858:178;38959:9;;;;;38955:81;;805:42771;38858:178;38530:506;;38955:81;38999:18;805:42771;38999:18;;805:42771;38999:18;38862:25;805:42771;;;;38875:12;;38862:25;;38768:24;38781:11;;;38768:24;;38534:22;38547:9;4645:10;38547:9;;;38534:22;;38123:180;-1:-1:-1;38211:77:2;;-1:-1:-1;;805:42771:2;;;3190:42;38211:12;3190:42;;38226:10;;:18;38247:9;805:42771;38204:84;:::o;38211:77::-;38259:29;38277:10;;38259:29;;:::i;38127:57::-;805:42771;38157:27;;;38127:57;;;9109:1139:1;9254:988;;;9109:1139;;;9254:988;9109:1139;9254:988;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9109:1139::o;9254:988::-;;;;;;;4031:342;4146:221;4031:342;;;4146:221;;;;;;;4031:342::o;4146:221::-;;;;;;;31605:799:2;31750:648;;;;;;;;;;;;;;;;;;;;;;;31605:799;:::o;31750:648::-;;;;;;;;;;;;;;;;;;-1:-1:-1;31750:648:2;;;805:42771;;;35761:1;805:42771;;;;;;;:::o;:::-;;;35815:1;805:42771;;;;;;;:::o;:::-;;;35869:1;805:42771;;;;;;;:::o;:::-;;;33786:1;805:42771;;;;;;;:::o;:::-;;;35410:1;805:42771;;;;;;;:::o;:::-;;;34520:1;805:42771;;;;;;;:::o;:::-;;;;;;;;;;;;;;;:::o;33358:2722::-;33704:29;;;:::i;:::-;805:42771;;;33786:1;33770:17;;33766:2308;33786:1;;;33851:8;33814:47;33824:36;33851:8;;;:::i;:::-;;33824:36;;:::i;:::-;33814:47;:::i;:::-;33851:8;;;34090:36;33950;33977:8;;;:::i;33950:36::-;34059:8;34117;34032:36;34059:8;;;:::i;34032:36::-;34117:8;;:::i;:::-;;34090:36;;:::i;:::-;33907:261;805:42771;;;;;;;:::i;:::-;-1:-1:-1;805:42771:2;;33907:261;;805:42771;;;;;;;:::i;:::-;-1:-1:-1;805:42771:2;;33907:261;:::o;33875:609::-;34302:8;34391:36;34275;34302:8;;;:::i;:::-;;34275:36;;:::i;:::-;34360:8;34418;34333:36;34360:8;;;:::i;34391:36::-;805:42771;;;;;;;:::i;:::-;-1:-1:-1;805:42771:2;;34207:262;;;805:42771;;;;;;;:::i;33766:2308::-;34504:17;;;34520:1;34504:17;;34520:1;;34602:8;34575:36;34602:8;;;:::i;:::-;;34575:36;;:::i;:::-;34656:8;34737:36;34629;34656:8;;;:::i;:::-;;34629:36;;:::i;:::-;34710:8;34764;34683:36;34710:8;;;:::i;34683:36::-;34764:8;;:::i;34737:36::-;34537:270;;;;805:42771;;;;;;;:::i;34500:1574::-;34828:17;;;34844:1;34828:17;;34844:1;;34909:8;;34872:47;34882:36;34909:8;;;:::i;34872:47::-;34909:8;;;35013:36;35040:8;;;:::i;35013:36::-;35211;35095;35122:8;;;:::i;35095:36::-;35180:8;35238;35153:36;35180:8;;;:::i;35153:36::-;35238:8;;:::i;35211:36::-;34965:300;805:42771;;;;;;;:::i;:::-;-1:-1:-1;805:42771:2;;34965:300;;;;:::o;34933:687::-;35377:36;35404:8;;;:::i;35377:36::-;35462:8;35551:36;35435;35462:8;;;:::i;35551:36::-;805:42771;;;;;;;:::i;:::-;-1:-1:-1;805:42771:2;;35304:301;;;;;:::o;34824:1250::-;35656:1;35640:17;35656:1;;35728:36;35755:8;;;:::i;:::-;;35728:36;;:::i;:::-;35782;35809:8;;;:::i;35782:36::-;35863:8;35836:36;35863:8;;;:::i;35836:36::-;35917:8;35890:36;35917:8;;;:::i;35890:36::-;35971:8;805:42771;;34844:1;805:42771;;;;;35944:36;805:42771;;35971:8;35944:36;;:::i;:::-;35703:291;;;;;;:::o;32474:814::-;32690:29;;;:::i;:::-;805:42771;32749:1;805:42771;;32733:17;32729:231;;805:42771;;32989:1;32973:17;32989:1;;33139:36;33031;33058:8;;;:::i;33031:36::-;33112:8;33166;33085:36;33112:8;;;:::i;33085:36::-;33166:8;;:::i;33139:36::-;33006:183;;;;:::o;32729:231::-;32899:36;32791;32818:8;;;:::i;32791:36::-;32872:8;32926;32845:36;32872:8;;;:::i;32845:36::-;32926:8;;:::i;19546:1849::-;;805:42771;;;;;;;19719:15;19715:88;805:42771;;;19736:17;19749:4;19715:88;;19820:36;;;;:::i;:::-;805:42771;;;;19870:18;19866:1523;;19546:1849;;:::o;19866:1523::-;805:42771;;;;;;;;19911:5;805:42771;;;;;;;;-1:-1:-1;805:42771:2;;;;;-1:-1:-1;805:42771:2;;;19950:18;;;19946:1433;;19546:1849;;:::o;19946:1433::-;805:42771;20006:37;;;22249:222;805:42771;22249:222;;;;;805:42771;22249:222;;;805:42771;;22249:222;;;;21687:325;805:42771;21687:325;;;;;;;;;;805:42771;21687:325;;805:42771;21687:325;;22249:222;805:42771;22249:222;;;;;805:42771;22249:222;;;805:42771;;22249:222;;;;21687:325;805:42771;21687:325;;;;;;;;;;805:42771;21687:325;;805:42771;21687:325;;22249:222;805:42771;22249:222;;;;;805:42771;22249:222;;;805:42771;;22249:222;;;;21687:325;805:42771;21687:325;;;;;;;;;22249:222;21687:325;805:42771;21687:325;;805:42771;21687:325;;805:42771;22249:222;;;;;805:42771;22249:222;;;805:42771;;22249:222;;;;21687:325;805:42771;21687:325;;;;;;;;;;805:42771;21687:325;;805:42771;21687:325;;805:42771;;;;;:::i;:::-;;;;;;;;;20411:19;;;20407:157;;19946:1433;20585:19;;;20581:228;;19946:1433;20830:20;;;20826:231;;19946:1433;21078:21;;;21074:234;;19946:1433;805:42771;;;;19946:1433;19546:1849::o;21074:234::-;21134:29;;;;:::i;:::-;805:42771;21195:11;;3320:42;21189:17;;21185:105;21074:234;21185:105;805:42771;;;;;;;;;;:::i;:::-;;;;;21244:23;;3320:42;21185:105;;21074:234;;20826:231;20885:28;;;;:::i;:::-;805:42771;20945:11;;3320:42;20939:17;;20935:104;;20826:231;;;;20935:104;805:42771;;;;;;;;;;;:::i;:::-;;;;;20994:22;;3320:42;20935:104;;;;;20581:228;20639:27;;;;:::i;:::-;805:42771;20698:11;;3320:42;20692:17;;20688:103;;20581:228;;;;20688:103;805:42771;;;;;;;;;;;:::i;:::-;;;;;20747:21;;3320:42;20688:103;;;;;20407:157;20465:27;;;;;;;:::i;:::-;805:42771;;;;;;;:::i;:::-;;;;;20524:21;;3320:42;20407:157;;;;19715:88;19787:16;19715:88;;;41331:818;;41677:36;805:42771;41596:36;805:42771;;;41596:36;:::i;:::-;805:42771;;41677:36;:::i;:::-;25241:2;805:42771;;41734:40;;;41818:37;805:42771;41818:37;805:42771;;;41818:37;;;805:42771;41818:37;;;805:42771;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;41818:37;;;;;;;;;:::i;:::-;41727:144;;41734:40;41901:43;41734:40;;;;41901:43;:::i;:::-;805:42771;;41962:33;41958:93;;805:42771;41818:37;805:42771;;;42078:53;805:42771;;;;;;;;;;;;42078:53;;;805:42771;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;42078:53;;41818:37;42078:53;;;;;;:::i;41958:93::-;42015:21;;:::o;41331:818::-;;;;805:42771;41537:2;805:42771;41606:25;41596:36;41606:25;;;;:::i;:::-;41596:36;:::i;:::-;805:42771;;;;;41677:36;805:42771;;41677:36;:::i;:::-;805:42771;;;41734:40;;;41818:37;805:42771;41818:37;805:42771;;;41818:37;;;805:42771;41818:37;;;805:42771;;;;;;;;;;;;;-1:-1:-1;805:42771:2;;;;41818:37;;;;;;;;;:::i;:::-;41727:144;;41734:40;41901:43;41734:40;;;;41901:43;:::i;805:42771::-;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;:::o;40460:531::-;;805:42771;;;;;;:::i;:::-;40602:2;805:42771;;;;;;;;-1:-1:-1;40635:7:2;40640:2;40635:7;;;;-1:-1:-1;40958:16:2;-1:-1:-1;40460:531:2:o;40644:3::-;805:42771;;;40691:43;40916:1;805:42771;;40725:2;805:42771;;;;;;;40691:43;:::i;:::-;805:42771;;4645:10;;;;;;;40906:24;;805:42771;;40921:9;;805:42771;;;;;;40879:9;4645:10;40879:9;:::i;:::-;805:42771;;40868:20;805:42771;;;40868:20;;-1:-1:-1;40868:20:2;;;:::i;:::-;;4645:10;805:42771;;;;;;;;;4645:10;;;40921:9;:::i;:::-;-1:-1:-1;40906:24:2;805:42771;;40906:24;;:::i;:::-;;805:42771;40624:9;;12049:501;805:42771;12185:17;805:42771;;;;3578:42;12222:13;;12218:37;;3708:42;12269:13;;12265:37;;3840:42;12316:12;;12312:36;;3320:42;12362:13;;12358:38;;3448:42;12410:13;;12406:37;;3980:42;12457:15;;12453:42;;4117;12509:13;12505:38;;12049:501::o;12505:38::-;805:42771;;;;;;;;;:::i;:::-;;;;;;;;;12524:19;12540:2;12524:19;:::o;12453:42::-;805:42771;;;;;;;;;;:::i;:::-;;;;;;;;;12474:21;12492:2;12474:21;:::o;12406:37::-;805:42771;;;;;;;;;;:::i;:::-;;;;;;;;;12425:18;12441:1;12425:18;:::o;12358:38::-;805:42771;;;;;;;;;;:::i;:::-;;;;;;;;;12377:19;12393:2;12377:19;:::o;12312:36::-;805:42771;;;;;;;;;;:::i;:::-;;;;;;;;;12330:18;12345:2;12330:18;:::o;12265:37::-;805:42771;;;;;;;;;;:::i;:::-;;;;;;;;;12284:18;12300:1;12284:18;:::o;12218:37::-;805:42771;;;;;;;;;;:::i;:::-;;;;;;;;;12237:18;12253:1;12237:18;:::o;23573:440::-;23718:289;;;23573:440;;;;23718:289;;;;;;;;;;23573:440;:::o;805:42771::-;;;;;;;;;;;:::o;36407:916::-;;805:42771;;36627:17;36643:1;36705:9;-1:-1:-1;36716:8:2;;;;;;805:42771;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;:::i;:::-;;-1:-1:-1;805:42771:2;;;;;;36850:31;;;-1:-1:-1;36926:13:2;-1:-1:-1;37016:9:2;-1:-1:-1;37027:8:2;;;;;;805:42771;37265:41;805:42771;;;;;;;;;;:::i;:::-;3320:42;;805:42771;37284:22;;3320:42;37265:41;;;;:::i;:::-;;;:::i;:::-;;36407:916::o;37037:3::-;805:42771;;37064:7;;;;:::i;:::-;805:42771;;37064:20;37060:143;;37037:3;36643:1;805:42771;37016:9;;37060:143;805:42771;;37108:41;805:42771;;;;;;;:::i;:::-;3320:42;;37129:20;805:42771;37129:20;;3320:42;36643:1;37114:11;805:42771;37108:41;;;;;:::i;:::-;;;;:::i;:::-;-1:-1:-1;36643:1:2;805:42771;;;37060:143;;805:42771;;;;;;;;:::i;:::-;-1:-1:-1;805:42771:2;;-1:-1:-1;805:42771:2;;;;;;;;;;;;;36726:3;805:42771;;36753:7;;;;:::i;:::-;805:42771;;36753:20;36749:74;;36726:3;36643:1;805:42771;36705:9;;36749:74;36643:1;805:42771;;;;36749:74;;37390:393;;;37588:32;37598:8;;;3320:42;;;805:42771;;37588:32;:::i;:::-;37639:9;-1:-1:-1;37670:3:2;805:42771;;37650:18;;;;3320:42;805:42771;37705:20;805:42771;3320:42;;;805:42771;37705:20;;:::i;:::-;805:42771;;-1:-1:-1;37693:32:2;;;;;:::i;:::-;;805:42771;37639:9;;37650:18;-1:-1:-1;37650:18:2;;-1:-1:-1;;37390:393:2:o;36167:172::-;805:42771;36253:10;;;:::i;:::-;:19;36249:36;;805:42771;;;;;;;;4645:10;805:42771;;;;36303:12;;:28;;;;36295:37;;36167:172;:::o;36303:28::-;805:42771;;;;;;;;4645:10;805:42771;;;36319:12;;36167:172;:::o;36249:36::-;36274:11;36281:4;36274:11;:::o;12623:733::-;;;805:42771;;;;3980:42;12780:16;;:34;;;12623:733;12776:89;;4117:42;12879:14;;:32;;;12623:733;12875:87;;3578:42;12976:14;;:32;;;12623:733;12972:87;;3320:42;13073:14;;:32;;;12623:733;13069:87;;3840:42;13170:13;;:31;;;12623:733;13166:86;;3448:42;13266:14;:32;;;;12623:733;13262:87;;;12623:733::o;13262:87::-;13307:42;;-1:-1:-1;13300:49:2:o;13266:32::-;3320:42;805:42771;;;;13284:14;13266:32;;;13166:86;-1:-1:-1;13210:42:2;;-1:-1:-1;;13203:49:2:o;13170:31::-;805:42771;3320:42;805:42771;;;13187:14;13170:31;;13069:87;-1:-1:-1;13114:42:2;;-1:-1:-1;;13107:49:2:o;13073:32::-;805:42771;3708:42;805:42771;;;13091:14;13073:32;;12972:87;-1:-1:-1;13017:42:2;;-1:-1:-1;;13010:49:2:o;12976:32::-;805:42771;3320:42;805:42771;;;12994:14;12976:32;;12875:87;-1:-1:-1;12920:42:2;;-1:-1:-1;;12913:49:2:o;12879:32::-;805:42771;3320:42;805:42771;;;12897:14;12879:32;;12776:89;-1:-1:-1;12823:42:2;;-1:-1:-1;;12816:49:2:o;12780:34::-;805:42771;3320:42;805:42771;;;12800:14;12780:34;;6399:2651:0;6605:2439;805:42771:2;;6605:2439:0;;;;;761:6;6605:2439;;;;;;;;;;;;;;;;;805:42771:2;6605:2439:0;;;870:4;6605:2439;870:4;6605:2439;;;;;;;;;;;;;;;805:42771:2;6605:2439:0;;;;;;;;;;;;;;;;805:42771:2;6605:2439:0;;;;;;;6399:2651::o;6605:2439::-;805:42771:2;6605:2439:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;870:4;6605:2439;870:4;6605:2439;;;;;;;;;;;;;;;805:42771:2;6605:2439:0;;;;;;;;6399:2651::o;42946:628:2:-;;43040:528;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42946:628::o;42207:570::-;;805:42771;;42349:10;;42404:79;42411:8;;;:32;;;42404:79;42411:32;;;805:42771;;42404:79;;42411:32;;;42500:10;;42496:67;;42604:14;;;:::i;:::-;42637:9;42418:1;42648:8;;;;;;-1:-1:-1;42733:27:2;;-1:-1:-1;;42207:570:2:o;42658:3::-;42699:6;805:42771;42699:6;805:42771;42699:6;;;:::i;:::-;805:42771;;42418:1;42681:24;;;;;:::i;:::-;;805:42771;42637:9;;42411:32;805:42771;4645:10;805:42771;42423:12;805:42771;;;42423:12;;:::i;:::-;805:42771;;42423:20;42411:32;;41068:193;805:42771;;;;41189:3;41178:14;41226:2;41222:6;;41226:2;;;41231:4;41222:20;;805:42771;;4645:10;;41068:193;:::o;41222:20::-;41238:4;41222:20;;

ipfs://13fca8ffab4aaec298cc63ded7780ab138c7a771f3b632dd7e099befb7446ae9