Contract Source Code (Vyper language format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Submit Audit
• Compare

# @version 0.2.15
"""
@title StableSwap
@author Curve.Fi
@license Copyright (c) Curve.Fi, 2020-2021 - all rights reserved
@notice 2 coin pool implementation with no lending
@dev ERC20 support for return True/revert, return True/False, return None
     Uses native Ether as coins[0]
"""

from vyper.interfaces import ERC20

interface Factory:
    def convert_fees() -> bool: nonpayable
    def get_fee_receiver(_pool: address) -> address: view
    def admin() -> address: view


event Transfer:
    sender: indexed(address)
    receiver: indexed(address)
    value: uint256

event Approval:
    owner: indexed(address)
    spender: indexed(address)
    value: uint256

event TokenExchange:
    buyer: indexed(address)
    sold_id: int128
    tokens_sold: uint256
    bought_id: int128
    tokens_bought: uint256

event AddLiquidity:
    provider: indexed(address)
    token_amounts: uint256[N_COINS]
    fees: uint256[N_COINS]
    invariant: uint256
    token_supply: uint256

event RemoveLiquidity:
    provider: indexed(address)
    token_amounts: uint256[N_COINS]
    fees: uint256[N_COINS]
    token_supply: uint256

event RemoveLiquidityOne:
    provider: indexed(address)
    token_amount: uint256
    coin_amount: uint256
    token_supply: uint256

event RemoveLiquidityImbalance:
    provider: indexed(address)
    token_amounts: uint256[N_COINS]
    fees: uint256[N_COINS]
    invariant: uint256
    token_supply: uint256

event RampA:
    old_A: uint256
    new_A: uint256
    initial_time: uint256
    future_time: uint256

event StopRampA:
    A: uint256
    t: uint256


N_COINS: constant(int128) = 2
PRECISION: constant(uint256) = 10 ** 18

FEE_DENOMINATOR: constant(uint256) = 10 ** 10
ADMIN_FEE: constant(uint256) = 5000000000

A_PRECISION: constant(uint256) = 100
MAX_A: constant(uint256) = 10 ** 6
MAX_A_CHANGE: constant(uint256) = 10
MIN_RAMP_TIME: constant(uint256) = 86400

factory: address

coins: public(address[N_COINS])
balances: public(uint256[N_COINS])
fee: public(uint256)  # fee * 1e10

initial_A: public(uint256)
future_A: public(uint256)
initial_A_time: public(uint256)
future_A_time: public(uint256)

rate_multipliers: uint256[N_COINS]

name: public(String[64])
symbol: public(String[32])

balanceOf: public(HashMap[address, uint256])
allowance: public(HashMap[address, HashMap[address, uint256]])
totalSupply: public(uint256)


@external
def __init__():
    # we do this to prevent the implementation contract from being used as a pool
    self.fee = 31337


@external
def initialize(
    _name: String[32],
    _symbol: String[10],
    _coins: address[4],
    _rate_multipliers: uint256[4],
    _A: uint256,
    _fee: uint256,
):
    """
    @notice Contract constructor
    @param _name Name of the new pool
    @param _symbol Token symbol
    @param _coins List of all ERC20 conract addresses of coins
    @param _rate_multipliers List of number of decimals in coins
    @param _A Amplification coefficient multiplied by n ** (n - 1)
    @param _fee Fee to charge for exchanges
    """
    # check if fee was already set to prevent initializing contract twice
    assert self.fee == 0

    # additional sanity checks for ETH configuration
    assert _coins[0] == 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE
    assert _rate_multipliers[0] == 10**18

    for i in range(N_COINS):
        coin: address = _coins[i]
        if coin == ZERO_ADDRESS:
            break
        self.coins[i] = coin
        self.rate_multipliers[i] = _rate_multipliers[i]

    A: uint256 = _A * A_PRECISION
    self.initial_A = A
    self.future_A = A
    self.fee = _fee
    self.factory = msg.sender

    self.name = concat("Curve.fi Factory Pool: ", _name)
    self.symbol = concat(_symbol, "-f")

    # fire a transfer event so block explorers identify the contract as an ERC20
    log Transfer(ZERO_ADDRESS, self, 0)


### ERC20 Functionality ###

@view
@external
def decimals() -> uint256:
    """
    @notice Get the number of decimals for this token
    @dev Implemented as a view method to reduce gas costs
    @return uint256 decimal places
    """
    return 18


@internal
def _transfer(_from: address, _to: address, _value: uint256):
    # # NOTE: vyper does not allow underflows
    # #       so the following subtraction would revert on insufficient balance
    self.balanceOf[_from] -= _value
    self.balanceOf[_to] += _value

    log Transfer(_from, _to, _value)


@external
def transfer(_to : address, _value : uint256) -> bool:
    """
    @dev Transfer token for a specified address
    @param _to The address to transfer to.
    @param _value The amount to be transferred.
    """
    self._transfer(msg.sender, _to, _value)
    return True


@external
def transferFrom(_from : address, _to : address, _value : uint256) -> bool:
    """
     @dev Transfer tokens from one address to another.
     @param _from address The address which you want to send tokens from
     @param _to address The address which you want to transfer to
     @param _value uint256 the amount of tokens to be transferred
    """
    self._transfer(_from, _to, _value)

    _allowance: uint256 = self.allowance[_from][msg.sender]
    if _allowance != MAX_UINT256:
        self.allowance[_from][msg.sender] = _allowance - _value

    return True


@external
def approve(_spender : address, _value : uint256) -> bool:
    """
    @notice Approve the passed address to transfer the specified amount of
            tokens on behalf of msg.sender
    @dev Beware that changing an allowance via this method brings the risk that
         someone may use both the old and new allowance by unfortunate transaction
         ordering: https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
    @param _spender The address which will transfer the funds
    @param _value The amount of tokens that may be transferred
    @return bool success
    """
    self.allowance[msg.sender][_spender] = _value

    log Approval(msg.sender, _spender, _value)
    return True


### StableSwap Functionality ###

@view
@external
def get_balances() -> uint256[N_COINS]:
    return self.balances


@view
@internal
def _A() -> uint256:
    """
    Handle ramping A up or down
    """
    t1: uint256 = self.future_A_time
    A1: uint256 = self.future_A

    if block.timestamp < t1:
        A0: uint256 = self.initial_A
        t0: uint256 = self.initial_A_time
        # Expressions in uint256 cannot have negative numbers, thus "if"
        if A1 > A0:
            return A0 + (A1 - A0) * (block.timestamp - t0) / (t1 - t0)
        else:
            return A0 - (A0 - A1) * (block.timestamp - t0) / (t1 - t0)

    else:  # when t1 == 0 or block.timestamp >= t1
        return A1


@view
@external
def admin_fee() -> uint256:
    return ADMIN_FEE


@view
@external
def A() -> uint256:
    return self._A() / A_PRECISION


@view
@external
def A_precise() -> uint256:
    return self._A()


@pure
@internal
def _xp_mem(_rates: uint256[N_COINS], _balances: uint256[N_COINS]) -> uint256[N_COINS]:
    result: uint256[N_COINS] = empty(uint256[N_COINS])
    for i in range(N_COINS):
        result[i] = _rates[i] * _balances[i] / PRECISION
    return result


@pure
@internal
def get_D(_xp: uint256[N_COINS], _amp: uint256) -> uint256:
    """
    D invariant calculation in non-overflowing integer operations
    iteratively

    A * sum(x_i) * n**n + D = A * D * n**n + D**(n+1) / (n**n * prod(x_i))

    Converging solution:
    D[j+1] = (A * n**n * sum(x_i) - D[j]**(n+1) / (n**n prod(x_i))) / (A * n**n - 1)
    """
    S: uint256 = 0
    for x in _xp:
        S += x
    if S == 0:
        return 0

    D: uint256 = S
    Ann: uint256 = _amp * N_COINS
    for i in range(255):
        D_P: uint256 = D * D / _xp[0] * D / _xp[1] / (N_COINS)**2
        Dprev: uint256 = D
        D = (Ann * S / A_PRECISION + D_P * N_COINS) * D / ((Ann - A_PRECISION) * D / A_PRECISION + (N_COINS + 1) * D_P)
        # Equality with the precision of 1
        if D > Dprev:
            if D - Dprev <= 1:
                return D
        else:
            if Dprev - D <= 1:
                return D
    # convergence typically occurs in 4 rounds or less, this should be unreachable!
    # if it does happen the pool is borked and LPs can withdraw via `remove_liquidity`
    raise


@view
@internal
def get_D_mem(_rates: uint256[N_COINS], _balances: uint256[N_COINS], _amp: uint256) -> uint256:
    xp: uint256[N_COINS] = self._xp_mem(_rates, _balances)
    return self.get_D(xp, _amp)


@view
@external
def get_virtual_price() -> uint256:
    """
    @notice The current virtual price of the pool LP token
    @dev Useful for calculating profits
    @return LP token virtual price normalized to 1e18
    """
    amp: uint256 = self._A()
    xp: uint256[N_COINS] = self._xp_mem(self.rate_multipliers, self.balances)
    D: uint256 = self.get_D(xp, amp)
    # D is in the units similar to DAI (e.g. converted to precision 1e18)
    # When balanced, D = n * x_u - total virtual value of the portfolio
    return D * PRECISION / self.totalSupply


@view
@external
def calc_token_amount(_amounts: uint256[N_COINS], _is_deposit: bool) -> uint256:
    """
    @notice Calculate addition or reduction in token supply from a deposit or withdrawal
    @dev This calculation accounts for slippage, but not fees.
         Needed to prevent front-running, not for precise calculations!
    @param _amounts Amount of each coin being deposited
    @param _is_deposit set True for deposits, False for withdrawals
    @return Expected amount of LP tokens received
    """
    amp: uint256 = self._A()
    balances: uint256[N_COINS] = self.balances

    D0: uint256 = self.get_D_mem(self.rate_multipliers, balances, amp)
    for i in range(N_COINS):
        amount: uint256 = _amounts[i]
        if _is_deposit:
            balances[i] += amount
        else:
            balances[i] -= amount
    D1: uint256 = self.get_D_mem(self.rate_multipliers, balances, amp)
    diff: uint256 = 0
    if _is_deposit:
        diff = D1 - D0
    else:
        diff = D0 - D1
    return diff * self.totalSupply / D0


@payable
@external
@nonreentrant('lock')
def add_liquidity(
    _amounts: uint256[N_COINS],
    _min_mint_amount: uint256,
    _receiver: address = msg.sender
) -> uint256:
    """
    @notice Deposit coins into the pool
    @param _amounts List of amounts of coins to deposit
    @param _min_mint_amount Minimum amount of LP tokens to mint from the deposit
    @param _receiver Address that owns the minted LP tokens
    @return Amount of LP tokens received by depositing
    """
    amp: uint256 = self._A()
    old_balances: uint256[N_COINS] = self.balances
    rates: uint256[N_COINS] = self.rate_multipliers

    # Initial invariant
    D0: uint256 = self.get_D_mem(rates, old_balances, amp)

    total_supply: uint256 = self.totalSupply
    new_balances: uint256[N_COINS] = old_balances
    for i in range(N_COINS):
        amount: uint256 = _amounts[i]
        if total_supply == 0:
            assert amount > 0  # dev: initial deposit requires all coins
        new_balances[i] += amount

    # Invariant after change
    D1: uint256 = self.get_D_mem(rates, new_balances, amp)
    assert D1 > D0

    # We need to recalculate the invariant accounting for fees
    # to calculate fair user's share
    fees: uint256[N_COINS] = empty(uint256[N_COINS])
    mint_amount: uint256 = 0
    if total_supply > 0:
        # Only account for fees if we are not the first to deposit
        base_fee: uint256 = self.fee * N_COINS / (4 * (N_COINS - 1))
        for i in range(N_COINS):
            ideal_balance: uint256 = D1 * old_balances[i] / D0
            difference: uint256 = 0
            new_balance: uint256 = new_balances[i]
            if ideal_balance > new_balance:
                difference = ideal_balance - new_balance
            else:
                difference = new_balance - ideal_balance
            fees[i] = base_fee * difference / FEE_DENOMINATOR
            self.balances[i] = new_balance - (fees[i] * ADMIN_FEE / FEE_DENOMINATOR)
            new_balances[i] -= fees[i]
        D2: uint256 = self.get_D_mem(rates, new_balances, amp)
        mint_amount = total_supply * (D2 - D0) / D0
    else:
        self.balances = new_balances
        mint_amount = D1  # Take the dust if there was any

    assert mint_amount >= _min_mint_amount, "Slippage screwed you"

    # Take coins from the sender
    assert msg.value == _amounts[0]
    if _amounts[1] > 0:
        response: Bytes[32] = raw_call(
            self.coins[1],
            concat(
                method_id("transferFrom(address,address,uint256)"),
                convert(msg.sender, bytes32),
                convert(self, bytes32),
                convert(_amounts[1], bytes32),
            ),
            max_outsize=32,
        )
        if len(response) > 0:
            assert convert(response, bool)  # dev: failed transfer
        # end "safeTransferFrom"

    # Mint pool tokens
    total_supply += mint_amount
    self.balanceOf[_receiver] += mint_amount
    self.totalSupply = total_supply
    log Transfer(ZERO_ADDRESS, _receiver, mint_amount)

    log AddLiquidity(msg.sender, _amounts, fees, D1, total_supply)

    return mint_amount


@view
@internal
def get_y(i: int128, j: int128, x: uint256, xp: uint256[N_COINS]) -> uint256:
    """
    Calculate x[j] if one makes x[i] = x

    Done by solving quadratic equation iteratively.
    x_1**2 + x_1 * (sum' - (A*n**n - 1) * D / (A * n**n)) = D ** (n + 1) / (n ** (2 * n) * prod' * A)
    x_1**2 + b*x_1 = c

    x_1 = (x_1**2 + c) / (2*x_1 + b)
    """
    # x in the input is converted to the same price/precision

    assert i != j       # dev: same coin
    assert j >= 0       # dev: j below zero
    assert j < N_COINS  # dev: j above N_COINS

    # should be unreachable, but good for safety
    assert i >= 0
    assert i < N_COINS

    amp: uint256 = self._A()
    D: uint256 = self.get_D(xp, amp)
    S_: uint256 = 0
    _x: uint256 = 0
    y_prev: uint256 = 0
    c: uint256 = D
    Ann: uint256 = amp * N_COINS

    for _i in range(N_COINS):
        if _i == i:
            _x = x
        elif _i != j:
            _x = xp[_i]
        else:
            continue
        S_ += _x
        c = c * D / (_x * N_COINS)

    c = c * D * A_PRECISION / (Ann * N_COINS)
    b: uint256 = S_ + D * A_PRECISION / Ann  # - D
    y: uint256 = D

    for _i in range(255):
        y_prev = y
        y = (y*y + c) / (2 * y + b - D)
        # Equality with the precision of 1
        if y > y_prev:
            if y - y_prev <= 1:
                return y
        else:
            if y_prev - y <= 1:
                return y
    raise


@view
@external
def get_dy(i: int128, j: int128, dx: uint256) -> uint256:
    """
    @notice Calculate the current output dy given input dx
    @dev Index values can be found via the `coins` public getter method
    @param i Index value for the coin to send
    @param j Index valie of the coin to recieve
    @param dx Amount of `i` being exchanged
    @return Amount of `j` predicted
    """
    rates: uint256[N_COINS] = self.rate_multipliers
    xp: uint256[N_COINS] = self._xp_mem(rates, self.balances)

    x: uint256 = xp[i] + (dx * rates[i] / PRECISION)
    y: uint256 = self.get_y(i, j, x, xp)
    dy: uint256 = xp[j] - y - 1
    fee: uint256 = self.fee * dy / FEE_DENOMINATOR
    return (dy - fee) * PRECISION / rates[j]


@payable
@external
@nonreentrant('lock')
def exchange(
    i: int128,
    j: int128,
    _dx: uint256,
    _min_dy: uint256,
    _receiver: address = msg.sender,
) -> uint256:
    """
    @notice Perform an exchange between two coins
    @dev Index values can be found via the `coins` public getter method
    @param i Index value for the coin to send
    @param j Index valie of the coin to recieve
    @param _dx Amount of `i` being exchanged
    @param _min_dy Minimum amount of `j` to receive
    @return Actual amount of `j` received
    """
    rates: uint256[N_COINS] = self.rate_multipliers
    old_balances: uint256[N_COINS] = self.balances
    xp: uint256[N_COINS] = self._xp_mem(rates, old_balances)

    x: uint256 = xp[i] + _dx * rates[i] / PRECISION
    y: uint256 = self.get_y(i, j, x, xp)

    dy: uint256 = xp[j] - y - 1  # -1 just in case there were some rounding errors
    dy_fee: uint256 = dy * self.fee / FEE_DENOMINATOR

    # Convert all to real units
    dy = (dy - dy_fee) * PRECISION / rates[j]
    assert dy >= _min_dy, "Exchange resulted in fewer coins than expected"

    dy_admin_fee: uint256 = dy_fee * ADMIN_FEE / FEE_DENOMINATOR
    dy_admin_fee = dy_admin_fee * PRECISION / rates[j]

    # Change balances exactly in same way as we change actual ERC20 coin amounts
    self.balances[i] = old_balances[i] + _dx
    # When rounding errors happen, we undercharge admin fee in favor of LP
    self.balances[j] = old_balances[j] - dy - dy_admin_fee

    coin: address = self.coins[1]
    if i == 0:
        assert msg.value == _dx
        response: Bytes[32] = raw_call(
            coin,
            concat(
                method_id("transfer(address,uint256)"),
                convert(_receiver, bytes32),
                convert(dy, bytes32),
            ),
            max_outsize=32,
        )
        if len(response) > 0:
            assert convert(response, bool)
    else:
        assert msg.value == 0
        response: Bytes[32] = raw_call(
            coin,
            concat(
                method_id("transferFrom(address,address,uint256)"),
                convert(msg.sender, bytes32),
                convert(self, bytes32),
                convert(_dx, bytes32),
            ),
            max_outsize=32,
        )
        if len(response) > 0:
            assert convert(response, bool)
        raw_call(_receiver, b"", value=dy)

    log TokenExchange(msg.sender, i, _dx, j, dy)

    return dy


@external
@nonreentrant('lock')
def remove_liquidity(
    _burn_amount: uint256,
    _min_amounts: uint256[N_COINS],
    _receiver: address = msg.sender
) -> uint256[N_COINS]:
    """
    @notice Withdraw coins from the pool
    @dev Withdrawal amounts are based on current deposit ratios
    @param _burn_amount Quantity of LP tokens to burn in the withdrawal
    @param _min_amounts Minimum amounts of underlying coins to receive
    @param _receiver Address that receives the withdrawn coins
    @return List of amounts of coins that were withdrawn
    """
    total_supply: uint256 = self.totalSupply
    amounts: uint256[N_COINS] = empty(uint256[N_COINS])

    for i in range(N_COINS):
        old_balance: uint256 = self.balances[i]
        value: uint256 = old_balance * _burn_amount / total_supply
        assert value >= _min_amounts[i], "Withdrawal resulted in fewer coins than expected"
        self.balances[i] = old_balance - value
        amounts[i] = value

        if i == 0:
            raw_call(_receiver, b"", value=value)
        else:
            response: Bytes[32] = raw_call(
                self.coins[1],
                concat(
                    method_id("transfer(address,uint256)"),
                    convert(_receiver, bytes32),
                    convert(value, bytes32),
                ),
                max_outsize=32,
            )
            if len(response) > 0:
                assert convert(response, bool)

    total_supply -= _burn_amount
    self.balanceOf[msg.sender] -= _burn_amount
    self.totalSupply = total_supply
    log Transfer(msg.sender, ZERO_ADDRESS, _burn_amount)

    log RemoveLiquidity(msg.sender, amounts, empty(uint256[N_COINS]), total_supply)

    return amounts


@external
@nonreentrant('lock')
def remove_liquidity_imbalance(
    _amounts: uint256[N_COINS],
    _max_burn_amount: uint256,
    _receiver: address = msg.sender
) -> uint256:
    """
    @notice Withdraw coins from the pool in an imbalanced amount
    @param _amounts List of amounts of underlying coins to withdraw
    @param _max_burn_amount Maximum amount of LP token to burn in the withdrawal
    @param _receiver Address that receives the withdrawn coins
    @return Actual amount of the LP token burned in the withdrawal
    """
    amp: uint256 = self._A()
    rates: uint256[N_COINS] = self.rate_multipliers
    old_balances: uint256[N_COINS] = self.balances
    D0: uint256 = self.get_D_mem(rates, old_balances, amp)

    new_balances: uint256[N_COINS] = old_balances
    for i in range(N_COINS):
        new_balances[i] -= _amounts[i]
    D1: uint256 = self.get_D_mem(rates, new_balances, amp)

    fees: uint256[N_COINS] = empty(uint256[N_COINS])
    base_fee: uint256 = self.fee * N_COINS / (4 * (N_COINS - 1))
    for i in range(N_COINS):
        ideal_balance: uint256 = D1 * old_balances[i] / D0
        difference: uint256 = 0
        new_balance: uint256 = new_balances[i]
        if ideal_balance > new_balance:
            difference = ideal_balance - new_balance
        else:
            difference = new_balance - ideal_balance
        fees[i] = base_fee * difference / FEE_DENOMINATOR
        self.balances[i] = new_balance - (fees[i] * ADMIN_FEE / FEE_DENOMINATOR)
        new_balances[i] -= fees[i]
    D2: uint256 = self.get_D_mem(rates, new_balances, amp)

    total_supply: uint256 = self.totalSupply
    burn_amount: uint256 = ((D0 - D2) * total_supply / D0) + 1
    assert burn_amount > 1  # dev: zero tokens burned
    assert burn_amount <= _max_burn_amount, "Slippage screwed you"

    total_supply -= burn_amount
    self.totalSupply = total_supply
    self.balanceOf[msg.sender] -= burn_amount
    log Transfer(msg.sender, ZERO_ADDRESS, burn_amount)

    if _amounts[0] != 0:
        raw_call(_receiver, b"", value=_amounts[0])
    if _amounts[1] != 0:
        response: Bytes[32] = raw_call(
            self.coins[1],
            concat(
                method_id("transfer(address,uint256)"),
                convert(_receiver, bytes32),
                convert(_amounts[1], bytes32),
            ),
            max_outsize=32,
        )
        if len(response) > 0:
            assert convert(response, bool)

    log RemoveLiquidityImbalance(msg.sender, _amounts, fees, D1, total_supply)

    return burn_amount


@pure
@internal
def get_y_D(A: uint256, i: int128, xp: uint256[N_COINS], D: uint256) -> uint256:
    """
    Calculate x[i] if one reduces D from being calculated for xp to D

    Done by solving quadratic equation iteratively.
    x_1**2 + x_1 * (sum' - (A*n**n - 1) * D / (A * n**n)) = D ** (n + 1) / (n ** (2 * n) * prod' * A)
    x_1**2 + b*x_1 = c

    x_1 = (x_1**2 + c) / (2*x_1 + b)
    """
    # x in the input is converted to the same price/precision

    assert i >= 0  # dev: i below zero
    assert i < N_COINS  # dev: i above N_COINS

    S_: uint256 = 0
    _x: uint256 = 0
    y_prev: uint256 = 0
    c: uint256 = D
    Ann: uint256 = A * N_COINS

    for _i in range(N_COINS):
        if _i != i:
            _x = xp[_i]
        else:
            continue
        S_ += _x
        c = c * D / (_x * N_COINS)

    c = c * D * A_PRECISION / (Ann * N_COINS)
    b: uint256 = S_ + D * A_PRECISION / Ann
    y: uint256 = D

    for _i in range(255):
        y_prev = y
        y = (y*y + c) / (2 * y + b - D)
        # Equality with the precision of 1
        if y > y_prev:
            if y - y_prev <= 1:
                return y
        else:
            if y_prev - y <= 1:
                return y
    raise


@view
@internal
def _calc_withdraw_one_coin(_burn_amount: uint256, i: int128) -> uint256[2]:
    # First, need to calculate
    # * Get current D
    # * Solve Eqn against y_i for D - _token_amount
    amp: uint256 = self._A()
    rates: uint256[N_COINS] = self.rate_multipliers
    xp: uint256[N_COINS] = self._xp_mem(rates, self.balances)
    D0: uint256 = self.get_D(xp, amp)

    total_supply: uint256 = self.totalSupply
    D1: uint256 = D0 - _burn_amount * D0 / total_supply
    new_y: uint256 = self.get_y_D(amp, i, xp, D1)

    base_fee: uint256 = self.fee * N_COINS / (4 * (N_COINS - 1))
    xp_reduced: uint256[N_COINS] = empty(uint256[N_COINS])

    for j in range(N_COINS):
        dx_expected: uint256 = 0
        xp_j: uint256 = xp[j]
        if j == i:
            dx_expected = xp_j * D1 / D0 - new_y
        else:
            dx_expected = xp_j - xp_j * D1 / D0
        xp_reduced[j] = xp_j - base_fee * dx_expected / FEE_DENOMINATOR

    dy: uint256 = xp_reduced[i] - self.get_y_D(amp, i, xp_reduced, D1)
    dy_0: uint256 = (xp[i] - new_y) * PRECISION / rates[i]  # w/o fees
    dy = (dy - 1) * PRECISION / rates[i]  # Withdraw less to account for rounding errors

    return [dy, dy_0 - dy]


@view
@external
def calc_withdraw_one_coin(_burn_amount: uint256, i: int128) -> uint256:
    """
    @notice Calculate the amount received when withdrawing a single coin
    @param _burn_amount Amount of LP tokens to burn in the withdrawal
    @param i Index value of the coin to withdraw
    @return Amount of coin received
    """
    return self._calc_withdraw_one_coin(_burn_amount, i)[0]


@external
@nonreentrant('lock')
def remove_liquidity_one_coin(
    _burn_amount: uint256,
    i: int128,
    _min_received: uint256,
    _receiver: address = msg.sender,
) -> uint256:
    """
    @notice Withdraw a single coin from the pool
    @param _burn_amount Amount of LP tokens to burn in the withdrawal
    @param i Index value of the coin to withdraw
    @param _min_received Minimum amount of coin to receive
    @param _receiver Address that receives the withdrawn coins
    @return Amount of coin received
    """
    dy: uint256[2] = self._calc_withdraw_one_coin(_burn_amount, i)
    assert dy[0] >= _min_received, "Not enough coins removed"

    self.balances[i] -= (dy[0] + dy[1] * ADMIN_FEE / FEE_DENOMINATOR)
    total_supply: uint256 = self.totalSupply - _burn_amount
    self.totalSupply = total_supply
    self.balanceOf[msg.sender] -= _burn_amount
    log Transfer(msg.sender, ZERO_ADDRESS, _burn_amount)

    if i == 0:
        raw_call(_receiver, b"", value=dy[0])
    else:
        response: Bytes[32] = raw_call(
            self.coins[1],
            concat(
                method_id("transfer(address,uint256)"),
                convert(_receiver, bytes32),
                convert(dy[0], bytes32),
            ),
            max_outsize=32,
        )
        if len(response) > 0:
            assert convert(response, bool)

    log RemoveLiquidityOne(msg.sender, _burn_amount, dy[0], total_supply)

    return dy[0]


@external
def ramp_A(_future_A: uint256, _future_time: uint256):
    assert msg.sender == Factory(self.factory).admin()  # dev: only owner
    assert block.timestamp >= self.initial_A_time + MIN_RAMP_TIME
    assert _future_time >= block.timestamp + MIN_RAMP_TIME  # dev: insufficient time

    _initial_A: uint256 = self._A()
    _future_A_p: uint256 = _future_A * A_PRECISION

    assert _future_A > 0 and _future_A < MAX_A
    if _future_A_p < _initial_A:
        assert _future_A_p * MAX_A_CHANGE >= _initial_A
    else:
        assert _future_A_p <= _initial_A * MAX_A_CHANGE

    self.initial_A = _initial_A
    self.future_A = _future_A_p
    self.initial_A_time = block.timestamp
    self.future_A_time = _future_time

    log RampA(_initial_A, _future_A_p, block.timestamp, _future_time)


@external
def stop_ramp_A():
    assert msg.sender == Factory(self.factory).admin()  # dev: only owner

    current_A: uint256 = self._A()
    self.initial_A = current_A
    self.future_A = current_A
    self.initial_A_time = block.timestamp
    self.future_A_time = block.timestamp
    # now (block.timestamp < t1) is always False, so we return saved A

    log StopRampA(current_A, block.timestamp)


@view
@external
def admin_balances(i: uint256) -> uint256:
    if i == 0:
        return self.balance - self.balances[0]
    else:
        return ERC20(self.coins[i]).balanceOf(self) - self.balances[i]


@external
def withdraw_admin_fees():
    receiver: address = Factory(self.factory).get_fee_receiver(self)

    fees: uint256 = self.balance - self.balances[0]
    raw_call(receiver, b"", value=fees)

    coin: address = self.coins[1]
    fees = ERC20(coin).balanceOf(self) - self.balances[1]
    raw_call(
    coin,
    concat(
        method_id("transfer(address,uint256)"),
        convert(receiver, bytes32),
        convert(fees, bytes32)
    )
)

• No Contract Security Audit Submitted- Submit Audit Here

[{"name":"Transfer","inputs":[{"name":"sender","type":"address","indexed":true},{"name":"receiver","type":"address","indexed":true},{"name":"value","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"Approval","inputs":[{"name":"owner","type":"address","indexed":true},{"name":"spender","type":"address","indexed":true},{"name":"value","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"TokenExchange","inputs":[{"name":"buyer","type":"address","indexed":true},{"name":"sold_id","type":"int128","indexed":false},{"name":"tokens_sold","type":"uint256","indexed":false},{"name":"bought_id","type":"int128","indexed":false},{"name":"tokens_bought","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"AddLiquidity","inputs":[{"name":"provider","type":"address","indexed":true},{"name":"token_amounts","type":"uint256[2]","indexed":false},{"name":"fees","type":"uint256[2]","indexed":false},{"name":"invariant","type":"uint256","indexed":false},{"name":"token_supply","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"RemoveLiquidity","inputs":[{"name":"provider","type":"address","indexed":true},{"name":"token_amounts","type":"uint256[2]","indexed":false},{"name":"fees","type":"uint256[2]","indexed":false},{"name":"token_supply","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"RemoveLiquidityOne","inputs":[{"name":"provider","type":"address","indexed":true},{"name":"token_amount","type":"uint256","indexed":false},{"name":"coin_amount","type":"uint256","indexed":false},{"name":"token_supply","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"RemoveLiquidityImbalance","inputs":[{"name":"provider","type":"address","indexed":true},{"name":"token_amounts","type":"uint256[2]","indexed":false},{"name":"fees","type":"uint256[2]","indexed":false},{"name":"invariant","type":"uint256","indexed":false},{"name":"token_supply","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"RampA","inputs":[{"name":"old_A","type":"uint256","indexed":false},{"name":"new_A","type":"uint256","indexed":false},{"name":"initial_time","type":"uint256","indexed":false},{"name":"future_time","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"name":"StopRampA","inputs":[{"name":"A","type":"uint256","indexed":false},{"name":"t","type":"uint256","indexed":false}],"anonymous":false,"type":"event"},{"stateMutability":"nonpayable","type":"constructor","inputs":[],"outputs":[]},{"stateMutability":"nonpayable","type":"function","name":"initialize","inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_coins","type":"address[4]"},{"name":"_rate_multipliers","type":"uint256[4]"},{"name":"_A","type":"uint256"},{"name":"_fee","type":"uint256"}],"outputs":[],"gas":471696},{"stateMutability":"view","type":"function","name":"decimals","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":318},{"stateMutability":"nonpayable","type":"function","name":"transfer","inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"outputs":[{"name":"","type":"bool"}],"gas":77977},{"stateMutability":"nonpayable","type":"function","name":"transferFrom","inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"outputs":[{"name":"","type":"bool"}],"gas":115912},{"stateMutability":"nonpayable","type":"function","name":"approve","inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"outputs":[{"name":"","type":"bool"}],"gas":37851},{"stateMutability":"view","type":"function","name":"get_balances","inputs":[],"outputs":[{"name":"","type":"uint256[2]"}],"gas":4707},{"stateMutability":"view","type":"function","name":"admin_fee","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":468},{"stateMutability":"view","type":"function","name":"A","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":10764},{"stateMutability":"view","type":"function","name":"A_precise","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":10726},{"stateMutability":"view","type":"function","name":"get_virtual_price","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":848656},{"stateMutability":"view","type":"function","name":"calc_token_amount","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_is_deposit","type":"bool"}],"outputs":[{"name":"","type":"uint256"}],"gas":3336308},{"stateMutability":"payable","type":"function","name":"add_liquidity","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_min_mint_amount","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"payable","type":"function","name":"add_liquidity","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_min_mint_amount","type":"uint256"},{"name":"_receiver","type":"address"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"view","type":"function","name":"get_dy","inputs":[{"name":"i","type":"int128"},{"name":"j","type":"int128"},{"name":"dx","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":2117591},{"stateMutability":"payable","type":"function","name":"exchange","inputs":[{"name":"i","type":"int128"},{"name":"j","type":"int128"},{"name":"_dx","type":"uint256"},{"name":"_min_dy","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"payable","type":"function","name":"exchange","inputs":[{"name":"i","type":"int128"},{"name":"j","type":"int128"},{"name":"_dx","type":"uint256"},{"name":"_min_dy","type":"uint256"},{"name":"_receiver","type":"address"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"_min_amounts","type":"uint256[2]"}],"outputs":[{"name":"","type":"uint256[2]"}]},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"_min_amounts","type":"uint256[2]"},{"name":"_receiver","type":"address"}],"outputs":[{"name":"","type":"uint256[2]"}]},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity_imbalance","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_max_burn_amount","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity_imbalance","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_max_burn_amount","type":"uint256"},{"name":"_receiver","type":"address"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"view","type":"function","name":"calc_withdraw_one_coin","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"i","type":"int128"}],"outputs":[{"name":"","type":"uint256"}],"gas":1100},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity_one_coin","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"i","type":"int128"},{"name":"_min_received","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity_one_coin","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"i","type":"int128"},{"name":"_min_received","type":"uint256"},{"name":"_receiver","type":"address"}],"outputs":[{"name":"","type":"uint256"}]},{"stateMutability":"nonpayable","type":"function","name":"ramp_A","inputs":[{"name":"_future_A","type":"uint256"},{"name":"_future_time","type":"uint256"}],"outputs":[],"gas":162101},{"stateMutability":"nonpayable","type":"function","name":"stop_ramp_A","inputs":[],"outputs":[],"gas":157565},{"stateMutability":"view","type":"function","name":"admin_balances","inputs":[{"name":"i","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":7784},{"stateMutability":"nonpayable","type":"function","name":"withdraw_admin_fees","inputs":[],"outputs":[],"gas":59903},{"stateMutability":"view","type":"function","name":"coins","inputs":[{"name":"arg0","type":"uint256"}],"outputs":[{"name":"","type":"address"}],"gas":3093},{"stateMutability":"view","type":"function","name":"balances","inputs":[{"name":"arg0","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":3123},{"stateMutability":"view","type":"function","name":"fee","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3108},{"stateMutability":"view","type":"function","name":"initial_A","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3138},{"stateMutability":"view","type":"function","name":"future_A","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3168},{"stateMutability":"view","type":"function","name":"initial_A_time","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3198},{"stateMutability":"view","type":"function","name":"future_A_time","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3228},{"stateMutability":"view","type":"function","name":"name","inputs":[],"outputs":[{"name":"","type":"string"}],"gas":13488},{"stateMutability":"view","type":"function","name":"symbol","inputs":[],"outputs":[{"name":"","type":"string"}],"gas":11241},{"stateMutability":"view","type":"function","name":"balanceOf","inputs":[{"name":"arg0","type":"address"}],"outputs":[{"name":"","type":"uint256"}],"gas":3533},{"stateMutability":"view","type":"function","name":"allowance","inputs":[{"name":"arg0","type":"address"},{"name":"arg1","type":"address"}],"outputs":[{"name":"","type":"uint256"}],"gas":3778},{"stateMutability":"view","type":"function","name":"totalSupply","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3378}]

617a69600a5561448956600436101561000d5761314c565b600035601c52600051630b4c7e4d81141561002c573361014052610057565b630c3e4b548114156100525760643560a01c61447a576020606461014037600050610057565b6107eb565b60005461447a5760016000556101405161016051600658016131f1565b6101805261016052610140526101805161016052600880546101805260018101546101a05250600f80546101c05260018101546101e052506101405161016051610180516101a0516101c0516101e051610200516101c051610220526101e0516102405261018051610260526101a05161028052610160516102a0526102a05161028051610260516102405161022051600658016136b0565b61030052610200526101e0526101c0526101a0526101805261016052610140526103005161020052601a546102205261018051610240526101a0516102605261028060006002818352015b600461028051600281101561447a5760200201356102a052610220516101855760006102a051111561447a575b61024061028051600281101561447a576020020180516102a051818183011061447a57808201905090508152505b8151600101808352811415610158575b50506101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516101c0516102a0526101e0516102c052610240516102e0526102605161030052610160516103205261032051610300516102e0516102c0516102a051600658016136b0565b6103805261028052610260526102405261022052610200526101e0526101c0526101a05261018052610160526101405261038051610280526102005161028051111561447a576060366102a037600061022051111561055457600a54600280820282158284830414171561447a57809050905090506004808204905090506103005261032060006002818352015b6102805161018061032051600281101561447a57602002015180820282158284830414171561447a57809050905090506102005180801561447a578204905090506103405260006103605261024061032051600281101561447a576020020151610380526103805161034051111561035557610340516103805180821061447a578082039050905061036052610370565b610380516103405180821061447a5780820390509050610360525b610300516103605180820282158284830414171561447a57809050905090506402540be400808204905090506102a061032051600281101561447a576020020152610380516102a061032051600281101561447a57602002015164012a05f20080820282158284830414171561447a57809050905090506402540be4008082049050905080821061447a5780820390509050600161032051600281101561447a57026008015561024061032051600281101561447a576020020180516102a061032051600281101561447a57602002015180821061447a57808203905090508152505b81516001018083528114156102c4575b5050610140610340525b6103405151602061034051016103405261034061034051101561048f5761046d565b6101c051610360526101e05161038052610240516103a052610260516103c052610160516103e0526103e0516103c0516103a0516103805161036051600658016136b0565b61044052610320610340525b610340515260206103405103610340526101406103405110610501576104e0565b610440516103205261022051610320516102005180821061447a578082039050905080820282158284830414171561447a57809050905090506102005180801561447a578204905090506102e05261056f565b600861024051815561026051600182015550610280516102e0525b6044356102e05110156105c1576308c379a0610300526020610320526014610340527f536c697070616765207363726577656420796f750000000000000000000000006103605261034050606461031cfd5b60043534141561447a57600060243511156107075760006004610360527f23b872dd00000000000000000000000000000000000000000000000000000000610380526103606004806020846103c001018260208501600060045af1505080518201915050336020826103c0010152602081019050306020826103c00101526020810190506024356020826103c0010152602081019050806103c0526103c090508051602001806104808284600060045af11561447a5750506020610560610480516104a060006007545af11561447a5760203d808211156106a257806106a4565b815b90509050610540526105408051602001806103008284600060045af11561447a575050600061030051111561070657610300806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b61022080516102e051818183011061447a578082019050905081525060186101405160e05260c052604060c02080546102e051818183011061447a578082019050905081555061022051601a556102e051610300526101405160007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6020610300a360406004610300376102a051610340526102c051610360526102805161038052610220516103a052337f26f55a85081d24974e85c6c00045d0f0453991e95873f52bff0d21af4079a76860c0610300a26102e051600052600060005560206000f35b633df0212481141561080157336101405261082c565b63ddc1f59d8114156108275760843560a01c61447a57602060846101403760005061082c565b610f59565b60015461447a5760016001556004358080600081121561084857195b607f1c61447a579050506024358080600081121561086257195b607f1c61447a57905050600f80546101605260018101546101805250600880546101a05260018101546101c052506101405161016051610180516101a0516101c0516101e05161020051610160516102205261018051610240526101a051610260526101c051610280526102805161026051610240516102205160065801613349565b6102e05261030052610200526101e0526101c0526101a0526101805261016052610140526102e080516101e052806020015161020052506101e0600435600281101561447a576020020151604435610160600435600281101561447a57602002015180820282158284830414171561447a5780905090509050670de0b6b3a764000080820490509050818183011061447a5780820190509050610220526101405161016051610180516101a0516101c0516101e0516102005161022051610240516040600461026037610220516102a0526101e0516102c052610200516102e0526102e0516102c0516102a0516102805161026051600658016137dd565b610340526102405261022052610200526101e0526101c0526101a05261018052610160526101405261034051610240526101e0602435600281101561447a5760200201516102405180821061447a5780820390509050600180821061447a57808203905090506102605261026051600a5480820282158284830414171561447a57809050905090506402540be4008082049050905061028052610260516102805180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a5780905090509050610160602435600281101561447a57602002015180801561447a5782049050905061026052606435610260511015610b4e576308c379a06102a05260206102c052602e6102e0527f45786368616e676520726573756c74656420696e20666577657220636f696e73610300527f207468616e206578706563746564000000000000000000000000000000000000610320526102e05060846102bcfd5b6102805164012a05f20080820282158284830414171561447a57809050905090506402540be400808204905090506102a0526102a051670de0b6b3a764000080820282158284830414171561447a5780905090509050610160602435600281101561447a57602002015180801561447a578204905090506102a0526101a0600435600281101561447a576020020151604435818183011061447a57808201905090506001600435600281101561447a5702600801556101a0602435600281101561447a5760200201516102605180821061447a57808203905090506102a05180821061447a57808203905090506001602435600281101561447a5702600801556007546102c052600435610d905760443534141561447a5760006004610340527fa9059cbb00000000000000000000000000000000000000000000000000000000610360526103406004806020846103a001018260208501600060045af1505080518201915050610140516020826103a0010152602081019050610260516020826103a0010152602081019050806103a0526103a090508051602001806104408284600060045af11561447a57505060206105006104405161046060006102c0515af11561447a5760203d80821115610d275780610d29565b815b905090506104e0526104e08051602001806102e08284600060045af11561447a57505060006102e0511115610d8b576102e0806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b610f02565b3461447a5760006004610340527f23b872dd00000000000000000000000000000000000000000000000000000000610360526103406004806020846103a001018260208501600060045af1505080518201915050336020826103a0010152602081019050306020826103a00101526020810190506044356020826103a0010152602081019050806103a0526103a090508051602001806104608284600060045af11561447a57505060206105406104605161048060006102c0515af11561447a5760203d80821115610e625780610e64565b815b90509050610520526105208051602001806102e08284600060045af11561447a57505060006102e0511115610ec6576102e0806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b6000610340526103408051602001806103808284600060045af11561447a57505060006000610380516103a061026051610140515af11561447a575b6004356102e05260443561030052602435610320526102605161034052337f8b3e96f2b889fa771c53c981b40daf005f63f637f1869f707052d15a3dd9714060806102e0a261026051600052600060015560206000f35b3461447a5763a461b3c8811415611281576040600435600401610140376020600435600401351161447a57602a6024356004016101a037600a602435600401351161447a5760443560a01c61447a5760643560a01c61447a5760843560a01c61447a5760a43560a01c61447a57600a5461447a5773eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee604435141561447a57670de0b6b3a764000060c435141561447a5761020060006002818352015b604461020051600481101561447a576020020135610220526102205161102e5761107f565b61022051600161020051600281101561447a57026006015560c461020051600481101561447a576020020135600161020051600281101561447a5702600f01555b8151600101808352811415611009575b505061014435606480820282158284830414171561447a57809050905090506102005261020051600b5561020051600c5561016435600a553360055560006017610220527f43757276652e666920466163746f727920506f6f6c3a200000000000000000006102405261022060178060208461028001018260208501600060045af150508051820191505061014060208060208461028001018260208501600060045af150508051820191505080610280526102809050806011602082510161012060006003818352015b8261012051602002111561115d5761117f565b61012051602002850151610120518501555b815160010180835281141561114a575b50505050505060006101a0600a8060208461028001018260208501600060045af15050805182019150506002610220527f2d660000000000000000000000000000000000000000000000000000000000006102405261022060028060208461028001018260208501600060045af150508051820191505080610280526102809050806015602082510161012060006002818352015b8261012051602002111561122757611249565b61012051602002850151610120518501555b8151600101808352811415611214575b5050505050506000610220523060007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6020610220a3005b63313ce56781141561129857601260005260206000f35b63a9059cbb8114156112e45760043560a01c61447a573361014052600435610160526024356101805261018051610160516101405160065801613152565b600050600160005260206000f35b6323b872dd8114156113bb5760043560a01c61447a5760243560a01c61447a5760043561014052602435610160526044356101805261018051610160516101405160065801613152565b600050601960043560e05260c052604060c0203360e05260c052604060c02054610140527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101405118156113b0576101405160443580821061447a5780820390509050601960043560e05260c052604060c0203360e05260c052604060c020555b600160005260206000f35b63095ea7b381141561142e5760043560a01c61447a5760243560193360e05260c052604060c02060043560e05260c052604060c0205560243561014052600435337f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9256020610140a3600160005260206000f35b6314f05979811415611453576008805461016052600181015461018052506040610160f35b63fee3f7f981141561146e5764012a05f20060005260206000f35b63f446c1d081141561149d57600658016131f1565b610140526101405160648082049050905060005260206000f35b6376a2f0f08114156114c357600658016131f1565b610140526101405160005260206000f35b63bb7b8b808114156115f25761014051600658016131f1565b61016052610140526101605161014052610140516101605161018051600f80546101a05260018101546101c05250600880546101e05260018101546102005250610200516101e0516101c0516101a05160065801613349565b6102605261028052610180526101605261014052610260805161016052806020015161018052506101405161016051610180516101a051610160516101c052610180516101e0526101405161020052610200516101e0516101c05160065801613422565b610260526101a052610180526101605261014052610260516101a0526101a051670de0b6b3a764000080820282158284830414171561447a5780905090509050601a5480801561447a5782049050905060005260206000f35b63ed8e84f38114156118425760443560011c61447a5761014051600658016131f1565b610160526101405261016051610140526008805461016052600181015461018052506101405161016051610180516101a051600f80546101c05260018101546101e052506101605161020052610180516102205261014051610240526102405161022051610200516101e0516101c051600658016136b0565b6102a0526101a0526101805261016052610140526102a0516101a0526101c060006002818352015b60046101c051600281101561447a5760200201356101e05260443515611708576101606101c051600281101561447a576020020180516101e051818183011061447a5780820190509050815250611734565b6101606101c051600281101561447a576020020180516101e05180821061447a57808203905090508152505b5b81516001018083528114156116b6575b50506101405161016051610180516101a0516101c051600f80546101e05260018101546102005250610160516102205261018051610240526101405161026052610260516102405161022051610200516101e051600658016136b0565b6102c0526101c0526101a0526101805261016052610140526102c0516101c05260006101e052604435156117ef576101c0516101a05180821061447a57808203905090506101e05261180a565b6101a0516101c05180821061447a57808203905090506101e0525b6101e051601a5480820282158284830414171561447a57809050905090506101a05180801561447a5782049050905060005260206000f35b635e0d443f811415611ab2576004358080600081121561185e57195b607f1c61447a579050506024358080600081121561187857195b607f1c61447a57905050600f805461014052600181015461016052506101405161016051610180516101a051610140516101c052610160516101e05260088054610200526001810154610220525061022051610200516101e0516101c05160065801613349565b610280526102a0526101a05261018052610160526101405261028080516101805280602001516101a05250610180600435600281101561447a576020020151604435610140600435600281101561447a57602002015180820282158284830414171561447a5780905090509050670de0b6b3a764000080820490509050818183011061447a57808201905090506101c0526101405161016051610180516101a0516101c0516101e05160406004610200376101c0516102405261018051610260526101a051610280526102805161026051610240516102205161020051600658016137dd565b6102e0526101e0526101c0526101a0526101805261016052610140526102e0516101e052610180602435600281101561447a5760200201516101e05180821061447a5780820390509050600180821061447a578082039050905061020052600a546102005180820282158284830414171561447a57809050905090506402540be4008082049050905061022052610200516102205180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a5780905090509050610140602435600281101561447a57602002015180801561447a5782049050905060005260206000f35b635b36389c811415611ac8573361014052611af3565b633eb1719f811415611aee5760643560a01c61447a576020606461014037600050611af3565b611e77565b60025461447a576001600255601a5461016052604036610180376101c060006002818352015b60016101c051600281101561447a5702600801546101e0526101e05160043580820282158284830414171561447a57809050905090506101605180801561447a578204905090506102005260246101c051600281101561447a576020020135610200511015611bec576308c379a0610220526020610240526030610260527f5769746864726177616c20726573756c74656420696e20666577657220636f69610280527f6e73207468616e206578706563746564000000000000000000000000000000006102a05261026050608461023cfd5b6101e0516102005180821061447a578082039050905060016101c051600281101561447a570260080155610200516101806101c051600281101561447a5760200201526101c051611c77576000610220526102208051602001806102608284600060045af11561447a575050600060006102605161028061020051610140515af11561447a57611d9c565b60006004610280527fa9059cbb000000000000000000000000000000000000000000000000000000006102a0526102806004806020846102e001018260208501600060045af1505080518201915050610140516020826102e0010152602081019050610200516020826102e0010152602081019050806102e0526102e090508051602001806103808284600060045af11561447a5750506020610440610380516103a060006007545af11561447a5760203d80821115611d375780611d39565b815b90509050610420526104208051602001806102208284600060045af11561447a5750506000610220511115611d9b57610220806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b5b8151600101808352811415611b19575b5050610160805160043580821061447a578082039050905081525060183360e05260c052604060c020805460043580821061447a578082039050905081555061016051601a556004356101c0526000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60206101c0a3610180516101c0526101a0516101e052604036610200376101605161024052337f7c363854ccf79623411f8995b362bce5eddff18c927edc6f5dbbb5e05819a82c60a06101c0a260006002556040610180f35b63e3103273811415611e8d573361014052611eb8565b6352d2cfdd811415611eb35760643560a01c61447a576020606461014037600050611eb8565b61264b565b60035461447a5760016003556101405161016051600658016131f1565b6101805261016052610140526101805161016052600f80546101805260018101546101a05250600880546101c05260018101546101e052506101405161016051610180516101a0516101c0516101e0516102005161018051610220526101a051610240526101c051610260526101e05161028052610160516102a0526102a05161028051610260516102405161022051600658016136b0565b61030052610200526101e0526101c0526101a05261018052610160526101405261030051610200526101c051610220526101e0516102405261026060006002818352015b61022061026051600281101561447a57602002018051600461026051600281101561447a57602002013580821061447a57808203905090508152505b8151600101808352811415611fb2575b50506101405161016051610180516101a0516101c0516101e0516102005161022051610240516102605161018051610280526101a0516102a052610220516102c052610240516102e0526101605161030052610300516102e0516102c0516102a05161028051600658016136b0565b61036052610260526102405261022052610200526101e0526101c0526101a052610180526101605261014052610360516102605260403661028037600a54600280820282158284830414171561447a57809050905090506004808204905090506102c0526102e060006002818352015b610260516101c06102e051600281101561447a57602002015180820282158284830414171561447a57809050905090506102005180801561447a57820490509050610300526000610320526102206102e051600281101561447a576020020151610340526103405161030051111561216e57610300516103405180821061447a578082039050905061032052612189565b610340516103005180821061447a5780820390509050610320525b6102c0516103205180820282158284830414171561447a57809050905090506402540be400808204905090506102806102e051600281101561447a576020020152610340516102806102e051600281101561447a57602002015164012a05f20080820282158284830414171561447a57809050905090506402540be4008082049050905080821061447a578082039050905060016102e051600281101561447a5702600801556102206102e051600281101561447a576020020180516102806102e051600281101561447a57602002015180821061447a57808203905090508152505b81516001018083528114156120dd575b50506101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516102a0516102c0516102e05161018051610300526101a051610320526102205161034052610240516103605261016051610380526103805161036051610340516103205161030051600658016136b0565b6103e0526102e0526102c0526102a05261028052610260526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103e0516102e052601a5461030052610200516102e05180821061447a57808203905090506103005180820282158284830414171561447a57809050905090506102005180801561447a578204905090506001818183011061447a578082019050905061032052600161032051111561447a576044356103205111156123fc576308c379a0610340526020610360526014610380527f536c697070616765207363726577656420796f750000000000000000000000006103a05261038050606461035cfd5b61030080516103205180821061447a578082039050905081525061030051601a5560183360e05260c052604060c02080546103205180821061447a578082039050905081555061032051610340526000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6020610340a3600060043518156124ba576000610340526103408051602001806103808284600060045af11561447a57505060006000610380516103a0600435610140515af11561447a575b600060243518156125e957600060046103a0527fa9059cbb000000000000000000000000000000000000000000000000000000006103c0526103a060048060208461040001018260208501600060045af150508051820191505061014051602082610400010152602081019050602435602082610400010152602081019050806104005261040090508051602001806104a08284600060045af11561447a57505060206105606104a0516104c060006007545af11561447a5760203d808211156125845780612586565b815b90509050610540526105408051602001806103408284600060045af11561447a57505060006103405111156125e857610340806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b604060046103403761028051610380526102a0516103a052610260516103c052610300516103e052337f2b5508378d7e19e0d5fa338419034731416c4f5b219a10379956f764317fd47e60c0610340a261032051600052600060035560206000f35b63cc2b27d78114156126a5576024358080600081121561266757195b607f1c61447a579050506004356101405260243561016052610160516101405160065801613ec8565b6101c0526101e0526101c05160005260206000f35b631a4d01d28114156126bb5733610140526126e6565b63081579a58114156126e15760643560a01c61447a5760206064610140376000506126e6565b612a48565b60045461447a5760016004556024358080600081121561270257195b607f1c61447a579050506101405161016051610180516004356101a0526024356101c0526101c0516101a05160065801613ec8565b6102205261024052610180526101605261014052610220805161016052806020015161018052506044356101605110156127b0576308c379a06101a05260206101c05260186101e0527f4e6f7420656e6f75676820636f696e732072656d6f7665640000000000000000610200526101e05060646101bcfd5b6001602435600281101561447a57026008018054610160516101805164012a05f20080820282158284830414171561447a57809050905090506402540be40080820490509050818183011061447a578082019050905080821061447a5780820390509050815550601a5460043580821061447a57808203905090506101a0526101a051601a5560183360e05260c052604060c020805460043580821061447a57808203905090508155506004356101c0526000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60206101c0a36024356128d25760006101c0526101c08051602001806102008284600060045af11561447a575050600060006102005161022061016051610140515af11561447a576129f7565b60006004610220527fa9059cbb000000000000000000000000000000000000000000000000000000006102405261022060048060208461028001018260208501600060045af15050805182019150506101405160208261028001015260208101905061016051602082610280010152602081019050806102805261028090508051602001806103208284600060045af11561447a57505060206103e06103205161034060006007545af11561447a5760203d808211156129925780612994565b815b905090506103c0526103c08051602001806101c08284600060045af11561447a57505060006101c05111156129f6576101c0806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b6004356101c052610160516101e0526101a05161020052337f5ad056f2e28a8cec232015406b843668c1e36cda598127ec3b8c59b8c72773a060606101c0a261016051600052600060045560206000f35b633c157e64811415612bdc5760206101a0600463f851a4406101405261015c6005545afa1561447a57601f3d111561447a576000506101a05133141561447a57600d5462015180818183011061447a5780820190509050421061447a574262015180818183011061447a57808201905090506024351061447a5761014051600658016131f1565b61016052610140526101605161014052600435606480820282158284830414171561447a57809050905090506101605260006004351115612b1757620f424060043510612b1a565b60005b1561447a5761014051610160511015612b58576101405161016051600a80820282158284830414171561447a57809050905090501061447a57612b7f565b61014051600a80820282158284830414171561447a5780905090509050610160511161447a575b61014051600b5561016051600c5542600d55602435600e556101405161018052610160516101a052426101c0526024356101e0527fa2b71ec6df949300b59aab36b55e189697b750119dd349fcfa8c0f779e83c2546080610180a1005b63551a6588811415612c855760206101a0600463f851a4406101405261015c6005545afa1561447a57601f3d111561447a576000506101a05133141561447a5761014051600658016131f1565b6101605261014052610160516101405261014051600b5561014051600c5542600d5542600e55610140516101605242610180527f46e22fb3709ad289f62ce63d469248536dbc78d82b84a3d7e74ad606dc2019386040610160a1005b63e2e7d264811415612d2557600435612cb7574760085480821061447a578082039050905060005260206000f3612d23565b60206101c060246370a0823161014052306101605261015c6001600435600281101561447a5702600601545afa1561447a57601f3d111561447a576000506101c0516001600435600281101561447a57026008015480821061447a578082039050905060005260206000f35b005b6330c54085811415612eb85760206101e0602463154aa8f561016052306101805261017c6005545afa1561447a57601f3d111561447a576000506101e051610140524760085480821061447a5780820390509050610160526000610180526101808051602001806101c08284600060045af11561447a575050600060006101c0516101e061016051610140515af11561447a5760075461018052602061022060246370a082316101a052306101c0526101bc610180515afa1561447a57601f3d111561447a576000506102205160095480821061447a578082039050905061016052600060046101a0527fa9059cbb000000000000000000000000000000000000000000000000000000006101c0526101a060048060208461020001018260208501600060045af15050805182019150506101405160208261020001015260208101905061016051602082610200010152602081019050806102005261020090508051602001806102a08284600060045af11561447a575050600060006102a0516102c06000610180515af11561447a57005b63c6610657811415612ee0576001600435600281101561447a57026006015460005260206000f35b634903b0d1811415612f08576001600435600281101561447a57026008015460005260206000f35b63ddca3f43811415612f2057600a5460005260206000f35b635409491a811415612f3857600b5460005260206000f35b63b4b577ad811415612f5057600c5460005260206000f35b632081066c811415612f6857600d5460005260206000f35b6314052288811415612f8057600e5460005260206000f35b6306fdde0381141561301d57601180610180602082540161012060006003818352015b82610120516020021115612fb657612fd8565b61012051850154610120516020028501525b8151600101808352811415612fa3575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f35b6395d89b418114156130ba57601580610180602082540161012060006002818352015b8261012051602002111561305357613075565b61012051850154610120516020028501525b8151600101808352811415613040575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f35b6370a082318114156130ea5760043560a01c61447a57601860043560e05260c052604060c0205460005260206000f35b63dd62ed3e8114156131325760043560a01c61447a5760243560a01c61447a57601960043560e05260c052604060c02060243560e05260c052604060c0205460005260206000f35b6318160ddd81141561314a57601a5460005260206000f35b505b60006000fd5b6101a05261014052610160526101805260186101405160e05260c052604060c02080546101805180821061447a578082039050905081555060186101605160e05260c052604060c020805461018051818183011061447a5780820190509050815550610180516101c05261016051610140517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60206101c0a36101a051565b61014052600e5461016052600c54610180526101605142101561333757600b546101a052600d546101c0526101a0516101805111156132b1576101a051610180516101a05180821061447a5780820390509050426101c05180821061447a578082039050905080820282158284830414171561447a5780905090509050610160516101c05180821061447a578082039050905080801561447a57820490509050818183011061447a57808201905090506000526000516101405156613332565b6101a0516101a0516101805180821061447a5780820390509050426101c05180821061447a578082039050905080820282158284830414171561447a5780905090509050610160516101c05180821061447a578082039050905080801561447a5782049050905080821061447a578082039050905060005260005161014051565b613347565b6101805160005260005161014051565b005b6101c0526101405261016052610180526101a0526040366101e03761022060006002818352015b61014061022051600281101561447a57602002015161018061022051600281101561447a57602002015180820282158284830414171561447a5780905090509050670de0b6b3a7640000808204905090506101e061022051600281101561447a5760200201525b8151600101808352811415613370575b50506040610220525b600061022051116134005761341c565b602061022051036101e0015160206102205103610220526133f0565b6101c051565b6101a05261014052610160526101805260006101c05261020060006002818352015b6020610200510261014001516101e0526101c080516101e051818183011061447a57808201905090508152505b8151600101808352811415613444575b50506101c0516134995760006000526000516101a051565b6101c0516101e05261018051600280820282158284830414171561447a578090509050905061020052610220600060ff818352015b6101e0516101e05180820282158284830414171561447a57809050905090506101405180801561447a578204905090506101e05180820282158284830414171561447a57809050905090506101605180801561447a57820490509050600480820490509050610240526101e05161026052610200516101c05180820282158284830414171561447a578090509050905060648082049050905061024051600280820282158284830414171561447a5780905090509050818183011061447a57808201905090506101e05180820282158284830414171561447a578090509050905061020051606480821061447a57808203905090506101e05180820282158284830414171561447a578090509050905060648082049050905060036102405180820282158284830414171561447a5780905090509050818183011061447a578082019050905080801561447a578204905090506101e052610260516101e05111156136675760016101e0516102605180821061447a578082039050905011613662576101e05160005250506000516101a051565b613697565b6001610260516101e05180821061447a578082039050905011613696576101e05160005250506000516101a051565b5b5b81516001018083528114156134ce575b505060006000fd5b6101e0526101405261016052610180526101a0526101c0526101405161016051610180516101a0516101c0516101e05161020051610220516101405161024052610160516102605261018051610280526101a0516102a0526102a05161028051610260516102405160065801613349565b610300526103205261022052610200526101e0526101c0526101a052610180526101605261014052610300805161020052806020015161022052506101405161016051610180516101a0516101c0516101e0516102005161022051610200516102405261022051610260526101c0516102805261028051610260516102405160065801613422565b6102e05261022052610200526101e0526101c0526101a0526101805261016052610140526102e0516000526000516101e051565b6101e0526101405261016052610180526101a0526101c0526101605161014051181561447a576000610160511261447a57600261016051121561447a576000610140511261447a57600261014051121561447a576101405161016051610180516101a0516101c0516101e05161020051600658016131f1565b61022052610200526101e0526101c0526101a05261018052610160526101405261022051610200526101405161016051610180516101a0516101c0516101e05161020051610220516101a051610240526101c05161026052610200516102805261028051610260516102405160065801613422565b6102e05261022052610200526101e0526101c0526101a0526101805261016052610140526102e0516102205260603661024037610220516102a05261020051600280820282158284830414171561447a57809050905090506102c0526102e060006002818352015b610140516102e051141561394e576101805161026052613980565b610160516102e051181561397a576101a06102e051600281101561447a5760200201516102605261397f565b6139ea565b5b610240805161026051818183011061447a57808201905090508152506102a0516102205180820282158284830414171561447a578090509050905061026051600280820282158284830414171561447a578090509050905080801561447a578204905090506102a0525b8151600101808352811415613933575b50506102a0516102205180820282158284830414171561447a5780905090509050606480820282158284830414171561447a57809050905090506102c051600280820282158284830414171561447a578090509050905080801561447a578204905090506102a0526102405161022051606480820282158284830414171561447a57809050905090506102c05180801561447a57820490509050818183011061447a57808201905090506102e0526102205161030052610320600060ff818352015b6103005161028052610300516103005180820282158284830414171561447a57809050905090506102a051818183011061447a578082019050905060026103005180820282158284830414171561447a57809050905090506102e051818183011061447a57808201905090506102205180821061447a578082039050905080801561447a578204905090506103005261028051610300511115613b8d576001610300516102805180821061447a578082039050905011613b88576103005160005250506000516101e051565b613bbd565b6001610280516103005180821061447a578082039050905011613bbc576103005160005250506000516101e051565b5b5b8151600101808352811415613abc575b505060006000fd5b6101e0526101405261016052610180526101a0526101c0526000610160511261447a57600261016051121561447a57606036610200376101c0516102605261014051600280820282158284830414171561447a5780905090509050610280526102a060006002818352015b610160516102a0511815613c6d576101806102a051600281101561447a57602002015161022052613c72565b613cdc565b610200805161022051818183011061447a5780820190509050815250610260516101c05180820282158284830414171561447a578090509050905061022051600280820282158284830414171561447a578090509050905080801561447a57820490509050610260525b8151600101808352811415613c41575b5050610260516101c05180820282158284830414171561447a5780905090509050606480820282158284830414171561447a578090509050905061028051600280820282158284830414171561447a578090509050905080801561447a5782049050905061026052610200516101c051606480820282158284830414171561447a57809050905090506102805180801561447a57820490509050818183011061447a57808201905090506102a0526101c0516102c0526102e0600060ff818352015b6102c051610240526102c0516102c05180820282158284830414171561447a578090509050905061026051818183011061447a578082019050905060026102c05180820282158284830414171561447a57809050905090506102a051818183011061447a57808201905090506101c05180821061447a578082039050905080801561447a578204905090506102c052610240516102c0511115613e7f5760016102c0516102405180821061447a578082039050905011613e7a576102c05160005250506000516101e051565b613eaf565b6001610240516102c05180821061447a578082039050905011613eae576102c05160005250506000516101e051565b5b5b8151600101808352811415613dae575b505060006000fd5b6101805261014052610160526101405161016051610180516101a051600658016131f1565b6101c0526101a0526101805261016052610140526101c0516101a052600f80546101c05260018101546101e052506101405161016051610180516101a0516101c0516101e05161020051610220516101c051610240526101e05161026052600880546102805260018101546102a052506102a05161028051610260516102405160065801613349565b610300526103205261022052610200526101e0526101c0526101a052610180526101605261014052610300805161020052806020015161022052506101405161016051610180516101a0516101c0516101e051610200516102205161024051610200516102605261022051610280526101a0516102a0526102a051610280516102605160065801613422565b610300526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103005161024052601a546102605261024051610140516102405180820282158284830414171561447a57809050905090506102605180801561447a5782049050905080821061447a5780820390509050610280526101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516102a0516101a0516102c052610160516102e0526102005161030052610220516103205261028051610340526103405161032051610300516102e0516102c05160065801613bd6565b6103a0526102a05261028052610260526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103a0516102a052600a54600280820282158284830414171561447a57809050905090506004808204905090506102c0526040366102e03761032060006002818352015b60006103405261020061032051600281101561447a57602002015161036052610160516103205114156141e457610360516102805180820282158284830414171561447a57809050905090506102405180801561447a578204905090506102a05180821061447a57808203905090506103405261422b565b61036051610360516102805180820282158284830414171561447a57809050905090506102405180801561447a5782049050905080821061447a5780820390509050610340525b610360516102c0516103405180820282158284830414171561447a57809050905090506402540be4008082049050905080821061447a57808203905090506102e061032051600281101561447a5760200201525b815160010180835281141561416c575b50506102e061016051600281101561447a576020020151610140610340525b610340515160206103405101610340526103406103405110156142d0576142ae565b6101a0516103605261016051610380526102e0516103a052610300516103c052610280516103e0526103e0516103c0516103a051610380516103605160065801613bd6565b61044052610320610340525b61034051526020610340510361034052610140610340511061434257614321565b6104405180821061447a57808203905090506103205261020061016051600281101561447a5760200201516102a05180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a57809050905090506101c061016051600281101561447a57602002015180801561447a578204905090506103405261032051600180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a57809050905090506101c061016051600281101561447a57602002015180801561447a57820490509050610320526103205161038052610340516103205180821061447a57808203905090506103a0526040610360525b6000610360511161445857614474565b6020610360510361038001516020610360510361036052614448565b61018051565b600080fd5b61000a6144890361000a60003961000a614489036000f3

0x600436101561000d5761314c565b600035601c52600051630b4c7e4d81141561002c573361014052610057565b630c3e4b548114156100525760643560a01c61447a576020606461014037600050610057565b6107eb565b60005461447a5760016000556101405161016051600658016131f1565b6101805261016052610140526101805161016052600880546101805260018101546101a05250600f80546101c05260018101546101e052506101405161016051610180516101a0516101c0516101e051610200516101c051610220526101e0516102405261018051610260526101a05161028052610160516102a0526102a05161028051610260516102405161022051600658016136b0565b61030052610200526101e0526101c0526101a0526101805261016052610140526103005161020052601a546102205261018051610240526101a0516102605261028060006002818352015b600461028051600281101561447a5760200201356102a052610220516101855760006102a051111561447a575b61024061028051600281101561447a576020020180516102a051818183011061447a57808201905090508152505b8151600101808352811415610158575b50506101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516101c0516102a0526101e0516102c052610240516102e0526102605161030052610160516103205261032051610300516102e0516102c0516102a051600658016136b0565b6103805261028052610260526102405261022052610200526101e0526101c0526101a05261018052610160526101405261038051610280526102005161028051111561447a576060366102a037600061022051111561055457600a54600280820282158284830414171561447a57809050905090506004808204905090506103005261032060006002818352015b6102805161018061032051600281101561447a57602002015180820282158284830414171561447a57809050905090506102005180801561447a578204905090506103405260006103605261024061032051600281101561447a576020020151610380526103805161034051111561035557610340516103805180821061447a578082039050905061036052610370565b610380516103405180821061447a5780820390509050610360525b610300516103605180820282158284830414171561447a57809050905090506402540be400808204905090506102a061032051600281101561447a576020020152610380516102a061032051600281101561447a57602002015164012a05f20080820282158284830414171561447a57809050905090506402540be4008082049050905080821061447a5780820390509050600161032051600281101561447a57026008015561024061032051600281101561447a576020020180516102a061032051600281101561447a57602002015180821061447a57808203905090508152505b81516001018083528114156102c4575b5050610140610340525b6103405151602061034051016103405261034061034051101561048f5761046d565b6101c051610360526101e05161038052610240516103a052610260516103c052610160516103e0526103e0516103c0516103a0516103805161036051600658016136b0565b61044052610320610340525b610340515260206103405103610340526101406103405110610501576104e0565b610440516103205261022051610320516102005180821061447a578082039050905080820282158284830414171561447a57809050905090506102005180801561447a578204905090506102e05261056f565b600861024051815561026051600182015550610280516102e0525b6044356102e05110156105c1576308c379a0610300526020610320526014610340527f536c697070616765207363726577656420796f750000000000000000000000006103605261034050606461031cfd5b60043534141561447a57600060243511156107075760006004610360527f23b872dd00000000000000000000000000000000000000000000000000000000610380526103606004806020846103c001018260208501600060045af1505080518201915050336020826103c0010152602081019050306020826103c00101526020810190506024356020826103c0010152602081019050806103c0526103c090508051602001806104808284600060045af11561447a5750506020610560610480516104a060006007545af11561447a5760203d808211156106a257806106a4565b815b90509050610540526105408051602001806103008284600060045af11561447a575050600061030051111561070657610300806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b61022080516102e051818183011061447a578082019050905081525060186101405160e05260c052604060c02080546102e051818183011061447a578082019050905081555061022051601a556102e051610300526101405160007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6020610300a360406004610300376102a051610340526102c051610360526102805161038052610220516103a052337f26f55a85081d24974e85c6c00045d0f0453991e95873f52bff0d21af4079a76860c0610300a26102e051600052600060005560206000f35b633df0212481141561080157336101405261082c565b63ddc1f59d8114156108275760843560a01c61447a57602060846101403760005061082c565b610f59565b60015461447a5760016001556004358080600081121561084857195b607f1c61447a579050506024358080600081121561086257195b607f1c61447a57905050600f80546101605260018101546101805250600880546101a05260018101546101c052506101405161016051610180516101a0516101c0516101e05161020051610160516102205261018051610240526101a051610260526101c051610280526102805161026051610240516102205160065801613349565b6102e05261030052610200526101e0526101c0526101a0526101805261016052610140526102e080516101e052806020015161020052506101e0600435600281101561447a576020020151604435610160600435600281101561447a57602002015180820282158284830414171561447a5780905090509050670de0b6b3a764000080820490509050818183011061447a5780820190509050610220526101405161016051610180516101a0516101c0516101e0516102005161022051610240516040600461026037610220516102a0526101e0516102c052610200516102e0526102e0516102c0516102a0516102805161026051600658016137dd565b610340526102405261022052610200526101e0526101c0526101a05261018052610160526101405261034051610240526101e0602435600281101561447a5760200201516102405180821061447a5780820390509050600180821061447a57808203905090506102605261026051600a5480820282158284830414171561447a57809050905090506402540be4008082049050905061028052610260516102805180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a5780905090509050610160602435600281101561447a57602002015180801561447a5782049050905061026052606435610260511015610b4e576308c379a06102a05260206102c052602e6102e0527f45786368616e676520726573756c74656420696e20666577657220636f696e73610300527f207468616e206578706563746564000000000000000000000000000000000000610320526102e05060846102bcfd5b6102805164012a05f20080820282158284830414171561447a57809050905090506402540be400808204905090506102a0526102a051670de0b6b3a764000080820282158284830414171561447a5780905090509050610160602435600281101561447a57602002015180801561447a578204905090506102a0526101a0600435600281101561447a576020020151604435818183011061447a57808201905090506001600435600281101561447a5702600801556101a0602435600281101561447a5760200201516102605180821061447a57808203905090506102a05180821061447a57808203905090506001602435600281101561447a5702600801556007546102c052600435610d905760443534141561447a5760006004610340527fa9059cbb00000000000000000000000000000000000000000000000000000000610360526103406004806020846103a001018260208501600060045af1505080518201915050610140516020826103a0010152602081019050610260516020826103a0010152602081019050806103a0526103a090508051602001806104408284600060045af11561447a57505060206105006104405161046060006102c0515af11561447a5760203d80821115610d275780610d29565b815b905090506104e0526104e08051602001806102e08284600060045af11561447a57505060006102e0511115610d8b576102e0806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b610f02565b3461447a5760006004610340527f23b872dd00000000000000000000000000000000000000000000000000000000610360526103406004806020846103a001018260208501600060045af1505080518201915050336020826103a0010152602081019050306020826103a00101526020810190506044356020826103a0010152602081019050806103a0526103a090508051602001806104608284600060045af11561447a57505060206105406104605161048060006102c0515af11561447a5760203d80821115610e625780610e64565b815b90509050610520526105208051602001806102e08284600060045af11561447a57505060006102e0511115610ec6576102e0806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b6000610340526103408051602001806103808284600060045af11561447a57505060006000610380516103a061026051610140515af11561447a575b6004356102e05260443561030052602435610320526102605161034052337f8b3e96f2b889fa771c53c981b40daf005f63f637f1869f707052d15a3dd9714060806102e0a261026051600052600060015560206000f35b3461447a5763a461b3c8811415611281576040600435600401610140376020600435600401351161447a57602a6024356004016101a037600a602435600401351161447a5760443560a01c61447a5760643560a01c61447a5760843560a01c61447a5760a43560a01c61447a57600a5461447a5773eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee604435141561447a57670de0b6b3a764000060c435141561447a5761020060006002818352015b604461020051600481101561447a576020020135610220526102205161102e5761107f565b61022051600161020051600281101561447a57026006015560c461020051600481101561447a576020020135600161020051600281101561447a5702600f01555b8151600101808352811415611009575b505061014435606480820282158284830414171561447a57809050905090506102005261020051600b5561020051600c5561016435600a553360055560006017610220527f43757276652e666920466163746f727920506f6f6c3a200000000000000000006102405261022060178060208461028001018260208501600060045af150508051820191505061014060208060208461028001018260208501600060045af150508051820191505080610280526102809050806011602082510161012060006003818352015b8261012051602002111561115d5761117f565b61012051602002850151610120518501555b815160010180835281141561114a575b50505050505060006101a0600a8060208461028001018260208501600060045af15050805182019150506002610220527f2d660000000000000000000000000000000000000000000000000000000000006102405261022060028060208461028001018260208501600060045af150508051820191505080610280526102809050806015602082510161012060006002818352015b8261012051602002111561122757611249565b61012051602002850151610120518501555b8151600101808352811415611214575b5050505050506000610220523060007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6020610220a3005b63313ce56781141561129857601260005260206000f35b63a9059cbb8114156112e45760043560a01c61447a573361014052600435610160526024356101805261018051610160516101405160065801613152565b600050600160005260206000f35b6323b872dd8114156113bb5760043560a01c61447a5760243560a01c61447a5760043561014052602435610160526044356101805261018051610160516101405160065801613152565b600050601960043560e05260c052604060c0203360e05260c052604060c02054610140527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101405118156113b0576101405160443580821061447a5780820390509050601960043560e05260c052604060c0203360e05260c052604060c020555b600160005260206000f35b63095ea7b381141561142e5760043560a01c61447a5760243560193360e05260c052604060c02060043560e05260c052604060c0205560243561014052600435337f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9256020610140a3600160005260206000f35b6314f05979811415611453576008805461016052600181015461018052506040610160f35b63fee3f7f981141561146e5764012a05f20060005260206000f35b63f446c1d081141561149d57600658016131f1565b610140526101405160648082049050905060005260206000f35b6376a2f0f08114156114c357600658016131f1565b610140526101405160005260206000f35b63bb7b8b808114156115f25761014051600658016131f1565b61016052610140526101605161014052610140516101605161018051600f80546101a05260018101546101c05250600880546101e05260018101546102005250610200516101e0516101c0516101a05160065801613349565b6102605261028052610180526101605261014052610260805161016052806020015161018052506101405161016051610180516101a051610160516101c052610180516101e0526101405161020052610200516101e0516101c05160065801613422565b610260526101a052610180526101605261014052610260516101a0526101a051670de0b6b3a764000080820282158284830414171561447a5780905090509050601a5480801561447a5782049050905060005260206000f35b63ed8e84f38114156118425760443560011c61447a5761014051600658016131f1565b610160526101405261016051610140526008805461016052600181015461018052506101405161016051610180516101a051600f80546101c05260018101546101e052506101605161020052610180516102205261014051610240526102405161022051610200516101e0516101c051600658016136b0565b6102a0526101a0526101805261016052610140526102a0516101a0526101c060006002818352015b60046101c051600281101561447a5760200201356101e05260443515611708576101606101c051600281101561447a576020020180516101e051818183011061447a5780820190509050815250611734565b6101606101c051600281101561447a576020020180516101e05180821061447a57808203905090508152505b5b81516001018083528114156116b6575b50506101405161016051610180516101a0516101c051600f80546101e05260018101546102005250610160516102205261018051610240526101405161026052610260516102405161022051610200516101e051600658016136b0565b6102c0526101c0526101a0526101805261016052610140526102c0516101c05260006101e052604435156117ef576101c0516101a05180821061447a57808203905090506101e05261180a565b6101a0516101c05180821061447a57808203905090506101e0525b6101e051601a5480820282158284830414171561447a57809050905090506101a05180801561447a5782049050905060005260206000f35b635e0d443f811415611ab2576004358080600081121561185e57195b607f1c61447a579050506024358080600081121561187857195b607f1c61447a57905050600f805461014052600181015461016052506101405161016051610180516101a051610140516101c052610160516101e05260088054610200526001810154610220525061022051610200516101e0516101c05160065801613349565b610280526102a0526101a05261018052610160526101405261028080516101805280602001516101a05250610180600435600281101561447a576020020151604435610140600435600281101561447a57602002015180820282158284830414171561447a5780905090509050670de0b6b3a764000080820490509050818183011061447a57808201905090506101c0526101405161016051610180516101a0516101c0516101e05160406004610200376101c0516102405261018051610260526101a051610280526102805161026051610240516102205161020051600658016137dd565b6102e0526101e0526101c0526101a0526101805261016052610140526102e0516101e052610180602435600281101561447a5760200201516101e05180821061447a5780820390509050600180821061447a578082039050905061020052600a546102005180820282158284830414171561447a57809050905090506402540be4008082049050905061022052610200516102205180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a5780905090509050610140602435600281101561447a57602002015180801561447a5782049050905060005260206000f35b635b36389c811415611ac8573361014052611af3565b633eb1719f811415611aee5760643560a01c61447a576020606461014037600050611af3565b611e77565b60025461447a576001600255601a5461016052604036610180376101c060006002818352015b60016101c051600281101561447a5702600801546101e0526101e05160043580820282158284830414171561447a57809050905090506101605180801561447a578204905090506102005260246101c051600281101561447a576020020135610200511015611bec576308c379a0610220526020610240526030610260527f5769746864726177616c20726573756c74656420696e20666577657220636f69610280527f6e73207468616e206578706563746564000000000000000000000000000000006102a05261026050608461023cfd5b6101e0516102005180821061447a578082039050905060016101c051600281101561447a570260080155610200516101806101c051600281101561447a5760200201526101c051611c77576000610220526102208051602001806102608284600060045af11561447a575050600060006102605161028061020051610140515af11561447a57611d9c565b60006004610280527fa9059cbb000000000000000000000000000000000000000000000000000000006102a0526102806004806020846102e001018260208501600060045af1505080518201915050610140516020826102e0010152602081019050610200516020826102e0010152602081019050806102e0526102e090508051602001806103808284600060045af11561447a5750506020610440610380516103a060006007545af11561447a5760203d80821115611d375780611d39565b815b90509050610420526104208051602001806102208284600060045af11561447a5750506000610220511115611d9b57610220806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b5b8151600101808352811415611b19575b5050610160805160043580821061447a578082039050905081525060183360e05260c052604060c020805460043580821061447a578082039050905081555061016051601a556004356101c0526000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60206101c0a3610180516101c0526101a0516101e052604036610200376101605161024052337f7c363854ccf79623411f8995b362bce5eddff18c927edc6f5dbbb5e05819a82c60a06101c0a260006002556040610180f35b63e3103273811415611e8d573361014052611eb8565b6352d2cfdd811415611eb35760643560a01c61447a576020606461014037600050611eb8565b61264b565b60035461447a5760016003556101405161016051600658016131f1565b6101805261016052610140526101805161016052600f80546101805260018101546101a05250600880546101c05260018101546101e052506101405161016051610180516101a0516101c0516101e0516102005161018051610220526101a051610240526101c051610260526101e05161028052610160516102a0526102a05161028051610260516102405161022051600658016136b0565b61030052610200526101e0526101c0526101a05261018052610160526101405261030051610200526101c051610220526101e0516102405261026060006002818352015b61022061026051600281101561447a57602002018051600461026051600281101561447a57602002013580821061447a57808203905090508152505b8151600101808352811415611fb2575b50506101405161016051610180516101a0516101c0516101e0516102005161022051610240516102605161018051610280526101a0516102a052610220516102c052610240516102e0526101605161030052610300516102e0516102c0516102a05161028051600658016136b0565b61036052610260526102405261022052610200526101e0526101c0526101a052610180526101605261014052610360516102605260403661028037600a54600280820282158284830414171561447a57809050905090506004808204905090506102c0526102e060006002818352015b610260516101c06102e051600281101561447a57602002015180820282158284830414171561447a57809050905090506102005180801561447a57820490509050610300526000610320526102206102e051600281101561447a576020020151610340526103405161030051111561216e57610300516103405180821061447a578082039050905061032052612189565b610340516103005180821061447a5780820390509050610320525b6102c0516103205180820282158284830414171561447a57809050905090506402540be400808204905090506102806102e051600281101561447a576020020152610340516102806102e051600281101561447a57602002015164012a05f20080820282158284830414171561447a57809050905090506402540be4008082049050905080821061447a578082039050905060016102e051600281101561447a5702600801556102206102e051600281101561447a576020020180516102806102e051600281101561447a57602002015180821061447a57808203905090508152505b81516001018083528114156120dd575b50506101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516102a0516102c0516102e05161018051610300526101a051610320526102205161034052610240516103605261016051610380526103805161036051610340516103205161030051600658016136b0565b6103e0526102e0526102c0526102a05261028052610260526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103e0516102e052601a5461030052610200516102e05180821061447a57808203905090506103005180820282158284830414171561447a57809050905090506102005180801561447a578204905090506001818183011061447a578082019050905061032052600161032051111561447a576044356103205111156123fc576308c379a0610340526020610360526014610380527f536c697070616765207363726577656420796f750000000000000000000000006103a05261038050606461035cfd5b61030080516103205180821061447a578082039050905081525061030051601a5560183360e05260c052604060c02080546103205180821061447a578082039050905081555061032051610340526000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6020610340a3600060043518156124ba576000610340526103408051602001806103808284600060045af11561447a57505060006000610380516103a0600435610140515af11561447a575b600060243518156125e957600060046103a0527fa9059cbb000000000000000000000000000000000000000000000000000000006103c0526103a060048060208461040001018260208501600060045af150508051820191505061014051602082610400010152602081019050602435602082610400010152602081019050806104005261040090508051602001806104a08284600060045af11561447a57505060206105606104a0516104c060006007545af11561447a5760203d808211156125845780612586565b815b90509050610540526105408051602001806103408284600060045af11561447a57505060006103405111156125e857610340806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b604060046103403761028051610380526102a0516103a052610260516103c052610300516103e052337f2b5508378d7e19e0d5fa338419034731416c4f5b219a10379956f764317fd47e60c0610340a261032051600052600060035560206000f35b63cc2b27d78114156126a5576024358080600081121561266757195b607f1c61447a579050506004356101405260243561016052610160516101405160065801613ec8565b6101c0526101e0526101c05160005260206000f35b631a4d01d28114156126bb5733610140526126e6565b63081579a58114156126e15760643560a01c61447a5760206064610140376000506126e6565b612a48565b60045461447a5760016004556024358080600081121561270257195b607f1c61447a579050506101405161016051610180516004356101a0526024356101c0526101c0516101a05160065801613ec8565b6102205261024052610180526101605261014052610220805161016052806020015161018052506044356101605110156127b0576308c379a06101a05260206101c05260186101e0527f4e6f7420656e6f75676820636f696e732072656d6f7665640000000000000000610200526101e05060646101bcfd5b6001602435600281101561447a57026008018054610160516101805164012a05f20080820282158284830414171561447a57809050905090506402540be40080820490509050818183011061447a578082019050905080821061447a5780820390509050815550601a5460043580821061447a57808203905090506101a0526101a051601a5560183360e05260c052604060c020805460043580821061447a57808203905090508155506004356101c0526000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60206101c0a36024356128d25760006101c0526101c08051602001806102008284600060045af11561447a575050600060006102005161022061016051610140515af11561447a576129f7565b60006004610220527fa9059cbb000000000000000000000000000000000000000000000000000000006102405261022060048060208461028001018260208501600060045af15050805182019150506101405160208261028001015260208101905061016051602082610280010152602081019050806102805261028090508051602001806103208284600060045af11561447a57505060206103e06103205161034060006007545af11561447a5760203d808211156129925780612994565b815b905090506103c0526103c08051602001806101c08284600060045af11561447a57505060006101c05111156129f6576101c0806020015160008251806020901361447a578091901261447a57806020036101000a82049050905090501561447a575b5b6004356101c052610160516101e0526101a05161020052337f5ad056f2e28a8cec232015406b843668c1e36cda598127ec3b8c59b8c72773a060606101c0a261016051600052600060045560206000f35b633c157e64811415612bdc5760206101a0600463f851a4406101405261015c6005545afa1561447a57601f3d111561447a576000506101a05133141561447a57600d5462015180818183011061447a5780820190509050421061447a574262015180818183011061447a57808201905090506024351061447a5761014051600658016131f1565b61016052610140526101605161014052600435606480820282158284830414171561447a57809050905090506101605260006004351115612b1757620f424060043510612b1a565b60005b1561447a5761014051610160511015612b58576101405161016051600a80820282158284830414171561447a57809050905090501061447a57612b7f565b61014051600a80820282158284830414171561447a5780905090509050610160511161447a575b61014051600b5561016051600c5542600d55602435600e556101405161018052610160516101a052426101c0526024356101e0527fa2b71ec6df949300b59aab36b55e189697b750119dd349fcfa8c0f779e83c2546080610180a1005b63551a6588811415612c855760206101a0600463f851a4406101405261015c6005545afa1561447a57601f3d111561447a576000506101a05133141561447a5761014051600658016131f1565b6101605261014052610160516101405261014051600b5561014051600c5542600d5542600e55610140516101605242610180527f46e22fb3709ad289f62ce63d469248536dbc78d82b84a3d7e74ad606dc2019386040610160a1005b63e2e7d264811415612d2557600435612cb7574760085480821061447a578082039050905060005260206000f3612d23565b60206101c060246370a0823161014052306101605261015c6001600435600281101561447a5702600601545afa1561447a57601f3d111561447a576000506101c0516001600435600281101561447a57026008015480821061447a578082039050905060005260206000f35b005b6330c54085811415612eb85760206101e0602463154aa8f561016052306101805261017c6005545afa1561447a57601f3d111561447a576000506101e051610140524760085480821061447a5780820390509050610160526000610180526101808051602001806101c08284600060045af11561447a575050600060006101c0516101e061016051610140515af11561447a5760075461018052602061022060246370a082316101a052306101c0526101bc610180515afa1561447a57601f3d111561447a576000506102205160095480821061447a578082039050905061016052600060046101a0527fa9059cbb000000000000000000000000000000000000000000000000000000006101c0526101a060048060208461020001018260208501600060045af15050805182019150506101405160208261020001015260208101905061016051602082610200010152602081019050806102005261020090508051602001806102a08284600060045af11561447a575050600060006102a0516102c06000610180515af11561447a57005b63c6610657811415612ee0576001600435600281101561447a57026006015460005260206000f35b634903b0d1811415612f08576001600435600281101561447a57026008015460005260206000f35b63ddca3f43811415612f2057600a5460005260206000f35b635409491a811415612f3857600b5460005260206000f35b63b4b577ad811415612f5057600c5460005260206000f35b632081066c811415612f6857600d5460005260206000f35b6314052288811415612f8057600e5460005260206000f35b6306fdde0381141561301d57601180610180602082540161012060006003818352015b82610120516020021115612fb657612fd8565b61012051850154610120516020028501525b8151600101808352811415612fa3575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f35b6395d89b418114156130ba57601580610180602082540161012060006002818352015b8261012051602002111561305357613075565b61012051850154610120516020028501525b8151600101808352811415613040575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f35b6370a082318114156130ea5760043560a01c61447a57601860043560e05260c052604060c0205460005260206000f35b63dd62ed3e8114156131325760043560a01c61447a5760243560a01c61447a57601960043560e05260c052604060c02060243560e05260c052604060c0205460005260206000f35b6318160ddd81141561314a57601a5460005260206000f35b505b60006000fd5b6101a05261014052610160526101805260186101405160e05260c052604060c02080546101805180821061447a578082039050905081555060186101605160e05260c052604060c020805461018051818183011061447a5780820190509050815550610180516101c05261016051610140517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60206101c0a36101a051565b61014052600e5461016052600c54610180526101605142101561333757600b546101a052600d546101c0526101a0516101805111156132b1576101a051610180516101a05180821061447a5780820390509050426101c05180821061447a578082039050905080820282158284830414171561447a5780905090509050610160516101c05180821061447a578082039050905080801561447a57820490509050818183011061447a57808201905090506000526000516101405156613332565b6101a0516101a0516101805180821061447a5780820390509050426101c05180821061447a578082039050905080820282158284830414171561447a5780905090509050610160516101c05180821061447a578082039050905080801561447a5782049050905080821061447a578082039050905060005260005161014051565b613347565b6101805160005260005161014051565b005b6101c0526101405261016052610180526101a0526040366101e03761022060006002818352015b61014061022051600281101561447a57602002015161018061022051600281101561447a57602002015180820282158284830414171561447a5780905090509050670de0b6b3a7640000808204905090506101e061022051600281101561447a5760200201525b8151600101808352811415613370575b50506040610220525b600061022051116134005761341c565b602061022051036101e0015160206102205103610220526133f0565b6101c051565b6101a05261014052610160526101805260006101c05261020060006002818352015b6020610200510261014001516101e0526101c080516101e051818183011061447a57808201905090508152505b8151600101808352811415613444575b50506101c0516134995760006000526000516101a051565b6101c0516101e05261018051600280820282158284830414171561447a578090509050905061020052610220600060ff818352015b6101e0516101e05180820282158284830414171561447a57809050905090506101405180801561447a578204905090506101e05180820282158284830414171561447a57809050905090506101605180801561447a57820490509050600480820490509050610240526101e05161026052610200516101c05180820282158284830414171561447a578090509050905060648082049050905061024051600280820282158284830414171561447a5780905090509050818183011061447a57808201905090506101e05180820282158284830414171561447a578090509050905061020051606480821061447a57808203905090506101e05180820282158284830414171561447a578090509050905060648082049050905060036102405180820282158284830414171561447a5780905090509050818183011061447a578082019050905080801561447a578204905090506101e052610260516101e05111156136675760016101e0516102605180821061447a578082039050905011613662576101e05160005250506000516101a051565b613697565b6001610260516101e05180821061447a578082039050905011613696576101e05160005250506000516101a051565b5b5b81516001018083528114156134ce575b505060006000fd5b6101e0526101405261016052610180526101a0526101c0526101405161016051610180516101a0516101c0516101e05161020051610220516101405161024052610160516102605261018051610280526101a0516102a0526102a05161028051610260516102405160065801613349565b610300526103205261022052610200526101e0526101c0526101a052610180526101605261014052610300805161020052806020015161022052506101405161016051610180516101a0516101c0516101e0516102005161022051610200516102405261022051610260526101c0516102805261028051610260516102405160065801613422565b6102e05261022052610200526101e0526101c0526101a0526101805261016052610140526102e0516000526000516101e051565b6101e0526101405261016052610180526101a0526101c0526101605161014051181561447a576000610160511261447a57600261016051121561447a576000610140511261447a57600261014051121561447a576101405161016051610180516101a0516101c0516101e05161020051600658016131f1565b61022052610200526101e0526101c0526101a05261018052610160526101405261022051610200526101405161016051610180516101a0516101c0516101e05161020051610220516101a051610240526101c05161026052610200516102805261028051610260516102405160065801613422565b6102e05261022052610200526101e0526101c0526101a0526101805261016052610140526102e0516102205260603661024037610220516102a05261020051600280820282158284830414171561447a57809050905090506102c0526102e060006002818352015b610140516102e051141561394e576101805161026052613980565b610160516102e051181561397a576101a06102e051600281101561447a5760200201516102605261397f565b6139ea565b5b610240805161026051818183011061447a57808201905090508152506102a0516102205180820282158284830414171561447a578090509050905061026051600280820282158284830414171561447a578090509050905080801561447a578204905090506102a0525b8151600101808352811415613933575b50506102a0516102205180820282158284830414171561447a5780905090509050606480820282158284830414171561447a57809050905090506102c051600280820282158284830414171561447a578090509050905080801561447a578204905090506102a0526102405161022051606480820282158284830414171561447a57809050905090506102c05180801561447a57820490509050818183011061447a57808201905090506102e0526102205161030052610320600060ff818352015b6103005161028052610300516103005180820282158284830414171561447a57809050905090506102a051818183011061447a578082019050905060026103005180820282158284830414171561447a57809050905090506102e051818183011061447a57808201905090506102205180821061447a578082039050905080801561447a578204905090506103005261028051610300511115613b8d576001610300516102805180821061447a578082039050905011613b88576103005160005250506000516101e051565b613bbd565b6001610280516103005180821061447a578082039050905011613bbc576103005160005250506000516101e051565b5b5b8151600101808352811415613abc575b505060006000fd5b6101e0526101405261016052610180526101a0526101c0526000610160511261447a57600261016051121561447a57606036610200376101c0516102605261014051600280820282158284830414171561447a5780905090509050610280526102a060006002818352015b610160516102a0511815613c6d576101806102a051600281101561447a57602002015161022052613c72565b613cdc565b610200805161022051818183011061447a5780820190509050815250610260516101c05180820282158284830414171561447a578090509050905061022051600280820282158284830414171561447a578090509050905080801561447a57820490509050610260525b8151600101808352811415613c41575b5050610260516101c05180820282158284830414171561447a5780905090509050606480820282158284830414171561447a578090509050905061028051600280820282158284830414171561447a578090509050905080801561447a5782049050905061026052610200516101c051606480820282158284830414171561447a57809050905090506102805180801561447a57820490509050818183011061447a57808201905090506102a0526101c0516102c0526102e0600060ff818352015b6102c051610240526102c0516102c05180820282158284830414171561447a578090509050905061026051818183011061447a578082019050905060026102c05180820282158284830414171561447a57809050905090506102a051818183011061447a57808201905090506101c05180821061447a578082039050905080801561447a578204905090506102c052610240516102c0511115613e7f5760016102c0516102405180821061447a578082039050905011613e7a576102c05160005250506000516101e051565b613eaf565b6001610240516102c05180821061447a578082039050905011613eae576102c05160005250506000516101e051565b5b5b8151600101808352811415613dae575b505060006000fd5b6101805261014052610160526101405161016051610180516101a051600658016131f1565b6101c0526101a0526101805261016052610140526101c0516101a052600f80546101c05260018101546101e052506101405161016051610180516101a0516101c0516101e05161020051610220516101c051610240526101e05161026052600880546102805260018101546102a052506102a05161028051610260516102405160065801613349565b610300526103205261022052610200526101e0526101c0526101a052610180526101605261014052610300805161020052806020015161022052506101405161016051610180516101a0516101c0516101e051610200516102205161024051610200516102605261022051610280526101a0516102a0526102a051610280516102605160065801613422565b610300526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103005161024052601a546102605261024051610140516102405180820282158284830414171561447a57809050905090506102605180801561447a5782049050905080821061447a5780820390509050610280526101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516102a0516101a0516102c052610160516102e0526102005161030052610220516103205261028051610340526103405161032051610300516102e0516102c05160065801613bd6565b6103a0526102a05261028052610260526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103a0516102a052600a54600280820282158284830414171561447a57809050905090506004808204905090506102c0526040366102e03761032060006002818352015b60006103405261020061032051600281101561447a57602002015161036052610160516103205114156141e457610360516102805180820282158284830414171561447a57809050905090506102405180801561447a578204905090506102a05180821061447a57808203905090506103405261422b565b61036051610360516102805180820282158284830414171561447a57809050905090506102405180801561447a5782049050905080821061447a5780820390509050610340525b610360516102c0516103405180820282158284830414171561447a57809050905090506402540be4008082049050905080821061447a57808203905090506102e061032051600281101561447a5760200201525b815160010180835281141561416c575b50506102e061016051600281101561447a576020020151610140610340525b610340515160206103405101610340526103406103405110156142d0576142ae565b6101a0516103605261016051610380526102e0516103a052610300516103c052610280516103e0526103e0516103c0516103a051610380516103605160065801613bd6565b61044052610320610340525b61034051526020610340510361034052610140610340511061434257614321565b6104405180821061447a57808203905090506103205261020061016051600281101561447a5760200201516102a05180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a57809050905090506101c061016051600281101561447a57602002015180801561447a578204905090506103405261032051600180821061447a5780820390509050670de0b6b3a764000080820282158284830414171561447a57809050905090506101c061016051600281101561447a57602002015180801561447a57820490509050610320526103205161038052610340516103205180821061447a57808203905090506103a0526040610360525b6000610360511161445857614474565b6020610360510361038001516020610360510361036052614448565b61018051565b600080fd