Contract Source Code (Vyper language format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

# @version 0.3.1
"""
@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
"""

from vyper.interfaces import ERC20

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

interface ERC1271:
    def isValidSignature(_hash: bytes32, _signature: Bytes[65]) -> bytes32: 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

EIP712_TYPEHASH: constant(bytes32) = keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)")
PERMIT_TYPEHASH: constant(bytes32) = keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)")

# keccak256("isValidSignature(bytes32,bytes)")[:4] << 224
ERC1271_MAGIC_VAL: constant(bytes32) = 0x1626ba7e00000000000000000000000000000000000000000000000000000000
VERSION: constant(String[8]) = "v5.0.0"


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)

DOMAIN_SEPARATOR: public(bytes32)
nonces: public(HashMap[address, 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

    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

    name: String[64] = concat("Curve.fi Factory Plain Pool: ", _name)
    self.name = name
    self.symbol = concat(_symbol, "-f")

    self.DOMAIN_SEPARATOR = keccak256(
        _abi_encode(EIP712_TYPEHASH, keccak256(name), keccak256(VERSION), chain.id, self)
    )

    # 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


@external
def permit(
    _owner: address,
    _spender: address,
    _value: uint256,
    _deadline: uint256,
    _v: uint8,
    _r: bytes32,
    _s: bytes32
) -> bool:
    """
    @notice Approves spender by owner's signature to expend owner's tokens.
        See https://eips.ethereum.org/EIPS/eip-2612.
    @dev Inspired by https://github.com/yearn/yearn-vaults/blob/main/contracts/Vault.vy#L753-L793
    @dev Supports smart contract wallets which implement ERC1271
        https://eips.ethereum.org/EIPS/eip-1271
    @param _owner The address which is a source of funds and has signed the Permit.
    @param _spender The address which is allowed to spend the funds.
    @param _value The amount of tokens to be spent.
    @param _deadline The timestamp after which the Permit is no longer valid.
    @param _v The bytes[64] of the valid secp256k1 signature of permit by owner
    @param _r The bytes[0:32] of the valid secp256k1 signature of permit by owner
    @param _s The bytes[32:64] of the valid secp256k1 signature of permit by owner
    @return True, if transaction completes successfully
    """
    assert _owner != ZERO_ADDRESS
    assert block.timestamp <= _deadline

    nonce: uint256 = self.nonces[_owner]
    digest: bytes32 = keccak256(
        concat(
            b"\x19\x01",
            self.DOMAIN_SEPARATOR,
            keccak256(_abi_encode(PERMIT_TYPEHASH, _owner, _spender, _value, nonce, _deadline))
        )
    )

    if _owner.is_contract:
        sig: Bytes[65] = concat(_abi_encode(_r, _s), slice(convert(_v, bytes32), 31, 1))
        # reentrancy not a concern since this is a staticcall
        assert ERC1271(_owner).isValidSignature(digest, sig) == ERC1271_MAGIC_VAL
    else:
        assert ecrecover(digest, convert(_v, uint256), convert(_r, uint256), convert(_s, uint256)) == _owner

    self.allowance[_owner][_spender] = _value
    self.nonces[_owner] = nonce + 1

    log Approval(_owner, _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


@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 amount > 0:
            response: Bytes[32] = raw_call(
                self.coins[i],
                concat(
                    method_id("transferFrom(address,address,uint256)"),
                    convert(msg.sender, bytes32),
                    convert(self, bytes32),
                    convert(amount, bytes32),
                ),
                max_outsize=32,
            )
            if len(response) > 0:
                assert convert(response, bool)  # dev: failed transfer
            new_balances[i] += amount
            # end "safeTransferFrom"
        else:
            assert total_supply != 0  # dev: initial deposit requires all coins

    # 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"

    # 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]


@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

    response: Bytes[32] = raw_call(
        self.coins[i],
        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)

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

    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

        response: Bytes[32] = raw_call(
            self.coins[i],
            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):
        amount: uint256 = _amounts[i]
        if amount != 0:
            new_balances[i] -= amount
            response: Bytes[32] = raw_call(
                self.coins[i],
                concat(
                    method_id("transfer(address,uint256)"),
                    convert(_receiver, bytes32),
                    convert(amount, bytes32),
                ),
                max_outsize=32,
            )
            if len(response) > 0:
                assert convert(response, bool)
    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)
    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)

    response: Bytes[32] = raw_call(
        self.coins[i],
        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:
    return ERC20(self.coins[i]).balanceOf(self) - self.balances[i]


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

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


@pure
@external
def version() -> String[8]:
    """
    @notice Get the version of this token contract
    """
    return VERSION

• 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":516829},{"stateMutability":"view","type":"function","name":"decimals","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":390},{"stateMutability":"nonpayable","type":"function","name":"transfer","inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"outputs":[{"name":"","type":"bool"}],"gas":79005},{"stateMutability":"nonpayable","type":"function","name":"transferFrom","inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"outputs":[{"name":"","type":"bool"}],"gas":116985},{"stateMutability":"nonpayable","type":"function","name":"approve","inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"outputs":[{"name":"","type":"bool"}],"gas":39211},{"stateMutability":"nonpayable","type":"function","name":"permit","inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"},{"name":"_deadline","type":"uint256"},{"name":"_v","type":"uint8"},{"name":"_r","type":"bytes32"},{"name":"_s","type":"bytes32"}],"outputs":[{"name":"","type":"bool"}],"gas":102281},{"stateMutability":"view","type":"function","name":"get_balances","inputs":[],"outputs":[{"name":"","type":"uint256[2]"}],"gas":4782},{"stateMutability":"view","type":"function","name":"admin_fee","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":570},{"stateMutability":"view","type":"function","name":"A","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":10508},{"stateMutability":"view","type":"function","name":"A_precise","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":10508},{"stateMutability":"view","type":"function","name":"get_virtual_price","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":649135},{"stateMutability":"view","type":"function","name":"calc_token_amount","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_is_deposit","type":"bool"}],"outputs":[{"name":"","type":"uint256"}],"gas":1284256},{"stateMutability":"nonpayable","type":"function","name":"add_liquidity","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_min_mint_amount","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":2144257},{"stateMutability":"nonpayable","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"}],"gas":2144257},{"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":995830},{"stateMutability":"nonpayable","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"}],"gas":1150187},{"stateMutability":"nonpayable","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"}],"gas":1150187},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"_min_amounts","type":"uint256[2]"}],"outputs":[{"name":"","type":"uint256[2]"}],"gas":241198},{"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]"}],"gas":241198},{"stateMutability":"nonpayable","type":"function","name":"remove_liquidity_imbalance","inputs":[{"name":"_amounts","type":"uint256[2]"},{"name":"_max_burn_amount","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":2144337},{"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"}],"gas":2144337},{"stateMutability":"view","type":"function","name":"calc_withdraw_one_coin","inputs":[{"name":"_burn_amount","type":"uint256"},{"name":"i","type":"int128"}],"outputs":[{"name":"","type":"uint256"}],"gas":1229},{"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"}],"gas":1535032},{"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"}],"gas":1535032},{"stateMutability":"nonpayable","type":"function","name":"ramp_A","inputs":[{"name":"_future_A","type":"uint256"},{"name":"_future_time","type":"uint256"}],"outputs":[],"gas":161164},{"stateMutability":"nonpayable","type":"function","name":"stop_ramp_A","inputs":[],"outputs":[],"gas":157387},{"stateMutability":"view","type":"function","name":"admin_balances","inputs":[{"name":"i","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":7829},{"stateMutability":"nonpayable","type":"function","name":"withdraw_admin_fees","inputs":[],"outputs":[],"gas":28911},{"stateMutability":"pure","type":"function","name":"version","inputs":[],"outputs":[{"name":"","type":"string"}],"gas":6677},{"stateMutability":"view","type":"function","name":"coins","inputs":[{"name":"arg0","type":"uint256"}],"outputs":[{"name":"","type":"address"}],"gas":3225},{"stateMutability":"view","type":"function","name":"balances","inputs":[{"name":"arg0","type":"uint256"}],"outputs":[{"name":"","type":"uint256"}],"gas":3255},{"stateMutability":"view","type":"function","name":"fee","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3240},{"stateMutability":"view","type":"function","name":"initial_A","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3270},{"stateMutability":"view","type":"function","name":"future_A","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3300},{"stateMutability":"view","type":"function","name":"initial_A_time","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3330},{"stateMutability":"view","type":"function","name":"future_A_time","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3360},{"stateMutability":"view","type":"function","name":"name","inputs":[],"outputs":[{"name":"","type":"string"}],"gas":13679},{"stateMutability":"view","type":"function","name":"symbol","inputs":[],"outputs":[{"name":"","type":"string"}],"gas":11438},{"stateMutability":"view","type":"function","name":"balanceOf","inputs":[{"name":"arg0","type":"address"}],"outputs":[{"name":"","type":"uint256"}],"gas":3716},{"stateMutability":"view","type":"function","name":"allowance","inputs":[{"name":"arg0","type":"address"},{"name":"arg1","type":"address"}],"outputs":[{"name":"","type":"uint256"}],"gas":4012},{"stateMutability":"view","type":"function","name":"totalSupply","inputs":[],"outputs":[{"name":"","type":"uint256"}],"gas":3510},{"stateMutability":"view","type":"function","name":"DOMAIN_SEPARATOR","inputs":[],"outputs":[{"name":"","type":"bytes32"}],"gas":3540},{"stateMutability":"view","type":"function","name":"nonces","inputs":[{"name":"arg0","type":"address"}],"outputs":[{"name":"","type":"uint256"}],"gas":3836}]

617a69600655613dbf56600436101561000d57612f15565b60046000601c3760005134613db05763a461b3c88118610399576004356004016020813511613db057808035602001808260e037505050602435600401600a813511613db0578080356020018082610120375050506044358060a01c613db057610160526064358060a01c613db057610180526084358060a01c613db0576101a05260a4358060a01c613db0576101c052600654613db0576101e060006002818352015b6101606101e0516004811015613db057602002015161020052610200516100d75761011e565b6102005160016101e0516002811015613db057026002015560206101e0510260c4013560016101e0516002811015613db05702600b015581516001018083528114156100b1575b5050610144356064808202821582848304141715613db057905090506101e0526101e0516007556101e05160085561016435600655336001556000601d610260527f43757276652e666920466163746f727920506c61696e20506f6f6c3a2000000061028052610260601d806020846102a00101826020850160045afa50508051820191505060e06020806020846102a00101826020850160045afa505080518201915050806102a0526102a09050805160200180610200828460045afa9050505061020080600d602082510160c060006003818352015b8260c051602002111561020857610227565b60c05160200285015160c05185015581516001018083528114156101f6575b5050505050506000610120600a806020846102a00101826020850160045afa5050805182019150506002610260527f2d66000000000000000000000000000000000000000000000000000000000000610280526102606002806020846102a00101826020850160045afa505080518201915050806102a0526102a09050806010602082510160c060006002818352015b8260c05160200211156102c9576102e8565b60c05160200285015160c05185015581516001018083528114156102b7575b5050505050507f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f61034052610200805160208201209050610360527f572f01d824885a118d5d21c74542f263b131d2897955c62a721594f1d7c3b2e261038052466103a052306103c05260a0610320526103208051602082012090506015553060007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6000610260526020610260a3005b63313ce56781186103af57601260e052602060e0f35b63a9059cbb81186103f1576004358060a01c613db057610160523360e0526101605161010052602435610120526103e4612f1b565b6001610180526020610180f35b6323b872dd81186104c5576004358060a01c613db057610160526024358060a01c613db057610180526101605160e052610180516101005260443561012052610438612f1b565b60136101605160a05260805260406080203360a0526080526040608020546101a0527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101a051146104b8576101a051604435808210613db0578082039050905060136101605160a05260805260406080203360a0526080526040608020555b60016101c05260206101c0f35b63095ea7b3811861053d576004358060a01c613db05760e05260243560133360a052608052604060802060e05160a05260805260406080205560e051337f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925602435610100526020610100a36001610100526020610100f35b63d505accf81186108aa576004358060a01c613db05760e0526024358060a01c613db057610100526084358060081c613db05761012052600060e05114613db0576064354211613db057601660e05160a0526080526040608020546101405260006002610400527f1901000000000000000000000000000000000000000000000000000000000000610420526104006002806020846106000101826020850160045afa5050805182019150506015546020826106000101526020810190507f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c96105405260e0516105605261010051610580526044356105a052610140516105c0526064356105e05260c0610520526105208051602082012090506020826106000101526020810190508061060052610600905080516020820120905061016052600060e0513b116106be5760e0516101605161018052610120516101a052604060a46101c03760206080608061018060015afa5060805118613db05761081e565b600060a4356102205260c435610240526040610200526102006040806020846102c00101826020850160045afa505080518201915050601f60016020820661026001602082840111613db0576020806102808261012060045afa5050818152905090506001806020846102c00101826020850160045afa505080518201915050806102c0526102c09050805160200180610180828460045afa905050507f1626ba7e00000000000000000000000000000000000000000000000000000000631626ba7e610200526102208060406101605182526020820191508082528083018061018080516020018083828460045afa905050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f820103905090509050810150505050602061020060c461021c60e0515afa61080b573d600060003e3d6000fd5b601f3d1115613db0576102005118613db0575b604435601360e05160a05260805260406080206101005160a0526080526040608020556101405160018181830110613db05780820190509050601660e05160a0526080526040608020556101005160e0517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925604435610180526020610180a36001610180526020610180f35b6314f0597981186108c85760045460e05260055461010052604060e0f35b63fee3f7f981186108e25764012a05f20060e052602060e0f35b63f446c1d08118610910576108f8610160612fa4565b61016051606480820490509050610180526020610180f35b6376a2f0f0811861093557610926610160612fa4565b61016051610180526020610180f35b63bb7b8b8081186109f25761094b610220612fa4565b6102205161020052600b5460e052600c546101005260045461012052600554610140526109796102606130df565b610260805161022052806020015161024052506102205160e052610240516101005261020051610120526109ae610280613177565b610280516102605261026051670de0b6b3a7640000808202821582848304141715613db05790509050601454808015613db057820490509050610280526020610280f35b63ed8e84f38118610bb0576044358060011c613db05761032052610a17610360612fa4565b61036051610340526004546103605260055461038052600b5461020052600c5461022052610360516102405261038051610260526103405161028052610a5e6103c06133ca565b6103c0516103a0526103c060006002818352015b60206103c05102600401356103e05261032051610ab9576103606103c0516002811015613db0576020020180516103e051808210613db05780820390509050815250610ae7565b6103606103c0516002811015613db0576020020180516103e0518181830110613db057808201905090508152505b8151600101808352811415610a72575050600b5461020052600c5461022052610360516102405261038051610260526103405161028052610b296103e06133ca565b6103e0516103c05260006103e05261032051610b5e576103a0516103c051808210613db057808203905090506103e052610b79565b6103c0516103a051808210613db057808203905090506103e0525b6103e051601454808202821582848304141715613db057905090506103a051808015613db057820490509050610400526020610400f35b630b4c7e4d8118610bc5573361032052610be0565b630c3e4b548118611220576064358060a01c613db057610320525b600054613db0576001600055610bf7610360612fa4565b61036051610340526004546103605260055461038052600b546103a052600c546103c0526103a051610200526103c05161022052610360516102405261038051610260526103405161028052610c4e6104006133ca565b610400516103e052601454610400526103605161042052610380516104405261046060006002818352015b60206104605102600401356104805260006104805111610ca35760006104005114613db057610de3565b600060046104e0527f23b872dd00000000000000000000000000000000000000000000000000000000610500526104e06004806020846105200101826020850160045afa5050805182019150503360208261052001015260208101905030602082610520010152602081019050610480516020826105200101526020810190508061052052610520505060206105e06105205161054060006001610460516002811015613db05702600201545af1610d60573d600060003e3d6000fd5b6105c060203d808211610d735781610d75565b805b9050905081528051602001806104a0828460045afa9050505060006104a0511115610db5576104c0516104a05181816020036008021c9050905015613db0575b610420610460516002811015613db057602002018051610480518181830110613db057808201905090508152505b8151600101808352811415610c795750506103a051610200526103c05161022052610420516102405261044051610260526103405161028052610e276104806133ca565b61048051610460526103e051610460511115613db0576060366104803760006104005111610e6a576104205160045561044051600555610460516104c0526110b0565b6006546002808202821582848304141715613db057905090506004808204905090506104e05261050060006002818352015b61046051610360610500516002811015613db0576020020151808202821582848304141715613db057905090506103e051808015613db05782049050905061052052600061054052610420610500516002811015613db057602002015161056052610560516105205111610f29576105605161052051808210613db0578082039050905061054052610f44565b6105205161056051808210613db05780820390509050610540525b6104e05161054051808202821582848304141715613db057905090506402540be40080820490509050610480610500516002811015613db057602002015261056051610480610500516002811015613db057602002015164012a05f200808202821582848304141715613db057905090506402540be40080820490509050808210613db057808203905090506001610500516002811015613db0570260040155610420610500516002811015613db057602002018051610480610500516002811015613db0576020020151808210613db057808203905090508152508151600101808352811415610e9c5750506103a051610200526103c051610220526104205161024052610440516102605261034051610280526110646105206133ca565b610520516105005261040051610500516103e051808210613db05780820390509050808202821582848304141715613db057905090506103e051808015613db0578204905090506104c0525b6044356104c05110156111345760146104e0527f536c697070616765207363726577656420796f75000000000000000000000000610500526104e0506104e0518061050001818260206001820306601f82010390500336823750506308c379a06104a05260206104c0526104e05160206001820306601f82010390506044016104bcfd5b61040080516104c0518181830110613db0578082019050905081525060126103205160a052608052604060802080546104c0518181830110613db05780820190509050815550610400516014556103205160007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6104c0516104e05260206104e0a3337f26f55a85081d24974e85c6c00045d0f0453991e95873f52bff0d21af4079a7686004356104e0526024356105005261048051610520526104a051610540526104605161056052610400516105805260c06104e0a26104c0516104e05260206104e06000600055f35b635e0d443f8118611403576004358060801d81607f1d18613db0576103e0526024358060801d81607f1d18613db05761040052600b5461042052600c54610440526104205160e052610440516101005260045461012052600554610140526112896104a06130df565b6104a0805161046052806020015161048052506104606103e0516002811015613db05760200201516044356104206103e0516002811015613db0576020020151808202821582848304141715613db05790509050670de0b6b3a7640000808204905090508181830110613db057808201905090506104a0526103e0516102005261040051610220526104a05161024052610460516102605261048051610280526113346104e0613432565b6104e0516104c052610460610400516002811015613db05760200201516104c051808210613db057808203905090506001808210613db057808203905090506104e0526006546104e051808202821582848304141715613db057905090506402540be40080820490509050610500526104e05161050051808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db05790509050610420610400516002811015613db0576020020151808015613db057820490509050610520526020610520f35b633df021248118611418573361042052611433565b63ddc1f59d8118611a39576084358060a01c613db057610420525b6004358060801d81607f1d18613db0576103e0526024358060801d81607f1d18613db05761040052600054613db0576001600055600b5461044052600c5461046052600454610480526005546104a0526104405160e052610460516101005261048051610120526104a051610140526114ad6105006130df565b61050080516104c05280602001516104e052506104c06103e0516002811015613db05760200201516044356104406103e0516002811015613db0576020020151808202821582848304141715613db05790509050670de0b6b3a7640000808204905090508181830110613db05780820190509050610500526103e05161020052610400516102205261050051610240526104c051610260526104e05161028052611558610540613432565b61054051610520526104c0610400516002811015613db057602002015161052051808210613db057808203905090506001808210613db057808203905090506105405261054051600654808202821582848304141715613db057905090506402540be40080820490509050610560526105405161056051808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db05790509050610440610400516002811015613db0576020020151808015613db057820490509050610540526064356105405110156116c957602e610580527f45786368616e676520726573756c74656420696e20666577657220636f696e736105a0527f207468616e2065787065637465640000000000000000000000000000000000006105c0526105805061058051806105a001818260206001820306601f82010390500336823750506308c379a0610540526020610560526105805160206001820306601f820103905060440161055cfd5b6105605164012a05f200808202821582848304141715613db057905090506402540be400808204905090506105805261058051670de0b6b3a7640000808202821582848304141715613db05790509050610440610400516002811015613db0576020020151808015613db057820490509050610580526104806103e0516002811015613db05760200201516044358181830110613db0578082019050905060016103e0516002811015613db0570260040155610480610400516002811015613db057602002015161054051808210613db0578082039050905061058051808210613db057808203905090506001610400516002811015613db0570260040155600060046105e0527f23b872dd00000000000000000000000000000000000000000000000000000000610600526105e06004806020846106200101826020850160045afa50508051820191505033602082610620010152602081019050306020826106200101526020810190506044356020826106200101526020810190508061062052610620505060206106e061062051610640600060016103e0516002811015613db05702600201545af1611884573d600060003e3d6000fd5b6106c060203d8082116118975781611899565b805b9050905081528051602001806105a0828460045afa9050505060006105a05111156118d9576105c0516105a05181816020036008021c9050905015613db0575b600060046105e0527fa9059cbb00000000000000000000000000000000000000000000000000000000610600526105e06004806020846106200101826020850160045afa50508051820191505061042051602082610620010152602081019050610540516020826106200101526020810190508061062052610620505060206106c06106205161064060006001610400516002811015613db05702600201545af1611989573d600060003e3d6000fd5b6106a060203d80821161199c578161199e565b805b9050905081528051602001806105a0828460045afa9050505060006105a05111156119de576105c0516105a05181816020036008021c9050905015613db0575b337f8b3e96f2b889fa771c53c981b40daf005f63f637f1869f707052d15a3dd971406103e0516105e052604435610600526104005161062052610540516106405260806105e0a2610540516105e05260206105e06000600055f35b635b36389c8118611a4d573360e052611a67565b633eb1719f8118611db6576064358060a01c613db05760e0525b600054613db0576001600055601454610100526040366101203761016060006002818352015b6001610160516002811015613db05702600401546101805261018051600435808202821582848304141715613db0579050905061010051808015613db0578204905090506101a05260206101605102602401356101a0511015611b865760306101c0527f5769746864726177616c20726573756c74656420696e20666577657220636f696101e0527f6e73207468616e20657870656374656400000000000000000000000000000000610200526101c0506101c051806101e001818260206001820306601f82010390500336823750506308c379a06101805260206101a0526101c05160206001820306601f820103905060440161019cfd5b610180516101a051808210613db057808203905090506001610160516002811015613db05702600401556101a051610120610160516002811015613db057602002015260006004610200527fa9059cbb00000000000000000000000000000000000000000000000000000000610220526102006004806020846102400101826020850160045afa50508051820191505060e0516020826102400101526020810190506101a0516020826102400101526020810190508061024052610240505060206102e06102405161026060006001610160516002811015613db05702600201545af1611c78573d600060003e3d6000fd5b6102c060203d808211611c8b5781611c8d565b805b9050905081528051602001806101c0828460045afa9050505060006101c0511115611ccd576101e0516101c05181816020036008021c9050905015613db0575b8151600101808352811415611a8d5750506101008051600435808210613db0578082039050905081525060123360a05260805260406080208054600435808210613db05780820390509050815550610100516014556000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600435610160526020610160a3337f7c363854ccf79623411f8995b362bce5eddff18c927edc6f5dbbb5e05819a82c610120516101605261014051610180526040366101a037610100516101e05260a0610160a26101205161016052610140516101805260406101606000600055f35b63e31032738118611dcb573361032052611de6565b6352d2cfdd81186123e5576064358060a01c613db057610320525b600054613db0576001600055611dfd610360612fa4565b6103605161034052600b5461036052600c54610380526004546103a0526005546103c052610360516102005261038051610220526103a051610240526103c051610260526103405161028052611e546104006133ca565b610400516103e0526103a051610400526103c0516104205261044060006002818352015b60206104405102600401356104605260006104605114611fc257610400610440516002811015613db05760200201805161046051808210613db05780820390509050815250600060046104c0527fa9059cbb000000000000000000000000000000000000000000000000000000006104e0526104c06004806020846105000101826020850160045afa50508051820191505061032051602082610500010152602081019050610460516020826105000101526020810190508061050052610500505060206105a06105005161052060006001610440516002811015613db05702600201545af1611f6d573d600060003e3d6000fd5b61058060203d808211611f805781611f82565b805b905090508152805160200180610480828460045afa905050506000610480511115611fc2576104a0516104805181816020036008021c9050905015613db0575b8151600101808352811415611e78575050610360516102005261038051610220526104005161024052610420516102605261034051610280526120066104606133ca565b6104605161044052604036610460376006546002808202821582848304141715613db057905090506004808204905090506104a0526104c060006002818352015b610440516103a06104c0516002811015613db0576020020151808202821582848304141715613db057905090506103e051808015613db0578204905090506104e0526000610500526104006104c0516002811015613db057602002015161052052610520516104e051116120d457610520516104e051808210613db05780820390509050610500526120ef565b6104e05161052051808210613db05780820390509050610500525b6104a05161050051808202821582848304141715613db057905090506402540be400808204905090506104606104c0516002811015613db0576020020152610520516104606104c0516002811015613db057602002015164012a05f200808202821582848304141715613db057905090506402540be40080820490509050808210613db0578082039050905060016104c0516002811015613db05702600401556104006104c0516002811015613db0576020020180516104606104c0516002811015613db0576020020151808210613db0578082039050905081525081516001018083528114156120475750506103605161020052610380516102205261040051610240526104205161026052610340516102805261220f6104e06133ca565b6104e0516104c0526014546104e0526103e0516104c051808210613db057808203905090506104e051808202821582848304141715613db057905090506103e051808015613db05782049050905060018181830110613db05780820190509050610500526001610500511115613db057604435610500511115612303576014610520527f536c697070616765207363726577656420796f750000000000000000000000006105405261052050610520518061054001818260206001820306601f82010390500336823750506308c379a06104e0526020610500526105205160206001820306601f82010390506044016104fcfd5b6104e0805161050051808210613db057808203905090508152506104e05160145560123360a0526080526040608020805461050051808210613db057808203905090508155506000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61050051610520526020610520a3337f2b5508378d7e19e0d5fa338419034731416c4f5b219a10379956f764317fd47e600435610520526024356105405261046051610560526104805161058052610440516105a0526104e0516105c05260c0610520a2610500516105205260206105206000600055f35b63cc2b27d7811861242d576024358060801d81607f1d18613db0576104a052600435610280526104a0516102a05261241e6104c0613a12565b6104c051610500526020610500f35b631a4d01d2811861244257336104c05261245d565b63081579a5811861275f576064358060a01c613db0576104c0525b6024358060801d81607f1d18613db0576104a052600054613db0576001600055600435610280526104a0516102a052612497610520613a12565b61052080516104e052806020015161050052506044356104e051101561252e576018610520527f4e6f7420656e6f75676820636f696e732072656d6f76656400000000000000006105405261052050610520518061054001818260206001820306601f82010390500336823750506308c379a06104e0526020610500526105205160206001820306601f82010390506044016104fcfd5b60016104a0516002811015613db0570260040180546104e0516105005164012a05f200808202821582848304141715613db057905090506402540be400808204905090508181830110613db05780820190509050808210613db05780820390509050815550601454600435808210613db05780820390509050610520526105205160145560123360a05260805260406080208054600435808210613db057808203905090508155506000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600435610540526020610540a360006004610580527fa9059cbb000000000000000000000000000000000000000000000000000000006105a0526105806004806020846105c00101826020850160045afa5050805182019150506104c0516020826105c00101526020810190506104e0516020826105c0010152602081019050806105c0526105c0505060206106606105c0516105e0600060016104a0516002811015613db05702600201545af16126b7573d600060003e3d6000fd5b61064060203d8082116126ca57816126cc565b805b905090508152805160200180610540828460045afa90505050600061054051111561270c57610560516105405181816020036008021c9050905015613db0575b337f5ad056f2e28a8cec232015406b843668c1e36cda598127ec3b8c59b8c72773a0600435610580526104e0516105a052610520516105c0526060610580a26104e0516105805260206105806000600055f35b633c157e6481186128e35763f851a440610160526020610160600461017c6001545afa612791573d600060003e3d6000fd5b601f3d1115613db057610160513318613db057600954620151808181830110613db057808201905090504210613db05742620151808181830110613db0578082019050905060243510613db0576127e9610180612fa4565b61018051610160526004356064808202821582848304141715613db057905090506101805260006004351161281f576000612828565b620f4240600435105b15613db0576101605161018051106128625761016051600a808202821582848304141715613db057905090506101805111613db057612886565b6101605161018051600a808202821582848304141715613db0579050905010613db0575b610160516007556101805160085542600955602435600a557fa2b71ec6df949300b59aab36b55e189697b750119dd349fcfa8c0f779e83c254610160516101a052610180516101c052426101e0526024356102005260806101a0a1005b63551a658881186129875763f851a440610160526020610160600461017c6001545afa612915573d600060003e3d6000fd5b601f3d1115613db057610160513318613db057612933610180612fa4565b610180516101605261016051600755610160516008554260095542600a557f46e22fb3709ad289f62ce63d469248536dbc78d82b84a3d7e74ad606dc2019386101605161018052426101a0526040610180a1005b63e2e7d2648118612a03576370a0823160e0523061010052602060e0602460fc60016004356002811015613db05702600201545afa6129cb573d600060003e3d6000fd5b601f3d1115613db05760e05160016004356002811015613db0570260040154808210613db05780820390509050610120526020610120f35b6330c540858118612b875763154aa8f56101005230610120526020610100602461011c6001545afa612a3a573d600060003e3d6000fd5b601f3d1115613db057610100518060a01c613db05760e05261010060006002818352015b6001610100516002811015613db0570260020154610120526370a082316101605230610180526020610160602461017c610120515afa612aa3573d600060003e3d6000fd5b601f3d1115613db057610160516001610100516002811015613db0570260040154808210613db057808203905090506101405260006004610160527fa9059cbb00000000000000000000000000000000000000000000000000000000610180526101606004806020846101a00101826020850160045afa50508051820191505060e0516020826101a0010152602081019050610140516020826101a0010152602081019050806101a0526101a05050600060006101a0516101c06000610120515af1612b74573d600060003e3d6000fd5b8151600101808352811415612a5e575050005b6354fd4d508118612c2157610120806020808252600660e0527f76352e302e3000000000000000000000000000000000000000000000000000006101005260e0818401808280516020018083828460045afa905050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f82010390509050905090508101905090509050610120f35b63c66106578118612c485760016004356002811015613db057026002015460e052602060e0f35b634903b0d18118612c6f5760016004356002811015613db057026004015460e052602060e0f35b63ddca3f438118612c865760065460e052602060e0f35b635409491a8118612c9d5760075460e052602060e0f35b63b4b577ad8118612cb45760085460e052602060e0f35b632081066c8118612ccb5760095460e052602060e0f35b63140522888118612ce257600a5460e052602060e0f35b6306fdde038118612d855760e080602080825280830180600d8082602082540160c060006003818352015b8260c0516020021115612d1f57612d3e565b60c05185015460c0516020028501528151600101808352811415612d0d575b5050505050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f820103905090509050810190509050905060e0f35b6395d89b418118612e285760e08060208082528083018060108082602082540160c060006002818352015b8260c0516020021115612dc257612de1565b60c05185015460c0516020028501528151600101808352811415612db0575b5050505050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f820103905090509050810190509050905060e0f35b6370a082318118612e5d576004358060a01c613db05760e052601260e05160a052608052604060802054610100526020610100f35b63dd62ed3e8118612eb0576004358060a01c613db05760e0526024358060a01c613db05761010052601360e05160a05260805260406080206101005160a052608052604060802054610120526020610120f35b6318160ddd8118612ec75760145460e052602060e0f35b633644e5158118612ede5760155460e052602060e0f35b637ecebe008118612f13576004358060a01c613db05760e052601660e05160a052608052604060802054610100526020610100f35b505b60006000fd5b601260e05160a0526080526040608020805461012051808210613db0578082039050905081555060126101005160a05260805260406080208054610120518181830110613db057808201905090508155506101005160e0517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61012051610140526020610140a3565b600a5460e0526008546101005260e0514210612fca57610100518152506130dd566130dd565b600754610120526009546101405261012051610100511161306257610120516101205161010051808210613db057808203905090504261014051808210613db05780820390509050808202821582848304141715613db0579050905060e05161014051808210613db05780820390509050808015613db057820490509050808210613db057808203905090508152506130dd566130dd565b610120516101005161012051808210613db057808203905090504261014051808210613db05780820390509050808202821582848304141715613db0579050905060e05161014051808210613db05780820390509050808015613db0578204905090508181830110613db057808201905090508152506130dd565b565b604036610160376101a060006002818352015b60e06101a0516002811015613db05760200201516101206101a0516002811015613db0576020020151808202821582848304141715613db05790509050670de0b6b3a7640000808204905090506101606101a0516002811015613db057602002015281516001018083528114156130f257505061016051815261018051816020015250565b60006101405261018060006002818352015b6020610180510260e00151610160526101408051610160518181830110613db057808201905090508152508151600101808352811415613189575050610140516131d75760008152506133c8565b6101405161016052610120516002808202821582848304141715613db05790509050610180526101a0600060ff818352015b6101605161016051808202821582848304141715613db0579050905060e051808015613db05782049050905061016051808202821582848304141715613db0579050905061010051808015613db0578204905090506004808204905090506101c052610160516101e0526101805161014051808202821582848304141715613db057905090506064808204905090506101c0516002808202821582848304141715613db057905090508181830110613db0578082019050905061016051808202821582848304141715613db05790509050610180516064808210613db0578082039050905061016051808202821582848304141715613db0579050905060648082049050905060036101c051808202821582848304141715613db057905090508181830110613db05780820190509050808015613db057820490509050610160526101e05161016051116133865760016101e05161016051808210613db05780820390509050116133b1575050610160518152506133c8566133b1565b6001610160516101e051808210613db05780820390509050116133b1575050610160518152506133c8565b815160010180835281141561320957505060006000fd5b565b6102005160e0526102205161010052610240516101205261026051610140526133f46102e06130df565b6102e080516102a05280602001516102c052506102a05160e0526102c0516101005261028051610120526134296102e0613177565b6102e051815250565b610220516102005114613db05760006102205112613db0576002610220511215613db05760006102005112613db0576002610200511215613db0576134786102c0612fa4565b6102c0516102a0526102605160e05261028051610100526102a051610120526134a26102e0613177565b6102e0516102c0526060366102e0376102c051610340526102a0516002808202821582848304141715613db057905090506103605261038060006002818352015b6102005161038051186134fd57610240516103005261352e565b61022051610380511415613514576135925661352e565b610260610380516002811015613db0576020020151610300525b6102e08051610300518181830110613db05780820190509050815250610340516102c051808202821582848304141715613db05790509050610300516002808202821582848304141715613db05790509050808015613db057820490509050610340525b81516001018083528114156134e3575050610340516102c051808202821582848304141715613db057905090506064808202821582848304141715613db05790509050610360516002808202821582848304141715613db05790509050808015613db057820490509050610340526102e0516102c0516064808202821582848304141715613db0579050905061036051808015613db0578204905090508181830110613db05780820190509050610380526102c0516103a0526103c0600060ff818352015b6103a051610320526103a0516103a051808202821582848304141715613db05790509050610340518181830110613db0578082019050905060026103a051808202821582848304141715613db05790509050610380518181830110613db057808201905090506102c051808210613db05780820390509050808015613db0578204905090506103a052610320516103a0511161371c576001610320516103a051808210613db05780820390509050116137475750506103a05181525061375e56613747565b60016103a05161032051808210613db05780820390509050116137475750506103a05181525061375e565b815160010180835281141561365757505060006000fd5b565b60006101005112613db0576002610100511215613db05760603661018037610160516101e05260e0516002808202821582848304141715613db057905090506102005261022060006002818352015b610100516102205114156137c657613844566137e0565b610120610220516002811015613db05760200201516101a0525b61018080516101a0518181830110613db057808201905090508152506101e05161016051808202821582848304141715613db057905090506101a0516002808202821582848304141715613db05790509050808015613db0578204905090506101e0525b81516001018083528114156137af5750506101e05161016051808202821582848304141715613db057905090506064808202821582848304141715613db05790509050610200516002808202821582848304141715613db05790509050808015613db0578204905090506101e05261018051610160516064808202821582848304141715613db0579050905061020051808015613db0578204905090508181830110613db05780820190509050610220526101605161024052610260600060ff818352015b610240516101c0526102405161024051808202821582848304141715613db057905090506101e0518181830110613db05780820190509050600261024051808202821582848304141715613db05790509050610220518181830110613db0578082019050905061016051808210613db05780820390509050808015613db057820490509050610240526101c05161024051116139ce5760016101c05161024051808210613db05780820390509050116139f957505061024051815250613a10566139f9565b6001610240516101c051808210613db05780820390509050116139f957505061024051815250613a10565b815160010180835281141561390957505060006000fd5b565b613a1d6102e0612fa4565b6102e0516102c052600b546102e052600c54610300526102e05160e05261030051610100526004546101205260055461014052613a5b6103606130df565b610360805161032052806020015161034052506103205160e05261034051610100526102c05161012052613a90610380613177565b610380516103605260145461038052610360516102805161036051808202821582848304141715613db0579050905061038051808015613db057820490509050808210613db057808203905090506103a0526102c05160e0526102a05161010052610320516101205261034051610140526103a05161016052613b146103e0613760565b6103e0516103c0526006546002808202821582848304141715613db057905090506004808204905090506103e0526040366104003761044060006002818352015b600061046052610320610440516002811015613db0576020020151610480526102a0516104405118613bc957610480516103a051808202821582848304141715613db0579050905061036051808015613db0578204905090506103c051808210613db0578082039050905061046052613c0d565b61048051610480516103a051808202821582848304141715613db0579050905061036051808015613db057820490509050808210613db05780820390509050610460525b610480516103e05161046051808202821582848304141715613db057905090506402540be40080820490509050808210613db05780820390509050610400610440516002811015613db05760200201528151600101808352811415613b555750506104006102a0516002811015613db05760200201516102c05160e0526102a05161010052610400516101205261042051610140526103a05161016052613cb5610460613760565b61046051808210613db05780820390509050610440526103206102a0516002811015613db05760200201516103c051808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db057905090506102e06102a0516002811015613db0576020020151808015613db05782049050905061046052610440516001808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db057905090506102e06102a0516002811015613db0576020020151808015613db057820490509050610440526104405181526104605161044051808210613db05780820390509050816020015250565b600080fd5b61000a613dbf0361000a60003961000a613dbf036000f3

0x600436101561000d57612f15565b60046000601c3760005134613db05763a461b3c88118610399576004356004016020813511613db057808035602001808260e037505050602435600401600a813511613db0578080356020018082610120375050506044358060a01c613db057610160526064358060a01c613db057610180526084358060a01c613db0576101a05260a4358060a01c613db0576101c052600654613db0576101e060006002818352015b6101606101e0516004811015613db057602002015161020052610200516100d75761011e565b6102005160016101e0516002811015613db057026002015560206101e0510260c4013560016101e0516002811015613db05702600b015581516001018083528114156100b1575b5050610144356064808202821582848304141715613db057905090506101e0526101e0516007556101e05160085561016435600655336001556000601d610260527f43757276652e666920466163746f727920506c61696e20506f6f6c3a2000000061028052610260601d806020846102a00101826020850160045afa50508051820191505060e06020806020846102a00101826020850160045afa505080518201915050806102a0526102a09050805160200180610200828460045afa9050505061020080600d602082510160c060006003818352015b8260c051602002111561020857610227565b60c05160200285015160c05185015581516001018083528114156101f6575b5050505050506000610120600a806020846102a00101826020850160045afa5050805182019150506002610260527f2d66000000000000000000000000000000000000000000000000000000000000610280526102606002806020846102a00101826020850160045afa505080518201915050806102a0526102a09050806010602082510160c060006002818352015b8260c05160200211156102c9576102e8565b60c05160200285015160c05185015581516001018083528114156102b7575b5050505050507f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f61034052610200805160208201209050610360527f572f01d824885a118d5d21c74542f263b131d2897955c62a721594f1d7c3b2e261038052466103a052306103c05260a0610320526103208051602082012090506015553060007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6000610260526020610260a3005b63313ce56781186103af57601260e052602060e0f35b63a9059cbb81186103f1576004358060a01c613db057610160523360e0526101605161010052602435610120526103e4612f1b565b6001610180526020610180f35b6323b872dd81186104c5576004358060a01c613db057610160526024358060a01c613db057610180526101605160e052610180516101005260443561012052610438612f1b565b60136101605160a05260805260406080203360a0526080526040608020546101a0527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6101a051146104b8576101a051604435808210613db0578082039050905060136101605160a05260805260406080203360a0526080526040608020555b60016101c05260206101c0f35b63095ea7b3811861053d576004358060a01c613db05760e05260243560133360a052608052604060802060e05160a05260805260406080205560e051337f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925602435610100526020610100a36001610100526020610100f35b63d505accf81186108aa576004358060a01c613db05760e0526024358060a01c613db057610100526084358060081c613db05761012052600060e05114613db0576064354211613db057601660e05160a0526080526040608020546101405260006002610400527f1901000000000000000000000000000000000000000000000000000000000000610420526104006002806020846106000101826020850160045afa5050805182019150506015546020826106000101526020810190507f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c96105405260e0516105605261010051610580526044356105a052610140516105c0526064356105e05260c0610520526105208051602082012090506020826106000101526020810190508061060052610600905080516020820120905061016052600060e0513b116106be5760e0516101605161018052610120516101a052604060a46101c03760206080608061018060015afa5060805118613db05761081e565b600060a4356102205260c435610240526040610200526102006040806020846102c00101826020850160045afa505080518201915050601f60016020820661026001602082840111613db0576020806102808261012060045afa5050818152905090506001806020846102c00101826020850160045afa505080518201915050806102c0526102c09050805160200180610180828460045afa905050507f1626ba7e00000000000000000000000000000000000000000000000000000000631626ba7e610200526102208060406101605182526020820191508082528083018061018080516020018083828460045afa905050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f820103905090509050810150505050602061020060c461021c60e0515afa61080b573d600060003e3d6000fd5b601f3d1115613db0576102005118613db0575b604435601360e05160a05260805260406080206101005160a0526080526040608020556101405160018181830110613db05780820190509050601660e05160a0526080526040608020556101005160e0517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925604435610180526020610180a36001610180526020610180f35b6314f0597981186108c85760045460e05260055461010052604060e0f35b63fee3f7f981186108e25764012a05f20060e052602060e0f35b63f446c1d08118610910576108f8610160612fa4565b61016051606480820490509050610180526020610180f35b6376a2f0f0811861093557610926610160612fa4565b61016051610180526020610180f35b63bb7b8b8081186109f25761094b610220612fa4565b6102205161020052600b5460e052600c546101005260045461012052600554610140526109796102606130df565b610260805161022052806020015161024052506102205160e052610240516101005261020051610120526109ae610280613177565b610280516102605261026051670de0b6b3a7640000808202821582848304141715613db05790509050601454808015613db057820490509050610280526020610280f35b63ed8e84f38118610bb0576044358060011c613db05761032052610a17610360612fa4565b61036051610340526004546103605260055461038052600b5461020052600c5461022052610360516102405261038051610260526103405161028052610a5e6103c06133ca565b6103c0516103a0526103c060006002818352015b60206103c05102600401356103e05261032051610ab9576103606103c0516002811015613db0576020020180516103e051808210613db05780820390509050815250610ae7565b6103606103c0516002811015613db0576020020180516103e0518181830110613db057808201905090508152505b8151600101808352811415610a72575050600b5461020052600c5461022052610360516102405261038051610260526103405161028052610b296103e06133ca565b6103e0516103c05260006103e05261032051610b5e576103a0516103c051808210613db057808203905090506103e052610b79565b6103c0516103a051808210613db057808203905090506103e0525b6103e051601454808202821582848304141715613db057905090506103a051808015613db057820490509050610400526020610400f35b630b4c7e4d8118610bc5573361032052610be0565b630c3e4b548118611220576064358060a01c613db057610320525b600054613db0576001600055610bf7610360612fa4565b61036051610340526004546103605260055461038052600b546103a052600c546103c0526103a051610200526103c05161022052610360516102405261038051610260526103405161028052610c4e6104006133ca565b610400516103e052601454610400526103605161042052610380516104405261046060006002818352015b60206104605102600401356104805260006104805111610ca35760006104005114613db057610de3565b600060046104e0527f23b872dd00000000000000000000000000000000000000000000000000000000610500526104e06004806020846105200101826020850160045afa5050805182019150503360208261052001015260208101905030602082610520010152602081019050610480516020826105200101526020810190508061052052610520505060206105e06105205161054060006001610460516002811015613db05702600201545af1610d60573d600060003e3d6000fd5b6105c060203d808211610d735781610d75565b805b9050905081528051602001806104a0828460045afa9050505060006104a0511115610db5576104c0516104a05181816020036008021c9050905015613db0575b610420610460516002811015613db057602002018051610480518181830110613db057808201905090508152505b8151600101808352811415610c795750506103a051610200526103c05161022052610420516102405261044051610260526103405161028052610e276104806133ca565b61048051610460526103e051610460511115613db0576060366104803760006104005111610e6a576104205160045561044051600555610460516104c0526110b0565b6006546002808202821582848304141715613db057905090506004808204905090506104e05261050060006002818352015b61046051610360610500516002811015613db0576020020151808202821582848304141715613db057905090506103e051808015613db05782049050905061052052600061054052610420610500516002811015613db057602002015161056052610560516105205111610f29576105605161052051808210613db0578082039050905061054052610f44565b6105205161056051808210613db05780820390509050610540525b6104e05161054051808202821582848304141715613db057905090506402540be40080820490509050610480610500516002811015613db057602002015261056051610480610500516002811015613db057602002015164012a05f200808202821582848304141715613db057905090506402540be40080820490509050808210613db057808203905090506001610500516002811015613db0570260040155610420610500516002811015613db057602002018051610480610500516002811015613db0576020020151808210613db057808203905090508152508151600101808352811415610e9c5750506103a051610200526103c051610220526104205161024052610440516102605261034051610280526110646105206133ca565b610520516105005261040051610500516103e051808210613db05780820390509050808202821582848304141715613db057905090506103e051808015613db0578204905090506104c0525b6044356104c05110156111345760146104e0527f536c697070616765207363726577656420796f75000000000000000000000000610500526104e0506104e0518061050001818260206001820306601f82010390500336823750506308c379a06104a05260206104c0526104e05160206001820306601f82010390506044016104bcfd5b61040080516104c0518181830110613db0578082019050905081525060126103205160a052608052604060802080546104c0518181830110613db05780820190509050815550610400516014556103205160007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6104c0516104e05260206104e0a3337f26f55a85081d24974e85c6c00045d0f0453991e95873f52bff0d21af4079a7686004356104e0526024356105005261048051610520526104a051610540526104605161056052610400516105805260c06104e0a26104c0516104e05260206104e06000600055f35b635e0d443f8118611403576004358060801d81607f1d18613db0576103e0526024358060801d81607f1d18613db05761040052600b5461042052600c54610440526104205160e052610440516101005260045461012052600554610140526112896104a06130df565b6104a0805161046052806020015161048052506104606103e0516002811015613db05760200201516044356104206103e0516002811015613db0576020020151808202821582848304141715613db05790509050670de0b6b3a7640000808204905090508181830110613db057808201905090506104a0526103e0516102005261040051610220526104a05161024052610460516102605261048051610280526113346104e0613432565b6104e0516104c052610460610400516002811015613db05760200201516104c051808210613db057808203905090506001808210613db057808203905090506104e0526006546104e051808202821582848304141715613db057905090506402540be40080820490509050610500526104e05161050051808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db05790509050610420610400516002811015613db0576020020151808015613db057820490509050610520526020610520f35b633df021248118611418573361042052611433565b63ddc1f59d8118611a39576084358060a01c613db057610420525b6004358060801d81607f1d18613db0576103e0526024358060801d81607f1d18613db05761040052600054613db0576001600055600b5461044052600c5461046052600454610480526005546104a0526104405160e052610460516101005261048051610120526104a051610140526114ad6105006130df565b61050080516104c05280602001516104e052506104c06103e0516002811015613db05760200201516044356104406103e0516002811015613db0576020020151808202821582848304141715613db05790509050670de0b6b3a7640000808204905090508181830110613db05780820190509050610500526103e05161020052610400516102205261050051610240526104c051610260526104e05161028052611558610540613432565b61054051610520526104c0610400516002811015613db057602002015161052051808210613db057808203905090506001808210613db057808203905090506105405261054051600654808202821582848304141715613db057905090506402540be40080820490509050610560526105405161056051808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db05790509050610440610400516002811015613db0576020020151808015613db057820490509050610540526064356105405110156116c957602e610580527f45786368616e676520726573756c74656420696e20666577657220636f696e736105a0527f207468616e2065787065637465640000000000000000000000000000000000006105c0526105805061058051806105a001818260206001820306601f82010390500336823750506308c379a0610540526020610560526105805160206001820306601f820103905060440161055cfd5b6105605164012a05f200808202821582848304141715613db057905090506402540be400808204905090506105805261058051670de0b6b3a7640000808202821582848304141715613db05790509050610440610400516002811015613db0576020020151808015613db057820490509050610580526104806103e0516002811015613db05760200201516044358181830110613db0578082019050905060016103e0516002811015613db0570260040155610480610400516002811015613db057602002015161054051808210613db0578082039050905061058051808210613db057808203905090506001610400516002811015613db0570260040155600060046105e0527f23b872dd00000000000000000000000000000000000000000000000000000000610600526105e06004806020846106200101826020850160045afa50508051820191505033602082610620010152602081019050306020826106200101526020810190506044356020826106200101526020810190508061062052610620505060206106e061062051610640600060016103e0516002811015613db05702600201545af1611884573d600060003e3d6000fd5b6106c060203d8082116118975781611899565b805b9050905081528051602001806105a0828460045afa9050505060006105a05111156118d9576105c0516105a05181816020036008021c9050905015613db0575b600060046105e0527fa9059cbb00000000000000000000000000000000000000000000000000000000610600526105e06004806020846106200101826020850160045afa50508051820191505061042051602082610620010152602081019050610540516020826106200101526020810190508061062052610620505060206106c06106205161064060006001610400516002811015613db05702600201545af1611989573d600060003e3d6000fd5b6106a060203d80821161199c578161199e565b805b9050905081528051602001806105a0828460045afa9050505060006105a05111156119de576105c0516105a05181816020036008021c9050905015613db0575b337f8b3e96f2b889fa771c53c981b40daf005f63f637f1869f707052d15a3dd971406103e0516105e052604435610600526104005161062052610540516106405260806105e0a2610540516105e05260206105e06000600055f35b635b36389c8118611a4d573360e052611a67565b633eb1719f8118611db6576064358060a01c613db05760e0525b600054613db0576001600055601454610100526040366101203761016060006002818352015b6001610160516002811015613db05702600401546101805261018051600435808202821582848304141715613db0579050905061010051808015613db0578204905090506101a05260206101605102602401356101a0511015611b865760306101c0527f5769746864726177616c20726573756c74656420696e20666577657220636f696101e0527f6e73207468616e20657870656374656400000000000000000000000000000000610200526101c0506101c051806101e001818260206001820306601f82010390500336823750506308c379a06101805260206101a0526101c05160206001820306601f820103905060440161019cfd5b610180516101a051808210613db057808203905090506001610160516002811015613db05702600401556101a051610120610160516002811015613db057602002015260006004610200527fa9059cbb00000000000000000000000000000000000000000000000000000000610220526102006004806020846102400101826020850160045afa50508051820191505060e0516020826102400101526020810190506101a0516020826102400101526020810190508061024052610240505060206102e06102405161026060006001610160516002811015613db05702600201545af1611c78573d600060003e3d6000fd5b6102c060203d808211611c8b5781611c8d565b805b9050905081528051602001806101c0828460045afa9050505060006101c0511115611ccd576101e0516101c05181816020036008021c9050905015613db0575b8151600101808352811415611a8d5750506101008051600435808210613db0578082039050905081525060123360a05260805260406080208054600435808210613db05780820390509050815550610100516014556000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600435610160526020610160a3337f7c363854ccf79623411f8995b362bce5eddff18c927edc6f5dbbb5e05819a82c610120516101605261014051610180526040366101a037610100516101e05260a0610160a26101205161016052610140516101805260406101606000600055f35b63e31032738118611dcb573361032052611de6565b6352d2cfdd81186123e5576064358060a01c613db057610320525b600054613db0576001600055611dfd610360612fa4565b6103605161034052600b5461036052600c54610380526004546103a0526005546103c052610360516102005261038051610220526103a051610240526103c051610260526103405161028052611e546104006133ca565b610400516103e0526103a051610400526103c0516104205261044060006002818352015b60206104405102600401356104605260006104605114611fc257610400610440516002811015613db05760200201805161046051808210613db05780820390509050815250600060046104c0527fa9059cbb000000000000000000000000000000000000000000000000000000006104e0526104c06004806020846105000101826020850160045afa50508051820191505061032051602082610500010152602081019050610460516020826105000101526020810190508061050052610500505060206105a06105005161052060006001610440516002811015613db05702600201545af1611f6d573d600060003e3d6000fd5b61058060203d808211611f805781611f82565b805b905090508152805160200180610480828460045afa905050506000610480511115611fc2576104a0516104805181816020036008021c9050905015613db0575b8151600101808352811415611e78575050610360516102005261038051610220526104005161024052610420516102605261034051610280526120066104606133ca565b6104605161044052604036610460376006546002808202821582848304141715613db057905090506004808204905090506104a0526104c060006002818352015b610440516103a06104c0516002811015613db0576020020151808202821582848304141715613db057905090506103e051808015613db0578204905090506104e0526000610500526104006104c0516002811015613db057602002015161052052610520516104e051116120d457610520516104e051808210613db05780820390509050610500526120ef565b6104e05161052051808210613db05780820390509050610500525b6104a05161050051808202821582848304141715613db057905090506402540be400808204905090506104606104c0516002811015613db0576020020152610520516104606104c0516002811015613db057602002015164012a05f200808202821582848304141715613db057905090506402540be40080820490509050808210613db0578082039050905060016104c0516002811015613db05702600401556104006104c0516002811015613db0576020020180516104606104c0516002811015613db0576020020151808210613db0578082039050905081525081516001018083528114156120475750506103605161020052610380516102205261040051610240526104205161026052610340516102805261220f6104e06133ca565b6104e0516104c0526014546104e0526103e0516104c051808210613db057808203905090506104e051808202821582848304141715613db057905090506103e051808015613db05782049050905060018181830110613db05780820190509050610500526001610500511115613db057604435610500511115612303576014610520527f536c697070616765207363726577656420796f750000000000000000000000006105405261052050610520518061054001818260206001820306601f82010390500336823750506308c379a06104e0526020610500526105205160206001820306601f82010390506044016104fcfd5b6104e0805161050051808210613db057808203905090508152506104e05160145560123360a0526080526040608020805461050051808210613db057808203905090508155506000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61050051610520526020610520a3337f2b5508378d7e19e0d5fa338419034731416c4f5b219a10379956f764317fd47e600435610520526024356105405261046051610560526104805161058052610440516105a0526104e0516105c05260c0610520a2610500516105205260206105206000600055f35b63cc2b27d7811861242d576024358060801d81607f1d18613db0576104a052600435610280526104a0516102a05261241e6104c0613a12565b6104c051610500526020610500f35b631a4d01d2811861244257336104c05261245d565b63081579a5811861275f576064358060a01c613db0576104c0525b6024358060801d81607f1d18613db0576104a052600054613db0576001600055600435610280526104a0516102a052612497610520613a12565b61052080516104e052806020015161050052506044356104e051101561252e576018610520527f4e6f7420656e6f75676820636f696e732072656d6f76656400000000000000006105405261052050610520518061054001818260206001820306601f82010390500336823750506308c379a06104e0526020610500526105205160206001820306601f82010390506044016104fcfd5b60016104a0516002811015613db0570260040180546104e0516105005164012a05f200808202821582848304141715613db057905090506402540be400808204905090508181830110613db05780820190509050808210613db05780820390509050815550601454600435808210613db05780820390509050610520526105205160145560123360a05260805260406080208054600435808210613db057808203905090508155506000337fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600435610540526020610540a360006004610580527fa9059cbb000000000000000000000000000000000000000000000000000000006105a0526105806004806020846105c00101826020850160045afa5050805182019150506104c0516020826105c00101526020810190506104e0516020826105c0010152602081019050806105c0526105c0505060206106606105c0516105e0600060016104a0516002811015613db05702600201545af16126b7573d600060003e3d6000fd5b61064060203d8082116126ca57816126cc565b805b905090508152805160200180610540828460045afa90505050600061054051111561270c57610560516105405181816020036008021c9050905015613db0575b337f5ad056f2e28a8cec232015406b843668c1e36cda598127ec3b8c59b8c72773a0600435610580526104e0516105a052610520516105c0526060610580a26104e0516105805260206105806000600055f35b633c157e6481186128e35763f851a440610160526020610160600461017c6001545afa612791573d600060003e3d6000fd5b601f3d1115613db057610160513318613db057600954620151808181830110613db057808201905090504210613db05742620151808181830110613db0578082019050905060243510613db0576127e9610180612fa4565b61018051610160526004356064808202821582848304141715613db057905090506101805260006004351161281f576000612828565b620f4240600435105b15613db0576101605161018051106128625761016051600a808202821582848304141715613db057905090506101805111613db057612886565b6101605161018051600a808202821582848304141715613db0579050905010613db0575b610160516007556101805160085542600955602435600a557fa2b71ec6df949300b59aab36b55e189697b750119dd349fcfa8c0f779e83c254610160516101a052610180516101c052426101e0526024356102005260806101a0a1005b63551a658881186129875763f851a440610160526020610160600461017c6001545afa612915573d600060003e3d6000fd5b601f3d1115613db057610160513318613db057612933610180612fa4565b610180516101605261016051600755610160516008554260095542600a557f46e22fb3709ad289f62ce63d469248536dbc78d82b84a3d7e74ad606dc2019386101605161018052426101a0526040610180a1005b63e2e7d2648118612a03576370a0823160e0523061010052602060e0602460fc60016004356002811015613db05702600201545afa6129cb573d600060003e3d6000fd5b601f3d1115613db05760e05160016004356002811015613db0570260040154808210613db05780820390509050610120526020610120f35b6330c540858118612b875763154aa8f56101005230610120526020610100602461011c6001545afa612a3a573d600060003e3d6000fd5b601f3d1115613db057610100518060a01c613db05760e05261010060006002818352015b6001610100516002811015613db0570260020154610120526370a082316101605230610180526020610160602461017c610120515afa612aa3573d600060003e3d6000fd5b601f3d1115613db057610160516001610100516002811015613db0570260040154808210613db057808203905090506101405260006004610160527fa9059cbb00000000000000000000000000000000000000000000000000000000610180526101606004806020846101a00101826020850160045afa50508051820191505060e0516020826101a0010152602081019050610140516020826101a0010152602081019050806101a0526101a05050600060006101a0516101c06000610120515af1612b74573d600060003e3d6000fd5b8151600101808352811415612a5e575050005b6354fd4d508118612c2157610120806020808252600660e0527f76352e302e3000000000000000000000000000000000000000000000000000006101005260e0818401808280516020018083828460045afa905050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f82010390509050905090508101905090509050610120f35b63c66106578118612c485760016004356002811015613db057026002015460e052602060e0f35b634903b0d18118612c6f5760016004356002811015613db057026004015460e052602060e0f35b63ddca3f438118612c865760065460e052602060e0f35b635409491a8118612c9d5760075460e052602060e0f35b63b4b577ad8118612cb45760085460e052602060e0f35b632081066c8118612ccb5760095460e052602060e0f35b63140522888118612ce257600a5460e052602060e0f35b6306fdde038118612d855760e080602080825280830180600d8082602082540160c060006003818352015b8260c0516020021115612d1f57612d3e565b60c05185015460c0516020028501528151600101808352811415612d0d575b5050505050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f820103905090509050810190509050905060e0f35b6395d89b418118612e285760e08060208082528083018060108082602082540160c060006002818352015b8260c0516020021115612dc257612de1565b60c05185015460c0516020028501528151600101808352811415612db0575b5050505050508051806020830101818260206001820306601f8201039050033682375050805160200160206001820306601f820103905090509050810190509050905060e0f35b6370a082318118612e5d576004358060a01c613db05760e052601260e05160a052608052604060802054610100526020610100f35b63dd62ed3e8118612eb0576004358060a01c613db05760e0526024358060a01c613db05761010052601360e05160a05260805260406080206101005160a052608052604060802054610120526020610120f35b6318160ddd8118612ec75760145460e052602060e0f35b633644e5158118612ede5760155460e052602060e0f35b637ecebe008118612f13576004358060a01c613db05760e052601660e05160a052608052604060802054610100526020610100f35b505b60006000fd5b601260e05160a0526080526040608020805461012051808210613db0578082039050905081555060126101005160a05260805260406080208054610120518181830110613db057808201905090508155506101005160e0517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61012051610140526020610140a3565b600a5460e0526008546101005260e0514210612fca57610100518152506130dd566130dd565b600754610120526009546101405261012051610100511161306257610120516101205161010051808210613db057808203905090504261014051808210613db05780820390509050808202821582848304141715613db0579050905060e05161014051808210613db05780820390509050808015613db057820490509050808210613db057808203905090508152506130dd566130dd565b610120516101005161012051808210613db057808203905090504261014051808210613db05780820390509050808202821582848304141715613db0579050905060e05161014051808210613db05780820390509050808015613db0578204905090508181830110613db057808201905090508152506130dd565b565b604036610160376101a060006002818352015b60e06101a0516002811015613db05760200201516101206101a0516002811015613db0576020020151808202821582848304141715613db05790509050670de0b6b3a7640000808204905090506101606101a0516002811015613db057602002015281516001018083528114156130f257505061016051815261018051816020015250565b60006101405261018060006002818352015b6020610180510260e00151610160526101408051610160518181830110613db057808201905090508152508151600101808352811415613189575050610140516131d75760008152506133c8565b6101405161016052610120516002808202821582848304141715613db05790509050610180526101a0600060ff818352015b6101605161016051808202821582848304141715613db0579050905060e051808015613db05782049050905061016051808202821582848304141715613db0579050905061010051808015613db0578204905090506004808204905090506101c052610160516101e0526101805161014051808202821582848304141715613db057905090506064808204905090506101c0516002808202821582848304141715613db057905090508181830110613db0578082019050905061016051808202821582848304141715613db05790509050610180516064808210613db0578082039050905061016051808202821582848304141715613db0579050905060648082049050905060036101c051808202821582848304141715613db057905090508181830110613db05780820190509050808015613db057820490509050610160526101e05161016051116133865760016101e05161016051808210613db05780820390509050116133b1575050610160518152506133c8566133b1565b6001610160516101e051808210613db05780820390509050116133b1575050610160518152506133c8565b815160010180835281141561320957505060006000fd5b565b6102005160e0526102205161010052610240516101205261026051610140526133f46102e06130df565b6102e080516102a05280602001516102c052506102a05160e0526102c0516101005261028051610120526134296102e0613177565b6102e051815250565b610220516102005114613db05760006102205112613db0576002610220511215613db05760006102005112613db0576002610200511215613db0576134786102c0612fa4565b6102c0516102a0526102605160e05261028051610100526102a051610120526134a26102e0613177565b6102e0516102c0526060366102e0376102c051610340526102a0516002808202821582848304141715613db057905090506103605261038060006002818352015b6102005161038051186134fd57610240516103005261352e565b61022051610380511415613514576135925661352e565b610260610380516002811015613db0576020020151610300525b6102e08051610300518181830110613db05780820190509050815250610340516102c051808202821582848304141715613db05790509050610300516002808202821582848304141715613db05790509050808015613db057820490509050610340525b81516001018083528114156134e3575050610340516102c051808202821582848304141715613db057905090506064808202821582848304141715613db05790509050610360516002808202821582848304141715613db05790509050808015613db057820490509050610340526102e0516102c0516064808202821582848304141715613db0579050905061036051808015613db0578204905090508181830110613db05780820190509050610380526102c0516103a0526103c0600060ff818352015b6103a051610320526103a0516103a051808202821582848304141715613db05790509050610340518181830110613db0578082019050905060026103a051808202821582848304141715613db05790509050610380518181830110613db057808201905090506102c051808210613db05780820390509050808015613db0578204905090506103a052610320516103a0511161371c576001610320516103a051808210613db05780820390509050116137475750506103a05181525061375e56613747565b60016103a05161032051808210613db05780820390509050116137475750506103a05181525061375e565b815160010180835281141561365757505060006000fd5b565b60006101005112613db0576002610100511215613db05760603661018037610160516101e05260e0516002808202821582848304141715613db057905090506102005261022060006002818352015b610100516102205114156137c657613844566137e0565b610120610220516002811015613db05760200201516101a0525b61018080516101a0518181830110613db057808201905090508152506101e05161016051808202821582848304141715613db057905090506101a0516002808202821582848304141715613db05790509050808015613db0578204905090506101e0525b81516001018083528114156137af5750506101e05161016051808202821582848304141715613db057905090506064808202821582848304141715613db05790509050610200516002808202821582848304141715613db05790509050808015613db0578204905090506101e05261018051610160516064808202821582848304141715613db0579050905061020051808015613db0578204905090508181830110613db05780820190509050610220526101605161024052610260600060ff818352015b610240516101c0526102405161024051808202821582848304141715613db057905090506101e0518181830110613db05780820190509050600261024051808202821582848304141715613db05790509050610220518181830110613db0578082019050905061016051808210613db05780820390509050808015613db057820490509050610240526101c05161024051116139ce5760016101c05161024051808210613db05780820390509050116139f957505061024051815250613a10566139f9565b6001610240516101c051808210613db05780820390509050116139f957505061024051815250613a10565b815160010180835281141561390957505060006000fd5b565b613a1d6102e0612fa4565b6102e0516102c052600b546102e052600c54610300526102e05160e05261030051610100526004546101205260055461014052613a5b6103606130df565b610360805161032052806020015161034052506103205160e05261034051610100526102c05161012052613a90610380613177565b610380516103605260145461038052610360516102805161036051808202821582848304141715613db0579050905061038051808015613db057820490509050808210613db057808203905090506103a0526102c05160e0526102a05161010052610320516101205261034051610140526103a05161016052613b146103e0613760565b6103e0516103c0526006546002808202821582848304141715613db057905090506004808204905090506103e0526040366104003761044060006002818352015b600061046052610320610440516002811015613db0576020020151610480526102a0516104405118613bc957610480516103a051808202821582848304141715613db0579050905061036051808015613db0578204905090506103c051808210613db0578082039050905061046052613c0d565b61048051610480516103a051808202821582848304141715613db0579050905061036051808015613db057820490509050808210613db05780820390509050610460525b610480516103e05161046051808202821582848304141715613db057905090506402540be40080820490509050808210613db05780820390509050610400610440516002811015613db05760200201528151600101808352811415613b555750506104006102a0516002811015613db05760200201516102c05160e0526102a05161010052610400516101205261042051610140526103a05161016052613cb5610460613760565b61046051808210613db05780820390509050610440526103206102a0516002811015613db05760200201516103c051808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db057905090506102e06102a0516002811015613db0576020020151808015613db05782049050905061046052610440516001808210613db05780820390509050670de0b6b3a7640000808202821582848304141715613db057905090506102e06102a0516002811015613db0576020020151808015613db057820490509050610440526104405181526104605161044051808210613db05780820390509050816020015250565b600080fd