Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• interface PoolInterface
•    - function swapExactAmountIn(address, u ...
•    - function swapExactAmountOut(address, ...
•    - function calcInGivenOut(uint, uint, u ...
•    - function calcOutGivenIn(uint, uint, u ...
•    - function getDenormalizedWeight(addres ...
•    - function getBalance(address)
•    - function swapFee()
• interface TokenInterface
•    - function balanceOf(address)
•    - function allowance(address, address)
•    - function approve(address, uint)
•    - function transfer(address, uint)
•    - function transferFrom(address, addres ...
•    - function deposit()
•    - function withdraw(uint)
• interface RegistryInterface
•    - function getBestPoolsWithLimit(addres ...
• interface IFreeFromUpTo
•    - function freeFromUpTo(address from, u ...
•  contract ExchangeProxy *
•    - function setGovernance(address _gover ...
•    - function setRegistry(address _registr ...
•    - function batchSwapExactIn(
•    - function batchSwapExactOut(
•    - function multihopBatchSwapExactIn(
•    - function multihopBatchSwapExactOut(
•    - function smartSwapExactIn(
•    - function smartSwapExactOut(
•    - function viewSplitExactIn(
•    - function viewSplitExactOut(
•    - function getPoolData(
•    - function calcEffectiveLiquidity(
•    - function calcTotalOutExactIn(
•    - function calcTotalOutExactOut(
•    - function transferFromAll(TokenInterfa ...
•    - function getBalance(TokenInterface to ...
•    - function transferAll(TokenInterface t ...
•    - function isETH(TokenInterface token)
•    - function governanceRecoverUnsupported ...

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-02
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.6.12;
pragma experimental ABIEncoderV2;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

interface PoolInterface {
    function swapExactAmountIn(address, uint, address, uint, uint) external returns (uint, uint);
    function swapExactAmountOut(address, uint, address, uint, uint) external returns (uint, uint);
    function calcInGivenOut(uint, uint, uint, uint, uint, uint) external pure returns (uint);
    function calcOutGivenIn(uint, uint, uint, uint, uint, uint) external pure returns (uint);
    function getDenormalizedWeight(address) external view returns (uint);
    function getBalance(address) external view returns (uint);
    function swapFee() external view returns (uint);
}

interface TokenInterface {
    function balanceOf(address) external view returns (uint);
    function allowance(address, address) external view returns (uint);
    function approve(address, uint) external returns (bool);
    function transfer(address, uint) external returns (bool);
    function transferFrom(address, address, uint) external returns (bool);
    function deposit() external payable;
    function withdraw(uint) external;
}

interface RegistryInterface {
    function getBestPoolsWithLimit(address, address, uint) external view returns (address[] memory);
}

interface IFreeFromUpTo {
    function freeFromUpTo(address from, uint256 value) external returns (uint256 freed);
}

contract ExchangeProxy {
    using SafeMath for uint256;

    IFreeFromUpTo public constant chi = IFreeFromUpTo(0x0000000000004946c0e9F43F4Dee607b0eF1fA1c);

    modifier discountCHI(uint8 flag) {
        if ((flag & 0x1) == 0) {
            _;
        } else {
            uint256 gasStart = gasleft();
            _;
            uint256 gasSpent = 21000 + gasStart - gasleft() + 16 * msg.data.length;
            chi.freeFromUpTo(msg.sender, (gasSpent + 14154) / 41130);
        }
    }

    struct Pool {
        address pool;
        uint    tokenBalanceIn;
        uint    tokenWeightIn;
        uint    tokenBalanceOut;
        uint    tokenWeightOut;
        uint    swapFee;
        uint    effectiveLiquidity;
    }

    struct Swap {
        address pool;
        address tokenIn;
        address tokenOut;
        uint    swapAmount; // tokenInAmount / tokenOutAmount
        uint    limitReturnAmount; // minAmountOut / maxAmountIn
        uint    maxPrice;
    }

    TokenInterface weth;
    RegistryInterface registry;
    address private constant ETH_ADDRESS = address(0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE);
    uint private constant BONE = 10**18;

    address public governance;

    constructor(address _weth) public {
        weth = TokenInterface(_weth);
        governance = tx.origin;
    }

    function setGovernance(address _governance) external {
        require(msg.sender == governance, "!governance");
        governance = _governance;
    }

    function setRegistry(address _registry) external {
        require(msg.sender == governance, "!governance");
        registry = RegistryInterface(_registry);
    }

    function batchSwapExactIn(
        Swap[] memory swaps,
        TokenInterface tokenIn,
        TokenInterface tokenOut,
        uint totalAmountIn,
        uint minTotalAmountOut,
        uint8 flag
    )
    public payable discountCHI(flag)
    returns (uint totalAmountOut)
    {
        transferFromAll(tokenIn, totalAmountIn);

        for (uint i = 0; i < swaps.length; i++) {
            Swap memory swap = swaps[i];
            TokenInterface SwapTokenIn = TokenInterface(swap.tokenIn);
            PoolInterface pool = PoolInterface(swap.pool);

            if (SwapTokenIn.allowance(address(this), swap.pool) > 0) {
                SwapTokenIn.approve(swap.pool, 0);
            }
            SwapTokenIn.approve(swap.pool, swap.swapAmount);

            (uint tokenAmountOut,) = pool.swapExactAmountIn(
                swap.tokenIn,
                swap.swapAmount,
                swap.tokenOut,
                swap.limitReturnAmount,
                swap.maxPrice
            );
            totalAmountOut = tokenAmountOut.add(totalAmountOut);
        }

        require(totalAmountOut >= minTotalAmountOut, "ERR_LIMIT_OUT");

        transferAll(tokenOut, totalAmountOut);
        transferAll(tokenIn, getBalance(tokenIn));
    }

    function batchSwapExactOut(
        Swap[] memory swaps,
        TokenInterface tokenIn,
        TokenInterface tokenOut,
        uint maxTotalAmountIn,
        uint8 flag
    )
    public payable discountCHI(flag)
    returns (uint totalAmountIn)
    {
        transferFromAll(tokenIn, maxTotalAmountIn);

        for (uint i = 0; i < swaps.length; i++) {
            Swap memory swap = swaps[i];
            TokenInterface SwapTokenIn = TokenInterface(swap.tokenIn);
            PoolInterface pool = PoolInterface(swap.pool);

            if (SwapTokenIn.allowance(address(this), swap.pool) > 0) {
                SwapTokenIn.approve(swap.pool, 0);
            }
            SwapTokenIn.approve(swap.pool, swap.limitReturnAmount);

            (uint tokenAmountIn,) = pool.swapExactAmountOut(
                swap.tokenIn,
                swap.limitReturnAmount,
                swap.tokenOut,
                swap.swapAmount,
                swap.maxPrice
            );
            totalAmountIn = tokenAmountIn.add(totalAmountIn);
        }
        require(totalAmountIn <= maxTotalAmountIn, "ERR_LIMIT_IN");

        transferAll(tokenOut, getBalance(tokenOut));
        transferAll(tokenIn, getBalance(tokenIn));

    }

    function multihopBatchSwapExactIn(
        Swap[][] memory swapSequences,
        TokenInterface tokenIn,
        TokenInterface tokenOut,
        uint totalAmountIn,
        uint minTotalAmountOut,
        uint8 flag
    )
    public payable discountCHI(flag)
    returns (uint totalAmountOut)
    {

        transferFromAll(tokenIn, totalAmountIn);

        for (uint i = 0; i < swapSequences.length; i++) {
            uint tokenAmountOut;
            for (uint k = 0; k < swapSequences[i].length; k++) {
                Swap memory swap = swapSequences[i][k];
                TokenInterface SwapTokenIn = TokenInterface(swap.tokenIn);
                if (k == 1) {
                    // Makes sure that on the second swap the output of the first was used
                    // so there is not intermediate token leftover
                    swap.swapAmount = tokenAmountOut;
                }

                PoolInterface pool = PoolInterface(swap.pool);
                if (SwapTokenIn.allowance(address(this), swap.pool) > 0) {
                    SwapTokenIn.approve(swap.pool, 0);
                }
                SwapTokenIn.approve(swap.pool, swap.swapAmount);
                (tokenAmountOut,) = pool.swapExactAmountIn(
                    swap.tokenIn,
                    swap.swapAmount,
                    swap.tokenOut,
                    swap.limitReturnAmount,
                    swap.maxPrice
                );
            }
            // This takes the amountOut of the last swap
            totalAmountOut = tokenAmountOut.add(totalAmountOut);
        }

        require(totalAmountOut >= minTotalAmountOut, "ERR_LIMIT_OUT");

        transferAll(tokenOut, totalAmountOut);
        transferAll(tokenIn, getBalance(tokenIn));

    }

    function multihopBatchSwapExactOut(
        Swap[][] memory swapSequences,
        TokenInterface tokenIn,
        TokenInterface tokenOut,
        uint maxTotalAmountIn,
        uint8 flag
    )
    public payable discountCHI(flag)
    returns (uint totalAmountIn)
    {

        transferFromAll(tokenIn, maxTotalAmountIn);

        for (uint i = 0; i < swapSequences.length; i++) {
            uint tokenAmountInFirstSwap;
            // Specific code for a simple swap and a multihop (2 swaps in sequence)
            if (swapSequences[i].length == 1) {
                Swap memory swap = swapSequences[i][0];
                TokenInterface SwapTokenIn = TokenInterface(swap.tokenIn);

                PoolInterface pool = PoolInterface(swap.pool);
                if (SwapTokenIn.allowance(address(this), swap.pool) > 0) {
                    SwapTokenIn.approve(swap.pool, 0);
                }
                SwapTokenIn.approve(swap.pool, swap.limitReturnAmount);

                (tokenAmountInFirstSwap,) = pool.swapExactAmountOut(
                    swap.tokenIn,
                    swap.limitReturnAmount,
                    swap.tokenOut,
                    swap.swapAmount,
                    swap.maxPrice
                );
            } else {
                // Consider we are swapping A -> B and B -> C. The goal is to buy a given amount
                // of token C. But first we need to buy B with A so we can then buy C with B
                // To get the exact amount of C we then first need to calculate how much B we'll need:
                uint intermediateTokenAmount; // This would be token B as described above
                Swap memory secondSwap = swapSequences[i][1];
                PoolInterface poolSecondSwap = PoolInterface(secondSwap.pool);
                intermediateTokenAmount = poolSecondSwap.calcInGivenOut(
                    poolSecondSwap.getBalance(secondSwap.tokenIn),
                    poolSecondSwap.getDenormalizedWeight(secondSwap.tokenIn),
                    poolSecondSwap.getBalance(secondSwap.tokenOut),
                    poolSecondSwap.getDenormalizedWeight(secondSwap.tokenOut),
                    secondSwap.swapAmount,
                    poolSecondSwap.swapFee()
                );

                //// Buy intermediateTokenAmount of token B with A in the first pool
                Swap memory firstSwap = swapSequences[i][0];
                TokenInterface FirstSwapTokenIn = TokenInterface(firstSwap.tokenIn);
                PoolInterface poolFirstSwap = PoolInterface(firstSwap.pool);
                if (FirstSwapTokenIn.allowance(address(this), firstSwap.pool) < uint(-1)) {
                    FirstSwapTokenIn.approve(firstSwap.pool, uint(-1));
                }

                (tokenAmountInFirstSwap,) = poolFirstSwap.swapExactAmountOut(
                    firstSwap.tokenIn,
                    firstSwap.limitReturnAmount,
                    firstSwap.tokenOut,
                    intermediateTokenAmount, // This is the amount of token B we need
                    firstSwap.maxPrice
                );

                //// Buy the final amount of token C desired
                TokenInterface SecondSwapTokenIn = TokenInterface(secondSwap.tokenIn);
                if (SecondSwapTokenIn.allowance(address(this), secondSwap.pool) < uint(-1)) {
                    SecondSwapTokenIn.approve(secondSwap.pool, uint(-1));
                }

                poolSecondSwap.swapExactAmountOut(
                    secondSwap.tokenIn,
                    secondSwap.limitReturnAmount,
                    secondSwap.tokenOut,
                    secondSwap.swapAmount,
                    secondSwap.maxPrice
                );
            }
            totalAmountIn = tokenAmountInFirstSwap.add(totalAmountIn);
        }

        require(totalAmountIn <= maxTotalAmountIn, "ERR_LIMIT_IN");

        transferAll(tokenOut, getBalance(tokenOut));
        transferAll(tokenIn, getBalance(tokenIn));

    }

    function smartSwapExactIn(
        TokenInterface tokenIn,
        TokenInterface tokenOut,
        uint totalAmountIn,
        uint minTotalAmountOut,
        uint nPools,
        uint8 flag
    )
    public payable discountCHI(flag)
    returns (uint totalAmountOut)
    {
        Swap[] memory swaps;
        if (isETH(tokenIn)) {
            (swaps,) = viewSplitExactIn(address(weth), address(tokenOut), totalAmountIn, nPools);
        } else if (isETH(tokenOut)){
            (swaps,) = viewSplitExactIn(address(tokenIn), address(weth), totalAmountIn, nPools);
        } else {
            (swaps,) = viewSplitExactIn(address(tokenIn), address(tokenOut), totalAmountIn, nPools);
        }

        totalAmountOut = batchSwapExactIn(swaps, tokenIn, tokenOut, totalAmountIn, minTotalAmountOut, 0x0);
    }

    function smartSwapExactOut(
        TokenInterface tokenIn,
        TokenInterface tokenOut,
        uint totalAmountOut,
        uint maxTotalAmountIn,
        uint nPools,
        uint8 flag
    )
    public payable discountCHI(flag)
    returns (uint totalAmountIn)
    {
        Swap[] memory swaps;
        if (isETH(tokenIn)) {
            (swaps,) = viewSplitExactOut(address(weth), address(tokenOut), totalAmountOut, nPools);
        } else if (isETH(tokenOut)){
            (swaps,) = viewSplitExactOut(address(tokenIn), address(weth), totalAmountOut, nPools);
        } else {
            (swaps,) = viewSplitExactOut(address(tokenIn), address(tokenOut), totalAmountOut, nPools);
        }

        totalAmountIn = batchSwapExactOut(swaps, tokenIn, tokenOut, maxTotalAmountIn, 0x0);
    }

    function viewSplitExactIn(
        address tokenIn,
        address tokenOut,
        uint swapAmount,
        uint nPools
    )
    public view
    returns (Swap[] memory swaps, uint totalOutput)
    {
        address[] memory poolAddresses = registry.getBestPoolsWithLimit(tokenIn, tokenOut, nPools);

        Pool[] memory pools = new Pool[](poolAddresses.length);
        uint sumEffectiveLiquidity;
        for (uint i = 0; i < poolAddresses.length; i++) {
            pools[i] = getPoolData(tokenIn, tokenOut, poolAddresses[i]);
            sumEffectiveLiquidity = sumEffectiveLiquidity.add(pools[i].effectiveLiquidity);
        }

        uint[] memory bestInputAmounts = new uint[](pools.length);
        uint totalInputAmount;
        for (uint i = 0; i < pools.length; i++) {
            bestInputAmounts[i] = swapAmount.mul(pools[i].effectiveLiquidity).div(sumEffectiveLiquidity);
            totalInputAmount = totalInputAmount.add(bestInputAmounts[i]);
        }

        if (totalInputAmount < swapAmount) {
            bestInputAmounts[0] = bestInputAmounts[0].add(swapAmount.sub(totalInputAmount));
        } else {
            bestInputAmounts[0] = bestInputAmounts[0].sub(totalInputAmount.sub(swapAmount));
        }

        swaps = new Swap[](pools.length);

        for (uint i = 0; i < pools.length; i++) {
            swaps[i] = Swap({
            pool: pools[i].pool,
            tokenIn: tokenIn,
            tokenOut: tokenOut,
            swapAmount: bestInputAmounts[i],
            limitReturnAmount: 0,
            maxPrice: uint(-1)
            });
        }

        totalOutput = calcTotalOutExactIn(bestInputAmounts, pools);

        return (swaps, totalOutput);
    }

    function viewSplitExactOut(
        address tokenIn,
        address tokenOut,
        uint swapAmount,
        uint nPools
    )
    public view
    returns (Swap[] memory swaps, uint totalOutput)
    {
        address[] memory poolAddresses = registry.getBestPoolsWithLimit(tokenIn, tokenOut, nPools);

        Pool[] memory pools = new Pool[](poolAddresses.length);
        uint sumEffectiveLiquidity;
        for (uint i = 0; i < poolAddresses.length; i++) {
            pools[i] = getPoolData(tokenIn, tokenOut, poolAddresses[i]);
            sumEffectiveLiquidity = sumEffectiveLiquidity.add(pools[i].effectiveLiquidity);
        }

        uint[] memory bestInputAmounts = new uint[](pools.length);
        uint totalInputAmount;
        for (uint i = 0; i < pools.length; i++) {
            bestInputAmounts[i] = swapAmount.mul(pools[i].effectiveLiquidity).div(sumEffectiveLiquidity);
            totalInputAmount = totalInputAmount.add(bestInputAmounts[i]);
        }

        if (totalInputAmount < swapAmount) {
            bestInputAmounts[0] = bestInputAmounts[0].add(swapAmount.sub(totalInputAmount));
        } else {
            bestInputAmounts[0] = bestInputAmounts[0].sub(totalInputAmount.sub(swapAmount));
        }

        swaps = new Swap[](pools.length);

        for (uint i = 0; i < pools.length; i++) {
            swaps[i] = Swap({
            pool: pools[i].pool,
            tokenIn: tokenIn,
            tokenOut: tokenOut,
            swapAmount: bestInputAmounts[i],
            limitReturnAmount: uint(-1),
            maxPrice: uint(-1)
            });
        }

        totalOutput = calcTotalOutExactOut(bestInputAmounts, pools);

        return (swaps, totalOutput);
    }

    function getPoolData(
        address tokenIn,
        address tokenOut,
        address poolAddress
    )
    internal view
    returns (Pool memory)
    {
        PoolInterface pool = PoolInterface(poolAddress);
        uint tokenBalanceIn = pool.getBalance(tokenIn);
        uint tokenBalanceOut = pool.getBalance(tokenOut);
        uint tokenWeightIn = pool.getDenormalizedWeight(tokenIn);
        uint tokenWeightOut = pool.getDenormalizedWeight(tokenOut);
        uint swapFee = pool.swapFee();

        uint effectiveLiquidity = calcEffectiveLiquidity(
            tokenWeightIn,
            tokenBalanceOut,
            tokenWeightOut
        );
        Pool memory returnPool = Pool({
        pool: poolAddress,
        tokenBalanceIn: tokenBalanceIn,
        tokenWeightIn: tokenWeightIn,
        tokenBalanceOut: tokenBalanceOut,
        tokenWeightOut: tokenWeightOut,
        swapFee: swapFee,
        effectiveLiquidity: effectiveLiquidity
        });

        return returnPool;
    }

    function calcEffectiveLiquidity(
        uint tokenWeightIn,
        uint tokenBalanceOut,
        uint tokenWeightOut
    )
    internal pure
    returns (uint effectiveLiquidity)
    {

        // Bo * wi/(wi+wo)
        effectiveLiquidity =
        tokenWeightIn.mul(BONE).div(
            tokenWeightOut.add(tokenWeightIn)
        ).mul(tokenBalanceOut).div(BONE);

        return effectiveLiquidity;
    }

    function calcTotalOutExactIn(
        uint[] memory bestInputAmounts,
        Pool[] memory bestPools
    )
    internal pure
    returns (uint totalOutput)
    {
        totalOutput = 0;
        for (uint i = 0; i < bestInputAmounts.length; i++) {
            uint output = PoolInterface(bestPools[i].pool).calcOutGivenIn(
                bestPools[i].tokenBalanceIn,
                bestPools[i].tokenWeightIn,
                bestPools[i].tokenBalanceOut,
                bestPools[i].tokenWeightOut,
                bestInputAmounts[i],
                bestPools[i].swapFee
            );

            totalOutput = totalOutput.add(output);
        }
        return totalOutput;
    }

    function calcTotalOutExactOut(
        uint[] memory bestInputAmounts,
        Pool[] memory bestPools
    )
    internal pure
    returns (uint totalOutput)
    {
        totalOutput = 0;
        for (uint i = 0; i < bestInputAmounts.length; i++) {
            uint output = PoolInterface(bestPools[i].pool).calcInGivenOut(
                bestPools[i].tokenBalanceIn,
                bestPools[i].tokenWeightIn,
                bestPools[i].tokenBalanceOut,
                bestPools[i].tokenWeightOut,
                bestInputAmounts[i],
                bestPools[i].swapFee
            );

            totalOutput = totalOutput.add(output);
        }
        return totalOutput;
    }

    function transferFromAll(TokenInterface token, uint amount) internal returns(bool) {
        if (isETH(token)) {
            weth.deposit{value : msg.value}();
        } else {
            require(token.transferFrom(msg.sender, address(this), amount), "ERR_TRANSFER_FAILED");
        }
    }

    function getBalance(TokenInterface token) internal view returns (uint) {
        if (isETH(token)) {
            return weth.balanceOf(address(this));
        } else {
            return token.balanceOf(address(this));
        }
    }

    function transferAll(TokenInterface token, uint amount) internal returns(bool) {
        if (amount == 0) {
            return true;
        }

        if (isETH(token)) {
            weth.withdraw(amount);
            (bool xfer,) = msg.sender.call{value : amount}("");
            require(xfer, "ERR_ETH_FAILED");
        } else {
            require(token.transfer(msg.sender, amount), "ERR_TRANSFER_FAILED");
        }
    }

    function isETH(TokenInterface token) internal pure returns(bool) {
        return (address(token) == ETH_ADDRESS);
    }

    /**
     * This function allows governance to take unsupported tokens out of the contract.
     * This is in an effort to make someone whole, should they seriously mess up.
     * There is no guarantee governance will vote to return these.
     * It also allows for removal of airdropped tokens.
     */
    function governanceRecoverUnsupported(TokenInterface _token, uint _amount, address _to) external {
        require(msg.sender == governance, "!governance");
        if (isETH(_token)) {
            (bool xfer,) = _to.call{value : _amount}("");
            require(xfer, "ERR_ETH_FAILED");
        } else {
            require(_token.transfer(_to, _amount), "ERR_TRANSFER_FAILED");
        }
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_weth","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"components":[{"internalType":"address","name":"pool","type":"address"},{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"limitReturnAmount","type":"uint256"},{"internalType":"uint256","name":"maxPrice","type":"uint256"}],"internalType":"struct ExchangeProxy.Swap[]","name":"swaps","type":"tuple[]"},{"internalType":"contract TokenInterface","name":"tokenIn","type":"address"},{"internalType":"contract TokenInterface","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"totalAmountIn","type":"uint256"},{"internalType":"uint256","name":"minTotalAmountOut","type":"uint256"},{"internalType":"uint8","name":"flag","type":"uint8"}],"name":"batchSwapExactIn","outputs":[{"internalType":"uint256","name":"totalAmountOut","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"pool","type":"address"},{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"limitReturnAmount","type":"uint256"},{"internalType":"uint256","name":"maxPrice","type":"uint256"}],"internalType":"struct ExchangeProxy.Swap[]","name":"swaps","type":"tuple[]"},{"internalType":"contract TokenInterface","name":"tokenIn","type":"address"},{"internalType":"contract TokenInterface","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"maxTotalAmountIn","type":"uint256"},{"internalType":"uint8","name":"flag","type":"uint8"}],"name":"batchSwapExactOut","outputs":[{"internalType":"uint256","name":"totalAmountIn","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"chi","outputs":[{"internalType":"contract IFreeFromUpTo","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"governance","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"contract TokenInterface","name":"_token","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"_to","type":"address"}],"name":"governanceRecoverUnsupported","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"pool","type":"address"},{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"limitReturnAmount","type":"uint256"},{"internalType":"uint256","name":"maxPrice","type":"uint256"}],"internalType":"struct ExchangeProxy.Swap[][]","name":"swapSequences","type":"tuple[][]"},{"internalType":"contract TokenInterface","name":"tokenIn","type":"address"},{"internalType":"contract TokenInterface","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"totalAmountIn","type":"uint256"},{"internalType":"uint256","name":"minTotalAmountOut","type":"uint256"},{"internalType":"uint8","name":"flag","type":"uint8"}],"name":"multihopBatchSwapExactIn","outputs":[{"internalType":"uint256","name":"totalAmountOut","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"pool","type":"address"},{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"limitReturnAmount","type":"uint256"},{"internalType":"uint256","name":"maxPrice","type":"uint256"}],"internalType":"struct ExchangeProxy.Swap[][]","name":"swapSequences","type":"tuple[][]"},{"internalType":"contract TokenInterface","name":"tokenIn","type":"address"},{"internalType":"contract TokenInterface","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"maxTotalAmountIn","type":"uint256"},{"internalType":"uint8","name":"flag","type":"uint8"}],"name":"multihopBatchSwapExactOut","outputs":[{"internalType":"uint256","name":"totalAmountIn","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"_governance","type":"address"}],"name":"setGovernance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_registry","type":"address"}],"name":"setRegistry","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"contract TokenInterface","name":"tokenIn","type":"address"},{"internalType":"contract TokenInterface","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"totalAmountIn","type":"uint256"},{"internalType":"uint256","name":"minTotalAmountOut","type":"uint256"},{"internalType":"uint256","name":"nPools","type":"uint256"},{"internalType":"uint8","name":"flag","type":"uint8"}],"name":"smartSwapExactIn","outputs":[{"internalType":"uint256","name":"totalAmountOut","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"contract TokenInterface","name":"tokenIn","type":"address"},{"internalType":"contract TokenInterface","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"totalAmountOut","type":"uint256"},{"internalType":"uint256","name":"maxTotalAmountIn","type":"uint256"},{"internalType":"uint256","name":"nPools","type":"uint256"},{"internalType":"uint8","name":"flag","type":"uint8"}],"name":"smartSwapExactOut","outputs":[{"internalType":"uint256","name":"totalAmountIn","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"nPools","type":"uint256"}],"name":"viewSplitExactIn","outputs":[{"components":[{"internalType":"address","name":"pool","type":"address"},{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"limitReturnAmount","type":"uint256"},{"internalType":"uint256","name":"maxPrice","type":"uint256"}],"internalType":"struct ExchangeProxy.Swap[]","name":"swaps","type":"tuple[]"},{"internalType":"uint256","name":"totalOutput","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"nPools","type":"uint256"}],"name":"viewSplitExactOut","outputs":[{"components":[{"internalType":"address","name":"pool","type":"address"},{"internalType":"address","name":"tokenIn","type":"address"},{"internalType":"address","name":"tokenOut","type":"address"},{"internalType":"uint256","name":"swapAmount","type":"uint256"},{"internalType":"uint256","name":"limitReturnAmount","type":"uint256"},{"internalType":"uint256","name":"maxPrice","type":"uint256"}],"internalType":"struct ExchangeProxy.Swap[]","name":"swaps","type":"tuple[]"},{"internalType":"uint256","name":"totalOutput","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040523480156200001157600080fd5b506040516200472338038062004723833981016040819052620000349162000063565b600080546001600160a01b039092166001600160a01b0319928316179055600280549091163217905562000093565b60006020828403121562000075578081fd5b81516001600160a01b03811681146200008c578182fd5b9392505050565b61468080620000a36000396000f3fe6080604052600436106100c65760003560e01c8063a91ee0dc1161007f578063b43ae48f11610059578063b43ae48f146101f3578063c92aecc414610206578063d0bd7ca01461021b578063fd63afa41461022e576100cd565b8063a91ee0dc146101a0578063ab033ea9146101c0578063ac95ea74146101e0576100cd565b8063368bb1fc146100d25780634b0f93fb1461010957806354575af4146101295780635aa6e6751461014b57806396e903901461016d578063995605901461018d576100cd565b366100cd57005b600080fd5b3480156100de57600080fd5b506100f26100ed366004613f71565b610241565b60405161010092919061439d565b60405180910390f35b34801561011557600080fd5b506100f2610124366004613f71565b61061e565b34801561013557600080fd5b5061014961014436600461427f565b610944565b005b34801561015757600080fd5b50610160610aa8565b60405161010091906142fe565b61018061017b366004614228565b610ab7565b60405161010091906145bc565b61018061019b36600461418d565b610c7b565b3480156101ac57600080fd5b506101496101bb366004613f55565b6112e0565b3480156101cc57600080fd5b506101496101db366004613f55565b61132c565b6101806101ee36600461404e565b611378565b6101806102013660046140d1565b6119e6565b34801561021257600080fd5b50610160612d00565b610180610229366004614154565b612d12565b61018061023c366004614228565b613238565b60015460405163bfdbfc4360e01b815260609160009183916001600160a01b03169063bfdbfc439061027b908a908a90899060040161432c565b60006040518083038186803b15801561029357600080fd5b505afa1580156102a7573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526102cf9190810190613fb6565b9050606081516001600160401b03811180156102ea57600080fd5b5060405190808252806020026020018201604052801561032457816020015b610311613d6b565b8152602001906001900390816103095790505b5090506000805b835181101561039d576103528a8a86848151811061034557fe5b6020026020010151613332565b83828151811061035e57fe5b602002602001018190525061039383828151811061037857fe5b602002602001015160c001518361361290919063ffffffff16565b915060010161032b565b50606082516001600160401b03811180156103b757600080fd5b506040519080825280602002602001820160405280156103e1578160200160208202803683370190505b5090506000805b845181101561046d576104258461041f87848151811061040457fe5b602002602001015160c001518d61364090919063ffffffff16565b9061367a565b83828151811061043157fe5b60200260200101818152505061046383828151811061044c57fe5b60200260200101518361361290919063ffffffff16565b91506001016103e8565b50888110156104c4576104a66104838a836136bc565b8360008151811061049057fe5b602002602001015161361290919063ffffffff16565b826000815181106104b357fe5b60200260200101818152505061050e565b6104f46104d1828b6136bc565b836000815181106104de57fe5b60200260200101516136bc90919063ffffffff16565b8260008151811061050157fe5b6020026020010181815250505b83516001600160401b038111801561052557600080fd5b5060405190808252806020026020018201604052801561055f57816020015b61054c613db1565b8152602001906001900390816105445790505b50965060005b8451811015610603576040518060c0016040528086838151811061058557fe5b6020026020010151600001516001600160a01b031681526020018d6001600160a01b031681526020018c6001600160a01b031681526020018483815181106105c957fe5b6020026020010151815260200160001981526020016000198152508882815181106105f057fe5b6020908102919091010152600101610565565b5061060e82856136fe565b9550505050505094509492505050565b60015460405163bfdbfc4360e01b815260609160009183916001600160a01b03169063bfdbfc4390610658908a908a90899060040161432c565b60006040518083038186803b15801561067057600080fd5b505afa158015610684573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526106ac9190810190613fb6565b9050606081516001600160401b03811180156106c757600080fd5b5060405190808252806020026020018201604052801561070157816020015b6106ee613d6b565b8152602001906001900390816106e65790505b5090506000805b8351811015610752576107228a8a86848151811061034557fe5b83828151811061072e57fe5b602002602001018190525061074883828151811061037857fe5b9150600101610708565b50606082516001600160401b038111801561076c57600080fd5b50604051908082528060200260200182016040528015610796578160200160208202803683370190505b5090506000805b84518110156107ea576107b98461041f87848151811061040457fe5b8382815181106107c557fe5b6020026020010181815250506107e083828151811061044c57fe5b915060010161079d565b508881101561081e576108006104838a836136bc565b8260008151811061080d57fe5b602002602001018181525050610845565b61082b6104d1828b6136bc565b8260008151811061083857fe5b6020026020010181815250505b83516001600160401b038111801561085c57600080fd5b5060405190808252806020026020018201604052801561089657816020015b610883613db1565b81526020019060019003908161087b5790505b50965060005b8451811015610939576040518060c001604052808683815181106108bc57fe5b6020026020010151600001516001600160a01b031681526020018d6001600160a01b031681526020018c6001600160a01b0316815260200184838151811061090057fe5b602002602001015181526020016000815260200160001981525088828151811061092657fe5b602090810291909101015260010161089c565b5061060e828561384e565b6002546001600160a01b031633146109775760405162461bcd60e51b815260040161096e9061447d565b60405180910390fd5b61098083613997565b15610a07576000816001600160a01b03168360405161099e906142fb565b60006040518083038185875af1925050503d80600081146109db576040519150601f19603f3d011682016040523d82523d6000602084013e6109e0565b606091505b5050905080610a015760405162461bcd60e51b815260040161096e90614567565b50610aa3565b60405163a9059cbb60e01b81526001600160a01b0384169063a9059cbb90610a359084908690600401614350565b602060405180830381600087803b158015610a4f57600080fd5b505af1158015610a63573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a879190614208565b610aa35760405162461bcd60e51b815260040161096e9061458f565b505050565b6002546001600160a01b031681565b60008160018116610b40576060610acd89613997565b15610af257600054610aea906001600160a01b031689898861061e565b509050610b29565b610afb88613997565b15610b1957600054610aea908a906001600160a01b0316898861061e565b610b258989898861061e565b5090505b610b38818a8a8a8a6000612d12565b925050610c70565b60005a90506060610b508a613997565b15610b7557600054610b6d906001600160a01b03168a8a8961061e565b509050610bac565b610b7e89613997565b15610b9c57600054610b6d908b906001600160a01b03168a8961061e565b610ba88a8a8a8961061e565b5090505b610bbb818b8b8b8b6000612d12565b935060009050601036025a8361520801030190506d4946c0e9f43f4dee607b0ef1fa1c6001600160a01b031663079d229f3361a0aa8461374a0181610bfc57fe5b046040518363ffffffff1660e01b8152600401610c1a929190614350565b602060405180830381600087803b158015610c3457600080fd5b505af1158015610c48573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c6c91906142c0565b5050505b509695505050505050565b60008160018116610f5857610c9086856139bd565b5060005b8751811015610f1157610ca5613db1565b888281518110610cb157fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90610cf99030908690600401614312565b60206040518083038186803b158015610d1157600080fd5b505afa158015610d25573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d4991906142c0565b1115610dd357825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391610d7f9190600090600401614350565b602060405180830381600087803b158015610d9957600080fd5b505af1158015610dad573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610dd19190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b392610e0492600401614350565b602060405180830381600087803b158015610e1e57600080fd5b505af1158015610e32573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e569190614208565b5060208301516080840151604080860151606087015160a08801519251631f17a7a960e21b81526000956001600160a01b03881695637c5e9ea495610ea19592949193600401614369565b6040805180830381600087803b158015610eba57600080fd5b505af1158015610ece573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ef291906142d8565b509050610eff8188613612565b96505060019093019250610c94915050565b5083821115610f325760405162461bcd60e51b815260040161096e90614500565b610f4485610f3f87613ad7565b613b9a565b50610f5286610f3f88613ad7565b506112d6565b60005a9050610f6787866139bd565b5060005b88518110156111e857610f7c613db1565b898281518110610f8857fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90610fd09030908690600401614312565b60206040518083038186803b158015610fe857600080fd5b505afa158015610ffc573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061102091906142c0565b11156110aa57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916110569190600090600401614350565b602060405180830381600087803b15801561107057600080fd5b505af1158015611084573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110a89190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b3926110db92600401614350565b602060405180830381600087803b1580156110f557600080fd5b505af1158015611109573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061112d9190614208565b5060208301516080840151604080860151606087015160a08801519251631f17a7a960e21b81526000956001600160a01b03881695637c5e9ea4956111789592949193600401614369565b6040805180830381600087803b15801561119157600080fd5b505af11580156111a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111c991906142d8565b5090506111d68189613612565b97505060019093019250610f6b915050565b50848311156112095760405162461bcd60e51b815260040161096e90614500565b61121686610f3f88613ad7565b5061122487610f3f89613ad7565b506000601036025a8361520801030190506d4946c0e9f43f4dee607b0ef1fa1c6001600160a01b031663079d229f3361a0aa8461374a018161126257fe5b046040518363ffffffff1660e01b8152600401611280929190614350565b602060405180830381600087803b15801561129a57600080fd5b505af11580156112ae573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112d291906142c0565b5050505b5095945050505050565b6002546001600160a01b0316331461130a5760405162461bcd60e51b815260040161096e9061447d565b600180546001600160a01b0319166001600160a01b0392909216919091179055565b6002546001600160a01b031633146113565760405162461bcd60e51b815260040161096e9061447d565b600280546001600160a01b0319166001600160a01b0392909216919091179055565b600081600181166116965761138d87866139bd565b5060005b8851811015611657576000805b8a83815181106113aa57fe5b602002602001015151811015611641576113c2613db1565b8b84815181106113ce57fe5b602002602001015182815181106113e157fe5b60200260200101519050600081602001519050826001141561140557606082018490525b8151604051636eb1769f60e11b81526000906001600160a01b0384169063dd62ed3e906114389030908690600401614312565b60206040518083038186803b15801561145057600080fd5b505afa158015611464573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061148891906142c0565b111561151257825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916114be9190600090600401614350565b602060405180830381600087803b1580156114d857600080fd5b505af11580156114ec573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115109190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261154392600401614350565b602060405180830381600087803b15801561155d57600080fd5b505af1158015611571573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115959190614208565b50806001600160a01b0316638201aa3f84602001518560600151866040015187608001518860a001516040518663ffffffff1660e01b81526004016115de959493929190614369565b6040805180830381600087803b1580156115f757600080fd5b505af115801561160b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061162f91906142d8565b509450506001909201915061139e9050565b5061164c8185613612565b935050600101611391565b50838210156116785760405162461bcd60e51b815260040161096e906144d9565b6116828683613b9a565b5061169087610f3f89613ad7565b50610c70565b60005a90506116a588876139bd565b5060005b895181101561196f576000805b8b83815181106116c257fe5b602002602001015151811015611959576116da613db1565b8c84815181106116e657fe5b602002602001015182815181106116f957fe5b60200260200101519050600081602001519050826001141561171d57606082018490525b8151604051636eb1769f60e11b81526000906001600160a01b0384169063dd62ed3e906117509030908690600401614312565b60206040518083038186803b15801561176857600080fd5b505afa15801561177c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117a091906142c0565b111561182a57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916117d69190600090600401614350565b602060405180830381600087803b1580156117f057600080fd5b505af1158015611804573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118289190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261185b92600401614350565b602060405180830381600087803b15801561187557600080fd5b505af1158015611889573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118ad9190614208565b50806001600160a01b0316638201aa3f84602001518560600151866040015187608001518860a001516040518663ffffffff1660e01b81526004016118f6959493929190614369565b6040805180830381600087803b15801561190f57600080fd5b505af1158015611923573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061194791906142d8565b50945050600190920191506116b69050565b506119648186613612565b9450506001016116a9565b50848310156119905760405162461bcd60e51b815260040161096e906144d9565b61199a8784613b9a565b506119a888610f3f8a613ad7565b506000601036025a8361520801030190506d4946c0e9f43f4dee607b0ef1fa1c6001600160a01b031663079d229f3361a0aa8461374a0181610bfc57fe5b60008160018116612376576119fb86856139bd565b5060005b8751811015610f11576000888281518110611a1657fe5b60200260200101515160011415611c9a57611a2f613db1565b898381518110611a3b57fe5b6020026020010151600081518110611a4f57fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90611a979030908690600401614312565b60206040518083038186803b158015611aaf57600080fd5b505afa158015611ac3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ae791906142c0565b1115611b7157825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391611b1d9190600090600401614350565b602060405180830381600087803b158015611b3757600080fd5b505af1158015611b4b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b6f9190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b392611ba292600401614350565b602060405180830381600087803b158015611bbc57600080fd5b505af1158015611bd0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611bf49190614208565b50806001600160a01b0316637c5e9ea484602001518560800151866040015187606001518860a001516040518663ffffffff1660e01b8152600401611c3d959493929190614369565b6040805180830381600087803b158015611c5657600080fd5b505af1158015611c6a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611c8e91906142d8565b50935061236192505050565b6000611ca4613db1565b8a8481518110611cb057fe5b6020026020010151600181518110611cc457fe5b60209081029190910181015180519181015160405163f8b2cb4f60e01b81529193506001600160a01b0383169163f8d6aed491839163f8b2cb4f91611d0b916004016142fe565b60206040518083038186803b158015611d2357600080fd5b505afa158015611d37573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d5b91906142c0565b6020850151604051634a46c67360e11b81526001600160a01b0386169163948d8ce691611d8b91906004016142fe565b60206040518083038186803b158015611da357600080fd5b505afa158015611db7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ddb91906142c0565b604080870151905163f8b2cb4f60e01b81526001600160a01b0387169163f8b2cb4f91611e0b91906004016142fe565b60206040518083038186803b158015611e2357600080fd5b505afa158015611e37573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e5b91906142c0565b6040808801519051634a46c67360e11b81526001600160a01b0388169163948d8ce691611e8b91906004016142fe565b60206040518083038186803b158015611ea357600080fd5b505afa158015611eb7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611edb91906142c0565b8760600151876001600160a01b03166354cf2aeb6040518163ffffffff1660e01b815260040160206040518083038186803b158015611f1957600080fd5b505afa158015611f2d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f5191906142c0565b6040518763ffffffff1660e01b8152600401611f72969594939291906145c5565b60206040518083038186803b158015611f8a57600080fd5b505afa158015611f9e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fc291906142c0565b9250611fcc613db1565b8c8681518110611fd857fe5b6020026020010151600081518110611fec57fe5b602090810291909101810151908101518151604051636eb1769f60e11b81529293509091600019906001600160a01b0384169063dd62ed3e906120359030908690600401614312565b60206040518083038186803b15801561204d57600080fd5b505afa158015612061573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061208591906142c0565b101561211057825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916120bc919060001990600401614350565b602060405180830381600087803b1580156120d657600080fd5b505af11580156120ea573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061210e9190614208565b505b806001600160a01b0316637c5e9ea48460200151856080015186604001518a8860a001516040518663ffffffff1660e01b8152600401612154959493929190614369565b6040805180830381600087803b15801561216d57600080fd5b505af1158015612181573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121a591906142d8565b5060208601518651604051636eb1769f60e11b81529299509091600019916001600160a01b0384169163dd62ed3e916121e391309190600401614312565b60206040518083038186803b1580156121fb57600080fd5b505afa15801561220f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061223391906142c0565b10156122be57855160405163095ea7b360e01b81526001600160a01b0383169163095ea7b39161226a919060001990600401614350565b602060405180830381600087803b15801561228457600080fd5b505af1158015612298573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122bc9190614208565b505b846001600160a01b0316637c5e9ea48760200151886080015189604001518a606001518b60a001516040518663ffffffff1660e01b8152600401612306959493929190614369565b6040805180830381600087803b15801561231f57600080fd5b505af1158015612333573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061235791906142d8565b5050505050505050505b61236b8185613612565b9350506001016119ff565b60005a905061238587866139bd565b5060005b88518110156111e85760008982815181106123a057fe5b60200260200101515160011415612624576123b9613db1565b8a83815181106123c557fe5b60200260200101516000815181106123d957fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e906124219030908690600401614312565b60206040518083038186803b15801561243957600080fd5b505afa15801561244d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061247191906142c0565b11156124fb57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916124a79190600090600401614350565b602060405180830381600087803b1580156124c157600080fd5b505af11580156124d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124f99190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261252c92600401614350565b602060405180830381600087803b15801561254657600080fd5b505af115801561255a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061257e9190614208565b50806001600160a01b0316637c5e9ea484602001518560800151866040015187606001518860a001516040518663ffffffff1660e01b81526004016125c7959493929190614369565b6040805180830381600087803b1580156125e057600080fd5b505af11580156125f4573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061261891906142d8565b509350612ceb92505050565b600061262e613db1565b8b848151811061263a57fe5b602002602001015160018151811061264e57fe5b60209081029190910181015180519181015160405163f8b2cb4f60e01b81529193506001600160a01b0383169163f8d6aed491839163f8b2cb4f91612695916004016142fe565b60206040518083038186803b1580156126ad57600080fd5b505afa1580156126c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126e591906142c0565b6020850151604051634a46c67360e11b81526001600160a01b0386169163948d8ce69161271591906004016142fe565b60206040518083038186803b15801561272d57600080fd5b505afa158015612741573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061276591906142c0565b604080870151905163f8b2cb4f60e01b81526001600160a01b0387169163f8b2cb4f9161279591906004016142fe565b60206040518083038186803b1580156127ad57600080fd5b505afa1580156127c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906127e591906142c0565b6040808801519051634a46c67360e11b81526001600160a01b0388169163948d8ce69161281591906004016142fe565b60206040518083038186803b15801561282d57600080fd5b505afa158015612841573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061286591906142c0565b8760600151876001600160a01b03166354cf2aeb6040518163ffffffff1660e01b815260040160206040518083038186803b1580156128a357600080fd5b505afa1580156128b7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128db91906142c0565b6040518763ffffffff1660e01b81526004016128fc969594939291906145c5565b60206040518083038186803b15801561291457600080fd5b505afa158015612928573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061294c91906142c0565b9250612956613db1565b8d868151811061296257fe5b602002602001015160008151811061297657fe5b602090810291909101810151908101518151604051636eb1769f60e11b81529293509091600019906001600160a01b0384169063dd62ed3e906129bf9030908690600401614312565b60206040518083038186803b1580156129d757600080fd5b505afa1580156129eb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a0f91906142c0565b1015612a9a57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391612a46919060001990600401614350565b602060405180830381600087803b158015612a6057600080fd5b505af1158015612a74573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a989190614208565b505b806001600160a01b0316637c5e9ea48460200151856080015186604001518a8860a001516040518663ffffffff1660e01b8152600401612ade959493929190614369565b6040805180830381600087803b158015612af757600080fd5b505af1158015612b0b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b2f91906142d8565b5060208601518651604051636eb1769f60e11b81529299509091600019916001600160a01b0384169163dd62ed3e91612b6d91309190600401614312565b60206040518083038186803b158015612b8557600080fd5b505afa158015612b99573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612bbd91906142c0565b1015612c4857855160405163095ea7b360e01b81526001600160a01b0383169163095ea7b391612bf4919060001990600401614350565b602060405180830381600087803b158015612c0e57600080fd5b505af1158015612c22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612c469190614208565b505b846001600160a01b0316637c5e9ea48760200151886080015189604001518a606001518b60a001516040518663ffffffff1660e01b8152600401612c90959493929190614369565b6040805180830381600087803b158015612ca957600080fd5b505af1158015612cbd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612ce191906142d8565b5050505050505050505b612cf58186613612565b945050600101612389565b6d4946c0e9f43f4dee607b0ef1fa1c81565b60008160018116612fa857612d2787866139bd565b5060005b885181101561165757612d3c613db1565b898281518110612d4857fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90612d909030908690600401614312565b60206040518083038186803b158015612da857600080fd5b505afa158015612dbc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612de091906142c0565b1115612e6a57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391612e169190600090600401614350565b602060405180830381600087803b158015612e3057600080fd5b505af1158015612e44573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e689190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b392612e9b92600401614350565b602060405180830381600087803b158015612eb557600080fd5b505af1158015612ec9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612eed9190614208565b5060208301516060840151604080860151608087015160a08801519251638201aa3f60e01b81526000956001600160a01b03881695638201aa3f95612f389592949193600401614369565b6040805180830381600087803b158015612f5157600080fd5b505af1158015612f65573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f8991906142d8565b509050612f968188613612565b96505060019093019250612d2b915050565b60005a9050612fb788876139bd565b5060005b895181101561196f57612fcc613db1565b8a8281518110612fd857fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e906130209030908690600401614312565b60206040518083038186803b15801561303857600080fd5b505afa15801561304c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061307091906142c0565b11156130fa57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916130a69190600090600401614350565b602060405180830381600087803b1580156130c057600080fd5b505af11580156130d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906130f89190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261312b92600401614350565b602060405180830381600087803b15801561314557600080fd5b505af1158015613159573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061317d9190614208565b5060208301516060840151604080860151608087015160a08801519251638201aa3f60e01b81526000956001600160a01b03881695638201aa3f956131c89592949193600401614369565b6040805180830381600087803b1580156131e157600080fd5b505af11580156131f5573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061321991906142d8565b5090506132268189613612565b97505060019093019250612fbb915050565b600081600181166132b857606061324e89613997565b156132735760005461326b906001600160a01b0316898988610241565b5090506132aa565b61327c88613997565b1561329a5760005461326b908a906001600160a01b03168988610241565b6132a689898988610241565b5090505b610b38818a8a896000610c7b565b60005a905060606132c88a613997565b156132ed576000546132e5906001600160a01b03168a8a89610241565b509050613324565b6132f689613997565b15613314576000546132e5908b906001600160a01b03168a89610241565b6133208a8a8a89610241565b5090505b610bbb818b8b8a6000610c7b565b61333a613d6b565b60405163f8b2cb4f60e01b815282906000906001600160a01b0383169063f8b2cb4f9061336b9089906004016142fe565b60206040518083038186803b15801561338357600080fd5b505afa158015613397573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133bb91906142c0565b90506000826001600160a01b031663f8b2cb4f876040518263ffffffff1660e01b81526004016133eb91906142fe565b60206040518083038186803b15801561340357600080fd5b505afa158015613417573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061343b91906142c0565b90506000836001600160a01b031663948d8ce6896040518263ffffffff1660e01b815260040161346b91906142fe565b60206040518083038186803b15801561348357600080fd5b505afa158015613497573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906134bb91906142c0565b90506000846001600160a01b031663948d8ce6896040518263ffffffff1660e01b81526004016134eb91906142fe565b60206040518083038186803b15801561350357600080fd5b505afa158015613517573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061353b91906142c0565b90506000856001600160a01b03166354cf2aeb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561357857600080fd5b505afa15801561358c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906135b091906142c0565b905060006135bf848685613cc9565b90506135c9613d6b565b506040805160e0810182526001600160a01b038b16815260208101979097528601939093526060850193909352608084015260a083019190915260c08201529150509392505050565b6000828201838110156136375760405162461bcd60e51b815260040161096e906144a2565b90505b92915050565b60008261364f5750600061363a565b8282028284828161365c57fe5b04146136375760405162461bcd60e51b815260040161096e90614526565b600061363783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250613d08565b600061363783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250613d3f565b6000805b835181101561384757600083828151811061371957fe5b6020026020010151600001516001600160a01b031663f8d6aed485848151811061373f57fe5b60200260200101516020015186858151811061375757fe5b60200260200101516040015187868151811061376f57fe5b60200260200101516060015188878151811061378757fe5b6020026020010151608001518a888151811061379f57fe5b60200260200101518a89815181106137b357fe5b602002602001015160a001516040518763ffffffff1660e01b81526004016137e0969594939291906145c5565b60206040518083038186803b1580156137f857600080fd5b505afa15801561380c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061383091906142c0565b905061383c8382613612565b925050600101613702565b5092915050565b6000805b835181101561384757600083828151811061386957fe5b6020026020010151600001516001600160a01b031663ba9530a685848151811061388f57fe5b6020026020010151602001518685815181106138a757fe5b6020026020010151604001518786815181106138bf57fe5b6020026020010151606001518887815181106138d757fe5b6020026020010151608001518a88815181106138ef57fe5b60200260200101518a898151811061390357fe5b602002602001015160a001516040518763ffffffff1660e01b8152600401613930969594939291906145c5565b60206040518083038186803b15801561394857600080fd5b505afa15801561395c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061398091906142c0565b905061398c8382613612565b925050600101613852565b6001600160a01b03811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee145b919050565b60006139c883613997565b15613a395760008054906101000a90046001600160a01b03166001600160a01b031663d0e30db0346040518263ffffffff1660e01b81526004016000604051808303818588803b158015613a1b57600080fd5b505af1158015613a2f573d6000803e3d6000fd5b505050505061363a565b6040516323b872dd60e01b81526001600160a01b038416906323b872dd90613a699033903090879060040161432c565b602060405180830381600087803b158015613a8357600080fd5b505af1158015613a97573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613abb9190614208565b61363a5760405162461bcd60e51b815260040161096e9061458f565b6000613ae282613997565b15613b6e576000546040516370a0823160e01b81526001600160a01b03909116906370a0823190613b179030906004016142fe565b60206040518083038186803b158015613b2f57600080fd5b505afa158015613b43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613b6791906142c0565b90506139b8565b6040516370a0823160e01b81526001600160a01b038316906370a0823190613b179030906004016142fe565b600081613ba95750600161363a565b613bb283613997565b15613c9b57600054604051632e1a7d4d60e01b81526001600160a01b0390911690632e1a7d4d90613be79085906004016145bc565b600060405180830381600087803b158015613c0157600080fd5b505af1158015613c15573d6000803e3d6000fd5b505050506000336001600160a01b031683604051613c32906142fb565b60006040518083038185875af1925050503d8060008114613c6f576040519150601f19603f3d011682016040523d82523d6000602084013e613c74565b606091505b5050905080613c955760405162461bcd60e51b815260040161096e90614567565b5061363a565b60405163a9059cbb60e01b81526001600160a01b0384169063a9059cbb90613a699033908690600401614350565b6000613d00670de0b6b3a764000061041f85613cfa613ce8878a613612565b61041f8a670de0b6b3a7640000613640565b90613640565b949350505050565b60008183613d295760405162461bcd60e51b815260040161096e919061442a565b506000838581613d3557fe5b0495945050505050565b60008184841115613d635760405162461bcd60e51b815260040161096e919061442a565b505050900390565b6040518060e0016040528060006001600160a01b031681526020016000815260200160008152602001600081526020016000815260200160008152602001600081525090565b6040518060c0016040528060006001600160a01b0316815260200160006001600160a01b0316815260200160006001600160a01b031681526020016000815260200160008152602001600081525090565b803561363a81614632565b600082601f830112613e1d578081fd5b8135613e30613e2b82614613565b6145ed565b818152915060208083019084810160005b84811015613e6a57613e58888484358a0101613e75565b84529282019290820190600101613e41565b505050505092915050565b600082601f830112613e85578081fd5b8135613e93613e2b82614613565b818152915060208083019084810160c080850287018301881015613eb657600080fd5b6000805b86811015613f375782848b031215613ed0578182fd5b613ed9836145ed565b613ee38b86613e02565b8152613ef18b878701613e02565b868201526040613f038c828801613e02565b90820152606085810135908201526080808601359082015260a0808601359082015286529484019492820192600101613eba565b5050505050505092915050565b803560ff8116811461363a57600080fd5b600060208284031215613f66578081fd5b813561363781614632565b60008060008060808587031215613f86578283fd5b8435613f9181614632565b93506020850135613fa181614632565b93969395505050506040820135916060013590565b60006020808385031215613fc8578182fd5b82516001600160401b03811115613fdd578283fd5b8301601f81018513613fed578283fd5b8051613ffb613e2b82614613565b8181528381019083850185840285018601891015614017578687fd5b8694505b8385101561404257805161402e81614632565b83526001949094019391850191850161401b565b50979650505050505050565b60008060008060008060c08789031215614066578182fd5b86356001600160401b0381111561407b578283fd5b61408789828a01613e0d565b965050602087013561409881614632565b945060408701356140a881614632565b935060608701359250608087013591506140c58860a08901613f44565b90509295509295509295565b600080600080600060a086880312156140e8578081fd5b85356001600160401b038111156140fd578182fd5b61410988828901613e0d565b955050602086013561411a81614632565b9350604086013561412a81614632565b925060608601359150608086013560ff81168114614146578182fd5b809150509295509295909350565b60008060008060008060c0878903121561416c578182fd5b86356001600160401b03811115614181578283fd5b61408789828a01613e75565b600080600080600060a086880312156141a4578283fd5b85356001600160401b038111156141b9578384fd5b6141c588828901613e75565b95505060208601356141d681614632565b935060408601356141e681614632565b9250606086013591506141fc8760808801613f44565b90509295509295909350565b600060208284031215614219578081fd5b81518015158114613637578182fd5b60008060008060008060c08789031215614240578384fd5b863561424b81614632565b9550602087013561425b81614632565b94506040870135935060608701359250608087013591506140c58860a08901613f44565b600080600060608486031215614293578081fd5b833561429e81614632565b92506020840135915060408401356142b581614632565b809150509250925092565b6000602082840312156142d1578081fd5b5051919050565b600080604083850312156142ea578182fd5b505080516020909101519092909150565b90565b6001600160a01b0391909116815260200190565b6001600160a01b0392831681529116602082015260400190565b6001600160a01b039384168152919092166020820152604081019190915260600190565b6001600160a01b03929092168252602082015260400190565b6001600160a01b03958616815260208101949094529190931660408301526060820192909252608081019190915260a00190565b6040808252835182820181905260009190606090818501906020808901865b8381101561441657815180516001600160a01b0390811687528482015181168588015288820151168887015286810151878701526080808201519087015260a0908101519086015260c090940193908201906001016143bc565b505095909501959095525092949350505050565b6000602080835283518082850152825b818110156144565785810183015185820160400152820161443a565b818111156144675783604083870101525b50601f01601f1916929092016040019392505050565b6020808252600b908201526a21676f7665726e616e636560a81b604082015260600190565b6020808252601b908201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604082015260600190565b6020808252600d908201526c11549497d31253525517d3d555609a1b604082015260600190565b6020808252600c908201526b22a9292fa624a6a4aa2fa4a760a11b604082015260600190565b60208082526021908201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6040820152607760f81b606082015260800190565b6020808252600e908201526d11549497d1551217d1905253115160921b604082015260600190565b60208082526013908201527211549497d514905394d1915497d19052531151606a1b604082015260600190565b90815260200190565b958652602086019490945260408501929092526060840152608083015260a082015260c00190565b6040518181016001600160401b038111828210171561460b57600080fd5b604052919050565b60006001600160401b03821115614628578081fd5b5060209081020190565b6001600160a01b038116811461464757600080fd5b5056fea26469706673582212207989428d0dfdf0134780d9f85eb30ad45b989ddefef3367e9a840fc9bdfaf31964736f6c634300060c0033000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2

0x6080604052600436106100c65760003560e01c8063a91ee0dc1161007f578063b43ae48f11610059578063b43ae48f146101f3578063c92aecc414610206578063d0bd7ca01461021b578063fd63afa41461022e576100cd565b8063a91ee0dc146101a0578063ab033ea9146101c0578063ac95ea74146101e0576100cd565b8063368bb1fc146100d25780634b0f93fb1461010957806354575af4146101295780635aa6e6751461014b57806396e903901461016d578063995605901461018d576100cd565b366100cd57005b600080fd5b3480156100de57600080fd5b506100f26100ed366004613f71565b610241565b60405161010092919061439d565b60405180910390f35b34801561011557600080fd5b506100f2610124366004613f71565b61061e565b34801561013557600080fd5b5061014961014436600461427f565b610944565b005b34801561015757600080fd5b50610160610aa8565b60405161010091906142fe565b61018061017b366004614228565b610ab7565b60405161010091906145bc565b61018061019b36600461418d565b610c7b565b3480156101ac57600080fd5b506101496101bb366004613f55565b6112e0565b3480156101cc57600080fd5b506101496101db366004613f55565b61132c565b6101806101ee36600461404e565b611378565b6101806102013660046140d1565b6119e6565b34801561021257600080fd5b50610160612d00565b610180610229366004614154565b612d12565b61018061023c366004614228565b613238565b60015460405163bfdbfc4360e01b815260609160009183916001600160a01b03169063bfdbfc439061027b908a908a90899060040161432c565b60006040518083038186803b15801561029357600080fd5b505afa1580156102a7573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526102cf9190810190613fb6565b9050606081516001600160401b03811180156102ea57600080fd5b5060405190808252806020026020018201604052801561032457816020015b610311613d6b565b8152602001906001900390816103095790505b5090506000805b835181101561039d576103528a8a86848151811061034557fe5b6020026020010151613332565b83828151811061035e57fe5b602002602001018190525061039383828151811061037857fe5b602002602001015160c001518361361290919063ffffffff16565b915060010161032b565b50606082516001600160401b03811180156103b757600080fd5b506040519080825280602002602001820160405280156103e1578160200160208202803683370190505b5090506000805b845181101561046d576104258461041f87848151811061040457fe5b602002602001015160c001518d61364090919063ffffffff16565b9061367a565b83828151811061043157fe5b60200260200101818152505061046383828151811061044c57fe5b60200260200101518361361290919063ffffffff16565b91506001016103e8565b50888110156104c4576104a66104838a836136bc565b8360008151811061049057fe5b602002602001015161361290919063ffffffff16565b826000815181106104b357fe5b60200260200101818152505061050e565b6104f46104d1828b6136bc565b836000815181106104de57fe5b60200260200101516136bc90919063ffffffff16565b8260008151811061050157fe5b6020026020010181815250505b83516001600160401b038111801561052557600080fd5b5060405190808252806020026020018201604052801561055f57816020015b61054c613db1565b8152602001906001900390816105445790505b50965060005b8451811015610603576040518060c0016040528086838151811061058557fe5b6020026020010151600001516001600160a01b031681526020018d6001600160a01b031681526020018c6001600160a01b031681526020018483815181106105c957fe5b6020026020010151815260200160001981526020016000198152508882815181106105f057fe5b6020908102919091010152600101610565565b5061060e82856136fe565b9550505050505094509492505050565b60015460405163bfdbfc4360e01b815260609160009183916001600160a01b03169063bfdbfc4390610658908a908a90899060040161432c565b60006040518083038186803b15801561067057600080fd5b505afa158015610684573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526106ac9190810190613fb6565b9050606081516001600160401b03811180156106c757600080fd5b5060405190808252806020026020018201604052801561070157816020015b6106ee613d6b565b8152602001906001900390816106e65790505b5090506000805b8351811015610752576107228a8a86848151811061034557fe5b83828151811061072e57fe5b602002602001018190525061074883828151811061037857fe5b9150600101610708565b50606082516001600160401b038111801561076c57600080fd5b50604051908082528060200260200182016040528015610796578160200160208202803683370190505b5090506000805b84518110156107ea576107b98461041f87848151811061040457fe5b8382815181106107c557fe5b6020026020010181815250506107e083828151811061044c57fe5b915060010161079d565b508881101561081e576108006104838a836136bc565b8260008151811061080d57fe5b602002602001018181525050610845565b61082b6104d1828b6136bc565b8260008151811061083857fe5b6020026020010181815250505b83516001600160401b038111801561085c57600080fd5b5060405190808252806020026020018201604052801561089657816020015b610883613db1565b81526020019060019003908161087b5790505b50965060005b8451811015610939576040518060c001604052808683815181106108bc57fe5b6020026020010151600001516001600160a01b031681526020018d6001600160a01b031681526020018c6001600160a01b0316815260200184838151811061090057fe5b602002602001015181526020016000815260200160001981525088828151811061092657fe5b602090810291909101015260010161089c565b5061060e828561384e565b6002546001600160a01b031633146109775760405162461bcd60e51b815260040161096e9061447d565b60405180910390fd5b61098083613997565b15610a07576000816001600160a01b03168360405161099e906142fb565b60006040518083038185875af1925050503d80600081146109db576040519150601f19603f3d011682016040523d82523d6000602084013e6109e0565b606091505b5050905080610a015760405162461bcd60e51b815260040161096e90614567565b50610aa3565b60405163a9059cbb60e01b81526001600160a01b0384169063a9059cbb90610a359084908690600401614350565b602060405180830381600087803b158015610a4f57600080fd5b505af1158015610a63573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a879190614208565b610aa35760405162461bcd60e51b815260040161096e9061458f565b505050565b6002546001600160a01b031681565b60008160018116610b40576060610acd89613997565b15610af257600054610aea906001600160a01b031689898861061e565b509050610b29565b610afb88613997565b15610b1957600054610aea908a906001600160a01b0316898861061e565b610b258989898861061e565b5090505b610b38818a8a8a8a6000612d12565b925050610c70565b60005a90506060610b508a613997565b15610b7557600054610b6d906001600160a01b03168a8a8961061e565b509050610bac565b610b7e89613997565b15610b9c57600054610b6d908b906001600160a01b03168a8961061e565b610ba88a8a8a8961061e565b5090505b610bbb818b8b8b8b6000612d12565b935060009050601036025a8361520801030190506d4946c0e9f43f4dee607b0ef1fa1c6001600160a01b031663079d229f3361a0aa8461374a0181610bfc57fe5b046040518363ffffffff1660e01b8152600401610c1a929190614350565b602060405180830381600087803b158015610c3457600080fd5b505af1158015610c48573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c6c91906142c0565b5050505b509695505050505050565b60008160018116610f5857610c9086856139bd565b5060005b8751811015610f1157610ca5613db1565b888281518110610cb157fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90610cf99030908690600401614312565b60206040518083038186803b158015610d1157600080fd5b505afa158015610d25573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d4991906142c0565b1115610dd357825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391610d7f9190600090600401614350565b602060405180830381600087803b158015610d9957600080fd5b505af1158015610dad573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610dd19190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b392610e0492600401614350565b602060405180830381600087803b158015610e1e57600080fd5b505af1158015610e32573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e569190614208565b5060208301516080840151604080860151606087015160a08801519251631f17a7a960e21b81526000956001600160a01b03881695637c5e9ea495610ea19592949193600401614369565b6040805180830381600087803b158015610eba57600080fd5b505af1158015610ece573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ef291906142d8565b509050610eff8188613612565b96505060019093019250610c94915050565b5083821115610f325760405162461bcd60e51b815260040161096e90614500565b610f4485610f3f87613ad7565b613b9a565b50610f5286610f3f88613ad7565b506112d6565b60005a9050610f6787866139bd565b5060005b88518110156111e857610f7c613db1565b898281518110610f8857fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90610fd09030908690600401614312565b60206040518083038186803b158015610fe857600080fd5b505afa158015610ffc573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061102091906142c0565b11156110aa57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916110569190600090600401614350565b602060405180830381600087803b15801561107057600080fd5b505af1158015611084573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110a89190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b3926110db92600401614350565b602060405180830381600087803b1580156110f557600080fd5b505af1158015611109573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061112d9190614208565b5060208301516080840151604080860151606087015160a08801519251631f17a7a960e21b81526000956001600160a01b03881695637c5e9ea4956111789592949193600401614369565b6040805180830381600087803b15801561119157600080fd5b505af11580156111a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111c991906142d8565b5090506111d68189613612565b97505060019093019250610f6b915050565b50848311156112095760405162461bcd60e51b815260040161096e90614500565b61121686610f3f88613ad7565b5061122487610f3f89613ad7565b506000601036025a8361520801030190506d4946c0e9f43f4dee607b0ef1fa1c6001600160a01b031663079d229f3361a0aa8461374a018161126257fe5b046040518363ffffffff1660e01b8152600401611280929190614350565b602060405180830381600087803b15801561129a57600080fd5b505af11580156112ae573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112d291906142c0565b5050505b5095945050505050565b6002546001600160a01b0316331461130a5760405162461bcd60e51b815260040161096e9061447d565b600180546001600160a01b0319166001600160a01b0392909216919091179055565b6002546001600160a01b031633146113565760405162461bcd60e51b815260040161096e9061447d565b600280546001600160a01b0319166001600160a01b0392909216919091179055565b600081600181166116965761138d87866139bd565b5060005b8851811015611657576000805b8a83815181106113aa57fe5b602002602001015151811015611641576113c2613db1565b8b84815181106113ce57fe5b602002602001015182815181106113e157fe5b60200260200101519050600081602001519050826001141561140557606082018490525b8151604051636eb1769f60e11b81526000906001600160a01b0384169063dd62ed3e906114389030908690600401614312565b60206040518083038186803b15801561145057600080fd5b505afa158015611464573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061148891906142c0565b111561151257825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916114be9190600090600401614350565b602060405180830381600087803b1580156114d857600080fd5b505af11580156114ec573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115109190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261154392600401614350565b602060405180830381600087803b15801561155d57600080fd5b505af1158015611571573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115959190614208565b50806001600160a01b0316638201aa3f84602001518560600151866040015187608001518860a001516040518663ffffffff1660e01b81526004016115de959493929190614369565b6040805180830381600087803b1580156115f757600080fd5b505af115801561160b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061162f91906142d8565b509450506001909201915061139e9050565b5061164c8185613612565b935050600101611391565b50838210156116785760405162461bcd60e51b815260040161096e906144d9565b6116828683613b9a565b5061169087610f3f89613ad7565b50610c70565b60005a90506116a588876139bd565b5060005b895181101561196f576000805b8b83815181106116c257fe5b602002602001015151811015611959576116da613db1565b8c84815181106116e657fe5b602002602001015182815181106116f957fe5b60200260200101519050600081602001519050826001141561171d57606082018490525b8151604051636eb1769f60e11b81526000906001600160a01b0384169063dd62ed3e906117509030908690600401614312565b60206040518083038186803b15801561176857600080fd5b505afa15801561177c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117a091906142c0565b111561182a57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916117d69190600090600401614350565b602060405180830381600087803b1580156117f057600080fd5b505af1158015611804573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118289190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261185b92600401614350565b602060405180830381600087803b15801561187557600080fd5b505af1158015611889573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118ad9190614208565b50806001600160a01b0316638201aa3f84602001518560600151866040015187608001518860a001516040518663ffffffff1660e01b81526004016118f6959493929190614369565b6040805180830381600087803b15801561190f57600080fd5b505af1158015611923573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061194791906142d8565b50945050600190920191506116b69050565b506119648186613612565b9450506001016116a9565b50848310156119905760405162461bcd60e51b815260040161096e906144d9565b61199a8784613b9a565b506119a888610f3f8a613ad7565b506000601036025a8361520801030190506d4946c0e9f43f4dee607b0ef1fa1c6001600160a01b031663079d229f3361a0aa8461374a0181610bfc57fe5b60008160018116612376576119fb86856139bd565b5060005b8751811015610f11576000888281518110611a1657fe5b60200260200101515160011415611c9a57611a2f613db1565b898381518110611a3b57fe5b6020026020010151600081518110611a4f57fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90611a979030908690600401614312565b60206040518083038186803b158015611aaf57600080fd5b505afa158015611ac3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ae791906142c0565b1115611b7157825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391611b1d9190600090600401614350565b602060405180830381600087803b158015611b3757600080fd5b505af1158015611b4b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b6f9190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b392611ba292600401614350565b602060405180830381600087803b158015611bbc57600080fd5b505af1158015611bd0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611bf49190614208565b50806001600160a01b0316637c5e9ea484602001518560800151866040015187606001518860a001516040518663ffffffff1660e01b8152600401611c3d959493929190614369565b6040805180830381600087803b158015611c5657600080fd5b505af1158015611c6a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611c8e91906142d8565b50935061236192505050565b6000611ca4613db1565b8a8481518110611cb057fe5b6020026020010151600181518110611cc457fe5b60209081029190910181015180519181015160405163f8b2cb4f60e01b81529193506001600160a01b0383169163f8d6aed491839163f8b2cb4f91611d0b916004016142fe565b60206040518083038186803b158015611d2357600080fd5b505afa158015611d37573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d5b91906142c0565b6020850151604051634a46c67360e11b81526001600160a01b0386169163948d8ce691611d8b91906004016142fe565b60206040518083038186803b158015611da357600080fd5b505afa158015611db7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ddb91906142c0565b604080870151905163f8b2cb4f60e01b81526001600160a01b0387169163f8b2cb4f91611e0b91906004016142fe565b60206040518083038186803b158015611e2357600080fd5b505afa158015611e37573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e5b91906142c0565b6040808801519051634a46c67360e11b81526001600160a01b0388169163948d8ce691611e8b91906004016142fe565b60206040518083038186803b158015611ea357600080fd5b505afa158015611eb7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611edb91906142c0565b8760600151876001600160a01b03166354cf2aeb6040518163ffffffff1660e01b815260040160206040518083038186803b158015611f1957600080fd5b505afa158015611f2d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f5191906142c0565b6040518763ffffffff1660e01b8152600401611f72969594939291906145c5565b60206040518083038186803b158015611f8a57600080fd5b505afa158015611f9e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fc291906142c0565b9250611fcc613db1565b8c8681518110611fd857fe5b6020026020010151600081518110611fec57fe5b602090810291909101810151908101518151604051636eb1769f60e11b81529293509091600019906001600160a01b0384169063dd62ed3e906120359030908690600401614312565b60206040518083038186803b15801561204d57600080fd5b505afa158015612061573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061208591906142c0565b101561211057825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916120bc919060001990600401614350565b602060405180830381600087803b1580156120d657600080fd5b505af11580156120ea573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061210e9190614208565b505b806001600160a01b0316637c5e9ea48460200151856080015186604001518a8860a001516040518663ffffffff1660e01b8152600401612154959493929190614369565b6040805180830381600087803b15801561216d57600080fd5b505af1158015612181573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121a591906142d8565b5060208601518651604051636eb1769f60e11b81529299509091600019916001600160a01b0384169163dd62ed3e916121e391309190600401614312565b60206040518083038186803b1580156121fb57600080fd5b505afa15801561220f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061223391906142c0565b10156122be57855160405163095ea7b360e01b81526001600160a01b0383169163095ea7b39161226a919060001990600401614350565b602060405180830381600087803b15801561228457600080fd5b505af1158015612298573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122bc9190614208565b505b846001600160a01b0316637c5e9ea48760200151886080015189604001518a606001518b60a001516040518663ffffffff1660e01b8152600401612306959493929190614369565b6040805180830381600087803b15801561231f57600080fd5b505af1158015612333573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061235791906142d8565b5050505050505050505b61236b8185613612565b9350506001016119ff565b60005a905061238587866139bd565b5060005b88518110156111e85760008982815181106123a057fe5b60200260200101515160011415612624576123b9613db1565b8a83815181106123c557fe5b60200260200101516000815181106123d957fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e906124219030908690600401614312565b60206040518083038186803b15801561243957600080fd5b505afa15801561244d573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061247191906142c0565b11156124fb57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916124a79190600090600401614350565b602060405180830381600087803b1580156124c157600080fd5b505af11580156124d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124f99190614208565b505b8251608084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261252c92600401614350565b602060405180830381600087803b15801561254657600080fd5b505af115801561255a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061257e9190614208565b50806001600160a01b0316637c5e9ea484602001518560800151866040015187606001518860a001516040518663ffffffff1660e01b81526004016125c7959493929190614369565b6040805180830381600087803b1580156125e057600080fd5b505af11580156125f4573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061261891906142d8565b509350612ceb92505050565b600061262e613db1565b8b848151811061263a57fe5b602002602001015160018151811061264e57fe5b60209081029190910181015180519181015160405163f8b2cb4f60e01b81529193506001600160a01b0383169163f8d6aed491839163f8b2cb4f91612695916004016142fe565b60206040518083038186803b1580156126ad57600080fd5b505afa1580156126c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126e591906142c0565b6020850151604051634a46c67360e11b81526001600160a01b0386169163948d8ce69161271591906004016142fe565b60206040518083038186803b15801561272d57600080fd5b505afa158015612741573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061276591906142c0565b604080870151905163f8b2cb4f60e01b81526001600160a01b0387169163f8b2cb4f9161279591906004016142fe565b60206040518083038186803b1580156127ad57600080fd5b505afa1580156127c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906127e591906142c0565b6040808801519051634a46c67360e11b81526001600160a01b0388169163948d8ce69161281591906004016142fe565b60206040518083038186803b15801561282d57600080fd5b505afa158015612841573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061286591906142c0565b8760600151876001600160a01b03166354cf2aeb6040518163ffffffff1660e01b815260040160206040518083038186803b1580156128a357600080fd5b505afa1580156128b7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128db91906142c0565b6040518763ffffffff1660e01b81526004016128fc969594939291906145c5565b60206040518083038186803b15801561291457600080fd5b505afa158015612928573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061294c91906142c0565b9250612956613db1565b8d868151811061296257fe5b602002602001015160008151811061297657fe5b602090810291909101810151908101518151604051636eb1769f60e11b81529293509091600019906001600160a01b0384169063dd62ed3e906129bf9030908690600401614312565b60206040518083038186803b1580156129d757600080fd5b505afa1580156129eb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a0f91906142c0565b1015612a9a57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391612a46919060001990600401614350565b602060405180830381600087803b158015612a6057600080fd5b505af1158015612a74573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a989190614208565b505b806001600160a01b0316637c5e9ea48460200151856080015186604001518a8860a001516040518663ffffffff1660e01b8152600401612ade959493929190614369565b6040805180830381600087803b158015612af757600080fd5b505af1158015612b0b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b2f91906142d8565b5060208601518651604051636eb1769f60e11b81529299509091600019916001600160a01b0384169163dd62ed3e91612b6d91309190600401614312565b60206040518083038186803b158015612b8557600080fd5b505afa158015612b99573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612bbd91906142c0565b1015612c4857855160405163095ea7b360e01b81526001600160a01b0383169163095ea7b391612bf4919060001990600401614350565b602060405180830381600087803b158015612c0e57600080fd5b505af1158015612c22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612c469190614208565b505b846001600160a01b0316637c5e9ea48760200151886080015189604001518a606001518b60a001516040518663ffffffff1660e01b8152600401612c90959493929190614369565b6040805180830381600087803b158015612ca957600080fd5b505af1158015612cbd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612ce191906142d8565b5050505050505050505b612cf58186613612565b945050600101612389565b6d4946c0e9f43f4dee607b0ef1fa1c81565b60008160018116612fa857612d2787866139bd565b5060005b885181101561165757612d3c613db1565b898281518110612d4857fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e90612d909030908690600401614312565b60206040518083038186803b158015612da857600080fd5b505afa158015612dbc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612de091906142c0565b1115612e6a57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b391612e169190600090600401614350565b602060405180830381600087803b158015612e3057600080fd5b505af1158015612e44573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e689190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b392612e9b92600401614350565b602060405180830381600087803b158015612eb557600080fd5b505af1158015612ec9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612eed9190614208565b5060208301516060840151604080860151608087015160a08801519251638201aa3f60e01b81526000956001600160a01b03881695638201aa3f95612f389592949193600401614369565b6040805180830381600087803b158015612f5157600080fd5b505af1158015612f65573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f8991906142d8565b509050612f968188613612565b96505060019093019250612d2b915050565b60005a9050612fb788876139bd565b5060005b895181101561196f57612fcc613db1565b8a8281518110612fd857fe5b602090810291909101810151908101518151604051636eb1769f60e11b815292935090916000906001600160a01b0384169063dd62ed3e906130209030908690600401614312565b60206040518083038186803b15801561303857600080fd5b505afa15801561304c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061307091906142c0565b11156130fa57825160405163095ea7b360e01b81526001600160a01b0384169163095ea7b3916130a69190600090600401614350565b602060405180830381600087803b1580156130c057600080fd5b505af11580156130d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906130f89190614208565b505b8251606084015160405163095ea7b360e01b81526001600160a01b0385169263095ea7b39261312b92600401614350565b602060405180830381600087803b15801561314557600080fd5b505af1158015613159573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061317d9190614208565b5060208301516060840151604080860151608087015160a08801519251638201aa3f60e01b81526000956001600160a01b03881695638201aa3f956131c89592949193600401614369565b6040805180830381600087803b1580156131e157600080fd5b505af11580156131f5573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061321991906142d8565b5090506132268189613612565b97505060019093019250612fbb915050565b600081600181166132b857606061324e89613997565b156132735760005461326b906001600160a01b0316898988610241565b5090506132aa565b61327c88613997565b1561329a5760005461326b908a906001600160a01b03168988610241565b6132a689898988610241565b5090505b610b38818a8a896000610c7b565b60005a905060606132c88a613997565b156132ed576000546132e5906001600160a01b03168a8a89610241565b509050613324565b6132f689613997565b15613314576000546132e5908b906001600160a01b03168a89610241565b6133208a8a8a89610241565b5090505b610bbb818b8b8a6000610c7b565b61333a613d6b565b60405163f8b2cb4f60e01b815282906000906001600160a01b0383169063f8b2cb4f9061336b9089906004016142fe565b60206040518083038186803b15801561338357600080fd5b505afa158015613397573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133bb91906142c0565b90506000826001600160a01b031663f8b2cb4f876040518263ffffffff1660e01b81526004016133eb91906142fe565b60206040518083038186803b15801561340357600080fd5b505afa158015613417573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061343b91906142c0565b90506000836001600160a01b031663948d8ce6896040518263ffffffff1660e01b815260040161346b91906142fe565b60206040518083038186803b15801561348357600080fd5b505afa158015613497573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906134bb91906142c0565b90506000846001600160a01b031663948d8ce6896040518263ffffffff1660e01b81526004016134eb91906142fe565b60206040518083038186803b15801561350357600080fd5b505afa158015613517573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061353b91906142c0565b90506000856001600160a01b03166354cf2aeb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561357857600080fd5b505afa15801561358c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906135b091906142c0565b905060006135bf848685613cc9565b90506135c9613d6b565b506040805160e0810182526001600160a01b038b16815260208101979097528601939093526060850193909352608084015260a083019190915260c08201529150509392505050565b6000828201838110156136375760405162461bcd60e51b815260040161096e906144a2565b90505b92915050565b60008261364f5750600061363a565b8282028284828161365c57fe5b04146136375760405162461bcd60e51b815260040161096e90614526565b600061363783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250613d08565b600061363783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250613d3f565b6000805b835181101561384757600083828151811061371957fe5b6020026020010151600001516001600160a01b031663f8d6aed485848151811061373f57fe5b60200260200101516020015186858151811061375757fe5b60200260200101516040015187868151811061376f57fe5b60200260200101516060015188878151811061378757fe5b6020026020010151608001518a888151811061379f57fe5b60200260200101518a89815181106137b357fe5b602002602001015160a001516040518763ffffffff1660e01b81526004016137e0969594939291906145c5565b60206040518083038186803b1580156137f857600080fd5b505afa15801561380c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061383091906142c0565b905061383c8382613612565b925050600101613702565b5092915050565b6000805b835181101561384757600083828151811061386957fe5b6020026020010151600001516001600160a01b031663ba9530a685848151811061388f57fe5b6020026020010151602001518685815181106138a757fe5b6020026020010151604001518786815181106138bf57fe5b6020026020010151606001518887815181106138d757fe5b6020026020010151608001518a88815181106138ef57fe5b60200260200101518a898151811061390357fe5b602002602001015160a001516040518763ffffffff1660e01b8152600401613930969594939291906145c5565b60206040518083038186803b15801561394857600080fd5b505afa15801561395c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061398091906142c0565b905061398c8382613612565b925050600101613852565b6001600160a01b03811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee145b919050565b60006139c883613997565b15613a395760008054906101000a90046001600160a01b03166001600160a01b031663d0e30db0346040518263ffffffff1660e01b81526004016000604051808303818588803b158015613a1b57600080fd5b505af1158015613a2f573d6000803e3d6000fd5b505050505061363a565b6040516323b872dd60e01b81526001600160a01b038416906323b872dd90613a699033903090879060040161432c565b602060405180830381600087803b158015613a8357600080fd5b505af1158015613a97573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613abb9190614208565b61363a5760405162461bcd60e51b815260040161096e9061458f565b6000613ae282613997565b15613b6e576000546040516370a0823160e01b81526001600160a01b03909116906370a0823190613b179030906004016142fe565b60206040518083038186803b158015613b2f57600080fd5b505afa158015613b43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613b6791906142c0565b90506139b8565b6040516370a0823160e01b81526001600160a01b038316906370a0823190613b179030906004016142fe565b600081613ba95750600161363a565b613bb283613997565b15613c9b57600054604051632e1a7d4d60e01b81526001600160a01b0390911690632e1a7d4d90613be79085906004016145bc565b600060405180830381600087803b158015613c0157600080fd5b505af1158015613c15573d6000803e3d6000fd5b505050506000336001600160a01b031683604051613c32906142fb565b60006040518083038185875af1925050503d8060008114613c6f576040519150601f19603f3d011682016040523d82523d6000602084013e613c74565b606091505b5050905080613c955760405162461bcd60e51b815260040161096e90614567565b5061363a565b60405163a9059cbb60e01b81526001600160a01b0384169063a9059cbb90613a699033908690600401614350565b6000613d00670de0b6b3a764000061041f85613cfa613ce8878a613612565b61041f8a670de0b6b3a7640000613640565b90613640565b949350505050565b60008183613d295760405162461bcd60e51b815260040161096e919061442a565b506000838581613d3557fe5b0495945050505050565b60008184841115613d635760405162461bcd60e51b815260040161096e919061442a565b505050900390565b6040518060e0016040528060006001600160a01b031681526020016000815260200160008152602001600081526020016000815260200160008152602001600081525090565b6040518060c0016040528060006001600160a01b0316815260200160006001600160a01b0316815260200160006001600160a01b031681526020016000815260200160008152602001600081525090565b803561363a81614632565b600082601f830112613e1d578081fd5b8135613e30613e2b82614613565b6145ed565b818152915060208083019084810160005b84811015613e6a57613e58888484358a0101613e75565b84529282019290820190600101613e41565b505050505092915050565b600082601f830112613e85578081fd5b8135613e93613e2b82614613565b818152915060208083019084810160c080850287018301881015613eb657600080fd5b6000805b86811015613f375782848b031215613ed0578182fd5b613ed9836145ed565b613ee38b86613e02565b8152613ef18b878701613e02565b868201526040613f038c828801613e02565b90820152606085810135908201526080808601359082015260a0808601359082015286529484019492820192600101613eba565b5050505050505092915050565b803560ff8116811461363a57600080fd5b600060208284031215613f66578081fd5b813561363781614632565b60008060008060808587031215613f86578283fd5b8435613f9181614632565b93506020850135613fa181614632565b93969395505050506040820135916060013590565b60006020808385031215613fc8578182fd5b82516001600160401b03811115613fdd578283fd5b8301601f81018513613fed578283fd5b8051613ffb613e2b82614613565b8181528381019083850185840285018601891015614017578687fd5b8694505b8385101561404257805161402e81614632565b83526001949094019391850191850161401b565b50979650505050505050565b60008060008060008060c08789031215614066578182fd5b86356001600160401b0381111561407b578283fd5b61408789828a01613e0d565b965050602087013561409881614632565b945060408701356140a881614632565b935060608701359250608087013591506140c58860a08901613f44565b90509295509295509295565b600080600080600060a086880312156140e8578081fd5b85356001600160401b038111156140fd578182fd5b61410988828901613e0d565b955050602086013561411a81614632565b9350604086013561412a81614632565b925060608601359150608086013560ff81168114614146578182fd5b809150509295509295909350565b60008060008060008060c0878903121561416c578182fd5b86356001600160401b03811115614181578283fd5b61408789828a01613e75565b600080600080600060a086880312156141a4578283fd5b85356001600160401b038111156141b9578384fd5b6141c588828901613e75565b95505060208601356141d681614632565b935060408601356141e681614632565b9250606086013591506141fc8760808801613f44565b90509295509295909350565b600060208284031215614219578081fd5b81518015158114613637578182fd5b60008060008060008060c08789031215614240578384fd5b863561424b81614632565b9550602087013561425b81614632565b94506040870135935060608701359250608087013591506140c58860a08901613f44565b600080600060608486031215614293578081fd5b833561429e81614632565b92506020840135915060408401356142b581614632565b809150509250925092565b6000602082840312156142d1578081fd5b5051919050565b600080604083850312156142ea578182fd5b505080516020909101519092909150565b90565b6001600160a01b0391909116815260200190565b6001600160a01b0392831681529116602082015260400190565b6001600160a01b039384168152919092166020820152604081019190915260600190565b6001600160a01b03929092168252602082015260400190565b6001600160a01b03958616815260208101949094529190931660408301526060820192909252608081019190915260a00190565b6040808252835182820181905260009190606090818501906020808901865b8381101561441657815180516001600160a01b0390811687528482015181168588015288820151168887015286810151878701526080808201519087015260a0908101519086015260c090940193908201906001016143bc565b505095909501959095525092949350505050565b6000602080835283518082850152825b818110156144565785810183015185820160400152820161443a565b818111156144675783604083870101525b50601f01601f1916929092016040019392505050565b6020808252600b908201526a21676f7665726e616e636560a81b604082015260600190565b6020808252601b908201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604082015260600190565b6020808252600d908201526c11549497d31253525517d3d555609a1b604082015260600190565b6020808252600c908201526b22a9292fa624a6a4aa2fa4a760a11b604082015260600190565b60208082526021908201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6040820152607760f81b606082015260800190565b6020808252600e908201526d11549497d1551217d1905253115160921b604082015260600190565b60208082526013908201527211549497d514905394d1915497d19052531151606a1b604082015260600190565b90815260200190565b958652602086019490945260408501929092526060840152608083015260a082015260c00190565b6040518181016001600160401b038111828210171561460b57600080fd5b604052919050565b60006001600160401b03821115614628578081fd5b5060209081020190565b6001600160a01b038116811461464757600080fd5b5056fea26469706673582212207989428d0dfdf0134780d9f85eb30ad45b989ddefef3367e9a840fc9bdfaf31964736f6c634300060c0033

000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2

-----Decoded View---------------
Arg [0] : _weth (address): 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2

6850:20161:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20449:1758;;;;;;;;;;-1:-1:-1;20449:1758:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;18692:1749;;;;;;;;;;-1:-1:-1;18692:1749:0;;;;;:::i;:::-;;:::i;26567:404::-;;;;;;;;;;-1:-1:-1;26567:404:0;;;;;:::i;:::-;;:::i;:::-;;8066:25;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;17028:829::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;9848:1261::-;;;;;;:::i;:::-;;:::i;8385:166::-;;;;;;;;;;-1:-1:-1;8385:166:0;;;;;:::i;:::-;;:::i;8222:155::-;;;;;;;;;;-1:-1:-1;8222:155:0;;;;;:::i;:::-;;:::i;11117:1809::-;;;;;;:::i;:::-;;:::i;12934:4086::-;;;;;;:::i;:::-;;:::i;6915:93::-;;;;;;;;;;;;;:::i;8559:1281::-;;;;;;:::i;:::-;;:::i;17865:819::-;;;;;;:::i;:::-;;:::i;20449:1758::-;20703:8;;:57;;-1:-1:-1;;;20703:57:0;;20615:19;;20636:16;;20615:19;;-1:-1:-1;;;;;20703:8:0;;:30;;:57;;20734:7;;20743:8;;20753:6;;20703:57;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;20703:57:0;;;;;;;;;;;;:::i;:::-;20670:90;;20773:19;20806:13;:20;-1:-1:-1;;;;;20795:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;-1:-1:-1;20773:54:0;-1:-1:-1;20838:26:0;;20875:227;20896:13;:20;20892:1;:24;20875:227;;;20949:48;20961:7;20970:8;20980:13;20994:1;20980:16;;;;;;;;;;;;;;20949:11;:48::i;:::-;20938:5;20944:1;20938:8;;;;;;;;;;;;;:59;;;;21036:54;21062:5;21068:1;21062:8;;;;;;;;;;;;;;:27;;;21036:21;:25;;:54;;;;:::i;:::-;21012:78;-1:-1:-1;20918:3:0;;20875:227;;;;21114:30;21158:5;:12;-1:-1:-1;;;;;21147:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21147:24:0;-1:-1:-1;21114:57:0;-1:-1:-1;21182:21:0;;21214:234;21235:5;:12;21231:1;:16;21214:234;;;21291:70;21339:21;21291:43;21306:5;21312:1;21306:8;;;;;;;;;;;;;;:27;;;21291:10;:14;;:43;;;;:::i;:::-;:47;;:70::i;:::-;21269:16;21286:1;21269:19;;;;;;;;;;;;;:92;;;;;21395:41;21416:16;21433:1;21416:19;;;;;;;;;;;;;;21395:16;:20;;:41;;;;:::i;:::-;21376:60;-1:-1:-1;21249:3:0;;21214:234;;;;21483:10;21464:16;:29;21460:253;;;21532:57;21556:32;:10;21571:16;21556:14;:32::i;:::-;21532:16;21549:1;21532:19;;;;;;;;;;;;;;:23;;:57;;;;:::i;:::-;21510:16;21527:1;21510:19;;;;;;;;;;;;;:79;;;;;21460:253;;;21644:57;21668:32;:16;21689:10;21668:20;:32::i;:::-;21644:16;21661:1;21644:19;;;;;;;;;;;;;;:23;;:57;;;;:::i;:::-;21622:16;21639:1;21622:19;;;;;;;;;;;;;:79;;;;;21460:253;21744:5;:12;-1:-1:-1;;;;;21733:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;21725:32;;21775:6;21770:318;21791:5;:12;21787:1;:16;21770:318;;;21836:240;;;;;;;;21862:5;21868:1;21862:8;;;;;;;;;;;;;;:13;;;-1:-1:-1;;;;;21836:240:0;;;;;21899:7;-1:-1:-1;;;;;21836:240:0;;;;;21931:8;-1:-1:-1;;;;;21836:240:0;;;;;21966:16;21983:1;21966:19;;;;;;;;;;;;;;21836:240;;;;-1:-1:-1;;21836:240:0;;;;-1:-1:-1;;21836:240:0;;;21825:5;21831:1;21825:8;;;;;;;;;;;;;;;;;:251;21805:3;;21770:318;;;;22114:45;22135:16;22153:5;22114:20;:45::i;:::-;22100:59;;22172:27;;;;;20449:1758;;;;;;;:::o;18692:1749::-;18945:8;;:57;;-1:-1:-1;;;18945:57:0;;18857:19;;18878:16;;18857:19;;-1:-1:-1;;;;;18945:8:0;;:30;;:57;;18976:7;;18985:8;;18995:6;;18945:57;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;18945:57:0;;;;;;;;;;;;:::i;:::-;18912:90;;19015:19;19048:13;:20;-1:-1:-1;;;;;19037:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;-1:-1:-1;19015:54:0;-1:-1:-1;19080:26:0;;19117:227;19138:13;:20;19134:1;:24;19117:227;;;19191:48;19203:7;19212:8;19222:13;19236:1;19222:16;;;;;;;19191:48;19180:5;19186:1;19180:8;;;;;;;;;;;;;:59;;;;19278:54;19304:5;19310:1;19304:8;;;;;;;19278:54;19254:78;-1:-1:-1;19160:3:0;;19117:227;;;;19356:30;19400:5;:12;-1:-1:-1;;;;;19389:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;19389:24:0;-1:-1:-1;19356:57:0;-1:-1:-1;19424:21:0;;19456:234;19477:5;:12;19473:1;:16;19456:234;;;19533:70;19581:21;19533:43;19548:5;19554:1;19548:8;;;;;;;19533:70;19511:16;19528:1;19511:19;;;;;;;;;;;;;:92;;;;;19637:41;19658:16;19675:1;19658:19;;;;;;;19637:41;19618:60;-1:-1:-1;19491:3:0;;19456:234;;;;19725:10;19706:16;:29;19702:253;;;19774:57;19798:32;:10;19813:16;19798:14;:32::i;19774:57::-;19752:16;19769:1;19752:19;;;;;;;;;;;;;:79;;;;;19702:253;;;19886:57;19910:32;:16;19931:10;19910:20;:32::i;19886:57::-;19864:16;19881:1;19864:19;;;;;;;;;;;;;:79;;;;;19702:253;19986:5;:12;-1:-1:-1;;;;;19975:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;19967:32;;20017:6;20012:311;20033:5;:12;20029:1;:16;20012:311;;;20078:233;;;;;;;;20104:5;20110:1;20104:8;;;;;;;;;;;;;;:13;;;-1:-1:-1;;;;;20078:233:0;;;;;20141:7;-1:-1:-1;;;;;20078:233:0;;;;;20173:8;-1:-1:-1;;;;;20078:233:0;;;;;20208:16;20225:1;20208:19;;;;;;;;;;;;;;20078:233;;;;20261:1;20078:233;;;;-1:-1:-1;;20078:233:0;;;20067:5;20073:1;20067:8;;;;;;;;;;;;;;;;;:244;20047:3;;20012:311;;;;20349:44;20369:16;20387:5;20349:19;:44::i;26567:404::-;26697:10;;-1:-1:-1;;;;;26697:10:0;26683;:24;26675:48;;;;-1:-1:-1;;;26675:48:0;;;;;;;:::i;:::-;;;;;;;;;26738:13;26744:6;26738:5;:13::i;:::-;26734:230;;;26769:9;26783:3;-1:-1:-1;;;;;26783:8:0;26800:7;26783:29;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26768:44;;;26835:4;26827:31;;;;-1:-1:-1;;;26827:31:0;;;;;;;:::i;:::-;26734:230;;;;26899:29;;-1:-1:-1;;;26899:29:0;;-1:-1:-1;;;;;26899:15:0;;;;;:29;;26915:3;;26920:7;;26899:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;26891:61;;;;-1:-1:-1;;;26891:61:0;;;;;;;:::i;:::-;26567:404;;;:::o;8066:25::-;;;-1:-1:-1;;;;;8066:25:0;;:::o;17028:829::-;17285:19;17265:4;7073:3;7066:10;;7061:284;;17322:19:::1;17356:14;17362:7;17356:5;:14::i;:::-;17352:387;;;17423:4;::::0;17398:73:::1;::::0;-1:-1:-1;;;;;17423:4:0::1;17438:8:::0;17449:13;17464:6;17398:16:::1;:73::i;:::-;-1:-1:-1::0;17387:84:0;-1:-1:-1;17352:387:0::1;;;17493:15;17499:8;17493:5;:15::i;:::-;17489:250;;;17578:4;::::0;17535:72:::1;::::0;17560:7;;-1:-1:-1;;;;;17578:4:0::1;17585:13:::0;17600:6;17535:16:::1;:72::i;17489:250::-;17651:76;17676:7;17694:8;17705:13;17720:6;17651:16;:76::i;:::-;-1:-1:-1::0;17640:87:0;-1:-1:-1;17489:250:0::1;17768:81;17785:5;17792:7;17801:8;17811:13;17826:17;17845:3;17768:16;:81::i;:::-;17751:98;;7099:1;7061:284:::0;;;7133:16;7152:9;7133:28;;17322:19:::1;17356:14;17362:7;17356:5;:14::i;:::-;17352:387;;;17423:4;::::0;17398:73:::1;::::0;-1:-1:-1;;;;;17423:4:0::1;17438:8:::0;17449:13;17464:6;17398:16:::1;:73::i;:::-;-1:-1:-1::0;17387:84:0;-1:-1:-1;17352:387:0::1;;;17493:15;17499:8;17493:5;:15::i;:::-;17489:250;;;17578:4;::::0;17535:72:::1;::::0;17560:7;;-1:-1:-1;;;;;17578:4:0::1;17585:13:::0;17600:6;17535:16:::1;:72::i;17489:250::-;17651:76;17676:7;17694:8;17705:13;17720:6;17651:16;:76::i;:::-;-1:-1:-1::0;17640:87:0;-1:-1:-1;17489:250:0::1;17768:81;17785:5;17792:7;17801:8;17811:13;17826:17;17845:3;17768:16;:81::i;:::-;17751:98:::0;-1:-1:-1;7192:16:0;;-1:-1:-1;7242:2:0;7247:8;7242:20;7230:9;7219:8;7211:5;:16;:28;:51;7192:70;;6965:42;-1:-1:-1;;;;;7277:16:0;;7294:10;7327:5;7307:8;7318:5;7307:16;7306:26;;;;;;7277:56;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7061:284;;;17028:829;;;;;;;;;:::o;9848:1261::-;10084:18;10064:4;7073:3;7066:10;;7061:284;;10120:42:::1;10136:7;10145:16;10120:15;:42::i;:::-;;10180:6;10175:748;10196:5;:12;10192:1;:16;10175:748;;;10230:16;;:::i;:::-;10249:5;10255:1;10249:8;;;;;;;;;::::0;;::::1;::::0;;;;;;;10316:12;;::::1;::::0;10379:9;;10410:47:::1;::::0;-1:-1:-1;;;10410:47:0;;10249:8;;-1:-1:-1;10316:12:0;;10272:26:::1;::::0;-1:-1:-1;;;;;10410:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;10440:4:::1;::::0;10379:9;;10410:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;10406:125;;;10502:9:::0;;10482:33:::1;::::0;-1:-1:-1;;;10482:33:0;;-1:-1:-1;;;;;10482:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;10502:9;::::1;::::0;10482:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10406:125;10565:9:::0;;10576:22:::1;::::0;::::1;::::0;10545:54:::1;::::0;-1:-1:-1;;;10545:54:0;;-1:-1:-1;;;;;10545:19:0;::::1;::::0;::::1;::::0;:54:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10682:12:0::1;::::0;::::1;::::0;10713:22:::1;::::0;::::1;::::0;10754:13:::1;::::0;;::::1;::::0;10786:15:::1;::::0;::::1;::::0;10820:13:::1;::::0;::::1;::::0;10640:208;;-1:-1:-1;;;10640:208:0;;10617:18:::1;::::0;-1:-1:-1;;;;;10640:23:0;::::1;::::0;::::1;::::0;:208:::1;::::0;10682:12;;10713:22;;10640:208:::1;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10616:232:0;-1:-1:-1;10879:32:0::1;10616:232:::0;10897:13;10879:17:::1;:32::i;:::-;10863:48:::0;-1:-1:-1;;10210:3:0::1;::::0;;::::1;::::0;-1:-1:-1;10175:748:0::1;::::0;-1:-1:-1;;10175:748:0::1;;;10958:16;10941:13;:33;;10933:58;;;;-1:-1:-1::0;;;10933:58:0::1;;;;;;;:::i;:::-;11004:43;11016:8;11026:20;11037:8;11026:10;:20::i;:::-;11004:11;:43::i;:::-;;11058:41;11070:7;11079:19;11090:7;11079:10;:19::i;11058:41::-;;7061:284:::0;;;7133:16;7152:9;7133:28;;10120:42:::1;10136:7;10145:16;10120:15;:42::i;:::-;;10180:6;10175:748;10196:5;:12;10192:1;:16;10175:748;;;10230:16;;:::i;:::-;10249:5;10255:1;10249:8;;;;;;;;;::::0;;::::1;::::0;;;;;;;10316:12;;::::1;::::0;10379:9;;10410:47:::1;::::0;-1:-1:-1;;;10410:47:0;;10249:8;;-1:-1:-1;10316:12:0;;10272:26:::1;::::0;-1:-1:-1;;;;;10410:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;10440:4:::1;::::0;10379:9;;10410:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;10406:125;;;10502:9:::0;;10482:33:::1;::::0;-1:-1:-1;;;10482:33:0;;-1:-1:-1;;;;;10482:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;10502:9;::::1;::::0;10482:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10406:125;10565:9:::0;;10576:22:::1;::::0;::::1;::::0;10545:54:::1;::::0;-1:-1:-1;;;10545:54:0;;-1:-1:-1;;;;;10545:19:0;::::1;::::0;::::1;::::0;:54:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10682:12:0::1;::::0;::::1;::::0;10713:22:::1;::::0;::::1;::::0;10754:13:::1;::::0;;::::1;::::0;10786:15:::1;::::0;::::1;::::0;10820:13:::1;::::0;::::1;::::0;10640:208;;-1:-1:-1;;;10640:208:0;;10617:18:::1;::::0;-1:-1:-1;;;;;10640:23:0;::::1;::::0;::::1;::::0;:208:::1;::::0;10682:12;;10713:22;;10640:208:::1;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10616:232:0;-1:-1:-1;10879:32:0::1;10616:232:::0;10897:13;10879:17:::1;:32::i;:::-;10863:48:::0;-1:-1:-1;;10210:3:0::1;::::0;;::::1;::::0;-1:-1:-1;10175:748:0::1;::::0;-1:-1:-1;;10175:748:0::1;;;10958:16;10941:13;:33;;10933:58;;;;-1:-1:-1::0;;;10933:58:0::1;;;;;;;:::i;:::-;11004:43;11016:8;11026:20;11037:8;11026:10;:20::i;11004:43::-;;11058:41;11070:7;11079:19;11090:7;11079:10;:19::i;11058:41::-;-1:-1:-1::0;7192:16:0;7242:2;7247:8;7242:20;7230:9;7219:8;7211:5;:16;:28;:51;7192:70;;6965:42;-1:-1:-1;;;;;7277:16:0;;7294:10;7327:5;7307:8;7318:5;7307:16;7306:26;;;;;;7277:56;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7061:284;;;9848:1261;;;;;;;;:::o;8385:166::-;8467:10;;-1:-1:-1;;;;;8467:10:0;8453;:24;8445:48;;;;-1:-1:-1;;;8445:48:0;;;;;;;:::i;:::-;8504:8;:39;;-1:-1:-1;;;;;;8504:39:0;-1:-1:-1;;;;;8504:39:0;;;;;;;;;;8385:166::o;8222:155::-;8308:10;;-1:-1:-1;;;;;8308:10:0;8294;:24;8286:48;;;;-1:-1:-1;;;8286:48:0;;;;;;;:::i;:::-;8345:10;:24;;-1:-1:-1;;;;;;8345:24:0;-1:-1:-1;;;;;8345:24:0;;;;;;;;;;8222:155::o;11117:1809::-;11400:19;11380:4;7073:3;7066:10;;7061:284;;11439:39:::1;11455:7;11464:13;11439:15;:39::i;:::-;;11496:6;11491:1250;11512:13;:20;11508:1;:24;11491:1250;;;11554:19;::::0;11588:1018:::1;11609:13;11623:1;11609:16;;;;;;;;;;;;;;:23;11605:1;:27;11588:1018;;;11658:16;;:::i;:::-;11677:13;11691:1;11677:16;;;;;;;;;;;;;;11694:1;11677:19;;;;;;;;;;;;;;11658:38;;11715:26;11759:4;:12;;;11715:57;;11795:1;11800;11795:6;11791:247;;;11986:15;::::0;::::1;:32:::0;;;11791:247:::1;12093:9:::0;;12126:47:::1;::::0;-1:-1:-1;;;12126:47:0;;12058:18:::1;::::0;-1:-1:-1;;;;;12126:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;12156:4:::1;::::0;12093:9;;12126:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;12122:133;;;12222:9:::0;;12202:33:::1;::::0;-1:-1:-1;;;12202:33:0;;-1:-1:-1;;;;;12202:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;12222:9;::::1;::::0;12202:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12122:133;12293:9:::0;;12304:15:::1;::::0;::::1;::::0;12273:47:::1;::::0;-1:-1:-1;;;12273:47:0;;-1:-1:-1;;;;;12273:19:0;::::1;::::0;::::1;::::0;:47:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12359:4;-1:-1:-1::0;;;;;12359:22:0::1;;12404:4;:12;;;12439:4;:15;;;12477:4;:13;;;12513:4;:22;;;12558:4;:13;;;12359:231;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12339:251:0;-1:-1:-1;;11634:3:0::1;::::0;;::::1;::::0;-1:-1:-1;11588:1018:0::1;::::0;-1:-1:-1;11588:1018:0::1;;-1:-1:-1::0;12695:34:0::1;:14:::0;12714;12695:18:::1;:34::i;:::-;12678:51:::0;-1:-1:-1;;11534:3:0::1;;11491:1250;;;;12779:17;12761:14;:35;;12753:61;;;;-1:-1:-1::0;;;12753:61:0::1;;;;;;;:::i;:::-;12827:37;12839:8;12849:14;12827:11;:37::i;:::-;;12875:41;12887:7;12896:19;12907:7;12896:10;:19::i;12875:41::-;;7061:284:::0;;;7133:16;7152:9;7133:28;;11439:39:::1;11455:7;11464:13;11439:15;:39::i;:::-;;11496:6;11491:1250;11512:13;:20;11508:1;:24;11491:1250;;;11554:19;::::0;11588:1018:::1;11609:13;11623:1;11609:16;;;;;;;;;;;;;;:23;11605:1;:27;11588:1018;;;11658:16;;:::i;:::-;11677:13;11691:1;11677:16;;;;;;;;;;;;;;11694:1;11677:19;;;;;;;;;;;;;;11658:38;;11715:26;11759:4;:12;;;11715:57;;11795:1;11800;11795:6;11791:247;;;11986:15;::::0;::::1;:32:::0;;;11791:247:::1;12093:9:::0;;12126:47:::1;::::0;-1:-1:-1;;;12126:47:0;;12058:18:::1;::::0;-1:-1:-1;;;;;12126:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;12156:4:::1;::::0;12093:9;;12126:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;12122:133;;;12222:9:::0;;12202:33:::1;::::0;-1:-1:-1;;;12202:33:0;;-1:-1:-1;;;;;12202:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;12222:9;::::1;::::0;12202:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12122:133;12293:9:::0;;12304:15:::1;::::0;::::1;::::0;12273:47:::1;::::0;-1:-1:-1;;;12273:47:0;;-1:-1:-1;;;;;12273:19:0;::::1;::::0;::::1;::::0;:47:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12359:4;-1:-1:-1::0;;;;;12359:22:0::1;;12404:4;:12;;;12439:4;:15;;;12477:4;:13;;;12513:4;:22;;;12558:4;:13;;;12359:231;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12339:251:0;-1:-1:-1;;11634:3:0::1;::::0;;::::1;::::0;-1:-1:-1;11588:1018:0::1;::::0;-1:-1:-1;11588:1018:0::1;;-1:-1:-1::0;12695:34:0::1;:14:::0;12714;12695:18:::1;:34::i;:::-;12678:51:::0;-1:-1:-1;;11534:3:0::1;;11491:1250;;;;12779:17;12761:14;:35;;12753:61;;;;-1:-1:-1::0;;;12753:61:0::1;;;;;;;:::i;:::-;12827:37;12839:8;12849:14;12827:11;:37::i;:::-;;12875:41;12887:7;12896:19;12907:7;12896:10;:19::i;12875:41::-;-1:-1:-1::0;7192:16:0;7242:2;7247:8;7242:20;7230:9;7219:8;7211:5;:16;:28;:51;7192:70;;6965:42;-1:-1:-1;;;;;7277:16:0;;7294:10;7327:5;7307:8;7318:5;7307:16;7306:26;;;;12934:4086;13188:18;13168:4;7073:3;7066:10;;7061:284;;13226:42:::1;13242:7;13251:16;13226:15;:42::i;:::-;;13286:6;13281:3551;13302:13;:20;13298:1;:24;13281:3551;;;13344:27;13475:13;13489:1;13475:16;;;;;;;;;;;;;;:23;13502:1;13475:28;13471:3278;;;13524:16;;:::i;:::-;13543:13;13557:1;13543:16;;;;;;;;;;;;;;13560:1;13543:19;;;;;;;;;::::0;;::::1;::::0;;;;;;;13625:12;;::::1;::::0;13694:9;;13727:47:::1;::::0;-1:-1:-1;;;13727:47:0;;13543:19;;-1:-1:-1;13625:12:0;;13581:26:::1;::::0;-1:-1:-1;;;;;13727:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;13757:4:::1;::::0;13694:9;;13727:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;13723:133;;;13823:9:::0;;13803:33:::1;::::0;-1:-1:-1;;;13803:33:0;;-1:-1:-1;;;;;13803:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;13823:9;::::1;::::0;13803:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13723:133;13894:9:::0;;13905:22:::1;::::0;::::1;::::0;13874:54:::1;::::0;-1:-1:-1;;;13874:54:0;;-1:-1:-1;;;;;13874:19:0;::::1;::::0;::::1;::::0;:54:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13977:4;-1:-1:-1::0;;;;;13977:23:0::1;;14023:4;:12;;;14058:4;:22;;;14103:4;:13;;;14139:4;:15;;;14177:4;:13;;;13977:232;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13949:260:0;-1:-1:-1;13471:3278:0::1;::::0;-1:-1:-1;;;13471:3278:0::1;;14546:28;14637:22;;:::i;:::-;14662:13;14676:1;14662:16;;;;;;;;;;;;;;14679:1;14662:19;;;;;;;;;::::0;;::::1;::::0;;;;;;;14745:15;;14884:18;;::::1;::::0;14858:45:::1;::::0;-1:-1:-1;;;14858:45:0;;14662:19;;-1:-1:-1;;;;;;14806:29:0;::::1;::::0;::::1;::::0;;;14858:25:::1;::::0;:45:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14963:18;::::0;::::1;::::0;14926:56:::1;::::0;-1:-1:-1;;;14926:56:0;;-1:-1:-1;;;;;14926:36:0;::::1;::::0;::::1;::::0;:56:::1;::::0;14963:18;14926:56:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15031:19;::::0;;::::1;::::0;15005:46;;-1:-1:-1;;;15005:46:0;;-1:-1:-1;;;;;15005:25:0;::::1;::::0;::::1;::::0;:46:::1;::::0;15031:19;15005:46:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15111:19;::::0;;::::1;::::0;15074:57;;-1:-1:-1;;;15074:57:0;;-1:-1:-1;;;;;15074:36:0;::::1;::::0;::::1;::::0;:57:::1;::::0;15111:19;15074:57:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15154:10;:21;;;15198:14;-1:-1:-1::0;;;;;15198:22:0::1;;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14806:435;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14780:461;;15348:21;;:::i;:::-;15372:13;15386:1;15372:16;;;;;;;;;;;;;;15389:1;15372:19;;;;;;;;;::::0;;::::1;::::0;;;;;;;15459:17;;::::1;::::0;15540:14;;15578:57:::1;::::0;-1:-1:-1;;;15578:57:0;;15372:19;;-1:-1:-1;15459:17:0;;-1:-1:-1;;15643:2:0;-1:-1:-1;;;;;15578:26:0;::::1;::::0;::::1;::::0;:57:::1;::::0;15613:4:::1;::::0;15540:14;;15578:57:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:68;15574:167;;;15696:14:::0;;15671:50:::1;::::0;-1:-1:-1;;;15671:50:0;;-1:-1:-1;;;;;15671:24:0;::::1;::::0;::::1;::::0;:50:::1;::::0;15696:14;-1:-1:-1;;15717:2:0;15671:50:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;15574:167;15789:13;-1:-1:-1::0;;;;;15789:32:0::1;;15844:9;:17;;;15884:9;:27;;;15934:9;:18;;;15975:23;16062:9;:18;;;15789:310;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;16232:18:0::1;::::0;::::1;::::0;16317:15;;16274:59:::1;::::0;-1:-1:-1;;;16274:59:0;;15761:338;;-1:-1:-1;16232:18:0;;-1:-1:-1;;16341:2:0;-1:-1:-1;;;;;16274:27:0;::::1;::::0;::::1;::::0;:59:::1;::::0;16310:4:::1;::::0;16317:15;16274:59:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:70;16270:171;;;16395:15:::0;;16369:52:::1;::::0;-1:-1:-1;;;16369:52:0;;-1:-1:-1;;;;;16369:25:0;::::1;::::0;::::1;::::0;:52:::1;::::0;16395:15;-1:-1:-1;;16417:2:0;16369:52:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;16270:171;16461:14;-1:-1:-1::0;;;;;16461:33:0::1;;16517:10;:18;;;16558:10;:28;;;16609:10;:19;;;16651:10;:21;;;16695:10;:19;;;16461:272;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;13471:3278;;;;;;;;16779:41;:22:::0;16806:13;16779:26:::1;:41::i;:::-;16763:57:::0;-1:-1:-1;;13324:3:0::1;;13281:3551;;7061:284:::0;7133:16;7152:9;7133:28;;13226:42:::1;13242:7;13251:16;13226:15;:42::i;:::-;;13286:6;13281:3551;13302:13;:20;13298:1;:24;13281:3551;;;13344:27;13475:13;13489:1;13475:16;;;;;;;;;;;;;;:23;13502:1;13475:28;13471:3278;;;13524:16;;:::i;:::-;13543:13;13557:1;13543:16;;;;;;;;;;;;;;13560:1;13543:19;;;;;;;;;::::0;;::::1;::::0;;;;;;;13625:12;;::::1;::::0;13694:9;;13727:47:::1;::::0;-1:-1:-1;;;13727:47:0;;13543:19;;-1:-1:-1;13625:12:0;;13581:26:::1;::::0;-1:-1:-1;;;;;13727:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;13757:4:::1;::::0;13694:9;;13727:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;13723:133;;;13823:9:::0;;13803:33:::1;::::0;-1:-1:-1;;;13803:33:0;;-1:-1:-1;;;;;13803:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;13823:9;::::1;::::0;13803:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13723:133;13894:9:::0;;13905:22:::1;::::0;::::1;::::0;13874:54:::1;::::0;-1:-1:-1;;;13874:54:0;;-1:-1:-1;;;;;13874:19:0;::::1;::::0;::::1;::::0;:54:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13977:4;-1:-1:-1::0;;;;;13977:23:0::1;;14023:4;:12;;;14058:4;:22;;;14103:4;:13;;;14139:4;:15;;;14177:4;:13;;;13977:232;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13949:260:0;-1:-1:-1;13471:3278:0::1;::::0;-1:-1:-1;;;13471:3278:0::1;;14546:28;14637:22;;:::i;:::-;14662:13;14676:1;14662:16;;;;;;;;;;;;;;14679:1;14662:19;;;;;;;;;::::0;;::::1;::::0;;;;;;;14745:15;;14884:18;;::::1;::::0;14858:45:::1;::::0;-1:-1:-1;;;14858:45:0;;14662:19;;-1:-1:-1;;;;;;14806:29:0;::::1;::::0;::::1;::::0;;;14858:25:::1;::::0;:45:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14963:18;::::0;::::1;::::0;14926:56:::1;::::0;-1:-1:-1;;;14926:56:0;;-1:-1:-1;;;;;14926:36:0;::::1;::::0;::::1;::::0;:56:::1;::::0;14963:18;14926:56:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15031:19;::::0;;::::1;::::0;15005:46;;-1:-1:-1;;;15005:46:0;;-1:-1:-1;;;;;15005:25:0;::::1;::::0;::::1;::::0;:46:::1;::::0;15031:19;15005:46:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15111:19;::::0;;::::1;::::0;15074:57;;-1:-1:-1;;;15074:57:0;;-1:-1:-1;;;;;15074:36:0;::::1;::::0;::::1;::::0;:57:::1;::::0;15111:19;15074:57:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15154:10;:21;;;15198:14;-1:-1:-1::0;;;;;15198:22:0::1;;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14806:435;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14780:461;;15348:21;;:::i;:::-;15372:13;15386:1;15372:16;;;;;;;;;;;;;;15389:1;15372:19;;;;;;;;;::::0;;::::1;::::0;;;;;;;15459:17;;::::1;::::0;15540:14;;15578:57:::1;::::0;-1:-1:-1;;;15578:57:0;;15372:19;;-1:-1:-1;15459:17:0;;-1:-1:-1;;15643:2:0;-1:-1:-1;;;;;15578:26:0;::::1;::::0;::::1;::::0;:57:::1;::::0;15613:4:::1;::::0;15540:14;;15578:57:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:68;15574:167;;;15696:14:::0;;15671:50:::1;::::0;-1:-1:-1;;;15671:50:0;;-1:-1:-1;;;;;15671:24:0;::::1;::::0;::::1;::::0;:50:::1;::::0;15696:14;-1:-1:-1;;15717:2:0;15671:50:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;15574:167;15789:13;-1:-1:-1::0;;;;;15789:32:0::1;;15844:9;:17;;;15884:9;:27;;;15934:9;:18;;;15975:23;16062:9;:18;;;15789:310;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;16232:18:0::1;::::0;::::1;::::0;16317:15;;16274:59:::1;::::0;-1:-1:-1;;;16274:59:0;;15761:338;;-1:-1:-1;16232:18:0;;-1:-1:-1;;16341:2:0;-1:-1:-1;;;;;16274:27:0;::::1;::::0;::::1;::::0;:59:::1;::::0;16310:4:::1;::::0;16317:15;16274:59:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:70;16270:171;;;16395:15:::0;;16369:52:::1;::::0;-1:-1:-1;;;16369:52:0;;-1:-1:-1;;;;;16369:25:0;::::1;::::0;::::1;::::0;:52:::1;::::0;16395:15;-1:-1:-1;;16417:2:0;16369:52:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;16270:171;16461:14;-1:-1:-1::0;;;;;16461:33:0::1;;16517:10;:18;;;16558:10;:28;;;16609:10;:19;;;16651:10;:21;;;16695:10;:19;;;16461:272;;;;;;;;;;;;;;;;;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;13471:3278;;;;;;;;16779:41;:22:::0;16806:13;16779:26:::1;:41::i;:::-;16763:57:::0;-1:-1:-1;;13324:3:0::1;;13281:3551;;6915:93:::0;6965:42;6915:93;:::o;8559:1281::-;8824:19;8804:4;7073:3;7066:10;;7061:284;;8861:39:::1;8877:7;8886:13;8861:15;:39::i;:::-;;8918:6;8913:744;8934:5;:12;8930:1;:16;8913:744;;;8968:16;;:::i;:::-;8987:5;8993:1;8987:8;;;;;;;;;::::0;;::::1;::::0;;;;;;;9054:12;;::::1;::::0;9117:9;;9148:47:::1;::::0;-1:-1:-1;;;9148:47:0;;8987:8;;-1:-1:-1;9054:12:0;;9010:26:::1;::::0;-1:-1:-1;;;;;9148:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;9178:4:::1;::::0;9117:9;;9148:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;9144:125;;;9240:9:::0;;9220:33:::1;::::0;-1:-1:-1;;;9220:33:0;;-1:-1:-1;;;;;9220:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;9240:9;::::1;::::0;9220:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9144:125;9303:9:::0;;9314:15:::1;::::0;::::1;::::0;9283:47:::1;::::0;-1:-1:-1;;;9283:47:0;;-1:-1:-1;;;;;9283:19:0;::::1;::::0;::::1;::::0;:47:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9413:12:0::1;::::0;::::1;::::0;9444:15:::1;::::0;::::1;::::0;9478:13:::1;::::0;;::::1;::::0;9510:22:::1;::::0;::::1;::::0;9551:13:::1;::::0;::::1;::::0;9372:207;;-1:-1:-1;;;9372:207:0;;9348:19:::1;::::0;-1:-1:-1;;;;;9372:22:0;::::1;::::0;::::1;::::0;:207:::1;::::0;9413:12;;9444:15;;9372:207:::1;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9347:232:0;-1:-1:-1;9611:34:0::1;9347:232:::0;9630:14;9611:18:::1;:34::i;:::-;9594:51:::0;-1:-1:-1;;8948:3:0::1;::::0;;::::1;::::0;-1:-1:-1;8913:744:0::1;::::0;-1:-1:-1;;8913:744:0::1;7061:284:::0;7133:16;7152:9;7133:28;;8861:39:::1;8877:7;8886:13;8861:15;:39::i;:::-;;8918:6;8913:744;8934:5;:12;8930:1;:16;8913:744;;;8968:16;;:::i;:::-;8987:5;8993:1;8987:8;;;;;;;;;::::0;;::::1;::::0;;;;;;;9054:12;;::::1;::::0;9117:9;;9148:47:::1;::::0;-1:-1:-1;;;9148:47:0;;8987:8;;-1:-1:-1;9054:12:0;;9010:26:::1;::::0;-1:-1:-1;;;;;9148:21:0;::::1;::::0;::::1;::::0;:47:::1;::::0;9178:4:::1;::::0;9117:9;;9148:47:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;9144:125;;;9240:9:::0;;9220:33:::1;::::0;-1:-1:-1;;;9220:33:0;;-1:-1:-1;;;;;9220:19:0;::::1;::::0;::::1;::::0;:33:::1;::::0;9240:9;::::1;::::0;9220:33:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9144:125;9303:9:::0;;9314:15:::1;::::0;::::1;::::0;9283:47:::1;::::0;-1:-1:-1;;;9283:47:0;;-1:-1:-1;;;;;9283:19:0;::::1;::::0;::::1;::::0;:47:::1;::::0;::::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9413:12:0::1;::::0;::::1;::::0;9444:15:::1;::::0;::::1;::::0;9478:13:::1;::::0;;::::1;::::0;9510:22:::1;::::0;::::1;::::0;9551:13:::1;::::0;::::1;::::0;9372:207;;-1:-1:-1;;;9372:207:0;;9348:19:::1;::::0;-1:-1:-1;;;;;9372:22:0;::::1;::::0;::::1;::::0;:207:::1;::::0;9413:12;;9444:15;;9372:207:::1;;;:::i;:::-;;::::0;::::1;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9347:232:0;-1:-1:-1;9611:34:0::1;9347:232:::0;9630:14;9611:18:::1;:34::i;:::-;9594:51:::0;-1:-1:-1;;8948:3:0::1;::::0;;::::1;::::0;-1:-1:-1;8913:744:0::1;::::0;-1:-1:-1;;8913:744:0::1;17865:819:::0;18123:18;18103:4;7073:3;7066:10;;7061:284;;18159:19:::1;18193:14;18199:7;18193:5;:14::i;:::-;18189:393;;;18261:4;::::0;18235:75:::1;::::0;-1:-1:-1;;;;;18261:4:0::1;18276:8:::0;18287:14;18303:6;18235:17:::1;:75::i;:::-;-1:-1:-1::0;18224:86:0;-1:-1:-1;18189:393:0::1;;;18332:15;18338:8;18332:5;:15::i;:::-;18328:254;;;18418:4;::::0;18374:74:::1;::::0;18400:7;;-1:-1:-1;;;;;18418:4:0::1;18425:14:::0;18441:6;18374:17:::1;:74::i;18328:254::-;18492:78;18518:7;18536:8;18547:14;18563:6;18492:17;:78::i;:::-;-1:-1:-1::0;18481:89:0;-1:-1:-1;18328:254:0::1;18610:66;18628:5;18635:7;18644:8;18654:16;18672:3;18610:17;:66::i;7061:284::-:0;7133:16;7152:9;7133:28;;18159:19:::1;18193:14;18199:7;18193:5;:14::i;:::-;18189:393;;;18261:4;::::0;18235:75:::1;::::0;-1:-1:-1;;;;;18261:4:0::1;18276:8:::0;18287:14;18303:6;18235:17:::1;:75::i;:::-;-1:-1:-1::0;18224:86:0;-1:-1:-1;18189:393:0::1;;;18332:15;18338:8;18332:5;:15::i;:::-;18328:254;;;18418:4;::::0;18374:74:::1;::::0;18400:7;;-1:-1:-1;;;;;18418:4:0::1;18425:14:::0;18441:6;18374:17:::1;:74::i;18328:254::-;18492:78;18518:7;18536:8;18547:14;18563:6;18492:17;:78::i;:::-;-1:-1:-1::0;18481:89:0;-1:-1:-1;18328:254:0::1;18610:66;18628:5;18635:7;18644:8;18654:16;18672:3;18610:17;:66::i;22215:1030::-:0;22359:11;;:::i;:::-;22468:24;;-1:-1:-1;;;22468:24:0;;22423:11;;22388:18;;-1:-1:-1;;;;;22468:15:0;;;;;:24;;22484:7;;22468:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22446:46;;22503:20;22526:4;-1:-1:-1;;;;;22526:15:0;;22542:8;22526:25;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22503:48;;22562:18;22583:4;-1:-1:-1;;;;;22583:26:0;;22610:7;22583:35;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22562:56;;22629:19;22651:4;-1:-1:-1;;;;;22651:26:0;;22678:8;22651:36;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22629:58;;22698:12;22713:4;-1:-1:-1;;;;;22713:12:0;;:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;22698:29;;22740:23;22766:120;22803:13;22831:15;22861:14;22766:22;:120::i;:::-;22740:146;;22897:22;;:::i;:::-;-1:-1:-1;22922:285:0;;;;;;;;-1:-1:-1;;;;;22922:285:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;22215:1030:0;;;;;:::o;929:181::-;987:7;1019:5;;;1043:6;;;;1035:46;;;;-1:-1:-1;;;1035:46:0;;;;;;;:::i;:::-;1101:1;-1:-1:-1;929:181:0;;;;;:::o;2301:471::-;2359:7;2604:6;2600:47;;-1:-1:-1;2634:1:0;2627:8;;2600:47;2671:5;;;2675:1;2671;:5;:1;2695:5;;;;;:10;2687:56;;;;-1:-1:-1;;;2687:56:0;;;;;;;:::i;3240:132::-;3298:7;3325:39;3329:1;3332;3325:39;;;;;;;;;;;;;;;;;:3;:39::i;1385:136::-;1443:7;1470:43;1474:1;1477;1470:43;;;;;;;;;;;;;;;;;:3;:43::i;24404:710::-;24549:16;24614:6;24609:469;24630:16;:23;24626:1;:27;24609:469;;;24675:11;24703:9;24713:1;24703:12;;;;;;;;;;;;;;:17;;;-1:-1:-1;;;;;24689:47:0;;24755:9;24765:1;24755:12;;;;;;;;;;;;;;:27;;;24801:9;24811:1;24801:12;;;;;;;;;;;;;;:26;;;24846:9;24856:1;24846:12;;;;;;;;;;;;;;:28;;;24893:9;24903:1;24893:12;;;;;;;;;;;;;;:27;;;24939:16;24956:1;24939:19;;;;;;;;;;;;;;24977:9;24987:1;24977:12;;;;;;;;;;;;;;:20;;;24689:323;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;24675:337;-1:-1:-1;25043:23:0;:11;24675:337;25043:15;:23::i;:::-;25029:37;-1:-1:-1;;24655:3:0;;24609:469;;;;24404:710;;;;:::o;23687:709::-;23831:16;23896:6;23891:469;23912:16;:23;23908:1;:27;23891:469;;;23957:11;23985:9;23995:1;23985:12;;;;;;;;;;;;;;:17;;;-1:-1:-1;;;;;23971:47:0;;24037:9;24047:1;24037:12;;;;;;;;;;;;;;:27;;;24083:9;24093:1;24083:12;;;;;;;;;;;;;;:26;;;24128:9;24138:1;24128:12;;;;;;;;;;;;;;:28;;;24175:9;24185:1;24175:12;;;;;;;;;;;;;;:27;;;24221:16;24238:1;24221:19;;;;;;;;;;;;;;24259:9;24269:1;24259:12;;;;;;;;;;;;;;:20;;;23971:323;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;23957:337;-1:-1:-1;24325:23:0;:11;23957:337;24325:15;:23::i;:::-;24311:37;-1:-1:-1;;23937:3:0;;23891:469;;26123:122;-1:-1:-1;;;;;26207:29:0;;7972:42;26207:29;26123:122;;;;:::o;25122:297::-;25199:4;25220:12;25226:5;25220;:12::i;:::-;25216:196;;;25249:4;;;;;;;;-1:-1:-1;;;;;25249:4:0;-1:-1:-1;;;;;25249:12:0;;25270:9;25249:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25216:196;;;25323:53;;-1:-1:-1;;;25323:53:0;;-1:-1:-1;;;;;25323:18:0;;;;;:53;;25342:10;;25362:4;;25369:6;;25323:53;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;25315:85;;;;-1:-1:-1;;;25315:85:0;;;;;;;:::i;25427:240::-;25492:4;25513:12;25519:5;25513;:12::i;:::-;25509:151;;;25549:4;;:29;;-1:-1:-1;;;25549:29:0;;-1:-1:-1;;;;;25549:4:0;;;;:14;;:29;;25572:4;;25549:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;25542:36;;;;25509:151;25618:30;;-1:-1:-1;;;25618:30:0;;-1:-1:-1;;;;;25618:15:0;;;;;:30;;25642:4;;25618:30;;;:::i;25675:440::-;25748:4;25769:11;25765:55;;-1:-1:-1;25804:4:0;25797:11;;25765:55;25836:12;25842:5;25836;:12::i;:::-;25832:276;;;25865:4;;:21;;-1:-1:-1;;;25865:21:0;;-1:-1:-1;;;;;25865:4:0;;;;:13;;:21;;25879:6;;25865:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25902:9;25916:10;-1:-1:-1;;;;;25916:15:0;25940:6;25916:35;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25901:50;;;25974:4;25966:31;;;;-1:-1:-1;;;25966:31:0;;;;;;;:::i;:::-;25832:276;;;;26038:34;;-1:-1:-1;;;26038:34:0;;-1:-1:-1;;;;;26038:14:0;;;;;:34;;26053:10;;26065:6;;26038:34;;;:::i;23253:426::-;23415:23;23516:117;8051:6;23516:107;23607:15;23516:86;23558:33;:14;23577:13;23558:18;:33::i;:::-;23516:23;:13;8051:6;23516:17;:23::i;:86::-;:90;;:107::i;:117::-;23486:147;23253:426;-1:-1:-1;;;;23253:426:0:o;3902:345::-;3988:7;4090:12;4083:5;4075:28;;;;-1:-1:-1;;;4075:28:0;;;;;;;;:::i;:::-;;4114:9;4130:1;4126;:5;;;;;;;3902:345;-1:-1:-1;;;;;3902:345:0:o;1858:192::-;1944:7;1980:12;1972:6;;;;1964:29;;;;-1:-1:-1;;;1964:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2016:5:0;;;1858:192::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130::-;72:20;;97:33;72:20;97:33;:::i;1069:816::-;;1232:3;1225:4;1217:6;1213:17;1209:27;1199:2;;-1:-1;;1240:12;1199:2;1287:6;1274:20;1309:126;1324:110;1427:6;1324:110;:::i;:::-;1309:126;:::i;:::-;1463:21;;;1300:135;-1:-1;1507:4;1520:14;;;;1495:17;;;1615:1;1600:279;1625:6;1622:1;1619:13;1600:279;;;1732:83;1811:3;1507:4;1708:3;1695:17;1499:6;1683:30;;1732:83;:::i;:::-;1720:96;;1830:14;;;;1858;;;;1647:1;1640:9;1600:279;;;1604:14;;;;;1192:693;;;;:::o;1929:770::-;;2067:3;2060:4;2052:6;2048:17;2044:27;2034:2;;-1:-1;;2075:12;2034:2;2122:6;2109:20;2144:101;2159:85;2237:6;2159:85;:::i;2144:101::-;2273:21;;;2135:110;-1:-1;2317:4;2330:14;;;;2305:17;;;2431:4;2419:17;;;2410:27;;;;2407:36;-1:-1;2404:2;;;2456:1;;2446:12;2404:2;2481:1;;2466:227;2491:6;2488:1;2485:13;2466:227;;;2431:4;3153:9;3148:3;3144:19;3140:30;3137:2;;;2481:1;;3173:12;3137:2;3201:20;2431:4;3201:20;:::i;:::-;3303:49;3348:3;3324:22;3303:49;:::i;:::-;3285:16;3278:75;3450:49;3495:3;2317:4;3475:9;3471:22;3450:49;:::i;:::-;2317:4;3436:5;3432:16;3425:75;3565:2;3598:49;3643:3;3565:2;3623:9;3619:22;3598:49;:::i;:::-;3580:16;;;3573:75;3715:2;3769:22;;;4200:20;3730:16;;;3723:75;3872:3;3927:22;;;4200:20;3888:16;;;3881:75;4021:3;4076:22;;;4200:20;4037:16;;;4030:75;2559:71;;2644:14;;;;2672;;;;2513:1;2506:9;2466:227;;;2470:14;;;;;;;2027:672;;;;:::o;4411:126::-;4476:20;;30956:4;30945:16;;32754:33;;32744:2;;32801:1;;32791:12;4544:241;;4648:2;4636:9;4627:7;4623:23;4619:32;4616:2;;;-1:-1;;4654:12;4616:2;85:6;72:20;97:33;124:5;97:33;:::i;4792:617::-;;;;;4947:3;4935:9;4926:7;4922:23;4918:33;4915:2;;;-1:-1;;4954:12;4915:2;85:6;72:20;97:33;124:5;97:33;:::i;:::-;5006:63;-1:-1;5106:2;5145:22;;72:20;97:33;72:20;97:33;:::i;:::-;4909:500;;5114:63;;-1:-1;;;;5214:2;5253:22;;4200:20;;5322:2;5361:22;4200:20;;4909:500::o;5416:392::-;;5556:2;;5544:9;5535:7;5531:23;5527:32;5524:2;;;-1:-1;;5562:12;5524:2;5613:17;5607:24;-1:-1;;;;;5643:6;5640:30;5637:2;;;-1:-1;;5673:12;5637:2;5760:22;;422:4;410:17;;406:27;-1:-1;396:2;;-1:-1;;437:12;396:2;477:6;471:13;499:80;514:64;571:6;514:64;:::i;499:80::-;607:21;;;664:14;;;;639:17;;;753;;;744:27;;;;741:36;-1:-1;738:2;;;-1:-1;;780:12;738:2;-1:-1;806:10;;800:217;825:6;822:1;819:13;800:217;;;226:6;220:13;238:33;265:5;238:33;:::i;:::-;893:61;;847:1;840:9;;;;;968:14;;;;996;;800:217;;;-1:-1;5693:99;5518:290;-1:-1;;;;;;;5518:290::o;5815:1181::-;;;;;;;6117:3;6105:9;6096:7;6092:23;6088:33;6085:2;;;-1:-1;;6124:12;6085:2;6182:17;6169:31;-1:-1;;;;;6212:6;6209:30;6206:2;;;-1:-1;;6242:12;6206:2;6272:124;6388:7;6379:6;6368:9;6364:22;6272:124;:::i;:::-;6262:134;;;6433:2;6498:9;6494:22;2931:20;2956:55;3005:5;2956:55;:::i;:::-;6441:85;-1:-1;6563:2;6624:22;;2931:20;2956:55;2931:20;2956:55;:::i;:::-;6571:85;-1:-1;6693:2;6732:22;;4200:20;;-1:-1;6801:3;6841:22;;4200:20;;-1:-1;6929:51;6972:7;6910:3;6948:22;;6929:51;:::i;:::-;6919:61;;6079:917;;;;;;;;:::o;7003:1055::-;;;;;;7288:3;7276:9;7267:7;7263:23;7259:33;7256:2;;;-1:-1;;7295:12;7256:2;7353:17;7340:31;-1:-1;;;;;7383:6;7380:30;7377:2;;;-1:-1;;7413:12;7377:2;7443:124;7559:7;7550:6;7539:9;7535:22;7443:124;:::i;:::-;7433:134;;;7604:2;7669:9;7665:22;2931:20;2956:55;3005:5;2956:55;:::i;:::-;7612:85;-1:-1;7734:2;7795:22;;2931:20;2956:55;2931:20;2956:55;:::i;:::-;7742:85;-1:-1;7864:2;7903:22;;4200:20;;-1:-1;7972:3;8010:22;;4476:20;30956:4;30945:16;;32754:33;;32744:2;;-1:-1;;32791:12;32744:2;7981:61;;;;7250:808;;;;;;;;:::o;8065:1131::-;;;;;;;8342:3;8330:9;8321:7;8317:23;8313:33;8310:2;;;-1:-1;;8349:12;8310:2;8407:17;8394:31;-1:-1;;;;;8437:6;8434:30;8431:2;;;-1:-1;;8467:12;8431:2;8497:99;8588:7;8579:6;8568:9;8564:22;8497:99;:::i;9203:1005::-;;;;;;9463:3;9451:9;9442:7;9438:23;9434:33;9431:2;;;-1:-1;;9470:12;9431:2;9528:17;9515:31;-1:-1;;;;;9558:6;9555:30;9552:2;;;-1:-1;;9588:12;9552:2;9618:99;9709:7;9700:6;9689:9;9685:22;9618:99;:::i;:::-;9608:109;;;9754:2;9819:9;9815:22;2931:20;2956:55;3005:5;2956:55;:::i;:::-;9762:85;-1:-1;9884:2;9945:22;;2931:20;2956:55;2931:20;2956:55;:::i;:::-;9892:85;-1:-1;10014:2;10053:22;;4200:20;;-1:-1;10141:51;10184:7;10122:3;10160:22;;10141:51;:::i;:::-;10131:61;;9425:783;;;;;;;;:::o;10215:257::-;;10327:2;10315:9;10306:7;10302:23;10298:32;10295:2;;;-1:-1;;10333:12;10295:2;2788:6;2782:13;32368:5;30532:13;30525:21;32346:5;32343:32;32333:2;;-1:-1;;32379:12;10479:953;;;;;;;10710:3;10698:9;10689:7;10685:23;10681:33;10678:2;;;-1:-1;;10717:12;10678:2;2944:6;2931:20;2956:55;3005:5;2956:55;:::i;:::-;10769:85;-1:-1;10891:2;10952:22;;2931:20;2956:55;2931:20;2956:55;:::i;:::-;10899:85;-1:-1;11021:2;11060:22;;4200:20;;-1:-1;11129:2;11168:22;;4200:20;;-1:-1;11237:3;11277:22;;4200:20;;-1:-1;11365:51;11408:7;11346:3;11384:22;;11365:51;:::i;11439:535::-;;;;11599:2;11587:9;11578:7;11574:23;11570:32;11567:2;;;-1:-1;;11605:12;11567:2;2944:6;2931:20;2956:55;3005:5;2956:55;:::i;:::-;11657:85;-1:-1;11779:2;11818:22;;4200:20;;-1:-1;11887:2;11926:22;;72:20;97:33;72:20;97:33;:::i;:::-;11895:63;;;;11561:413;;;;;:::o;11981:263::-;;12096:2;12084:9;12075:7;12071:23;12067:32;12064:2;;;-1:-1;;12102:12;12064:2;-1:-1;4348:13;;12058:186;-1:-1;12058:186::o;12251:399::-;;;12383:2;12371:9;12362:7;12358:23;12354:32;12351:2;;;-1:-1;;12389:12;12351:2;-1:-1;;4348:13;;12552:2;12602:22;;;4348:13;;;;;-1:-1;12345:305::o;18949:379::-;19313:10;19137:191::o;19335:222::-;-1:-1;;;;;30740:54;;;;13133:37;;19462:2;19447:18;;19433:124::o;19809:349::-;-1:-1;;;;;30740:54;;;13002:58;;30740:54;;20144:2;20129:18;;13133:37;19972:2;19957:18;;19943:215::o;20165:476::-;-1:-1;;;;;30740:54;;;13002:58;;30740:54;;;;20544:2;20529:18;;13002:58;20627:2;20612:18;;18780:37;;;;20364:2;20349:18;;20335:306::o;20648:349::-;-1:-1;;;;;30740:54;;;;13002:58;;20983:2;20968:18;;18780:37;20811:2;20796:18;;20782:215::o;22151:668::-;-1:-1;;;;;30740:54;;;13133:37;;22555:2;22540:18;;18780:37;;;;30740:54;;;;22638:2;22623:18;;13133:37;22721:2;22706:18;;18780:37;;;;22804:3;22789:19;;18780:37;;;;22390:3;22375:19;;22361:458::o;22826:565::-;23073:2;23087:47;;;29529:12;;23058:18;;;29975:19;;;22826:565;;23073:2;30015:14;;;;;;30024:4;29362:14;;;22826:565;13882:323;13907:6;13904:1;13901:13;13882:323;;;13968:13;;17799:23;;-1:-1;;;;;30740:54;;;13133:37;;17962:16;;;17956:23;30740:54;;18033:14;;;13133:37;18120:16;;;18114:23;30740:54;18191:14;;;13133:37;18280:16;;;18274:23;18351:14;;;18780:37;18458:4;18447:16;;;18441:23;18518:14;;;18780:37;30751:42;18605:16;;;18599:23;18676:14;;;18780:37;12904:4;12895:14;;;;29809;;;;5651:18;13922:9;13882:323;;;-1:-1;;23362:18;;;;18780:37;;;;-1:-1;23140:158;;23044:347;-1:-1;;;;23044:347::o;23669:310::-;;23816:2;;23837:17;23830:47;14704:5;29529:12;29987:6;23816:2;23805:9;23801:18;29975:19;-1:-1;31854:101;31868:6;31865:1;31862:13;31854:101;;;31935:11;;;;;31929:18;31916:11;;;30015:14;31916:11;31909:39;31883:10;;31854:101;;;31970:6;31967:1;31964:13;31961:2;;;-1:-1;30015:14;32026:6;23805:9;32017:16;;32010:27;31961:2;-1:-1;32142:7;32126:14;-1:-1;;32122:28;14862:39;;;;30015:14;14862:39;;23787:192;-1:-1;;;23787:192::o;23986:416::-;24186:2;24200:47;;;15138:2;24171:18;;;29975:19;-1:-1;;;30015:14;;;15154:34;15207:12;;;24157:245::o;24409:416::-;24609:2;24623:47;;;15458:2;24594:18;;;29975:19;15494:29;30015:14;;;15474:50;15543:12;;;24580:245::o;24832:416::-;25032:2;25046:47;;;15794:2;25017:18;;;29975:19;-1:-1;;;30015:14;;;15810:36;15865:12;;;25003:245::o;25255:416::-;25455:2;25469:47;;;16116:2;25440:18;;;29975:19;-1:-1;;;30015:14;;;16132:35;16186:12;;;25426:245::o;25678:416::-;25878:2;25892:47;;;16437:2;25863:18;;;29975:19;16473:34;30015:14;;;16453:55;-1:-1;;;16528:12;;;16521:25;16565:12;;;25849:245::o;26101:416::-;26301:2;26315:47;;;16816:2;26286:18;;;29975:19;-1:-1;;;30015:14;;;16832:37;16888:12;;;26272:245::o;26524:416::-;26724:2;26738:47;;;17444:2;26709:18;;;29975:19;-1:-1;;;30015:14;;;17460:42;17521:12;;;26695:245::o;26947:222::-;18780:37;;;27074:2;27059:18;;27045:124::o;27176:780::-;18780:37;;;27608:2;27593:18;;18780:37;;;;27691:2;27676:18;;18780:37;;;;27774:2;27759:18;;18780:37;27857:3;27842:19;;18780:37;27941:3;27926:19;;18780:37;27443:3;27428:19;;27414:542::o;27963:256::-;28025:2;28019:9;28051:17;;;-1:-1;;;;;28111:34;;28147:22;;;28108:62;28105:2;;;28183:1;;28173:12;28105:2;28025;28192:22;28003:216;;-1:-1;28003:216::o;28226:304::-;;-1:-1;;;;;28377:6;28374:30;28371:2;;;-1:-1;;28407:12;28371:2;-1:-1;28452:4;28440:17;;;28505:15;;28308:222::o;32163:117::-;-1:-1;;;;;30740:54;;32222:35;;32212:2;;32271:1;;32261:12;32212:2;32206:74;:::o

ipfs://7989428d0dfdf0134780d9f85eb30ad45b989ddefef3367e9a840fc9bdfaf319