SymmVesting | Base

codeslaw

SymmVestingSolidityv0.8.27+commit.40a35a09

network

Base

address0xd66c37e56c6b10ef606a71d7df94f709b3f29c76

deployer0x9BC9CA7e6A8F013f40617c4585508A988DB7C1c7

tx last 12 months

0 txs

calls last 12 months

3.5k calls

25 Files

@openzeppelin

contracts

access

IAccessControl.sol

extensions

IAccessControlEnumerable.sol

interfaces

IERC1363.sol

IERC165.sol

IERC20.sol

token

ERC20

IERC20.sol

utils

SafeERC20.sol

utils

Address.sol

Errors.sol

introspection

IERC165.sol

structs

EnumerableSet.sol

contracts-upgradeable

access

AccessControlUpgradeable.sol

extensions

AccessControlEnumerableUpgradeable.sol

proxy

utils

Initializable.sol

utils

ContextUpgradeable.sol

PausableUpgradeable.sol

ReentrancyGuardUpgradeable.sol

introspection

ERC165Upgradeable.sol

contracts

vesting

SymmVesting.sol

Vesting.sol

interfaces

IMintableERC20.sol

IPermit2.sol

IPool.sol

IRouter.sol

libraries

LibVestingPlan.sol

Source: Etherscan, Smart Contract Sanctuary, or Sourcify. For more information, see our about page.

abi

constructor

No constructor.

functions

DEFAULT_ADMIN_ROLE

view

function DEFAULT_ADMIN_ROLE() view returns (bytes32)

getClaimableAmountsForToken

view

function getClaimableAmountsForToken(address user, address token) view returns (uint256)

getLiquidityQuote

view

function getLiquidityQuote(uint256 symmAmount) view returns (uint256 usdcAmount, uint256 lpAmount)

getLockedAmountsForToken

view

function getLockedAmountsForToken(address user, address token) view returns (uint256)

getRoleAdmin

view

function getRoleAdmin(bytes32 role) view returns (bytes32)

getRoleMember

view

function getRoleMember(bytes32 role, uint256 index) view returns (address)

getRoleMemberCount

view

function getRoleMemberCount(bytes32 role) view returns (uint256)

getRoleMembers

view

function getRoleMembers(bytes32 role) view returns (address[])

getUnlockedAmountForToken

view

function getUnlockedAmountForToken(address user, address token) view returns (uint256)

hasRole

view

function hasRole(bytes32 role, address account) view returns (bool)

lockedClaimPenalty

view

function lockedClaimPenalty() view returns (uint256)

lockedClaimPenaltyReceiver

view

function lockedClaimPenaltyReceiver() view returns (address)

OPERATOR_ROLE

view

function OPERATOR_ROLE() view returns (bytes32)

paused

view

function paused() view returns (bool)

PAUSER_ROLE

view

function PAUSER_ROLE() view returns (bytes32)

PERMIT2

view

function PERMIT2() view returns (address)

POOL

view

function POOL() view returns (address)

ROUTER

view

function ROUTER() view returns (address)

SETTER_ROLE

view

function SETTER_ROLE() view returns (bytes32)

supportsInterface

view

function supportsInterface(bytes4 interfaceId) view returns (bool)

SYMM_LP

view

function SYMM_LP() view returns (address)

SYMM

view

function SYMM() view returns (address)

totalVested

view

function totalVested(address) view returns (uint256)

UNPAUSER_ROLE

view

function UNPAUSER_ROLE() view returns (bytes32)

USDC

view

function USDC() view returns (address)

VAULT

view

function VAULT() view returns (address)

vestingPlans

view

function vestingPlans(address, address) view returns (uint256 amount, uint256 claimedAmount, uint256 startTime, uint256 endTime)

__vesting_init

nonpayable

function __vesting_init(address admin, uint256 _lockedClaimPenalty, address _lockedClaimPenaltyReceiver)

addLiquidity

nonpayable

function addLiquidity(uint256 amount, uint256 minLpAmount, uint256 maxUsdcIn) returns (uint256[] amountsIn, uint256 lpAmount)

addLiquidityByPercentage

nonpayable

function addLiquidityByPercentage(uint256 percentage, uint256 minLpAmount, uint256 maxUsdcIn) returns (uint256[] amountsIn, uint256 lpAmount)

claimLockedToken

nonpayable

function claimLockedToken(address token, uint256 amount)

claimLockedTokenByPercentage

nonpayable

function claimLockedTokenByPercentage(address token, uint256 percentage)

claimLockedTokenFor

nonpayable

function claimLockedTokenFor(address token, address user, uint256 amount)

claimLockedTokenForByPercentage

nonpayable

function claimLockedTokenForByPercentage(address token, address user, uint256 percentage)

claimUnlockedToken

nonpayable

function claimUnlockedToken(address token)

claimUnlockedTokenFor

nonpayable

function claimUnlockedTokenFor(address token, address user)

grantRole

nonpayable

function grantRole(bytes32 role, address account)

initialize

nonpayable

function initialize(address admin, address _lockedClaimPenaltyReceiver, address _pool, address _router, address _permit2, address _vault, address _symm, address _usdc, address _symm_lp)

pause

nonpayable

function pause()

renounceRole

nonpayable

function renounceRole(bytes32 role, address callerConfirmation)

resetVestingPlans

nonpayable

function resetVestingPlans(address token, address[] users, uint256[] amounts)

revokeRole

nonpayable

function revokeRole(bytes32 role, address account)

setLockedClaimPenalty

nonpayable

function setLockedClaimPenalty(uint256 newPenalty)

setLockedClaimPenaltyReceiver

nonpayable

function setLockedClaimPenaltyReceiver(address newReceiver)

setupVestingPlans

nonpayable

function setupVestingPlans(address token, uint256 startTime, uint256 endTime, address[] users, uint256[] amounts)

unpause

nonpayable

function unpause()

events

Initialized

event Initialized(uint64 version)

LiquidityAdded

event LiquidityAdded(address indexed user, uint256 symmAmount, uint256 usdcAmount, uint256 lpAmount)

LockedTokenClaimed

event LockedTokenClaimed(address indexed token, address indexed user, uint256 amount, uint256 penalty)

Paused

event Paused(address account)

RoleAdminChanged

event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole)

RoleGranted

event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender)

RoleRevoked

event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender)

UnlockedTokenClaimed

event UnlockedTokenClaimed(address indexed token, address indexed user, uint256 amount)

Unpaused

event Unpaused(address account)

VestingPlanReset

event VestingPlanReset(address indexed token, address indexed user, uint256 newAmount)

VestingPlanSetup

event VestingPlanSetup(address indexed token, address indexed user, uint256 amount, uint256 startTime, uint256 endTime)

errors

AccessControlBadConfirmation

error AccessControlBadConfirmation()

AccessControlUnauthorizedAccount

error AccessControlUnauthorizedAccount(address account, bytes32 neededRole)

EnforcedPause

error EnforcedPause()

ExpectedPause

error ExpectedPause()

InvalidAmount

error InvalidAmount()

InvalidInitialization

error InvalidInitialization()

MaxUsdcExceeded

error MaxUsdcExceeded()

MismatchArrays

error MismatchArrays()

NotInitializing

error NotInitializing()

ReentrancyGuardReentrantCall

error ReentrancyGuardReentrantCall()

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

SlippageExceeded

error SlippageExceeded()

VestingNotStarted

error VestingNotStarted()

ZeroAddress

error ZeroAddress()

ZeroDivision

error ZeroDivision()

bytecode

creation bytecode

0x6080806040523460185760405161399990816100668239f35b62461bcd60e51b815260206004820152602260248201527f45746865722073656e7420746f206e6f6e2d70617961626c652066756e63746960448201526137b760f11b6064820152608490fdfe60806040526004361015610071575b60405162461bcd60e51b815260206004820152603560248201527f436f6e747261637420646f6573206e6f7420686176652066616c6c6261636b206044820152746e6f7220726563656976652066756e6374696f6e7360581b6064820152608490fd5b60003560e01c806301ffc9a7146115cb5780630632cc961461159f5780630732041a1461155157806307d60de5146114b45780630a2a2b941461147d5780630ab4d4711461144e5780630d3028b71461141b5780631a983b01146113d95780631d518598146113bb5780631d98eac01461136d578063248a9ca3146113475780632f2ff15d1461131657806330a983161461129a57806332fe7b261461127157806336568abe1461122b5780633ac721d5146111da5780633f4ba83a14611101578063411557d1146110d8578063422f10431461108b5780635c975abb1461105b5780636184f31914610fbe578063630a5ab214610f955780636afdd85014610f6c5780637535d24614610f435780638456cb5914610e7957806389a3027114610e505780639010d07c14610dfc57806391d1485414610da257806398003a3014610c785780639a0c777314610c4f5780639ba2a0c314610b6d578063a2011b3f14610b44578063a217fddf14610b28578063a3246ad314610a66578063ae67506e14610a3c578063b13e4a9d14610a02578063ca15c873146109c9578063d547741f14610991578063d58a523714610970578063d5d32491146108fa578063dd9d798e146108b2578063e63ab1e914610889578063f22fbd8514610860578063f5b541a614610837578063f5e95acb146102a35763fb1bb9de0361000e573461029e5760003660031901126102995760206040516000805160206138ad8339815191528152f35b61168b565b61163b565b3461029e57610120366003190112610299576102bd61172b565b6102c5611741565b6102cd611757565b6064356001600160a01b03811690819003610832576084356001600160a01b038116908190036108325760a4356001600160a01b03811691908290036108325760c4356001600160a01b03811693908490036108325760e4356001600160a01b038116959086900361083257610104356001600160a01b03811697908890036108325760008051602061396d833981519152549860ff8a60401c16159967ffffffffffffffff81168015908161082a575b6001149081610820575b159081610817575b506108065767ffffffffffffffff19811660011760008051602061396d833981519152558a6107d9575b506001600160a01b03811691821580159181836107c8575b80156107b7575b80156107af575b80156107a7575b801561079f575b8015610797575b801561078f575b8015610787575b61076d5761040f6130e4565b6104176130e4565b61041f6130e4565b6104276130e4565b60ff1960008051602061392d833981519152541660008051602061392d833981519152556104536130e4565b61045b6130e4565b600160008051602061394d833981519152556706f05b59d3b20000600255600380546001600160a01b0319166001600160a01b03929092169182179055909161077e575b5061076d57806104b16104e492613211565b610727575b6104bf816132b1565b6106d3575b6104cd8161335b565b61067f575b6104db81613405565b61062b576134af565b6105d6575b5060018060a01b03166001600160601b0360a01b60365416176036556001600160601b0360a01b60375416176037556001600160601b0360a01b60385416176038556001600160601b0360a01b60395416176039556001600160601b0360a01b603a541617603a556001600160601b0360a01b603b541617603b556001600160601b0360a01b603c541617603c5561057d57005b68ff00000000000000001960008051602061396d833981519152541660008051602061396d833981519152557fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2602060405160018152a1005b6000805160206138cd83398151915260005260008051602061386d833981519152602052610624907f7359f21550028cf936ad73cd9e71366316d347a092c8f618b5c5a3efa6bec1ef6136a8565b50886104e9565b6000805160206138ad83398151915260005260008051602061386d833981519152602052610679837f35fb679ccde267a74e2fe0853f3a66562f6f9abdffd8c46dba2632a167443d266136a8565b506134af565b6000805160206138ed83398151915260005260008051602061386d8339815191526020526106cd837f5b789a035ea1a5723ef3e3892eb7edd1d6eb03ae2175a5bd1558ffe34206e8666136a8565b506104d2565b60008051602061388d83398151915260005260008051602061386d833981519152602052610721837f821493e23d7e2d4ccd26ee63af7dc942c47320984d9bd8c0b9fcf3242ad000ac6136a8565b506104c4565b6000805260008051602061386d833981519152602052610767837f615f0f9e84155bea8cc509fe18befeb1baf65611e38a6ba60964480fb29dfd446136a8565b506104b6565b63d92e233d60e01b60005260046000fd5b9050158b61049f565b508b15610403565b508a156103fc565b5089156103f5565b5088156103ee565b5087156103e7565b5086156103e0565b506001600160a01b038616156103d9565b506001600160a01b038116156103d2565b68ffffffffffffffffff1916680100000000000000011760008051602061396d833981519152558a6103ba565b63f92ee8a960e01b60005260046000fd5b9050158c610390565b303b159150610388565b8c915061037e565b600080fd5b3461029e5760003660031901126102995760206040516000805160206138cd8339815191528152f35b3461029e576000366003190112610299576003546040516001600160a01b039091168152602090f35b3461029e5760003660031901126102995760206040516000805160206138ed8339815191528152f35b3461029e576020366003190112610299576108cb61172b565b6108d3612ae8565b6001600160a01b0316801561076d576001600160601b0360a01b6003541617600355600080f35b3461029e576040366003190112610299576080604061091761172b565b61091f611741565b9060018060a01b031660005260006020528160002060009160018060a01b03168252602052208054906001810154906003600282015491015491604051938452602084015260408301526060820152f35b3461029e57602036600319011261029957610989612ae8565b600435600255005b3461029e576040366003190112610299576109c76004356109b0611741565b906109c26109bd82611b24565b612b48565b612f1d565b005b3461029e5760203660031901126102995760043560005260008051602061386d8339815191526020526020604060002054604051908152f35b3461029e576020366003190112610299576001600160a01b03610a2361172b565b1660005260016020526020604060002054604051908152f35b3461029e576020366003190112610299576040610a5a600435611c06565b82519182526020820152f35b3461029e5760203660031901126102995760043560005260008051602061386d83398151915260205260406000206040518060208354918281520190819360005260206000209060005b818110610b125750505081610ac691038261186a565b6040519182916020830190602084525180915260408301919060005b818110610af0575050500390f35b82516001600160a01b0316845285945060209384019390920191600101610ae2565b8254845260209093019260019283019201610ab0565b3461029e57600036600319011261029957602060405160008152f35b3461029e57600036600319011261029957602060405160008051602061388d8339815191528152f35b3461029e57604036600319011261029957610b8661172b565b6001600160a01b03610b96611741565b16600052600060205260406000209060018060a01b0316600052602052604060002073abddc4ad5256b39b225f22073930e31a1b3d197c90813b15610c4a576020906024604051809481936304a62ff760e11b835260048301525af48015610c3e57600090610c0b575b602090604051908152f35b506020813d602011610c36575b81610c256020938361186a565b810103126102995760209051610c00565b3d9150610c18565b6040513d6000823e3d90fd5b6119e8565b3461029e57600036600319011261029957603a546040516001600160a01b039091168152602090f35b3461029e57606036600319011261029957610c9161172b565b610c99611757565b610ca16130e4565b610ca96130e4565b610cb16130e4565b610cb96130e4565b60ff1960008051602061392d833981519152541660008051602061392d83398151915255610ce56130e4565b610ced6130e4565b600160008051602061394d83398151915255602435600255600380546001600160a01b0319166001600160a01b0392831690811790915590821691908215908115610d99575b5061076d57806104b1610d4592613211565b610d4b57005b6000805160206138cd83398151915260005260008051602061386d8339815191526020526109c7907f7359f21550028cf936ad73cd9e71366316d347a092c8f618b5c5a3efa6bec1ef6136a8565b90501583610d33565b3461029e57604036600319011261029957610dbb611741565b60043560005260008051602061390d83398151915260205260406000209060018060a01b0316600052602052602060ff604060002054166040519015158152f35b3461029e5760403660031901126102995760043560005260008051602061386d8339815191526020526020610e376024356040600020613690565b905460405160039290921b1c6001600160a01b03168152f35b3461029e57600036600319011261029957603b546040516001600160a01b039091168152602090f35b3461029e576000366003190112610299573360009081527f75442b0a96088b5456bc4ed01394c96a4feec0f883c9494257d76b96ab1c9b6b602052604090205460ff1615610f1c57610ec9611d3f565b600160ff1960008051602061392d83398151915254161760008051602061392d833981519152557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586020604051338152a1005b63e2517d3f60e01b600052336004526000805160206138ed83398151915260245260446000fd5b3461029e576000366003190112610299576036546040516001600160a01b039091168152602090f35b3461029e576000366003190112610299576038546040516001600160a01b039091168152602090f35b3461029e57600036600319011261029957603c546040516001600160a01b039091168152602090f35b3461029e5760a036600319011261029957610fd761172b565b60643567ffffffffffffffff811161105657610ff7903690600401611913565b906084359167ffffffffffffffff83116110565761101c61104293369060040161198b565b91611025612ae8565b61102d611d3f565b611035611d69565b6044359060243590612f61565b600160008051602061394d83398151915255005b6116db565b3461029e57600036600319011261029957602060ff60008051602061392d83398151915254166040519015158152f35b3461029e576110b261109c3661176d565b916110a5611d3f565b6110ad611d69565b611dd7565b90600160008051602061394d833981519152556110d4604051928392836117bb565b0390f35b3461029e576000366003190112610299576039546040516001600160a01b039091168152602090f35b3461029e576000366003190112610299573360009081527f475b312747b0505dfd322c59063ca43b615bb2e6d10fdf52fb58877bbcde4011602052604090205460ff16156111b35760008051602061392d8339815191525460ff8116156111a25760ff191660008051602061392d833981519152557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6020604051338152a1005b638dfc202b60e01b60005260046000fd5b63e2517d3f60e01b600052336004526000805160206138ad83398151915260245260446000fd5b3461029e57611042670de0b6b3a76400006112246111f7366117d7565b611205949294939193612a88565b61120d611d3f565b611215611d69565b61121f8585611a3b565b611adb565b0491612797565b3461029e57604036600319011261029957611244611741565b336001600160a01b03821603611260576109c790600435612f1d565b63334bd91960e11b60005260046000fd5b3461029e576000366003190112610299576037546040516001600160a01b039091168152602090f35b3461029e576060366003190112610299576112b361172b565b60243567ffffffffffffffff8111611056576112d3903690600401611913565b906044359167ffffffffffffffff8311611056576112f861104293369060040161198b565b91611301612ae8565b611309611d3f565b611311611d69565b612d50565b3461029e576040366003190112610299576109c7600435611335611741565b906113426109bd82611b24565b612d08565b3461029e576020366003190112610299576020611365600435611b24565b604051908152f35b3461029e5760403660031901126102995761104261138961172b565b611391611d3f565b611399611d69565b670de0b6b3a76400006113b260243561121f8433611a3b565b04903390612797565b3461029e576000366003190112610299576020600254604051908152f35b3461029e576040366003190112610299576110426113f561172b565b6113fd611741565b90611406612a88565b61140e611d3f565b611416611d69565b612b92565b3461029e5760203660031901126102995761104261143761172b565b61143f611d3f565b611447611d69565b3390612b92565b3461029e5761104261145f366117d7565b91611468612a88565b611470611d3f565b611478611d69565b612797565b3461029e5760403660031901126102995761104261149961172b565b6114a1611d3f565b6114a9611d69565b602435903390612797565b3461029e576040366003190112610299576114cd61172b565b6001600160a01b036114dd611741565b16600052600060205260406000209060018060a01b0316600052602052604060002073abddc4ad5256b39b225f22073930e31a1b3d197c90813b15610c4a5760209060246040518094819363d70828eb60e01b835260048301525af48015610c3e57600090610c0b57602090604051908152f35b3461029e576110b2670de0b6b3a764000061159961156e3661176d565b939161157b939193611d3f565b611583611d69565b603a5461121f906001600160a01b031633611a3b565b04611dd7565b3461029e5760403660031901126102995760206113656115bd61172b565b6115c5611741565b90611a3b565b3461163b5760203660031901126102995760043563ffffffff60e01b811680910361083257602090635a05180f60e01b8114908115611610575b506040519015158152f35b637965db0b60e01b81149150811561162a575b5082611605565b6301ffc9a760e01b14905082611623565b60405162461bcd60e51b815260206004820152602260248201527f45746865722073656e7420746f206e6f6e2d70617961626c652066756e63746960448201526137b760f11b6064820152608490fd5b60405162461bcd60e51b815260206004820152602260248201527f414249206465636f64696e673a207475706c65206461746120746f6f2073686f6044820152611c9d60f21b6064820152608490fd5b60405162461bcd60e51b815260206004820152602260248201527f414249206465636f64696e673a20696e76616c6964207475706c65206f666673604482015261195d60f21b6064820152608490fd5b600435906001600160a01b038216820361083257565b602435906001600160a01b038216820361083257565b604435906001600160a01b038216820361083257565b606090600319011261029957600435906024359060443590565b906020808351928381520192019060005b8181106117a55750505090565b8251845260209384019390920191600101611798565b9291906117d2602091604086526040860190611787565b930152565b6060906003190112610299576004356001600160a01b038116810361083257906024356001600160a01b0381168103610832579060443590565b60405162461bcd60e51b815260206004820152602b60248201527f414249206465636f64696e673a20696e76616c69642063616c6c64617461206160448201526a1c9c985e481bd9999cd95d60aa1b6064820152608490fd5b90601f8019910116810190811067ffffffffffffffff82111761188c57604052565b634e487b7160e01b600052604160045260246000fd5b67ffffffffffffffff811161188c5760051b60200190565b60405162461bcd60e51b815260206004820152602b60248201527f414249206465636f64696e673a20696e76616c69642063616c6c64617461206160448201526a727261792073747269646560a81b6064820152608490fd5b9080601f830112156119865781359061192b826118a2565b92611939604051948561186a565b82845260208085019360051b82010191821161198157602001915b8183106119615750505090565b82356001600160a01b038116810361083257815260209283019201611954565b6118ba565b611811565b9080601f830112156119865781356119a2816118a2565b926119b0604051948561186a565b81845260208085019260051b82010192831161198157602001905b8282106119d85750505090565b81358152602091820191016119cb565b60405162461bcd60e51b815260206004820152602560248201527f54617267657420636f6e747261637420646f6573206e6f7420636f6e7461696e60448201526420636f646560d81b6064820152608490fd5b6001600160a01b03918216600090815260208181526040808320939094168252919091522073abddc4ad5256b39b225f22073930e31a1b3d197c90813b15610c4a5760209060246040518094819363f486e12f60e01b835260048301525af4908115610c3e57600091611aac575090565b90506020813d602011611ad3575b81611ac76020938361186a565b81010312610299575190565b3d9150611aba565b81810292918115918404141715611aee57565b634e487b7160e01b600052601160045260246000fd5b8115611b0e570490565b634e487b7160e01b600052601260045260246000fd5b60005260008051602061390d83398151915260205260016040600020015490565b6020818303126102995780519067ffffffffffffffff821161105657019080601f83011215611986578151611b79816118a2565b92611b87604051948561186a565b81845260208085019260051b82010192831161198157602001905b828210611baf5750505090565b8151815260209182019101611ba2565b805115611bcc5760200190565b634e487b7160e01b600052603260045260246000fd5b805160011015611bcc5760400190565b8051821015611bcc5760209160051b010190565b6036549091906001600160a01b0316803b15610c4a576040516358ab550560e11b8152600081600481855afa908115610c3e57600091611d1c575b50813b15610c4a576020600492604051938480926318160ddd60e01b82525afa918215610c3e57600092611ce6575b50611c9981611c94611c84611c8d94611bbf565b51938492611be2565b5187611adb565b611b04565b670de0b6b3a7640000810290808204670de0b6b3a76400001490151715611aee57611ce392611c949160016c0c9f2c9cd04674edea40000000600019830104019015150295611adb565b90565b9091506020813d602011611d14575b81611d026020938361186a565b81010312610299575190611c99611c70565b3d9150611cf5565b611d3991503d806000833e611d31818361186a565b810190611b45565b38611c41565b60ff60008051602061392d8339815191525416611d5857565b63d93c066560e01b60005260046000fd5b600260008051602061394d8339815191525414611d9457600260008051602061394d83398151915255565b633ee5aeb560e01b60005260046000fd5b91908203918211611aee57565b91908201809211611aee57565b90816020910312610299575180151581036108325790565b603a546000949293929190611df69033906001600160a01b0316612b92565b603a546001600160a01b03168552602085815260408087203388529091528520600281015490939042106127885773abddc4ad5256b39b225f22073930e31a1b3d197c803b15610c4a5760405163f486e12f60e01b81526004810186905295602087602481855af496871561277d578897612749575b5083871061273a57603a54611e8b9085906001600160a01b0316613112565b611e9484611c06565b9190938015159081612730575b506127215780156126f057925b6036546001600160a01b031690813b15610c4a57896004926040519384809263154d950160e31b82525afa918215612585578a92612648575b506001600160a01b03611ef983611bbf565b5116916001600160a01b0390611f0e90611be2565b511691611f4b6040516323b872dd60e01b602082015233602482015230604482015283606482015260648152611f4560848261186a565b846137f1565b6038546001600160a01b0316833b15610c4a5760405163095ea7b360e01b81526001600160a01b03919091166004820152602481018390526020816044818f885af180156126035761262b575b506038546001600160a01b031690803b15610c4a5760405163095ea7b360e01b81526001600160a01b0392909216600483015260248201889052602090829060449082908f905af180156125c45761260e575b50603854603a546037544265ffffffffffff16926001600160a01b03908116929181169116823b15610c4a576040516387517c4560e01b81526001600160a01b03918216600482015291811660248301528916604482015265ffffffffffff83166064820152908c908290608490829084905af18015612603576125ef575b50603854603b546037546001600160a01b0392831693918316921690833b15610c4a576040516387517c4560e01b81526001600160a01b0393841660048201529183166024830152918416604482015265ffffffffffff90911660648201528b9182908290608490829084905af180156125e4576125cf575b5050604051956120f460608861186a565b60028752604036602089013761210987611bbf565b528061211487611be2565b52603c546001600160a01b031692833b15610c4a576020602494604051958680926370a0823160e01b82523060048301525afa9384156125c4578b94612590575b506037546036546001600160a01b03908116989116803b15610c4a576121a2988d602081956040519c8d96879563724dba3360e01b8752600487015260a0602487015260a4860190611787565b9060448501528260648501528284820391600319830160848701525201925af1958615612585578a96612569575b506121e46121dd87611be2565b5182611da5565b612510575b5050603c546001600160a01b031690813b15610c4a576020602492604051938480926370a0823160e01b82523060048301525afa80156124c25789906124dc575b6122349250611da5565b9182106124cd578194612252849761224b86611bbf565b5190611da5565b823b15610c4a57604051906366b0d09d60e01b82528260048301526024820152602081604481865af480156124c257612493575b50603c5461229e9033906001600160a01b0316612b92565b603c546001600160a01b0316885260208881526040808a20336000908152925290819020815191939091906122d3858361186a565b60018252601f1985019283366020850137336122ee84611bbf565b528551936122fc878661186a565b60018552366020860137813b15610c4a57855163f486e12f60e01b815260048101829052602081602481865af48d8115612488578991612452575b6123419250611db2565b61234a85611bbf565b52813b15610c4a576020906024875180948193630b5f7e6960e21b835260048301525af4908115612448577f64b83944e79c3ce8d4c297411de637c3e102d064677aac0c163976ebdcd6f50e9798999a9b91612419575b50156123f757603c546123bd93506001600160a01b0316612d50565b6123f26123d36123cc86611bbf565b5195611be2565b5191519283923396846040919493926060820195825260208201520152565b0390a2565b603c546003909301546124149342906001600160a01b0316612f61565b6123bd565b61243b915060203d602011612441575b612433818361186a565b810190611dbf565b386123a1565b503d612429565b85513d8d823e3d90fd5b50506020813d602011612480575b8161246d6020938361186a565b8101031261029957876123419151612337565b3d9150612460565b8851903d90823e3d90fd5b6020813d6020116124ba575b816124ac6020938361186a565b810103126102995751612286565b3d915061249f565b6040513d8b823e3d90fd5b638199f5f360e01b8752600487fd5b506020823d602011612508575b816124f66020938361186a565b8101031261029957612234915161222a565b3d91506124e9565b6125629161255d61252761254f9361224b8a611be2565b60405163a9059cbb60e01b602082015233602482015260448101919091529283906064820190565b03601f19810184528361186a565b6137f1565b38806121e9565b61257e9196503d808c833e611d31818361186a565b94386121d0565b6040513d8c823e3d90fd5b9093506020813d6020116125bc575b816125ac6020938361186a565b8101031261029957519238612155565b3d915061259f565b6040513d8d823e3d90fd5b816125d99161186a565b6102995789386120e3565b6040513d84823e3d90fd5b8b6125fc919c929c61186a565b993861206a565b6040513d8e823e3d90fd5b6126269060203d60201161244157612433818361186a565b611feb565b6126439060203d60201161244157612433818361186a565b611f98565b9091503d808b833e61265a818361186a565b8101906020818303126102995780519067ffffffffffffffff821161105657019080601f8301121561198657815190612692826118a2565b926126a0604051948561186a565b82845260208085019360051b82010191821161198157602001915b8183106126cc575050509038611ee7565b82516001600160a01b03811681036126ec578152602092830192016126bb565b8d80fd5b50606381028181046063148215171561270d576064900492611eae565b634e487b7160e01b89526011600452602489fd5b6331025ed560e11b8952600489fd5b9050841138611ea1565b63162908e360e11b8852600488fd5b9096506020813d602011612775575b816127656020938361186a565b8101031261029957519538611e6c565b3d9150612758565b6040513d8a823e3d90fd5b6306aa937d60e31b8652600486fd5b906127a28183612b92565b6001600160a01b0382811660008181526020818152604080832094861683529390529190912090929073abddc4ad5256b39b225f22073930e31a1b3d197c90813b15610c4a5760405163f486e12f60e01b815260048101829052602081602481865af48015610c3e578791600091612a53575b5010612a4257813b15610c4a5760405163f486e12f60e01b815260048101829052602081602481865af48015610c3e578790600090612a0c575b6128599250611da5565b823b15610c4a57604460209260405194859384926366b0d09d60e01b8452600484015260248301525af48015610c3e576129dd575b5082600052600160205260406000206128a8858254611da5565b90556128ca84670de0b6b3a76400006128c360025483611adb565b0492613112565b6128d48185611da5565b833b15610c4a5760405163a9059cbb60e01b81526001600160a01b038416600482015260248101919091526020816044816000885af18015610c3e576129c0575b506003546001600160a01b031691833b15610c4a5760405163a9059cbb60e01b81526001600160a01b03939093166004840152602483018290526020836044816000885af1918215610c3e577f153ad854126d2ef8ed819a43a2aee5afa57ccb0c3e05c1c535351ce16b3750c1936040936129a3575b50825195865260208601526001600160a01b031693a3565b6129bb9060203d60201161244157612433818361186a565b61298b565b6129d89060203d60201161244157612433818361186a565b612915565b6020813d602011612a04575b816129f66020938361186a565b81010312610299575161288e565b3d91506129e9565b50506020813d602011612a3a575b81612a276020938361186a565b810103126102995786612859915161284f565b3d9150612a1a565b63162908e360e11b60005260046000fd5b9150506020813d602011612a80575b81612a6f6020938361186a565b810103126102995786905138612815565b3d9150612a62565b3360009081527f448256db8f8fb95ee3eaaf89c1051414494e85cebb6057fcf996cc3d0ccfb456602052604090205460ff1615612ac157565b63e2517d3f60e01b600052336004526000805160206138cd83398151915260245260446000fd5b3360009081527f28fdcfd75b1d4dd23595991a78bb7b21401ccc3b731fb51ce7da09496440699f602052604090205460ff1615612b2157565b63e2517d3f60e01b6000523360045260008051602061388d83398151915260245260446000fd5b600081815260008051602061390d8339815191526020908152604080832033845290915290205460ff1615612b7a5750565b63e2517d3f60e01b6000523360045260245260446000fd5b6001600160a01b0380821660008181526020818152604080832094871683529390529190912073abddc4ad5256b39b225f22073930e31a1b3d197c93919290843b15610c4a5760206024956040519687809263d70828eb60e01b82528560048301525af4948515610c3e57600095612cd1575b50612c3b916001869286600052816020526040600020612c26858254611da5565b905501612c34838254611db2565b9055613112565b813b15610c4a5760405163a9059cbb60e01b81526001600160a01b038216600482015260248101849052906020826044816000875af1908115610c3e577f512f453ded9ecf1b3b5dcc9bc14969f9c2741dd433a9401e18c460c620a7c5ce92602092612cb6575b506040519485526001600160a01b031693a3565b612ccc90833d851161244157612433818361186a565b612ca2565b91948260209182903d8411612d00575b612ceb828461186a565b50810103126102995790519390612c3b612c05565b3d9150612ce1565b612d128282613559565b9182612d1d57505090565b600091825260008051602061386d8339815191526020526040909120612d4c916001600160a01b0316906136a8565b5090565b918151815103612f0c5781519173abddc4ad5256b39b225f22073930e31a1b3d197c9060005b848110612d8557505050505050565b6001600160a01b03612d978284611bf2565b511690612da48186611bf2565b5191612db08189612b92565b6001600160a01b03888116600081815260208181526040808320948616835293905291909120863b15610c4a5760405163f486e12f60e01b815260048101829052906020826024818b5af4918215610c3e57600092612ed9575b50873b15610c4a57604051906366b0d09d60e01b825260048201528560248201526020816044818b5af48015610c3e57600090612ea3575b5050602085612e89600197612e847fdbccea684d9a13e16b8be5ff432e6a3766b39052afff4131810fc75d8900b92595876000528a8652604060002054611da5565b611db2565b84600052878352604060002055604051908152a301612d76565b8160209182949394903d8211612ed1575b612ebe828461186a565b5081010312610299579050602085612e42565b3d9150612eb4565b90918160209182903d8211612f04575b612ef3828461186a565b508101031261029957519038612e0a565b3d9150612ee9565b63019d1e2360e01b60005260046000fd5b612f2782826135f0565b9182612f3257505090565b600091825260008051602061386d8339815191526020526040909120612d4c916001600160a01b03169061371e565b939190938351835103612f0c5783519373abddc4ad5256b39b225f22073930e31a1b3d197c929060005b868110612f9c575050505050505050565b6001600160a01b03612fae8284611bf2565b511690612fbb8188611bf2565b519160018060a01b0386168060005260016020526040600020612fdf858254611db2565b90556000818152602081815260408083206001600160a01b0386168452909152902093883b15610c4a5760405194638deab48160e01b865260048601528060248601528b60448601528660648601526020856084818c5af4948515610c3e578c9560009061308e575b50506040805191825260208201959095529384018690526001937f29560a14fed38cc5abcff05d1a62598893682781caa32db238f2dd1d144a02fa90606090a301612f8b565b8196509060209182903d82116130dc575b6130a9828461186a565b5081010312610299578b9450847f29560a14fed38cc5abcff05d1a62598893682781caa32db238f2dd1d144a02fa613048565b3d915061309f565b60ff60008051602061396d8339815191525460401c161561310157565b631afcd79f60e31b60005260046000fd5b6001600160a01b0316803b15610c4a576040516370a0823160e01b815230600482015260009290602081602481865afa9081156132065784916131d4575b5081811061315f575b50505050565b61316891611da5565b603a549091906001600160a01b03168114613184575b80613159565b803b15610c4a576040516340c10f1960e01b8152306004820152602481019290925282908290604490829084905af180156125e4576131c4575b8061317e565b816131ce9161186a565b386131be565b90506020813d6020116131fe575b816131ef6020938361186a565b81010312610299575138613150565b3d91506131e2565b6040513d86823e3d90fd5b6001600160a01b03811660009081527fb7db2dd08fcb62d0c9e08c51941cae53c267786a0b75803fb7960902fc8ef97d602052604090205460ff166132ab576001600160a01b031660008181527fb7db2dd08fcb62d0c9e08c51941cae53c267786a0b75803fb7960902fc8ef97d60205260408120805460ff1916600117905533919060008051602061384d8339815191528180a4600190565b50600090565b6001600160a01b03811660009081527f28fdcfd75b1d4dd23595991a78bb7b21401ccc3b731fb51ce7da09496440699f602052604090205460ff166132ab576001600160a01b031660008181527f28fdcfd75b1d4dd23595991a78bb7b21401ccc3b731fb51ce7da09496440699f60205260408120805460ff1916600117905533919060008051602061388d8339815191529060008051602061384d8339815191529080a4600190565b6001600160a01b03811660009081527f75442b0a96088b5456bc4ed01394c96a4feec0f883c9494257d76b96ab1c9b6b602052604090205460ff166132ab576001600160a01b031660008181527f75442b0a96088b5456bc4ed01394c96a4feec0f883c9494257d76b96ab1c9b6b60205260408120805460ff191660011790553391906000805160206138ed8339815191529060008051602061384d8339815191529080a4600190565b6001600160a01b03811660009081527f475b312747b0505dfd322c59063ca43b615bb2e6d10fdf52fb58877bbcde4011602052604090205460ff166132ab576001600160a01b031660008181527f475b312747b0505dfd322c59063ca43b615bb2e6d10fdf52fb58877bbcde401160205260408120805460ff191660011790553391906000805160206138ad8339815191529060008051602061384d8339815191529080a4600190565b6001600160a01b03811660009081527f448256db8f8fb95ee3eaaf89c1051414494e85cebb6057fcf996cc3d0ccfb456602052604090205460ff166132ab576001600160a01b031660008181527f448256db8f8fb95ee3eaaf89c1051414494e85cebb6057fcf996cc3d0ccfb45660205260408120805460ff191660011790553391906000805160206138cd8339815191529060008051602061384d8339815191529080a4600190565b600081815260008051602061390d833981519152602090815260408083206001600160a01b038616845290915290205460ff166135e957600081815260008051602061390d833981519152602090815260408083206001600160a01b0395909516808452949091528120805460ff191660011790553392919060008051602061384d8339815191529080a4600190565b5050600090565b600081815260008051602061390d833981519152602090815260408083206001600160a01b038616845290915290205460ff16156135e957600081815260008051602061390d833981519152602090815260408083206001600160a01b0395909516808452949091528120805460ff19169055339291907ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b9080a4600190565b8054821015611bcc5760005260206000200190600090565b60018101908260005281602052604060002054156000146137165780546801000000000000000081101561188c576137016136ea826001879401855584613690565b819391549060031b91821b91600019901b19161790565b90555491600052602052604060002055600190565b505050600090565b90600182019181600052826020526040600020548015156000146137e8576000198101818111611aee578254600019810191908211611aee578181036137b1575b5050508054801561379b5760001901906137798282613690565b8154906000199060031b1b191690555560005260205260006040812055600190565b634e487b7160e01b600052603160045260246000fd5b6137d16137c16136ea9386613690565b90549060031b1c92839286613690565b90556000528360205260406000205538808061375f565b50505050600090565b906000602091828151910182855af115610c3e576000513d61384357506001600160a01b0381163b155b6138225750565b635274afe760e01b60009081526001600160a01b0391909116600452602490fd5b6001141561381b56fe2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0dc1f6fe24621ce81ec5827caf0253cadb74709b061630e6b55e8237170593200061c92169ef077349011ff0b1383c894d86c5f0b41d986366b58a6cf31e93beda427da25fe773164f88948d3e215c94b6554e2ed5e5f203a821c9f2f6131cf75a97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b92965d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800cd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f033009b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00f0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00a164736f6c634300081b000a