FBTC | Arbitrum - codeslaw

codeslaw

FBTCSolidityv0.8.20+commit.a1b79de6

network

Arbitrum

address0xc96de26018a54d51c097160568752c4e3bd6c364

deployer0x4670b4ce71567ac6DCD93F0D3E9b94DcEA5418Bb

tx last 12 months

5.2k txs

calls last 12 months

21k calls

21 Files

contracts

FBTC.sol

base

BaseOwnableUpgradeable.sol

BasePausableUpgradeable.sol

FToken.sol

lib

openzeppelin-contracts

contracts

interfaces

draft-IERC1822.sol

draft-IERC6093.sol

proxy

ERC1967

ERC1967Utils.sol

beacon

IBeacon.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

IERC20Permit.sol

utils

SafeERC20.sol

utils

Address.sol

StorageSlot.sol

openzeppelin-contracts-upgradeable

contracts

access

Ownable2StepUpgradeable.sol

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

UUPSUpgradeable.sol

token

ERC20

ERC20Upgradeable.sol

utils

ContextUpgradeable.sol

PausableUpgradeable.sol

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

abi

constructor

constructor(address _owner, address _bridge)

functions

allowance

view

function allowance(address owner, address spender) view returns (uint256)

balanceOf

view

function balanceOf(address account) view returns (uint256)

bridge

view

function bridge() view returns (address)

decimals

pure

function decimals() pure returns (uint8)

name

view

function name() view returns (string)

owner

view

function owner() view returns (address)

paused

view

function paused() view returns (bool)

pendingOwner

view

function pendingOwner() view returns (address)

proxiableUUID

view

function proxiableUUID() view returns (bytes32)

symbol

view

function symbol() view returns (string)

totalSupply

view

function totalSupply() view returns (uint256)

UPGRADE_INTERFACE_VERSION

view

function UPGRADE_INTERFACE_VERSION() view returns (string)

userBlocked

view

function userBlocked(address user) view returns (bool blocked)

acceptOwnership

nonpayable

function acceptOwnership()

approve

nonpayable

function approve(address spender, uint256 value) returns (bool)

burn

nonpayable

function burn(address from, uint256 amount)

initialize

nonpayable

function initialize(address _owner, address _bridge)

lockUser

nonpayable

function lockUser(address _user)

mint

nonpayable

function mint(address to, uint256 amount)

pause

nonpayable

function pause()

payFee

nonpayable

function payFee(address payer, address feeRecipient, uint256 amount)

renounceOwnership

nonpayable

function renounceOwnership()

rescue

nonpayable

function rescue(address token, address to)

setBridge

nonpayable

function setBridge(address _bridge)

transfer

nonpayable

function transfer(address to, uint256 value) returns (bool)

transferFrom

nonpayable

function transferFrom(address from, address to, uint256 value) returns (bool)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

unlockUser

nonpayable

function unlockUser(address _user)

unpause

nonpayable

function unpause()

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

events

Approval

event Approval(address indexed owner, address indexed spender, uint256 value)

BridgeUpdated

event BridgeUpdated(address indexed newBridge, address indexed oldBridge)

Initialized

event Initialized(uint64 version)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

OwnershipTransferStarted

event OwnershipTransferStarted(address indexed previousOwner, address indexed newOwner)

Paused

event Paused(address account)

Transfer

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

Unpaused

event Unpaused(address account)

Upgraded

event Upgraded(address indexed implementation)

UserLocked

event UserLocked(address indexed user)

UserUnlocked

event UserUnlocked(address indexed user)

errors

AddressEmptyCode

error AddressEmptyCode(address target)

AddressInsufficientBalance

error AddressInsufficientBalance(address account)

EnforcedPause

error EnforcedPause()

ERC1967InvalidImplementation

error ERC1967InvalidImplementation(address implementation)

ERC1967NonPayable

error ERC1967NonPayable()

ERC20InsufficientAllowance

error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed)

ERC20InsufficientBalance

error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed)

ERC20InvalidApprover

error ERC20InvalidApprover(address approver)

ERC20InvalidReceiver

error ERC20InvalidReceiver(address receiver)

ERC20InvalidSender

error ERC20InvalidSender(address sender)

ERC20InvalidSpender

error ERC20InvalidSpender(address spender)

ExpectedPause

error ExpectedPause()

FailedInnerCall

error FailedInnerCall()

InvalidInitialization

error InvalidInitialization()

NotInitializing

error NotInitializing()

OwnableInvalidOwner

error OwnableInvalidOwner(address owner)

OwnableUnauthorizedAccount

error OwnableUnauthorizedAccount(address account)

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

UUPSUnauthorizedCallContext

error UUPSUnauthorizedCallContext()

UUPSUnsupportedProxiableUUID

error UUPSUnsupportedProxiableUUID(bytes32 slot)

bytecode

creation bytecode

0x60a034620006555762002f0c601f38829003908101601f19168301906001600160401b03821184831017620004cd578084916040948594855283398101031262000655576200005c602062000054846200067a565b93016200067a565b306080527ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805491939091906001600160401b0382168015908162000646575b60011490816200063b575b15908162000631575b5062000620576001600160401b03198216600117835581841c60ff161562000602575b620000dd6200065a565b600c81526b2334b932902134ba31b7b4b760a11b6020820152620001006200065a565b9060048252634642544360e01b60208301526200011c6200068f565b620001266200068f565b620001306200068f565b8051906001600160401b038211620004cd5760008051602062002eec8339815191525490600182811c92168015620005f7575b6020831014620004ac5781601f84931162000585575b50602090601f8311600114620004ef57600092620004e3575b50508160011b916000199060031b1c19161760008051602062002eec833981519152555b80516001600160401b038111620004cd577f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0491825490600182811c92168015620004c2575b6020831014620004ac5781601f84931162000454575b50602090601f8311600114620003e957600092620003dd575b50508160011b916000199060031b1c19161790555b620002496200068f565b620002536200068f565b6200025d6200068f565b620002676200068f565b6001600160a01b03908116908115620003c55760ff93949560018060a01b0319927f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c00848154169055827f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930080549083878316179055167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0600080a36200030b6200068f565b620003156200068f565b6200031f6200068f565b620003296200068f565b7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f033008519815416905516906032541617603255831c161562000384575b50516127fa9081620006d28239608051818181610c110152610f620152f35b68ff00000000000000001981541690557fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d26020825160018152a13862000365565b8451631e4fbdf760e01b815260006004820152602490fd5b0151905038806200022a565b6000858152602081209350601f198516905b8181106200043b575090846001959493921062000421575b505050811b0190556200023f565b015160001960f88460031b161c1916905538808062000413565b92936020600181928786015181550195019301620003fb565b909150836000526020600020601f840160051c81019160208510620004a1575b90601f859493920160051c01905b81811062000491575062000211565b6000815584935060010162000482565b909150819062000474565b634e487b7160e01b600052602260045260246000fd5b91607f1691620001fb565b634e487b7160e01b600052604160045260246000fd5b01519050388062000192565b60008051602062002eec833981519152600090815260008051602062002ecc8339815191529350601f198516905b8181106200056c575090846001959493921062000552575b505050811b0160008051602062002eec83398151915255620001b6565b015160001960f88460031b161c1916905538808062000535565b929360206001819287860151815501950193016200051d565b60008051602062002eec83398151915260005290915060008051602062002ecc833981519152601f840160051c81019160208510620005ec575b90601f859493920160051c01905b818110620005dc575062000179565b60008155849350600101620005cd565b9091508190620005bf565b91607f169162000163565b6001600160481b0319821668010000000000000001178355620000d3565b835163f92ee8a960e01b8152600490fd5b90501538620000b0565b303b159150620000a7565b83861c60ff161591506200009c565b600080fd5b60408051919082016001600160401b03811183821017620004cd57604052565b51906001600160a01b03821682036200065557565b60ff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005460401c1615620006bf57565b604051631afcd79f60e31b8152600490fdfe608080604052600436101561001357600080fd5b60003560e01c90816306fdde031461206a57508063095ea7b314611fb75780630adfcd8114611f7d57806318160ddd14611f4057806323b872dd14611d7d578063313ce56714611d615780633f4ba83a14611ca257806340c10f1914611a5d578063485cc955146111a45780634f1ef28614610ed85780634fdf5d1d14610c8b57806352d1902d14610be95780635c975abb14610ba75780636814ed0514610b5b57806370a0823114610af5578063715018a614610a8657806379ba5097146109fc5780638456cb59146109655780638da5cb5b146109125780638dd148021461088357806395d89b41146107675780639dc29fac1461050b578063a9059cbb146104da578063ad3cb1cc14610480578063bd1870a3146103ee578063d797258014610359578063dd62ed3e146102c2578063e30c39781461026f578063e78cea921461023b5763f2fde38b1461016957600080fd5b3461023657602060031936011261023657610182612194565b61018a6123fc565b73ffffffffffffffffffffffffffffffffffffffff809116907f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c00827fffffffffffffffffffffffff00000000000000000000000000000000000000008254161790557f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930054167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700600080a3005b600080fd5b3461023657600060031936011261023657602073ffffffffffffffffffffffffffffffffffffffff60325416604051908152f35b3461023657600060031936011261023657602073ffffffffffffffffffffffffffffffffffffffff7f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416604051908152f35b34610236576040600319360112610236576102db612194565b73ffffffffffffffffffffffffffffffffffffffff6103416102fb6121b7565b9273ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01602052604060002090565b91166000526020526020604060002054604051908152f35b346102365760206003193601126102365773ffffffffffffffffffffffffffffffffffffffff610387612194565b61038f6123fc565b16806000526033602052604060002060017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008254161790557fc365f2076d26c20bf7019fce7bfab33cc5b1892c9f7a7bd518f527b82eca1047600080a2005b346102365760206003193601126102365773ffffffffffffffffffffffffffffffffffffffff61041c612194565b6104246123fc565b1680600052603360205260406000207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0081541690557ff7702fc899ce884b88b98fdb4da936a552943962c818893f3b446ee5596df392600080a2005b34610236576000600319360112610236576104d66040516104a08161221c565b600581527f352e302e3000000000000000000000000000000000000000000000000000000060208201526040519182918261212e565b0390f35b34610236576040600319360112610236576105006104f6612194565b60243590336124e8565b602060405160018152f35b3461023657604060031936011261023657610524612194565b60243573ffffffffffffffffffffffffffffffffffffffff61054b816032541633146122e3565b82169081156107365761055c6126cf565b816000526020906033825260ff604060002054166106d857600080526033825260ff6040600020541661067a57826000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0080835260406000205494828610610623575090806000957fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef949386885284520360408620557f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02818154039055604051908152a3005b6040517fe450d38c00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9190911660048201526024810186905260448101839052606490fd5b606482604051907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152600d60248201527f746f20697320626c6f636b6564000000000000000000000000000000000000006044820152fd5b606482604051907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152600f60248201527f66726f6d20697320626c6f636b656400000000000000000000000000000000006044820152fd5b60246040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260006004820152fd5b346102365760006003193601126102365760405160007f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0480546107a981612495565b8085529160019180831690811561083b57506001146107df575b6104d6856107d381870382612238565b6040519182918261212e565b600090815292507f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa5b8284106108235750505081016020016107d3826104d66107c3565b80546020858701810191909152909301928101610808565b8695506104d6969350602092506107d39491507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001682840152151560051b82010192936107c3565b346102365760206003193601126102365761089c612194565b6108a46123fc565b6032549073ffffffffffffffffffffffffffffffffffffffff80911691827fffffffffffffffffffffffff000000000000000000000000000000000000000082161760325516907faae9beddccf584528e87b66c6ff2563825c8a1433305b8a656e9b5f9bf390499600080a3005b3461023657600060031936011261023657602073ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c1993005416604051908152f35b346102365760006003193601126102365761097e6123fc565b6109866126cf565b7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f0330060017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008254161790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586020604051338152a1005b34610236576000600319360112610236573373ffffffffffffffffffffffffffffffffffffffff7f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c00541603610a5657610a5433612348565b005b60246040517f118cdaa7000000000000000000000000000000000000000000000000000000008152336004820152fd5b346102365760006003193601126102365760646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f556e61626c6520746f2072656e6f756e6365206f776e657273686970000000006044820152fd5b346102365760206003193601126102365773ffffffffffffffffffffffffffffffffffffffff610b23612194565b166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace006020526020604060002054604051908152f35b346102365760206003193601126102365773ffffffffffffffffffffffffffffffffffffffff610b89612194565b166000526033602052602060ff604060002054166040519015158152f35b3461023657600060031936011261023657602060ff7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f0330054166040519015158152f35b346102365760006003193601126102365773ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000163003610c615760206040517f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc8152f35b60046040517fe07c8dba000000000000000000000000000000000000000000000000000000008152fd5b3461023657604060031936011261023657610ca4612194565b610cac6121b7565b90610cb56123fc565b73ffffffffffffffffffffffffffffffffffffffff90811680610d4d5750600080809381934791165af1610ce76122b3565b5015610cef57005b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f455448207472616e73666572206661696c6564000000000000000000000000006044820152fd5b91604051917f70a082310000000000000000000000000000000000000000000000000000000083523060048401526020928381602481885afa908115610ecc57600091610e9f575b5060405191848301937fa9059cbb0000000000000000000000000000000000000000000000000000000085521660248301526044820152604481526080810181811067ffffffffffffffff821117610e705760405251610e0791600091829182875af1610e006122b3565b9084612724565b8051918215159182610e4f575b50509050610e1e57005b602490604051907f5274afe70000000000000000000000000000000000000000000000000000000082526004820152fd5b80925081938101031261023657015180159081150361023657808380610e14565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b90508381813d8311610ec5575b610eb68183612238565b81010312610236575185610d95565b503d610eac565b6040513d6000823e3d90fd5b604060031936011261023657610eec612194565b602490813567ffffffffffffffff8111610236573660238201121561023657806004013591610f1a83612279565b610f276040519182612238565b838152602093848201933687838301011161023657816000928888930187378301015273ffffffffffffffffffffffffffffffffffffffff807f000000000000000000000000000000000000000000000000000000000000000016803014908115611176575b50610c6157610f9a6123fc565b821693604051907f52d1902d0000000000000000000000000000000000000000000000000000000082528082600481895afa918291600093611146575b505061100d578585604051907f4c9c8ce30000000000000000000000000000000000000000000000000000000082526004820152fd5b8490867f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc918281036111185750843b156110e95750817fffffffffffffffffffffffff0000000000000000000000000000000000000000825416179055604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b600080a28151156110b657506000610a549381925190845af46110b06122b3565b91612724565b92505050346110c157005b807fb398979f0000000000000000000000000000000000000000000000000000000060049252fd5b82604051907f4c9c8ce30000000000000000000000000000000000000000000000000000000082526004820152fd5b604051907faa1d49a40000000000000000000000000000000000000000000000000000000082526004820152fd5b9080929350813d831161116f575b61115e8183612238565b810103126102365751908780610fd7565b503d611154565b9050817f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc5416141587610f8d565b34610236576040600319360112610236576111bd612194565b6111c56121b7565b907ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005467ffffffffffffffff811680159081611a4d575b6001149081611a43575b159081611a3a575b50611a105760017fffffffffffffffffffffffffffffffffffffffffffffffff00000000000000008216177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005560ff8160401c16156119bb575b604051926112758461221c565b600c84527f4669726520426974636f696e00000000000000000000000000000000000000006020850152604051936112ac8561221c565b600485527f464254430000000000000000000000000000000000000000000000000000000060208601526112de61243c565b6112e661243c565b6112ee61243c565b80519067ffffffffffffffff8211610e7057819061132c7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0354612495565b601f81116118f2575b50602090601f83116001146117d0576000926117c5575b50507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c1916177f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03555b835167ffffffffffffffff8111610e70576113d97f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0454612495565b601f8111611703575b50602094601f8211600114611605579481929394956000926115fa575b50507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c1916177f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04555b61145961243c565b61146161243c565b61146961243c565b61147161243c565b73ffffffffffffffffffffffffffffffffffffffff90818416156115c95761149a60ff94612348565b6114a261243c565b6114aa61243c565b6114b261243c565b6114ba61243c565b7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f033007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008154169055167fffffffffffffffffffffffff0000000000000000000000000000000000000000603254161760325560401c161561153657005b7fffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054167ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00557fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2602060405160018152a1005b60246040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260006004820152fd5b0151905085806113ff565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08216957f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace046000527f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa9160005b8881106116eb575083600195969798106116b4575b505050811b017f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0455611451565b01517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c19169055858080611687565b91926020600181928685015181550194019201611672565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04600052601f820160051c7f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa01906020831061179d575b601f0160051c7f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa01905b81811061179157506113e2565b60008155600101611784565b7f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa915061175a565b01519050868061134c565b92507f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace036000527f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab0906000935b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0841685106118d75760019450837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08116106118a0575b505050811b017f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace035561139e565b01517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c19169055868080611873565b8181015183556020948501946001909301929091019061181c565b9091507f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03600052601f830160051c7f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab00160208410611994575b908392915b601f820160051c7f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab00181106119855750611335565b60008155849350600101611950565b507f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab061194b565b680100000000000000017fffffffffffffffffffffffffffffffffffffffffffffff0000000000000000008216177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0055611268565b60046040517ff92ee8a9000000000000000000000000000000000000000000000000000000008152fd5b9050158461120e565b303b159150611206565b604083901c60ff161591506111fc565b3461023657604060031936011261023657611a76612194565b6024359073ffffffffffffffffffffffffffffffffffffffff90611a9f826032541633146122e3565b16908115611c7157611aaf6126cf565b60008052603360209081527f44496df070da3f045064f6d6f394484a8de10d5710290d619b67d975ec89320f5460ff16611c1357826000526033815260ff60406000205416611bb5577f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0290815492808401809411611b86576000937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef93558484527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00825260408420818154019055604051908152a3005b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b606490604051907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152600d60248201527f746f20697320626c6f636b6564000000000000000000000000000000000000006044820152fd5b606490604051907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152600f60248201527f66726f6d20697320626c6f636b656400000000000000000000000000000000006044820152fd5b60246040517fec442f0500000000000000000000000000000000000000000000000000000000815260006004820152fd5b3461023657600060031936011261023657611cbb6123fc565b7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300805460ff811615611d37577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6020604051338152a1005b60046040517f8dfc202b000000000000000000000000000000000000000000000000000000008152fd5b3461023657600060031936011261023657602060405160088152f35b3461023657611d8b366121da565b90611dd58373ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01602052604060002090565b33600052602052604060002054927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8403611e15575b61050093506124e8565b828410611f015773ffffffffffffffffffffffffffffffffffffffff811615611ed0573315611e9f578261050094611e8c8373ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01602052604060002090565b3360005260205203604060002055611e0b565b60246040517f94280d6200000000000000000000000000000000000000000000000000000000815260006004820152fd5b60246040517fe602df0500000000000000000000000000000000000000000000000000000000815260006004820152fd5b6040517ffb8f41b20000000000000000000000000000000000000000000000000000000081523360048201526024810185905260448101849052606490fd5b346102365760006003193601126102365760207f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254604051908152f35b3461023657610a54611f8e366121da565b91611fb273ffffffffffffffffffffffffffffffffffffffff6032541633146122e3565b6124e8565b3461023657604060031936011261023657611fd0612194565b602435903315611ed05773ffffffffffffffffffffffffffffffffffffffff16908115611e9f573360009081527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace016020526040902082600052602052806040600020556040519081527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560203392a3602060405160018152f35b346102365760006003193601126102365760007f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0380546120a981612495565b8085529160019180831690811561083b57506001146120d2576104d6856107d381870382612238565b600090815292507f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab05b8284106121165750505081016020016107d3826104d66107c3565b805460208587018101919091529093019281016120fb565b60208082528251818301819052939260005b858110612180575050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8460006040809697860101520116010190565b818101830151848201604001528201612140565b6004359073ffffffffffffffffffffffffffffffffffffffff8216820361023657565b6024359073ffffffffffffffffffffffffffffffffffffffff8216820361023657565b60031960609101126102365773ffffffffffffffffffffffffffffffffffffffff90600435828116810361023657916024359081168103610236579060443590565b6040810190811067ffffffffffffffff821117610e7057604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff821117610e7057604052565b67ffffffffffffffff8111610e7057601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b3d156122de573d906122c482612279565b916122d26040519384612238565b82523d6000602084013e565b606090565b156122ea57565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f43616c6c6572206e6f74206272696467650000000000000000000000000000006044820152fd5b7fffffffffffffffffffffffff0000000000000000000000000000000000000000907f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c008281541690557f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930080549073ffffffffffffffffffffffffffffffffffffffff80931680948316179055167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0600080a3565b73ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930054163303610a5657565b60ff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005460401c161561246b57565b60046040517fd7e6bcf8000000000000000000000000000000000000000000000000000000008152fd5b90600182811c921680156124de575b60208310146124af57565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b91607f16916124a4565b92919073ffffffffffffffffffffffffffffffffffffffff8085169182156107365716918215611c715761251a6126cf565b6000908282526020916033835260409060ff8282205416612672578581526033845260ff8282205416612615578481527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace008085528282205498848a106125bf575090838697989984937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef988452875203828220558781522082815401905551908152a3565b83517fe450d38c00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff919091166004820152602481018a905260448101859052606490fd5b6064848351907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152600d60248201527f746f20697320626c6f636b6564000000000000000000000000000000000000006044820152fd5b6064848351907f08c379a00000000000000000000000000000000000000000000000000000000082526004820152600f60248201527f66726f6d20697320626c6f636b656400000000000000000000000000000000006044820152fd5b60ff7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f0330054166126fa57565b60046040517fd93c0665000000000000000000000000000000000000000000000000000000008152fd5b90612763575080511561273957805190602001fd5b60046040517f1425ea42000000000000000000000000000000000000000000000000000000008152fd5b815115806127bb575b612774575090565b60249073ffffffffffffffffffffffffffffffffffffffff604051917f9996b315000000000000000000000000000000000000000000000000000000008352166004820152fd5b50803b1561276c56fea26469706673582212203683fecc4a6c2a1c35e10439af2292c614333e2e78f75fc2c3057c9a8d08b89464736f6c634300081400332ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab052c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0300000000000000000000000049eede69321716a7fff0954658ea8044eeb19d54000000000000000000000000bee335bb44e75c4794a0b9b54e8027b111395943