StonkScan — Robinhood Chain explorer

address0x25610138ea2d3c4d167fd64a1d3a1840a3a63f35

CONTRACTVERIFIEDWrapped Stock Vault

portfolio

$6.78

eth balance

0 ETH

top holdings

0.0301

NVDA$6.780.0300●WNVDA—

tx count

token transfers

no indexed activity

no data

transactions portfolio nfts flows transfers calls logs contract

Contract ViewerWrappedStockVault · 28 read methods

returns address

verified sourcesolidity · v0.8.24+commit.e11b9ed9

nameWrappedStockVaultoptimizationenabled (200 runs)evm versionparislicensenoneverified at2026-08-06deployerStonkBrokers: Treasurycreation tx0x35ebbd6

contracts/bridge/WrappedStockVault.solentry file

// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import {IERC20} from "@openzeppelin/contracts/interfaces/IERC20.sol"; import {IERC20Metadata} from "@openzeppelin/contracts/interfaces/IERC20Metadata.sol"; import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol"; import {StonkBridgeCore} from "./StonkBridgeCore.sol"; import {WrappedStock} from "./WrappedStock.sol"; /// @title WrappedStockVault — the Robinhood Chain escrow pool behind every /// wrapped stock token (WNVDA and friends). /// /// @notice wrap(): deposit a listed real stock token, the vault keeps the /// wrap fee (default 0.3%, hard-capped 1%) IN KIND and /// mints the wrapped form 1:1 for the net amount. /// unwrap(): burn wrapped, receive real stock 1:1, no fee — the /// escrow claim is always honoured. /// bridgeOut(): lock wrapped tokens here per destination lane and /// mint the remote form via the verified bridge; releases /// on the way back are hard-capped by per-lane locked /// accounting, so even a fully compromised messaging stack /// can never release more than that lane ever locked. /// /// Backing invariant (fuzz-pinned in tests): /// stock.balanceOf(vault) - feeAccrued >= wrapped.totalSupply() /// where wrapped supply INCLUDES vault-held lane-locked tokens. /// /// There is deliberately NO owner path to escrowed stock: the owner /// can only withdraw accrued fees, list new stocks, and tune the fee /// within its cap. contract WrappedStockVault is StonkBridgeCore { using SafeERC20 for IERC20; error NotListed(address stock); error AlreadyListed(address stock); error ZeroAmount(); error ZeroRecipient(); error FeeTooHigh(); error InsufficientLaneLock(uint64 lane, address stock); error GasLimitOutOfRange(); uint8 public constant MSG_WRAP_MINT = 3; uint8 public constant MSG_WRAP_RELEASE = 4; uint16 public constant MAX_WRAP_FEE_BPS = 100; // 1% hard cap uint16 public wrapFeeBps = 30; // 0.3% /// @notice real stock => wrapped form (zero = not listed). mapping(address => address) public wrappedOf; /// @notice wrapped form => real stock. mapping(address => address) public underlyingOf; /// @notice real stock => wrap fees accrued in kind, owner-withdrawable. mapping(address => uint256) public feeAccrued; /// @notice destination lane => real stock => wrapped tokens locked for /// that lane. Releases can never exceed this. mapping(uint64 => mapping(address => uint256)) public lockedFor; uint256 public outboundGasLimit = 500_000; event StockListed(address indexed stock, address indexed wrapped, uint8 decimals); event Wrapped( address indexed stock, address indexed account, uint256 gross, uint256 fee, uint256 net ); event Unwrapped(address indexed stock, address indexed account, uint256 amount); event BridgedOut( address indexed stock, uint64 indexed destChainSelector, address indexed sender, address recipient, uint256 amount, bytes32 messageId ); event BridgeReleased( address indexed stock, uint64 indexed sourceLane, address indexed recipient, uint256 amount ); event WrapFeeSet(uint16 feeBps); event FeesWithdrawn(address indexed stock, address indexed to, uint256 amount); event OutboundGasLimitSet(uint256 gasLimit); constructor( address router_, address owner_, address attesterA_, address attesterB_, uint64 executionDelay_ ) StonkBridgeCore(router_, owner_, attesterA_, attesterB_, executionDelay_) {} // ------------------------------------------------------------------ // Admin // ------------------------------------------------------------------ /// @notice List a real stock token and deploy its wrapped form. Owner-gated /// and policy-bound: ONLY registry-verified Robinhood stock tokens /// (`/rhj/assets`, chainId 4663) may ever be listed. function listStock(address stock, string calldata name_, string calldata symbol_) external onlyOwner returns (address wrapped) { if (stock == address(0)) revert ZeroAddress(); if (wrappedOf[stock] != address(0)) revert AlreadyListed(stock); uint8 dec = IERC20Metadata(stock).decimals(); wrapped = address(new WrappedStock(name_, symbol_, dec)); wrappedOf[stock] = wrapped; underlyingOf[wrapped] = stock; emit StockListed(stock, wrapped, dec); } function setWrapFee(uint16 feeBps) external onlyOwner { if (feeBps > MAX_WRAP_FEE_BPS) revert FeeTooHigh(); wrapFeeBps = feeBps; emit WrapFeeSet(feeBps); } /// @notice Withdraw accrued wrap fees (in the real stock). Fees are the /// ONLY stock the owner can ever take out of this vault. function withdrawFees(address stock, address to) external onlyOwner { if (to == address(0)) revert ZeroAddress(); uint256 amount = feeAccrued[stock]; feeAccrued[stock] = 0; IERC20(stock).safeTransfer(to, amount); emit FeesWithdrawn(stock, to, amount); } function setOutboundGasLimit(uint256 gasLimit) external onlyOwner { if (gasLimit < 200_000 || gasLimit > 5_000_000) revert GasLimitOutOfRange(); outboundGasLimit = gasLimit; emit OutboundGasLimitSet(gasLimit); } // ------------------------------------------------------------------ // Wrap / unwrap (home chain, no bridging involved) // ------------------------------------------------------------------ /// @notice Deposit `amount` of a listed stock; receive its wrapped form /// 1:1 minus the wrap fee (kept in kind). Balance-diff accounting /// so a fee-on-transfer token can never over-mint. function wrap(address stock, uint256 amount, address to) external nonReentrant whenNotPaused returns (uint256 net) { address wrapped = wrappedOf[stock]; if (wrapped == address(0)) revert NotListed(stock); if (amount == 0) revert ZeroAmount(); if (to == address(0)) revert ZeroRecipient(); uint256 balBefore = IERC20(stock).balanceOf(address(this)); IERC20(stock).safeTransferFrom(msg.sender, address(this), amount); uint256 received = IERC20(stock).balanceOf(address(this)) - balBefore; uint256 fee = (received * wrapFeeBps) / 10_000; feeAccrued[stock] += fee; net = received - fee; WrappedStock(wrapped).mint(to, net); emit Wrapped(stock, msg.sender, received, fee, net); } /// @notice Burn wrapped, receive the real stock 1:1. No fee, never pausable /// by anyone but the guardian/owner pause — the escrow claim is /// the product's core promise. function unwrap(address stock, uint256 amount, address to) external nonReentrant whenNotPaused { address wrapped = wrappedOf[stock]; if (wrapped == address(0)) revert NotListed(stock); if (amount == 0) revert ZeroAmount(); if (to == address(0)) revert ZeroRecipient(); WrappedStock(wrapped).burn(msg.sender, amount); IERC20(stock).safeTransfer(to, amount); emit Unwrapped(stock, msg.sender, amount); } // ------------------------------------------------------------------ // Bridge out / verified release // ------------------------------------------------------------------ /// @notice Lock `amount` wrapped tokens here and mint the remote form to /// `recipient` on the destination chain. msg.value covers the /// CCIP fee (quoteWrapBridgeFee), excess refunded. function bridgeOut(address stock, uint256 amount, uint64 destChainSelector, address recipient) external payable nonReentrant whenNotPaused { address wrapped = wrappedOf[stock]; if (wrapped == address(0)) revert NotListed(stock); if (amount == 0) revert ZeroAmount(); if (recipient == address(0)) revert ZeroRecipient(); // Controller pull from the CALLER only — no allowance dance. WrappedStock(wrapped).controllerTransferFrom(msg.sender, address(this), amount); lockedFor[destChainSelector][stock] += amount; bytes memory payload = _mintPayload(stock, wrapped, amount, recipient); bytes32 messageId = _sendMessage(destChainSelector, payload, outboundGasLimit); emit BridgedOut(stock, destChainSelector, msg.sender, recipient, amount, messageId); } /// @notice UI preflight for the bridgeOut CCIP fee. function quoteWrapBridgeFee( address stock, uint256 amount, uint64 destChainSelector, address recipient ) external view returns (uint256) { address wrapped = wrappedOf[stock]; if (wrapped == address(0)) revert NotListed(stock); return quoteBridgeFee( destChainSelector, _mintPayload(stock, wrapped, amount, recipient), outboundGasLimit ); } function _mintPayload(address stock, address wrapped, uint256 amount, address recipient) private view returns (bytes memory) { // Metadata rides along so the gateway can deploy the remote form on // first contact; it is ignored once the remote token exists. return abi.encode( MSG_WRAP_MINT, stock, amount, recipient, IERC20Metadata(wrapped).name(), IERC20Metadata(wrapped).symbol(), IERC20Metadata(wrapped).decimals() ); } /// @dev Verified inbound: the remote gateway burned `amount` and asks for /// release. Hard-capped by that lane's locked balance. function _executeMessage(uint64 sourceChainSelector, bytes memory payload) internal override { uint8 kind = abi.decode(payload, (uint8)); if (kind != MSG_WRAP_RELEASE) revert BadMessageKind(kind); (, address stock, uint256 amount, address recipient) = abi.decode(payload, (uint8, address, uint256, address)); address wrapped = wrappedOf[stock]; if (wrapped == address(0)) revert NotListed(stock); if (recipient == address(0)) revert ZeroRecipient(); uint256 locked = lockedFor[sourceChainSelector][stock]; if (locked < amount) revert InsufficientLaneLock(sourceChainSelector, stock); lockedFor[sourceChainSelector][stock] = locked - amount; WrappedStock(wrapped).controllerTransferFrom(address(this), recipient, amount); emit BridgeReleased(stock, sourceChainSelector, recipient, amount); } }

0x60806040908082526004803610156200001757600080fd5b60009160e0908335821c908163015881a814620025305750806301ffc9a714620024d457806302e3f7c614620023d2578063078fe30114620023935780630de22984146200234d5780631254bc0b14620022f6578063196439ae14620020cf5780631adcf11514620020ae5780631b9f4c59146200208e57806320cf25c4146200204f578063239555491462001fc2578063285c885a1462001fa35780632c3007281462001f755780633c6cf4731462001e775780633f4ba83a1462001e14578063452a93201462001de95780634b099db01462001d835780634fec63cf1462001d5e5780635c15155e1462001a875780635c6148c814620019bc5780635c975abb1462001993578063700cd6d2146200196857806379ba509714620018e75780638456cb59146200185357806385572ffb14620014ae5780638a0dac4a146200142a5780638acbf78e14620012e05780638b25798914620012b35780638da5cb5b14620012885780639c746f01146200125d578063a5a37ee214620011eb578063af576c7a14620011b0578063b53cee26146200113f578063b5879d1114620010e1578063b68f43451462000f9b578063bab6caa91462000f7d578063bc03d2801462000f5d578063c175541f1462000e9f578063c7da33281462000e63578063ca9147201462000d64578063e30c39781462000d39578063e751f271146200091e578063f25552781462000866578063f2fde38b14620007cc578063f40309c114620007aa578063f56c701114620006d5578063fc302b5c14620006385763fc9849c3146200026757600080fd5b60ff93620002753662002626565b9591929790946200028562002afe565b600554901c166200062a5760018060a01b039081881694858852602092600c845280868a2054168015620006135785156200060357818916988915620005f3578a9b829b9a9b3b15620005e55788516345e9a0d960e11b815233878201908152306020820152604081018a90528c9082908190606001038183885af18015620005e9578992918d91620005c8575b5050926200034e938a6001600160401b0388169d8e8152600f8b52208c60005289528a600020620003468482546200282c565b905562002b8a565b90601054898c5260068652878c20548015620005b1579083620003719262002d50565b907f00000000000000000000000006fc836cf9839b1cd891c440a0a45242da6ae1c9168751936320487ded60e01b8552868580620003b386858b840162002934565b0381855afa948515620005a7578d956200056d575b5084341062000550579584928d94928a9998839897620003fc9c51809d819582946396f4e9f960e01b84528c840162002934565b03925af19788156200054657908a91849962000504575b5090887f553a14e2cb428a0801da741049ac053a688f000fcebe4455fc29f1ea7e96e4b8836200046e959451898201206200045f8c51928392835260608c84015260608301906200290d565b868d8301520390a3346200283a565b80620004b0575b50505082519687528601528401527f8c82056615e99f3cbdf21977cb5e4f19630bc2c91823e03fff4f64c082708af160603394a46001815580f35b81808092335af13d15620004fe573d620004ca8162002713565b90620004d987519283620026f1565b81528a843d92013e5b15620004f057888162000475565b8351633c31275160e21b8152fd5b620004e2565b98509190508488813d81116200053e575b620005218183620026f1565b810103126200053a579651969089906200046e62000413565b8280fd5b503d62000515565b87513d85823e3d90fd5b88516378279ed960e11b8152808701869052346024820152604490fd5b9094508681813d83116200059f575b620005888183620026f1565b810103126200059a57519338620003c8565b600080fd5b503d6200057c565b89513d8f823e3d90fd5b8851632402a72160e21b81528087018c9052602490fd5b620005d691929350620026c1565b620005e55787908b3862000313565b8a80fd5b8a513d8e823e3d90fd5b875163d27b444360e01b81528590fd5b8651631f2a200560e01b81528490fd5b8651635d35c42960e01b8152808501899052602490fd5b825163fcd8fea760e01b8152fd5b505082346200053a5760203660031901126200053a5781359161ffff8316809303620006d1576001546001600160a01b03163303620006c35760648311620006b55750816020917f3a9bf099e0bb5f1b82366f1eadf79fe46cc2fe66cffbc2a695849d6126acebcf9361ffff19600b541617600b5551908152a180f35b905163cd4e616760e01b8152fd5b90516330cd747160e01b8152fd5b8380fd5b505082346200053a57806003193601126200053a57620006f4620025a8565b6001546024359291906001600160a01b031633036200079a576001600160401b03169283855260066020528185205415158062000790575b6200077b57507f17640eced22d149f9dee53470112186f591aec085e31b40f22cb8b037dd51692916020918486526006835281818720556007835260006001828820828155015551908152a280f35b83602492519163bb9d9e5f60e01b8352820152fd5b508215156200072c565b81516330cd747160e01b81528490fd5b838534620007c85781600319360112620007c8576020905160038152f35b5080fd5b838584346200053a5760203660031901126200053a57620007ec62002591565b6001546001600160a01b0390811692913384900362000856571692831562000849575050600280546001600160a01b031916831790557f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e227008380a380f35b5163d92e233d60e01b8152fd5b84516330cd747160e01b81528390fd5b505082346200053a57806003193601126200053a576200088562002591565b90620008906200257a565b60015490926001600160a01b0391821633036200090e578184169485156200090057507f5e110f8bc8a20b65dcc87f224bdf1cc039346e267118bae2739847f07321ffa892620008f860209388931695868452600e8552828420908154948592558762002e23565b51908152a380f35b835163d92e233d60e01b8152fd5b82516330cd747160e01b81528590fd5b50839134620006d1576020908160031936011262000d35578035936200094362002afe565b60ff60055480951c1662000d28578486526008835260019260018288200194855464ffffffffff81851c16801562000d115760ff8260681c1662000cfa576200098c89620027cc565b1562000ce457620009ac906001600160401b03809460a01c16906200282c565b421062000ccd57600160681b9060ff60681b1916178655868852600a825282882095835196878a825498620009e18a62002892565b938484528784019a8860018216918260001462000cab57505060011462000c6a575b505062000a1392500388620026f1565b878952600a83528884812062000a2a815462002892565b8062000c25575b505050541693818680518101031262000bbf5760ff62000a51826200279c565b1684810362000c0f575060808680518101031262000bbf5762000a74906200279c565b5062000a8282860162002e6a565b9462000a9660806060830151920162002e6a565b6001600160a01b03968716808a52600c8452848a20549188169790959116801562000bf857871562000be957868a52600f8452848a20866000528452846000205483811062000bcd579062000aee848c94936200283a565b888452600f86528684208860005286528660002055803b156200053a5785516345e9a0d960e11b8152309281019283526001600160a01b038a16602084015260408301859052918391839182908490829060600103925af1801562000bc35762000ba7575b50507f390f8de1cb8ed8d5e522f7c3549faeae6ccc5c7631301b997f464572c0e5afb59251908152a47fe7d1e1f435233f7a187624ac11afaf32ee0da368cef8a5625be394412f6192548280a26001815580f35b62000bb290620026c1565b62000bbf57878962000b53565b8780fd5b85513d84823e3d90fd5b604483888a895192631c4cc3b360e01b84528301526024820152fd5b50835163d27b444360e01b8152fd5b8451635d35c42960e01b8152808301879052602490fd5b84602491855191635d73c67960e01b8352820152fd5b601f811160011462000c41575060009150555b888a8062000a31565b9080600091845262000c62601f888620940160051c840160018501620028cf565b555562000c38565b8792508d52818d20908d915b85831062000c9157505062000a1393508201018c8062000a03565b819484848396959654920101520191018a92879262000c76565b925093505062000a1394915060ff19168a52151560051b8201018c8062000a03565b835163124e1e2160e31b8152808601899052602490fd5b84516290f44360e31b81528087018a9052602490fd5b845163d1d36dcd60e01b81528087018a9052602490fd5b84516301c6aa3d60e51b81528087018a9052602490fd5b5163fcd8fea760e01b8152fd5b8480fd5b838534620007c85781600319360112620007c85760025490516001600160a01b039091168152602090f35b505082346200053a57806003193601126200053a5762000d83620025a8565b6001549092602435916001600160a01b0316330362000e5557811562000e475750907fb779c612dd22c2d7e988817c9e5f1c0f7bc69978ab1139425841b350ce3e62929162000e4162000e226001600160401b03958642169085519762000dea8962002673565b85895260018160208b019385855216998a8c526007602052888c2090518155019151166001600160401b03198254161790556200276b565b92519182526001600160401b0390921660208201529081906040820190565b0390a280f35b825163d92e233d60e01b8152fd5b82516330cd747160e01b8152fd5b838534620007c8576020366003190112620007c85760209181906001600160a01b0362000e8f62002591565b168152600e845220549051908152f35b505082346200053a5760203660031901126200053a5762000ebf620025a8565b6001546001600160a01b0316330362000f4f576001600160401b038116926203f480841162000f4157506005805467ffffffffffffffff60a01b191660a09290921b67ffffffffffffffff60a01b16919091179055519081527fe760fe1fa9b1c075b3a99114502282707e7050c0d62634f993d7419f5139d65790602090a180f35b8251632b11ea0760e21b8152fd5b50516330cd747160e01b8152fd5b838534620007c85781600319360112620007c857602090516203f4808152f35b838534620007c85781600319360112620007c8576020905160648152f35b50919234620006d15760ff9162000fb236620025ef565b929194909562000fc162002afe565b600554901c166200062a576001600160a01b03938416808752600c602052838720549094908116908115620010ca578615620010ba57831615620010ab57908187923b156200053a578451632770a7eb60e21b81523392810192835260208301889052918391839182908490829060400103925af18015620010a1579086929162001086575b505062001055918462002e23565b519182527f742cbb4a6bddd5e23aa0c14356065c236bdbc921cddb7f1f763161eb2030f3ef60203393a36001815580f35b62001093919250620026c1565b62000d355783853862001047565b84513d84823e3d90fd5b50825163d27b444360e01b8152fd5b8451631f2a200560e01b81528390fd5b8451635d35c42960e01b8152808401879052602490fd5b838584346200053a5760203660031901126200053a578160809360ff9235815260086020522091600183549301549080519384526001600160401b038216602085015264ffffffffff82821c169084015260681c1615156060820152f35b838584346200053a5760603660031901126200053a576200115f620025a8565b92602435906001600160401b038211620011ad5736602383011215620011ad5750926200119c620011a6928560246020973693013591016200272f565b6044359162002a0b565b9051908152f35b80fd5b838534620007c8576020366003190112620007c857806020926001600160401b03620011db620025a8565b1681526006845220549051908152f35b50509034620011ad57620011ff3662002626565b6001600160a01b03808516808752600c602052958890205492969195939492169283156200124757602088620011a6896200123d8a8a8a8a62002b8a565b6010549162002a0b565b8751635d35c42960e01b81529182015260249150fd5b838584346200053a57826003193601126200053a575490516001600160a01b03909116815260209150f35b838534620007c85781600319360112620007c85760015490516001600160a01b039091168152602090f35b838534620007c85781600319360112620007c8576020906001600160401b0360055460a01c169051908152f35b505082346200053a57806003193601126200053a57815482359290336001600160a01b03918216141590816200141a575b506200140c578284526008602052818420600181015464ffffffffff81851c1615620013f55760681c60ff16620013df57602435905403620013ca5782845260096020528184203360005260205260ff826000205416620013b65750818352600960205280832033600052602052600020600160ff1982541617905533907f1c7e97c6314cb9bcbcc50120aa95a010bbe9ed0d674add0e26c0d69ef98058008380a380f35b826024925191622e0fb560e21b8352820152fd5b826024925191639155d01f60e01b8352820152fd5b5082602492519163d1d36dcd60e01b8352820152fd5b83516301c6aa3d60e51b8152808401869052602490fd5b90516332ae601560e21b8152fd5b9050600554163314158562001311565b838584346200053a5760203660031901126200053a576200144a62002591565b6001546001600160a01b03939192919084163303620014a157505016806001600160601b0360a01b60035416176003557fe6c09ffe4572dc9ceaa5ddde4ae41befa655d6fdfe8052077af0970f700e942e8280a280f35b516330cd747160e01b8152fd5b50509134620007c8576003199260203685018113620006d1578135916001600160401b03908184116200184f5760a08482019785360301126200184f577f00000000000000000000000006fc836cf9839b1cd891c440a0a45242da6ae1c96001600160a01b0316330362001838576024840190826200152d8362002848565b1687526006845285872054801562001814576044860190858062001552848d6200285d565b90501492831593620017ec575b505050620017de578735948588526008855264ffffffffff986001918a838a8c2001548a1c16620017c7579886819b89888660648e9f9e9c9d9e0195620015a787896200285d565b3690620015b4926200272f565b8681519101209c8d91620015c88d62002848565b97825193620015d785620026a5565b84528581850199168952828401974216885260608401968288528252600890522090518155019351168d84549351901b6cffffffffff0000000000000000169160ff60681b9051151560681b16926dffffffffffffffffffffffffffff1916171717905562001646916200285d565b9190600a8852898b2093868411620017b4575062001665845462002892565b601f811162001776575b508a908b601f8511600114620016e45793620016ce9593819382937fb82291154f0ef3af1463a7ed9dfab01efd3b1d6ea79ab76ef6b507f51af4fd799c9b9a999794620016d8575b50501b916000199060031b1c191617905562002848565b169451908152a380f35b013592503880620016b7565b50848c52888c2092939291601f1984168d5b818110620017605750917fb82291154f0ef3af1463a7ed9dfab01efd3b1d6ea79ab76ef6b507f51af4fd799a99989795939185620016ce9896941062001745575b505050811b01905562002848565b0135600019600384901b60f8161c1916905538808062001737565b83830135855593860193918b01918b01620016f6565b620017a290858d52898d20601f860160051c8101918b8710620017a9575b601f0160051c0190620028cf565b386200166f565b909150819062001794565b634e487b7160e01b8c526041905260248bfd5b8851637ac7186960e01b8152808501899052602490fd5b855163012ab07f60e21b8152fd5b620017fb919293508b6200285d565b90809291810103126200059a573514153885816200155f565b5060249262001824879362002848565b9251632402a72160e21b8152921690820152fd5b6024908551906335fdcccd60e21b82523390820152fd5b8580fd5b838584346200053a57826003193601126200053a57600354336001600160a01b0391821614159081620018d7575b50620018c957506005805460ff60e01b1916600160e01b17905551600181527f40db37ff5c0bdc2c427fbb2078c8f24afea940abac0e3c23bb4ea3bf2da2b21290602090a180f35b90516377b6878160e11b8152fd5b9050600154163314158462001881565b838584346200053a57826003193601126200053a576002546001600160a01b039290919083831633036200195b57505060015491339083167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08580a36001600160a01b031991821633176001551660025580f35b51630614e5c760e21b8152fd5b838534620007c85781600319360112620007c85760055490516001600160a01b039091168152602090f35b50838334620011ad5780600319360112620011ad57506005549051911c60ff1615158152602090f35b838584346200053a57816003193601126200053a57620019db62002591565b90620019e66200257a565b60015490926001600160a01b03918216330362000856578116928315801562001a7c575b62001a6c57169283831462001a5f575082906001600160601b0360a01b90838282541617905560055416176005557f9944a955d061639dd1a73ed3650ca5ebfad72bb1cb1f0fb928c15828fbd9b8cb8380a380f35b51637dd1a88f60e01b8152fd5b845163d92e233d60e01b81528390fd5b508181161562001a0a565b50919234620006d15760ff9362001a9e36620025ef565b9196909562001aac62002afe565b600554901c1662001d4f576001600160a01b03958616808352600c602090815284842054881697909690881562001d3857811562001d285783161562001d185784516370a0823160e01b8082523088830152918882602481875afa91821562001d0e57869262001cd6575b5086516323b872dd60e01b8a820152336024820152306044820152606481019190915262001b5f9062001b5881608481015b03601f198101835282620026f1565b8462002e7f565b855191825230878301528782602481865afa801562001ccc57859062001c94575b62001b8c92506200283a565b9161ffff600b541680840290848204148415171562001c8157612710900490828552600e885285852062001bc28382546200282c565b905562001bd082856200283a565b96893b156200184f5786516340c10f1960e01b81526001600160a01b0390921690820190815260208101889052909885918a919082908490829060400103925af197881562001c775760019596979862001c61575b5085519283528783015285858301527fbf050fbcad5f667bb58a1e317ff34bef1494d1c764589ad246da90ab0fe334e860603393a35551908152f35b62001c6f90949194620026c1565b923862001c25565b85513d86823e3d90fd5b634e487b7160e01b855260118752602485fd5b50908781813d831162001cc4575b62001cae8183620026f1565b8101031262000d35579062001b8c915162001b80565b503d62001ca2565b86513d87823e3d90fd5b9091508881813d831162001d06575b62001cf18183620026f1565b810103126200184f57519062001b4962001b17565b503d62001ce5565b87513d88823e3d90fd5b845163d27b444360e01b81528690fd5b8551631f2a200560e01b81528790fd5b8551635d35c42960e01b8152808801849052602490fd5b50505163fcd8fea760e01b8152fd5b838534620007c85781600319360112620007c85760209061ffff600b54169051908152f35b50505034620011ad576020366003190112620011ad5762001de5826001600160401b03928362001db2620025a8565b1681526007602052209160018354930154169251928392839092916001600160401b036020916040840195845216910152565b0390f35b838534620007c85781600319360112620007c85760035490516001600160a01b039091168152602090f35b838584346200053a57826003193601126200053a576001546001600160a01b03163303620006c357506005805460ff60e01b19169055518181527f40db37ff5c0bdc2c427fbb2078c8f24afea940abac0e3c23bb4ea3bf2da2b21290602090a180f35b50929134620011ad5760209182600319360112620007c8576060813591828452600885528584209580519162001ead83620026a5565b60018854988985520154956001600160401b039182881692838a87015264ffffffffff808a871c169660ff8782019b898d5260681c161515988991015288845260098b5285842060018060a01b038094541685528b5260ff868520541698845260098b5285842060055493841685528b5260ff868520541699511691821560001462001f5d57505050965b8251988952880152860152606085015215156080840152151560a083015260c0820152f35b62001f6e935060a01c16906200282c565b9662001f38565b82858534620011ad576020366003190112620011ad575062001f9a60209235620027cc565b90519015158152f35b505082346200053a57826003193601126200053a576020925051908152f35b505082346200053a5760203660031901126200053a57600154823592906001600160a01b03163303620006c35762030d408310801562002042575b620020345750816020917f29661ca8081d4267b999a4e837bc59fb33e33f4f7e5a74d8bd6853b28241206b9360105551908152a180f35b9051633cced4d160e11b8152fd5b50624c4b40831162001ffd565b838534620007c8576020366003190112620007c8576020916001600160a01b03908290826200207d62002591565b168152600c85522054169051908152f35b838534620007c85781600319360112620007c85760209051620151808152f35b838534620007c85781600319360112620007c8576020906010549051908152f35b50509134620007c8576060366003190112620007c857620020ef62002591565b6001600160401b0392906024358481116200053a57620021139036908701620025bf565b60449291923586811162000d3557620021309036908901620025bf565b600154919790946001600160a01b0394909285163303620022e6578416948515620022d657858752602098600c8a52858989205416620022bf57885163313ce56760e01b8152938a858d818b5afa948515620022b557899562002272575b50895195610d92808801958611888710176200225e578c9d509360ff93620021d0620021de948e9f948b9a999862002eec8c39606089526060890191620027ab565b9286840390870152620027ab565b92169889910152039084f0801562002254577ffe3ca1dea6565db3fd708b567477ac6b64202a687975537ef8955649c59190c691879116958484889652600c83528487808320926001600160601b0360a01b938985825416179055888152600d865220918254161790558551908152a351908152f35b84513d85823e3d90fd5b50634e487b7160e01b8a5260418d5260248afd5b9094508a81813d8311620022ad575b6200228d8183620026f1565b81010312620022a957620022a1906200279c565b93386200218e565b8880fd5b503d62002281565b8a513d8b823e3d90fd5b88516319cd459560e01b8152808c01889052602490fd5b875163d92e233d60e01b81528a90fd5b87516330cd747160e01b81528a90fd5b838534620007c85780600319360112620007c8578060209262002318620025a8565b6001600160401b036200232a6200257a565b91168252600f85528282206001600160a01b039091168252845220549051908152f35b838534620007c85781600319360112620007c857517f00000000000000000000000006fc836cf9839b1cd891c440a0a45242da6ae1c96001600160a01b03168152602090f35b838534620007c8576020366003190112620007c8576020916001600160a01b0390829082620023c162002591565b168152600d85522054169051908152f35b505082346200053a5760209081600319360112620006d157620023f4620025a8565b6001546001600160a01b031633036200079a576001600160401b038091169384865260078452828620918351926200242c8462002673565b8160018254928387520154169086850191825215620024bd5781620024539151166200276b565b164210620024a6575090817f17640eced22d149f9dee53470112186f591aec085e31b40f22cb8b037dd516929392518587526006845282872055600783528560018382208281550155519051908152a280f35b825163bb9d9e5f60e01b8152908101859052602490fd5b84516305be5d7b60e01b8152808401889052602490fd5b838584346200053a5760203660031901126200053a57359063ffffffff60e01b82168092036200053a57602092506385572ffb60e01b82149182156200251e575b50519015158152f35b6301ffc9a760e01b1491508362002515565b8490868534620006d15781600319360112620006d1579060209360ff92620025576200257a565b90358252600986528282206001600160a01b039091168252855220541615158152f35b602435906001600160a01b03821682036200059a57565b600435906001600160a01b03821682036200059a57565b600435906001600160401b03821682036200059a57565b9181601f840112156200059a578235916001600160401b0383116200059a57602083818601950101116200059a57565b60609060031901126200059a576001600160a01b0360043581811681036200059a57916024359160443590811681036200059a5790565b60809060031901126200059a576001600160a01b039060043582811681036200059a5791602435916044356001600160401b03811681036200059a579160643590811681036200059a5790565b604081019081106001600160401b038211176200268f57604052565b634e487b7160e01b600052604160045260246000fd5b608081019081106001600160401b038211176200268f57604052565b6001600160401b0381116200268f57604052565b60a081019081106001600160401b038211176200268f57604052565b90601f801991011681019081106001600160401b038211176200268f57604052565b6001600160401b0381116200268f57601f01601f191660200190565b9291926200273d8262002713565b916200274d6040519384620026f1565b8294818452818301116200059a578281602093846000960137010152565b90620151806001600160401b03809316019182116200278657565b634e487b7160e01b600052601160045260246000fd5b519060ff821682036200059a57565b908060209392818452848401376000828201840152601f01601f1916010190565b60008181526009602090815260408083206004546001600160a01b039081168552925282205460ff1691908262002805575b5050905090565b6040925060ff938252600960205282822090600554168252602052205416803880620027fe565b919082018092116200278657565b919082039182116200278657565b356001600160401b03811681036200059a5790565b903590601e19813603018212156200059a57018035906001600160401b0382116200059a576020019181360383136200059a57565b90600182811c92168015620028c4575b6020831014620028ae57565b634e487b7160e01b600052602260045260246000fd5b91607f1691620028a2565b818110620028db575050565b60008155600101620028cf565b60005b838110620028fc5750506000910152565b8181015183820152602001620028eb565b906020916200292881518092818552858086019101620028e8565b601f01601f1916010190565b909291926001600160401b0360409116825260209160408382015262002967855160a0604084015260e08301906200290d565b91620029858487015193603f1994858583030160608601526200290d565b604087015194848483030160808501528080875193848152019601926000905b838210620029e157505050505060c06080620029de959660018060a01b0360608201511660a0850152015192828503019101526200290d565b90565b845180516001600160a01b03168952830151888401529687019693820193600190910190620029a5565b90916001600160401b038216926000938085526006602052604085205490811562002ae6575060209262002a62949262002a459262002d50565b6040516320487ded60e01b81529384928392906004840162002934565b03817f00000000000000000000000006fc836cf9839b1cd891c440a0a45242da6ae1c96001600160a01b03165afa91821562002ada57809262002aa457505090565b9091506020823d60201162002ad1575b8162002ac360209383620026f1565b81010312620011ad57505190565b3d915062002ab4565b604051903d90823e3d90fd5b60249060405190632402a72160e21b82526004820152fd5b60026000541462002b10576002600055565b604051633ee5aeb560e01b8152600490fd5b6020818303126200059a578051906001600160401b0382116200059a570181601f820112156200059a57805162002b598162002713565b9262002b696040519485620026f1565b818452602082840101116200059a57620029de9160208085019101620028e8565b604080516306fdde0360e01b815295946001600160a01b0394938516936000928389600481895afa98891562002d4657849962002d26575b5080516395d89b4160e01b8152958487600481845afa96871562002d1c57859762002ced575b50602060049183519283809263313ce56760e01b82525afa94851562002ce257809562002c7e575b5050869798620029de9760ff9462002c6a948462002c5695519c8d9a600360208d015216908a0152606089015216608087015260e060a08701526101008601906200290d565b601f1995868683030160c08701526200290d565b911660e083015203908101835282620026f1565b909194506020823d60201162002cd9575b8162002c9e60209383620026f1565b81010312620011ad5750869798620029de9760ff9462002c6a9462002cc762002c56956200279c565b9794509450945097819a995062002c10565b3d915062002c8f565b8251903d90823e3d90fd5b600491975062002d136020913d8089833e62002d0a8183620026f1565b81019062002b22565b97915062002be8565b82513d87823e3d90fd5b62002d3e9199503d8086833e62002d0a8183620026f1565b973862002bc2565b81513d86823e3d90fd5b9190604080519162002d6283620026d5565b60609182845282608060209582878201528284820152600083820152015280519560018060a01b03168487015283865262002d9d8662002673565b805191848301948386106001600160401b038711176200268f57600095835285845282519662002dcd8862002673565b875280870160018152835197630181dcf160e41b838a015251602489015251151560448801526044875262002e0287620026a5565b82519762002e1089620026d5565b8852870152850152830152608082015290565b60405163a9059cbb60e01b60208201526001600160a01b0392909216602483015260448083019390935291815262002e689162002e62606483620026f1565b62002e7f565b565b51906001600160a01b03821682036200059a57565b906000602091828151910182855af11562002edf576000513d62002ed557506001600160a01b0381163b155b62002eb35750565b604051635274afe760e01b81526001600160a01b039091166004820152602490fd5b6001141562002eab565b6040513d6000823e3d90fdfe60c0604052346200035c5762000d92803803806200001d8162000361565b92833981016060828203126200035c5781516001600160401b03908181116200035c57826200004e91850162000387565b90602092838501518281116200035c576040916200006e91870162000387565b9401519360ff851685036200035c5782518281116200025c576003918254916001958684811c9416801562000351575b888510146200033b578190601f94858111620002e5575b5088908583116001146200027e5760009262000272575b505060001982861b1c191690861b1783555b80519384116200025c5760049586548681811c9116801562000251575b828210146200023c57838111620001f1575b508092851160011462000183575093839491849260009562000177575b50501b92600019911b1c19161790555b3360805260a0526040516109989081620003fa823960805181818160c7015281816101a7015281816103c0015261046e015260a051816105430152f35b0151935038806200012a565b92919084601f1981168860005285600020956000905b89838310620001d65750505010620001bb575b50505050811b0190556200013a565b01519060f884600019921b161c1916905538808080620001ac565b85870151895590970196948501948893509081019062000199565b87600052816000208480880160051c82019284891062000232575b0160051c019087905b828110620002255750506200010d565b6000815501879062000215565b925081926200020c565b602288634e487b7160e01b6000525260246000fd5b90607f1690620000fb565b634e487b7160e01b600052604160045260246000fd5b015190503880620000cc565b90889350601f19831691876000528a6000209260005b8c828210620002ce5750508411620002b5575b505050811b018355620000de565b015160001983881b60f8161c19169055388080620002a7565b8385015186558c9790950194938401930162000294565b90915085600052886000208580850160051c8201928b861062000331575b918a91869594930160051c01915b82811062000321575050620000b5565b600081558594508a910162000311565b9250819262000303565b634e487b7160e01b600052602260045260246000fd5b93607f16936200009e565b600080fd5b6040519190601f01601f191682016001600160401b038111838210176200025c57604052565b919080601f840112156200035c5782516001600160401b0381116200025c57602090620003bd601f8201601f1916830162000361565b928184528282870101116200035c5760005b818110620003e557508260009394955001015290565b8581018301518482018401528201620003cf56fe608060408181526004918236101561001657600080fd5b600092833560e01c91826306fdde031461071157508163095ea7b31461066757816318160ddd1461064857816323b872dd14610567578163313ce5671461052957816340c10f191461044357816370a082311461040c5781638bd341b2146103aa57816395d89b41146102895781639dc29fac1461017d57508063a9059cbb1461014d578063dd62ed3e146100fa5763f77c4791146100b457600080fd5b346100f657816003193601126100f657517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b5080fd5b50346100f657806003193601126100f657610113610834565b6001600160a01b036024358181169290839003610149579160209491849316825260018552828220908252845220549051908152f35b8480fd5b50346100f657806003193601126100f65760209061017661016c610834565b6024359033610884565b5160018152f35b839150346100f657826003193601126100f657610198610834565b90602435906001600160a01b037f00000000000000000000000000000000000000000000000000000000000000008116330361027a5783169283156102635783855284602052858520549183831061022f5750508184957fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef936020938688528785520381872055816002540360025551908152a380f35b865163391434e360e21b81526001600160a01b03909216908201908152602081018390526040810184905281906060010390fd5b8551634b637e8f60e11b8152808301869052602490fd5b5084516323019e6760e01b8152fd5b8383346100f657816003193601126100f65780519082845460018160011c90600183169283156103a0575b602093848410811461038d57838852908115610371575060011461031c575b505050829003601f01601f191682019267ffffffffffffffff84118385101761030957508291826103059252826107eb565b0390f35b634e487b7160e01b815260418552602490fd5b8787529192508591837f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b5b83851061035d57505050508301018580806102d3565b805488860183015293019284908201610347565b60ff1916878501525050151560051b84010190508580806102d3565b634e487b7160e01b895260228a52602489fd5b91607f16916102b4565b8383346100f6576103ba3661084f565b929091907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031633036103fd57506103fa939450610884565b80f35b516323019e6760e01b81528590fd5b5050346100f65760203660031901126100f65760209181906001600160a01b03610434610834565b16815280845220549051908152f35b9190503461052557806003193601126105255761045e610834565b60243591906001600160a01b03907f000000000000000000000000000000000000000000000000000000000000000082163303610515571692831561050057600254908382018092116104ed575084927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9260209260025585855284835280852082815401905551908152a380f35b634e487b7160e01b865260119052602485fd5b84602492519163ec442f0560e01b8352820152fd5b82516323019e6760e01b81528590fd5b8280fd5b5050346100f657816003193601126100f6576020905160ff7f0000000000000000000000000000000000000000000000000000000000000000168152f35b839150346100f6576105783661084f565b6001600160a01b038316808652600160209081528787203388529052868620549195929460001983106105b4575b602088610176898989610884565b86831061061c5781156106055733156105ee57508252600160209081528683203384528152918690209085900390558290610176876105a6565b8751634a1406b160e11b8152908101849052602490fd5b875163e602df0560e01b8152908101849052602490fd5b8751637dc7a0d960e11b8152339181019182526020820193909352604081018790528291506060010390fd5b5050346100f657816003193601126100f6576020906002549051908152f35b905034610525578160031936011261052557610681610834565b6024359033156106fa576001600160a01b03169182156106e357508083602095338152600187528181208582528752205582519081527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925843392a35160018152f35b8351634a1406b160e11b8152908101859052602490fd5b835163e602df0560e01b8152808401869052602490fd5b849084346105255782600319360112610525578260035460018160011c90600183169283156107e1575b602093848410811461038d57838852908115610371575060011461078b57505050829003601f01601f191682019267ffffffffffffffff84118385101761030957508291826103059252826107eb565b600387529192508591837fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b5b8385106107cd57505050508301018580806102d3565b8054888601830152930192849082016107b7565b91607f169161073b565b6020808252825181830181905290939260005b82811061082057505060409293506000838284010152601f8019910116010190565b8181018601518482016040015285016107fe565b600435906001600160a01b038216820361084a57565b600080fd5b606090600319011261084a576001600160a01b0390600435828116810361084a5791602435908116810361084a579060443590565b916001600160a01b03808416928315610949571692831561093057600090838252816020526040822054908382106108fe575091604082827fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef958760209652828652038282205586815220818154019055604051908152a3565b60405163391434e360e21b81526001600160a01b03919091166004820152602481019190915260448101839052606490fd5b60405163ec442f0560e01b815260006004820152602490fd5b604051634b637e8f60e11b815260006004820152602490fdfea26469706673582212208cc79f05c8af86fe96bd4920f6f2a98d379f1dc5a5f58f1a2e4371fd61295d2d64736f6c63430008180033a264697066735822122071e7dc896aa37666c331e8bfb44c2b328e7077b77a247c1ca2c41d2b327e32ed64736f6c63430008180033