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: MIT
pragma solidity ^0.8.19;

// ============================================
//  INTERFACES
// ============================================

interface IERC20 {
    function balanceOf(address) external view returns (uint256);
    function approve(address, uint256) external returns (bool);
    function transfer(address, uint256) external returns (bool);
    function transferFrom(address, address, uint256) external returns (bool);
}

interface IAavePool {
    function flashLoan(
        address receiver,
        address[] calldata assets,
        uint256[] calldata amounts,
        uint256[] calldata modes,
        address onBehalfOf,
        bytes calldata params,
        uint16 referralCode
    ) external;
}

interface IFlashLoanReceiver {
    function executeOperation(
        address[] calldata assets,
        uint256[] calldata amounts,
        uint256[] calldata premiums,
        address initiator,
        bytes calldata params
    ) external returns (bool);
}

// Curve interface for Tricrypto pools
interface ICurveTricrypto {
    function add_liquidity(uint256[3] calldata amounts, uint256 min_mint_amount) external returns (uint256);
    function exchange(uint256 i, uint256 j, uint256 dx, uint256 min_dy) external returns (uint256);
    function remove_liquidity(uint256 burn_amount, uint256[3] calldata min_amounts) external returns (uint256[3] memory);
    function balances(uint256 index) external view returns (uint256);
    function coins(uint256 index) external view returns (address);
    function get_dy(uint256 i, uint256 j, uint256 dx) external view returns (uint256);
}

// Uniswap V3 pool interface
interface IUniswapV3Pool {
    function swap(
        address recipient,
        bool zeroForOne,
        int256 amountSpecified,
        uint160 sqrtPriceLimitX96,
        bytes calldata data
    ) external returns (int256 amount0, int256 amount1);
    function token0() external view returns (address);
    function token1() external view returns (address);
    function fee() external view returns (uint24);
}

// ============================================
//  MAIN CONTRACT
// ============================================
contract CurveMultiPoolArbitrage is IFlashLoanReceiver {

    // ----- Mainnet Addresses -----
    address constant WETH   = 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2;
    address constant WBTC   = 0x2260FAC5E5542a773Aa44fBCfeDf7C193bc2C599;
    address constant USDC   = 0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48;
    address constant USDT   = 0xdAC17F958D2ee523a2206206994597C13D831ec7;

    // Curve pools
    address constant CURVE_A = 0x7F86Bf177Dd4F3494b841a37e810A34dD56c829B; // TricryptoUSDC (USDC/WBTC/WETH)
    address constant CURVE_B = 0xf5f5B97624542D72A9E06f04804Bf81baA15e2B4; // TricryptoUSDT (USDT/WBTC/WETH)

    // Uniswap V3 pool (USDC/USDT) – 0.05% fee
    address constant UNISWAP_V3 = 0x3416cF6C708Da44DB2624D63ea0AAef7113527C6;

    // Aave V3 pool
    address constant AAVE = 0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2;

    // ----- Events -----
    event STEP(string name);
    event SWAP_RESULT(string label, uint256 input, uint256 output);
    event DEPOSIT_RESULT(uint256 usdc, uint256 wbtc, uint256 weth, uint256 lp);
    event WITHDRAW_RESULT(uint256 usdc, uint256 wbtc, uint256 weth, uint256 lp);
    event BALANCE_SNAPSHOT(string stage, uint256 weth, uint256 wbtc, uint256 usdc);
    event DEBT_INFO(uint256 wethDebt, uint256 wbtcDebt, uint256 usdcDebt);
    event DEFICIT_COVERAGE(string desc, uint256 inToken, uint256 outToken, uint256 inAmt, uint256 outAmt, uint256 remaining);

    // Struct to hold strategy parameters
    struct StrategyParams {
        uint256 wbtcToDeposit;      // WBTC to deposit in Pool A
        uint256 usdcForArbitrage;   // USDC to swap for WBTC in Pool A
    }

    // ============================================
    //  ENTRY POINT
    // ============================================
    function run(uint256 wbtcToDeposit, uint256 usdcForArbitrage) external {
        emit STEP("RUN");
        uint256 totalWbtcNeeded = wbtcToDeposit;
        uint256 totalUsdcNeeded = usdcForArbitrage;

        address[] memory assets = new address[](2);
        uint256[] memory amounts = new uint256[](2);
        uint256[] memory modes = new uint256[](2);
        uint256 assetCount = 0;

        if (totalWbtcNeeded > 0) {
            assets[assetCount] = WBTC;
            amounts[assetCount] = totalWbtcNeeded;
            modes[assetCount] = 0;
            assetCount++;
        }
        if (totalUsdcNeeded > 0) {
            assets[assetCount] = USDC;
            amounts[assetCount] = totalUsdcNeeded;
            modes[assetCount] = 0;
            assetCount++;
        }
        require(assetCount > 0, "no assets");

        // Trim arrays
        assembly {
            mstore(assets, assetCount)
            mstore(amounts, assetCount)
            mstore(modes, assetCount)
        }

        bytes memory params = abi.encode(StrategyParams(wbtcToDeposit, usdcForArbitrage));

        IAavePool(AAVE).flashLoan(
            address(this),
            assets,
            amounts,
            modes,
            address(this),
            params,
            0
        );
    }

    // ============================================
    //  FLASH LOAN CALLBACK
    // ============================================
    function executeOperation(
        address[] calldata assets,
        uint256[] calldata amounts,
        uint256[] calldata premiums,
        address initiator,
        bytes calldata params
    ) external override returns (bool) {
        require(msg.sender == AAVE, "only Aave");

        StrategyParams memory p = abi.decode(params, (StrategyParams));

        // Extract borrowed amounts and premiums
        uint256[3] memory borrowed; // [WETH, WBTC, USDC]
        uint256[3] memory premium;
        for (uint256 i = 0; i < assets.length; i++) {
            if (assets[i] == WETH) {
                borrowed[0] = amounts[i];
                premium[0] = premiums[i];
            } else if (assets[i] == WBTC) {
                borrowed[1] = amounts[i];
                premium[1] = premiums[i];
            } else if (assets[i] == USDC) {
                borrowed[2] = amounts[i];
                premium[2] = premiums[i];
            }
        }
        emit DEBT_INFO(borrowed[0], borrowed[1], borrowed[2]);

        // Approve tokens for all pools
        IERC20(WETH).approve(CURVE_A, type(uint256).max);
        IERC20(WBTC).approve(CURVE_A, type(uint256).max);
        IERC20(USDC).approve(CURVE_A, type(uint256).max);
        IERC20(WBTC).approve(CURVE_B, type(uint256).max);

        // USDT approvals: set to zero first, then to max (to handle USDT's quirk)
        IERC20(USDT).approve(CURVE_B, 0);
        IERC20(USDT).approve(CURVE_B, type(uint256).max);
        IERC20(USDT).approve(UNISWAP_V3, 0);
        IERC20(USDT).approve(UNISWAP_V3, type(uint256).max);
        IERC20(USDC).approve(UNISWAP_V3, type(uint256).max);

        emit STEP("INITIAL");
        _logBalance("INITIAL");

        // -------------------------------------------------------------
        // Step 1: Deposit WBTC into Pool A (single asset)
        // -------------------------------------------------------------
        uint256 lpA;
        if (p.wbtcToDeposit > 0) {
            emit STEP("DEPOSIT_WBTC_IN_A");
            uint256[3] memory depositAmounts = [uint256(0), p.wbtcToDeposit, 0]; // [USDC, WBTC, WETH]
            lpA = ICurveTricrypto(CURVE_A).add_liquidity(depositAmounts, 0);
            emit DEPOSIT_RESULT(0, p.wbtcToDeposit, 0, lpA);
        }

        emit STEP("POST_DEPOSIT_A");
        _logBalance("POST_DEPOSIT_A");

        // -------------------------------------------------------------
        // Step 2: Swap USDC -> WBTC in Pool A (arbitrage buy)
        // -------------------------------------------------------------
        uint256 wbtcBought;
        if (p.usdcForArbitrage > 0) {
            emit STEP("SWAP_USDC_TO_WBTC_IN_A");
            wbtcBought = ICurveTricrypto(CURVE_A).exchange(0, 1, p.usdcForArbitrage, 0);
            emit SWAP_RESULT("USDC->WBTC in A", p.usdcForArbitrage, wbtcBought);
        }

        emit STEP("POST_ARBITRAGE_BUY");
        _logBalance("POST_ARBITRAGE_BUY");

        // -------------------------------------------------------------
        // Step 3: Swap WBTC -> USDT in Pool B
        // -------------------------------------------------------------
        uint256 usdtReceived;
        if (wbtcBought > 0) {
            emit STEP("SWAP_WBTC_TO_USDT_IN_B");
            // In Pool B, token indices: 0=USDT, 1=WBTC, 2=WETH
            usdtReceived = ICurveTricrypto(CURVE_B).exchange(1, 0, wbtcBought, 0);
            emit SWAP_RESULT("WBTC->USDT in B", wbtcBought, usdtReceived);
        }

        emit STEP("POST_ARBITRAGE_SELL");
        _logBalance("POST_ARBITRAGE_SELL");

        // -------------------------------------------------------------
        // Step 4: Swap USDT -> USDC in Uniswap V3 pool
        // -------------------------------------------------------------
        uint256 usdcFromUni;
        if (usdtReceived > 0) {
            emit STEP("SWAP_USDT_TO_USDC_IN_UNI_V3");
            IUniswapV3Pool uni = IUniswapV3Pool(UNISWAP_V3);
            address token0 = uni.token0();
            address token1 = uni.token1();
            bool zeroForOne;
            if (token0 == USDC && token1 == USDT) {
                // token0=USDC, token1=USDT, selling USDT means zeroForOne = false
                zeroForOne = false;
            } else if (token0 == USDT && token1 == USDC) {
                zeroForOne = true;   // selling token0 (USDT) for token1 (USDC)
            } else {
                revert("Unexpected token order in Uniswap V3 pool");
            }

            // Perform swap with exact input
            int256 amount0;
            int256 amount1;
            (amount0, amount1) = uni.swap(
                address(this),
                zeroForOne,
                int256(usdtReceived),
                0,
                ""
            );

            // Determine output amount
            if (zeroForOne) {
                // We sold token0 (USDT) -> amount0 negative, amount1 positive (USDC)
                usdcFromUni = uint256(-amount1);
            } else {
                // We sold token1 (USDT) -> amount1 negative, amount0 positive (USDC)
                usdcFromUni = uint256(-amount0);
            }
            emit SWAP_RESULT("USDT->USDC in Uni V3", usdtReceived, usdcFromUni);
        }

        emit STEP("POST_UNISWAP");
        _logBalance("POST_UNISWAP");

        // -------------------------------------------------------------
        // Step 5: Remove liquidity from Pool A
        // -------------------------------------------------------------
        uint256 lpBalance = IERC20(CURVE_A).balanceOf(address(this));
        uint256[3] memory withdrawn;
        if (lpBalance > 0) {
            emit STEP("REMOVE_LIQUIDITY_A");
            uint256[3] memory minAmounts; // zero for testing
            withdrawn = ICurveTricrypto(CURVE_A).remove_liquidity(lpBalance, minAmounts);
            emit WITHDRAW_RESULT(withdrawn[0], withdrawn[1], withdrawn[2], lpBalance);
        }

        emit STEP("POST_WITHDRAWAL_A");
        _logBalance("POST_WITHDRAWAL_A");

        // -------------------------------------------------------------
        // Step 6: Cover deficits using excess tokens (precise swaps)
        // -------------------------------------------------------------
        emit STEP("COVER_DEFICITS");

        uint256 wethDebt = borrowed[0] + premium[0];
        uint256 wbtcDebt = borrowed[1] + premium[1];
        uint256 usdcDebt = borrowed[2] + premium[2];

        // Loop until all deficits covered
        bool swapped;
        uint256 maxIter = 20;
        do {
            swapped = false;

            uint256 wethBal = IERC20(WETH).balanceOf(address(this));
            uint256 wbtcBal = IERC20(WBTC).balanceOf(address(this));
            uint256 usdcBal = IERC20(USDC).balanceOf(address(this));

            uint256 wethReserve = wethBal < wethDebt ? wethBal : wethDebt;
            uint256 wbtcReserve = wbtcBal < wbtcDebt ? wbtcBal : wbtcDebt;
            uint256 usdcReserve = usdcBal < usdcDebt ? usdcBal : usdcDebt;

            uint256 wethExcess = wethBal - wethReserve;
            uint256 wbtcExcess = wbtcBal - wbtcReserve;
            uint256 usdcExcess = usdcBal - usdcReserve;

            uint256 wethDeficit = wethDebt > wethReserve ? wethDebt - wethReserve : 0;
            uint256 wbtcDeficit = wbtcDebt > wbtcReserve ? wbtcDebt - wbtcReserve : 0;
            uint256 usdcDeficit = usdcDebt > usdcReserve ? usdcDebt - usdcReserve : 0;

            if (wethDeficit == 0 && wbtcDeficit == 0 && usdcDeficit == 0) break;

            // Priority order: cover WBTC deficit first using USDC or WETH
            if (wbtcDeficit > 0 && usdcExcess > 0) {
                uint256 requiredUsdc = _getSwapInput(0, 1, wbtcDeficit, usdcExcess);
                if (requiredUsdc > 0) {
                    uint256 output = ICurveTricrypto(CURVE_A).exchange(0, 1, requiredUsdc, 0);
                    uint256 remaining = wbtcDeficit > output ? wbtcDeficit - output : 0;
                    emit DEFICIT_COVERAGE("USDC->WBTC", 0, 1, requiredUsdc, output, remaining);
                    swapped = true;
                }
            } else if (wbtcDeficit > 0 && wethExcess > 0) {
                uint256 requiredWeth = _getSwapInput(2, 1, wbtcDeficit, wethExcess);
                if (requiredWeth > 0) {
                    uint256 output = ICurveTricrypto(CURVE_A).exchange(2, 1, requiredWeth, 0);
                    uint256 remaining = wbtcDeficit > output ? wbtcDeficit - output : 0;
                    emit DEFICIT_COVERAGE("WETH->WBTC", 2, 1, requiredWeth, output, remaining);
                    swapped = true;
                }
            } else if (usdcDeficit > 0 && wethExcess > 0) {
                uint256 requiredWeth = _getSwapInput(2, 0, usdcDeficit, wethExcess);
                if (requiredWeth > 0) {
                    uint256 output = ICurveTricrypto(CURVE_A).exchange(2, 0, requiredWeth, 0);
                    uint256 remaining = usdcDeficit > output ? usdcDeficit - output : 0;
                    emit DEFICIT_COVERAGE("WETH->USDC", 2, 0, requiredWeth, output, remaining);
                    swapped = true;
                }
            } else if (usdcDeficit > 0 && wbtcExcess > 0) {
                uint256 requiredWbtc = _getSwapInput(1, 0, usdcDeficit, wbtcExcess);
                if (requiredWbtc > 0) {
                    uint256 output = ICurveTricrypto(CURVE_A).exchange(1, 0, requiredWbtc, 0);
                    uint256 remaining = usdcDeficit > output ? usdcDeficit - output : 0;
                    emit DEFICIT_COVERAGE("WBTC->USDC", 1, 0, requiredWbtc, output, remaining);
                    swapped = true;
                }
            } else if (wethDeficit > 0 && usdcExcess > 0) {
                uint256 requiredUsdc = _getSwapInput(0, 2, wethDeficit, usdcExcess);
                if (requiredUsdc > 0) {
                    uint256 output = ICurveTricrypto(CURVE_A).exchange(0, 2, requiredUsdc, 0);
                    uint256 remaining = wethDeficit > output ? wethDeficit - output : 0;
                    emit DEFICIT_COVERAGE("USDC->WETH", 0, 2, requiredUsdc, output, remaining);
                    swapped = true;
                }
            } else if (wethDeficit > 0 && wbtcExcess > 0) {
                uint256 requiredWbtc = _getSwapInput(1, 2, wethDeficit, wbtcExcess);
                if (requiredWbtc > 0) {
                    uint256 output = ICurveTricrypto(CURVE_A).exchange(1, 2, requiredWbtc, 0);
                    uint256 remaining = wethDeficit > output ? wethDeficit - output : 0;
                    emit DEFICIT_COVERAGE("WBTC->WETH", 1, 2, requiredWbtc, output, remaining);
                    swapped = true;
                }
            }

            if (--maxIter == 0) break;
        } while (swapped);

        // -------------------------------------------------------------
        // Step 7: Repay flash loan
        // -------------------------------------------------------------
        emit STEP("REPAY");
        if (wethDebt > 0) require(IERC20(WETH).transfer(AAVE, wethDebt), "WETH repay failed");
        if (wbtcDebt > 0) require(IERC20(WBTC).transfer(AAVE, wbtcDebt), "WBTC repay failed");
        if (usdcDebt > 0) require(IERC20(USDC).transfer(AAVE, usdcDebt), "USDC repay failed");

        // -------------------------------------------------------------
        // Step 8: Send all remaining tokens as profit (any token)
        // -------------------------------------------------------------
        uint256 wethProfit = IERC20(WETH).balanceOf(address(this));
        if (wethProfit > 0) IERC20(WETH).transfer(initiator, wethProfit);
        uint256 wbtcProfit = IERC20(WBTC).balanceOf(address(this));
        if (wbtcProfit > 0) IERC20(WBTC).transfer(initiator, wbtcProfit);
        uint256 usdcProfit = IERC20(USDC).balanceOf(address(this));
        if (usdcProfit > 0) IERC20(USDC).transfer(initiator, usdcProfit);
        uint256 usdtProfit = IERC20(USDT).balanceOf(address(this));
        if (usdtProfit > 0) IERC20(USDT).transfer(initiator, usdtProfit);

        return true;
    }

    // ============================================
    //  HELPER: Binary search for exact input to cover deficit
    // ============================================
    function _getSwapInput(uint256 i, uint256 j, uint256 target, uint256 maxInput) internal view returns (uint256) {
        if (target == 0) return 0;
        uint256 outputAtMax = ICurveTricrypto(CURVE_A).get_dy(i, j, maxInput);
        if (outputAtMax < target) return maxInput;

        uint256 low = 0;
        uint256 high = maxInput;
        while (low < high) {
            uint256 mid = (low + high) / 2;
            uint256 dy = ICurveTricrypto(CURVE_A).get_dy(i, j, mid);
            if (dy < target) {
                low = mid + 1;
            } else {
                high = mid;
            }
        }
        return low;
    }

    // ============================================
    //  LOGGING HELPERS
    // ============================================
    function _logBalance(string memory stage) internal {
        uint256 wethBal = IERC20(WETH).balanceOf(address(this));
        uint256 wbtcBal = IERC20(WBTC).balanceOf(address(this));
        uint256 usdcBal = IERC20(USDC).balanceOf(address(this));
        emit BALANCE_SNAPSHOT(stage, wethBal, wbtcBal, usdcBal);
    }

    receive() external payable {}
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "viaIR": true,
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "remappings": []
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"stage","type":"string"},{"indexed":false,"internalType":"uint256","name":"weth","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wbtc","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"usdc","type":"uint256"}],"name":"BALANCE_SNAPSHOT","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"wethDebt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wbtcDebt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"usdcDebt","type":"uint256"}],"name":"DEBT_INFO","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"desc","type":"string"},{"indexed":false,"internalType":"uint256","name":"inToken","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outToken","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"inAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"remaining","type":"uint256"}],"name":"DEFICIT_COVERAGE","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"usdc","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wbtc","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"weth","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lp","type":"uint256"}],"name":"DEPOSIT_RESULT","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"name","type":"string"}],"name":"STEP","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"label","type":"string"},{"indexed":false,"internalType":"uint256","name":"input","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"output","type":"uint256"}],"name":"SWAP_RESULT","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"usdc","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wbtc","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"weth","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lp","type":"uint256"}],"name":"WITHDRAW_RESULT","type":"event"},{"inputs":[{"internalType":"address[]","name":"assets","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"},{"internalType":"uint256[]","name":"premiums","type":"uint256[]"},{"internalType":"address","name":"initiator","type":"address"},{"internalType":"bytes","name":"params","type":"bytes"}],"name":"executeOperation","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"wbtcToDeposit","type":"uint256"},{"internalType":"uint256","name":"usdcForArbitrage","type":"uint256"}],"name":"run","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608080604052346015576130b4908161001a8239f35b5f80fdfe6080604052600436101561001a575b3615610018575f80fd5b005b5f3560e01c80637357f5d2146100395763920f5c840361000e57610273565b34610177576040366003190112610177576004356100ec6024356020608052600360a05262292aa760e91b60c0525f51602061305f5f395f51905f52607f1960e0016080a1610086610394565b926100fa610092610394565b9161009b610394565b935f826101c0575b8161017b575b6100b4811515610417565b80885280855285526100c4610375565b9182526020820152604051948591602083019190916020806040830194805184520151910152565b03601f19810185528461034e565b7387870bca3f3fd6335c3f4ce8392d69350b4fa4e23b15610177576101385f93604051958694859463ab9c4b5d60e01b8652309230600488016104b0565b0381837387870bca3f3fd6335c3f4ce8392d69350b4fa4e25af180156101725761015e57005b8061016c5f6100189361034e565b8061044f565b61055e565b5f80fd5b8061019e61018c6101bb938b6103dc565b5f51602061303f5f395f51905f529052565b826101a982886103dc565b525f6101b582896103dc565b52610404565b6100a9565b506101e66101cd886103ca565b732260fac5e5542a773aa44fbcfedf7c193bc2c5999052565b816101f0856103ca565b525f6101fb866103ca565b5260016100a3565b9181601f840112156101775782359167ffffffffffffffff8311610177576020808501948460051b01011161017757565b6001600160a01b0381160361017757565b9181601f840112156101775782359167ffffffffffffffff8311610177576020838186019501011161017757565b346101775760a03660031901126101775760043567ffffffffffffffff8111610177576102a4903690600401610203565b60243567ffffffffffffffff8111610177576102c4903690600401610203565b91909260443567ffffffffffffffff8111610177576102e7903690600401610203565b606435916102f483610234565b6084359567ffffffffffffffff8711610177576103369761031c610324983690600401610245565b979096610917565b60405190151581529081906020820190565b0390f35b634e487b7160e01b5f52604160045260245ffd5b90601f8019910116810190811067ffffffffffffffff82111761037057604052565b61033a565b6040519061038460408361034e565b565b90610384604051928361034e565b604051606091906103a5838261034e565b6002815291601f1901366020840137565b634e487b7160e01b5f52603260045260245ffd5b8051156103d75760200190565b6103b6565b80518210156103d75760209160051b010190565b634e487b7160e01b5f52601160045260245ffd5b5f1981146104125760010190565b6103f0565b1561041e57565b60405162461bcd60e51b81526020600482015260096024820152686e6f2061737365747360b81b6044820152606490fd5b5f91031261017757565b90602080835192838152019201905f5b8181106104765750505090565b8251845260209384019390920191600101610469565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b969593929060e088019060018060a01b0316885260e060208901528251809152602061010089019301905f5b81811061053f575050509261052a6105186105379461050a8560c0988c6040816103849d9a03910152610459565b908a820360608c0152610459565b6001600160a01b039093166080890152565b86820360a088015261048c565b5f9190940152565b82516001600160a01b03168552602094850194909201916001016104dc565b6040513d5f823e3d90fd5b1561057057565b60405162461bcd60e51b81526020600482015260096024820152686f6e6c79204161766560b81b6044820152606490fd5b908160409103126101775760405190604082019082821067ffffffffffffffff83111761037057602091604052803583520135602082015290565b604051906105eb60608361034e565b6060368337565b91908110156103d75760051b0190565b3561060c81610234565b90565b90816020910312610177575180151581036101775790565b6040519061063660408361034e565b60078252661253925512505360ca1b6020830152565b90816020910312610177575190565b905f905b6003821061066c57505050565b602080600192855181520193019101909161065f565b60605f9193929361069781608081019661065b565b0152565b604051906106aa60408361034e565b600e82526d504f53545f4445504f5349545f4160901b6020830152565b604051906106d660408361034e565b6012825271504f53545f4152424954524147455f42555960701b6020830152565b6040519061070660408361034e565b60138252721413d4d517d054909255149051d157d4d15313606a1b6020830152565b90816020910312610177575161060c81610234565b9190826040910312610177576020825192015190565b600160ff1b8114610412575f0390565b6040519061077260408361034e565b600c82526b0504f53545f554e49535741560a41b6020830152565b906060828203126101775780601f8301121561017757604051916107b260608461034e565b82906060810192831161017757905b8282106107ce5750505090565b81518152602091820191016107c1565b908152608081019291610384916020019061065b565b6040519061080360408361034e565b6011825270504f53545f5749544844524157414c5f4160781b6020830152565b906001820180921161041257565b9190820180921161041257565b9190820391821161041257565b8015610412575f190190565b1561085e57565b60405162461bcd60e51b815260206004820152601160248201527015d15512081c995c185e4819985a5b1959607a1b6044820152606490fd5b1561089e57565b60405162461bcd60e51b815260206004820152601160248201527015d09510c81c995c185e4819985a5b1959607a1b6044820152606490fd5b156108de57565b60405162461bcd60e51b81526020600482015260116024820152701554d110c81c995c185e4819985a5b1959607a1b6044820152606490fd5b95979661094b919497959293956109437387870bca3f3fd6335c3f4ce8392d69350b4fa4e23314610569565b8101906105a1565b956109546105dc565b9461095d6105dc565b965f5b8681106126e3575050505050505080519161097b8260200190565b937f410fa716b34958490be0ca7dc42bb527130c9d7ca3f4a12dd6a0a48830f9b01d85516109a98560400190565b956109cc8751604051938493846040919493926060820195825260208201520152565b0390a160405163095ea7b360e01b81525f516020612fff5f395f51905f5260048201525f1960248201526020816044815f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af18015610172576126c6575b5060405163095ea7b360e01b81525f516020612fff5f395f51905f5260048201525f1960248201526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af18015610172576126a9575b5060405163095ea7b360e01b81525f516020612fff5f395f51905f5260048201525f1960248201526020816044815f5f51602061303f5f395f51905f525af180156101725761268c575b5060405163095ea7b360e01b815273f5f5b97624542d72a9e06f04804bf81baa15e2b460048201525f1960248201526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af180156101725761266f575b5060405163095ea7b360e01b815273f5f5b97624542d72a9e06f04804bf81baa15e2b460048201525f6024820152602081806044810103815f73dac17f958d2ee523a2206206994597c13d831ec75af1801561017257612652575b5060405163095ea7b360e01b815273f5f5b97624542d72a9e06f04804bf81baa15e2b460048201525f1960248201526020816044815f73dac17f958d2ee523a2206206994597c13d831ec75af1801561017257612635575b5060405163095ea7b360e01b8152733416cf6c708da44db2624d63ea0aaef7113527c660048201525f6024820152602081806044810103815f73dac17f958d2ee523a2206206994597c13d831ec75af1801561017257612618575b5060405163095ea7b360e01b8152733416cf6c708da44db2624d63ea0aaef7113527c660048201525f1960248201526020816044815f73dac17f958d2ee523a2206206994597c13d831ec75af18015610172576125fb575b5060405163095ea7b360e01b8152733416cf6c708da44db2624d63ea0aaef7113527c660048201525f1960248201526020816044815f5f51602061303f5f395f51905f525af18015610172576125de575b505f51602061305f5f395f51905f5260405180610d02816060906020815260076020820152661253925512505360ca1b60408201520190565b0390a1610d15610d10610627565b612812565b80516124cd575b5f51602061305f5f395f51905f5260405180610d5b8160609060208152600e60208201526d504f53545f4445504f5349545f4160901b60408201520190565b0390a1610d69610d1061069b565b60205f910180516123aa575b505f51602061305f5f395f51905f5260405180610db981606090602081526012602082015271504f53545f4152424954524147455f42555960701b60408201520190565b0390a1610dc7610d106106c7565b5f9080612286575b505f51602061305f5f395f51905f5260405180610e14816060906020815260136020820152721413d4d517d054909255149051d157d4d15313606a1b60408201520190565b0390a1610e22610d106106f7565b80611f5e575b505f51602061305f5f395f51905f5260405180610e668160609060208152600c60208201526b0504f53545f554e49535741560a41b60408201520190565b0390a1610e74610d10610763565b6040516370a0823160e01b81523060048201526020816024815f516020612fff5f395f51905f525afa908115610172575f91611f3f575b50610eb46105dc565b5080611e01575b50610f6b610f72610f64610f7b945f51602061305f5f395f51905f5260405180610f0b81606090602081526011602082015270504f53545f5749544844524157414c5f4160781b60408201520190565b0390a1610f19610d106107f4565b5f51602061305f5f395f51905f5260405180610f588160609060208152600e60208201526d434f5645525f444546494349545360901b60408201520190565b0390a151845190610831565b9551602084015b5190610831565b93519160400190565b9160145f60015b15611df0575b506040516370a0823160e01b81523060048201525f91829160208160248173c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25afa908115610172575f91611dd2575b506040516370a0823160e01b8152306004820152602081602481732260fac5e5542a773aa44fbcfedf7c193bc2c5995afa908115610172575f91611db4575b506040516370a0823160e01b81523060048201526020816024815f51602061303f5f395f51905f525afa908115610172575f91611d96575b5086831015611d8d57829182915b89821015611d835761108582955b8c8781851015611d745761107f91506110798598899461083e565b9561083e565b9261083e565b92808a1115611d6c57611098908a61083e565b945b808b1115611d64576110ac908b61083e565b935b808c1115611d5c576110c0908c61083e565b945b80158080611d54575b80611d4c575b611d3d578515158080611d34575b1561175c575050505050816110f5929350612ee7565b908161165a575b50506111079061084b565b9182610f82575050505b5f51602061305f5f395f51905f526040518061114781606090602081526005602082015264524550415960d81b60408201520190565b0390a1806115d1575b5080611548575b50806114c6575b506040516370a0823160e01b815230600482015260208160248173c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25afa908115610172575f916114a7575b508061143b575b506040516370a0823160e01b8152306004820152602081602481732260fac5e5542a773aa44fbcfedf7c193bc2c5995afa908115610172575f9161141c575b50806113b0575b506040516370a0823160e01b81523060048201526020816024815f51602061303f5f395f51905f525afa908115610172575f91611391575b508061132c575b506040516370a0823160e01b81523060048201529060208260248173dac17f958d2ee523a2206206994597c13d831ec75afa918215610172575f926112fb575b5081611277575b5050600190565b60405163a9059cbb60e01b81526001600160a01b0391909116600482015260248101919091526020816044815f73dac17f958d2ee523a2206206994597c13d831ec75af18015610172576112cc575b80611270565b6112ed9060203d6020116112f4575b6112e5818361034e565b81019061060f565b505f6112c6565b503d6112db565b61131e91925060203d602011611325575b611316818361034e565b81019061064c565b905f611269565b503d61130c565b60405163a9059cbb60e01b81526001600160a01b038316600482015260248101919091526020816044815f5f51602061303f5f395f51905f525af1801561017257156112295761138a9060203d6020116112f4576112e5818361034e565b505f611229565b6113aa915060203d60201161132557611316818361034e565b5f611222565b60405163a9059cbb60e01b81526001600160a01b038316600482015260248101919091526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af1801561017257156111ea576114159060203d6020116112f4576112e5818361034e565b505f6111ea565b611435915060203d60201161132557611316818361034e565b5f6111e3565b60405163a9059cbb60e01b81526001600160a01b038316600482015260248101919091526020816044815f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af1801561017257156111a4576114a09060203d6020116112f4576112e5818361034e565b505f6111a4565b6114c0915060203d60201161132557611316818361034e565b5f61119d565b60405163a9059cbb60e01b81527387870bca3f3fd6335c3f4ce8392d69350b4fa4e2600482015260248101919091526020816044815f5f51602061303f5f395f51905f525af1801561017257611523915f91611529575b506108d7565b5f61115e565b611542915060203d6020116112f4576112e5818361034e565b5f61151d565b60405163a9059cbb60e01b81527387870bca3f3fd6335c3f4ce8392d69350b4fa4e2600482015260248101919091526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af18015610172576115ac915f916115b2575b50610897565b5f611157565b6115cb915060203d6020116112f4576112e5818361034e565b5f6115a6565b60405163a9059cbb60e01b81527387870bca3f3fd6335c3f4ce8392d69350b4fa4e2600482015260248101919091526020816044815f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af1801561017257611635915f9161163b575b50610857565b5f611150565b611654915060203d6020116112f4576112e5818361034e565b5f61162f565b604051630b68372160e31b81525f600482018190526001602483015260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f9361173c575b5082908181111561173157611722916116d69161083e565b6040519384938460a09194939260c08252600a60c083015269555344432d3e5742544360b01b60e08301526101008201955f602084015260016040840152606083015260808201520152565b0390a16001906111075f6110fc565b50506117225f6116d6565b61175591935060203d811161132557611316818361034e565b915f6116be565b80959293949590611d2b575b1561188257505050508161177d929350612dce565b908161178e5750506111079061084b565b604051630b68372160e31b81526002600482015260016024820152604481018390525f606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611862575b50829081811115611857576117229161180a9161083e565b6040519384938460a09194939260c08252600a60c083015269574554482d3e5742544360b01b60e08301526101008201956002602084015260016040840152606083015260808201520152565b50506117225f61180a565b61187b91935060203d811161132557611316818361034e565b915f6117f2565b92945090918515158080611d22575b156119a957505050506118a5915082612cb7565b90816118b65750506111079061084b565b604051630b68372160e31b8152600260048201525f6024820181905260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611989575b5082908181111561197e57611722916119329161083e565b6040519384938460a09194939260c08252600a60c083015269574554482d3e5553444360b01b60e0830152610100820195600260208401525f6040840152606083015260808201520152565b50506117225f611932565b6119a291935060203d811161132557611316818361034e565b915f61191a565b929350909180611d19575b15611aca575050506119c69082612ba0565b90816119d75750506111079061084b565b604051630b68372160e31b8152600160048201525f6024820181905260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611aaa575b50829081811115611a9f5761172291611a539161083e565b6040519384938460a09194939260c08252600a60c083015269574254432d3e5553444360b01b60e0830152610100820195600160208401525f6040840152606083015260808201520152565b50506117225f611a53565b611ac391935060203d811161132557611316818361034e565b915f611a3b565b91935090158080611d10575b15611beb5750611ae7915082612a89565b9081611af85750506111079061084b565b604051630b68372160e31b81525f600482018190526002602483015260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611bcb575b50829081811115611bc05761172291611b749161083e565b6040519384938460a09194939260c08252600a60c0830152690aaa688865a7cae8aa8960b31b60e08301526101008201955f602084015260026040840152606083015260808201520152565b50506117225f611b74565b611be491935060203d811161132557611316818361034e565b915f611b5c565b905080611d07575b611c025750506111079061084b565b611c0c9082612960565b9081156110fc57604051630b68372160e31b81526001600482015260026024820152604481018390525f606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611ce7575b50829081811115611cdc5761172291611c8f9161083e565b6040519384938460a09194939260c08252600a60c0830152690ae84a8865a7cae8aa8960b31b60e08301526101008201956001602084015260026040840152606083015260808201520152565b50506117225f611c8f565b611d0091935060203d811161132557611316818361034e565b915f611c77565b50801515611bf3565b50811515611ad6565b508315156119b4565b50841515611891565b50841515611768565b508515156110df565b50505050505050505050611111565b5086156110d1565b5085156110cb565b505f946110c2565b505f936110ae565b505f9461109a565b61107961107f9298899461083e565b6110858a9561105e565b86918291611050565b611dae915060203d811161132557611316818361034e565b5f611042565b611dcc915060203d811161132557611316818361034e565b5f61100a565b611dea915060203d811161132557611316818361034e565b5f610fcb565b15611dfb575f610f88565b50611111565b611e70905f51602061305f5f395f51905f5260405180611e488160609060208152601260208201527152454d4f56455f4c49515549444954595f4160701b60408201520190565b0390a16060611e556105dc565b6040518094819263ecb586a560e01b835285600484016107de565b03815f5f516020612fff5f395f51905f525af190811561017257610f7b947f78f78a939f8dcda580e9c4e98181d26f7b4f270f54ac3840d045ee238694fdbc610f7293610f6493610f6b965f92611f0e575b50611f02825191611ede611ed68560200190565b519460400190565b51604051948594859094939260609260808301968352602083015260408201520152565b0390a194505050610ebb565b611f3191925060603d606011611f38575b611f29818361034e565b81019061078d565b905f611ec2565b503d611f1f565b611f58915060203d60201161132557611316818361034e565b5f610eab565b5f51602061305f5f395f51905f5260405180611fac8160609060208152601b60208201527f535741505f555344545f544f5f555344435f494e5f554e495f5633000000000060408201520190565b0390a1604051630dfe168160e01b8152602081600481733416cf6c708da44db2624d63ea0aaef7113527c65afa908115610172575f91612267575b5060405163d21220a760e01b815290602082600481733416cf6c708da44db2624d63ea0aaef7113527c65afa918215610172575f92612236575b506001600160a01b03165f51602061303f5f395f51905f52811480612210575b1561216e5750505f905b60408051630251596160e31b81523060048201528315156024820152604481018390525f6064820181905260a0608483015260a482015290818060c4810103815f733416cf6c708da44db2624d63ea0aaef7113527c65af1908115610172577f7fe63ddc78ec31fdc8ba500e6a01ebb0c1b55ed2d32eb224813b1894ea32120b935f915f9361213b575b501561212b57506120e590610753565b905b60408051606080825260149082015273555344542d3e5553444320696e20556e6920563360601b6080820152602081019290925281019190915260a090a15f610e28565b6121359150610753565b906120e7565b909250612160915060403d604011612167575b612158818361034e565b81019061073d565b915f6120d5565b503d61214e565b73dac17f958d2ee523a2206206994597c13d831ec71490816121f0575b50156121995760019061204b565b60405162461bcd60e51b815260206004820152602960248201527f556e657870656374656420746f6b656e206f7264657220696e20556e697377616044820152681c08158cc81c1bdbdb60ba1b6064820152608490fd5b6001600160a01b03165f51602061303f5f395f51905f521490505f61218b565b506001600160a01b03821673dac17f958d2ee523a2206206994597c13d831ec714612041565b61225991925060203d602011612260575b612251818361034e565b810190610728565b905f612021565b503d612247565b612280915060203d60201161226057612251818361034e565b5f611fe7565b90505f51602061305f5f395f51905f52604051806122cf8160609060208152601660208201527529aba0a82faba12a21afaa27afaaa9a22a2fa4a72fa160511b60408201520190565b0390a1604051630b68372160e31b8152600160048201525f60248201819052604482018390526064820152602081806084810103815f73f5f5b97624542d72a9e06f04804bf81baa15e2b45af18015610172577f7fe63ddc78ec31fdc8ba500e6a01ebb0c1b55ed2d32eb224813b1894ea32120b915f9161238b575b50604080516060808252600f908201526e2ba12a21969f2aa9a22a1034b7102160891b6080820152602081019490945283018190529160a090a15f610dcf565b6123a4915060203d60201161132557611316818361034e565b5f61234b565b90505f51602061305f5f395f51905f52604051806123f381606090602081526016602082015275535741505f555344435f544f5f574254435f494e5f4160501b60408201520190565b0390a18051604051630b68372160e31b81525f600482018190526001602483015260448201929092526064810182905290602090829060849082905f516020612fff5f395f51905f525af18015610172577f7fe63ddc78ec31fdc8ba500e6a01ebb0c1b55ed2d32eb224813b1894ea32120b915f916124ae575b509151604080516060808252600f908201526e555344432d3e5742544320696e204160881b60808201526020810192909252810183905260a090a15f610d75565b6124c7915060203d60201161132557611316818361034e565b5f61246d565b5f51602061305f5f395f51905f526040518061250f816060906020815260116020820152704445504f5349545f574254435f494e5f4160781b60408201520190565b0390a161254a60206125216060610386565b5f81528351828201525f604082015260405180938192634515cef360e01b835260048301610682565b03815f5f516020612fff5f395f51905f525af18015610172577fa25950d8f96be7045da203329427efac55dc3192f89a52980295ffbb0ddce8db915f916125bf575b5082516125b7604051928392836060909392919360808101945f825260208201525f60408201520152565b0390a1610d1c565b6125d8915060203d60201161132557611316818361034e565b5f61258c565b6125f69060203d6020116112f4576112e5818361034e565b610cc9565b6126139060203d6020116112f4576112e5818361034e565b610c78565b6126309060203d6020116112f4576112e5818361034e565b610c20565b61264d9060203d6020116112f4576112e5818361034e565b610bc5565b61266a9060203d6020116112f4576112e5818361034e565b610b6d565b6126879060203d6020116112f4576112e5818361034e565b610b12565b6126a49060203d6020116112f4576112e5818361034e565b610aba565b6126c19060203d6020116112f4576112e5818361034e565b610a70565b6126de9060203d6020116112f4576112e5818361034e565b610a1f565b8073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc261271d61271161270c6001958c886105f2565b610602565b6001600160a01b031690565b036127455761272d8185896105f2565b35895261273b8187876105f2565b358a525b01610960565b732260fac5e5542a773aa44fbcfedf7c193bc2c599828060a01b0361276e61270c848c886105f2565b160361279b5761277f8185896105f2565b3560208a01526127908187876105f2565b3560208b015261273f565b5f51602061303f5f395f51905f52828060a01b036127bd61270c848c886105f2565b160361273f576127ce8185896105f2565b3560408a01526127df8187876105f2565b3560408b015261273f565b909261280360609396959460808452608084019061048c565b95602083015260408201520152565b6040516370a0823160e01b815230600482015260208160248173c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25afa908115610172575f91612941575b506040516370a0823160e01b815230600482015291602083602481732260fac5e5542a773aa44fbcfedf7c193bc2c5995afa928315610172575f93612920575b506040516370a0823160e01b81523060048201526020816024815f51602061303f5f395f51905f525afa8015610172577f63ca3e86fe7aa9638c70cd33fb1ab347866f3c87d4573ddeba6ee70d138f960e946128fa925f926128ff575b50604051948594856127ea565b0390a1565b61291991925060203d60201161132557611316818361034e565b905f6128ed565b61293a91935060203d60201161132557611316818361034e565b915f612890565b61295a915060203d60201161132557611316818361034e565b5f612850565b8015612a835760405163556d6e9f60e01b81526001600482015260026024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612a64575b5010612a60575f91905b8183106129c357505090565b90916129d86129d28483610831565b60011c90565b60405163556d6e9f60e01b81526001600482015260026024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612a42575b501015612a3b5750612a3390610823565b915b906129b7565b9250612a35565b612a5a915060203d811161132557611316818361034e565b5f612a22565b5090565b612a7d915060203d60201161132557611316818361034e565b5f6129ad565b50505f90565b8015612a835760405163556d6e9f60e01b81525f600482015260026024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612b81575b5010612a60575f91905b818310612aeb57505090565b9091612afa6129d28483610831565b60405163556d6e9f60e01b81525f600482015260026024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612b63575b501015612b5c5750612b5490610823565b915b90612adf565b9250612b56565b612b7b915060203d811161132557611316818361034e565b5f612b43565b612b9a915060203d60201161132557611316818361034e565b5f612ad5565b8015612a835760405163556d6e9f60e01b8152600160048201525f6024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612c98575b5010612a60575f91905b818310612c0257505090565b9091612c116129d28483610831565b60405163556d6e9f60e01b8152600160048201525f6024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612c7a575b501015612c735750612c6b90610823565b915b90612bf6565b9250612c6d565b612c92915060203d811161132557611316818361034e565b5f612c5a565b612cb1915060203d60201161132557611316818361034e565b5f612bec565b8015612a835760405163556d6e9f60e01b8152600260048201525f6024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612daf575b5010612a60575f91905b818310612d1957505090565b9091612d286129d28483610831565b60405163556d6e9f60e01b8152600260048201525f6024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612d91575b501015612d8a5750612d8290610823565b915b90612d0d565b9250612d84565b612da9915060203d811161132557611316818361034e565b5f612d71565b612dc8915060203d60201161132557611316818361034e565b5f612d03565b8015612a835760405163556d6e9f60e01b81526002600482015260016024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612ec8575b5010612a60575f91905b818310612e3157505090565b9091612e406129d28483610831565b60405163556d6e9f60e01b81526002600482015260016024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612eaa575b501015612ea35750612e9b90610823565b915b90612e25565b9250612e9d565b612ec2915060203d811161132557611316818361034e565b5f612e8a565b612ee1915060203d60201161132557611316818361034e565b5f612e1b565b8015612a835760405163556d6e9f60e01b81525f600482015260016024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612fdf575b5010612a60575f91905b818310612f4957505090565b9091612f586129d28483610831565b60405163556d6e9f60e01b81525f600482015260016024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612fc1575b501015612fba5750612fb290610823565b915b90612f3d565b9250612fb4565b612fd9915060203d811161132557611316818361034e565b5f612fa1565b612ff8915060203d60201161132557611316818361034e565b5f612f3356fe0000000000000000000000007f86bf177dd4f3494b841a37e810a34dd56c829b4dc9b8e97ab3652f8eb54f0b409159f245ad4f332438c2bac40d9fbc2cdba95d000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb480eac4911fa9edcdb75f34eee01c7436551eacd1218f933183c500a199715d9d6a26469706673582212201b20c9d1185757c99d6e90be00a3254e638182f8ae85e5cd0526a01908003e4464736f6c634300081f0033

0x6080604052600436101561001a575b3615610018575f80fd5b005b5f3560e01c80637357f5d2146100395763920f5c840361000e57610273565b34610177576040366003190112610177576004356100ec6024356020608052600360a05262292aa760e91b60c0525f51602061305f5f395f51905f52607f1960e0016080a1610086610394565b926100fa610092610394565b9161009b610394565b935f826101c0575b8161017b575b6100b4811515610417565b80885280855285526100c4610375565b9182526020820152604051948591602083019190916020806040830194805184520151910152565b03601f19810185528461034e565b7387870bca3f3fd6335c3f4ce8392d69350b4fa4e23b15610177576101385f93604051958694859463ab9c4b5d60e01b8652309230600488016104b0565b0381837387870bca3f3fd6335c3f4ce8392d69350b4fa4e25af180156101725761015e57005b8061016c5f6100189361034e565b8061044f565b61055e565b5f80fd5b8061019e61018c6101bb938b6103dc565b5f51602061303f5f395f51905f529052565b826101a982886103dc565b525f6101b582896103dc565b52610404565b6100a9565b506101e66101cd886103ca565b732260fac5e5542a773aa44fbcfedf7c193bc2c5999052565b816101f0856103ca565b525f6101fb866103ca565b5260016100a3565b9181601f840112156101775782359167ffffffffffffffff8311610177576020808501948460051b01011161017757565b6001600160a01b0381160361017757565b9181601f840112156101775782359167ffffffffffffffff8311610177576020838186019501011161017757565b346101775760a03660031901126101775760043567ffffffffffffffff8111610177576102a4903690600401610203565b60243567ffffffffffffffff8111610177576102c4903690600401610203565b91909260443567ffffffffffffffff8111610177576102e7903690600401610203565b606435916102f483610234565b6084359567ffffffffffffffff8711610177576103369761031c610324983690600401610245565b979096610917565b60405190151581529081906020820190565b0390f35b634e487b7160e01b5f52604160045260245ffd5b90601f8019910116810190811067ffffffffffffffff82111761037057604052565b61033a565b6040519061038460408361034e565b565b90610384604051928361034e565b604051606091906103a5838261034e565b6002815291601f1901366020840137565b634e487b7160e01b5f52603260045260245ffd5b8051156103d75760200190565b6103b6565b80518210156103d75760209160051b010190565b634e487b7160e01b5f52601160045260245ffd5b5f1981146104125760010190565b6103f0565b1561041e57565b60405162461bcd60e51b81526020600482015260096024820152686e6f2061737365747360b81b6044820152606490fd5b5f91031261017757565b90602080835192838152019201905f5b8181106104765750505090565b8251845260209384019390920191600101610469565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b969593929060e088019060018060a01b0316885260e060208901528251809152602061010089019301905f5b81811061053f575050509261052a6105186105379461050a8560c0988c6040816103849d9a03910152610459565b908a820360608c0152610459565b6001600160a01b039093166080890152565b86820360a088015261048c565b5f9190940152565b82516001600160a01b03168552602094850194909201916001016104dc565b6040513d5f823e3d90fd5b1561057057565b60405162461bcd60e51b81526020600482015260096024820152686f6e6c79204161766560b81b6044820152606490fd5b908160409103126101775760405190604082019082821067ffffffffffffffff83111761037057602091604052803583520135602082015290565b604051906105eb60608361034e565b6060368337565b91908110156103d75760051b0190565b3561060c81610234565b90565b90816020910312610177575180151581036101775790565b6040519061063660408361034e565b60078252661253925512505360ca1b6020830152565b90816020910312610177575190565b905f905b6003821061066c57505050565b602080600192855181520193019101909161065f565b60605f9193929361069781608081019661065b565b0152565b604051906106aa60408361034e565b600e82526d504f53545f4445504f5349545f4160901b6020830152565b604051906106d660408361034e565b6012825271504f53545f4152424954524147455f42555960701b6020830152565b6040519061070660408361034e565b60138252721413d4d517d054909255149051d157d4d15313606a1b6020830152565b90816020910312610177575161060c81610234565b9190826040910312610177576020825192015190565b600160ff1b8114610412575f0390565b6040519061077260408361034e565b600c82526b0504f53545f554e49535741560a41b6020830152565b906060828203126101775780601f8301121561017757604051916107b260608461034e565b82906060810192831161017757905b8282106107ce5750505090565b81518152602091820191016107c1565b908152608081019291610384916020019061065b565b6040519061080360408361034e565b6011825270504f53545f5749544844524157414c5f4160781b6020830152565b906001820180921161041257565b9190820180921161041257565b9190820391821161041257565b8015610412575f190190565b1561085e57565b60405162461bcd60e51b815260206004820152601160248201527015d15512081c995c185e4819985a5b1959607a1b6044820152606490fd5b1561089e57565b60405162461bcd60e51b815260206004820152601160248201527015d09510c81c995c185e4819985a5b1959607a1b6044820152606490fd5b156108de57565b60405162461bcd60e51b81526020600482015260116024820152701554d110c81c995c185e4819985a5b1959607a1b6044820152606490fd5b95979661094b919497959293956109437387870bca3f3fd6335c3f4ce8392d69350b4fa4e23314610569565b8101906105a1565b956109546105dc565b9461095d6105dc565b965f5b8681106126e3575050505050505080519161097b8260200190565b937f410fa716b34958490be0ca7dc42bb527130c9d7ca3f4a12dd6a0a48830f9b01d85516109a98560400190565b956109cc8751604051938493846040919493926060820195825260208201520152565b0390a160405163095ea7b360e01b81525f516020612fff5f395f51905f5260048201525f1960248201526020816044815f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af18015610172576126c6575b5060405163095ea7b360e01b81525f516020612fff5f395f51905f5260048201525f1960248201526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af18015610172576126a9575b5060405163095ea7b360e01b81525f516020612fff5f395f51905f5260048201525f1960248201526020816044815f5f51602061303f5f395f51905f525af180156101725761268c575b5060405163095ea7b360e01b815273f5f5b97624542d72a9e06f04804bf81baa15e2b460048201525f1960248201526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af180156101725761266f575b5060405163095ea7b360e01b815273f5f5b97624542d72a9e06f04804bf81baa15e2b460048201525f6024820152602081806044810103815f73dac17f958d2ee523a2206206994597c13d831ec75af1801561017257612652575b5060405163095ea7b360e01b815273f5f5b97624542d72a9e06f04804bf81baa15e2b460048201525f1960248201526020816044815f73dac17f958d2ee523a2206206994597c13d831ec75af1801561017257612635575b5060405163095ea7b360e01b8152733416cf6c708da44db2624d63ea0aaef7113527c660048201525f6024820152602081806044810103815f73dac17f958d2ee523a2206206994597c13d831ec75af1801561017257612618575b5060405163095ea7b360e01b8152733416cf6c708da44db2624d63ea0aaef7113527c660048201525f1960248201526020816044815f73dac17f958d2ee523a2206206994597c13d831ec75af18015610172576125fb575b5060405163095ea7b360e01b8152733416cf6c708da44db2624d63ea0aaef7113527c660048201525f1960248201526020816044815f5f51602061303f5f395f51905f525af18015610172576125de575b505f51602061305f5f395f51905f5260405180610d02816060906020815260076020820152661253925512505360ca1b60408201520190565b0390a1610d15610d10610627565b612812565b80516124cd575b5f51602061305f5f395f51905f5260405180610d5b8160609060208152600e60208201526d504f53545f4445504f5349545f4160901b60408201520190565b0390a1610d69610d1061069b565b60205f910180516123aa575b505f51602061305f5f395f51905f5260405180610db981606090602081526012602082015271504f53545f4152424954524147455f42555960701b60408201520190565b0390a1610dc7610d106106c7565b5f9080612286575b505f51602061305f5f395f51905f5260405180610e14816060906020815260136020820152721413d4d517d054909255149051d157d4d15313606a1b60408201520190565b0390a1610e22610d106106f7565b80611f5e575b505f51602061305f5f395f51905f5260405180610e668160609060208152600c60208201526b0504f53545f554e49535741560a41b60408201520190565b0390a1610e74610d10610763565b6040516370a0823160e01b81523060048201526020816024815f516020612fff5f395f51905f525afa908115610172575f91611f3f575b50610eb46105dc565b5080611e01575b50610f6b610f72610f64610f7b945f51602061305f5f395f51905f5260405180610f0b81606090602081526011602082015270504f53545f5749544844524157414c5f4160781b60408201520190565b0390a1610f19610d106107f4565b5f51602061305f5f395f51905f5260405180610f588160609060208152600e60208201526d434f5645525f444546494349545360901b60408201520190565b0390a151845190610831565b9551602084015b5190610831565b93519160400190565b9160145f60015b15611df0575b506040516370a0823160e01b81523060048201525f91829160208160248173c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25afa908115610172575f91611dd2575b506040516370a0823160e01b8152306004820152602081602481732260fac5e5542a773aa44fbcfedf7c193bc2c5995afa908115610172575f91611db4575b506040516370a0823160e01b81523060048201526020816024815f51602061303f5f395f51905f525afa908115610172575f91611d96575b5086831015611d8d57829182915b89821015611d835761108582955b8c8781851015611d745761107f91506110798598899461083e565b9561083e565b9261083e565b92808a1115611d6c57611098908a61083e565b945b808b1115611d64576110ac908b61083e565b935b808c1115611d5c576110c0908c61083e565b945b80158080611d54575b80611d4c575b611d3d578515158080611d34575b1561175c575050505050816110f5929350612ee7565b908161165a575b50506111079061084b565b9182610f82575050505b5f51602061305f5f395f51905f526040518061114781606090602081526005602082015264524550415960d81b60408201520190565b0390a1806115d1575b5080611548575b50806114c6575b506040516370a0823160e01b815230600482015260208160248173c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25afa908115610172575f916114a7575b508061143b575b506040516370a0823160e01b8152306004820152602081602481732260fac5e5542a773aa44fbcfedf7c193bc2c5995afa908115610172575f9161141c575b50806113b0575b506040516370a0823160e01b81523060048201526020816024815f51602061303f5f395f51905f525afa908115610172575f91611391575b508061132c575b506040516370a0823160e01b81523060048201529060208260248173dac17f958d2ee523a2206206994597c13d831ec75afa918215610172575f926112fb575b5081611277575b5050600190565b60405163a9059cbb60e01b81526001600160a01b0391909116600482015260248101919091526020816044815f73dac17f958d2ee523a2206206994597c13d831ec75af18015610172576112cc575b80611270565b6112ed9060203d6020116112f4575b6112e5818361034e565b81019061060f565b505f6112c6565b503d6112db565b61131e91925060203d602011611325575b611316818361034e565b81019061064c565b905f611269565b503d61130c565b60405163a9059cbb60e01b81526001600160a01b038316600482015260248101919091526020816044815f5f51602061303f5f395f51905f525af1801561017257156112295761138a9060203d6020116112f4576112e5818361034e565b505f611229565b6113aa915060203d60201161132557611316818361034e565b5f611222565b60405163a9059cbb60e01b81526001600160a01b038316600482015260248101919091526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af1801561017257156111ea576114159060203d6020116112f4576112e5818361034e565b505f6111ea565b611435915060203d60201161132557611316818361034e565b5f6111e3565b60405163a9059cbb60e01b81526001600160a01b038316600482015260248101919091526020816044815f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af1801561017257156111a4576114a09060203d6020116112f4576112e5818361034e565b505f6111a4565b6114c0915060203d60201161132557611316818361034e565b5f61119d565b60405163a9059cbb60e01b81527387870bca3f3fd6335c3f4ce8392d69350b4fa4e2600482015260248101919091526020816044815f5f51602061303f5f395f51905f525af1801561017257611523915f91611529575b506108d7565b5f61115e565b611542915060203d6020116112f4576112e5818361034e565b5f61151d565b60405163a9059cbb60e01b81527387870bca3f3fd6335c3f4ce8392d69350b4fa4e2600482015260248101919091526020816044815f732260fac5e5542a773aa44fbcfedf7c193bc2c5995af18015610172576115ac915f916115b2575b50610897565b5f611157565b6115cb915060203d6020116112f4576112e5818361034e565b5f6115a6565b60405163a9059cbb60e01b81527387870bca3f3fd6335c3f4ce8392d69350b4fa4e2600482015260248101919091526020816044815f73c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25af1801561017257611635915f9161163b575b50610857565b5f611150565b611654915060203d6020116112f4576112e5818361034e565b5f61162f565b604051630b68372160e31b81525f600482018190526001602483015260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f9361173c575b5082908181111561173157611722916116d69161083e565b6040519384938460a09194939260c08252600a60c083015269555344432d3e5742544360b01b60e08301526101008201955f602084015260016040840152606083015260808201520152565b0390a16001906111075f6110fc565b50506117225f6116d6565b61175591935060203d811161132557611316818361034e565b915f6116be565b80959293949590611d2b575b1561188257505050508161177d929350612dce565b908161178e5750506111079061084b565b604051630b68372160e31b81526002600482015260016024820152604481018390525f606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611862575b50829081811115611857576117229161180a9161083e565b6040519384938460a09194939260c08252600a60c083015269574554482d3e5742544360b01b60e08301526101008201956002602084015260016040840152606083015260808201520152565b50506117225f61180a565b61187b91935060203d811161132557611316818361034e565b915f6117f2565b92945090918515158080611d22575b156119a957505050506118a5915082612cb7565b90816118b65750506111079061084b565b604051630b68372160e31b8152600260048201525f6024820181905260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611989575b5082908181111561197e57611722916119329161083e565b6040519384938460a09194939260c08252600a60c083015269574554482d3e5553444360b01b60e0830152610100820195600260208401525f6040840152606083015260808201520152565b50506117225f611932565b6119a291935060203d811161132557611316818361034e565b915f61191a565b929350909180611d19575b15611aca575050506119c69082612ba0565b90816119d75750506111079061084b565b604051630b68372160e31b8152600160048201525f6024820181905260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611aaa575b50829081811115611a9f5761172291611a539161083e565b6040519384938460a09194939260c08252600a60c083015269574254432d3e5553444360b01b60e0830152610100820195600160208401525f6040840152606083015260808201520152565b50506117225f611a53565b611ac391935060203d811161132557611316818361034e565b915f611a3b565b91935090158080611d10575b15611beb5750611ae7915082612a89565b9081611af85750506111079061084b565b604051630b68372160e31b81525f600482018190526002602483015260448201849052606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611bcb575b50829081811115611bc05761172291611b749161083e565b6040519384938460a09194939260c08252600a60c0830152690aaa688865a7cae8aa8960b31b60e08301526101008201955f602084015260026040840152606083015260808201520152565b50506117225f611b74565b611be491935060203d811161132557611316818361034e565b915f611b5c565b905080611d07575b611c025750506111079061084b565b611c0c9082612960565b9081156110fc57604051630b68372160e31b81526001600482015260026024820152604481018390525f606482015292935090602083806084810103815f5f516020612fff5f395f51905f525af1918215610172575f51602061301f5f395f51905f52935f93611ce7575b50829081811115611cdc5761172291611c8f9161083e565b6040519384938460a09194939260c08252600a60c0830152690ae84a8865a7cae8aa8960b31b60e08301526101008201956001602084015260026040840152606083015260808201520152565b50506117225f611c8f565b611d0091935060203d811161132557611316818361034e565b915f611c77565b50801515611bf3565b50811515611ad6565b508315156119b4565b50841515611891565b50841515611768565b508515156110df565b50505050505050505050611111565b5086156110d1565b5085156110cb565b505f946110c2565b505f936110ae565b505f9461109a565b61107961107f9298899461083e565b6110858a9561105e565b86918291611050565b611dae915060203d811161132557611316818361034e565b5f611042565b611dcc915060203d811161132557611316818361034e565b5f61100a565b611dea915060203d811161132557611316818361034e565b5f610fcb565b15611dfb575f610f88565b50611111565b611e70905f51602061305f5f395f51905f5260405180611e488160609060208152601260208201527152454d4f56455f4c49515549444954595f4160701b60408201520190565b0390a16060611e556105dc565b6040518094819263ecb586a560e01b835285600484016107de565b03815f5f516020612fff5f395f51905f525af190811561017257610f7b947f78f78a939f8dcda580e9c4e98181d26f7b4f270f54ac3840d045ee238694fdbc610f7293610f6493610f6b965f92611f0e575b50611f02825191611ede611ed68560200190565b519460400190565b51604051948594859094939260609260808301968352602083015260408201520152565b0390a194505050610ebb565b611f3191925060603d606011611f38575b611f29818361034e565b81019061078d565b905f611ec2565b503d611f1f565b611f58915060203d60201161132557611316818361034e565b5f610eab565b5f51602061305f5f395f51905f5260405180611fac8160609060208152601b60208201527f535741505f555344545f544f5f555344435f494e5f554e495f5633000000000060408201520190565b0390a1604051630dfe168160e01b8152602081600481733416cf6c708da44db2624d63ea0aaef7113527c65afa908115610172575f91612267575b5060405163d21220a760e01b815290602082600481733416cf6c708da44db2624d63ea0aaef7113527c65afa918215610172575f92612236575b506001600160a01b03165f51602061303f5f395f51905f52811480612210575b1561216e5750505f905b60408051630251596160e31b81523060048201528315156024820152604481018390525f6064820181905260a0608483015260a482015290818060c4810103815f733416cf6c708da44db2624d63ea0aaef7113527c65af1908115610172577f7fe63ddc78ec31fdc8ba500e6a01ebb0c1b55ed2d32eb224813b1894ea32120b935f915f9361213b575b501561212b57506120e590610753565b905b60408051606080825260149082015273555344542d3e5553444320696e20556e6920563360601b6080820152602081019290925281019190915260a090a15f610e28565b6121359150610753565b906120e7565b909250612160915060403d604011612167575b612158818361034e565b81019061073d565b915f6120d5565b503d61214e565b73dac17f958d2ee523a2206206994597c13d831ec71490816121f0575b50156121995760019061204b565b60405162461bcd60e51b815260206004820152602960248201527f556e657870656374656420746f6b656e206f7264657220696e20556e697377616044820152681c08158cc81c1bdbdb60ba1b6064820152608490fd5b6001600160a01b03165f51602061303f5f395f51905f521490505f61218b565b506001600160a01b03821673dac17f958d2ee523a2206206994597c13d831ec714612041565b61225991925060203d602011612260575b612251818361034e565b810190610728565b905f612021565b503d612247565b612280915060203d60201161226057612251818361034e565b5f611fe7565b90505f51602061305f5f395f51905f52604051806122cf8160609060208152601660208201527529aba0a82faba12a21afaa27afaaa9a22a2fa4a72fa160511b60408201520190565b0390a1604051630b68372160e31b8152600160048201525f60248201819052604482018390526064820152602081806084810103815f73f5f5b97624542d72a9e06f04804bf81baa15e2b45af18015610172577f7fe63ddc78ec31fdc8ba500e6a01ebb0c1b55ed2d32eb224813b1894ea32120b915f9161238b575b50604080516060808252600f908201526e2ba12a21969f2aa9a22a1034b7102160891b6080820152602081019490945283018190529160a090a15f610dcf565b6123a4915060203d60201161132557611316818361034e565b5f61234b565b90505f51602061305f5f395f51905f52604051806123f381606090602081526016602082015275535741505f555344435f544f5f574254435f494e5f4160501b60408201520190565b0390a18051604051630b68372160e31b81525f600482018190526001602483015260448201929092526064810182905290602090829060849082905f516020612fff5f395f51905f525af18015610172577f7fe63ddc78ec31fdc8ba500e6a01ebb0c1b55ed2d32eb224813b1894ea32120b915f916124ae575b509151604080516060808252600f908201526e555344432d3e5742544320696e204160881b60808201526020810192909252810183905260a090a15f610d75565b6124c7915060203d60201161132557611316818361034e565b5f61246d565b5f51602061305f5f395f51905f526040518061250f816060906020815260116020820152704445504f5349545f574254435f494e5f4160781b60408201520190565b0390a161254a60206125216060610386565b5f81528351828201525f604082015260405180938192634515cef360e01b835260048301610682565b03815f5f516020612fff5f395f51905f525af18015610172577fa25950d8f96be7045da203329427efac55dc3192f89a52980295ffbb0ddce8db915f916125bf575b5082516125b7604051928392836060909392919360808101945f825260208201525f60408201520152565b0390a1610d1c565b6125d8915060203d60201161132557611316818361034e565b5f61258c565b6125f69060203d6020116112f4576112e5818361034e565b610cc9565b6126139060203d6020116112f4576112e5818361034e565b610c78565b6126309060203d6020116112f4576112e5818361034e565b610c20565b61264d9060203d6020116112f4576112e5818361034e565b610bc5565b61266a9060203d6020116112f4576112e5818361034e565b610b6d565b6126879060203d6020116112f4576112e5818361034e565b610b12565b6126a49060203d6020116112f4576112e5818361034e565b610aba565b6126c19060203d6020116112f4576112e5818361034e565b610a70565b6126de9060203d6020116112f4576112e5818361034e565b610a1f565b8073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc261271d61271161270c6001958c886105f2565b610602565b6001600160a01b031690565b036127455761272d8185896105f2565b35895261273b8187876105f2565b358a525b01610960565b732260fac5e5542a773aa44fbcfedf7c193bc2c599828060a01b0361276e61270c848c886105f2565b160361279b5761277f8185896105f2565b3560208a01526127908187876105f2565b3560208b015261273f565b5f51602061303f5f395f51905f52828060a01b036127bd61270c848c886105f2565b160361273f576127ce8185896105f2565b3560408a01526127df8187876105f2565b3560408b015261273f565b909261280360609396959460808452608084019061048c565b95602083015260408201520152565b6040516370a0823160e01b815230600482015260208160248173c02aaa39b223fe8d0a0e5c4f27ead9083c756cc25afa908115610172575f91612941575b506040516370a0823160e01b815230600482015291602083602481732260fac5e5542a773aa44fbcfedf7c193bc2c5995afa928315610172575f93612920575b506040516370a0823160e01b81523060048201526020816024815f51602061303f5f395f51905f525afa8015610172577f63ca3e86fe7aa9638c70cd33fb1ab347866f3c87d4573ddeba6ee70d138f960e946128fa925f926128ff575b50604051948594856127ea565b0390a1565b61291991925060203d60201161132557611316818361034e565b905f6128ed565b61293a91935060203d60201161132557611316818361034e565b915f612890565b61295a915060203d60201161132557611316818361034e565b5f612850565b8015612a835760405163556d6e9f60e01b81526001600482015260026024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612a64575b5010612a60575f91905b8183106129c357505090565b90916129d86129d28483610831565b60011c90565b60405163556d6e9f60e01b81526001600482015260026024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612a42575b501015612a3b5750612a3390610823565b915b906129b7565b9250612a35565b612a5a915060203d811161132557611316818361034e565b5f612a22565b5090565b612a7d915060203d60201161132557611316818361034e565b5f6129ad565b50505f90565b8015612a835760405163556d6e9f60e01b81525f600482015260026024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612b81575b5010612a60575f91905b818310612aeb57505090565b9091612afa6129d28483610831565b60405163556d6e9f60e01b81525f600482015260026024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612b63575b501015612b5c5750612b5490610823565b915b90612adf565b9250612b56565b612b7b915060203d811161132557611316818361034e565b5f612b43565b612b9a915060203d60201161132557611316818361034e565b5f612ad5565b8015612a835760405163556d6e9f60e01b8152600160048201525f6024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612c98575b5010612a60575f91905b818310612c0257505090565b9091612c116129d28483610831565b60405163556d6e9f60e01b8152600160048201525f6024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612c7a575b501015612c735750612c6b90610823565b915b90612bf6565b9250612c6d565b612c92915060203d811161132557611316818361034e565b5f612c5a565b612cb1915060203d60201161132557611316818361034e565b5f612bec565b8015612a835760405163556d6e9f60e01b8152600260048201525f6024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612daf575b5010612a60575f91905b818310612d1957505090565b9091612d286129d28483610831565b60405163556d6e9f60e01b8152600260048201525f6024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612d91575b501015612d8a5750612d8290610823565b915b90612d0d565b9250612d84565b612da9915060203d811161132557611316818361034e565b5f612d71565b612dc8915060203d60201161132557611316818361034e565b5f612d03565b8015612a835760405163556d6e9f60e01b81526002600482015260016024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612ec8575b5010612a60575f91905b818310612e3157505090565b9091612e406129d28483610831565b60405163556d6e9f60e01b81526002600482015260016024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612eaa575b501015612ea35750612e9b90610823565b915b90612e25565b9250612e9d565b612ec2915060203d811161132557611316818361034e565b5f612e8a565b612ee1915060203d60201161132557611316818361034e565b5f612e1b565b8015612a835760405163556d6e9f60e01b81525f600482015260016024820152604481018390526020816064815f516020612fff5f395f51905f525afa80156101725782915f91612fdf575b5010612a60575f91905b818310612f4957505090565b9091612f586129d28483610831565b60405163556d6e9f60e01b81525f600482015260016024820152604481018290529091906020816064815f516020612fff5f395f51905f525afa80156101725784915f91612fc1575b501015612fba5750612fb290610823565b915b90612f3d565b9250612fb4565b612fd9915060203d811161132557611316818361034e565b5f612fa1565b612ff8915060203d60201161132557611316818361034e565b5f612f3356fe0000000000000000000000007f86bf177dd4f3494b841a37e810a34dd56c829b4dc9b8e97ab3652f8eb54f0b409159f245ad4f332438c2bac40d9fbc2cdba95d000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb480eac4911fa9edcdb75f34eee01c7436551eacd1218f933183c500a199715d9d6a26469706673582212201b20c9d1185757c99d6e90be00a3254e638182f8ae85e5cd0526a01908003e4464736f6c634300081f0033