OptimismPortal | Ethereum

codeslaw

OptimismPortalSolidityv0.8.15+commit.e14f2714

network

Ethereum

address0xe1399f54ba2597b4eada9e3450c34d393fb131a7

deployer0x2A2954F3989a83Cc43DD58B0f038D5F276f21333

tx last 12 months

0 txs

calls last 12 months

9.4k calls

31 Files

contracts

L2OutputOracle.sol

OptimismPortal.sol

ResourceMetering.sol

SystemConfig.sol

libraries

Arithmetic.sol

Burn.sol

Bytes.sol

Constants.sol

Encoding.sol

Hashing.sol

SafeCall.sol

Types.sol

rlp

RLPReader.sol

RLPWriter.sol

trie

MerkleTrie.sol

SecureMerkleTrie.sol

universal

Semver.sol

vendor

AddressAliasHelper.sol

node_modules

@openzeppelin

contracts

proxy

utils

Initializable.sol

token

ERC20

IERC20.sol

extensions

draft-IERC20Permit.sol

utils

SafeERC20.sol

utils

Address.sol

Strings.sol

math

Math.sol

SignedMath.sol

contracts-upgradeable

access

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

utils

AddressUpgradeable.sol

ContextUpgradeable.sol

@rari-capital

solmate

src

utils

FixedPointMathLib.sol

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

abi

constructor

constructor(address _l2Oracle, address _guardian, bool _paused, address _config, address _l1MNT)

functions

finalizedWithdrawals

view

function finalizedWithdrawals(bytes32) view returns (bool)

GUARDIAN

view

function GUARDIAN() view returns (address)

isOutputFinalized

view

function isOutputFinalized(uint256 _l2OutputIndex) view returns (bool)

L1_MNT_ADDRESS

view

function L1_MNT_ADDRESS() view returns (address)

L2_ORACLE

view

function L2_ORACLE() view returns (address)

l2Sender

view

function l2Sender() view returns (address)

minimumGasLimit

pure

function minimumGasLimit(uint64 _byteCount) pure returns (uint64)

params

view

function params() view returns (uint128 prevBaseFee, uint64 prevBoughtGas, uint64 prevBlockNum)

paused

view

function paused() view returns (bool)

provenWithdrawals

view

function provenWithdrawals(bytes32) view returns (bytes32 outputRoot, uint128 timestamp, uint128 l2OutputIndex)

SYSTEM_CONFIG

view

function SYSTEM_CONFIG() view returns (address)

version

view

function version() view returns (string)

depositTransaction

payable

function depositTransaction(uint256 _ethTxValue, uint256 _mntValue, address _to, uint256 _mntTxValue, uint64 _gasLimit, bool _isCreation, bytes _data) payable

donateETH

payable

function donateETH() payable

finalizeWithdrawalTransaction

nonpayable

function finalizeWithdrawalTransaction(tuple _tx)

initialize

nonpayable

function initialize(bool _paused)

pause

nonpayable

function pause()

proveWithdrawalTransaction

nonpayable

function proveWithdrawalTransaction(tuple _tx, uint256 _l2OutputIndex, tuple _outputRootProof, bytes[] _withdrawalProof)

unpause

nonpayable

function unpause()

events

Initialized

event Initialized(uint8 version)

Paused

event Paused(address account)

TransactionDeposited

event TransactionDeposited(address indexed from, address indexed to, uint256 indexed version, bytes opaqueData)

Unpaused

event Unpaused(address account)

WithdrawalFinalized

event WithdrawalFinalized(bytes32 indexed withdrawalHash, bool success)

WithdrawalProven

event WithdrawalProven(bytes32 indexed withdrawalHash, address indexed from, address indexed to)

errors

No errors.

bytecode

creation bytecode

0x6101606040523480156200001257600080fd5b5060405162006343380380620063438339810160408190526200003591620002ca565b6001608052600760a052600060c0526001600160a01b0380861660e052848116610120528281166101005281166101405262000071836200007c565b50505050506200034e565b600054610100900460ff16158080156200009d5750600054600160ff909116105b80620000cd5750620000ba30620001e360201b620006601760201c565b158015620000cd575060005460ff166001145b620001365760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b60648201526084015b60405180910390fd5b6000805460ff1916600117905580156200015a576000805461ff0019166101001790555b6032546001600160a01b03166200018057603280546001600160a01b03191661dead1790555b6035805460ff191683151517905562000198620001f2565b8015620001df576000805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b5050565b6001600160a01b03163b151590565b600054610100900460ff166200025f5760405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b60648201526084016200012d565b600154600160c01b90046001600160401b0316600003620002af5760408051606081018252633b9aca0080825260006020830152436001600160401b031691909201819052600160c01b02176001555b565b6001600160a01b0381168114620002c757600080fd5b50565b600080600080600060a08688031215620002e357600080fd5b8551620002f081620002b1565b60208701519095506200030381620002b1565b604087015190945080151581146200031a57600080fd5b60608701519093506200032d81620002b1565b60808701519092506200034081620002b1565b809150509295509295909350565b60805160a05160c05160e051610100516101205161014051615f46620003fd6000396000818161049d015281816108690152818161116e01526111df0152600081816103ab01528181611401015261169e01526000818161063e01526129430152600081816102ac01528181610b6e01528181610de0015281816115fa01528181611b2801528181611d09015261244e015260006115650152600061153c015260006115130152615f466000f3fe6080604052600436106101475760003560e01c80639bf62d82116100c0578063cff0ab9611610074578063d69b2b1b11610059578063d69b2b1b14610580578063e965084c146105a0578063f04987501461062c57600080fd5b8063cff0ab96146104bf578063d53a822f1461056057600080fd5b8063a35d99df116100a5578063a35d99df1461043f578063a77b7d0814610478578063ac6986c51461048b57600080fd5b80639bf62d82146103e2578063a14238e71461040f57600080fd5b80635c975abb11610117578063724c184c116100fc578063724c184c146103995780638456cb59146103cd5780638b4c40b01461029357600080fd5b80635c975abb1461034f5780636dbffb781461037957600080fd5b80621c2ff61461029a5780632e71d4a4146102f85780633f4ba83a1461031857806354fd4d501461032d57600080fd5b3661029557333b156101e0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603760248201527f5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c60448201527f792062652063616c6c65642066726f6d20616e20454f4100000000000000000060648201526084015b60405180910390fd5b33321461026f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f5374616e646172644272696467653a206d73672073656e646572206d7573742060448201527f657175616c20746f207478206f726967696e000000000000000000000000000060648201526084016101d7565b610293346000336000620186a060006040518060200160405280600081525061067c565b005b600080fd5b3480156102a657600080fd5b506102ce7f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b34801561030457600080fd5b50610293610313366004615496565b610960565b34801561032457600080fd5b506102936113e9565b34801561033957600080fd5b5061034261150c565b6040516102ef9190615541565b34801561035b57600080fd5b506035546103699060ff1681565b60405190151581526020016102ef565b34801561038557600080fd5b50610369610394366004615554565b6115af565b3480156103a557600080fd5b506102ce7f000000000000000000000000000000000000000000000000000000000000000081565b3480156103d957600080fd5b50610293611686565b3480156103ee57600080fd5b506032546102ce9073ffffffffffffffffffffffffffffffffffffffff1681565b34801561041b57600080fd5b5061036961042a366004615554565b60336020526000908152604090205460ff1681565b34801561044b57600080fd5b5061045f61045a366004615585565b6117a8565b60405167ffffffffffffffff90911681526020016102ef565b6102936104863660046155b1565b61067c565b34801561049757600080fd5b506102ce7f000000000000000000000000000000000000000000000000000000000000000081565b3480156104cb57600080fd5b50600154610527906fffffffffffffffffffffffffffffffff81169067ffffffffffffffff7001000000000000000000000000000000008204811691780100000000000000000000000000000000000000000000000090041683565b604080516fffffffffffffffffffffffffffffffff909416845267ffffffffffffffff92831660208501529116908201526060016102ef565b34801561056c57600080fd5b5061029361057b36600461563f565b6117c1565b34801561058c57600080fd5b5061029361059b36600461565c565b6119ca565b3480156105ac57600080fd5b506105fe6105bb366004615554565b603460205260009081526040902080546001909101546fffffffffffffffffffffffffffffffff8082169170010000000000000000000000000000000090041683565b604080519384526fffffffffffffffffffffffffffffffff92831660208501529116908201526060016102ef565b34801561063857600080fd5b506102ce7f000000000000000000000000000000000000000000000000000000000000000081565b73ffffffffffffffffffffffffffffffffffffffff163b151590565b8260005a9050831561072e5773ffffffffffffffffffffffffffffffffffffffff87161561072e57604080517f08c379a00000000000000000000000000000000000000000000000000000000081526020600482015260248101919091527f4f7074696d69736d506f7274616c3a206d7573742073656e6420746f2061646460448201527f72657373283029207768656e206372656174696e67206120636f6e747261637460648201526084016101d7565b61073883516117a8565b67ffffffffffffffff168567ffffffffffffffff1610156107db576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f4f7074696d69736d506f7274616c3a20676173206c696d697420746f6f20736d60448201527f616c6c000000000000000000000000000000000000000000000000000000000060648201526084016101d7565b6201d4c083511115610849576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f4f7074696d69736d506f7274616c3a206461746120746f6f206c61726765000060448201526064016101d7565b87156108915761089173ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001633308b612030565b333281146108b2575033731111000000000000000000000000000000001111015b60008988348d8a8a8a6040516020016108d19796959493929190615738565b604051602081830303815290604052905060018973ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fb3813568d9991fc951961fcb4c784893574240a28925604d09fc577c55bb7c32846040516109419190615541565b60405180910390a4505061095582826120cb565b505050505050505050565b60355460ff16156109cd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f4f7074696d69736d506f7274616c3a207061757365640000000000000000000060448201526064016101d7565b60325473ffffffffffffffffffffffffffffffffffffffff1661dead14610a76576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603f60248201527f4f7074696d69736d506f7274616c3a2063616e206f6e6c79207472696767657260448201527f206f6e65207769746864726177616c20706572207472616e73616374696f6e0060648201526084016101d7565b6000610a81826123f8565b60008181526034602090815260408083208151606081018352815481526001909101546fffffffffffffffffffffffffffffffff80821694830185905270010000000000000000000000000000000090910416918101919091529293509003610b6c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4f7074696d69736d506f7274616c3a207769746864726177616c20686173206e60448201527f6f74206265656e2070726f76656e20796574000000000000000000000000000060648201526084016101d7565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663887862726040518163ffffffff1660e01b8152600401602060405180830381865afa158015610bd7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bfb91906157ab565b81602001516fffffffffffffffffffffffffffffffff161015610cc6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604b60248201527f4f7074696d69736d506f7274616c3a207769746864726177616c2074696d657360448201527f74616d70206c657373207468616e204c32204f7261636c65207374617274696e60648201527f672074696d657374616d70000000000000000000000000000000000000000000608482015260a4016101d7565b610ce581602001516fffffffffffffffffffffffffffffffff1661244a565b610d97576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604560248201527f4f7074696d69736d506f7274616c3a2070726f76656e2077697468647261776160448201527f6c2066696e616c697a6174696f6e20706572696f6420686173206e6f7420656c60648201527f6170736564000000000000000000000000000000000000000000000000000000608482015260a4016101d7565b60408181015190517fa25ae5570000000000000000000000000000000000000000000000000000000081526fffffffffffffffffffffffffffffffff90911660048201526000907f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa158015610e3c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e6091906157e4565b8251815191925014610f1a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604960248201527f4f7074696d69736d506f7274616c3a206f757470757420726f6f742070726f7660448201527f656e206973206e6f74207468652073616d652061732063757272656e74206f7560648201527f7470757420726f6f740000000000000000000000000000000000000000000000608482015260a4016101d7565b610f3981602001516fffffffffffffffffffffffffffffffff1661244a565b610feb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604360248201527f4f7074696d69736d506f7274616c3a206f75747075742070726f706f73616c2060448201527f66696e616c697a6174696f6e20706572696f6420686173206e6f7420656c617060648201527f7365640000000000000000000000000000000000000000000000000000000000608482015260a4016101d7565b60008381526033602052604090205460ff161561108a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603560248201527f4f7074696d69736d506f7274616c3a207769746864726177616c20686173206160448201527f6c7265616479206265656e2066696e616c697a6564000000000000000000000060648201526084016101d7565b600083815260336020908152604090912080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790558401516032805473ffffffffffffffffffffffffffffffffffffffff9092167fffffffffffffffffffffffff00000000000000000000000000000000000000009092169190911790556060840151156111dd57604080850151606086015191517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff918216600482015260248101929092527f0000000000000000000000000000000000000000000000000000000000000000169063a9059cbb906044016020604051808303816000875af11580156111b7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111db9190615849565b505b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16846040015173ffffffffffffffffffffffffffffffffffffffff16036112bc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4469726563746c792063616c6c696e67204d4e5420546f6b656e20697320666f60448201527f7262696464656e0000000000000000000000000000000000000000000000000060648201526084016101d7565b60006112da85604001518660a0015187608001518860c001516124ed565b603280547fffffffffffffffffffffffff00000000000000000000000000000000000000001661dead17905560405190915084907fdb5c7652857aa163daadd670e116628fb42e869d8ac4251ef8971d9e5727df1b9061133f90841515815260200190565b60405180910390a2801580156113555750326001145b156113e2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f4f7074696d69736d506f7274616c3a207769746864726177616c206661696c6560448201527f640000000000000000000000000000000000000000000000000000000000000060648201526084016101d7565b5050505050565b3373ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016146114ae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f4f7074696d69736d506f7274616c3a206f6e6c7920677561726469616e20636160448201527f6e20756e7061757365000000000000000000000000000000000000000000000060648201526084016101d7565b603580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690556040513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa906020015b60405180910390a1565b60606115377f000000000000000000000000000000000000000000000000000000000000000061254b565b6115607f000000000000000000000000000000000000000000000000000000000000000061254b565b6115897f000000000000000000000000000000000000000000000000000000000000000061254b565b60405160200161159b93929190615866565b604051602081830303815290604052905090565b6040517fa25ae557000000000000000000000000000000000000000000000000000000008152600481018290526000906116809073ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000169063a25ae55790602401606060405180830381865afa158015611641573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061166591906157e4565b602001516fffffffffffffffffffffffffffffffff1661244a565b92915050565b3373ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000161461174b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4f7074696d69736d506f7274616c3a206f6e6c7920677561726469616e20636160448201527f6e2070617573650000000000000000000000000000000000000000000000000060648201526084016101d7565b603580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790556040513381527f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25890602001611502565b565b60006117b582601061590b565b6116809061520861593b565b600054610100900460ff16158080156117e15750600054600160ff909116105b806117fb5750303b1580156117fb575060005460ff166001145b611887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201527f647920696e697469616c697a656400000000000000000000000000000000000060648201526084016101d7565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600117905580156118e557600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff166101001790555b60325473ffffffffffffffffffffffffffffffffffffffff1661192f57603280547fffffffffffffffffffffffff00000000000000000000000000000000000000001661dead1790555b603580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016831515179055611963612688565b80156119c657600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b5050565b60355460ff1615611a37576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f4f7074696d69736d506f7274616c3a207061757365640000000000000000000060448201526064016101d7565b3073ffffffffffffffffffffffffffffffffffffffff16856040015173ffffffffffffffffffffffffffffffffffffffff1603611af6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603f60248201527f4f7074696d69736d506f7274616c3a20796f752063616e6e6f742073656e642060448201527f6d6573736167657320746f2074686520706f7274616c20636f6e74726163740060648201526084016101d7565b6040517fa25ae557000000000000000000000000000000000000000000000000000000008152600481018590526000907f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa158015611b84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ba891906157e4565b519050611bc2611bbd36869003860186615967565b61279b565b8114611c50576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f4f7074696d69736d506f7274616c3a20696e76616c6964206f7574707574207260448201527f6f6f742070726f6f66000000000000000000000000000000000000000000000060648201526084016101d7565b6000611c5b876123f8565b6000818152603460209081526040918290208251606081018452815481526001909101546fffffffffffffffffffffffffffffffff8082169383018490527001000000000000000000000000000000009091041692810192909252919250901580611d8d5750805160408083015190517fa25ae5570000000000000000000000000000000000000000000000000000000081526fffffffffffffffffffffffffffffffff90911660048201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa158015611d65573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d8991906157e4565b5114155b611e19576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603760248201527f4f7074696d69736d506f7274616c3a207769746864726177616c20686173682060448201527f68617320616c7265616479206265656e2070726f76656e00000000000000000060648201526084016101d7565b60408051602081018490526000918101829052606001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815282825280516020918201209083018190529250611ee29101604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152828201909152600182527f0100000000000000000000000000000000000000000000000000000000000000602083015290611ed8888a6159cd565b8a604001356127da565b611f6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4f7074696d69736d506f7274616c3a20696e76616c696420776974686472617760448201527f616c20696e636c7573696f6e2070726f6f66000000000000000000000000000060648201526084016101d7565b604080516060810182528581526fffffffffffffffffffffffffffffffff42811660208084019182528c831684860190815260008981526034835286812095518655925190518416700100000000000000000000000000000000029316929092176001909301929092558b830151908c0151925173ffffffffffffffffffffffffffffffffffffffff918216939091169186917f67a6208cfcc0801d50f6cbe764733f4fddf66ac0b04442061a8a8c0cb6b63f629190a4505050505050505050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790526120c59085906127fe565b50505050565b600154600090612101907801000000000000000000000000000000000000000000000000900467ffffffffffffffff1643615a51565b9050600061210d61290f565b90506000816020015160ff16826000015163ffffffff1661212e9190615a97565b9050821561226557600154600090612165908390700100000000000000000000000000000000900467ffffffffffffffff16615aff565b90506000836040015160ff168361217c9190615b73565b60015461219c9084906fffffffffffffffffffffffffffffffff16615b73565b6121a69190615a97565b6001549091506000906121f7906121d09084906fffffffffffffffffffffffffffffffff16615c2f565b866060015163ffffffff168760a001516fffffffffffffffffffffffffffffffff166129d5565b90506001861115612226576122236121d082876040015160ff1660018a61221e9190615a51565b6129f4565b90505b6fffffffffffffffffffffffffffffffff16780100000000000000000000000000000000000000000000000067ffffffffffffffff4316021760015550505b60018054869190601090612298908490700100000000000000000000000000000000900467ffffffffffffffff1661593b565b92506101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550816000015163ffffffff16600160000160109054906101000a900467ffffffffffffffff1667ffffffffffffffff16131561237b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603e60248201527f5265736f757263654d65746572696e673a2063616e6e6f7420627579206d6f7260448201527f6520676173207468616e20617661696c61626c6520676173206c696d6974000060648201526084016101d7565b6001546000906123a7906fffffffffffffffffffffffffffffffff1667ffffffffffffffff8816615ca3565b905060006123b948633b9aca00612a49565b6123c39083615ce0565b905060005a6123d29088615a51565b9050808211156123ee576123ee6123e98284615a51565b612a60565b5050505050505050565b80516020808301516040808501516060860151608087015160a088015160c0890151945160009861242d989097969101615cf4565b604051602081830303815290604052805190602001209050919050565b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663f4daa2916040518163ffffffff1660e01b8152600401602060405180830381865afa1580156124b7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124db91906157ab565b6124e59083615d52565b421192915050565b60008060006124fd866000612a89565b905080612533576308c379a06000526020805278185361666543616c6c3a204e6f7420656e6f756768206761736058526064601cfd5b600080855160208701888b5af1979650505050505050565b60608160000361258e57505060408051808201909152600181527f3000000000000000000000000000000000000000000000000000000000000000602082015290565b8160005b81156125b857806125a281615d6a565b91506125b19050600a83615ce0565b9150612592565b60008167ffffffffffffffff8111156125d3576125d36152a6565b6040519080825280601f01601f1916602001820160405280156125fd576020820181803683370190505b5090505b841561268057612612600183615a51565b915061261f600a86615da2565b61262a906030615d52565b60f81b81838151811061263f5761263f615db6565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350612679600a86615ce0565b9450612601565b949350505050565b600054610100900460ff1661271f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e6700000000000000000000000000000000000000000060648201526084016101d7565b6001547801000000000000000000000000000000000000000000000000900467ffffffffffffffff166000036117a65760408051606081018252633b9aca00808252600060208301524367ffffffffffffffff169190920181905278010000000000000000000000000000000000000000000000000217600155565b6000816000015182602001518360400151846060015160405160200161242d949392919093845260208401929092526040830152606082015260800190565b6000806127e686612aa7565b90506127f481868686612ad9565b9695505050505050565b6000612860826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff16612b099092919063ffffffff16565b80519091501561290a578080602001905181019061287e9190615849565b61290a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e60448201527f6f7420737563636565640000000000000000000000000000000000000000000060648201526084016101d7565b505050565b6040805160c081018252600080825260208201819052918101829052606081018290526080810182905260a08101919091527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663cc731b026040518163ffffffff1660e01b815260040160c060405180830381865afa1580156129ac573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906129d09190615e0a565b905090565b60006129ea6129e48585612b18565b83612b28565b90505b9392505050565b6000670de0b6b3a7640000612a35612a0c8583615a97565b612a1e90670de0b6b3a7640000615aff565b612a3085670de0b6b3a7640000615b73565b612b37565b612a3f9086615b73565b6129ea9190615a97565b600081831015612a5957816129ed565b5090919050565b6000805a90505b825a612a739083615a51565b101561290a57612a8282615d6a565b9150612a67565b600080603f83619c4001026040850201603f5a021015949350505050565b60608180519060200120604051602001612ac391815260200190565b6040516020818303038152906040529050919050565b6000612b0084612aea878686612b68565b8051602091820120825192909101919091201490565b95945050505050565b60606129ea84846000856135f0565b600081831215612a5957816129ed565b6000818312612a5957816129ed565b60006129ed670de0b6b3a764000083612b4f86613786565b612b599190615b73565b612b639190615a97565b6139ca565b60606000845111612bd5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f4d65726b6c65547269653a20656d707479206b6579000000000000000000000060448201526064016101d7565b6000612be084613c09565b90506000612bed86613cf8565b9050600084604051602001612c0491815260200190565b60405160208183030381529060405290506000805b8451811015613567576000858281518110612c3657612c36615db6565b602002602001015190508451831115612cd1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f4d65726b6c65547269653a206b657920696e646578206578636565647320746f60448201527f74616c206b6579206c656e67746800000000000000000000000000000000000060648201526084016101d7565b82600003612d8a5780518051602091820120604051612d1f92612cf992910190815260200190565b604051602081830303815290604052858051602091820120825192909101919091201490565b612d85576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4d65726b6c65547269653a20696e76616c696420726f6f74206861736800000060448201526064016101d7565b612ee1565b805151602011612e405780518051602091820120604051612db492612cf992910190815260200190565b612d85576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4d65726b6c65547269653a20696e76616c6964206c6172676520696e7465726e60448201527f616c20686173680000000000000000000000000000000000000000000000000060648201526084016101d7565b805184516020808701919091208251919092012014612ee1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4d65726b6c65547269653a20696e76616c696420696e7465726e616c206e6f6460448201527f652068617368000000000000000000000000000000000000000000000000000060648201526084016101d7565b612eed60106001615d52565b816020015151036130ce5784518303613066576000612f298260200151601081518110612f1c57612f1c615db6565b6020026020010151613e93565b90506000815111612fbc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603b60248201527f4d65726b6c65547269653a2076616c7565206c656e677468206d75737420626560448201527f2067726561746572207468616e207a65726f20286272616e636829000000000060648201526084016101d7565b60018751612fca9190615a51565b8314613058576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603a60248201527f4d65726b6c65547269653a2076616c7565206e6f6465206d757374206265206c60448201527f617374206e6f646520696e2070726f6f6620286272616e63682900000000000060648201526084016101d7565b96506129ed95505050505050565b600085848151811061307a5761307a615db6565b602001015160f81c60f81b60f81c9050600082602001518260ff16815181106130a5576130a5615db6565b602002602001015190506130b881613ff3565b95506130c5600186615d52565b94505050613554565b6002816020015151036134cc5760006130e682614018565b90506000816000815181106130fd576130fd615db6565b016020015160f81c90506000613114600283615ea9565b61311f906002615ecb565b90506000613130848360ff1661403c565b9050600061313e8a8961403c565b9050600061314c8383614072565b9050808351146131de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603a60248201527f4d65726b6c65547269653a20706174682072656d61696e646572206d7573742060448201527f736861726520616c6c206e6962626c65732077697468206b657900000000000060648201526084016101d7565b60ff8516600214806131f3575060ff85166003145b156133e75780825114613288576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603d60248201527f4d65726b6c65547269653a206b65792072656d61696e646572206d757374206260448201527f65206964656e746963616c20746f20706174682072656d61696e64657200000060648201526084016101d7565b60006132a48860200151600181518110612f1c57612f1c615db6565b90506000815111613337576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603960248201527f4d65726b6c65547269653a2076616c7565206c656e677468206d75737420626560448201527f2067726561746572207468616e207a65726f20286c656166290000000000000060648201526084016101d7565b60018d516133459190615a51565b89146133d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603860248201527f4d65726b6c65547269653a2076616c7565206e6f6465206d757374206265206c60448201527f617374206e6f646520696e2070726f6f6620286c65616629000000000000000060648201526084016101d7565b9c506129ed9b505050505050505050505050565b60ff851615806133fa575060ff85166001145b1561343957613426876020015160018151811061341957613419615db6565b6020026020010151613ff3565b9950613432818a615d52565b98506134c1565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4d65726b6c65547269653a2072656365697665642061206e6f6465207769746860448201527f20616e20756e6b6e6f776e20707265666978000000000000000000000000000060648201526084016101d7565b505050505050613554565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f4d65726b6c65547269653a20726563656976656420616e20756e70617273656160448201527f626c65206e6f646500000000000000000000000000000000000000000000000060648201526084016101d7565b508061355f81615d6a565b915050612c19565b506040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f4d65726b6c65547269653a2072616e206f7574206f662070726f6f6620656c6560448201527f6d656e747300000000000000000000000000000000000000000000000000000060648201526084016101d7565b606082471015613682576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f60448201527f722063616c6c000000000000000000000000000000000000000000000000000060648201526084016101d7565b73ffffffffffffffffffffffffffffffffffffffff85163b613700576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000060448201526064016101d7565b6000808673ffffffffffffffffffffffffffffffffffffffff1685876040516137299190615eee565b60006040518083038185875af1925050503d8060008114613766576040519150601f19603f3d011682016040523d82523d6000602084013e61376b565b606091505b509150915061377b828286614121565b979650505050505050565b60008082136137f1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f554e444546494e4544000000000000000000000000000000000000000000000060448201526064016101d7565b600060606137fe84614174565b03609f8181039490941b90931c6c465772b2bbbb5f824b15207a3081018102606090811d6d0388eaa27412d5aca026815d636e018202811d6d0df99ac502031bf953eff472fdcc018202811d6d13cdffb29d51d99322bdff5f2211018202811d6d0a0f742023def783a307a986912e018202811d6d01920d8043ca89b5239253284e42018202811d6c0b7a86d7375468fac667a0a527016c29508e458543d8aa4df2abee7883018302821d6d0139601a2efabe717e604cbb4894018302821d6d02247f7a7b6594320649aa03aba1018302821d7fffffffffffffffffffffffffffffffffffffff73c0c716a594e00d54e3c4cbc9018302821d7ffffffffffffffffffffffffffffffffffffffdc7b88c420e53a9890533129f6f01830290911d7fffffffffffffffffffffffffffffffffffffff465fda27eb4d63ded474e5f832019091027ffffffffffffffff5f6af8f7b3396644f18e157960000000000000000000000000105711340daa0d5f769dba1915cef59f0815a5506027d0267a36c0c95b3975ab3ee5b203a7614a3f75373f047d803ae7b6687f2b393909302929092017d57115e47018c7177eebf7cd370a3356a1b7863008a5ae8028c72b88642840160ae1d92915050565b60007ffffffffffffffffffffffffffffffffffffffffffffffffdb731c958f34d94c182136139fb57506000919050565b680755bf798b4a1bf1e58212613a6d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f4558505f4f564552464c4f57000000000000000000000000000000000000000060448201526064016101d7565b6503782dace9d9604e83901b059150600060606bb17217f7d1cf79abc9e3b39884821b056b80000000000000000000000001901d6bb17217f7d1cf79abc9e3b39881029093037fffffffffffffffffffffffffffffffffffffffdbf3ccf1604d263450f02a550481018102606090811d6d0277594991cfc85f6e2461837cd9018202811d7fffffffffffffffffffffffffffffffffffffe5adedaa1cb095af9e4da10e363c018202811d6db1bbb201f443cf962f1a1d3db4a5018202811d7ffffffffffffffffffffffffffffffffffffd38dc772608b0ae56cce01296c0eb018202811d6e05180bb14799ab47a8a8cb2a527d57016d02d16720577bd19bf614176fe9ea6c10fe68e7fd37d0007b713f765084018402831d9081019084017ffffffffffffffffffffffffffffffffffffffe2c69812cf03b0763fd454a8f7e010290911d6e0587f503bb6ea29d25fcb7401964500190910279d835ebba824c98fb31b83b2ca45c000000000000000000000000010574029d9dc38563c32e5c2f6dc192ee70ef65f9978af30260c3939093039290921c92915050565b805160609060008167ffffffffffffffff811115613c2957613c296152a6565b604051908082528060200260200182016040528015613c6e57816020015b6040805180820190915260608082526020820152815260200190600190039081613c475790505b50905060005b82811015613cf0576040518060400160405280868381518110613c9957613c99615db6565b60200260200101518152602001613cc8878481518110613cbb57613cbb615db6565b602002602001015161424a565b815250828281518110613cdd57613cdd615db6565b6020908102919091010152600101613c74565b509392505050565b80516060906000613d0a826002615ca3565b67ffffffffffffffff811115613d2257613d226152a6565b6040519080825280601f01601f191660200182016040528015613d4c576020820181803683370190505b5090506000805b83811015613e8957858181518110613d6d57613d6d615db6565b6020910101517fff000000000000000000000000000000000000000000000000000000000000008116925060041c7f0ff00000000000000000000000000000000000000000000000000000000000001683613dc9836002615ca3565b81518110613dd957613dd9615db6565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053507f0f00000000000000000000000000000000000000000000000000000000000000821683613e37836002615ca3565b613e42906001615d52565b81518110613e5257613e52615db6565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600101613d53565b5090949350505050565b60606000806000613ea38561425d565b919450925090506000816001811115613ebe57613ebe615f0a565b14613f4b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603960248201527f524c505265616465723a206465636f646564206974656d207479706520666f7260448201527f206279746573206973206e6f7420612064617461206974656d0000000000000060648201526084016101d7565b613f558284615d52565b855114613fe4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603460248201527f524c505265616465723a2062797465732076616c756520636f6e7461696e732060448201527f616e20696e76616c69642072656d61696e64657200000000000000000000000060648201526084016101d7565b612b0085602001518484614cca565b6060602082600001511061400f5761400a82613e93565b611680565b61168082614d6b565b60606116806140378360200151600081518110612f1c57612f1c615db6565b613cf8565b60608251821061405b5750604080516020810190915260008152611680565b6129ed838384865161406d9190615a51565b614d81565b6000806000835185511061408757835161408a565b84515b90505b808210801561411157508382815181106140a9576140a9615db6565b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168583815181106140e8576140e8615db6565b01602001517fff0000000000000000000000000000000000000000000000000000000000000016145b15613cf05781600101915061408d565b606083156141305750816129ed565b8251156141405782518084602001fd5b816040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101d79190615541565b60008082116141df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f554e444546494e4544000000000000000000000000000000000000000000000060448201526064016101d7565b5060016fffffffffffffffffffffffffffffffff821160071b82811c67ffffffffffffffff1060061b1782811c63ffffffff1060051b1782811c61ffff1060041b1782811c60ff10600390811b90911783811c600f1060021b1783811c909110821b1791821c111790565b606061168061425883614f59565b615042565b60008060008084600001511161431b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604a60248201527f524c505265616465723a206c656e677468206f6620616e20524c50206974656d60448201527f206d7573742062652067726561746572207468616e207a65726f20746f20626560648201527f206465636f6461626c6500000000000000000000000000000000000000000000608482015260a4016101d7565b6020840151805160001a607f8111614340576000600160009450945094505050614cc3565b60b7811161454e576000614355608083615a51565b905080876000015111614410576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604e60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e20737472696e67206c656e6774682060648201527f2873686f727420737472696e6729000000000000000000000000000000000000608482015260a4016101d7565b6001838101517fff0000000000000000000000000000000000000000000000000000000000000016908214158061448957507f80000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000821610155b61453b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604d60248201527f524c505265616465723a20696e76616c6964207072656669782c2073696e676c60448201527f652062797465203c203078383020617265206e6f74207072656669786564202860648201527f73686f727420737472696e672900000000000000000000000000000000000000608482015260a4016101d7565b5060019550935060009250614cc3915050565b60bf811161489c57600061456360b783615a51565b90508087600001511161461e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605160248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f74206265203e207468616e206c656e677468206f6620737472696e67206c656e60648201527f67746820286c6f6e6720737472696e6729000000000000000000000000000000608482015260a4016101d7565b60018301517fff000000000000000000000000000000000000000000000000000000000000001660008190036146fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604a60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f74206e6f74206861766520616e79206c656164696e67207a65726f7320286c6f60648201527f6e6720737472696e672900000000000000000000000000000000000000000000608482015260a4016101d7565b600184015160088302610100031c603781116147c0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604860248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e20353520627974657320286c6f6e6760648201527f20737472696e6729000000000000000000000000000000000000000000000000608482015260a4016101d7565b6147ca8184615d52565b89511161487f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604c60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e20746f74616c206c656e677468202860648201527f6c6f6e6720737472696e67290000000000000000000000000000000000000000608482015260a4016101d7565b61488a836001615d52565b9750955060009450614cc39350505050565b60f7811161497d5760006148b160c083615a51565b90508087600001511161496c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604a60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e206c697374206c656e67746820287360648201527f686f7274206c6973742900000000000000000000000000000000000000000000608482015260a4016101d7565b600195509350849250614cc3915050565b600061498a60f783615a51565b905080876000015111614a45576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604d60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f74206265203e207468616e206c656e677468206f66206c697374206c656e677460648201527f6820286c6f6e67206c6973742900000000000000000000000000000000000000608482015260a4016101d7565b60018301517fff00000000000000000000000000000000000000000000000000000000000000166000819003614b23576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604860248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f74206e6f74206861766520616e79206c656164696e67207a65726f7320286c6f60648201527f6e67206c69737429000000000000000000000000000000000000000000000000608482015260a4016101d7565b600184015160088302610100031c60378111614be7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604660248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e20353520627974657320286c6f6e6760648201527f206c697374290000000000000000000000000000000000000000000000000000608482015260a4016101d7565b614bf18184615d52565b895111614ca6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604a60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e20746f74616c206c656e677468202860648201527f6c6f6e67206c6973742900000000000000000000000000000000000000000000608482015260a4016101d7565b614cb1836001615d52565b9750955060019450614cc39350505050565b9193909250565b606060008267ffffffffffffffff811115614ce757614ce76152a6565b6040519080825280601f01601f191660200182016040528015614d11576020820181803683370190505b50905082600003614d235790506129ed565b6000614d2f8587615d52565b90506020820160005b85811015614d50578281015182820152602001614d38565b85811115614d5f576000868301525b50919695505050505050565b6060611680826020015160008460000151614cca565b60608182601f011015614df0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f736c6963655f6f766572666c6f7700000000000000000000000000000000000060448201526064016101d7565b828284011015614e5c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f736c6963655f6f766572666c6f7700000000000000000000000000000000000060448201526064016101d7565b81830184511015614ec9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f736c6963655f6f75744f66426f756e647300000000000000000000000000000060448201526064016101d7565b606082158015614ee85760405191506000825260208201604052614f50565b6040519150601f8416801560200281840101858101878315602002848b0101015b81831015614f21578051835260209283019201614f09565b5050858452601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016604052505b50949350505050565b60408051808201909152600080825260208201526000825111615024576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604a60248201527f524c505265616465723a206c656e677468206f6620616e20524c50206974656d60448201527f206d7573742062652067726561746572207468616e207a65726f20746f20626560648201527f206465636f6461626c6500000000000000000000000000000000000000000000608482015260a4016101d7565b50604080518082019091528151815260209182019181019190915290565b606060008060006150528561425d565b91945092509050600181600181111561506d5761506d615f0a565b146150fa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603860248201527f524c505265616465723a206465636f646564206974656d207479706520666f7260448201527f206c697374206973206e6f742061206c697374206974656d000000000000000060648201526084016101d7565b84516151068385615d52565b14615193576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f524c505265616465723a206c697374206974656d2068617320616e20696e766160448201527f6c696420646174612072656d61696e646572000000000000000000000000000060648201526084016101d7565b6040805160208082526104208201909252600091816020015b60408051808201909152600080825260208201528152602001906001900390816151ac5790505090506000845b875181101561529a5760008061521f6040518060400160405280858d600001516152039190615a51565b8152602001858d602001516152189190615d52565b905261425d565b50915091506040518060400160405280838361523b9190615d52565b8152602001848c602001516152509190615d52565b81525085858151811061526557615265615db6565b602090810291909101015261527b600185615d52565b93506152878183615d52565b6152919084615d52565b925050506151d9565b50815295945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60405160e0810167ffffffffffffffff811182821017156152f8576152f86152a6565b60405290565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff81118282101715615345576153456152a6565b604052919050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461537157600080fd5b919050565b600082601f83011261538757600080fd5b813567ffffffffffffffff8111156153a1576153a16152a6565b6153d260207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f840116016152fe565b8181528460208386010111156153e757600080fd5b816020850160208301376000918101602001919091529392505050565b600060e0828403121561541657600080fd5b61541e6152d5565b9050813581526154306020830161534d565b60208201526154416040830161534d565b6040820152606082013560608201526080820135608082015260a082013560a082015260c082013567ffffffffffffffff81111561547e57600080fd5b61548a84828501615376565b60c08301525092915050565b6000602082840312156154a857600080fd5b813567ffffffffffffffff8111156154bf57600080fd5b61268084828501615404565b60005b838110156154e65781810151838201526020016154ce565b838111156120c55750506000910152565b6000815180845261550f8160208601602086016154cb565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b6020815260006129ed60208301846154f7565b60006020828403121561556657600080fd5b5035919050565b803567ffffffffffffffff8116811461537157600080fd5b60006020828403121561559757600080fd5b6129ed8261556d565b80151581146155ae57600080fd5b50565b600080600080600080600060e0888a0312156155cc57600080fd5b87359650602088013595506155e36040890161534d565b9450606088013593506155f86080890161556d565b925060a0880135615608816155a0565b915060c088013567ffffffffffffffff81111561562457600080fd5b6156308a828b01615376565b91505092959891949750929550565b60006020828403121561565157600080fd5b81356129ed816155a0565b600080600080600085870360e081121561567557600080fd5b863567ffffffffffffffff8082111561568d57600080fd5b6156998a838b01615404565b97506020890135965060807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0840112156156d257600080fd5b60408901955060c08901359250808311156156ec57600080fd5b828901925089601f84011261570057600080fd5b823591508082111561571157600080fd5b508860208260051b840101111561572757600080fd5b959894975092955050506020019190565b8781528660208201528560408201528460608201527fffffffffffffffff0000000000000000000000000000000000000000000000008460c01b16608082015282151560f81b6088820152600082516157988160898501602087016154cb565b9190910160890198975050505050505050565b6000602082840312156157bd57600080fd5b5051919050565b80516fffffffffffffffffffffffffffffffff8116811461537157600080fd5b6000606082840312156157f657600080fd5b6040516060810181811067ffffffffffffffff82111715615819576158196152a6565b6040528251815261582c602084016157c4565b602082015261583d604084016157c4565b60408201529392505050565b60006020828403121561585b57600080fd5b81516129ed816155a0565b600084516158788184602089016154cb565b80830190507f2e0000000000000000000000000000000000000000000000000000000000000080825285516158b4816001850160208a016154cb565b600192019182015283516158cf8160028401602088016154cb565b0160020195945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600067ffffffffffffffff80831681851681830481118215151615615932576159326158dc565b02949350505050565b600067ffffffffffffffff80831681851680830382111561595e5761595e6158dc565b01949350505050565b60006080828403121561597957600080fd5b6040516080810181811067ffffffffffffffff8211171561599c5761599c6152a6565b8060405250823581526020830135602082015260408301356040820152606083013560608201528091505092915050565b600067ffffffffffffffff808411156159e8576159e86152a6565b8360051b60206159f98183016152fe565b868152918501918181019036841115615a1157600080fd5b865b84811015615a4557803586811115615a2b5760008081fd5b615a3736828b01615376565b845250918301918301615a13565b50979650505050505050565b600082821015615a6357615a636158dc565b500390565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600082615aa657615aa6615a68565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f800000000000000000000000000000000000000000000000000000000000000083141615615afa57615afa6158dc565b500590565b6000808312837f800000000000000000000000000000000000000000000000000000000000000001831281151615615b3957615b396158dc565b837f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018313811615615b6d57615b6d6158dc565b50500390565b60007f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600084136000841385830485118282161615615bb457615bb46158dc565b7f80000000000000000000000000000000000000000000000000000000000000006000871286820588128184161615615bef57615bef6158dc565b60008712925087820587128484161615615c0b57615c0b6158dc565b87850587128184161615615c2157615c216158dc565b505050929093029392505050565b6000808212827f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03841381151615615c6957615c696158dc565b827f8000000000000000000000000000000000000000000000000000000000000000038412811615615c9d57615c9d6158dc565b50500190565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615615cdb57615cdb6158dc565b500290565b600082615cef57615cef615a68565b500490565b878152600073ffffffffffffffffffffffffffffffffffffffff80891660208401528088166040840152508560608301528460808301528360a083015260e060c0830152615d4560e08301846154f7565b9998505050505050505050565b60008219821115615d6557615d656158dc565b500190565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203615d9b57615d9b6158dc565b5060010190565b600082615db157615db1615a68565b500690565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b805163ffffffff8116811461537157600080fd5b805160ff8116811461537157600080fd5b600060c08284031215615e1c57600080fd5b60405160c0810181811067ffffffffffffffff82111715615e3f57615e3f6152a6565b604052615e4b83615de5565b8152615e5960208401615df9565b6020820152615e6a60408401615df9565b6040820152615e7b60608401615de5565b6060820152615e8c60808401615de5565b6080820152615e9d60a084016157c4565b60a08201529392505050565b600060ff831680615ebc57615ebc615a68565b8060ff84160691505092915050565b600060ff821660ff841680821015615ee557615ee56158dc565b90039392505050565b60008251615f008184602087016154cb565b9190910192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fdfea164736f6c634300080f000a00000000000000000000000031d543e7be1da6efdc2206ef7822879045b9f4810000000000000000000000002f44bd2a54ac3fb20cd7783cf94334069641dac90000000000000000000000000000000000000000000000000000000000000001000000000000000000000000427ea0710fa5252057f0d88274f7aeb308386caf0000000000000000000000003c3a81e81dc49a522a592e7622a7e711c06bf354