# @version 0.2.4
"""
@title Voting Escrow
@author Curve Finance
@license MIT
@notice Votes have a weight depending on time, so that users are
        committed to the future of (whatever they are voting for)
@dev Vote weight decays linearly over time. Lock time cannot be
     more than `MAXTIME` (1 years).
"""

# Voting escrow to have time-weighted votes
# Votes have a weight depending on time, so that users are committed
# to the future of (whatever they are voting for).
# The weight in this implementation is linear, and lock cannot be more than maxtime:
# w ^
# 1 +        /
#   |      /
#   |    /
#   |  /
#   |/
# 0 +--------+------> time
#       maxtime (1 years?)

struct Point:
    bias: int128
    slope: int128  # - dweight / dt
    ts: uint256
    blk: uint256  # block
# We cannot really do block numbers per se b/c slope is per time, not per block
# and per block could be fairly bad b/c Ethereum changes blocktimes.
# What we can do is to extrapolate ***At functions

struct LockedBalance:
    amount: int128
    end: uint256


interface ERC20:
    def decimals() -> uint256: view
    def name() -> String[64]: view
    def symbol() -> String[32]: view
    def transfer(to: address, amount: uint256) -> bool: nonpayable
    def transferFrom(spender: address, to: address, amount: uint256) -> bool: nonpayable


# Interface for checking whether address belongs to a whitelisted
# type of a smart wallet.
# When new types are added - the whole contract is changed
# The check() method is modifying to be able to use caching
# for individual wallet addresses
interface SmartWalletChecker:
    def check(addr: address) -> bool: nonpayable

DEPOSIT_FOR_TYPE: constant(int128) = 0
CREATE_LOCK_TYPE: constant(int128) = 1
INCREASE_LOCK_AMOUNT: constant(int128) = 2
INCREASE_UNLOCK_TIME: constant(int128) = 3


event CommitOwnership:
    admin: address

event ApplyOwnership:
    admin: address

event Deposit:
    provider: indexed(address)
    value: uint256
    locktime: indexed(uint256)
    type: int128
    ts: uint256

event Withdraw:
    provider: indexed(address)
    value: uint256
    ts: uint256

event Supply:
    prevSupply: uint256
    supply: uint256


WEEK: constant(uint256) = 7 * 86400  # all future times are rounded by week
MAXTIME: constant(uint256) = 1 * 365 * 86400  # 1 years
MULTIPLIER: constant(uint256) = 10 ** 18

token: public(address)
supply: public(uint256)

locked: public(HashMap[address, LockedBalance])

epoch: public(uint256)
point_history: public(Point[100000000000000000000000000000])  # epoch -> unsigned point
user_point_history: public(HashMap[address, Point[1000000000]])  # user -> Point[user_epoch]
user_point_epoch: public(HashMap[address, uint256])
slope_changes: public(HashMap[uint256, int128])  # time -> signed slope change

# Aragon's view methods for compatibility
controller: public(address)
transfersEnabled: public(bool)

name: public(String[64])
symbol: public(String[32])
version: public(String[32])
decimals: public(uint256)

# Checker for whitelisted (smart contract) wallets which are allowed to deposit
# The goal is to prevent tokenizing the escrow
future_smart_wallet_checker: public(address)
smart_wallet_checker: public(address)

admin: public(address)  # Can and will be a smart contract
future_admin: public(address)


@external
def __init__(token_addr: address, _name: String[64], _symbol: String[32], _version: String[32]):
    """
    @notice Contract constructor
    @param token_addr `ERC20CRV` token address
    @param _name Token name
    @param _symbol Token symbol
    @param _version Contract version - required for Aragon compatibility
    """
    self.admin = msg.sender
    self.token = token_addr
    self.point_history[0].blk = block.number
    self.point_history[0].ts = block.timestamp
    self.controller = msg.sender
    self.transfersEnabled = True

    _decimals: uint256 = ERC20(token_addr).decimals()
    assert _decimals <= 255
    self.decimals = _decimals

    self.name = _name
    self.symbol = _symbol
    self.version = _version


@external
def commit_transfer_ownership(addr: address):
    """
    @notice Transfer ownership of VotingEscrow contract to `addr`
    @param addr Address to have ownership transferred to
    """
    assert msg.sender == self.admin  # dev: admin only
    self.future_admin = addr
    log CommitOwnership(addr)


@external
def apply_transfer_ownership():
    """
    @notice Apply ownership transfer
    """
    assert msg.sender == self.admin  # dev: admin only
    _admin: address = self.future_admin
    assert _admin != ZERO_ADDRESS  # dev: admin not set
    self.admin = _admin
    log ApplyOwnership(_admin)


@external
def commit_smart_wallet_checker(addr: address):
    """
    @notice Set an external contract to check for approved smart contract wallets
    @param addr Address of Smart contract checker
    """
    assert msg.sender == self.admin
    self.future_smart_wallet_checker = addr


@external
def apply_smart_wallet_checker():
    """
    @notice Apply setting external contract to check approved smart contract wallets
    """
    assert msg.sender == self.admin
    self.smart_wallet_checker = self.future_smart_wallet_checker


@internal
def assert_not_contract(addr: address):
    """
    @notice Check if the call is from a whitelisted smart contract, revert if not
    @param addr Address to be checked
    """
    if addr != tx.origin:
        checker: address = self.smart_wallet_checker
        if checker != ZERO_ADDRESS:
            if SmartWalletChecker(checker).check(addr):
                return
        raise "Smart contract depositors not allowed"


@external
@view
def get_last_user_slope(addr: address) -> int128:
    """
    @notice Get the most recently recorded rate of voting power decrease for `addr`
    @param addr Address of the user wallet
    @return Value of the slope
    """
    uepoch: uint256 = self.user_point_epoch[addr]
    return self.user_point_history[addr][uepoch].slope


@external
@view
def user_point_history__ts(_addr: address, _idx: uint256) -> uint256:
    """
    @notice Get the timestamp for checkpoint `_idx` for `_addr`
    @param _addr User wallet address
    @param _idx User epoch number
    @return Epoch time of the checkpoint
    """
    return self.user_point_history[_addr][_idx].ts


@external
@view
def locked__end(_addr: address) -> uint256:
    """
    @notice Get timestamp when `_addr`'s lock finishes
    @param _addr User wallet
    @return Epoch time of the lock end
    """
    return self.locked[_addr].end


@internal
def _checkpoint(addr: address, old_locked: LockedBalance, new_locked: LockedBalance):
    """
    @notice Record global and per-user data to checkpoint
    @param addr User's wallet address. No user checkpoint if 0x0
    @param old_locked Pevious locked amount / end lock time for the user
    @param new_locked New locked amount / end lock time for the user
    """
    u_old: Point = empty(Point)
    u_new: Point = empty(Point)
    old_dslope: int128 = 0
    new_dslope: int128 = 0
    _epoch: uint256 = self.epoch

    if addr != ZERO_ADDRESS:
        # Calculate slopes and biases
        # Kept at zero when they have to
        if old_locked.end > block.timestamp and old_locked.amount > 0:
            u_old.slope = old_locked.amount / MAXTIME
            u_old.bias = u_old.slope * convert(old_locked.end - block.timestamp, int128)
        if new_locked.end > block.timestamp and new_locked.amount > 0:
            u_new.slope = new_locked.amount / MAXTIME
            u_new.bias = u_new.slope * convert(new_locked.end - block.timestamp, int128)

        # Read values of scheduled changes in the slope
        # old_locked.end can be in the past and in the future
        # new_locked.end can ONLY by in the FUTURE unless everything expired: than zeros
        old_dslope = self.slope_changes[old_locked.end]
        if new_locked.end != 0:
            if new_locked.end == old_locked.end:
                new_dslope = old_dslope
            else:
                new_dslope = self.slope_changes[new_locked.end]

    last_point: Point = Point({bias: 0, slope: 0, ts: block.timestamp, blk: block.number})
    if _epoch > 0:
        last_point = self.point_history[_epoch]
    last_checkpoint: uint256 = last_point.ts
    # initial_last_point is used for extrapolation to calculate block number
    # (approximately, for *At methods) and save them
    # as we cannot figure that out exactly from inside the contract
    initial_last_point: Point = last_point
    block_slope: uint256 = 0  # dblock/dt
    if block.timestamp > last_point.ts:
        block_slope = MULTIPLIER * (block.number - last_point.blk) / (block.timestamp - last_point.ts)
    # If last point is already recorded in this block, slope=0
    # But that's ok b/c we know the block in such case

    # Go over weeks to fill history and calculate what the current point is
    t_i: uint256 = (last_checkpoint / WEEK) * WEEK
    for i in range(255):
        # Hopefully it won't happen that this won't get used in 5 years!
        # If it does, users will be able to withdraw but vote weight will be broken
        t_i += WEEK
        d_slope: int128 = 0
        if t_i > block.timestamp:
            t_i = block.timestamp
        else:
            d_slope = self.slope_changes[t_i]
        last_point.bias -= last_point.slope * convert(t_i - last_checkpoint, int128)
        last_point.slope += d_slope
        if last_point.bias < 0:  # This can happen
            last_point.bias = 0
        if last_point.slope < 0:  # This cannot happen - just in case
            last_point.slope = 0
        last_checkpoint = t_i
        last_point.ts = t_i
        last_point.blk = initial_last_point.blk + block_slope * (t_i - initial_last_point.ts) / MULTIPLIER
        _epoch += 1
        if t_i == block.timestamp:
            last_point.blk = block.number
            break
        else:
            self.point_history[_epoch] = last_point

    self.epoch = _epoch
    # Now point_history is filled until t=now

    if addr != ZERO_ADDRESS:
        # If last point was in this block, the slope change has been applied already
        # But in such case we have 0 slope(s)
        last_point.slope += (u_new.slope - u_old.slope)
        last_point.bias += (u_new.bias - u_old.bias)
        if last_point.slope < 0:
            last_point.slope = 0
        if last_point.bias < 0:
            last_point.bias = 0

    # Record the changed point into history
    self.point_history[_epoch] = last_point

    if addr != ZERO_ADDRESS:
        # Schedule the slope changes (slope is going down)
        # We subtract new_user_slope from [new_locked.end]
        # and add old_user_slope to [old_locked.end]
        if old_locked.end > block.timestamp:
            # old_dslope was <something> - u_old.slope, so we cancel that
            old_dslope += u_old.slope
            if new_locked.end == old_locked.end:
                old_dslope -= u_new.slope  # It was a new deposit, not extension
            self.slope_changes[old_locked.end] = old_dslope

        if new_locked.end > block.timestamp:
            if new_locked.end > old_locked.end:
                new_dslope -= u_new.slope  # old slope disappeared at this point
                self.slope_changes[new_locked.end] = new_dslope
            # else: we recorded it already in old_dslope

        # Now handle user history
        user_epoch: uint256 = self.user_point_epoch[addr] + 1

        self.user_point_epoch[addr] = user_epoch
        u_new.ts = block.timestamp
        u_new.blk = block.number
        self.user_point_history[addr][user_epoch] = u_new


@internal
def _deposit_for(_payer: address, _addr: address, _value: uint256, unlock_time: uint256, locked_balance: LockedBalance, type: int128):
    """
    @notice Deposit and lock tokens for a user
    @param _addr User's wallet address
    @param _value Amount to deposit
    @param unlock_time New time when to unlock the tokens, or 0 if unchanged
    @param locked_balance Previous locked amount / timestamp
    """
    _locked: LockedBalance = locked_balance
    supply_before: uint256 = self.supply

    self.supply = supply_before + _value
    old_locked: LockedBalance = _locked
    # Adding to existing lock, or if a lock is expired - creating a new one
    _locked.amount += convert(_value, int128)
    if unlock_time != 0:
        _locked.end = unlock_time
    self.locked[_addr] = _locked

    # Possibilities:
    # Both old_locked.end could be current or expired (>/< block.timestamp)
    # value == 0 (extend lock) or value > 0 (add to lock or extend lock)
    # _locked.end > block.timestamp (always)
    self._checkpoint(_addr, old_locked, _locked)

    if _value != 0:
        assert ERC20(self.token).transferFrom(_payer, self, _value)

    log Deposit(_addr, _value, _locked.end, type, block.timestamp)
    log Supply(supply_before, supply_before + _value)


@external
def checkpoint():
    """
    @notice Record global data to checkpoint
    """
    self._checkpoint(ZERO_ADDRESS, empty(LockedBalance), empty(LockedBalance))


@external
@nonreentrant('lock')
def deposit_for(_addr: address, _value: uint256):
    """
    @notice Deposit `_value` tokens for `_addr` and add to the lock
    @dev Anyone (even a smart contract) can deposit for someone else, but
         cannot extend their locktime and deposit for a brand new user
    @param _addr User's wallet address
    @param _value Amount to add to user's lock
    """
    _locked: LockedBalance = self.locked[_addr]

    assert _value > 0  # dev: need non-zero value
    assert _locked.amount > 0, "No existing lock found"
    assert _locked.end > block.timestamp, "Cannot add to expired lock. Withdraw"

    self._deposit_for(msg.sender, _addr, _value, 0, self.locked[_addr], DEPOSIT_FOR_TYPE)


@external
@nonreentrant('lock')
def create_lock(_value: uint256, _unlock_time: uint256):
    """
    @notice Deposit `_value` tokens for `msg.sender` and lock until `_unlock_time`
    @param _value Amount to deposit
    @param _unlock_time Epoch time when tokens unlock, rounded down to whole weeks
    """
    self.assert_not_contract(msg.sender)
    unlock_time: uint256 = (_unlock_time / WEEK) * WEEK  # Locktime is rounded down to weeks
    _locked: LockedBalance = self.locked[msg.sender]

    assert _value > 0  # dev: need non-zero value
    assert _locked.amount == 0, "Withdraw old tokens first"
    assert unlock_time > block.timestamp, "Can only lock until time in the future"
    assert unlock_time <= block.timestamp + MAXTIME, "Voting lock can be 1 years max"

    self._deposit_for(msg.sender, msg.sender, _value, unlock_time, _locked, CREATE_LOCK_TYPE)


@external
@nonreentrant('lock')
def increase_amount(_value: uint256):
    """
    @notice Deposit `_value` additional tokens for `msg.sender`
            without modifying the unlock time
    @param _value Amount of tokens to deposit and add to the lock
    """
    self.assert_not_contract(msg.sender)
    _locked: LockedBalance = self.locked[msg.sender]

    assert _value > 0  # dev: need non-zero value
    assert _locked.amount > 0, "No existing lock found"
    assert _locked.end > block.timestamp, "Cannot add to expired lock. Withdraw"

    self._deposit_for(msg.sender, msg.sender, _value, 0, _locked, INCREASE_LOCK_AMOUNT)


@external
@nonreentrant('lock')
def increase_unlock_time(_unlock_time: uint256):
    """
    @notice Extend the unlock time for `msg.sender` to `_unlock_time`
    @param _unlock_time New epoch time for unlocking
    """
    self.assert_not_contract(msg.sender)
    _locked: LockedBalance = self.locked[msg.sender]
    unlock_time: uint256 = (_unlock_time / WEEK) * WEEK  # Locktime is rounded down to weeks

    assert _locked.end > block.timestamp, "Lock expired"
    assert _locked.amount > 0, "Nothing is locked"
    assert unlock_time > _locked.end, "Can only increase lock duration"
    assert unlock_time <= block.timestamp + MAXTIME, "Voting lock can be 1 years max"

    self._deposit_for(msg.sender, msg.sender, 0, unlock_time, _locked, INCREASE_UNLOCK_TIME)


@external
@nonreentrant('lock')
def withdraw():
    """
    @notice Withdraw all tokens for `msg.sender`
    @dev Only possible if the lock has expired
    """
    _locked: LockedBalance = self.locked[msg.sender]
    assert block.timestamp >= _locked.end, "The lock didn't expire"
    value: uint256 = convert(_locked.amount, uint256)

    old_locked: LockedBalance = _locked
    _locked.end = 0
    _locked.amount = 0
    self.locked[msg.sender] = _locked
    supply_before: uint256 = self.supply
    self.supply = supply_before - value

    # old_locked can have either expired <= timestamp or zero end
    # _locked has only 0 end
    # Both can have >= 0 amount
    self._checkpoint(msg.sender, old_locked, _locked)

    assert ERC20(self.token).transfer(msg.sender, value)

    log Withdraw(msg.sender, value, block.timestamp)
    log Supply(supply_before, supply_before - value)


# The following ERC20/minime-compatible methods are not real balanceOf and supply!
# They measure the weights for the purpose of voting, so they don't represent
# real coins.

@internal
@view
def find_block_epoch(_block: uint256, max_epoch: uint256) -> uint256:
    """
    @notice Binary search to estimate timestamp for block number
    @param _block Block to find
    @param max_epoch Don't go beyond this epoch
    @return Approximate timestamp for block
    """
    # Binary search
    _min: uint256 = 0
    _max: uint256 = max_epoch
    for i in range(128):  # Will be always enough for 128-bit numbers
        if _min >= _max:
            break
        _mid: uint256 = (_min + _max + 1) / 2
        if self.point_history[_mid].blk <= _block:
            _min = _mid
        else:
            _max = _mid - 1
    return _min


@external
@view
def balanceOf(addr: address, _t: uint256 = block.timestamp) -> uint256:
    """
    @notice Get the current voting power for `msg.sender`
    @dev Adheres to the ERC20 `balanceOf` interface for Aragon compatibility
    @param addr User wallet address
    @param _t Epoch time to return voting power at
    @return User voting power
    """
    _epoch: uint256 = self.user_point_epoch[addr]
    if _epoch == 0:
        return 0
    else:
        last_point: Point = self.user_point_history[addr][_epoch]
        last_point.bias -= last_point.slope * convert(_t - last_point.ts, int128)
        if last_point.bias < 0:
            last_point.bias = 0
        return convert(last_point.bias, uint256)


@external
@view
def balanceOfAt(addr: address, _block: uint256) -> uint256:
    """
    @notice Measure voting power of `addr` at block height `_block`
    @dev Adheres to MiniMe `balanceOfAt` interface: https://github.com/Giveth/minime
    @param addr User's wallet address
    @param _block Block to calculate the voting power at
    @return Voting power
    """
    # Copying and pasting totalSupply code because Vyper cannot pass by
    # reference yet
    assert _block <= block.number

    # Binary search
    _min: uint256 = 0
    _max: uint256 = self.user_point_epoch[addr]
    for i in range(128):  # Will be always enough for 128-bit numbers
        if _min >= _max:
            break
        _mid: uint256 = (_min + _max + 1) / 2
        if self.user_point_history[addr][_mid].blk <= _block:
            _min = _mid
        else:
            _max = _mid - 1

    upoint: Point = self.user_point_history[addr][_min]

    max_epoch: uint256 = self.epoch
    _epoch: uint256 = self.find_block_epoch(_block, max_epoch)
    point_0: Point = self.point_history[_epoch]
    d_block: uint256 = 0
    d_t: uint256 = 0
    if _epoch < max_epoch:
        point_1: Point = self.point_history[_epoch + 1]
        d_block = point_1.blk - point_0.blk
        d_t = point_1.ts - point_0.ts
    else:
        d_block = block.number - point_0.blk
        d_t = block.timestamp - point_0.ts
    block_time: uint256 = point_0.ts
    if d_block != 0:
        block_time += d_t * (_block - point_0.blk) / d_block

    upoint.bias -= upoint.slope * convert(block_time - upoint.ts, int128)
    if upoint.bias >= 0:
        return convert(upoint.bias, uint256)
    else:
        return 0


@internal
@view
def supply_at(point: Point, t: uint256) -> uint256:
    """
    @notice Calculate total voting power at some point in the past
    @param point The point (bias/slope) to start search from
    @param t Time to calculate the total voting power at
    @return Total voting power at that time
    """
    last_point: Point = point
    t_i: uint256 = (last_point.ts / WEEK) * WEEK
    for i in range(255):
        t_i += WEEK
        d_slope: int128 = 0
        if t_i > t:
            t_i = t
        else:
            d_slope = self.slope_changes[t_i]
        last_point.bias -= last_point.slope * convert(t_i - last_point.ts, int128)
        if t_i == t:
            break
        last_point.slope += d_slope
        last_point.ts = t_i

    if last_point.bias < 0:
        last_point.bias = 0
    return convert(last_point.bias, uint256)


@external
@view
def totalSupply(t: uint256 = block.timestamp) -> uint256:
    """
    @notice Calculate total voting power
    @dev Adheres to the ERC20 `totalSupply` interface for Aragon compatibility
    @return Total voting power
    """
    _epoch: uint256 = self.epoch
    last_point: Point = self.point_history[_epoch]
    return self.supply_at(last_point, t)


@external
@view
def totalSupplyAt(_block: uint256) -> uint256:
    """
    @notice Calculate total voting power at some point in the past
    @param _block Block to calculate the total voting power at
    @return Total voting power at `_block`
    """
    assert _block <= block.number
    _epoch: uint256 = self.epoch
    target_epoch: uint256 = self.find_block_epoch(_block, _epoch)

    point: Point = self.point_history[target_epoch]
    dt: uint256 = 0
    if target_epoch < _epoch:
        point_next: Point = self.point_history[target_epoch + 1]
        if point.blk != point_next.blk:
            dt = (_block - point.blk) * (point_next.ts - point.ts) / (point_next.blk - point.blk)
    else:
        if point.blk != block.number:
            dt = (_block - point.blk) * (block.timestamp - point.ts) / (block.number - point.blk)
    # Now dt contains info on how far are we beyond point

    return self.supply_at(point, point.ts + dt)


# Dummy methods for compatibility with Aragon

@external
def changeController(_newController: address):
    """
    @dev Dummy method required for Aragon compatibility
    """
    assert msg.sender == self.controller
    self.controller = _newController

• No Contract Security Audit Submitted- Submit Audit Here

[{"name":"CommitOwnership","inputs":[{"type":"address","name":"admin","indexed":false}],"anonymous":false,"type":"event"},{"name":"ApplyOwnership","inputs":[{"type":"address","name":"admin","indexed":false}],"anonymous":false,"type":"event"},{"name":"Deposit","inputs":[{"type":"address","name":"provider","indexed":true},{"type":"uint256","name":"value","indexed":false},{"type":"uint256","name":"locktime","indexed":true},{"type":"int128","name":"type","indexed":false},{"type":"uint256","name":"ts","indexed":false}],"anonymous":false,"type":"event"},{"name":"Withdraw","inputs":[{"type":"address","name":"provider","indexed":true},{"type":"uint256","name":"value","indexed":false},{"type":"uint256","name":"ts","indexed":false}],"anonymous":false,"type":"event"},{"name":"Supply","inputs":[{"type":"uint256","name":"prevSupply","indexed":false},{"type":"uint256","name":"supply","indexed":false}],"anonymous":false,"type":"event"},{"outputs":[],"inputs":[{"type":"address","name":"token_addr"},{"type":"string","name":"_name"},{"type":"string","name":"_symbol"},{"type":"string","name":"_version"}],"stateMutability":"nonpayable","type":"constructor"},{"name":"commit_transfer_ownership","outputs":[],"inputs":[{"type":"address","name":"addr"}],"stateMutability":"nonpayable","type":"function","gas":37597},{"name":"apply_transfer_ownership","outputs":[],"inputs":[],"stateMutability":"nonpayable","type":"function","gas":38497},{"name":"commit_smart_wallet_checker","outputs":[],"inputs":[{"type":"address","name":"addr"}],"stateMutability":"nonpayable","type":"function","gas":36307},{"name":"apply_smart_wallet_checker","outputs":[],"inputs":[],"stateMutability":"nonpayable","type":"function","gas":37095},{"name":"get_last_user_slope","outputs":[{"type":"int128","name":""}],"inputs":[{"type":"address","name":"addr"}],"stateMutability":"view","type":"function","gas":2569},{"name":"user_point_history__ts","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"address","name":"_addr"},{"type":"uint256","name":"_idx"}],"stateMutability":"view","type":"function","gas":1672},{"name":"locked__end","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"address","name":"_addr"}],"stateMutability":"view","type":"function","gas":1593},{"name":"checkpoint","outputs":[],"inputs":[],"stateMutability":"nonpayable","type":"function","gas":37052342},{"name":"deposit_for","outputs":[],"inputs":[{"type":"address","name":"_addr"},{"type":"uint256","name":"_value"}],"stateMutability":"nonpayable","type":"function","gas":74279917},{"name":"create_lock","outputs":[],"inputs":[{"type":"uint256","name":"_value"},{"type":"uint256","name":"_unlock_time"}],"stateMutability":"nonpayable","type":"function","gas":74281491},{"name":"increase_amount","outputs":[],"inputs":[{"type":"uint256","name":"_value"}],"stateMutability":"nonpayable","type":"function","gas":74280856},{"name":"increase_unlock_time","outputs":[],"inputs":[{"type":"uint256","name":"_unlock_time"}],"stateMutability":"nonpayable","type":"function","gas":74281605},{"name":"withdraw","outputs":[],"inputs":[],"stateMutability":"nonpayable","type":"function","gas":37223566},{"name":"balanceOf","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"address","name":"addr"}],"stateMutability":"view","type":"function"},{"name":"balanceOf","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"address","name":"addr"},{"type":"uint256","name":"_t"}],"stateMutability":"view","type":"function"},{"name":"balanceOfAt","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"address","name":"addr"},{"type":"uint256","name":"_block"}],"stateMutability":"view","type":"function","gas":514333},{"name":"totalSupply","outputs":[{"type":"uint256","name":""}],"inputs":[],"stateMutability":"view","type":"function"},{"name":"totalSupply","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"uint256","name":"t"}],"stateMutability":"view","type":"function"},{"name":"totalSupplyAt","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"uint256","name":"_block"}],"stateMutability":"view","type":"function","gas":812560},{"name":"changeController","outputs":[],"inputs":[{"type":"address","name":"_newController"}],"stateMutability":"nonpayable","type":"function","gas":36907},{"name":"token","outputs":[{"type":"address","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":1841},{"name":"supply","outputs":[{"type":"uint256","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":1871},{"name":"locked","outputs":[{"type":"int128","name":"amount"},{"type":"uint256","name":"end"}],"inputs":[{"type":"address","name":"arg0"}],"stateMutability":"view","type":"function","gas":3359},{"name":"epoch","outputs":[{"type":"uint256","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":1931},{"name":"point_history","outputs":[{"type":"int128","name":"bias"},{"type":"int128","name":"slope"},{"type":"uint256","name":"ts"},{"type":"uint256","name":"blk"}],"inputs":[{"type":"uint256","name":"arg0"}],"stateMutability":"view","type":"function","gas":5550},{"name":"user_point_history","outputs":[{"type":"int128","name":"bias"},{"type":"int128","name":"slope"},{"type":"uint256","name":"ts"},{"type":"uint256","name":"blk"}],"inputs":[{"type":"address","name":"arg0"},{"type":"uint256","name":"arg1"}],"stateMutability":"view","type":"function","gas":6079},{"name":"user_point_epoch","outputs":[{"type":"uint256","name":""}],"inputs":[{"type":"address","name":"arg0"}],"stateMutability":"view","type":"function","gas":2175},{"name":"slope_changes","outputs":[{"type":"int128","name":""}],"inputs":[{"type":"uint256","name":"arg0"}],"stateMutability":"view","type":"function","gas":2166},{"name":"controller","outputs":[{"type":"address","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2081},{"name":"transfersEnabled","outputs":[{"type":"bool","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2111},{"name":"name","outputs":[{"type":"string","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":8543},{"name":"symbol","outputs":[{"type":"string","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":7596},{"name":"version","outputs":[{"type":"string","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":7626},{"name":"decimals","outputs":[{"type":"uint256","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2231},{"name":"future_smart_wallet_checker","outputs":[{"type":"address","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2261},{"name":"smart_wallet_checker","outputs":[{"type":"address","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2291},{"name":"admin","outputs":[{"type":"address","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2321},{"name":"future_admin","outputs":[{"type":"address","name":""}],"inputs":[],"stateMutability":"view","type":"function","gas":2351}]

0x740100000000000000000000000000000000000000006020526f7fffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff8000000000000000000000000000000060605274012a05f1fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffed5fa0e000000000000000000000000000000000060a05260806135896101403934156100a157600080fd5b602061358960c03960c05160205181106100ba57600080fd5b506060602060206135890160c03960c051613589016101c0396040602060206135890160c03960c0516004013511156100f257600080fd5b6040602060406135890160c03960c05161358901610240396020602060406135890160c03960c05160040135111561012957600080fd5b6040602060606135890160c03960c051613589016102a0396020602060606135890160c03960c05160040135111561016057600080fd5b3360105561014051600055436003600460c052602060c02060c052602060c0200155426002600460c052602060c02060c052602060c02001553360085560016009556020610380600463313ce5676103205261033c610140515afa6101c457600080fd5b601f3d116101d157600080fd5b600050610380516103005260ff6103005111156101ed57600080fd5b61030051600d556101c080600a60c052602060c020602082510161012060006003818352015b8261012051602002111561022657610248565b61012051602002850151610120518501555b8151600101808352811415610213575b50505050505061024080600b60c052602060c020602082510161012060006002818352015b82610120516020021115610280576102a2565b61012051602002850151610120518501555b815160010180835281141561026d575b5050505050506102a080600c60c052602060c020602082510161012060006002818352015b826101205160200211156102da576102fc565b61012051602002850151610120518501555b81516001018083528114156102c7575b50505050505061357156600436101561000d57613264565b600035601c52740100000000000000000000000000000000000000006020526f7fffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff8000000000000000000000000000000060605274012a05f1fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffed5fa0e000000000000000000000000000000000060a052636b441a4060005114156101105734156100ba57600080fd5b60043560205181106100cb57600080fd5b5060105433146100da57600080fd5b600435601155600435610140527f2f56810a6bf40af059b96d3aea4db54081f378029a518390491093a7b67032e96020610140a1005b636a1c05ae600051141561018657341561012957600080fd5b601054331461013757600080fd5b601154610140526000610140511861014e57600080fd5b6101405160105561014051610160527febee2d5739011062cb4f14113f3b36bf0ffe3da5c0568f64189d1012a11891056020610160a1005b6357f901e260005114156101c757341561019f57600080fd5b60043560205181106101b057600080fd5b5060105433146101bf57600080fd5b600435600e55005b638e5b490f60005114156101f65734156101e057600080fd5b60105433146101ee57600080fd5b600e54600f55005b6000156102e7575b6101605261014052326101405118156102e157600f54610180526000610180511815610270576020610220602463c23697a86101a052610140516101c0526101bc6000610180515af161025057600080fd5b601f3d1161025d57600080fd5b600050610220511561026f5761016051565b5b6308c379a06102605260206102805260256102a0527f536d61727420636f6e7472616374206465706f7369746f7273206e6f7420616c6102c0527f6c6f7765640000000000000000000000000000000000000000000000000000006102e0526102a05060006102e057608461027cfd5b5b61016051565b637c74a174600051141561036b57341561030057600080fd5b600435602051811061031157600080fd5b50600660043560e05260c052604060c0205461014052600161014051633b9aca00811061033d57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c020015460005260206000f350005b63da020a1860005114156103d957341561038457600080fd5b600435602051811061039557600080fd5b506002602435633b9aca0081106103ab57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c020015460005260206000f350005b63adc63589600051141561042b5734156103f257600080fd5b600435602051811061040357600080fd5b506001600260043560e05260c052604060c02060c052602060c020015460005260206000f350005b600015610d33575b6101e0526101405261016052610180526101a0526101c052608036610200376080366102803760006103005260006103205260035461034052600061014051181561063c574261018051111561048f5760006101605113610492565b60005b1561052f57610160516301e1338060605181806104ae57600080fd5b8305806040519013156104c057600080fd5b80919012156104ce57600080fd5b9050905061022052610220516101805142808210156104ec57600080fd5b8082039050905060405181111561050257600080fd5b6060518183028060405190131561051857600080fd5b809190121561052657600080fd5b90509050610200525b426101c05111156105465760006101a05113610549565b60005b156105e6576101a0516301e13380606051818061056557600080fd5b83058060405190131561057757600080fd5b809190121561058557600080fd5b905090506102a0526102a0516101c05142808210156105a357600080fd5b808203905090506040518111156105b957600080fd5b606051818302806040519013156105cf57600080fd5b80919012156105dd57600080fd5b90509050610280525b60076101805160e05260c052604060c020546103005260006101c051181561063b57610180516101c051141561062357610300516103205261063a565b60076101c05160e05260c052604060c02054610320525b5b5b61036060008152600081602001524281604001524381606001525060006103405111156106d357610360610340516c01431e0fae6d7217caa0000000811061068357600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c0200154826060015250505b6103a0516103e0526104006103608051825280602001518260200152806040015182604001528060600151826060015250506000610480526103a05142111561078257670de0b6b3a7640000436103c0518082101561073157600080fd5b80820390509050808202821582848304141761074c57600080fd5b80905090509050426103a0518082101561076557600080fd5b80820390509050808061077757600080fd5b820490509050610480525b6103e05162093a80808061079557600080fd5b82049050905062093a8080820282158284830414176107b357600080fd5b809050905090506104a0526104c0600060ff818352015b6104a0805162093a808181830110156107e257600080fd5b8082019050905081525060006104e052426104a051111561080757426104a05261081e565b60076104a05160e05260c052604060c020546104e0525b6103608051610380516104a0516103e0518082101561083c57600080fd5b8082039050905060405181111561085257600080fd5b6060518183028060405190131561086857600080fd5b809190121561087657600080fd5b905090506060518183038060405190131561089057600080fd5b809190121561089e57600080fd5b9050905081525061038080516104e051606051818301806040519013156108c457600080fd5b80919012156108d257600080fd5b9050905081525060006103605112156108ec576000610360525b60006103805112156108ff576000610380525b6104a0516103e0526104a0516103a05261046051610480516104a051610440518082101561092c57600080fd5b80820390509050808202821582848304141761094757600080fd5b80905090509050670de0b6b3a7640000808061096257600080fd5b82049050905081818301101561097757600080fd5b808201905090506103c0526103408051600181818301101561099857600080fd5b80820190509050815250426104a05114156109bb57436103c052610a2456610a13565b610340516c01431e0fae6d7217caa000000081106109d857600080fd5b600460c052602060c0200160c052602060c0206103608051825580602001516001830155806040015160028301558060600151600383015550505b5b81516001018083528114156107ca575b5050610340516003556000610140511815610b205761038080516102a0516102205160605181830380604051901315610a5c57600080fd5b8091901215610a6a57600080fd5b9050905060605181830180604051901315610a8457600080fd5b8091901215610a9257600080fd5b905090508152506103608051610280516102005160605181830380604051901315610abc57600080fd5b8091901215610aca57600080fd5b9050905060605181830180604051901315610ae457600080fd5b8091901215610af257600080fd5b905090508152506000610380511215610b0c576000610380525b6000610360511215610b1f576000610360525b5b610340516c01431e0fae6d7217caa00000008110610b3d57600080fd5b600460c052602060c0200160c052602060c0206103608051825580602001516001830155806040015160028301558060600151600383015550506000610140511815610d2d5742610180511115610c1c5761030080516102205160605181830180604051901315610bad57600080fd5b8091901215610bbb57600080fd5b90509050815250610180516101c0511415610c055761030080516102a05160605181830380604051901315610bef57600080fd5b8091901215610bfd57600080fd5b905090508152505b6103005160076101805160e05260c052604060c020555b426101c0511115610c8157610180516101c0511115610c805761032080516102a05160605181830380604051901315610c5457600080fd5b8091901215610c6257600080fd5b905090508152506103205160076101c05160e05260c052604060c020555b5b60066101405160e05260c052604060c020546001818183011015610ca457600080fd5b80820190509050610500526105005160066101405160e05260c052604060c02055426102c052436102e05261050051633b9aca008110610ce357600080fd5b60056101405160e05260c052604060c02060c052602060c0200160c052602060c0206102808051825580602001516001830155806040015160028301558060600151600383015550505b6101e051565b600015610fd9575b610220526101405261016052610180526101a0526101c0526101e052610200526102406101c080518252806020015182602001525050600154610280526102805161018051818183011015610d8f57600080fd5b808201905090506001556102a061024080518252806020015182602001525050610240805161018051604051811115610dc757600080fd5b60605181830180604051901315610ddd57600080fd5b8091901215610deb57600080fd5b9050905081525060006101a0511815610e07576101a051610260525b60026101605160e05260c052604060c02060c052602060c020610240805182558060200151600183015550506101406102e0525b6102e0515160206102e051016102e0526102e06102e0511015610e5d57610e3b565b61016051610300526103206102a08051825280602001518260200152505061036061024080518252806020015182602001525050610380516103605161034051610320516103005160065801610433565b6102c06102e0525b6102e0515260206102e051036102e0526101406102e051101515610ed957610eb6565b6000506000610180511815610f3e5760206104a060646323b872dd6103e0526101405161040052306104205261018051610440526103fc60006000545af1610f2057600080fd5b601f3d11610f2d57600080fd5b6000506104a051610f3d57600080fd5b5b610180516104c052610200516104e052426105005261026051610160517f4566dfc29f6f11d13a418c26a02bef7c28bae749d4de47e4e6a7cddea6730d5960606104c0a361028051610520526102805161018051818183011015610fa157600080fd5b80820190509050610540527f5e2aa66efd74cce82b21852e317e5490d9ecc9e6bb953ae24d90851258cc2f5c6040610520a161022051565b63c2c4c5c16000511415611028573415610ff257600080fd5b600061014052604036610160376040366101a0376101c0516101a05161018051610160516101405160065801610433565b600050005b633a46273e60005114156112475762ffffff541561104557600080fd5b600162ffffff55341561105757600080fd5b600435602051811061106857600080fd5b50610140600260043560e05260c052604060c0208060c052602060c02054825260018160c052602060c0200154826020015250506000602435116110ab57600080fd5b6308c379a06101805260206101a05260166101c0527f4e6f206578697374696e67206c6f636b20666f756e64000000000000000000006101e0526101c050600061014051136110fb57606461019cfd5b6308c379a0610220526020610240526024610260527f43616e6e6f742061646420746f2065787069726564206c6f636b2e2057697468610280527f64726177000000000000000000000000000000000000000000000000000000006102a0526102605042610160511161116f57608461023cfd5b6101406102e0525b6102e0515160206102e051016102e0526102e06102e051101561119957611177565b33610300526004356103205260243561034052600061036052610380600260043560e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060006103c0526103c0516103a051610380516103605161034051610320516103005160065801610d3b565b6102c06102e0525b6102e0515260206102e051036102e0526101406102e05110151561123b57611218565b600050600062ffffff55005b6365fc387360005114156114ee5762ffffff541561126457600080fd5b600162ffffff55341561127657600080fd5b336101405261014051600658016101fe565b60005060243562093a80808061129d57600080fd5b82049050905062093a8080820282158284830414176112bb57600080fd5b809050905090506101a0526101c060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060006004351161130657600080fd5b6308c379a0610200526020610220526019610240527f5769746864726177206f6c6420746f6b656e732066697273740000000000000061026052610240506101c0511561135457606461021cfd5b6308c379a06102a05260206102c05260266102e0527f43616e206f6e6c79206c6f636b20756e74696c2074696d6520696e2074686520610300527f6675747572650000000000000000000000000000000000000000000000000000610320526102e050426101a051116113c85760846102bcfd5b6308c379a061036052602061038052601e6103a0527f566f74696e67206c6f636b2063616e2062652031207965617273206d617800006103c0526103a050426301e1338081818301101561141b57600080fd5b808201905090506101a051111561143357606461037cfd5b610140610400525b6104005151602061040051016104005261040061040051101561145d5761143b565b33610420523361044052600435610460526101a051610480526104a06101c08051825280602001518260200152505060016104e0526104e0516104c0516104a0516104805161046051610440516104205160065801610d3b565b6103e0610400525b61040051526020610400510361040052610140610400511015156114e2576114bf565b600050600062ffffff55005b634957677c60005114156116ef5762ffffff541561150b57600080fd5b600162ffffff55341561151d57600080fd5b336101405261014051600658016101fe565b6000506101a060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060006004351161157257600080fd5b6308c379a06101e0526020610200526016610220527f4e6f206578697374696e67206c6f636b20666f756e6400000000000000000000610240526102205060006101a051136115c25760646101fcfd5b6308c379a06102805260206102a05260246102c0527f43616e6e6f742061646420746f2065787069726564206c6f636b2e20576974686102e0527f6472617700000000000000000000000000000000000000000000000000000000610300526102c050426101c0511161163657608461029cfd5b610140610340525b610340515160206103405101610340526103406103405110156116605761163e565b336103605233610380526004356103a05260006103c0526103e06101a08051825280602001518260200152505060026104205261042051610400516103e0516103c0516103a051610380516103605160065801610d3b565b610320610340525b61034051526020610340510361034052610140610340511015156116e3576116c0565b600050600062ffffff55005b63eff7a61260005114156119b55762ffffff541561170c57600080fd5b600162ffffff55341561171e57600080fd5b336101405261014051600658016101fe565b6000506101a060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060043562093a80808061177657600080fd5b82049050905062093a80808202821582848304141761179457600080fd5b809050905090506101e0526308c379a061020052602061022052600c610240527f4c6f636b206578706972656400000000000000000000000000000000000000006102605261024050426101c051116117ee57606461021cfd5b6308c379a06102a05260206102c05260116102e0527f4e6f7468696e67206973206c6f636b6564000000000000000000000000000000610300526102e05060006101a0511361183e5760646102bcfd5b6308c379a061034052602061036052601f610380527f43616e206f6e6c7920696e637265617365206c6f636b206475726174696f6e006103a052610380506101c0516101e0511161189057606461035cfd5b6308c379a06103e052602061040052601e610420527f566f74696e67206c6f636b2063616e2062652031207965617273206d617800006104405261042050426301e133808181830110156118e357600080fd5b808201905090506101e05111156118fb5760646103fcfd5b610140610480525b6104805151602061048051016104805261048061048051101561192557611903565b336104a052336104c05260006104e0526101e051610500526105206101a080518252806020015182602001525050600361056052610560516105405161052051610500516104e0516104c0516104a05160065801610d3b565b610460610480525b61048051526020610480510361048052610140610480511015156119a957611986565b600050600062ffffff55005b633ccfd60b6000511415611c6c5762ffffff54156119d257600080fd5b600162ffffff5534156119e457600080fd5b61014060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c0200154826020015250506308c379a06101805260206101a05260166101c0527f546865206c6f636b206469646e277420657870697265000000000000000000006101e0526101c05061016051421015611a6557606461019cfd5b610140516000811215611a7757600080fd5b610220526102406101408051825280602001518260200152505060006101605260006101405260023360e05260c052604060c02060c052602060c0206101408051825580602001516001830155505060015461028052610280516102205180821015611ae257600080fd5b808203905090506001556101406102a0525b6102a0515160206102a051016102a0526102a06102a0511015611b1657611af4565b336102c0526102e061024080518252806020015182602001525050610320610140805182528060200151826020015250506103405161032051610300516102e0516102c05160065801610433565b6102806102a0525b6102a0515260206102a051036102a0526101406102a051101515611b8f57611b6c565b6000506020610440604463a9059cbb6103a052336103c052610220516103e0526103bc60006000545af1611bc257600080fd5b601f3d11611bcf57600080fd5b60005061044051611bdf57600080fd5b61022051610460524261048052337ff279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b5686040610460a2610280516104a052610280516102205180821015611c3157600080fd5b808203905090506104c0527f5e2aa66efd74cce82b21852e317e5490d9ecc9e6bb953ae24d90851258cc2f5c60406104a0a1600062ffffff55005b600015611d8b575b61018052610140526101605260006101a052610160516101c0526101e060006080818352015b6101c0516101a051101515611cae57611d77565b6101a0516101c051818183011015611cc557600080fd5b808201905090506001818183011015611cdd57600080fd5b8082019050905060028080611cf157600080fd5b82049050905061020052610140516003610200516c01431e0fae6d7217caa00000008110611d1e57600080fd5b600460c052602060c0200160c052602060c0200154111515611d4757610200516101a052611d66565b61020051600180821015611d5a57600080fd5b808203905090506101c0525b5b8151600101808352811415611c9a575b50506101a051600052600051610180515650005b6370a082316000511415611da3574261014052611dc8565b62fdd58e6000511415611dc0576020602461014037600050611dc8565b600015611f40575b3415611dd357600080fd5b6004356020518110611de457600080fd5b50600660043560e05260c052604060c0205461016052610160511515611e1457600060005260206000f350611f3e565b61018061016051633b9aca008110611e2b57600080fd5b600560043560e05260c052604060c02060c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c02001548260600152505061018080516101a051610140516101c05180821015611ea657600080fd5b80820390509050604051811115611ebc57600080fd5b60605181830280604051901315611ed257600080fd5b8091901215611ee057600080fd5b9050905060605181830380604051901315611efa57600080fd5b8091901215611f0857600080fd5b905090508152506000610180511215611f22576000610180525b610180516000811215611f3457600080fd5b60005260206000f3505b005b634ee2cd7e600051141561244f573415611f5957600080fd5b6004356020518110611f6a57600080fd5b50436024351115611f7a57600080fd5b600061014052600660043560e05260c052604060c020546101605261018060006080818352015b6101605161014051101515611fb557612082565b6101405161016051818183011015611fcc57600080fd5b808201905090506001818183011015611fe457600080fd5b8082019050905060028080611ff857600080fd5b8204905090506101a05260243560036101a051633b9aca00811061201b57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c0200154111515612052576101a05161014052612071565b6101a05160018082101561206557600080fd5b80820390509050610160525b5b8151600101808352811415611fa1575b50506101c061014051633b9aca00811061209b57600080fd5b600560043560e05260c052604060c02060c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c020015482606001525050600354610240526101405161016051610180516101a0516101c0516101e051610200516102205161024051610260516024356102a052610240516102c0526102c0516102a05160065801611c74565b61032052610260526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103205161026052610340610260516c01431e0fae6d7217caa0000000811061219b57600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c02001548260600152505060006103c05260006103e052610240516102605110156122d05761040061026051600181818301101561221c57600080fd5b808201905090506c01431e0fae6d7217caa0000000811061223c57600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c020015482606001525050610460516103a051808210156122a057600080fd5b808203905090506103c0526104405161038051808210156122c057600080fd5b808203905090506103e05261230b565b436103a051808210156122e257600080fd5b808203905090506103c0524261038051808210156122ff57600080fd5b808203905090506103e0525b610380516104805260006103c051181561238d5761048080516103e0516024356103a0518082101561233c57600080fd5b80820390509050808202821582848304141761235757600080fd5b809050905090506103c051808061236d57600080fd5b82049050905081818301101561238257600080fd5b808201905090508152505b6101c080516101e0516104805161020051808210156123ab57600080fd5b808203905090506040518111156123c157600080fd5b606051818302806040519013156123d757600080fd5b80919012156123e557600080fd5b90509050606051818303806040519013156123ff57600080fd5b809190121561240d57600080fd5b9050905081525060006101c051121515612441576101c051600081121561243357600080fd5b60005260206000f35061244d565b600060005260206000f3505b005b600015612657575b6101e0526101405261016052610180526101a0526101c0526102006101408051825280602001518260200152806040015182604001528060600151826060015250506102405162093a8080806124ac57600080fd5b82049050905062093a8080820282158284830414176124ca57600080fd5b80905090509050610280526102a0600060ff818352015b610280805162093a808181830110156124f957600080fd5b8082019050905081525060006102c0526101c051610280511115612524576101c0516102805261253b565b60076102805160e05260c052604060c020546102c0525b61020080516102205161028051610240518082101561255957600080fd5b8082039050905060405181111561256f57600080fd5b6060518183028060405190131561258557600080fd5b809190121561259357600080fd5b90509050606051818303806040519013156125ad57600080fd5b80919012156125bb57600080fd5b905090508152506101c0516102805114156125d557612622565b61022080516102c051606051818301806040519013156125f457600080fd5b809190121561260257600080fd5b9050905081525061028051610240525b81516001018083528114156124e1575b50506000610200511215612637576000610200525b61020051600081121561264957600080fd5b6000526000516101e0515650005b6318160ddd600051141561266f574261014052612695565b63bd85b039600051141561268d576020600461014037600050612695565b6000156127a8575b34156126a057600080fd5b60035461016052610180610160516c01431e0fae6d7217caa000000081106126c757600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c0200154826060015250506101405161016051610180516101a0516101c0516101e051610220610180805182528060200151826020015280604001518260400152806060015182606001525050610140516102a0526102a0516102805161026051610240516102205160065801612457565b610300526101e0526101c0526101a0526101805261016052610140526103005160005260206000f350005b63981b24d06000511415612b0f5734156127c157600080fd5b4360043511156127d057600080fd5b6003546101405261014051610160516004356101a052610140516101c0526101c0516101a05160065801611c74565b6102205261016052610140526102205161016052610240610160516c01431e0fae6d7217caa0000000811061283357600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c02001548260600152505060006102c052610140516101605110156129b4576102e06101605160018181830110156128ae57600080fd5b808201905090506c01431e0fae6d7217caa000000081106128ce57600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c020015482606001525050610340516102a05118156129af576004356102a0518082101561293f57600080fd5b8082039050905061032051610280518082101561295b57600080fd5b80820390509050808202821582848304141761297657600080fd5b80905090509050610340516102a0518082101561299257600080fd5b8082039050905080806129a457600080fd5b8204905090506102c0525b612a3e565b436102a0511815612a3d576004356102a051808210156129d357600080fd5b808203905090504261028051808210156129ec57600080fd5b808203905090508082028215828483041417612a0757600080fd5b80905090509050436102a05180821015612a2057600080fd5b808203905090508080612a3257600080fd5b8204905090506102c0525b5b610140610360525b610360515160206103605101610360526102e0610360511015612a6857612a46565b610380610240805182528060200151826020015280604001518260400152806060015182606001525050610280516102c051818183011015612aa957600080fd5b8082019050905061040052610400516103e0516103c0516103a0516103805160065801612457565b610460526102c0610360525b6103605152602061036051036103605261014061036051101515612b0057612add565b6104605160005260206000f350005b633cebb8236000511415612b50573415612b2857600080fd5b6004356020518110612b3957600080fd5b506008543314612b4857600080fd5b600435600855005b63fc0c546a6000511415612b77573415612b6957600080fd5b60005460005260206000f350005b63047fc9aa6000511415612b9e573415612b9057600080fd5b60015460005260206000f350005b63cbf9fe5f6000511415612c27573415612bb757600080fd5b6004356020518110612bc857600080fd5b50610140808080600260043560e05260c052604060c02060c052602060c020548152505060208101905080806001600260043560e05260c052604060c02060c052602060c02001548152505060409050905060c05260c051610140f350005b63900cf0cf6000511415612c4e573415612c4057600080fd5b60035460005260206000f350005b63d1febfb96000511415612d71573415612c6757600080fd5b6101408080806004356c01431e0fae6d7217caa00000008110612c8957600080fd5b600460c052602060c0200160c052602060c0205481525050602081019050808060016004356c01431e0fae6d7217caa00000008110612cc757600080fd5b600460c052602060c0200160c052602060c020015481525050602081019050808060026004356c01431e0fae6d7217caa00000008110612d0657600080fd5b600460c052602060c0200160c052602060c020015481525050602081019050808060036004356c01431e0fae6d7217caa00000008110612d4557600080fd5b600460c052602060c0200160c052602060c02001548152505060809050905060c05260c051610140f350005b6328d09d476000511415612eba573415612d8a57600080fd5b6004356020518110612d9b57600080fd5b50610140808080602435633b9aca008110612db557600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c020548152505060208101905080806001602435633b9aca008110612df857600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c02001548152505060208101905080806002602435633b9aca008110612e3c57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c02001548152505060208101905080806003602435633b9aca008110612e8057600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c02001548152505060809050905060c05260c051610140f350005b63010ae7576000511415612f01573415612ed357600080fd5b6004356020518110612ee457600080fd5b50600660043560e05260c052604060c0205460005260206000f350005b63711974846000511415612f36573415612f1a57600080fd5b600760043560e05260c052604060c0205460005260206000f350005b63f77c47916000511415612f5d573415612f4f57600080fd5b60085460005260206000f350005b63bef97c876000511415612f84573415612f7657600080fd5b60095460005260206000f350005b6306fdde036000511415613038573415612f9d57600080fd5b600a8060c052602060c020610180602082540161012060006003818352015b82610120516020021115612fcf57612ff1565b61012051850154610120516020028501525b8151600101808352811415612fbc575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f350005b6395d89b4160005114156130ec57341561305157600080fd5b600b8060c052602060c020610180602082540161012060006002818352015b82610120516020021115613083576130a5565b61012051850154610120516020028501525b8151600101808352811415613070575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f350005b6354fd4d5060005114156131a057341561310557600080fd5b600c8060c052602060c020610180602082540161012060006002818352015b8261012051602002111561313757613159565b61012051850154610120516020028501525b8151600101808352811415613124575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f350005b63313ce56760005114156131c75734156131b957600080fd5b600d5460005260206000f350005b638ff36fd160005114156131ee5734156131e057600080fd5b600e5460005260206000f350005b637175d4f7600051141561321557341561320757600080fd5b600f5460005260206000f350005b63f851a440600051141561323c57341561322e57600080fd5b60105460005260206000f350005b6317f7182a600051141561326357341561325557600080fd5b60115460005260206000f350005b5b60006000fd5b61030761357103610307600039610307613571036000f3000000000000000000000000e36072dd051ce26261bf50cd966311cab62c596e000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000016546872757374657220566f74696e6720457363726f7700000000000000000000000000000000000000000000000000000000000000000000000000000000000876655448525553540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005302e302e30000000000000000000000000000000000000000000000000000000

0x600436101561000d57613264565b600035601c52740100000000000000000000000000000000000000006020526f7fffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff8000000000000000000000000000000060605274012a05f1fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffed5fa0e000000000000000000000000000000000060a052636b441a4060005114156101105734156100ba57600080fd5b60043560205181106100cb57600080fd5b5060105433146100da57600080fd5b600435601155600435610140527f2f56810a6bf40af059b96d3aea4db54081f378029a518390491093a7b67032e96020610140a1005b636a1c05ae600051141561018657341561012957600080fd5b601054331461013757600080fd5b601154610140526000610140511861014e57600080fd5b6101405160105561014051610160527febee2d5739011062cb4f14113f3b36bf0ffe3da5c0568f64189d1012a11891056020610160a1005b6357f901e260005114156101c757341561019f57600080fd5b60043560205181106101b057600080fd5b5060105433146101bf57600080fd5b600435600e55005b638e5b490f60005114156101f65734156101e057600080fd5b60105433146101ee57600080fd5b600e54600f55005b6000156102e7575b6101605261014052326101405118156102e157600f54610180526000610180511815610270576020610220602463c23697a86101a052610140516101c0526101bc6000610180515af161025057600080fd5b601f3d1161025d57600080fd5b600050610220511561026f5761016051565b5b6308c379a06102605260206102805260256102a0527f536d61727420636f6e7472616374206465706f7369746f7273206e6f7420616c6102c0527f6c6f7765640000000000000000000000000000000000000000000000000000006102e0526102a05060006102e057608461027cfd5b5b61016051565b637c74a174600051141561036b57341561030057600080fd5b600435602051811061031157600080fd5b50600660043560e05260c052604060c0205461014052600161014051633b9aca00811061033d57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c020015460005260206000f350005b63da020a1860005114156103d957341561038457600080fd5b600435602051811061039557600080fd5b506002602435633b9aca0081106103ab57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c020015460005260206000f350005b63adc63589600051141561042b5734156103f257600080fd5b600435602051811061040357600080fd5b506001600260043560e05260c052604060c02060c052602060c020015460005260206000f350005b600015610d33575b6101e0526101405261016052610180526101a0526101c052608036610200376080366102803760006103005260006103205260035461034052600061014051181561063c574261018051111561048f5760006101605113610492565b60005b1561052f57610160516301e1338060605181806104ae57600080fd5b8305806040519013156104c057600080fd5b80919012156104ce57600080fd5b9050905061022052610220516101805142808210156104ec57600080fd5b8082039050905060405181111561050257600080fd5b6060518183028060405190131561051857600080fd5b809190121561052657600080fd5b90509050610200525b426101c05111156105465760006101a05113610549565b60005b156105e6576101a0516301e13380606051818061056557600080fd5b83058060405190131561057757600080fd5b809190121561058557600080fd5b905090506102a0526102a0516101c05142808210156105a357600080fd5b808203905090506040518111156105b957600080fd5b606051818302806040519013156105cf57600080fd5b80919012156105dd57600080fd5b90509050610280525b60076101805160e05260c052604060c020546103005260006101c051181561063b57610180516101c051141561062357610300516103205261063a565b60076101c05160e05260c052604060c02054610320525b5b5b61036060008152600081602001524281604001524381606001525060006103405111156106d357610360610340516c01431e0fae6d7217caa0000000811061068357600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c0200154826060015250505b6103a0516103e0526104006103608051825280602001518260200152806040015182604001528060600151826060015250506000610480526103a05142111561078257670de0b6b3a7640000436103c0518082101561073157600080fd5b80820390509050808202821582848304141761074c57600080fd5b80905090509050426103a0518082101561076557600080fd5b80820390509050808061077757600080fd5b820490509050610480525b6103e05162093a80808061079557600080fd5b82049050905062093a8080820282158284830414176107b357600080fd5b809050905090506104a0526104c0600060ff818352015b6104a0805162093a808181830110156107e257600080fd5b8082019050905081525060006104e052426104a051111561080757426104a05261081e565b60076104a05160e05260c052604060c020546104e0525b6103608051610380516104a0516103e0518082101561083c57600080fd5b8082039050905060405181111561085257600080fd5b6060518183028060405190131561086857600080fd5b809190121561087657600080fd5b905090506060518183038060405190131561089057600080fd5b809190121561089e57600080fd5b9050905081525061038080516104e051606051818301806040519013156108c457600080fd5b80919012156108d257600080fd5b9050905081525060006103605112156108ec576000610360525b60006103805112156108ff576000610380525b6104a0516103e0526104a0516103a05261046051610480516104a051610440518082101561092c57600080fd5b80820390509050808202821582848304141761094757600080fd5b80905090509050670de0b6b3a7640000808061096257600080fd5b82049050905081818301101561097757600080fd5b808201905090506103c0526103408051600181818301101561099857600080fd5b80820190509050815250426104a05114156109bb57436103c052610a2456610a13565b610340516c01431e0fae6d7217caa000000081106109d857600080fd5b600460c052602060c0200160c052602060c0206103608051825580602001516001830155806040015160028301558060600151600383015550505b5b81516001018083528114156107ca575b5050610340516003556000610140511815610b205761038080516102a0516102205160605181830380604051901315610a5c57600080fd5b8091901215610a6a57600080fd5b9050905060605181830180604051901315610a8457600080fd5b8091901215610a9257600080fd5b905090508152506103608051610280516102005160605181830380604051901315610abc57600080fd5b8091901215610aca57600080fd5b9050905060605181830180604051901315610ae457600080fd5b8091901215610af257600080fd5b905090508152506000610380511215610b0c576000610380525b6000610360511215610b1f576000610360525b5b610340516c01431e0fae6d7217caa00000008110610b3d57600080fd5b600460c052602060c0200160c052602060c0206103608051825580602001516001830155806040015160028301558060600151600383015550506000610140511815610d2d5742610180511115610c1c5761030080516102205160605181830180604051901315610bad57600080fd5b8091901215610bbb57600080fd5b90509050815250610180516101c0511415610c055761030080516102a05160605181830380604051901315610bef57600080fd5b8091901215610bfd57600080fd5b905090508152505b6103005160076101805160e05260c052604060c020555b426101c0511115610c8157610180516101c0511115610c805761032080516102a05160605181830380604051901315610c5457600080fd5b8091901215610c6257600080fd5b905090508152506103205160076101c05160e05260c052604060c020555b5b60066101405160e05260c052604060c020546001818183011015610ca457600080fd5b80820190509050610500526105005160066101405160e05260c052604060c02055426102c052436102e05261050051633b9aca008110610ce357600080fd5b60056101405160e05260c052604060c02060c052602060c0200160c052602060c0206102808051825580602001516001830155806040015160028301558060600151600383015550505b6101e051565b600015610fd9575b610220526101405261016052610180526101a0526101c0526101e052610200526102406101c080518252806020015182602001525050600154610280526102805161018051818183011015610d8f57600080fd5b808201905090506001556102a061024080518252806020015182602001525050610240805161018051604051811115610dc757600080fd5b60605181830180604051901315610ddd57600080fd5b8091901215610deb57600080fd5b9050905081525060006101a0511815610e07576101a051610260525b60026101605160e05260c052604060c02060c052602060c020610240805182558060200151600183015550506101406102e0525b6102e0515160206102e051016102e0526102e06102e0511015610e5d57610e3b565b61016051610300526103206102a08051825280602001518260200152505061036061024080518252806020015182602001525050610380516103605161034051610320516103005160065801610433565b6102c06102e0525b6102e0515260206102e051036102e0526101406102e051101515610ed957610eb6565b6000506000610180511815610f3e5760206104a060646323b872dd6103e0526101405161040052306104205261018051610440526103fc60006000545af1610f2057600080fd5b601f3d11610f2d57600080fd5b6000506104a051610f3d57600080fd5b5b610180516104c052610200516104e052426105005261026051610160517f4566dfc29f6f11d13a418c26a02bef7c28bae749d4de47e4e6a7cddea6730d5960606104c0a361028051610520526102805161018051818183011015610fa157600080fd5b80820190509050610540527f5e2aa66efd74cce82b21852e317e5490d9ecc9e6bb953ae24d90851258cc2f5c6040610520a161022051565b63c2c4c5c16000511415611028573415610ff257600080fd5b600061014052604036610160376040366101a0376101c0516101a05161018051610160516101405160065801610433565b600050005b633a46273e60005114156112475762ffffff541561104557600080fd5b600162ffffff55341561105757600080fd5b600435602051811061106857600080fd5b50610140600260043560e05260c052604060c0208060c052602060c02054825260018160c052602060c0200154826020015250506000602435116110ab57600080fd5b6308c379a06101805260206101a05260166101c0527f4e6f206578697374696e67206c6f636b20666f756e64000000000000000000006101e0526101c050600061014051136110fb57606461019cfd5b6308c379a0610220526020610240526024610260527f43616e6e6f742061646420746f2065787069726564206c6f636b2e2057697468610280527f64726177000000000000000000000000000000000000000000000000000000006102a0526102605042610160511161116f57608461023cfd5b6101406102e0525b6102e0515160206102e051016102e0526102e06102e051101561119957611177565b33610300526004356103205260243561034052600061036052610380600260043560e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060006103c0526103c0516103a051610380516103605161034051610320516103005160065801610d3b565b6102c06102e0525b6102e0515260206102e051036102e0526101406102e05110151561123b57611218565b600050600062ffffff55005b6365fc387360005114156114ee5762ffffff541561126457600080fd5b600162ffffff55341561127657600080fd5b336101405261014051600658016101fe565b60005060243562093a80808061129d57600080fd5b82049050905062093a8080820282158284830414176112bb57600080fd5b809050905090506101a0526101c060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060006004351161130657600080fd5b6308c379a0610200526020610220526019610240527f5769746864726177206f6c6420746f6b656e732066697273740000000000000061026052610240506101c0511561135457606461021cfd5b6308c379a06102a05260206102c05260266102e0527f43616e206f6e6c79206c6f636b20756e74696c2074696d6520696e2074686520610300527f6675747572650000000000000000000000000000000000000000000000000000610320526102e050426101a051116113c85760846102bcfd5b6308c379a061036052602061038052601e6103a0527f566f74696e67206c6f636b2063616e2062652031207965617273206d617800006103c0526103a050426301e1338081818301101561141b57600080fd5b808201905090506101a051111561143357606461037cfd5b610140610400525b6104005151602061040051016104005261040061040051101561145d5761143b565b33610420523361044052600435610460526101a051610480526104a06101c08051825280602001518260200152505060016104e0526104e0516104c0516104a0516104805161046051610440516104205160065801610d3b565b6103e0610400525b61040051526020610400510361040052610140610400511015156114e2576114bf565b600050600062ffffff55005b634957677c60005114156116ef5762ffffff541561150b57600080fd5b600162ffffff55341561151d57600080fd5b336101405261014051600658016101fe565b6000506101a060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060006004351161157257600080fd5b6308c379a06101e0526020610200526016610220527f4e6f206578697374696e67206c6f636b20666f756e6400000000000000000000610240526102205060006101a051136115c25760646101fcfd5b6308c379a06102805260206102a05260246102c0527f43616e6e6f742061646420746f2065787069726564206c6f636b2e20576974686102e0527f6472617700000000000000000000000000000000000000000000000000000000610300526102c050426101c0511161163657608461029cfd5b610140610340525b610340515160206103405101610340526103406103405110156116605761163e565b336103605233610380526004356103a05260006103c0526103e06101a08051825280602001518260200152505060026104205261042051610400516103e0516103c0516103a051610380516103605160065801610d3b565b610320610340525b61034051526020610340510361034052610140610340511015156116e3576116c0565b600050600062ffffff55005b63eff7a61260005114156119b55762ffffff541561170c57600080fd5b600162ffffff55341561171e57600080fd5b336101405261014051600658016101fe565b6000506101a060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c02001548260200152505060043562093a80808061177657600080fd5b82049050905062093a80808202821582848304141761179457600080fd5b809050905090506101e0526308c379a061020052602061022052600c610240527f4c6f636b206578706972656400000000000000000000000000000000000000006102605261024050426101c051116117ee57606461021cfd5b6308c379a06102a05260206102c05260116102e0527f4e6f7468696e67206973206c6f636b6564000000000000000000000000000000610300526102e05060006101a0511361183e5760646102bcfd5b6308c379a061034052602061036052601f610380527f43616e206f6e6c7920696e637265617365206c6f636b206475726174696f6e006103a052610380506101c0516101e0511161189057606461035cfd5b6308c379a06103e052602061040052601e610420527f566f74696e67206c6f636b2063616e2062652031207965617273206d617800006104405261042050426301e133808181830110156118e357600080fd5b808201905090506101e05111156118fb5760646103fcfd5b610140610480525b6104805151602061048051016104805261048061048051101561192557611903565b336104a052336104c05260006104e0526101e051610500526105206101a080518252806020015182602001525050600361056052610560516105405161052051610500516104e0516104c0516104a05160065801610d3b565b610460610480525b61048051526020610480510361048052610140610480511015156119a957611986565b600050600062ffffff55005b633ccfd60b6000511415611c6c5762ffffff54156119d257600080fd5b600162ffffff5534156119e457600080fd5b61014060023360e05260c052604060c0208060c052602060c02054825260018160c052602060c0200154826020015250506308c379a06101805260206101a05260166101c0527f546865206c6f636b206469646e277420657870697265000000000000000000006101e0526101c05061016051421015611a6557606461019cfd5b610140516000811215611a7757600080fd5b610220526102406101408051825280602001518260200152505060006101605260006101405260023360e05260c052604060c02060c052602060c0206101408051825580602001516001830155505060015461028052610280516102205180821015611ae257600080fd5b808203905090506001556101406102a0525b6102a0515160206102a051016102a0526102a06102a0511015611b1657611af4565b336102c0526102e061024080518252806020015182602001525050610320610140805182528060200151826020015250506103405161032051610300516102e0516102c05160065801610433565b6102806102a0525b6102a0515260206102a051036102a0526101406102a051101515611b8f57611b6c565b6000506020610440604463a9059cbb6103a052336103c052610220516103e0526103bc60006000545af1611bc257600080fd5b601f3d11611bcf57600080fd5b60005061044051611bdf57600080fd5b61022051610460524261048052337ff279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b5686040610460a2610280516104a052610280516102205180821015611c3157600080fd5b808203905090506104c0527f5e2aa66efd74cce82b21852e317e5490d9ecc9e6bb953ae24d90851258cc2f5c60406104a0a1600062ffffff55005b600015611d8b575b61018052610140526101605260006101a052610160516101c0526101e060006080818352015b6101c0516101a051101515611cae57611d77565b6101a0516101c051818183011015611cc557600080fd5b808201905090506001818183011015611cdd57600080fd5b8082019050905060028080611cf157600080fd5b82049050905061020052610140516003610200516c01431e0fae6d7217caa00000008110611d1e57600080fd5b600460c052602060c0200160c052602060c0200154111515611d4757610200516101a052611d66565b61020051600180821015611d5a57600080fd5b808203905090506101c0525b5b8151600101808352811415611c9a575b50506101a051600052600051610180515650005b6370a082316000511415611da3574261014052611dc8565b62fdd58e6000511415611dc0576020602461014037600050611dc8565b600015611f40575b3415611dd357600080fd5b6004356020518110611de457600080fd5b50600660043560e05260c052604060c0205461016052610160511515611e1457600060005260206000f350611f3e565b61018061016051633b9aca008110611e2b57600080fd5b600560043560e05260c052604060c02060c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c02001548260600152505061018080516101a051610140516101c05180821015611ea657600080fd5b80820390509050604051811115611ebc57600080fd5b60605181830280604051901315611ed257600080fd5b8091901215611ee057600080fd5b9050905060605181830380604051901315611efa57600080fd5b8091901215611f0857600080fd5b905090508152506000610180511215611f22576000610180525b610180516000811215611f3457600080fd5b60005260206000f3505b005b634ee2cd7e600051141561244f573415611f5957600080fd5b6004356020518110611f6a57600080fd5b50436024351115611f7a57600080fd5b600061014052600660043560e05260c052604060c020546101605261018060006080818352015b6101605161014051101515611fb557612082565b6101405161016051818183011015611fcc57600080fd5b808201905090506001818183011015611fe457600080fd5b8082019050905060028080611ff857600080fd5b8204905090506101a05260243560036101a051633b9aca00811061201b57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c0200154111515612052576101a05161014052612071565b6101a05160018082101561206557600080fd5b80820390509050610160525b5b8151600101808352811415611fa1575b50506101c061014051633b9aca00811061209b57600080fd5b600560043560e05260c052604060c02060c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c020015482606001525050600354610240526101405161016051610180516101a0516101c0516101e051610200516102205161024051610260516024356102a052610240516102c0526102c0516102a05160065801611c74565b61032052610260526102405261022052610200526101e0526101c0526101a0526101805261016052610140526103205161026052610340610260516c01431e0fae6d7217caa0000000811061219b57600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c02001548260600152505060006103c05260006103e052610240516102605110156122d05761040061026051600181818301101561221c57600080fd5b808201905090506c01431e0fae6d7217caa0000000811061223c57600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c020015482606001525050610460516103a051808210156122a057600080fd5b808203905090506103c0526104405161038051808210156122c057600080fd5b808203905090506103e05261230b565b436103a051808210156122e257600080fd5b808203905090506103c0524261038051808210156122ff57600080fd5b808203905090506103e0525b610380516104805260006103c051181561238d5761048080516103e0516024356103a0518082101561233c57600080fd5b80820390509050808202821582848304141761235757600080fd5b809050905090506103c051808061236d57600080fd5b82049050905081818301101561238257600080fd5b808201905090508152505b6101c080516101e0516104805161020051808210156123ab57600080fd5b808203905090506040518111156123c157600080fd5b606051818302806040519013156123d757600080fd5b80919012156123e557600080fd5b90509050606051818303806040519013156123ff57600080fd5b809190121561240d57600080fd5b9050905081525060006101c051121515612441576101c051600081121561243357600080fd5b60005260206000f35061244d565b600060005260206000f3505b005b600015612657575b6101e0526101405261016052610180526101a0526101c0526102006101408051825280602001518260200152806040015182604001528060600151826060015250506102405162093a8080806124ac57600080fd5b82049050905062093a8080820282158284830414176124ca57600080fd5b80905090509050610280526102a0600060ff818352015b610280805162093a808181830110156124f957600080fd5b8082019050905081525060006102c0526101c051610280511115612524576101c0516102805261253b565b60076102805160e05260c052604060c020546102c0525b61020080516102205161028051610240518082101561255957600080fd5b8082039050905060405181111561256f57600080fd5b6060518183028060405190131561258557600080fd5b809190121561259357600080fd5b90509050606051818303806040519013156125ad57600080fd5b80919012156125bb57600080fd5b905090508152506101c0516102805114156125d557612622565b61022080516102c051606051818301806040519013156125f457600080fd5b809190121561260257600080fd5b9050905081525061028051610240525b81516001018083528114156124e1575b50506000610200511215612637576000610200525b61020051600081121561264957600080fd5b6000526000516101e0515650005b6318160ddd600051141561266f574261014052612695565b63bd85b039600051141561268d576020600461014037600050612695565b6000156127a8575b34156126a057600080fd5b60035461016052610180610160516c01431e0fae6d7217caa000000081106126c757600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c0200154826060015250506101405161016051610180516101a0516101c0516101e051610220610180805182528060200151826020015280604001518260400152806060015182606001525050610140516102a0526102a0516102805161026051610240516102205160065801612457565b610300526101e0526101c0526101a0526101805261016052610140526103005160005260206000f350005b63981b24d06000511415612b0f5734156127c157600080fd5b4360043511156127d057600080fd5b6003546101405261014051610160516004356101a052610140516101c0526101c0516101a05160065801611c74565b6102205261016052610140526102205161016052610240610160516c01431e0fae6d7217caa0000000811061283357600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c02001548260600152505060006102c052610140516101605110156129b4576102e06101605160018181830110156128ae57600080fd5b808201905090506c01431e0fae6d7217caa000000081106128ce57600080fd5b600460c052602060c020018060c052602060c02054825260018160c052602060c0200154826020015260028160c052602060c0200154826040015260038160c052602060c020015482606001525050610340516102a05118156129af576004356102a0518082101561293f57600080fd5b8082039050905061032051610280518082101561295b57600080fd5b80820390509050808202821582848304141761297657600080fd5b80905090509050610340516102a0518082101561299257600080fd5b8082039050905080806129a457600080fd5b8204905090506102c0525b612a3e565b436102a0511815612a3d576004356102a051808210156129d357600080fd5b808203905090504261028051808210156129ec57600080fd5b808203905090508082028215828483041417612a0757600080fd5b80905090509050436102a05180821015612a2057600080fd5b808203905090508080612a3257600080fd5b8204905090506102c0525b5b610140610360525b610360515160206103605101610360526102e0610360511015612a6857612a46565b610380610240805182528060200151826020015280604001518260400152806060015182606001525050610280516102c051818183011015612aa957600080fd5b8082019050905061040052610400516103e0516103c0516103a0516103805160065801612457565b610460526102c0610360525b6103605152602061036051036103605261014061036051101515612b0057612add565b6104605160005260206000f350005b633cebb8236000511415612b50573415612b2857600080fd5b6004356020518110612b3957600080fd5b506008543314612b4857600080fd5b600435600855005b63fc0c546a6000511415612b77573415612b6957600080fd5b60005460005260206000f350005b63047fc9aa6000511415612b9e573415612b9057600080fd5b60015460005260206000f350005b63cbf9fe5f6000511415612c27573415612bb757600080fd5b6004356020518110612bc857600080fd5b50610140808080600260043560e05260c052604060c02060c052602060c020548152505060208101905080806001600260043560e05260c052604060c02060c052602060c02001548152505060409050905060c05260c051610140f350005b63900cf0cf6000511415612c4e573415612c4057600080fd5b60035460005260206000f350005b63d1febfb96000511415612d71573415612c6757600080fd5b6101408080806004356c01431e0fae6d7217caa00000008110612c8957600080fd5b600460c052602060c0200160c052602060c0205481525050602081019050808060016004356c01431e0fae6d7217caa00000008110612cc757600080fd5b600460c052602060c0200160c052602060c020015481525050602081019050808060026004356c01431e0fae6d7217caa00000008110612d0657600080fd5b600460c052602060c0200160c052602060c020015481525050602081019050808060036004356c01431e0fae6d7217caa00000008110612d4557600080fd5b600460c052602060c0200160c052602060c02001548152505060809050905060c05260c051610140f350005b6328d09d476000511415612eba573415612d8a57600080fd5b6004356020518110612d9b57600080fd5b50610140808080602435633b9aca008110612db557600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c020548152505060208101905080806001602435633b9aca008110612df857600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c02001548152505060208101905080806002602435633b9aca008110612e3c57600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c02001548152505060208101905080806003602435633b9aca008110612e8057600080fd5b600560043560e05260c052604060c02060c052602060c0200160c052602060c02001548152505060809050905060c05260c051610140f350005b63010ae7576000511415612f01573415612ed357600080fd5b6004356020518110612ee457600080fd5b50600660043560e05260c052604060c0205460005260206000f350005b63711974846000511415612f36573415612f1a57600080fd5b600760043560e05260c052604060c0205460005260206000f350005b63f77c47916000511415612f5d573415612f4f57600080fd5b60085460005260206000f350005b63bef97c876000511415612f84573415612f7657600080fd5b60095460005260206000f350005b6306fdde036000511415613038573415612f9d57600080fd5b600a8060c052602060c020610180602082540161012060006003818352015b82610120516020021115612fcf57612ff1565b61012051850154610120516020028501525b8151600101808352811415612fbc575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f350005b6395d89b4160005114156130ec57341561305157600080fd5b600b8060c052602060c020610180602082540161012060006002818352015b82610120516020021115613083576130a5565b61012051850154610120516020028501525b8151600101808352811415613070575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f350005b6354fd4d5060005114156131a057341561310557600080fd5b600c8060c052602060c020610180602082540161012060006002818352015b8261012051602002111561313757613159565b61012051850154610120516020028501525b8151600101808352811415613124575b50505050505061018051806101a001818260206001820306601f82010390500336823750506020610160526040610180510160206001820306601f8201039050610160f350005b63313ce56760005114156131c75734156131b957600080fd5b600d5460005260206000f350005b638ff36fd160005114156131ee5734156131e057600080fd5b600e5460005260206000f350005b637175d4f7600051141561321557341561320757600080fd5b600f5460005260206000f350005b63f851a440600051141561323c57341561322e57600080fd5b60105460005260206000f350005b6317f7182a600051141561326357341561325557600080fd5b60115460005260206000f350005b5b60006000fd