LeverageModule | Arbitrum

codeslaw

LeverageModuleSolidityv0.8.28+commit.7893614a

network

Arbitrum

address0xca41bf5abc2ceadf84b000789a66e08899b6ce51

deployer0xE1e56A2e679Ef4778775718Cf5ffaD577368d695

tx last 12 months

0 txs

calls last 12 months

9.2k calls

39 Files

lib

openzeppelin-contracts-upgradeable

contracts

access

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

token

ERC721

ERC721Upgradeable.sol

extensions

ERC721EnumerableUpgradeable.sol

utils

ContextUpgradeable.sol

introspection

ERC165Upgradeable.sol

lib

openzeppelin-contracts

contracts

interfaces

IERC20Metadata.sol

draft-IERC6093.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

ERC721

IERC721.sol

IERC721Receiver.sol

extensions

IERC721Enumerable.sol

IERC721Metadata.sol

utils

Strings.sol

introspection

IERC165.sol

math

Math.sol

SafeCast.sol

SignedMath.sol

pyth-sdk-solidity

IPyth.sol

IPythEvents.sol

PythStructs.sol

src

LeverageModule.sol

abstracts

ModuleUpgradeable.sol

interfaces

IChainlinkAggregatorV3.sol

ICommonErrors.sol

IControllerModule.sol

IFlatcoinVault.sol

ILeverageModule.sol

ILiquidationModule.sol

IOracleModule.sol

IOrderAnnouncementModule.sol

IOrderExecutionModule.sol

structs

DelayedOrderStructs.sol

FlatcoinVaultStructs.sol

LeverageModuleStructs.sol

OracleModuleStructs.sol

libraries

DecimalMath.sol

FlatcoinModuleKeys.sol

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

abi

constructor

constructor()

functions

balanceOf

view

function balanceOf(address owner) view returns (uint256)

checkLeverageCriteria

view

function checkLeverageCriteria(uint256 margin_, uint256 size_) view

getApproved

view

function getApproved(uint256 tokenId) view returns (address)

getPositionSummary

view

function getPositionSummary(tuple position_, uint256 price_) view returns (tuple positionSummary_)

getPositionSummary

view

function getPositionSummary(uint256 tokenId_) view returns (tuple positionSummary_)

isApprovedForAll

view

function isApprovedForAll(address owner, address operator) view returns (bool)

leverageMax

view

function leverageMax() view returns (uint256)

leverageMin

view

function leverageMin() view returns (uint256)

marginMin

view

function marginMin() view returns (uint256)

MODULE_KEY

view

function MODULE_KEY() view returns (bytes32)

name

view

function name() view returns (string)

ownerOf

view

function ownerOf(uint256 tokenId) view returns (address)

supportsInterface

view

function supportsInterface(bytes4 interfaceId) view returns (bool)

symbol

view

function symbol() view returns (string)

tokenByIndex

view

function tokenByIndex(uint256 index) view returns (uint256)

tokenIdNext

view

function tokenIdNext() view returns (uint256)

tokenOfOwnerByIndex

view

function tokenOfOwnerByIndex(address owner, uint256 index) view returns (uint256)

tokenURI

view

function tokenURI(uint256 tokenId) view returns (string)

totalSupply

view

function totalSupply() view returns (uint256)

vault

view

function vault() view returns (address)

approve

nonpayable

function approve(address to, uint256 tokenId)

burn

nonpayable

function burn(uint256 tokenId_)

executeAdjust

nonpayable

function executeAdjust(tuple order_)

executeClose

nonpayable

function executeClose(tuple order_) returns (uint256 marginAfterPositionClose_)

executeOpen

nonpayable

function executeOpen(address account_, tuple order_) returns (uint256 newTokenId_)

initialize

nonpayable

function initialize(address vault_, uint256 marginMin_, uint256 leverageMin_, uint256 leverageMax_)

mint

nonpayable

function mint(address to_) returns (uint256 tokenId_)

safeTransferFrom

nonpayable

function safeTransferFrom(address from, address to, uint256 tokenId, bytes data)

safeTransferFrom

nonpayable

function safeTransferFrom(address from, address to, uint256 tokenId)

setApprovalForAll

nonpayable

function setApprovalForAll(address operator, bool approved)

setLeverageCriteria

nonpayable

function setLeverageCriteria(uint256 marginMin_, uint256 leverageMin_, uint256 leverageMax_)

setVault

nonpayable

function setVault(address vault_)

transferFrom

nonpayable

function transferFrom(address from, address to, uint256 tokenId)

events

Approval

event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId)

ApprovalForAll

event ApprovalForAll(address indexed owner, address indexed operator, bool approved)

Initialized

event Initialized(uint64 version)

LeverageAdjust

event LeverageAdjust(uint256 tokenId, uint256 averagePrice, uint256 adjustPrice, int256 marginDelta, int256 sizeDelta, uint256 tradeFee)

LeverageClose

event LeverageClose(uint256 tokenId, uint256 closePrice, (int256 profitLoss, int256 accruedFunding, int256 marginAfterSettlement) positionSummary, uint256 settledMargin, uint256 size, uint256 tradeFee)

LeverageOpen

event LeverageOpen(address account, uint256 tokenId, uint256 entryPrice, uint256 margin, uint256 size, uint256 tradeFee)

Transfer

event Transfer(address indexed from, address indexed to, uint256 indexed tokenId)

errors

ERC721EnumerableForbiddenBatchMint

error ERC721EnumerableForbiddenBatchMint()

ERC721IncorrectOwner

error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner)

ERC721InsufficientApproval

error ERC721InsufficientApproval(address operator, uint256 tokenId)

ERC721InvalidApprover

error ERC721InvalidApprover(address approver)

ERC721InvalidOperator

error ERC721InvalidOperator(address operator)

ERC721InvalidOwner

error ERC721InvalidOwner(address owner)

ERC721InvalidReceiver

error ERC721InvalidReceiver(address receiver)

ERC721InvalidSender

error ERC721InvalidSender(address sender)

ERC721NonexistentToken

error ERC721NonexistentToken(uint256 tokenId)

ERC721OutOfBoundsIndex

error ERC721OutOfBoundsIndex(address owner, uint256 index)

HighSlippage

error HighSlippage(uint256 supplied, uint256 accepted)

InvalidInitialization

error InvalidInitialization()

InvalidLeverageCriteria

error InvalidLeverageCriteria()

LeverageTooHigh

error LeverageTooHigh(uint256 leverageMax, uint256 leverage)

LeverageTooLow

error LeverageTooLow(uint256 leverageMin, uint256 leverage)

MarginTooSmall

error MarginTooSmall(uint256 marginMin, uint256 margin)

ModuleKeyEmpty

error ModuleKeyEmpty()

NotEnoughMarginForFees

error NotEnoughMarginForFees(int256 marginAmount, uint256 feeAmount)

NotInitializing

error NotInitializing()

OnlyAuthorizedModule

error OnlyAuthorizedModule(address msgSender)

OnlyOwner

error OnlyOwner(address msgSender)

OrderExists

error OrderExists(uint8 orderType)

Paused

error Paused(bytes32 moduleKey)

PositionCreatesBadDebt

error PositionCreatesBadDebt()

SafeCastOverflowedIntToUint

error SafeCastOverflowedIntToUint(int256 value)

SafeCastOverflowedUintDowncast

error SafeCastOverflowedUintDowncast(uint8 bits, uint256 value)

ValueNotPositive

error ValueNotPositive(string variableName)

ZeroAddress

error ZeroAddress(string variableName)

bytecode

creation bytecode

0x6080604052348015600f57600080fd5b506016601a565b60ca565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805468010000000000000000900460ff161560695760405163f92ee8a960e01b815260040160405180910390fd5b80546001600160401b039081161460c75780546001600160401b0319166001600160401b0390811782556040519081527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50565b6147f7806100d96000396000f3fe608060405234801561001057600080fd5b50600436106101fb5760003560e01c80636352211e1161011a578063a22cb465116100ad578063d96dc8451161007c578063d96dc8451461044b578063e07b877a1461045e578063e985e9c514610467578063f4d151c3146104c2578063fbfa77cf146104cb57600080fd5b8063a22cb465146103ff578063b88d4fde14610412578063c87b56dd14610425578063d25bfbd21461043857600080fd5b806377d5b2b5116100e957806377d5b2b5146103bb5780637bd35176146103ce5780638bbf58b3146103ee57806395d89b41146103f757600080fd5b80636352211e1461036f5780636817031b146103825780636a6278421461039557806370a08231146103a857600080fd5b80632f745c591161019257806342966c681161016157806342966c68146103235780634ec81af1146103365780634f6ccce71461034957806359beb9d11461035c57600080fd5b80632f745c59146102e15780633d23b9ca146102f45780633fab0a34146102fd57806342842e0e1461031057600080fd5b8063095ea7b3116101ce578063095ea7b31461027f57806318160ddd146102945780631a8d51d6146102bb57806323b872dd146102ce57600080fd5b806301ffc9a71461020057806306fdde031461022857806307095c331461023d578063081812fc14610254575b600080fd5b61021361020e366004613ada565b6104de565b60405190151581526020015b60405180910390f35b610230610509565b60405161021f9190613b47565b61024660345481565b60405190815260200161021f565b610267610262366004613b5a565b6105ad565b6040516001600160a01b03909116815260200161021f565b61029261028d366004613b88565b6105f5565b005b7f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed0254610246565b6102926102c9366004613bb4565b610604565b6102926102dc366004613bd6565b6106cc565b6102466102ef366004613b88565b610757565b61024660005481565b61029261030b366004613c17565b6107dd565b61029261031e366004613bd6565b61087e565b610292610331366004613b5a565b610899565b610292610344366004613c43565b610935565b610246610357366004613b5a565b610ae2565b61024661036a366004613c96565b610b7e565b61026761037d366004613b5a565b611117565b610292610390366004613ccb565b611122565b6102466103a3366004613ccb565b611219565b6102466103b6366004613ccb565b6112b3565b6102466103c9366004613ce8565b61130f565b6103e16103dc366004613b5a565b611978565b60405161021f9190613d38565b61024660325481565b610230611b86565b61029261040d366004613d67565b611bc5565b610292610420366004613ea1565b611bd0565b610230610433366004613b5a565b611be7565b610292610446366004613c96565b611c5b565b6103e1610459366004613f50565b612582565b61024660355481565b610213610475366004613faa565b6001600160a01b0391821660009081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab00793056020908152604080832093909416825291909152205460ff1690565b61024660335481565b600154610267906001600160a01b031681565b60006001600160e01b0319821663780e9d6360e01b148061050357506105038261276b565b92915050565b6000805160206147a2833981519152805460609190819061052990613fd8565b80601f016020809104026020016040519081016040528092919081815260200182805461055590613fd8565b80156105a25780601f10610577576101008083540402835291602001916105a2565b820191906000526020600020905b81548152906001019060200180831161058557829003601f168201915b505050505091505090565b60006105b8826127bb565b5060008281527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930460205260409020546001600160a01b0316610503565b610600828233612813565b5050565b6000826106118382614022565b61062390670de0b6b3a7640000614035565b61062d9190614062565b90506034548110156106655760345460405163e3835a2760e01b81526004810191909152602481018290526044015b60405180910390fd5b60355481111561069657603554604051633b7b1e4b60e01b815260048101919091526024810182905260440161065c565b6033548310156106c757603354604051631462079360e21b815260048101919091526024810184905260440161065c565b505050565b6001600160a01b0382166106f657604051633250574960e11b81526000600482015260240161065c565b6000610703838333612820565b9050836001600160a01b0316816001600160a01b031614610751576040516364283d7b60e01b81526001600160a01b038086166004830152602482018490528216604482015260640161065c565b50505050565b60007f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed00610783846112b3565b83106107b45760405163295f44f760e21b81526001600160a01b03851660048201526024810184905260440161065c565b6001600160a01b0384166000908152602091825260408082208583529092522054905092915050565b60015460408051638da5cb5b60e01b8152905133926001600160a01b031691638da5cb5b9160048083019260209291908290030181865afa158015610826573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061084a9190614076565b6001600160a01b03161461087357604051630543601560e11b815233600482015260240161065c565b6106c7838383612dd5565b6106c783838360405180602001604052806000815250611bd0565b60015460405163399dd46360e01b81523360048201526001600160a01b039091169063399dd46390602401602060405180830381865afa1580156108e1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109059190614093565b151560000361092957604051633b9e98fd60e11b815233600482015260240161065c565b61093281612e03565b50565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805468010000000000000000810460ff16159067ffffffffffffffff166000811580156109805750825b905060008267ffffffffffffffff16600114801561099d5750303b155b9050811580156109ab575080155b156109c95760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff1916600117855583156109fd57845468ff00000000000000001916680100000000000000001785555b610a277f6c657665726167654d6f64756c650000000000000000000000000000000000008a612e3e565b610a816040518060400160405280601e81526020017f466c6174204d6f6e6579204c657665726167656420506f736974696f6e730000815250604051806040016040528060038152602001622622ab60e91b815250612ec2565b610a8c888888612dd5565b8315610ad757845468ff000000000000000019168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b505050505050505050565b60007f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed00610b2d7f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed025490565b8310610b565760405163295f44f760e21b8152600060048201526024810184905260440161065c565b806002018381548110610b6b57610b6b6140b0565b9060005260206000200154915050919050565b60015460405163399dd46360e01b81523360048201526000916001600160a01b03169063399dd46390602401602060405180830381865afa158015610bc7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610beb9190614093565b1515600003610c0f57604051633b9e98fd60e11b815233600482015260240161065c565b600154604051630aa10e9f60e41b81526b6f7261636c654d6f64756c6560a01b60048201526000916001600160a01b03169063aa10e9f090602401602060405180830381865afa158015610c67573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c8b9190614076565b90506000610c9c60608501856140c6565b810190610ca99190614114565b600154815160405163eb02c30160e01b81529293506000926001600160a01b039092169163eb02c30191610ce39160040190815260200190565b608060405180830381865afa158015610d00573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d249190614151565b90506000610d40610d3b60608801604089016141b2565b612ed4565b90506000846001600160a01b031663529b128c600160009054906101000a90046001600160a01b03166001600160a01b031663d8dfeb456040518163ffffffff1660e01b8152600401602060405180830381865afa158015610da6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610dca9190614076565b6040516001600160e01b031960e084901b1681526001600160a01b03909116600482015263ffffffff85166024820152600160448201526064016040805180830381865afa158015610e20573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e4491906141cf565b5090508360200151811015610e7c57602084015160405163437879d160e01b815261065c918391600401918252602082015260400190565b600080610ea360405180606001604052806000815260200160008152602001600081525090565b610ead8685612582565b90508060400151915089602001358760400151610eca9190614022565b925060008213610f0d57604051634f686b7d60e01b815260206004820152600d60248201526c39b2ba3a3632b226b0b933b4b760991b604482015260640161065c565b82821215610f3857604051630c46115560e31b8152600481018390526024810184905260440161065c565b60015481516001600160a01b03909116906337f3e0d290610f58906141f3565b6040518263ffffffff1660e01b8152600401610f7691815260200190565b600060405180830381600087803b158015610f9057600080fd5b505af1158015610fa4573d6000803e3d6000fd5b50506001548851602080860151908b01516001600160a01b03909316945063e0a1ba3793509091610fd5919061420f565b610fde906141f3565b8960400151610fec906141f3565b6040516001600160e01b031960e086901b168152600481019390935260248301919091526044820152606401600060405180830381600087803b15801561103257600080fd5b505af1158015611046573d6000803e3d6000fd5b505060015489516040516344b0345360e11b81526001600160a01b03909216935063896068a6925061107e9160040190815260200190565b600060405180830381600087803b15801561109857600080fd5b505af11580156110ac573d6000803e3d6000fd5b505050506110bd8760000151610899565b7f97889f9388150a591b7502195333278b068e26a9660bdcd8b87ff109ee6eecca87600001518583858a604001518c6040015160405161110296959493929190614237565b60405180910390a15098975050505050505050565b6000610503826127bb565b60015460408051638da5cb5b60e01b8152905133926001600160a01b031691638da5cb5b9160048083019260209291908290030181865afa15801561116b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061118f9190614076565b6001600160a01b0316146111b857604051630543601560e11b815233600482015260240161065c565b6001600160a01b0381166111f75760405163eac0d38960e01b81526020600482015260056024820152641d985d5b1d60da1b604482015260640161065c565b600180546001600160a01b0319166001600160a01b0392909216919091179055565b60015460405163399dd46360e01b81523360048201526000916001600160a01b03169063399dd46390602401602060405180830381865afa158015611262573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112869190614093565b15156000036112aa57604051633b9e98fd60e11b815233600482015260240161065c565b61050382612ef2565b60006000805160206147a28339815191526001600160a01b0383166112ee576040516322718ad960e21b81526000600482015260240161065c565b6001600160a01b039092166000908152600390920160205250604090205490565b60015460405163399dd46360e01b81523360048201526000916001600160a01b03169063399dd46390602401602060405180830381865afa158015611358573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061137c9190614093565b15156000036113a057604051633b9e98fd60e11b815233600482015260240161065c565b60006113b5610d3b60608501604086016141b2565b905060006113c660608501856140c6565b8101906113d39190614284565b600154604051630aa10e9f60e41b81526b6f7261636c654d6f64756c6560a01b60048201529192506000916001600160a01b039091169063aa10e9f090602401602060405180830381865afa158015611430573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114549190614076565b6001600160a01b031663529b128c600160009054906101000a90046001600160a01b03166001600160a01b031663d8dfeb456040518163ffffffff1660e01b8152600401602060405180830381865afa1580156114b5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114d99190614076565b6040516001600160e01b031960e084901b1681526001600160a01b03909116600482015263ffffffff86166024820152600160448201526064016040805180830381865afa15801561152f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061155391906141cf565b509050816040015181111561158c5780826040015160405163437879d160e01b815260040161065c929190918252602082015260400190565b600154602083015160a0840151604051630ce8fe6160e01b8152600481019290925260248201526001600160a01b0390911690630ce8fe619060440160006040518083038186803b1580156115e057600080fd5b505afa1580156115f4573d6000803e3d6000fd5b50506001548451602086015160405163e0a1ba3760e01b815260048101879052602481019290925260448201526001600160a01b03909116925063e0a1ba379150606401600060405180830381600087803b15801561165257600080fd5b505af1158015611666573d6000803e3d6000fd5b5050505061167386612ef2565b600154604080516080810182528481528551602080830191909152860151818301529051630aa10e9f60e41b81526f636f6e74726f6c6c65724d6f64756c6560801b60048201529296506001600160a01b0390911691633658eb1091906060820190849063aa10e9f090602401602060405180830381865afa1580156116fd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117219190614076565b6001600160a01b031663470cdf476040518163ffffffff1660e01b8152600401602060405180830381865afa15801561175e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061178291906142f7565b9052604080516001600160e01b031960e085901b168152825160048201526020830151602482015290820151604482015260609091015160648201526084810187905260a401600060405180830381600087803b1580156117e257600080fd5b505af11580156117f6573d6000803e3d6000fd5b5050600154604051630aa10e9f60e41b8152706c69717569646174696f6e4d6f64756c6560781b60048201526001600160a01b03909116925063aa10e9f09150602401602060405180830381865afa158015611856573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061187a9190614076565b6001600160a01b0316639df411ee856040518263ffffffff1660e01b81526004016118a791815260200190565b602060405180830381865afa1580156118c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118e89190614093565b1561190657604051632904a7fd60e11b815260040160405180910390fd5b815160208084015160a080860151604080516001600160a01b038d1681529485018a90528481018790526060850195909552608084019290925282015290517f85c928309653acfda90b6aa900b0f37db813bfa790f5d1f9c0fe5db657beb23e9181900360c00190a150505092915050565b61199c60405180606001604052806000815260200160008152602001600081525090565b600154604051630aa10e9f60e41b81526b6f7261636c654d6f64756c6560a01b60048201526000916001600160a01b03169063aa10e9f090602401602060405180830381865afa1580156119f4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a189190614076565b6001600160a01b03166341976e09600160009054906101000a90046001600160a01b03166001600160a01b031663d8dfeb456040518163ffffffff1660e01b8152600401602060405180830381865afa158015611a79573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a9d9190614076565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201526024016040805180830381865afa158015611ae0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b0491906141cf565b5060015460405163eb02c30160e01b815260048101869052919250611b7f916001600160a01b039091169063eb02c30190602401608060405180830381865afa158015611b55573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b799190614151565b82612582565b9392505050565b7f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930180546060916000805160206147a28339815191529161052990613fd8565b610600338383612f1d565b611bdb8484846106cc565b61075184848484612fce565b6060611bf2826127bb565b506000611c0a60408051602081019091526000815290565b90506000815111611c2a5760405180602001604052806000815250611b7f565b80611c34846130f7565b604051602001611c45929190614310565b6040516020818303038152906040529392505050565b60015460405163399dd46360e01b81523360048201526001600160a01b039091169063399dd46390602401602060405180830381865afa158015611ca3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611cc79190614093565b1515600003611ceb57604051633b9e98fd60e11b815233600482015260240161065c565b600154604051630aa10e9f60e41b81526b6f7261636c654d6f64756c6560a01b60048201526000916001600160a01b03169063aa10e9f090602401602060405180830381865afa158015611d43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d679190614076565b90506000611d7e610d3b60608501604086016141b2565b90506000611d8f60608501856140c6565b810190611d9c919061433f565b600154815160405163eb02c30160e01b81529293506000926001600160a01b039092169163eb02c30191611dd69160040190815260200190565b608060405180830381865afa158015611df3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e179190614151565b90506000846001600160a01b031663529b128c600160009054906101000a90046001600160a01b03166001600160a01b031663d8dfeb456040518163ffffffff1660e01b8152600401602060405180830381865afa158015611e7d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ea19190614076565b6040516001600160e01b031960e084901b1681526001600160a01b03909116600482015263ffffffff87166024820152600160448201526064016040805180830381865afa158015611ef7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f1b91906141cf565b50600154604051630aa10e9f60e41b81526f636f6e74726f6c6c65724d6f64756c6560801b60048201529192506000916001600160a01b039091169063aa10e9f090602401602060405180830381865afa158015611f7d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fa19190614076565b6001600160a01b031663470cdf476040518163ffffffff1660e01b8152600401602060405180830381865afa158015611fde573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061200291906142f7565b905060006120108484612582565b9050600061201e8585612582565b604001511361207057604051634f686b7d60e01b815260206004820152601560248201527f6d617267696e4166746572536574746c656d656e740000000000000000000000604482015260640161065c565b600080866020015113612096578560a001518660200151612091919061439e565b61209c565b85602001515b905060008560200151826120b0919061420f565b905060006120d0886040015188604001516120cb919061420f565b613197565b905060008089604001511261218057886060015187111561211457606089015160405163437879d160e01b815261065c918991600401918252602082015260400190565b60008960400151886121269190614035565b60408a01518a516121379190614035565b6121419190614022565b905061214d83826143c5565b6000036121635761215e8382614062565b612178565b61216d8382614062565b612178906001614022565b91505061226f565b88606001518710156121b557606089015160405163437879d160e01b815261065c918991600401918252602082015260400190565b6000886040015186600001518b604001516121cf906141f3565b6121d991906143d9565b6121e39190614409565b90506121ef818561420f565b89519094509150612200818661420f565b6001549095506001600160a01b03166337f3e0d261221d836141f3565b6040518263ffffffff1660e01b815260040161223b91815260200190565b600060405180830381600087803b15801561225557600080fd5b505af1158015612269573d6000803e3d6000fd5b50505050505b6000828a604001518a6060015189612287919061439e565b61229191906143d9565b61229b9190614409565b89606001516122aa919061420f565b90506122be6122b885613197565b84610604565b60015460408b01516001600160a01b039091169063e0a1ba37906000136122e557896122e8565b8a515b6040808e015190516001600160e01b031960e085901b1681526004810192909252602482018990526044820152606401600060405180830381600087803b15801561233257600080fd5b505af1158015612346573d6000803e3d6000fd5b505060015460408051608081019091528581526001600160a01b039091169250633658eb1091506020810161237a88613197565b8152602080820188905260409182018690528e5182516001600160e01b031960e087901b168152845160048201529184015160248301529183015160448201526060909201516064830152608482015260a401600060405180830381600087803b1580156123e757600080fd5b505af11580156123fb573d6000803e3d6000fd5b5050600154604051630aa10e9f60e41b8152706c69717569646174696f6e4d6f64756c6560781b60048201526001600160a01b03909116925063aa10e9f09150602401602060405180830381865afa15801561245b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061247f9190614076565b8a5160405163c631d84b60e01b81526001600160a01b03929092169163c631d84b916124b8918c90600401918252602082015260400190565b602060405180830381865afa1580156124d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124f99190614093565b1561251757604051632904a7fd60e11b815260040160405180910390fd5b89516040808c01516080808e01518351948552602085018790529284018c90526060840189905283015260a08201527fc7e1880a21222a0bd38f22e489dbd13c6cd6e779f59d2d50b90e8d6a1d853db19060c00160405180910390a150505050505050505050505050565b6125a660405180606001604052806000815260200160008152602001600081525090565b600154604051630aa10e9f60e41b81526f636f6e74726f6c6c65724d6f64756c6560801b60048201526000916001600160a01b03169063aa10e9f090602401602060405180830381865afa158015612602573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126269190614076565b604080516310dc67df60e21b8152865160048201526020870151602482015290860151604482015260608601516064820152608481018590529091506000906001600160a01b038316906343719f7c9060a401602060405180830381865afa158015612696573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126ba91906142f7565b90506000826001600160a01b0316638eb77d41876040518263ffffffff1660e01b81526004016126ea9190614437565b602060405180830381865afa158015612707573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061272b91906142f7565b9050604051806060016040528083815260200182815260200182848960200151612755919061420f565b61275f919061420f565b90529695505050505050565b60006001600160e01b031982166380ac58cd60e01b148061279c57506001600160e01b03198216635b5e139f60e01b145b8061050357506301ffc9a760e01b6001600160e01b0319831614610503565b60008181527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930260205260408120546001600160a01b03168061050357604051637e27328960e01b81526004810184905260240161065c565b6106c783838360016131c1565b60008281527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab0079302602052604081205481906001600160a01b0316600154604051630aa10e9f60e41b8152766f72646572416e6e6f756e63656d656e744d6f64756c6560481b60048201529192506000916001600160a01b039091169063aa10e9f090602401602060405180830381865afa1580156128c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128e59190614076565b90506001600160a01b03821615612dc0576040516301edb60d60e61b81526001600160a01b03838116600483015260009190831690637b6d834090602401600060405180830381865afa158015612940573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526129689190810190614462565b604051632983081360e11b8152600481018890529091506000906001600160a01b03841690635306102690602401600060405180830381865afa1580156129b3573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526129db9190810190614462565b90506005825160068111156129f2576129f2614544565b1480612a105750600482516006811115612a0e57612a0e614544565b145b15612c8f57600582516006811115612a2a57612a2a614544565b03612b745760008260600151806020019051810190612a49919061455a565b905087816000015103612b6e576001600160a01b038916612b5257600154604051630aa10e9f60e41b81527f6f72646572457865637574696f6e4d6f64756c6500000000000000000000000060048201526001600160a01b039091169063aa10e9f090602401602060405180830381865afa158015612acc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612af09190614076565b6040516303bb4f6960e01b81526001600160a01b03878116600483015291909116906303bb4f6990602401600060405180830381600087803b158015612b3557600080fd5b505af1158015612b49573d6000803e3d6000fd5b50505050612b6e565b8251604051634391a5d360e01b815261065c91906004016145b9565b50612c8f565b60008260600151806020019051810190612b8e91906145e1565b905087816000015103612c8d576001600160a01b038916612b5257600154604051630aa10e9f60e41b8152766f72646572416e6e6f756e63656d656e744d6f64756c6560481b60048201526001600160a01b039091169063aa10e9f090602401602060405180830381865afa158015612c0b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612c2f9190614076565b6040516346c8f1c760e11b81526001600160a01b0387811660048301529190911690638d91e38e90602401600060405180830381600087803b158015612c7457600080fd5b505af1158015612c88573d6000803e3d6000fd5b505050505b505b600081516006811115612ca457612ca4614544565b14612dbd576001600160a01b038816612da157600154604051630aa10e9f60e41b8152766f72646572416e6e6f756e63656d656e744d6f64756c6560481b60048201526001600160a01b039091169063aa10e9f090602401602060405180830381865afa158015612d19573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d3d9190614076565b6001600160a01b031663e859f372886040518263ffffffff1660e01b8152600401612d6a91815260200190565b600060405180830381600087803b158015612d8457600080fd5b505af1158015612d98573d6000803e3d6000fd5b50505050612dbd565b8051604051634391a5d360e01b815261065c91906004016145b9565b50505b612dcb868686613315565b9695505050505050565b818111612df557604051634f12301560e01b815260040160405180910390fd5b603392909255603455603555565b6000612e126000836000612820565b90506001600160a01b03811661060057604051637e27328960e01b81526004810183905260240161065c565b81612e5c5760405163673791e360e11b815260040160405180910390fd5b6001600160a01b038116612e9b5760405163eac0d38960e01b81526020600482015260056024820152641d985d5b1d60da1b604482015260640161065c565b600091909155600180546001600160a01b0319166001600160a01b03909216919091179055565b612eca613428565b6106008282613478565b6000610503612eed67ffffffffffffffff84164261461e565b6134a9565b603254612eff82826134da565b600160326000828254612f129190614022565b909155509092915050565b6000805160206147a28339815191526001600160a01b038316612f5e57604051630b61174360e31b81526001600160a01b038416600482015260240161065c565b6001600160a01b038481166000818152600584016020908152604080832094881680845294825291829020805460ff191687151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a350505050565b6001600160a01b0383163b1561075157604051630a85bd0160e11b81526001600160a01b0384169063150b7a0290613010903390889087908790600401614631565b6020604051808303816000875af192505050801561304b575060408051601f3d908101601f1916820190925261304891810190614668565b60015b6130b4573d808015613079576040519150601f19603f3d011682016040523d82523d6000602084013e61307e565b606091505b5080516000036130ac57604051633250574960e11b81526001600160a01b038516600482015260240161065c565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b146130f057604051633250574960e11b81526001600160a01b038516600482015260240161065c565b5050505050565b60606000613104836134f4565b600101905060008167ffffffffffffffff81111561312457613124613da0565b6040519080825280601f01601f19166020018201604052801561314e576020820181803683370190505b5090508181016020015b600019017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a850494508461315857509392505050565b6000808212156131bd57604051635467221960e11b81526004810183905260240161065c565b5090565b6000805160206147a283398151915281806131e457506001600160a01b03831615155b156132e45760006131f4856127bb565b90506001600160a01b038416158015906132205750836001600160a01b0316816001600160a01b031614155b801561327157506001600160a01b0380821660009081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab0079305602090815260408083209388168352929052205460ff16155b1561329a5760405163a9fbf51f60e01b81526001600160a01b038516600482015260240161065c565b82156132e25784866001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b600093845260040160205250506040902080546001600160a01b0319166001600160a01b0392909216919091179055565b6000806133238585856135d6565b90506001600160a01b0381166133be576133b9847f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed02805460008381527f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed0360205260408120829055600182018355919091527fa42f15e5d656f8155fd7419d740a6073999f19cd6e061449ce4a257150545bf20155565b6133e1565b846001600160a01b0316816001600160a01b0316146133e1576133e18185613705565b6001600160a01b0385166133fd576133f8846137bb565b613420565b846001600160a01b0316816001600160a01b0316146134205761342085856138b6565b949350505050565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005468010000000000000000900460ff1661347657604051631afcd79f60e31b815260040160405180910390fd5b565b613480613428565b6000805160206147a28339815191528061349a84826146cc565b506001810161075183826146cc565b600063ffffffff8211156131bd576040516306dfcc6560e41b8152602060048201526024810183905260440161065c565b610600828260405180602001604052806000815250613923565b6000807a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000831061353d577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef81000000008310613569576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061358757662386f26fc10000830492506010015b6305f5e100831061359f576305f5e100830492506008015b61271083106135b357612710830492506004015b606483106135c5576064830492506002015b600a83106105035760010192915050565b60008281527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930260205260408120546000805160206147a2833981519152906001600160a01b03908116908416156136325761363281858761393a565b6001600160a01b038116156136725761364f6000866000806131c1565b6001600160a01b0381166000908152600383016020526040902080546000190190555b6001600160a01b038616156136a3576001600160a01b03861660009081526003830160205260409020805460010190555b600085815260028301602052604080822080546001600160a01b0319166001600160a01b038a811691821790925591518893918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a495945050505050565b7f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed006000613731846112b3565b6000848152600184016020526040902054909150808214613786576001600160a01b03851660009081526020848152604080832085845282528083205484845281842081905583526001860190915290208190555b50600092835260018201602090815260408085208590556001600160a01b039095168452918252838320908352905290812055565b7f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed02547f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed009060009061380e9060019061461e565b600084815260038401602052604081205460028501805493945090928490811061383a5761383a6140b0565b906000526020600020015490508084600201838154811061385d5761385d6140b0565b6000918252602080832090910192909255828152600386019091526040808220849055868252812055600284018054806138995761389961478b565b600190038181906000526020600020016000905590555050505050565b7f645e039705490088daad89bae25049a34f4a9072d398537b1ab2425f24cbed00600060016138e4856112b3565b6138ee919061461e565b6001600160a01b0390941660009081526020838152604080832087845282528083208690559482526001909301909252502055565b61392d838361399e565b6106c76000848484612fce565b613945838383613a03565b6106c7576001600160a01b03831661397357604051637e27328960e01b81526004810182905260240161065c565b60405163177e802f60e01b81526001600160a01b03831660048201526024810182905260440161065c565b6001600160a01b0382166139c857604051633250574960e11b81526000600482015260240161065c565b60006139d683836000612820565b90506001600160a01b038116156106c7576040516339e3563760e11b81526000600482015260240161065c565b60006001600160a01b038316158015906134205750826001600160a01b0316846001600160a01b03161480613a7c57506001600160a01b0380851660009081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab0079305602090815260408083209387168352929052205460ff165b8061342057505060009081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930460205260409020546001600160a01b03908116911614919050565b6001600160e01b03198116811461093257600080fd5b600060208284031215613aec57600080fd5b8135611b7f81613ac4565b60005b83811015613b12578181015183820152602001613afa565b50506000910152565b60008151808452613b33816020860160208601613af7565b601f01601f19169290920160200192915050565b602081526000611b7f6020830184613b1b565b600060208284031215613b6c57600080fd5b5035919050565b6001600160a01b038116811461093257600080fd5b60008060408385031215613b9b57600080fd5b8235613ba681613b73565b946020939093013593505050565b60008060408385031215613bc757600080fd5b50508035926020909101359150565b600080600060608486031215613beb57600080fd5b8335613bf681613b73565b92506020840135613c0681613b73565b929592945050506040919091013590565b600080600060608486031215613c2c57600080fd5b505081359360208301359350604090920135919050565b60008060008060808587031215613c5957600080fd5b8435613c6481613b73565b966020860135965060408601359560600135945092505050565b600060808284031215613c9057600080fd5b50919050565b600060208284031215613ca857600080fd5b813567ffffffffffffffff811115613cbf57600080fd5b61342084828501613c7e565b600060208284031215613cdd57600080fd5b8135611b7f81613b73565b60008060408385031215613cfb57600080fd5b8235613d0681613b73565b9150602083013567ffffffffffffffff811115613d2257600080fd5b613d2e85828601613c7e565b9150509250929050565b81518152602080830151908201526040808301519082015260608101610503565b801515811461093257600080fd5b60008060408385031215613d7a57600080fd5b8235613d8581613b73565b91506020830135613d9581613d59565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b6040516080810167ffffffffffffffff81118282101715613dd957613dd9613da0565b60405290565b6040516060810167ffffffffffffffff81118282101715613dd957613dd9613da0565b60405160e0810167ffffffffffffffff81118282101715613dd957613dd9613da0565b60405160c0810167ffffffffffffffff81118282101715613dd957613dd9613da0565b604051601f8201601f1916810167ffffffffffffffff81118282101715613e7157613e71613da0565b604052919050565b600067ffffffffffffffff821115613e9357613e93613da0565b50601f01601f191660200190565b60008060008060808587031215613eb757600080fd5b8435613ec281613b73565b93506020850135613ed281613b73565b925060408501359150606085013567ffffffffffffffff811115613ef557600080fd5b8501601f81018713613f0657600080fd5b8035613f19613f1482613e79565b613e48565b818152886020838501011115613f2e57600080fd5b8160208401602083013760006020838301015280935050505092959194509250565b60008082840360a0811215613f6457600080fd5b6080811215613f7257600080fd5b50613f7b613db6565b833581526020808501359082015260408085013590820152606080850135908201529460809093013593505050565b60008060408385031215613fbd57600080fd5b8235613fc881613b73565b91506020830135613d9581613b73565b600181811c90821680613fec57607f821691505b602082108103613c9057634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b808201808211156105035761050361400c565b80820281158282048414176105035761050361400c565b634e487b7160e01b600052601260045260246000fd5b6000826140715761407161404c565b500490565b60006020828403121561408857600080fd5b8151611b7f81613b73565b6000602082840312156140a557600080fd5b8151611b7f81613d59565b634e487b7160e01b600052603260045260246000fd5b6000808335601e198436030181126140dd57600080fd5b83018035915067ffffffffffffffff8211156140f857600080fd5b60200191503681900382131561410d57600080fd5b9250929050565b6000606082840312801561412757600080fd5b50614130613ddf565b82358152602080840135908201526040928301359281019290925250919050565b6000608082840312801561416457600080fd5b50600061416f613db6565b83518152602080850151908201526040808501519082015260609384015193810193909352509092915050565b67ffffffffffffffff8116811461093257600080fd5b6000602082840312156141c457600080fd5b8135611b7f8161419c565b600080604083850312156141e257600080fd5b505080516020909101519092909150565b6000600160ff1b82016142085761420861400c565b5060000390565b808201828112600083128015821682158216171561422f5761422f61400c565b505092915050565b86815260208101869052610100810161426760408301878051825260208082015190830152604090810151910152565b8460a08301528360c08301528260e0830152979650505050505050565b600060e082840312801561429757600080fd5b5060006142a2613e02565b833581526020808501359082015260408085013590820152606080850135908201526080808501359082015260a0808501359082015260c084013591506142e882613b73565b60c08101919091529392505050565b60006020828403121561430957600080fd5b5051919050565b60008351614322818460208801613af7565b835190830190614336818360208801613af7565b01949350505050565b600060c082840312801561435257600080fd5b50600061435d613e25565b833581526020808501359082015260408085013590820152606080850135908201526080808501359082015260a09384013593810193909352509092915050565b81810360008312801583831316838312821617156143be576143be61400c565b5092915050565b6000826143d4576143d461404c565b500690565b80820260008212600160ff1b841416156143f5576143f561400c565b81810583148215176105035761050361400c565b6000826144185761441861404c565b600160ff1b8214600019841416156144325761443261400c565b500590565b8151815260208083015190820152604080830151908201526060808301519082015260808101610503565b60006020828403121561447457600080fd5b815167ffffffffffffffff81111561448b57600080fd5b82016080818503121561449d57600080fd5b6144a5613db6565b8151600781106144b457600080fd5b81526020828101519082015260408201516144ce8161419c565b6040820152606082015167ffffffffffffffff8111156144ed57600080fd5b80830192505084601f83011261450257600080fd5b8151614510613f1482613e79565b81815286602083860101111561452557600080fd5b614536826020830160208701613af7565b606083015250949350505050565b634e487b7160e01b600052602160045260246000fd5b600060c082840312801561456d57600080fd5b506000614578613e25565b835181526020808501519082015260408085015190820152606080850151908201526080808501519082015260a09384015193810193909352509092915050565b60208101600783106145db57634e487b7160e01b600052602160045260246000fd5b91905290565b600060608284031280156145f457600080fd5b506145fd613ddf565b82518152602080840151908201526040928301519281019290925250919050565b818103818111156105035761050361400c565b6001600160a01b03851681526001600160a01b0384166020820152826040820152608060608201526000612dcb6080830184613b1b565b60006020828403121561467a57600080fd5b8151611b7f81613ac4565b601f8211156106c757806000526020600020601f840160051c810160208510156146ac5750805b601f840160051c820191505b818110156130f057600081556001016146b8565b815167ffffffffffffffff8111156146e6576146e6613da0565b6146fa816146f48454613fd8565b84614685565b6020601f82116001811461472e57600083156147165750848201515b600019600385901b1c1916600184901b1784556130f0565b600084815260208120601f198516915b8281101561475e578785015182556020948501946001909201910161473e565b508482101561477c5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b600052603160045260246000fdfe80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab0079300a2646970667358221220f4dd07a05be3ed0e595b3304b4c8d0b16445797f63a1a7f2e738a9ab22164dc864736f6c634300081c0033