0xAaa9CB9f0afCc60d8fb21F82D5D47c4557924115

on Celo Mainnet (42220)

Match

Runtime Bytecode

Creation Bytecode

Unverified Libraries

Warning: This contract is only matched with runtime bytecode. The constructor may be different from the original one, which could affect the contract's functionality.

Contract Name: Election
Compilation Target: /home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
Language: Solidity
Compiler: solc 0.5.13+commit.5b0b510c
EVM Version: istanbul
Verified At: 2024-08-08 14:10:03 UTC
Deployer: 0xE1207B3e21B6f02331cB71a62167bc27Ea0408Ee
Deployment Transaction: 0x6b57ea611170007ad1f0dd7cbc97859cd139adaadf28de1b2cda3080e5e086e7
Block Number: 11711016
Transaction Index: 0

ABI

Expand to view

Source Code

View on Remix IDE

openzeppelin-solidity/contracts/math/Math.sol
openzeppelin-solidity/contracts/GSN/Context.sol
openzeppelin-solidity/contracts/math/SafeMath.sol
openzeppelin-solidity/contracts/ownership/Ownable.sol
openzeppelin-solidity/contracts/token/ERC20/IERC20.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/CalledByVm.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/FixidityLib.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/Initializable.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/UsingRegistry.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/libraries/Heap.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/UsingPrecompiles.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/interfaces/IFreezer.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/interfaces/IAccounts.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/interfaces/IRegistry.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/identity/interfaces/IRandom.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/linkedlists/LinkedList.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/stability/interfaces/IReserve.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/stability/interfaces/IExchange.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/interfaces/IElection.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/libraries/ReentrancyGuard.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/interfaces/IGovernance.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/interfaces/ILockedGold.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/interfaces/IValidators.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/identity/interfaces/IAttestations.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/stability/interfaces/IStableToken.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/linkedlists/SortedLinkedList.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/stability/interfaces/ISortedOracles.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/interfaces/IFeeCurrencyWhitelist.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/interfaces/ICeloVersionedContract.sol
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/linkedlists/AddressSortedLinkedList.sol

Compiler Settings

Libraries

This contract uses unverified libraries. Libraries can contain arbitrary code and should be verified before interacting with the contract.

Manually Linked Libraries

These libraries are linked manually on the bytecode after the compilation and not by the compiler. See Solidity docs

Name	Address
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/linkedlists/AddressSortedLinkedList.sol:AddressSortedLinkedList	0x4819ad0a0eb1304b1d7bc3afd7818017b52a87ab

Contract Metadata

Contract couldn't be verified with the creation bytecode but with the runtime bytecode. Below is what was found at the time of verification.

Creation Bytecode

On-chain Bytecode

Recompiled Bytecode

0x60806040523480156200001157600080fd5b506040516200a4a83803806200a4a8833981810160405260208110156200003757600080fd5b81019080805190602001909291905050508060006200005b6200012a60201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350600180819055508062000122576001600260006101000a81548160ff0219169083151502179055505b505062000132565b600033905090565b61a36680620001426000396000f3fe608060405234801561001057600080fd5b50600436106103d05760003560e01c80638ef01def116101ff578063bdd143181161011a578063ec683072116100ad578063f92ad2191161007c578063f92ad21914611c84578063f9d7daae14611cf0578063f9f41a7a14611d15578063fae8db0a14611d3a576103d0565b8063ec68307214611abe578063f23263f914611b39578063f2fde38b14611bf0578063f911f0b714611c34576103d0565b8063df4da461116100e9578063df4da46114611952578063e0a2ab5214611970578063e50e652d14611a16578063e59ea3e814611a58576103d0565b8063bdd14318146117e8578063c14470c414611806578063d3e242a414611882578063dedafeae146118fa576103d0565b80639b95975f11610192578063a5826ab211610161578063a5826ab2146116e3578063a8e4587114611742578063a91ee0dc14611786578063ac839d69146117ca576103d0565b80639b95975f146114bf5780639dfb608114611537578063a18fb2db146115e7578063a2fb4ddf1461166b576103d0565b806395128ce3116101ce57806395128ce3146113e95780639a0e7d66146114415780639a7b3be71461145f5780639b2b592f1461147d576103d0565b80638ef01def146111815780638f32d59b146112e257806390a4dd5c14611304578063926d00ca14611391576103d0565b806354255be0116102ef5780637046c96b1161028257806387ee8a0f1161025157806387ee8a0f14610fee5780638a8836261461100c5780638c666775146110db5780638da5cb5b14611137576103d0565b80637046c96b14610ed5578063715018a614610f7c5780637385e5da14610f865780637b10399914610fa4576103d0565b8063631db7e7116102be578063631db7e714610cb857806367960e9114610cfe5780636c781a2c14610dcd5780636e19847514610e25576103d0565b806354255be014610b0f578063580d747a14610b425780635bb5acfb14610be85780635d180adb14610c40576103d0565b80632c3b791611610367578063448144c811610336578063448144c81461092a578063457578a3146109895780634b2c2f4414610a225780634be8843b14610af1576103d0565b80632c3b7916146107d2578063386172721461082a5780633b1eb4bf146108a25780633c55a73c146108e4576103d0565b80631f604243116103a35780631f6042431461054f57806323f0ab651461056d578063263ecf74146106f75780632ba38e6914610773576103d0565b8063123633ea146103d557806312541a6b14610443578063158ef93e146104d15780631c5a9d9c146104f3575b600080fd5b610401600480360360208110156103eb57600080fd5b8101908080359060200190929190505050611d7c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104cf6004803603608081101561045957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ecd565b005b6104d9611f81565b604051808215151515815260200191505060405180910390f35b6105356004803603602081101561050957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f94565b604051808215151515815260200191505060405180910390f35b6105576120fa565b6040518082815260200191505060405180910390f35b6106dd6004803603606081101561058357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156105c057600080fd5b8201836020820111156105d257600080fd5b803590602001918460018302840111640100000000831117156105f457600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561065757600080fd5b82018360208201111561066957600080fd5b8035906020019184600183028401116401000000008311171561068b57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061210a565b604051808215151515815260200191505060405180910390f35b6107596004803603604081101561070d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122c3565b604051808215151515815260200191505060405180910390f35b61077b612374565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156107be5780820151818401526020810190506107a3565b505050509050019250505060405180910390f35b610814600480360360208110156107e857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061238f565b6040518082815260200191505060405180910390f35b61088c6004803603604081101561084057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125b5565b6040518082815260200191505060405180910390f35b6108ce600480360360208110156108b857600080fd5b81019080803590602001909291905050506125ef565b6040518082815260200191505060405180910390f35b610910600480360360208110156108fa57600080fd5b8101908080359060200190929190505050612609565b604051808215151515815260200191505060405180910390f35b610932612744565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561097557808201518184015260208101905061095a565b505050509050019250505060405180910390f35b6109cb6004803603602081101561099f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612807565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015610a0e5780820151818401526020810190506109f3565b505050509050019250505060405180910390f35b610adb60048036036020811015610a3857600080fd5b8101908080359060200190640100000000811115610a5557600080fd5b820183602082011115610a6757600080fd5b80359060200191846001830284011164010000000083111715610a8957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506128d7565b6040518082815260200191505060405180910390f35b610af9612a6b565b6040518082815260200191505060405180910390f35b610b17612a77565b6040518085815260200184815260200183815260200182815260200194505050505060405180910390f35b610bce60048036036080811015610b5857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a9e565b604051808215151515815260200191505060405180910390f35b610c2a60048036036020811015610bfe57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061311c565b6040518082815260200191505060405180910390f35b610c7660048036036040811015610c5657600080fd5b81019080803590602001909291908035906020019092919050505061316e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610ce460048036036020811015610cce57600080fd5b81019080803590602001909291905050506132c0565b604051808215151515815260200191505060405180910390f35b610db760048036036020811015610d1457600080fd5b8101908080359060200190640100000000811115610d3157600080fd5b820183602082011115610d4357600080fd5b80359060200191846001830284011164010000000083111715610d6557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050613419565b6040518082815260200191505060405180910390f35b610e0f60048036036020811015610de357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506135ad565b6040518082815260200191505060405180910390f35b610ebb600480360360a0811015610e3b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506136e5565b604051808215151515815260200191505060405180910390f35b610edd61378e565b604051808060200180602001838103835285818151815260200191508051906020019060200280838360005b83811015610f24578082015181840152602081019050610f09565b50505050905001838103825284818151815260200191508051906020019060200280838360005b83811015610f66578082015181840152602081019050610f4b565b5050505090500194505050505060405180910390f35b610f84613959565b005b610f8e613a92565b6040518082815260200191505060405180910390f35b610fac613aa2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610ff6613ac8565b6040518082815260200191505060405180910390f35b6110c56004803603602081101561102257600080fd5b810190808035906020019064010000000081111561103f57600080fd5b82018360208201111561105157600080fd5b8035906020019184600183028401116401000000008311171561107357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050613c0f565b6040518082815260200191505060405180910390f35b61111d600480360360208110156110f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050613da3565b604051808215151515815260200191505060405180910390f35b61113f613e73565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6112cc600480360360a081101561119757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156111de57600080fd5b8201836020820111156111f057600080fd5b8035906020019184602083028401116401000000008311171561121257600080fd5b90919293919293908035906020019064010000000081111561123357600080fd5b82018360208201111561124557600080fd5b8035906020019184602083028401116401000000008311171561126757600080fd5b90919293919293908035906020019064010000000081111561128857600080fd5b82018360208201111561129a57600080fd5b803590602001918460208302840111640100000000831117156112bc57600080fd5b9091929391929390505050613e9c565b6040518082815260200191505060405180910390f35b6112ea614446565b604051808215151515815260200191505060405180910390f35b61133a6004803603604081101561131a57600080fd5b8101908080359060200190929190803590602001909291905050506144a4565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561137d578082015181840152602081019050611362565b505050509050019250505060405180910390f35b6113d3600480360360208110156113a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050614f85565b6040518082815260200191505060405180910390f35b61142b600480360360208110156113ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050614fd7565b6040518082815260200191505060405180910390f35b611449615029565b6040518082815260200191505060405180910390f35b611467615053565b6040518082815260200191505060405180910390f35b6114a96004803603602081101561149357600080fd5b8101908080359060200190929190505050615063565b6040518082815260200191505060405180910390f35b611521600480360360408110156114d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506151ac565b6040518082815260200191505060405180910390f35b6115cd600480360360a081101561154d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061523f565b604051808215151515815260200191505060405180910390f35b611669600480360360608110156115fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061569d565b005b6116cd6004803603604081101561168157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061599d565b6040518082815260200191505060405180910390f35b6116eb615a2d565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561172e578082015181840152602081019050611713565b505050509050019250505060405180910390f35b6117846004803603602081101561175857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615b61565b005b6117c86004803603602081101561179c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615de1565b005b6117d2615f85565b6040518082815260200191505060405180910390f35b6117f0615f8b565b6040518082815260200191505060405180910390f35b6118686004803603604081101561181c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615fb1565b604051808215151515815260200191505060405180910390f35b6118e46004803603604081101561189857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616054565b6040518082815260200191505060405180910390f35b61193c6004803603602081101561191057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506160ed565b6040518082815260200191505060405180910390f35b61195a616199565b6040518082815260200191505060405180910390f35b6119fc6004803603608081101561198657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506162d5565b604051808215151515815260200191505060405180910390f35b611a4260048036036020811015611a2c57600080fd5b8101908080359060200190929190505050616450565b6040518082815260200191505060405180910390f35b611aa460048036036040811015611a6e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061649b565b604051808215151515815260200191505060405180910390f35b611b1c600480360360c0811015611ad457600080fd5b810190808035906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190803590602001909291905050506166e5565b604051808381526020018281526020019250505060405180910390f35b611bda60048036036060811015611b4f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115611b9657600080fd5b820183602082011115611ba857600080fd5b80359060200191846020830284011164010000000083111715611bca57600080fd5b90919293919293905050506168f9565b6040518082815260200191505060405180910390f35b611c3260048036036020811015611c0657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616c33565b005b611c6a60048036036040811015611c4a57600080fd5b810190808035906020019092919080359060200190929190505050616cb9565b604051808215151515815260200191505060405180910390f35b611cee600480360360a0811015611c9a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190505050616ee9565b005b611cf8616fbf565b604051808381526020018281526020019250505060405180910390f35b611d1d616fd1565b604051808381526020018281526020019250505060405180910390f35b611d6660048036036020811015611d5057600080fd5b8101908080359060200190929190505050616fe8565b6040518082815260200191505060405180910390f35b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16844360405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310611df55780518252602082019150602081019050602083039250611dd2565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611e55576040519150601f19603f3d011682016040523d82523d6000602084013e611e5a565b606091505b50809350819250505080611eb9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d81526020018061a104603d913960400191505060405180910390fd5b611ec4826000617131565b92505050919050565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611f6f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4f6e6c7920564d2063616e2063616c6c0000000000000000000000000000000081525060200191505060405180910390fd5b611f7b84848484617148565b50505050565b600260009054906101000a900460ff1681565b600060018060008282540192505081905550600060015490506000611fb7617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561203357600080fd5b505afa158015612047573d6000803e3d6000fd5b505050506040513d602081101561205d57600080fd5b8101908080519060200190929190505050905061207a8482617624565b92505060015481146120f4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50919050565b6000600360020160000154905090565b60008060fb73ffffffffffffffffffffffffffffffffffffffff16858585604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140183805190602001908083835b602083106121935780518252602082019150602081019050602083039250612170565b6001836020036101000a03801982511681845116808217855250505050505090500182805190602001908083835b602083106121e457805182526020820191506020810190506020830392506121c1565b6001836020036101000a03801982511681845116808217855250505050505090500193505050506040516020818303038152906040526040518082805190602001908083835b6020831061224d578051825260208201915060208101905060208303925061222a565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146122ad576040519150601f19603f3d011682016040523d82523d6000602084013e6122b2565b606091505b505080915050809150509392505050565b600080600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050612355615053565b816001015410801561236b575060008160000154115b91505092915050565b606061238a600d60000154600d600101546144a4565b905090565b6000806124fd61239d617841565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b1580156123e257600080fd5b505afa1580156123f6573d6000803e3d6000fd5b505050506040513d602081101561240c57600080fd5b81019080805190602001909291905050506124ef600161242a61793c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e8886040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156124a657600080fd5b505afa1580156124ba573d6000803e3d6000fd5b505050506040513d60208110156124d057600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b617abf90919063ffffffff16565b90506000612597600d6001015461251261793c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b15801561255757600080fd5b505afa15801561256b573d6000803e3d6000fd5b505050506040513d602081101561258157600080fd5b8101908080519060200190929190505050617b45565b90506125ac8183617b5e90919063ffffffff16565b92505050919050565b6000806125c284846151ac565b905060006125d08585616054565b90506125e58183617a3790919063ffffffff16565b9250505092915050565b6000612602826125fd616199565b617ba8565b9050919050565b6000612613614446565b612685576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600f548214156126fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4d61782067726f75707320766f74656420666f72206e6f74206368616e67656481525060200191505060405180910390fd5b81600f819055507f1993a3864c31265ef86eec51d147eff697dee0466c92ac9abddcc4c4c6829348826040518082815260200191505060405180910390a160019050919050565b60606000612750613ac8565b90506060816040519080825280602002602001820160405280156127835781602001602082028038833980820191505090505b50905060008090505b828110156127fe5761279d81611d7c565b8282815181106127a957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506127f7600182617a3790919063ffffffff16565b905061278c565b50809250505090565b6060600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806020026020016040519081016040528092919081815260200182805480156128cb57602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311612881575b50505050509050919050565b60006060600060f473ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b6020831061292c5780518252602082019150602081019050602083039250612909565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106129935780518252602082019150602081019050602083039250612970565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146129f3576040519150601f19603f3d011682016040523d82523d6000602084013e6129f8565b606091505b50809350819250505080612a57576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603881526020018061a0736038913960400191505060405180910390fd5b612a62826000617bf0565b92505050919050565b60108060000154905081565b60008060008060018060026001839350829250819150809050935093509350935090919293565b60006001806000828254019250508190555060006001549050600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__6302f130289091886040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015612b4357600080fd5b505af4158015612b57573d6000803e3d6000fd5b505050506040513d6020811015612b6d57600080fd5b8101908080519060200190929190505050612bf0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f7570206e6f7420656c696769626c65000000000000000000000000000081525060200191505060405180910390fd5b84600010612c66576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b612c70868661649b565b612ce2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f47726f75702063616e6e6f74207265636569766520766f74657300000000000081525060200191505060405180910390fd5b6000612cec617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612d6857600080fd5b505afa158015612d7c573d6000803e3d6000fd5b505050506040513d6020811015612d9257600080fd5b8101908080519060200190929190505050905060008090506000600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905060008090505b8180549050811015612e8c578280612e6f57508973ffffffffffffffffffffffffffffffffffffffff16828281548110612e2c57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b9250612e85600182617a3790919063ffffffff16565b9050612df6565b5081612f7357600f54818054905010612f0d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74656420666f7220746f6f206d616e792067726f7570730000000000000081525060200191505060405180910390fd5b808990806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505b612f7e89848a617c91565b612f8a89898989617d99565b612f92617841565b73ffffffffffffffffffffffffffffffffffffffff166318a4ff8c848a6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561301857600080fd5b505af115801561302c573d6000803e3d6000fd5b505050508873ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fd3532f70444893db82221041edb4dc26c94593aeb364b0b14dfc77d5ee9051528a6040518082815260200191505060405180910390a3600194505050506001548114613113576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101549050919050565b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16858560405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b602083106131e757805182526020820191506020810190506020830392506131c4565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613247576040519150601f19603f3d011682016040523d82523d6000602084013e61324c565b606091505b508093508192505050806132ab576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061a1766036913960400191505060405180910390fd5b6132b6826000617131565b9250505092915050565b60006132ca614446565b61333c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61334582617f91565b60106000820151816000015590505061338461335f617faf565b6010604051806020016040529081600082015481525050617fd590919063ffffffff16565b6133d9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e81526020018061a045602e913960400191505060405180910390fd5b7f9854be03126e38f9c318d8aabe1b150d09cb3a57059b21855b1e11d44e082c1a826040518082815260200191505060405180910390a160019050919050565b60006060600060f673ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b6020831061346e578051825260208201915060208101905060208303925061344b565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106134d557805182526020820191506020810190506020830392506134b2565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613535576040519150601f19603f3d011682016040523d82523d6000602084013e61353a565b606091505b50809350819250505080613599576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a30f6023913960400191505060405180910390fd5b6135a4826000617bf0565b92505050919050565b600080600090506060600360090160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561367857602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161362e575b5050505050905060008090505b81518110156136da576136bd6136ae8383815181106136a057fe5b6020026020010151876125b5565b84617a3790919063ffffffff16565b92506136d3600182617a3790919063ffffffff16565b9050613685565b508192505050919050565b6000600180600082825401925050819055506000600154905061370b8787878787617fea565b91506001548114613784576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b606080600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__6369b317e390916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b1580156137e957600080fd5b505af41580156137fd573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250604081101561382757600080fd5b810190808051604051939291908464010000000082111561384757600080fd5b8382019150602082018581111561385d57600080fd5b825186602082028301116401000000008211171561387a57600080fd5b8083526020830192505050908051906020019060200280838360005b838110156138b1578082015181840152602081019050613896565b50505050905001604052602001805160405193929190846401000000008211156138da57600080fd5b838201915060208201858111156138f057600080fd5b825186602082028301116401000000008211171561390d57600080fd5b8083526020830192505050908051906020019060200280838360005b83811015613944578082015181840152602081019050613929565b50505050905001604052505050915091509091565b613961614446565b6139d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000613a9d43616450565b905090565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1643604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310613b395780518252602082019150602081019050602083039250613b16565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613b99576040519150601f19603f3d011682016040523d82523d6000602084013e613b9e565b606091505b50809350819250505080613bfd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603581526020018061a1416035913960400191505060405180910390fd5b613c08826000617131565b9250505090565b60006060600060f773ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310613c645780518252602082019150602081019050602083039250613c41565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b60208310613ccb5780518252602082019150602081019050602083039250613ca8565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613d2b576040519150601f19603f3d011682016040523d82523d6000602084013e613d30565b606091505b50809350819250505080613d8f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603181526020018061a28c6031913960400191505060405180910390fd5b613d9a826000617131565b92505050919050565b6000600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__6302f130289091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015613e3157600080fd5b505af4158015613e45573d6000803e3d6000fd5b505050506040513d6020811015613e5b57600080fd5b81019080805190602001909291905050509050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600180600082825401925050819055506000600154905060405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015613f8657600080fd5b505afa158015613f9a573d6000803e3d6000fd5b505050506040513d6020811015613fb057600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff161461404a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b60008a116140a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a2e86027913960400191505060405180910390fd5b6140ab619f03565b6040518060400160405280600360090160008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561417857602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161412e575b505050505081526020018c81525090508060000151518a8a9050111580156141a55750878790508a8a9050145b80156141b657508585905088889050145b61420b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061a0246021913960400191505060405180910390fd5b600081600001515190505b60008111156143425761430c6142f98e846000015161423f6001866183c590919063ffffffff16565b8151811061424957fe5b602002602001015185602001518f8f61426c6001896183c590919063ffffffff16565b81811061427557fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168e8e6142a860018a6183c590919063ffffffff16565b8181106142b157fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168d8d6142e460018b6183c590919063ffffffff16565b8181106142ed57fe5b9050602002013561840f565b83602001516183c590919063ffffffff16565b82602001818152505060008260200151141561432757614342565b61433b6001826183c590919063ffffffff16565b9050614216565b5060008160200151146143bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4661696c75726520746f2064656372656d656e7420616c6c20766f7465732e0081525060200191505060405180910390fd5b8a935050506001548114614439576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5098975050505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16614488618623565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060006144e86144e36144be6144b9615029565b61862b565b60106040518060200160405290816000820154815250506186b590919063ffffffff16565b618b14565b90506000600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__6342b6351a909184876040518463ffffffff1660e01b815260040180848152602001838152602001828152602001935050505060206040518083038186803b15801561455457600080fd5b505af4158015614568573d6000803e3d6000fd5b505050506040513d602081101561457e57600080fd5b810190808051906020019092919050505090506060600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63dcb2a4dd9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b1580156145f357600080fd5b505af4158015614607573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561463157600080fd5b810190808051604051939291908464010000000082111561465157600080fd5b8382019150602082018581111561466757600080fd5b825186602082028301116401000000008211171561468457600080fd5b8083526020830192505050908051906020019060200280838360005b838110156146bb5780820151818401526020810190506146a0565b50505050905001604052505050905060606146d461793c565b73ffffffffffffffffffffffffffffffffffffffff166370447754836040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019060200280838360005b83811015614742578082015181840152602081019050614727565b505050509050019250505060006040518083038186803b15801561476557600080fd5b505afa158015614779573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f8201168201806040525060208110156147a357600080fd5b81019080805160405193929190846401000000008211156147c357600080fd5b838201915060208201858111156147d957600080fd5b82518660208202830111640100000000821117156147f657600080fd5b8083526020830192505050908051906020019060200280838360005b8381101561482d578082015181840152602081019050614812565b5050505090500160405250505090506060825160405190808252806020026020018201604052801561486e5781602001602082028038833980820191505090505b5090506000809050606084516040519080825280602002602001820160405280156148a85781602001602082028038833980820191505090505b509050606085516040519080825280602002602001820160405280156148e857816020015b6148d5619f1d565b8152602001906001900390816148cd5790505b50905060008090505b8651811015614a27578083828151811061490757fe5b6020026020010181815250506149f5600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63e0fe44b390918a858151811061494657fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156149b557600080fd5b505af41580156149c9573d6000803e3d6000fd5b505050506040513d60208110156149df57600080fd5b810190808051906020019092919050505061862b565b828281518110614a0157fe5b6020026020010181905250614a20600182617a3790919063ffffffff16565b90506148f1565b505b8983108015614a39575060008651115b15614c7357600082600081518110614a4d57fe5b602002602001015190506000614a75838381518110614a6857fe5b6020026020010151618b35565b1415614a815750614c73565b848181518110614a8d57fe5b6020026020010151868281518110614aa157fe5b602002602001015111614ad457614ab86000617f91565b828281518110614ac457fe5b6020026020010181905250614c63565b614afb6001868381518110614ae557fe5b6020026020010151617a3790919063ffffffff16565b858281518110614b0757fe5b602002602001018181525050614b27600185617a3790919063ffffffff16565b9350614c4b614b5b614b566001888581518110614b4057fe5b6020026020010151617a3790919063ffffffff16565b61862b565b614c3d600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63e0fe44b390918c8781518110614b8e57fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015614bfd57600080fd5b505af4158015614c11573d6000803e3d6000fd5b505050506040513d6020811015614c2757600080fd5b810190808051906020019092919050505061862b565b618b4390919063ffffffff16565b828281518110614c5757fe5b60200260200101819052505b614c6d8383618c8c565b50614a29565b8a831015614ce9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4e6f7420656e6f75676820656c65637465642076616c696461746f727300000081525060200191505060405180910390fd5b606083604051908082528060200260200182016040528015614d1a5781602001602082028038833980820191505090505b5090506000935060008090505b8751811015614f72576060614d3a61793c565b73ffffffffffffffffffffffffffffffffffffffff16638dd31e398a8481518110614d6157fe5b6020026020010151898581518110614d7557fe5b60200260200101516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060006040518083038186803b158015614de457600080fd5b505afa158015614df8573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015614e2257600080fd5b8101908080516040519392919084640100000000821115614e4257600080fd5b83820191506020820185811115614e5857600080fd5b8251866020820283011164010000000082111715614e7557600080fd5b8083526020830192505050908051906020019060200280838360005b83811015614eac578082015181840152602081019050614e91565b50505050905001604052505050905060008090505b8151811015614f5557818181518110614ed657fe5b6020026020010151848881518110614eea57fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050614f38600188617a3790919063ffffffff16565b9650614f4e600182617a3790919063ffffffff16565b9050614ec1565b5050614f6b600182617a3790919063ffffffff16565b9050614d27565b5080995050505050505050505092915050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b6000600360000160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b600061504e600360000160000154600360020160000154617a3790919063ffffffff16565b905090565b600061505e436125ef565b905090565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106150d457805182526020820191506020810190506020830392506150b1565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114615134576040519150601f19603f3d011682016040523d82523d6000602084013e615139565b606091505b50809350819250505080615198576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180619fd0602e913960400191505060405180910390fd5b6151a3826000617131565b92505050919050565b6000600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154905092915050565b60006001806000828254019250508190555060006001549050600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156152fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b6000615305617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561538157600080fd5b505afa158015615395573d6000803e3d6000fd5b505050506040513d60208110156153ab57600080fd5b8101908080519060200190929190505050905086600010615434576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b61543e88826151ac565b871115615496576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061a2196024913960400191505060405180910390fd5b6154a1888289618c9e565b6154ad88888888618dae565b6154b5617841565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a582896040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561553b57600080fd5b505af115801561554f573d6000803e3d6000fd5b50505050600061555f89836125b5565b14156155b2576155b1600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208986619073565b5b8773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe896040518082815260200191505060405180910390a360019250506001548114615693576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561576e57600080fd5b505afa158015615782573d6000803e3d6000fd5b505050506040513d602081101561579857600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614615832576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b600061583d856160ed565b9050600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__632dedbbf09091878488886040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561593b57600080fd5b505af415801561594f573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167f8f21dc7ff6f55d73e4fca52a4ef4fcc14fbda43ac338d24922519d51455d39c160405160405180910390a25050505050565b6000600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6060600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__633a72e80290916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b158015615a8757600080fd5b505af4158015615a9b573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015615ac557600080fd5b8101908080516040519392919084640100000000821115615ae557600080fd5b83820191506020820185811115615afb57600080fd5b8251866020820283011164010000000082111715615b1857600080fd5b8083526020830192505050908051906020019060200280838360005b83811015615b4f578082015181840152602081019050615b34565b50505050905001604052505050905090565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015615c3257600080fd5b505afa158015615c46573d6000803e3d6000fd5b505050506040513d6020811015615c5c57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614615cf6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63281359299091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060006040518083038186803b158015615d8257600080fd5b505af4158015615d96573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff167f5c8cd4e832f3a7d79f9208c2acf25a412143aa3f751cfd3728c42a0fea4921a860405160405180910390a25050565b615de9614446565b615e5b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415615efe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f43616e6e6f7420726567697374657220746865206e756c6c206164647265737381525060200191505060405180910390fd5b80600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f27fe5f0c1c3b1ed427cc63d0f05759ffdecf9aec9e18d31ef366fc8a6cb5dc3b60405160405180910390a250565b600f5481565b6000615fac6010604051806020016040529081600082015481525050618b35565b905090565b60006001806000828254019250508190555060006001549050615fd48484617624565b9150600154811461604d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5092915050565b60006160e583600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054619214565b905092915050565b6000616192600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154600360000160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617a3790919063ffffffff16565b9050919050565b60006060600060f873ffffffffffffffffffffffffffffffffffffffff166040516020016040516020818303038152906040526040518082805190602001908083835b602083106161ff57805182526020820191506020810190506020830392506161dc565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461625f576040519150601f19603f3d011682016040523d82523d6000602084013e616264565b606091505b508093508192505050806162c3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061a1f46025913960400191505060405180910390fd5b6162ce826000617131565b9250505090565b6000600180600082825401925050819055506000600154905060006162f8617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561637457600080fd5b505afa158015616388573d6000803e3d6000fd5b505050506040513d602081101561639e57600080fd5b8101908080519060200190929190505050905060006163bd8883616054565b90506163cc8882898989617fea565b935050506001548114616447576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b600061649460036164866002616478600261646a88615063565b617abf90919063ffffffff16565b617a3790919063ffffffff16565b617b5e90919063ffffffff16565b9050919050565b6000806164b9836164ab866160ed565b617a3790919063ffffffff16565b90506000616565616556600d600101546164d161793c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b15801561651657600080fd5b505afa15801561652a573d6000803e3d6000fd5b505050506040513d602081101561654057600080fd5b8101908080519060200190929190505050617b45565b83617abf90919063ffffffff16565b905060006166d4616574617841565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b1580156165b957600080fd5b505afa1580156165cd573d6000803e3d6000fd5b505050506040513d60208110156165e357600080fd5b81019080805190602001909291905050506166c6600161660161793c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e88b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561667d57600080fd5b505afa158015616691573d6000803e3d6000fd5b505050506040513d60208110156166a757600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b617abf90919063ffffffff16565b905080821115935050505092915050565b600080600087141580156166fa575060008514155b61676c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f612064656e6f6d696e61746f72206973207a65726f000000000000000000000081525060200191505060405180910390fd5b6000806000606060fc73ffffffffffffffffffffffffffffffffffffffff168c8c8c8c8c8c6040516020018087815260200186815260200185815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040526040518082805190602001908083835b6020831061680657805182526020820191506020810190506020830392506167e3565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114616866576040519150601f19603f3d011682016040523d82523d6000602084013e61686b565b606091505b508092508193505050816168ca576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a1cd6027913960400191505060405180910390fd5b6168d5816000617131565b93506168e2816020617131565b925083839550955050505050965096945050505050565b60008061690461793c565b90508073ffffffffffffffffffffffffffffffffffffffff1663c54c1cd4876040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561698357600080fd5b505afa158015616997573d6000803e3d6000fd5b505050506040513d60208110156169ad57600080fd5b810190808051906020019092919050505015806169d35750600060036002016000015411155b156169e2576000915050616c2b565b6169ea619f30565b616a44600360020160010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015460036002016000015461932d565b9050616a4e619f30565b616b118373ffffffffffffffffffffffffffffffffffffffff166376f7425d88886040518363ffffffff1660e01b815260040180806020018281038252848482818152602001925060200280828437600081840152601f19601f820116905080830192505050935050505060206040518083038186803b158015616ad157600080fd5b505afa158015616ae5573d6000803e3d6000fd5b505050506040513d6020811015616afb57600080fd5b8101908080519060200190929190505050617f91565b9050616b1b619f30565b616bdb8473ffffffffffffffffffffffffffffffffffffffff1663dba94fcd8b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616b9b57600080fd5b505afa158015616baf573d6000803e3d6000fd5b505050506040513d6020811015616bc557600080fd5b8101908080519060200190929190505050617f91565b9050616c24616c1f82616c1185616c0388616bf58f61862b565b6186b590919063ffffffff16565b6186b590919063ffffffff16565b6186b590919063ffffffff16565b618b14565b9450505050505b949350505050565b616c3b614446565b616cad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b616cb68161936f565b50565b6000616cc3614446565b616d35576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b82600010616d8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b81526020018061a2bd602b913960400191505060405180910390fd5b81831115616de7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180619f95603b913960400191505060405180910390fd5b600d6000015483141580616e005750600d600101548214155b616e72576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f456c65637461626c652076616c696461746f7273206e6f74206368616e67656481525060200191505060405180910390fd5b604051806040016040528084815260200183815250600d60008201518160000155602082015181600101559050507fb3ae64819ff89f6136eb58b8563cb32c6550f17eaf97f9ecc32f23783229f6de8383604051808381526020018281526020019250505060405180910390a16001905092915050565b600260009054906101000a900460ff1615616f6c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f636f6e747261637420616c726561647920696e697469616c697a65640000000081525060200191505060405180910390fd5b6001600260006101000a81548160ff021916908315150217905550616f903361936f565b616f9985615de1565b616fa38484616cb9565b50616fad82612609565b50616fb7816132c0565b505050505050565b600d8060000154908060010154905082565b600080600d60000154600d60010154915091509091565b60006060600060f573ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106170595780518252602082019150602081019050602083039250617036565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146170b9576040519150601f19603f3d011682016040523d82523d6000602084013e6170be565b606091505b5080935081925050508061711d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061a260602c913960400191505060405180910390fd5b617128826000617bf0565b92505050919050565b600061713d8383617bf0565b60001c905092915050565b600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__6302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156171d457600080fd5b505af41580156171e8573d6000803e3d6000fd5b505050506040513d60208110156171fe57600080fd5b8101908080519060200190929190505050156174075760006172ef84600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156172a657600080fd5b505af41580156172ba573d6000803e3d6000fd5b505050506040513d60208110156172d057600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b9050600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b1580156173ed57600080fd5b505af4158015617401573d6000803e3d6000fd5b50505050505b61746283600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617a3790919063ffffffff16565b600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055506174c983600360020160000154617a3790919063ffffffff16565b6003600201600001819055508373ffffffffffffffffffffffffffffffffffffffff167f91ba34d62474c14d6c623cd322f4256666c7a45b7fdaa3378e009d39dfcec2a7846040518082815260200191505060405180910390a250505050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4163636f756e74730000000000000000000000000000000000000000000000008152506008019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156175e457600080fd5b505afa1580156175f8573d6000803e3d6000fd5b505050506040513d602081101561760e57600080fd5b8101908080519060200190929190505050905090565b600080600360000160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506176b6615053565b81600101541061772e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f50656e64696e6720766f74652065706f6368206e6f742070617373656400000081525060200191505060405180910390fd5b600081600001549050600081116177ad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b6177b8858583618c9e565b60006177c58686846194b3565b90508573ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f45aac85f38083b18efe2d441a65b9c1ae177c78307cb5a5d4aec8f7dbcaeabfe8484604051808381526020018281526020019250505060405180910390a36001935050505092915050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156178fc57600080fd5b505afa158015617910573d6000803e3d6000fd5b505050506040513d602081101561792657600080fd5b8101908080519060200190929190505050905090565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156179f757600080fd5b505afa158015617a0b573d6000803e3d6000fd5b505050506040513d6020811015617a2157600080fd5b8101908080519060200190929190505050905090565b600080828401905083811015617ab5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080831415617ad25760009050617b3f565b6000828402905082848281617ae357fe5b0414617b3a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061a1ac6021913960400191505060405180910390fd5b809150505b92915050565b6000818310617b545781617b56565b825b905092915050565b6000617ba083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250619613565b905092915050565b600080828481617bb457fe5b0490506000838581617bc257fe5b061415617bd25780915050617bea565b617be6600182617a3790919063ffffffff16565b9150505b92915050565b6000617c06602083617a3790919063ffffffff16565b83511015617c7c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736c6963696e67206f7574206f662072616e676500000000000000000000000081525060200191505060405180910390fd5b60006020830184015190508091505092915050565b600060036000019050617cb1828260000154617a3790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617d15838260000154617a3790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617d79848260000154617a3790919063ffffffff16565b8160000181905550617d89615053565b8160010181905550505050505050565b6000617e7484600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015617e2b57600080fd5b505af4158015617e3f573d6000803e3d6000fd5b505050506040513d6020811015617e5557600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b9050600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b158015617f7257600080fd5b505af4158015617f86573d6000803e3d6000fd5b505050505050505050565b617f99619f30565b6040518060200160405280838152509050919050565b617fb7619f30565b604051806020016040528069d3c21bcecceda1000000815250905090565b60008160000151836000015110905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16141561808e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b6000618098617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561811457600080fd5b505afa158015618128573d6000803e3d6000fd5b505050506040513d602081101561813e57600080fd5b81019080805190602001909291905050509050856000106181c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b6181d18782616054565b861115618229576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a0e16023913960400191505060405180910390fd5b60006182368883896196d9565b905061824488888888618dae565b61824c617841565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a583896040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156182d257600080fd5b505af11580156182e6573d6000803e3d6000fd5b5050505060006182f689846125b5565b141561834957618348600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208986619073565b5b8773ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88984604051808381526020018281526020019250505060405180910390a360019250505095945050505050565b600061840783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061989d565b905092915050565b6000808590506000618421888a6151ac565b905060008111156184c15760006184388383617b45565b9050618445898b83618c9e565b8873ffffffffffffffffffffffffffffffffffffffff168a73ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe836040518082815260200191505060405180910390a36184bd81846183c590919063ffffffff16565b9250505b60006184cd898b616054565b90506000811180156184df5750600083115b156185865760006184f08483617b45565b905060006184ff8b8d846196d9565b90508a73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88484604051808381526020018281526020019250505060405180910390a361858182866183c590919063ffffffff16565b945050505b600061859b848a6183c590919063ffffffff16565b90506000811115618612576185b28a828a8a618dae565b60006185be8b8d6125b5565b141561861157618610600360090160008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208b88619073565b5b5b809450505050509695505050505050565b600033905090565b618633619f30565b61863b61995d565b821115618693576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061a0ab6036913960400191505060405180910390fd5b604051806020016040528069d3c21bcecceda100000084028152509050919050565b6186bd619f30565b6000836000015114806186d4575060008260000151145b156186f057604051806020016040528060008152509050618b0e565b69d3c21bcecceda10000008260000151141561870e57829050618b0e565b69d3c21bcecceda10000008360000151141561872c57819050618b0e565b600069d3c21bcecceda10000006187428561997c565b600001518161874d57fe5b049050600061875b856199b3565b600001519050600069d3c21bcecceda10000006187778661997c565b600001518161878257fe5b0490506000618790866199b3565b600001519050600082850290506000851461882457828582816187af57fe5b0414618823576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b600069d3c21bcecceda100000082029050600082146188c65769d3c21bcecceda100000082828161885157fe5b04146188c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f6f766572666c6f772078317931202a206669786564312064657465637465640081525060200191505060405180910390fd5b5b809150600084860290506000861461895757848682816188e257fe5b0414618956576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b60008488029050600088146189e5578488828161897057fe5b04146189e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b6189ed6199f0565b87816189f557fe5b049650618a006199f0565b8581618a0857fe5b0494506000858802905060008814618a995785888281618a2457fe5b0414618a98576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b618aa1619f30565b6040518060200160405280878152509050618aca816040518060200160405280878152506199fd565b9050618ae4816040518060200160405280868152506199fd565b9050618afe816040518060200160405280858152506199fd565b9050809a50505050505050505050505b92915050565b600069d3c21bcecceda1000000826000015181618b2d57fe5b049050919050565b600081600001519050919050565b618b4b619f30565b600082600001511415618bc6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f63616e277420646976696465206279203000000000000000000000000000000081525060200191505060405180910390fd5b600069d3c21bcecceda10000008460000151029050836000015169d3c21bcecceda10000008281618bf357fe5b0414618c67576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f6f766572666c6f7720617420646976696465000000000000000000000000000081525060200191505060405180910390fd5b604051806020016040528084600001518381618c7f57fe5b0481525091505092915050565b618c9a828260008551619aa6565b5050565b600060036000019050618cbe8282600001546183c590919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618d228382600001546183c590919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618d868482600001546183c590919063ffffffff16565b8160000181905550600081600001541415618da657600081600101819055505b505050505050565b600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__6302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015618e3a57600080fd5b505af4158015618e4e573d6000803e3d6000fd5b505050506040513d6020811015618e6457600080fd5b81019080805190602001909291905050501561906d576000618f5584600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015618f0c57600080fd5b505af4158015618f20573d6000803e3d6000fd5b505050506040513d6020811015618f3657600080fd5b81019080805190602001909291905050506183c590919063ffffffff16565b9050600360040160000173__$08cf71f564f45da6639cae7df99685ed0e$__63cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561905357600080fd5b505af4158015619067573d6000803e3d6000fd5b50505050505b50505050565b8280549050811080156190e757508173ffffffffffffffffffffffffffffffffffffffff168382815481106190a457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b619159576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f42616420696e646578000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000619173600185805490506183c590919063ffffffff16565b905083818154811061918157fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168483815481106191b857fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080848161920d9190619f43565b5050505050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154141561926f5760009050619327565b619324600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154619316600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015485617abf90919063ffffffff16565b617b5e90919063ffffffff16565b90505b92915050565b619335619f30565b61933d619f30565b6193468461862b565b9050619350619f30565b6193598461862b565b90506193658282618b43565b9250505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156193f5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180619ffe6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600360020190506194d4838260000154617a3790919063ffffffff16565b816000018190555060006194e88685619dbb565b905060008260010160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050619546858260000154617a3790919063ffffffff16565b8160000181905550619565828260010154617a3790919063ffffffff16565b81600101819055506195c1828260020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054617a3790919063ffffffff16565b8160020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508193505050509392505050565b600080831182906196bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015619684578082015181840152602081019050619669565b50505050905090810190601f1680156196b15780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816196cb57fe5b049050809150509392505050565b600080600360020190506196fa8382600001546183c590919063ffffffff16565b8160000181905550600080905060006197138787616054565b905060008360010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050858214156197ab578060020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205492506197b8565b6197b58887619dbb565b92505b6197cf8682600001546183c590919063ffffffff16565b81600001819055506197ee8382600101546183c590919063ffffffff16565b816001018190555061984a838260020160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546183c590919063ffffffff16565b8160020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550829450505050509392505050565b600083831115829061994a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561990f5780820151818401526020810190506198f4565b50505050905090810190601f16801561993c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60007601357c299a88ea76a58924d52ce4f26a85af186c2b9e74905090565b619984619f30565b604051806020016040528069d3c21bcecceda1000000808560000151816199a757fe5b04028152509050919050565b6199bb619f30565b604051806020016040528069d3c21bcecceda1000000808560000151816199de57fe5b04028460000151038152509050919050565b600064e8d4a51000905090565b619a05619f30565b6000826000015184600001510190508360000151811015619a8e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616464206f766572666c6f77206465746563746564000000000000000000000081525060200191505060405180910390fd5b60405180602001604052808281525091505092915050565b8251845114619b00576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a23d6023913960400191505060405180910390fd5b83518210619b76576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f6865617020737461727420696e646578206f7574206f662072616e676500000081525060200191505060405180910390fd5b8351811115619bed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f68656170206c656e677468206f7574206f662072616e6765000000000000000081525060200191505060405180910390fd5b60008290505b600115619db4576000619c236001619c15600285617abf90919063ffffffff16565b617a3790919063ffffffff16565b90506000619c4e6002619c40600286617abf90919063ffffffff16565b617a3790919063ffffffff16565b905060008390508483108015619cbf5750619cbe87898381518110619c6f57fe5b602002602001015181518110619c8157fe5b6020026020010151888a8681518110619c9657fe5b602002602001015181518110619ca857fe5b6020026020010151619eee90919063ffffffff16565b5b15619cc8578290505b8482108015619d325750619d3187898381518110619ce257fe5b602002602001015181518110619cf457fe5b6020026020010151888a8581518110619d0957fe5b602002602001015181518110619d1b57fe5b6020026020010151619eee90919063ffffffff16565b5b15619d3b578190505b83811415619d4b57505050619db4565b6000888581518110619d5957fe5b60200260200101519050888281518110619d6f57fe5b6020026020010151898681518110619d8357fe5b60200260200101818152505080898381518110619d9c57fe5b60200260200101818152505081945050505050619bf3565b5050505050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101541415619e3057619e2968056bc75e2d6310000083617abf90919063ffffffff16565b9050619ee8565b619ee5600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154619ed7600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015485617abf90919063ffffffff16565b617b5e90919063ffffffff16565b90505b92915050565b60008160000151836000015111905092915050565b604051806040016040528060608152602001600081525090565b6040518060200160405280600081525090565b6040518060200160405280600081525090565b815481835581811115619f6a57818360005260206000209182019101619f699190619f6f565b5b505050565b619f9191905b80821115619f8d576000816000905550600101619f75565b5090565b9056fe4d6178696d756d20656c65637461626c652076616c696461746f72732063616e6e6f7420626520736d616c6c6572207468616e206d696e696d756d6572726f722063616c6c696e67206e756d62657256616c696461746f7273496e53657420707265636f6d70696c654f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373496e707574206c656e67746873206d75737420626520636f72726573706f6e642e456c6563746162696c697479207468726573686f6c64206d757374206265206c6f776572207468616e20313030256572726f722063616c6c696e672067657456657269666965645365616c4269746d617046726f6d48656164657220707265636f6d70696c6563616e277420637265617465206669786964697479206e756d626572206c6172676572207468616e206d61784e657746697865642829566f74652076616c7565206c6172676572207468616e2061637469766520766f7465736572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e67206e756d62657256616c696461746f7273496e43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d53657420707265636f6d70696c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f776572726f722063616c6c696e67206672616374696f6e4d756c45787020707265636f6d70696c656572726f722063616c6c696e672067657445706f636853697a6520707265636f6d70696c65566f74652076616c7565206c6172676572207468616e2070656e64696e6720766f7465736b657920616e642076616c7565206172726179206c656e677468206d69736d617463686572726f722063616c6c696e6720676574506172656e745365616c4269746d617020707265636f6d70696c656572726f722063616c6c696e6720676574426c6f636b4e756d62657246726f6d48656164657220707265636f6d70696c654d696e696d756d20656c65637461626c652076616c696461746f72732063616e6e6f74206265207a65726f44656372656d656e742076616c7565206d7573742062652067726561746572207468616e20302e6572726f722063616c6c696e67206861736848656164657220707265636f6d70696c65a265627a7a72315820091c1543d327eaa9e7426dae6784fc02dec98e77bedbc20c69a3af3d79361f0964736f6c634300050d0032

CBOR Auxdata

These values are what Sourcify extracted from the recompiled bytecode. If these values are different in the on-chain bytecode, they will show up in Transformations section.

CBOR Auxdata id: 1

Raw

Decoded

Length: 52 bytes

0xa265627a7a72315820091c1543d327eaa9e7426dae6784fc02dec98e77bedbc20c69a3af3d79361f0964736f6c634300050d0032

Runtime Bytecode

Transformations View

On-chain Bytecode

Recompiled Bytecode

0x608060405234801561001057600080fd5b50600436106103d05760003560e01c80638ef01def116101ff578063bdd143181161011a578063ec683072116100ad578063f92ad2191161007c578063f92ad21914611c84578063f9d7daae14611cf0578063f9f41a7a14611d15578063fae8db0a14611d3a576103d0565b8063ec68307214611abe578063f23263f914611b39578063f2fde38b14611bf0578063f911f0b714611c34576103d0565b8063df4da461116100e9578063df4da46114611952578063e0a2ab5214611970578063e50e652d14611a16578063e59ea3e814611a58576103d0565b8063bdd14318146117e8578063c14470c414611806578063d3e242a414611882578063dedafeae146118fa576103d0565b80639b95975f11610192578063a5826ab211610161578063a5826ab2146116e3578063a8e4587114611742578063a91ee0dc14611786578063ac839d69146117ca576103d0565b80639b95975f146114bf5780639dfb608114611537578063a18fb2db146115e7578063a2fb4ddf1461166b576103d0565b806395128ce3116101ce57806395128ce3146113e95780639a0e7d66146114415780639a7b3be71461145f5780639b2b592f1461147d576103d0565b80638ef01def146111815780638f32d59b146112e257806390a4dd5c14611304578063926d00ca14611391576103d0565b806354255be0116102ef5780637046c96b1161028257806387ee8a0f1161025157806387ee8a0f14610fee5780638a8836261461100c5780638c666775146110db5780638da5cb5b14611137576103d0565b80637046c96b14610ed5578063715018a614610f7c5780637385e5da14610f865780637b10399914610fa4576103d0565b8063631db7e7116102be578063631db7e714610cb857806367960e9114610cfe5780636c781a2c14610dcd5780636e19847514610e25576103d0565b806354255be014610b0f578063580d747a14610b425780635bb5acfb14610be85780635d180adb14610c40576103d0565b80632c3b791611610367578063448144c811610336578063448144c81461092a578063457578a3146109895780634b2c2f4414610a225780634be8843b14610af1576103d0565b80632c3b7916146107d2578063386172721461082a5780633b1eb4bf146108a25780633c55a73c146108e4576103d0565b80631f604243116103a35780631f6042431461054f57806323f0ab651461056d578063263ecf74146106f75780632ba38e6914610773576103d0565b8063123633ea146103d557806312541a6b14610443578063158ef93e146104d15780631c5a9d9c146104f3575b600080fd5b610401600480360360208110156103eb57600080fd5b8101908080359060200190929190505050611d7c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104cf6004803603608081101561045957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ecd565b005b6104d9611f81565b604051808215151515815260200191505060405180910390f35b6105356004803603602081101561050957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f94565b604051808215151515815260200191505060405180910390f35b6105576120fa565b6040518082815260200191505060405180910390f35b6106dd6004803603606081101561058357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156105c057600080fd5b8201836020820111156105d257600080fd5b803590602001918460018302840111640100000000831117156105f457600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561065757600080fd5b82018360208201111561066957600080fd5b8035906020019184600183028401116401000000008311171561068b57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061210a565b604051808215151515815260200191505060405180910390f35b6107596004803603604081101561070d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122c3565b604051808215151515815260200191505060405180910390f35b61077b612374565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156107be5780820151818401526020810190506107a3565b505050509050019250505060405180910390f35b610814600480360360208110156107e857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061238f565b6040518082815260200191505060405180910390f35b61088c6004803603604081101561084057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125b5565b6040518082815260200191505060405180910390f35b6108ce600480360360208110156108b857600080fd5b81019080803590602001909291905050506125ef565b6040518082815260200191505060405180910390f35b610910600480360360208110156108fa57600080fd5b8101908080359060200190929190505050612609565b604051808215151515815260200191505060405180910390f35b610932612744565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561097557808201518184015260208101905061095a565b505050509050019250505060405180910390f35b6109cb6004803603602081101561099f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612807565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015610a0e5780820151818401526020810190506109f3565b505050509050019250505060405180910390f35b610adb60048036036020811015610a3857600080fd5b8101908080359060200190640100000000811115610a5557600080fd5b820183602082011115610a6757600080fd5b80359060200191846001830284011164010000000083111715610a8957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506128d7565b6040518082815260200191505060405180910390f35b610af9612a6b565b6040518082815260200191505060405180910390f35b610b17612a77565b6040518085815260200184815260200183815260200182815260200194505050505060405180910390f35b610bce60048036036080811015610b5857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a9e565b604051808215151515815260200191505060405180910390f35b610c2a60048036036020811015610bfe57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061311c565b6040518082815260200191505060405180910390f35b610c7660048036036040811015610c5657600080fd5b81019080803590602001909291908035906020019092919050505061316e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610ce460048036036020811015610cce57600080fd5b81019080803590602001909291905050506132c0565b604051808215151515815260200191505060405180910390f35b610db760048036036020811015610d1457600080fd5b8101908080359060200190640100000000811115610d3157600080fd5b820183602082011115610d4357600080fd5b80359060200191846001830284011164010000000083111715610d6557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050613419565b6040518082815260200191505060405180910390f35b610e0f60048036036020811015610de357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506135ad565b6040518082815260200191505060405180910390f35b610ebb600480360360a0811015610e3b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506136e5565b604051808215151515815260200191505060405180910390f35b610edd61378e565b604051808060200180602001838103835285818151815260200191508051906020019060200280838360005b83811015610f24578082015181840152602081019050610f09565b50505050905001838103825284818151815260200191508051906020019060200280838360005b83811015610f66578082015181840152602081019050610f4b565b5050505090500194505050505060405180910390f35b610f84613959565b005b610f8e613a92565b6040518082815260200191505060405180910390f35b610fac613aa2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610ff6613ac8565b6040518082815260200191505060405180910390f35b6110c56004803603602081101561102257600080fd5b810190808035906020019064010000000081111561103f57600080fd5b82018360208201111561105157600080fd5b8035906020019184600183028401116401000000008311171561107357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050613c0f565b6040518082815260200191505060405180910390f35b61111d600480360360208110156110f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050613da3565b604051808215151515815260200191505060405180910390f35b61113f613e73565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6112cc600480360360a081101561119757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156111de57600080fd5b8201836020820111156111f057600080fd5b8035906020019184602083028401116401000000008311171561121257600080fd5b90919293919293908035906020019064010000000081111561123357600080fd5b82018360208201111561124557600080fd5b8035906020019184602083028401116401000000008311171561126757600080fd5b90919293919293908035906020019064010000000081111561128857600080fd5b82018360208201111561129a57600080fd5b803590602001918460208302840111640100000000831117156112bc57600080fd5b9091929391929390505050613e9c565b6040518082815260200191505060405180910390f35b6112ea614446565b604051808215151515815260200191505060405180910390f35b61133a6004803603604081101561131a57600080fd5b8101908080359060200190929190803590602001909291905050506144a4565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561137d578082015181840152602081019050611362565b505050509050019250505060405180910390f35b6113d3600480360360208110156113a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050614f85565b6040518082815260200191505060405180910390f35b61142b600480360360208110156113ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050614fd7565b6040518082815260200191505060405180910390f35b611449615029565b6040518082815260200191505060405180910390f35b611467615053565b6040518082815260200191505060405180910390f35b6114a96004803603602081101561149357600080fd5b8101908080359060200190929190505050615063565b6040518082815260200191505060405180910390f35b611521600480360360408110156114d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506151ac565b6040518082815260200191505060405180910390f35b6115cd600480360360a081101561154d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061523f565b604051808215151515815260200191505060405180910390f35b611669600480360360608110156115fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061569d565b005b6116cd6004803603604081101561168157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061599d565b6040518082815260200191505060405180910390f35b6116eb615a2d565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561172e578082015181840152602081019050611713565b505050509050019250505060405180910390f35b6117846004803603602081101561175857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615b61565b005b6117c86004803603602081101561179c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615de1565b005b6117d2615f85565b6040518082815260200191505060405180910390f35b6117f0615f8b565b6040518082815260200191505060405180910390f35b6118686004803603604081101561181c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615fb1565b604051808215151515815260200191505060405180910390f35b6118e46004803603604081101561189857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616054565b6040518082815260200191505060405180910390f35b61193c6004803603602081101561191057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506160ed565b6040518082815260200191505060405180910390f35b61195a616199565b6040518082815260200191505060405180910390f35b6119fc6004803603608081101561198657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506162d5565b604051808215151515815260200191505060405180910390f35b611a4260048036036020811015611a2c57600080fd5b8101908080359060200190929190505050616450565b6040518082815260200191505060405180910390f35b611aa460048036036040811015611a6e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061649b565b604051808215151515815260200191505060405180910390f35b611b1c600480360360c0811015611ad457600080fd5b810190808035906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190803590602001909291905050506166e5565b604051808381526020018281526020019250505060405180910390f35b611bda60048036036060811015611b4f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115611b9657600080fd5b820183602082011115611ba857600080fd5b80359060200191846020830284011164010000000083111715611bca57600080fd5b90919293919293905050506168f9565b6040518082815260200191505060405180910390f35b611c3260048036036020811015611c0657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616c33565b005b611c6a60048036036040811015611c4a57600080fd5b810190808035906020019092919080359060200190929190505050616cb9565b604051808215151515815260200191505060405180910390f35b611cee600480360360a0811015611c9a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190505050616ee9565b005b611cf8616fbf565b604051808381526020018281526020019250505060405180910390f35b611d1d616fd1565b604051808381526020018281526020019250505060405180910390f35b611d6660048036036020811015611d5057600080fd5b8101908080359060200190929190505050616fe8565b6040518082815260200191505060405180910390f35b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16844360405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310611df55780518252602082019150602081019050602083039250611dd2565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611e55576040519150601f19603f3d011682016040523d82523d6000602084013e611e5a565b606091505b50809350819250505080611eb9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d81526020018061a104603d913960400191505060405180910390fd5b611ec4826000617131565b92505050919050565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611f6f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4f6e6c7920564d2063616e2063616c6c0000000000000000000000000000000081525060200191505060405180910390fd5b611f7b84848484617148565b50505050565b600260009054906101000a900460ff1681565b600060018060008282540192505081905550600060015490506000611fb7617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561203357600080fd5b505afa158015612047573d6000803e3d6000fd5b505050506040513d602081101561205d57600080fd5b8101908080519060200190929190505050905061207a8482617624565b92505060015481146120f4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50919050565b6000600360020160000154905090565b60008060fb73ffffffffffffffffffffffffffffffffffffffff16858585604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140183805190602001908083835b602083106121935780518252602082019150602081019050602083039250612170565b6001836020036101000a03801982511681845116808217855250505050505090500182805190602001908083835b602083106121e457805182526020820191506020810190506020830392506121c1565b6001836020036101000a03801982511681845116808217855250505050505090500193505050506040516020818303038152906040526040518082805190602001908083835b6020831061224d578051825260208201915060208101905060208303925061222a565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146122ad576040519150601f19603f3d011682016040523d82523d6000602084013e6122b2565b606091505b505080915050809150509392505050565b600080600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050612355615053565b816001015410801561236b575060008160000154115b91505092915050565b606061238a600d60000154600d600101546144a4565b905090565b6000806124fd61239d617841565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b1580156123e257600080fd5b505afa1580156123f6573d6000803e3d6000fd5b505050506040513d602081101561240c57600080fd5b81019080805190602001909291905050506124ef600161242a61793c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e8886040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156124a657600080fd5b505afa1580156124ba573d6000803e3d6000fd5b505050506040513d60208110156124d057600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b617abf90919063ffffffff16565b90506000612597600d6001015461251261793c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b15801561255757600080fd5b505afa15801561256b573d6000803e3d6000fd5b505050506040513d602081101561258157600080fd5b8101908080519060200190929190505050617b45565b90506125ac8183617b5e90919063ffffffff16565b92505050919050565b6000806125c284846151ac565b905060006125d08585616054565b90506125e58183617a3790919063ffffffff16565b9250505092915050565b6000612602826125fd616199565b617ba8565b9050919050565b6000612613614446565b612685576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600f548214156126fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4d61782067726f75707320766f74656420666f72206e6f74206368616e67656481525060200191505060405180910390fd5b81600f819055507f1993a3864c31265ef86eec51d147eff697dee0466c92ac9abddcc4c4c6829348826040518082815260200191505060405180910390a160019050919050565b60606000612750613ac8565b90506060816040519080825280602002602001820160405280156127835781602001602082028038833980820191505090505b50905060008090505b828110156127fe5761279d81611d7c565b8282815181106127a957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506127f7600182617a3790919063ffffffff16565b905061278c565b50809250505090565b6060600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806020026020016040519081016040528092919081815260200182805480156128cb57602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311612881575b50505050509050919050565b60006060600060f473ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b6020831061292c5780518252602082019150602081019050602083039250612909565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106129935780518252602082019150602081019050602083039250612970565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146129f3576040519150601f19603f3d011682016040523d82523d6000602084013e6129f8565b606091505b50809350819250505080612a57576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603881526020018061a0736038913960400191505060405180910390fd5b612a62826000617bf0565b92505050919050565b60108060000154905081565b60008060008060018060026001839350829250819150809050935093509350935090919293565b60006001806000828254019250508190555060006001549050600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab6302f130289091886040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015612b4357600080fd5b505af4158015612b57573d6000803e3d6000fd5b505050506040513d6020811015612b6d57600080fd5b8101908080519060200190929190505050612bf0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f7570206e6f7420656c696769626c65000000000000000000000000000081525060200191505060405180910390fd5b84600010612c66576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b612c70868661649b565b612ce2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f47726f75702063616e6e6f74207265636569766520766f74657300000000000081525060200191505060405180910390fd5b6000612cec617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612d6857600080fd5b505afa158015612d7c573d6000803e3d6000fd5b505050506040513d6020811015612d9257600080fd5b8101908080519060200190929190505050905060008090506000600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905060008090505b8180549050811015612e8c578280612e6f57508973ffffffffffffffffffffffffffffffffffffffff16828281548110612e2c57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b9250612e85600182617a3790919063ffffffff16565b9050612df6565b5081612f7357600f54818054905010612f0d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74656420666f7220746f6f206d616e792067726f7570730000000000000081525060200191505060405180910390fd5b808990806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505b612f7e89848a617c91565b612f8a89898989617d99565b612f92617841565b73ffffffffffffffffffffffffffffffffffffffff166318a4ff8c848a6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561301857600080fd5b505af115801561302c573d6000803e3d6000fd5b505050508873ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fd3532f70444893db82221041edb4dc26c94593aeb364b0b14dfc77d5ee9051528a6040518082815260200191505060405180910390a3600194505050506001548114613113576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101549050919050565b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16858560405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b602083106131e757805182526020820191506020810190506020830392506131c4565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613247576040519150601f19603f3d011682016040523d82523d6000602084013e61324c565b606091505b508093508192505050806132ab576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061a1766036913960400191505060405180910390fd5b6132b6826000617131565b9250505092915050565b60006132ca614446565b61333c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61334582617f91565b60106000820151816000015590505061338461335f617faf565b6010604051806020016040529081600082015481525050617fd590919063ffffffff16565b6133d9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e81526020018061a045602e913960400191505060405180910390fd5b7f9854be03126e38f9c318d8aabe1b150d09cb3a57059b21855b1e11d44e082c1a826040518082815260200191505060405180910390a160019050919050565b60006060600060f673ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b6020831061346e578051825260208201915060208101905060208303925061344b565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106134d557805182526020820191506020810190506020830392506134b2565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613535576040519150601f19603f3d011682016040523d82523d6000602084013e61353a565b606091505b50809350819250505080613599576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a30f6023913960400191505060405180910390fd5b6135a4826000617bf0565b92505050919050565b600080600090506060600360090160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561367857602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161362e575b5050505050905060008090505b81518110156136da576136bd6136ae8383815181106136a057fe5b6020026020010151876125b5565b84617a3790919063ffffffff16565b92506136d3600182617a3790919063ffffffff16565b9050613685565b508192505050919050565b6000600180600082825401925050819055506000600154905061370b8787878787617fea565b91506001548114613784576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b606080600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab6369b317e390916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b1580156137e957600080fd5b505af41580156137fd573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250604081101561382757600080fd5b810190808051604051939291908464010000000082111561384757600080fd5b8382019150602082018581111561385d57600080fd5b825186602082028301116401000000008211171561387a57600080fd5b8083526020830192505050908051906020019060200280838360005b838110156138b1578082015181840152602081019050613896565b50505050905001604052602001805160405193929190846401000000008211156138da57600080fd5b838201915060208201858111156138f057600080fd5b825186602082028301116401000000008211171561390d57600080fd5b8083526020830192505050908051906020019060200280838360005b83811015613944578082015181840152602081019050613929565b50505050905001604052505050915091509091565b613961614446565b6139d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000613a9d43616450565b905090565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1643604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310613b395780518252602082019150602081019050602083039250613b16565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613b99576040519150601f19603f3d011682016040523d82523d6000602084013e613b9e565b606091505b50809350819250505080613bfd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603581526020018061a1416035913960400191505060405180910390fd5b613c08826000617131565b9250505090565b60006060600060f773ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310613c645780518252602082019150602081019050602083039250613c41565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b60208310613ccb5780518252602082019150602081019050602083039250613ca8565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613d2b576040519150601f19603f3d011682016040523d82523d6000602084013e613d30565b606091505b50809350819250505080613d8f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603181526020018061a28c6031913960400191505060405180910390fd5b613d9a826000617131565b92505050919050565b6000600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab6302f130289091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015613e3157600080fd5b505af4158015613e45573d6000803e3d6000fd5b505050506040513d6020811015613e5b57600080fd5b81019080805190602001909291905050509050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600180600082825401925050819055506000600154905060405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015613f8657600080fd5b505afa158015613f9a573d6000803e3d6000fd5b505050506040513d6020811015613fb057600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff161461404a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b60008a116140a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a2e86027913960400191505060405180910390fd5b6140ab619f03565b6040518060400160405280600360090160008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561417857602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161412e575b505050505081526020018c81525090508060000151518a8a9050111580156141a55750878790508a8a9050145b80156141b657508585905088889050145b61420b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061a0246021913960400191505060405180910390fd5b600081600001515190505b60008111156143425761430c6142f98e846000015161423f6001866183c590919063ffffffff16565b8151811061424957fe5b602002602001015185602001518f8f61426c6001896183c590919063ffffffff16565b81811061427557fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168e8e6142a860018a6183c590919063ffffffff16565b8181106142b157fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168d8d6142e460018b6183c590919063ffffffff16565b8181106142ed57fe5b9050602002013561840f565b83602001516183c590919063ffffffff16565b82602001818152505060008260200151141561432757614342565b61433b6001826183c590919063ffffffff16565b9050614216565b5060008160200151146143bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4661696c75726520746f2064656372656d656e7420616c6c20766f7465732e0081525060200191505060405180910390fd5b8a935050506001548114614439576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5098975050505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16614488618623565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060006144e86144e36144be6144b9615029565b61862b565b60106040518060200160405290816000820154815250506186b590919063ffffffff16565b618b14565b90506000600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab6342b6351a909184876040518463ffffffff1660e01b815260040180848152602001838152602001828152602001935050505060206040518083038186803b15801561455457600080fd5b505af4158015614568573d6000803e3d6000fd5b505050506040513d602081101561457e57600080fd5b810190808051906020019092919050505090506060600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63dcb2a4dd9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b1580156145f357600080fd5b505af4158015614607573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561463157600080fd5b810190808051604051939291908464010000000082111561465157600080fd5b8382019150602082018581111561466757600080fd5b825186602082028301116401000000008211171561468457600080fd5b8083526020830192505050908051906020019060200280838360005b838110156146bb5780820151818401526020810190506146a0565b50505050905001604052505050905060606146d461793c565b73ffffffffffffffffffffffffffffffffffffffff166370447754836040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019060200280838360005b83811015614742578082015181840152602081019050614727565b505050509050019250505060006040518083038186803b15801561476557600080fd5b505afa158015614779573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f8201168201806040525060208110156147a357600080fd5b81019080805160405193929190846401000000008211156147c357600080fd5b838201915060208201858111156147d957600080fd5b82518660208202830111640100000000821117156147f657600080fd5b8083526020830192505050908051906020019060200280838360005b8381101561482d578082015181840152602081019050614812565b5050505090500160405250505090506060825160405190808252806020026020018201604052801561486e5781602001602082028038833980820191505090505b5090506000809050606084516040519080825280602002602001820160405280156148a85781602001602082028038833980820191505090505b509050606085516040519080825280602002602001820160405280156148e857816020015b6148d5619f1d565b8152602001906001900390816148cd5790505b50905060008090505b8651811015614a27578083828151811061490757fe5b6020026020010181815250506149f5600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63e0fe44b390918a858151811061494657fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156149b557600080fd5b505af41580156149c9573d6000803e3d6000fd5b505050506040513d60208110156149df57600080fd5b810190808051906020019092919050505061862b565b828281518110614a0157fe5b6020026020010181905250614a20600182617a3790919063ffffffff16565b90506148f1565b505b8983108015614a39575060008651115b15614c7357600082600081518110614a4d57fe5b602002602001015190506000614a75838381518110614a6857fe5b6020026020010151618b35565b1415614a815750614c73565b848181518110614a8d57fe5b6020026020010151868281518110614aa157fe5b602002602001015111614ad457614ab86000617f91565b828281518110614ac457fe5b6020026020010181905250614c63565b614afb6001868381518110614ae557fe5b6020026020010151617a3790919063ffffffff16565b858281518110614b0757fe5b602002602001018181525050614b27600185617a3790919063ffffffff16565b9350614c4b614b5b614b566001888581518110614b4057fe5b6020026020010151617a3790919063ffffffff16565b61862b565b614c3d600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63e0fe44b390918c8781518110614b8e57fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015614bfd57600080fd5b505af4158015614c11573d6000803e3d6000fd5b505050506040513d6020811015614c2757600080fd5b810190808051906020019092919050505061862b565b618b4390919063ffffffff16565b828281518110614c5757fe5b60200260200101819052505b614c6d8383618c8c565b50614a29565b8a831015614ce9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4e6f7420656e6f75676820656c65637465642076616c696461746f727300000081525060200191505060405180910390fd5b606083604051908082528060200260200182016040528015614d1a5781602001602082028038833980820191505090505b5090506000935060008090505b8751811015614f72576060614d3a61793c565b73ffffffffffffffffffffffffffffffffffffffff16638dd31e398a8481518110614d6157fe5b6020026020010151898581518110614d7557fe5b60200260200101516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060006040518083038186803b158015614de457600080fd5b505afa158015614df8573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015614e2257600080fd5b8101908080516040519392919084640100000000821115614e4257600080fd5b83820191506020820185811115614e5857600080fd5b8251866020820283011164010000000082111715614e7557600080fd5b8083526020830192505050908051906020019060200280838360005b83811015614eac578082015181840152602081019050614e91565b50505050905001604052505050905060008090505b8151811015614f5557818181518110614ed657fe5b6020026020010151848881518110614eea57fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050614f38600188617a3790919063ffffffff16565b9650614f4e600182617a3790919063ffffffff16565b9050614ec1565b5050614f6b600182617a3790919063ffffffff16565b9050614d27565b5080995050505050505050505092915050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b6000600360000160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b600061504e600360000160000154600360020160000154617a3790919063ffffffff16565b905090565b600061505e436125ef565b905090565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106150d457805182526020820191506020810190506020830392506150b1565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114615134576040519150601f19603f3d011682016040523d82523d6000602084013e615139565b606091505b50809350819250505080615198576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180619fd0602e913960400191505060405180910390fd5b6151a3826000617131565b92505050919050565b6000600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154905092915050565b60006001806000828254019250508190555060006001549050600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156152fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b6000615305617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561538157600080fd5b505afa158015615395573d6000803e3d6000fd5b505050506040513d60208110156153ab57600080fd5b8101908080519060200190929190505050905086600010615434576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b61543e88826151ac565b871115615496576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061a2196024913960400191505060405180910390fd5b6154a1888289618c9e565b6154ad88888888618dae565b6154b5617841565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a582896040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561553b57600080fd5b505af115801561554f573d6000803e3d6000fd5b50505050600061555f89836125b5565b14156155b2576155b1600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208986619073565b5b8773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe896040518082815260200191505060405180910390a360019250506001548114615693576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561576e57600080fd5b505afa158015615782573d6000803e3d6000fd5b505050506040513d602081101561579857600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614615832576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b600061583d856160ed565b9050600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab632dedbbf09091878488886040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561593b57600080fd5b505af415801561594f573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167f8f21dc7ff6f55d73e4fca52a4ef4fcc14fbda43ac338d24922519d51455d39c160405160405180910390a25050505050565b6000600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6060600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab633a72e80290916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b158015615a8757600080fd5b505af4158015615a9b573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015615ac557600080fd5b8101908080516040519392919084640100000000821115615ae557600080fd5b83820191506020820185811115615afb57600080fd5b8251866020820283011164010000000082111715615b1857600080fd5b8083526020830192505050908051906020019060200280838360005b83811015615b4f578082015181840152602081019050615b34565b50505050905001604052505050905090565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015615c3257600080fd5b505afa158015615c46573d6000803e3d6000fd5b505050506040513d6020811015615c5c57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614615cf6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63281359299091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060006040518083038186803b158015615d8257600080fd5b505af4158015615d96573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff167f5c8cd4e832f3a7d79f9208c2acf25a412143aa3f751cfd3728c42a0fea4921a860405160405180910390a25050565b615de9614446565b615e5b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415615efe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f43616e6e6f7420726567697374657220746865206e756c6c206164647265737381525060200191505060405180910390fd5b80600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f27fe5f0c1c3b1ed427cc63d0f05759ffdecf9aec9e18d31ef366fc8a6cb5dc3b60405160405180910390a250565b600f5481565b6000615fac6010604051806020016040529081600082015481525050618b35565b905090565b60006001806000828254019250508190555060006001549050615fd48484617624565b9150600154811461604d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5092915050565b60006160e583600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054619214565b905092915050565b6000616192600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154600360000160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617a3790919063ffffffff16565b9050919050565b60006060600060f873ffffffffffffffffffffffffffffffffffffffff166040516020016040516020818303038152906040526040518082805190602001908083835b602083106161ff57805182526020820191506020810190506020830392506161dc565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461625f576040519150601f19603f3d011682016040523d82523d6000602084013e616264565b606091505b508093508192505050806162c3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061a1f46025913960400191505060405180910390fd5b6162ce826000617131565b9250505090565b6000600180600082825401925050819055506000600154905060006162f8617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561637457600080fd5b505afa158015616388573d6000803e3d6000fd5b505050506040513d602081101561639e57600080fd5b8101908080519060200190929190505050905060006163bd8883616054565b90506163cc8882898989617fea565b935050506001548114616447576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b600061649460036164866002616478600261646a88615063565b617abf90919063ffffffff16565b617a3790919063ffffffff16565b617b5e90919063ffffffff16565b9050919050565b6000806164b9836164ab866160ed565b617a3790919063ffffffff16565b90506000616565616556600d600101546164d161793c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b15801561651657600080fd5b505afa15801561652a573d6000803e3d6000fd5b505050506040513d602081101561654057600080fd5b8101908080519060200190929190505050617b45565b83617abf90919063ffffffff16565b905060006166d4616574617841565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b1580156165b957600080fd5b505afa1580156165cd573d6000803e3d6000fd5b505050506040513d60208110156165e357600080fd5b81019080805190602001909291905050506166c6600161660161793c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e88b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561667d57600080fd5b505afa158015616691573d6000803e3d6000fd5b505050506040513d60208110156166a757600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b617abf90919063ffffffff16565b905080821115935050505092915050565b600080600087141580156166fa575060008514155b61676c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f612064656e6f6d696e61746f72206973207a65726f000000000000000000000081525060200191505060405180910390fd5b6000806000606060fc73ffffffffffffffffffffffffffffffffffffffff168c8c8c8c8c8c6040516020018087815260200186815260200185815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040526040518082805190602001908083835b6020831061680657805182526020820191506020810190506020830392506167e3565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114616866576040519150601f19603f3d011682016040523d82523d6000602084013e61686b565b606091505b508092508193505050816168ca576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a1cd6027913960400191505060405180910390fd5b6168d5816000617131565b93506168e2816020617131565b925083839550955050505050965096945050505050565b60008061690461793c565b90508073ffffffffffffffffffffffffffffffffffffffff1663c54c1cd4876040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561698357600080fd5b505afa158015616997573d6000803e3d6000fd5b505050506040513d60208110156169ad57600080fd5b810190808051906020019092919050505015806169d35750600060036002016000015411155b156169e2576000915050616c2b565b6169ea619f30565b616a44600360020160010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015460036002016000015461932d565b9050616a4e619f30565b616b118373ffffffffffffffffffffffffffffffffffffffff166376f7425d88886040518363ffffffff1660e01b815260040180806020018281038252848482818152602001925060200280828437600081840152601f19601f820116905080830192505050935050505060206040518083038186803b158015616ad157600080fd5b505afa158015616ae5573d6000803e3d6000fd5b505050506040513d6020811015616afb57600080fd5b8101908080519060200190929190505050617f91565b9050616b1b619f30565b616bdb8473ffffffffffffffffffffffffffffffffffffffff1663dba94fcd8b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616b9b57600080fd5b505afa158015616baf573d6000803e3d6000fd5b505050506040513d6020811015616bc557600080fd5b8101908080519060200190929190505050617f91565b9050616c24616c1f82616c1185616c0388616bf58f61862b565b6186b590919063ffffffff16565b6186b590919063ffffffff16565b6186b590919063ffffffff16565b618b14565b9450505050505b949350505050565b616c3b614446565b616cad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b616cb68161936f565b50565b6000616cc3614446565b616d35576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b82600010616d8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b81526020018061a2bd602b913960400191505060405180910390fd5b81831115616de7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180619f95603b913960400191505060405180910390fd5b600d6000015483141580616e005750600d600101548214155b616e72576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f456c65637461626c652076616c696461746f7273206e6f74206368616e67656481525060200191505060405180910390fd5b604051806040016040528084815260200183815250600d60008201518160000155602082015181600101559050507fb3ae64819ff89f6136eb58b8563cb32c6550f17eaf97f9ecc32f23783229f6de8383604051808381526020018281526020019250505060405180910390a16001905092915050565b600260009054906101000a900460ff1615616f6c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f636f6e747261637420616c726561647920696e697469616c697a65640000000081525060200191505060405180910390fd5b6001600260006101000a81548160ff021916908315150217905550616f903361936f565b616f9985615de1565b616fa38484616cb9565b50616fad82612609565b50616fb7816132c0565b505050505050565b600d8060000154908060010154905082565b600080600d60000154600d60010154915091509091565b60006060600060f573ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106170595780518252602082019150602081019050602083039250617036565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146170b9576040519150601f19603f3d011682016040523d82523d6000602084013e6170be565b606091505b5080935081925050508061711d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061a260602c913960400191505060405180910390fd5b617128826000617bf0565b92505050919050565b600061713d8383617bf0565b60001c905092915050565b600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab6302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156171d457600080fd5b505af41580156171e8573d6000803e3d6000fd5b505050506040513d60208110156171fe57600080fd5b8101908080519060200190929190505050156174075760006172ef84600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156172a657600080fd5b505af41580156172ba573d6000803e3d6000fd5b505050506040513d60208110156172d057600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b9050600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b1580156173ed57600080fd5b505af4158015617401573d6000803e3d6000fd5b50505050505b61746283600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617a3790919063ffffffff16565b600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055506174c983600360020160000154617a3790919063ffffffff16565b6003600201600001819055508373ffffffffffffffffffffffffffffffffffffffff167f91ba34d62474c14d6c623cd322f4256666c7a45b7fdaa3378e009d39dfcec2a7846040518082815260200191505060405180910390a250505050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4163636f756e74730000000000000000000000000000000000000000000000008152506008019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156175e457600080fd5b505afa1580156175f8573d6000803e3d6000fd5b505050506040513d602081101561760e57600080fd5b8101908080519060200190929190505050905090565b600080600360000160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506176b6615053565b81600101541061772e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f50656e64696e6720766f74652065706f6368206e6f742070617373656400000081525060200191505060405180910390fd5b600081600001549050600081116177ad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b6177b8858583618c9e565b60006177c58686846194b3565b90508573ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f45aac85f38083b18efe2d441a65b9c1ae177c78307cb5a5d4aec8f7dbcaeabfe8484604051808381526020018281526020019250505060405180910390a36001935050505092915050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156178fc57600080fd5b505afa158015617910573d6000803e3d6000fd5b505050506040513d602081101561792657600080fd5b8101908080519060200190929190505050905090565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156179f757600080fd5b505afa158015617a0b573d6000803e3d6000fd5b505050506040513d6020811015617a2157600080fd5b8101908080519060200190929190505050905090565b600080828401905083811015617ab5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080831415617ad25760009050617b3f565b6000828402905082848281617ae357fe5b0414617b3a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061a1ac6021913960400191505060405180910390fd5b809150505b92915050565b6000818310617b545781617b56565b825b905092915050565b6000617ba083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250619613565b905092915050565b600080828481617bb457fe5b0490506000838581617bc257fe5b061415617bd25780915050617bea565b617be6600182617a3790919063ffffffff16565b9150505b92915050565b6000617c06602083617a3790919063ffffffff16565b83511015617c7c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736c6963696e67206f7574206f662072616e676500000000000000000000000081525060200191505060405180910390fd5b60006020830184015190508091505092915050565b600060036000019050617cb1828260000154617a3790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617d15838260000154617a3790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617d79848260000154617a3790919063ffffffff16565b8160000181905550617d89615053565b8160010181905550505050505050565b6000617e7484600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015617e2b57600080fd5b505af4158015617e3f573d6000803e3d6000fd5b505050506040513d6020811015617e5557600080fd5b8101908080519060200190929190505050617a3790919063ffffffff16565b9050600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b158015617f7257600080fd5b505af4158015617f86573d6000803e3d6000fd5b505050505050505050565b617f99619f30565b6040518060200160405280838152509050919050565b617fb7619f30565b604051806020016040528069d3c21bcecceda1000000815250905090565b60008160000151836000015110905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16141561808e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b6000618098617529565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561811457600080fd5b505afa158015618128573d6000803e3d6000fd5b505050506040513d602081101561813e57600080fd5b81019080805190602001909291905050509050856000106181c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b6181d18782616054565b861115618229576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a0e16023913960400191505060405180910390fd5b60006182368883896196d9565b905061824488888888618dae565b61824c617841565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a583896040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156182d257600080fd5b505af11580156182e6573d6000803e3d6000fd5b5050505060006182f689846125b5565b141561834957618348600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208986619073565b5b8773ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88984604051808381526020018281526020019250505060405180910390a360019250505095945050505050565b600061840783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061989d565b905092915050565b6000808590506000618421888a6151ac565b905060008111156184c15760006184388383617b45565b9050618445898b83618c9e565b8873ffffffffffffffffffffffffffffffffffffffff168a73ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe836040518082815260200191505060405180910390a36184bd81846183c590919063ffffffff16565b9250505b60006184cd898b616054565b90506000811180156184df5750600083115b156185865760006184f08483617b45565b905060006184ff8b8d846196d9565b90508a73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88484604051808381526020018281526020019250505060405180910390a361858182866183c590919063ffffffff16565b945050505b600061859b848a6183c590919063ffffffff16565b90506000811115618612576185b28a828a8a618dae565b60006185be8b8d6125b5565b141561861157618610600360090160008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208b88619073565b5b5b809450505050509695505050505050565b600033905090565b618633619f30565b61863b61995d565b821115618693576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061a0ab6036913960400191505060405180910390fd5b604051806020016040528069d3c21bcecceda100000084028152509050919050565b6186bd619f30565b6000836000015114806186d4575060008260000151145b156186f057604051806020016040528060008152509050618b0e565b69d3c21bcecceda10000008260000151141561870e57829050618b0e565b69d3c21bcecceda10000008360000151141561872c57819050618b0e565b600069d3c21bcecceda10000006187428561997c565b600001518161874d57fe5b049050600061875b856199b3565b600001519050600069d3c21bcecceda10000006187778661997c565b600001518161878257fe5b0490506000618790866199b3565b600001519050600082850290506000851461882457828582816187af57fe5b0414618823576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b600069d3c21bcecceda100000082029050600082146188c65769d3c21bcecceda100000082828161885157fe5b04146188c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f6f766572666c6f772078317931202a206669786564312064657465637465640081525060200191505060405180910390fd5b5b809150600084860290506000861461895757848682816188e257fe5b0414618956576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b60008488029050600088146189e5578488828161897057fe5b04146189e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b6189ed6199f0565b87816189f557fe5b049650618a006199f0565b8581618a0857fe5b0494506000858802905060008814618a995785888281618a2457fe5b0414618a98576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b618aa1619f30565b6040518060200160405280878152509050618aca816040518060200160405280878152506199fd565b9050618ae4816040518060200160405280868152506199fd565b9050618afe816040518060200160405280858152506199fd565b9050809a50505050505050505050505b92915050565b600069d3c21bcecceda1000000826000015181618b2d57fe5b049050919050565b600081600001519050919050565b618b4b619f30565b600082600001511415618bc6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f63616e277420646976696465206279203000000000000000000000000000000081525060200191505060405180910390fd5b600069d3c21bcecceda10000008460000151029050836000015169d3c21bcecceda10000008281618bf357fe5b0414618c67576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f6f766572666c6f7720617420646976696465000000000000000000000000000081525060200191505060405180910390fd5b604051806020016040528084600001518381618c7f57fe5b0481525091505092915050565b618c9a828260008551619aa6565b5050565b600060036000019050618cbe8282600001546183c590919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618d228382600001546183c590919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618d868482600001546183c590919063ffffffff16565b8160000181905550600081600001541415618da657600081600101819055505b505050505050565b600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab6302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015618e3a57600080fd5b505af4158015618e4e573d6000803e3d6000fd5b505050506040513d6020811015618e6457600080fd5b81019080805190602001909291905050501561906d576000618f5584600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015618f0c57600080fd5b505af4158015618f20573d6000803e3d6000fd5b505050506040513d6020811015618f3657600080fd5b81019080805190602001909291905050506183c590919063ffffffff16565b9050600360040160000173library4819ad0a0eb1304b1d7bc3afd7818017b52a87ab63cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561905357600080fd5b505af4158015619067573d6000803e3d6000fd5b50505050505b50505050565b8280549050811080156190e757508173ffffffffffffffffffffffffffffffffffffffff168382815481106190a457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b619159576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f42616420696e646578000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000619173600185805490506183c590919063ffffffff16565b905083818154811061918157fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168483815481106191b857fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080848161920d9190619f43565b5050505050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154141561926f5760009050619327565b619324600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154619316600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015485617abf90919063ffffffff16565b617b5e90919063ffffffff16565b90505b92915050565b619335619f30565b61933d619f30565b6193468461862b565b9050619350619f30565b6193598461862b565b90506193658282618b43565b9250505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156193f5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180619ffe6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600360020190506194d4838260000154617a3790919063ffffffff16565b816000018190555060006194e88685619dbb565b905060008260010160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050619546858260000154617a3790919063ffffffff16565b8160000181905550619565828260010154617a3790919063ffffffff16565b81600101819055506195c1828260020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054617a3790919063ffffffff16565b8160020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508193505050509392505050565b600080831182906196bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015619684578082015181840152602081019050619669565b50505050905090810190601f1680156196b15780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816196cb57fe5b049050809150509392505050565b600080600360020190506196fa8382600001546183c590919063ffffffff16565b8160000181905550600080905060006197138787616054565b905060008360010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050858214156197ab578060020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205492506197b8565b6197b58887619dbb565b92505b6197cf8682600001546183c590919063ffffffff16565b81600001819055506197ee8382600101546183c590919063ffffffff16565b816001018190555061984a838260020160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546183c590919063ffffffff16565b8160020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550829450505050509392505050565b600083831115829061994a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561990f5780820151818401526020810190506198f4565b50505050905090810190601f16801561993c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60007601357c299a88ea76a58924d52ce4f26a85af186c2b9e74905090565b619984619f30565b604051806020016040528069d3c21bcecceda1000000808560000151816199a757fe5b04028152509050919050565b6199bb619f30565b604051806020016040528069d3c21bcecceda1000000808560000151816199de57fe5b04028460000151038152509050919050565b600064e8d4a51000905090565b619a05619f30565b6000826000015184600001510190508360000151811015619a8e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616464206f766572666c6f77206465746563746564000000000000000000000081525060200191505060405180910390fd5b60405180602001604052808281525091505092915050565b8251845114619b00576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a23d6023913960400191505060405180910390fd5b83518210619b76576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f6865617020737461727420696e646578206f7574206f662072616e676500000081525060200191505060405180910390fd5b8351811115619bed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f68656170206c656e677468206f7574206f662072616e6765000000000000000081525060200191505060405180910390fd5b60008290505b600115619db4576000619c236001619c15600285617abf90919063ffffffff16565b617a3790919063ffffffff16565b90506000619c4e6002619c40600286617abf90919063ffffffff16565b617a3790919063ffffffff16565b905060008390508483108015619cbf5750619cbe87898381518110619c6f57fe5b602002602001015181518110619c8157fe5b6020026020010151888a8681518110619c9657fe5b602002602001015181518110619ca857fe5b6020026020010151619eee90919063ffffffff16565b5b15619cc8578290505b8482108015619d325750619d3187898381518110619ce257fe5b602002602001015181518110619cf457fe5b6020026020010151888a8581518110619d0957fe5b602002602001015181518110619d1b57fe5b6020026020010151619eee90919063ffffffff16565b5b15619d3b578190505b83811415619d4b57505050619db4565b6000888581518110619d5957fe5b60200260200101519050888281518110619d6f57fe5b6020026020010151898681518110619d8357fe5b60200260200101818152505080898381518110619d9c57fe5b60200260200101818152505081945050505050619bf3565b5050505050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101541415619e3057619e2968056bc75e2d6310000083617abf90919063ffffffff16565b9050619ee8565b619ee5600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154619ed7600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015485617abf90919063ffffffff16565b617b5e90919063ffffffff16565b90505b92915050565b60008160000151836000015111905092915050565b604051806040016040528060608152602001600081525090565b6040518060200160405280600081525090565b6040518060200160405280600081525090565b815481835581811115619f6a57818360005260206000209182019101619f699190619f6f565b5b505050565b619f9191905b80821115619f8d576000816000905550600101619f75565b5090565b9056fe4d6178696d756d20656c65637461626c652076616c696461746f72732063616e6e6f7420626520736d616c6c6572207468616e206d696e696d756d6572726f722063616c6c696e67206e756d62657256616c696461746f7273496e53657420707265636f6d70696c654f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373496e707574206c656e67746873206d75737420626520636f72726573706f6e642e456c6563746162696c697479207468726573686f6c64206d757374206265206c6f776572207468616e20313030256572726f722063616c6c696e672067657456657269666965645365616c4269746d617046726f6d48656164657220707265636f6d70696c6563616e277420637265617465206669786964697479206e756d626572206c6172676572207468616e206d61784e657746697865642829566f74652076616c7565206c6172676572207468616e2061637469766520766f7465736572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e67206e756d62657256616c696461746f7273496e43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d53657420707265636f6d70696c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f776572726f722063616c6c696e67206672616374696f6e4d756c45787020707265636f6d70696c656572726f722063616c6c696e672067657445706f636853697a6520707265636f6d70696c65566f74652076616c7565206c6172676572207468616e2070656e64696e6720766f7465736b657920616e642076616c7565206172726179206c656e677468206d69736d617463686572726f722063616c6c696e6720676574506172656e745365616c4269746d617020707265636f6d70696c656572726f722063616c6c696e6720676574426c6f636b4e756d62657246726f6d48656164657220707265636f6d70696c654d696e696d756d20656c65637461626c652076616c696461746f72732063616e6e6f74206265207a65726f44656372656d656e742076616c7565206d7573742062652067726561746572207468616e20302e6572726f722063616c6c696e67206861736848656164657220707265636f6d70696c65cborAuxdataa265627a7a72315820977f5c762e9522175d246d3ebe62c7b03a5821c600045e3f64d91de56c9f6bd964736f6c634300050d0032

CBOR Auxdata

These values are what Sourcify extracted from the recompiled bytecode. If these values are different in the on-chain bytecode, they will show up in Transformations section.

CBOR Auxdata id: 1

Raw

Decoded

Length: 52 bytes

0xa265627a7a72315820091c1543d327eaa9e7426dae6784fc02dec98e77bedbc20c69a3af3d79361f0964736f6c634300050d0032

Transformations

Library Transformations

Fully Qualified Name	Address	Byte Offsets
/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/common/linkedlists/AddressSortedLinkedList.sol:AddressSortedLinkedList	0x4819ad0a0eb1304b1d7bc3afd7818017b52a87ab	10945,14235,15791,17654,17821,18720,19304,22601,23097,23808,29010,29220,29435,32169,32384,36280,36490,36705

CBOR Auxdata Transformations

Byte Offsets	Length (bytes)	Values
41778	52	Original (recompiled):0xa265627a7a72315820091c1543d327eaa9e7426dae6784fc02dec98e77bedbc20c69a3af3d79361f0964736f6c634300050d0032 Transformed (onchain):0xa265627a7a72315820977f5c762e9522175d246d3ebe62c7b03a5821c600045e3f64d91de56c9f6bd964736f6c634300050d0032

Storage Layout

Slot	Offset	Bytes	Label	Type	Contract
0	0	20	_owner	address	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
1	0	32	_guardCounter	uint256	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
2	0	1	initialized	bool	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
2	1	20	registry	contract IRegistry	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
3	0	320	votes	struct Election.Votes	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
13	0	64	electableValidators	struct Election.ElectableValidators	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
15	0	32	maxNumGroupsVotedFor	uint256	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election
16	0	32	electabilityThreshold	struct FixidityLib.Fraction	/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/governance/Election.sol:Election

Standard JSON Input

This isn't the original compiler JSON data. Generated for compatibility.

Standard JSON Output

This isn't the original compiler JSON data. Generated for compatibility.