RewardsSubmissionTH | Optimism

codeslaw

RewardsSubmissionTHSolidityv0.8.29+commit.ab55807c

network

Optimism

address0x55027c0310c15cc5e52d72bc5f4ed5bdb65cc7af

deployer0xe03B4133fFf5d4023ec125c11167E1ba8d7419DE

tx last 12 months

0 txs

calls last 12 months

1 call

19 Files

lib

openzeppelin

contracts

utils

Arrays.sol

Comparators.sol

Panic.sol

SlotDerivation.sol

StorageSlot.sol

cryptography

Hashes.sol

math

Math.sol

SafeCast.sol

structs

EnumerableSet.sol

src

access

AccessControl.sol

Ownable.sol

brevis

BrevisProofApp.sol

IBrevisProof.sol

lib

EnumerableMap.sol

rewards

RewardsStorage.sol

cross-chain

RewardsMerkle.sol

message

MessageSenderApp.sol

token-holding

RewardsSubmissionTH.sol

RewardsUpdateTH.sol

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

abi

constructor

No constructor.

functions

brevisProof

view

function brevisProof() view returns (address)

config

view

function config() view returns (address creator, uint64 startTime, uint32 duration, address erc20)

currEpoch

view

function currEpoch() view returns (uint64)

dataChainId

view

function dataChainId() view returns (uint64)

getMerkleProof

view

function getMerkleProof(uint64 epoch, address user) view returns (uint256[] rewardAmounts, bytes32[] proof)

getRewardAmount

view

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

getRewardsLength

view

function getRewardsLength() view returns (uint64)

getRoleAccounts

view

function getRoleAccounts(bytes32 role) view returns (address[] accounts)

getTokens

view

function getTokens() view returns (address[])

hasRole

view

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

messageBus

view

function messageBus() view returns (address)

numRoleAccounts

view

function numRoleAccounts(bytes32 role) view returns (uint256)

owner

view

function owner() view returns (address)

REWARD_UPDATER_ROLE

view

function REWARD_UPDATER_ROLE() view returns (bytes32)

roleAccounts

view

function roleAccounts(bytes32 role, uint256) view returns (address accounts)

roles

view

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

state

view

function state() view returns (uint8)

tokenCumulativeRewards

view

function tokenCumulativeRewards(address) view returns (uint256)

tokens

view

function tokens(uint256) view returns (address)

topRoot

view

function topRoot() view returns (bytes32)

viewTotalRewards

view

function viewTotalRewards(address user) view returns (tuple[])

vkMap

view

function vkMap(uint8) view returns (bytes32)

genAndSendTopRoot

payable

function genAndSendTopRoot(address _receiver, uint64 _dstChainId) payable

genSubRoot

nonpayable

function genSubRoot(uint64 epoch, uint256 nLeaves)

genTopRoot

nonpayable

function genTopRoot(uint64 epoch)

grantRole

nonpayable

function grantRole(bytes32 role, address account)

grantRoles

nonpayable

function grantRoles(bytes32 role, address[] accounts)

init

nonpayable

function init(tuple cfg, address brv, address owner, bytes32[] vks, uint64 dataChainId, address rewardUpdater)

renounceRole

nonpayable

function renounceRole(bytes32 role)

revokeRole

nonpayable

function revokeRole(bytes32 role, address account)

revokeRoles

nonpayable

function revokeRoles(bytes32 role, address[] accounts)

sendTopRoot

payable

function sendTopRoot(address _receiver, uint64 _dstChainId) payable

setMessageBus

nonpayable

function setMessageBus(address _messageBus)

setVk

nonpayable

function setVk(uint8 appId, bytes32 _vk)

startEpoch

nonpayable

function startEpoch(uint64 epoch)

startSubRootGen

nonpayable

function startSubRootGen(uint64 epoch)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

updateRewards

nonpayable

function updateRewards(bytes proof, bytes appOutput, uint32 batchIndex, uint256 maxNumToProcess)

events

AllSubRootsGenerated

event AllSubRootsGenerated(uint64 indexed epoch)

MessageBusUpdated

event MessageBusUpdated(address messageBus)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

ProofProcessed

event ProofProcessed(bytes32 indexed proofId, uint32 indexed epoch, uint32 indexed batchIndex)

ProofSegmentProcessed

event ProofSegmentProcessed(bytes32 indexed proofId, uint32 indexed epoch, uint32 indexed batchIndex, uint256 startEarnerIndex, uint256 endEarnerIndex)

RewardsAdded

event RewardsAdded(uint8 indexed appId, uint32 indexed epoch, address indexed user, uint256[] newRewards)

RoleGranted

event RoleGranted(bytes32 role, address account)

RoleRevoked

event RoleRevoked(bytes32 role, address account)

SubRootGenerated

event SubRootGenerated(uint64 indexed epoch, uint256 indexed subRootIndex, bytes32 subRoot)

SubRootLeafProcessed

event SubRootLeafProcessed(uint64 indexed epoch, uint256 indexed subRootIndex, uint256 indexed leafIndex, address user, uint256[] cumulativeRewards, bytes32 leafHash)

TopRootGenerated

event TopRootGenerated(uint64 indexed epoch, bytes32 topRoot)

TopRootSent

event TopRootSent(uint64 indexed epoch, bytes32 topRoot, address receiver, uint64 dstChainId)

VkUpdated

event VkUpdated(uint8 appId, bytes32 vk)

errors

No errors.

bytecode

creation bytecode

0x6080806040523460575760018054336001600160a01b0319821681179092556001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e05f80a3613d6c908161005c8239f35b5f80fdfe60c06040526004361015610011575f80fd5b5f5f3560e01c80630a4b0814146122035780630ec693ea146121b45780630f6d1eb414611dab578063196f0f6214611d385780631a69d9c814611cfd5780631b4fc38b14611cdf5780632f2ff15d14611c97578063373db22914611c755780633abbf2da146117a55780633f823bfa146115dc5780634c6f94e5146115aa5780634f64b2be1461155a578063547cad121461145f5780635d129d191461137057806379502c551461130257806379b2d49e146112dc578063803c3c2c146110e9578063856b2726146110ab5780638879315d146110805780638bb9c5bf146110625780638da5cb5b1461102e57806391d1485414610ffd578063984ba1db14610f7a578063a1a227fa14610f46578063a1b5ff0814610f1c578063a2c9514114610ea7578063aa6ca80814610e1c578063c19d93fb14610dc0578063c7f5aaa014610d8d578063cba29880146104dd578063d13bc78f146104b5578063d4f3c7cc14610470578063d547741f14610428578063d7da1dee14610400578063deb9a3a214610389578063e1ed0a82146102ff578063f2fde38b146102165763f8fc08b9146101bc575f80fd5b346102135760406003193601126102135773ffffffffffffffffffffffffffffffffffffffff60406101ec612ca6565b92600435815260026020522091165f52602052602060ff60405f2054166040519015158152f35b80fd5b503461021357602060031936011261021357610230612cc9565b61025373ffffffffffffffffffffffffffffffffffffffff60015416331461307c565b73ffffffffffffffffffffffffffffffffffffffff81161561027b5761027890613bfb565b80f35b60846040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152fd5b5034610213576020600319360112610213576004358152600360205260408120604051918260208354918281520192825260208220915b81811061035d576103598561034d81870382612c4d565b60405191829182612dd1565b0390f35b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610336565b50346102135761039836612cec565b6103be73ffffffffffffffffffffffffffffffffffffffff60019493945416331461307c565b815b81518110156103fc57806103f673ffffffffffffffffffffffffffffffffffffffff6103ee60019486613068565b51168661392e565b016103c0565b8280f35b5034610213578060031936011261021357602067ffffffffffffffff60075416604051908152f35b503461021357604060031936011261021357610278610445612ca6565b61046873ffffffffffffffffffffffffffffffffffffffff60015416331461307c565b600435613647565b503461021357602060031936011261021357604060209173ffffffffffffffffffffffffffffffffffffffff6104a4612cc9565b168152600583522054604051908152f35b5034610213578060031936011261021357602067ffffffffffffffff600e5416604051908152f35b50346102135760c06003193601126102135760043567ffffffffffffffff8111610d8957806004019060a06003198236030112610d85576024359073ffffffffffffffffffffffffffffffffffffffff8216809203610d81576044359273ffffffffffffffffffffffffffffffffffffffff84168403610d7d576064359267ffffffffffffffff8411610d795736602385011215610d795783600401359367ffffffffffffffff8511610d75573660248660051b83010111610d75576084359067ffffffffffffffff8216809203610d715760a4359273ffffffffffffffffffffffffffffffffffffffff841697888503610d6d5773ffffffffffffffffffffffffffffffffffffffff60015416610d0f576105f890613bfb565b7fffffffffffffffffffffffff000000000000000000000000000000000000000089541617885573ffffffffffffffffffffffffffffffffffffffff61063d85613b86565b167fffffffffffffffffffffffff0000000000000000000000000000000000000000600b541617600b55602485013567ffffffffffffffff81168103610d0b57600b54604487013563ffffffff81168103610d07577bffffffffffffffff00000000000000000000000000000000000000007fffffffff0000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff9260e01b169360a01b1691161717600b5560648501946107058686613ba7565b90680100000000000000008211610cda57600c5482600c55808310610c27575b50600c8b528a907fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7905b838310610bc5575050505061077b608473ffffffffffffffffffffffffffffffffffffffff9201613b86565b167fffffffffffffffffffffffff0000000000000000000000000000000000000000600d541617600d556107af8585613ba7565b9690507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe06107f56107df89612c8e565b986107ed6040519a8b612c4d565b808a52612c8e565b01366020890137885b6108088787613ba7565b90508110156108895761081b8787613ba7565b82101561085c57906108336001928260061b01613b86565b73ffffffffffffffffffffffffffffffffffffffff610852838c613068565b91169052016107fe565b60248b7f4e487b710000000000000000000000000000000000000000000000000000000081526032600452fd5b50918691899389855b85518110156109795773ffffffffffffffffffffffffffffffffffffffff6108ba8288613068565b51166004546801000000000000000081101561094c57906108e682600161091294016004556004612bee565b90919073ffffffffffffffffffffffffffffffffffffffff8084549260031b9316831b921b1916179055565b6001810180911115610892575b6024877f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b6024897f4e487b710000000000000000000000000000000000000000000000000000000081526041600452fd5b5085945086855b60ff8116848110156109f55760010160ff81116109c8579060ff809216885260066020526024611fe08260051b168701013560408920551660ff811461091f57600101610980565b6024887f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b878484897fffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000600e541617600e55610a4573ffffffffffffffffffffffffffffffffffffffff60015416331461307c565b7f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae8352600260205260408320825f5260205260ff60405f205416610b67577f2ae6a113c0ed5b78a53413ffbb7679881f11145ccfba4fb92e863dfcd5a1d2f391610adb6040927f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae86526003602052838620613904565b7f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae84526002602052818420815f52602052815f2060017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008254161790558151907f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae82526020820152a180f35b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f616c72656164792068617320726f6c65000000000000000000000000000000006044820152fd5b600260408273ffffffffffffffffffffffffffffffffffffffff610bea600195613b86565b167fffffffffffffffffffffffff00000000000000000000000000000000000000008654161785556020810135848601550192019201919061074f565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81168103610cad577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83168303610cad57600c8c5260208c209060011b8101908360011b015b818110610c9b5750610725565b808d600292558d600182015501610c8e565b60248c7f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b60248b7f4e487b710000000000000000000000000000000000000000000000000000000081526041600452fd5b8a80fd5b8880fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f6f776e657220616c7265616479207365740000000000000000000000000000006044820152fd5b8980fd5b8780fd5b8680fd5b8580fd5b8480fd5b8380fd5b8280fd5b5080fd5b503461021357806003193601126102135773ffffffffffffffffffffffffffffffffffffffff6020915416604051908152f35b503461021357806003193601126102135760ff60105460a01c16604051906004811015610def57602092508152f35b6024837f4e487b710000000000000000000000000000000000000000000000000000000081526021600452fd5b503461021357806003193601126102135760405180916020600454928381520191600482527f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b915b818110610e7b576103598561034d81870382612c4d565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610e64565b503461021357604060031936011261021357610ec1612cc9565b73ffffffffffffffffffffffffffffffffffffffff610f06610ee1612ca6565b9273ffffffffffffffffffffffffffffffffffffffff165f52600960205260405f2090565b91165f52602052602060405f2054604051908152f35b50346102135760206003193601126102135760406020916004358152600383522054604051908152f35b5034610213578060031936011261021357602073ffffffffffffffffffffffffffffffffffffffff60105416604051908152f35b5034610213576040600319360112610213577fe4d02ba66d7a5fdd3d11acbb33a5d51c2bda01ff709ec20c1dd337607dc9eed76040610fb7612dc1565b60ff60243591610fe073ffffffffffffffffffffffffffffffffffffffff60015416331461307c565b16908185526006602052808386205582519182526020820152a180f35b50346102135760406003193601126102135773ffffffffffffffffffffffffffffffffffffffff60406101ec612ca6565b5034610213578060031936011261021357602073ffffffffffffffffffffffffffffffffffffffff60015416604051908152f35b50346102135760206003193601126102135761027833600435613647565b5034610213578060031936011261021357602067ffffffffffffffff60105460a81c16604051908152f35b506040600319360112610213576102786110c3612cc9565b6110cb612c1a565b906110e467ffffffffffffffff60105460a81c166130e1565b613221565b503461021357602060031936011261021357611103612c03565b7f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae825260026020526040822073ffffffffffffffffffffffffffffffffffffffff33165f5260205261115b60ff60405f205416612e20565b6010549060ff8260a01c1660048110156112af577fffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffff916111b97cffffffffffffffff0000000000000000000000000000000000000000009215612eb7565b6111db67ffffffffffffffff8560a81c1667ffffffffffffffff831611612f1c565b60a81b16911617601055740100000000000000000000000000000000000000007fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff6010541617601055601154815b81811061123857828060115580f35b601154811015611282577f31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c68810154600384901b1c8352601260205260408320839055600101611229565b6024837f4e487b710000000000000000000000000000000000000000000000000000000081526032600452fd5b6024847f4e487b710000000000000000000000000000000000000000000000000000000081526021600452fd5b506040600319360112610213576102786112f4612cc9565b6112fc612c1a565b90613221565b50346102135780600319360112610213576080600b5473ffffffffffffffffffffffffffffffffffffffff600d54166040519173ffffffffffffffffffffffffffffffffffffffff8116835267ffffffffffffffff8160a01c16602084015260e01c60408301526060820152f35b50346102135760206003193601126102135761138a612c03565b7f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae825260026020526040822073ffffffffffffffffffffffffffffffffffffffff33165f526020526113e260ff60405f205416612e20565b6010549060ff8260a01c1660048110156112af5767ffffffffffffffff61141d93926114116001839414612eb7565b169160a81c1614612f1c565b740200000000000000000000000000000000000000007fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff601054161760105580f35b50346102135760206003193601126102135773ffffffffffffffffffffffffffffffffffffffff61148e612cc9565b61149d8260015416331461307c565b1680156114fc576020817f3f8223bcd8b3b875473e9f9e14e1ad075451a2b5ffd31591655da9a01516bf5e927fffffffffffffffffffffffff00000000000000000000000000000000000000006010541617601055604051908152a180f35b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f696e76616c6964206d65737361676520627573000000000000000000000000006044820152fd5b5034610213576020600319360112610213576004359060045482101561021357602073ffffffffffffffffffffffffffffffffffffffff61159a84612bbe565b90549060031b1c16604051908152f35b503461021357602060031936011261021357604060209160ff6115cb612dc1565b168152600683522054604051908152f35b5034610213576020600319360112610213576115f6612cc9565b60045461160281612c8e565b916116106040519384612c4d565b8183527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe061163d83612c8e565b01845b818110611782575050835b8281106116ba578385604051918291602083016020845282518091526020604085019301915b81811061167f575050500390f35b8251805173ffffffffffffffffffffffffffffffffffffffff1685526020908101518186015286955060409094019390920191600101611671565b8073ffffffffffffffffffffffffffffffffffffffff6116db600193612bbe565b90549060031b1c1673ffffffffffffffffffffffffffffffffffffffff61170183612bbe565b90549060031b1c1673ffffffffffffffffffffffffffffffffffffffff6117468673ffffffffffffffffffffffffffffffffffffffff165f52600960205260405f2090565b91165f5260205260405f20546040519161175f83612c31565b825260208201526117708287613068565b5261177b8186613068565b500161164b565b60209060405161179181612c31565b878152878382015282828801015201611640565b5034610213576040600319360112610213576117bf612c03565b906117c8612ca6565b9160105460ff8160a01c1660048110156112af5767ffffffffffffffff61180193926117f5829315612eb7565b60a81c16911614612f1c565b604051808160206004549283815201600485527f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b92855b818110611c4657505061184d92500382612c4d565b6118758373ffffffffffffffffffffffffffffffffffffffff165f52600960205260405f2090565b61187f8251612f81565b91835b81518110156118cd578073ffffffffffffffffffffffffffffffffffffffff806118ae60019486613068565b5116165f528360205260405f20546118c68287613068565b5201611882565b83858373ffffffffffffffffffffffffffffffffffffffff8916825260086020526040822054905f198201918211611c195782601154945f1986019580871195865b611bec5787811080611bd3575b156119315761192b8791613213565b9061190f565b949585611b855783975b600754906119498a83612e9d565b92611b58579061196192918810611b2e575b50612f81565b94835b86518110156119de57806119ca61199e611989896119846001968f612eaa565b6134a6565b6040939193519283918c602084019687612fd0565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282612c4d565b5190206119d7828a613068565b5201611964565b506119f3866119ed8a8a612e9d565b90613a21565b91604051906020828281520190601187527f31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6890875b818110611b185750505090611a4381611a4894930382612c4d565b613a21565b92611a5e611a598351865190612eaa565b612f81565b93815b8351811015611a895780611a7760019286613068565b51611a828289613068565b5201611a61565b509092835b8251811015611ac05780611aa460019285613068565b51611ab9611ab3838851612eaa565b89613068565b5201611a8e565b50611adb908585604051938493604085526040850190612d8e565b8381036020850152602080845192838152019301915b818110611aff575050500390f35b8251845285945060209384019390920191600101611af1565b8254845260209093019260019283019201611a28565b90611b4c611b5292611b3f8a612bd6565b90549060031b1c90612e9d565b90612e9d565b8961195b565b6024867f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b5f198601868111611ba657611b9990612bd6565b90549060031b1c9761193b565b6024857f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b50611bdd81612bd6565b90549060031b1c86101561191c565b6024847f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b6024837f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b845473ffffffffffffffffffffffffffffffffffffffff16835260019485019486945060209093019201611838565b503461021357602060031936011261021357610278611c92612c03565b6130e1565b503461021357604060031936011261021357610278611cb4612ca6565b611cd773ffffffffffffffffffffffffffffffffffffffff60015416331461307c565b60043561392e565b50346102135780600319360112610213576020601454604051908152f35b503461021357806003193601126102135760206040517f82531167a8e1b9df58acc5f105c04f72009b9ff406bf7d722b527a2f45d626ae8152f35b503461021357611d4736612cec565b611d6d73ffffffffffffffffffffffffffffffffffffffff60019493945416331461307c565b815b81518110156103fc5780611da573ffffffffffffffffffffffffffffffffffffffff611d9d60019486613068565b511686613647565b01611d6f565b503461021357604060031936011261021357611dc5612c03565b6024356010549160ff8360a01c1660048110156121875767ffffffffffffffff611e0392611df66002839414612eb7565b169360a81c168314612f1c565b6401000000008111612129576011548390806121065760135485601355806120a6575b505b611e3482600754612e9d565b9081841161209d575b84611e4785612f81565b60405180602060045491828152019060048b527f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b908b5b81811061206e5750505081611e94910382612c4d565b885b8487898310611fc757505050506020611ecf7fa798d21d4735fa640961e41c1c64c71ac1a880bed56cc8f53dd2e4fa0cd51f4d92613540565b611ed881613ce1565b50604051908152a38203611f4e575050740300000000000000000000000000000000000000007fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff60105416176010557fb95c96f28d7bc16885c1b6299dcc3816b715899206a2e0939cce4c4c9bb2d5678280a280f35b611f589250612eaa565b60135468010000000000000000811015611f9a57611f7f816001611f959301601355612bd6565b81939154905f199060031b92831b921b19161790565b905580f35b6024837f4e487b710000000000000000000000000000000000000000000000000000000081526041600452fd5b908394957fa25bb94fe19854415fd2a0f8e4fd236394453509acacc698f2062e624dd15dcf73ffffffffffffffffffffffffffffffffffffffff61205b8661201660019961198483809a612eaa565b8c6120408d6040969496516120358161199e8760208301958c87612fd0565b519020948592613068565b52604051948594168452606060208501526060840190612d8e565b9060408301520390a40190879291611e96565b825473ffffffffffffffffffffffffffffffffffffffff1684528b965060209093019260019283019201611e7e565b92508092611e3d565b601386527f66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a090017f66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a0905b8181106120fb5750611e26565b8681556001016120ee565b90505f198101818111611ba65761211c90612bd6565b90549060031b1c90611e28565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f746f6f206d616e79206c656176657300000000000000000000000000000000006044820152fd5b6024857f4e487b710000000000000000000000000000000000000000000000000000000081526021600452fd5b50346102135760406003193601126102135760243590600435815260036020526040812090815483101561021357602073ffffffffffffffffffffffffffffffffffffffff61159a8585612bee565b34612a27576080600319360112612a275760043567ffffffffffffffff8111612a2757612234903690600401612b90565b60243567ffffffffffffffff8111612a2757612254903690600401612b90565b6044359363ffffffff8516809503612a2757335f9081527f6e98191722f81699a429bb9aa1a53636666af1e598e3b4f3cab766e184f452fd602052604090205460643594906122a59060ff16612e20565b8215612b6357833560f81c9160608267ffffffffffffffff600e5416855f52600660205260405f2054935f606473ffffffffffffffffffffffffffffffffffffffff825416937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f6040519a8b98899788957fe04409530000000000000000000000000000000000000000000000000000000087526004870152604060248701528160448701528686013785858286010152011681010301925af18015612b58575f6080525f925f91612b14575b5003612ab65767ffffffffffffffff8311612a89576040516123be60207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8701160182612c4d565b83815260208101903685870111612a2757848683375f6020868301015251902003612a2b576080515f52600a60205260405f20549180600511612a2757600184013560e01c60a0527ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0192612431613469565b80156129fa578404946124448487612e9d565b8180821091180280821461299c5761245d911884612eaa565b5f1981019081116125be5780945f936004549361247985612f81565b93825f52600f60205260405f2063ffffffff60a051165f5260205273ffffffffffffffffffffffffffffffffffffffff60405f20541693885b82811115612680575b505050505f52600f60205260405f2063ffffffff60a051165f5260205273ffffffffffffffffffffffffffffffffffffffff60405f2091167fffffffffffffffffffffffff00000000000000000000000000000000000000008254161790555f5b8281106125fe575050506125eb575b60018201908183116125be5784916080515f52600a60205260405f205560405190815282602082015260a051907faa2e99aa1426572c50138d9cb252ab086ac0cf2ed651a30b81fdcdd7d91fb33e604060805192a45f1982019182116125be571461259257005b60a0516080517f90130bf22f1bea2132db4202b9b0ae35e2fc55b2439f38d0b50d65dc31bbb8485f80a4005b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b90505f1982018281116125be579061252b565b6126088183613068565b5173ffffffffffffffffffffffffffffffffffffffff61262783612bbe565b90549060031b1c165f52600560205261264560405f20918254612eaa565b9055600181018091111561251c577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b612688613469565b95818702968088048314901517156125be576014870187116125be576126b660148801888560058901612e85565b90357fffffffffffffffffffffffffffffffffffffffff00000000000000000000000081169160148110612967575b505060601c9081156129525773ffffffffffffffffffffffffffffffffffffffff82911610156128f457809661271a8a612f81565b905f5b8b81106127745750509061276f9291877fa1c1d72e52ad78c09577d70a91c799cef71f83af3699214c4d1f323a611aa8ab604051602081528061276760a051956020830190612d8e565b0390a4613213565b6124b2565b6014820182116125be577f0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811681036125be576127b78160041b60148401612eaa565b9060108201918281116125be576001926127d5918960058d01612e85565b90357fffffffffffffffffffffffffffffffff00000000000000000000000000000000811691601081106128bf575b505060801c73ffffffffffffffffffffffffffffffffffffffff61282783612bbe565b90549060031b1c1673ffffffffffffffffffffffffffffffffffffffff61286c8873ffffffffffffffffffffffffffffffffffffffff165f52600960205260405f2090565b91165f5260205260405f20612882828254612eaa565b905561288d86613c87565b508c6128ad836128a7846128a18386613068565b51612eaa565b92613068565b526128b88286613068565b520161271d565b7fffffffffffffffffffffffffffffffff000000000000000000000000000000009250829060100360031b1b16165f80612804565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f6561726e657220616464726573736573206e6f7420736f7274656400000000006044820152fd5b965050505050509350600193898080806124bb565b7fffffffffffffffffffffffffffffffffffffffff0000000000000000000000009250829060140360031b1b16168f806126e5565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f6e6f206561726e65727320746f2070726f6365737300000000000000000000006044820152fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f80fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f696e76616c69642063697263756974206f7574707574000000000000000000006044820152fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f766b48617368206d69736d6174636800000000000000000000000000000000006044820152fd5b9250506060823d606011612b50575b81612b3060609383612c4d565b81010312612a275781519160406020820151910151926080529188612374565b3d9150612b23565b6040513d5f823e3d90fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b9181601f84011215612a275782359167ffffffffffffffff8311612a275760208381860195010111612a2757565b600454811015612b635760045f5260205f2001905f90565b601354811015612b635760135f5260205f2001905f90565b8054821015612b63575f5260205f2001905f90565b6004359067ffffffffffffffff82168203612a2757565b6024359067ffffffffffffffff82168203612a2757565b6040810190811067ffffffffffffffff821117612a8957604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff821117612a8957604052565b67ffffffffffffffff8111612a895760051b60200190565b6024359073ffffffffffffffffffffffffffffffffffffffff82168203612a2757565b6004359073ffffffffffffffffffffffffffffffffffffffff82168203612a2757565b906040600319830112612a2757600435916024359067ffffffffffffffff8211612a275780602383011215612a2757816004013590612d2a82612c8e565b92612d386040519485612c4d565b8284526024602085019360051b820101918211612a2757602401915b818310612d615750505090565b823573ffffffffffffffffffffffffffffffffffffffff81168103612a2757815260209283019201612d54565b90602080835192838152019201905f5b818110612dab5750505090565b8251845260209384019390920191600101612d9e565b6004359060ff82168203612a2757565b60206040818301928281528451809452019201905f5b818110612df45750505090565b825173ffffffffffffffffffffffffffffffffffffffff16845260209384019390920191600101612de7565b15612e2757565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f756e617574686f72697a656420726f6c650000000000000000000000000000006044820152fd5b90939293848311612a27578411612a27578101920390565b919082039182116125be57565b919082018092116125be57565b15612ebe57565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f696e76616c6964207374617465000000000000000000000000000000000000006044820152fd5b15612f2357565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f696e76616c69642065706f6368000000000000000000000000000000000000006044820152fd5b90612f8b82612c8e565b612f986040519182612c4d565b8281527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0612fc68294612c8e565b0190602036910137565b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000060149260601b1681520160208251919201905f5b81811061303c5750505060208251919201905f5b8181106130265750505090565b8251845260209384019390920191600101613019565b825173ffffffffffffffffffffffffffffffffffffffff16845260209384019390920191600101613005565b8051821015612b635760209160051b010190565b1561308357565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b6010549060ff8260a01c169160048310156131e65767ffffffffffffffff80916117f560036131109614612eb7565b60405180602060115491828152019060115f527f31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c68905f5b8181106131d0575050509061316181613166930382612c4d565b613540565b6014557fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff6010541660105567ffffffffffffffff60105460a81c167f149bb8e98c16d440ac1f1a03a4d3c2d93d9011a48aba5ab0e47386c72c6cd4f86020601454604051908152a2565b8254845260209093019260019283019201613147565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b5f1981146125be5760010190565b906010549073ffffffffffffffffffffffffffffffffffffffff8216801561340b5760ff8360a01c1660048110156131e65761325d9015612eb7565b6014549384156133ad576040519467ffffffffffffffff602087019560a81c168552604086015260408552613293606086612c4d565b813b15612a27575f9173ffffffffffffffffffffffffffffffffffffffff608467ffffffffffffffff937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f604051998a97889687957f9f3ce55a000000000000000000000000000000000000000000000000000000008752169a8b6004870152169b8c6024860152606060448601525180918160648701528686015e888582860101520116810103019134905af1908115612b58577f5e75c954485522570d62fa9a8bf6ed6e90b5f600bb37b2467baa36d0661626fb9260609261339d575b5067ffffffffffffffff60105460a81c16936014549160405192835260208301526040820152a2565b5f6133a791612c4d565b5f613374565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f746f7020726f6f74206e6f742067656e657261746564000000000000000000006044820152fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f6d65737361676520627573206e6f7420736574000000000000000000000000006044820152fd5b6004547f0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811681036125be5760041b601401806014116125be5790565b6134c973ffffffffffffffffffffffffffffffffffffffff919392936007612bee565b90549060031b1c1690815f52600960205260405f206134e88451612f81565b915f5b8551811015613536578073ffffffffffffffffffffffffffffffffffffffff806135176001948a613068565b5116165f528360205260405f205461352f8287613068565b52016134eb565b5092919350509190565b90815115613642575b8151600181111561363257600181018091116125be5761356b9060011c612f81565b905f5b83515f1981019081116125be578110156135f45761358c8185613068565b5160018201908183116125be576135a66135ad9287613068565b5190613c66565b6135ba8260011c85613068565b52600281018091111561356e577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b909280515f1981019081116125be578214613612575b505090613549565b61361f8261362a92613068565b519160011c83613068565b525f8061360a565b5090805115612b63576020015190565b5f9150565b90815f52600260205260405f2073ffffffffffffffffffffffffffffffffffffffff82165f5260205260ff60405f205416156138a657815f52600360205260405f20908154925f1984019384116125be575f5b83548110156138485773ffffffffffffffffffffffffffffffffffffffff6136c28286612bee565b90549060031b1c1673ffffffffffffffffffffffffffffffffffffffff8416146136ee5760010161369a565b848195929394951061380d575b505082549283156137e0575f197f155aaafb6329a2098580462df33ec4b7441b19729b9601c5fc17ae1cf99a8a529401906137368282612bee565b73ffffffffffffffffffffffffffffffffffffffff82549160031b1b1916905555805f52600260205260405f2073ffffffffffffffffffffffffffffffffffffffff83165f5260205260405f207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0081541690556137db6040519283928390929173ffffffffffffffffffffffffffffffffffffffff6020916040840195845216910152565b0390a1565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b6108e673ffffffffffffffffffffffffffffffffffffffff6138326138419488612bee565b90549060031b1c169186612bee565b5f806136fb565b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f726f6c65206163636f756e74206e6f7420666f756e64000000000000000000006044820152fd5b60646040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6e6f742068617320726f6c6500000000000000000000000000000000000000006044820152fd5b9081549168010000000000000000831015612a8957826108e691600161392c95018155612bee565b565b90815f52600260205260405f2073ffffffffffffffffffffffffffffffffffffffff82165f5260205260ff60405f205416610b6757817f2ae6a113c0ed5b78a53413ffbb7679881f11145ccfba4fb92e863dfcd5a1d2f3925f52600360205261399a8260405f20613904565b805f52600260205260405f2073ffffffffffffffffffffffffffffffffffffffff83165f5260205260405f2060017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008254161790556137db6040519283928390929173ffffffffffffffffffffffffffffffffffffffff6020916040840195845216910152565b9161042060405190613a338183612c4d565b6020825250610400366020830137805f935b85516001811115613b7b57600116158015613b66575b613b3d575b60011c908551600181018091116125be57613a7d9060011c612f81565b945f5b87515f1981019081116125be57811015613aff57613a9e8189613068565b5160018201908183116125be576135a6613ab8928b613068565b613ac58260011c89613068565b526002810180911115613a80577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b909396959194929580515f1981019081116125be578214613b28575b5050949193929092613a45565b61361f82613b3592613068565b525f80613b1b565b93613b6090613b4f6001871888613068565b51613b5a8285613068565b52613213565b93613a60565b5085515f1981019081116125be578110613a5b565b505090935091909152565b3573ffffffffffffffffffffffffffffffffffffffff81168103612a275790565b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe181360301821215612a27570180359067ffffffffffffffff8211612a2757602001918160061b36038313612a2757565b73ffffffffffffffffffffffffffffffffffffffff80600154921691827fffffffffffffffffffffffff0000000000000000000000000000000000000000821617600155167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e05f80a3565b81811015613c7a575f5260205260405f2090565b905f5260205260405f2090565b805f52600860205260405f2054155f14613cdc5760075468010000000000000000811015612a8957613cc5611f7f8260018594016007556007612bee565b9055600754905f52600860205260405f2055600190565b505f90565b805f52601260205260405f2054155f14613cdc5760115468010000000000000000811015612a8957613d1f611f7f8260018594016011556011612bee565b9055601154905f52601260205260405f205560019056fea2646970667358221220532fe07f9d8cf042f2bfb0a8d2873e2d366050865e1ca1e1614d129896a9704b64736f6c634300081d0033