[{"inputs":[{"internalType":"address","name":"_instance","type":"address"},{"internalType":"contract ISlasher","name":"_slasher","type":"address"},{"internalType":"uint256","name":"_quorum","type":"uint256"},{"internalType":"uint256","name":"_roundSize","type":"uint256"},{"internalType":"uint256","name":"_lifetimeInRounds","type":"uint256"},{"internalType":"uint256","name":"_executionDelayInRounds","type":"uint256"},{"internalType":"uint256[3]","name":"_slashAmounts","type":"uint256[3]"},{"internalType":"uint256","name":"_committeeSize","type":"uint256"},{"internalType":"uint256","name":"_epochDuration","type":"uint256"},{"internalType":"uint256","name":"_slashOffsetInRounds","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"CloneArgumentsTooLong","type":"error"},{"inputs":[],"name":"Create2EmptyBytecode","type":"error"},{"inputs":[],"name":"ECDSAInvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256","name":"length","type":"uint256"}],"name":"ECDSAInvalidSignatureLength","type":"error"},{"inputs":[{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"ECDSAInvalidSignatureS","type":"error"},{"inputs":[],"name":"FailedDeployment","type":"error"},{"inputs":[{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"InsufficientBalance","type":"error"},{"inputs":[],"name":"InvalidShortString","type":"error"},{"inputs":[{"internalType":"uint8","name":"bits","type":"uint8"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"SafeCastOverflowedUintDowncast","type":"error"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"SignatureLib__InvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256","name":"expected","type":"uint256"},{"internalType":"uint256","name":"actual","type":"uint256"}],"name":"SlashPayload_ArraySizeMismatch","type":"error"},{"inputs":[{"internalType":"string","name":"str","type":"string"}],"name":"StringTooLong","type":"error"},{"inputs":[{"internalType":"uint256","name":"committeeSize","type":"uint256"}],"name":"TallySlashingProposer__CommitteeSizeMustBeGreaterThanZero","type":"error"},{"inputs":[],"name":"TallySlashingProposer__InvalidCommitteeCommitment","type":"error"},{"inputs":[{"internalType":"uint256","name":"epochIndex","type":"uint256"},{"internalType":"uint256","name":"roundSizeInEpochs","type":"uint256"}],"name":"TallySlashingProposer__InvalidEpochIndex","type":"error"},{"inputs":[{"internalType":"uint256","name":"expected","type":"uint256"},{"internalType":"uint256","name":"actual","type":"uint256"}],"name":"TallySlashingProposer__InvalidNumberOfCommittees","type":"error"},{"inputs":[{"internalType":"uint256","name":"quorum","type":"uint256"},{"internalType":"uint256","name":"roundSize","type":"uint256"}],"name":"TallySlashingProposer__InvalidQuorumAndRoundSize","type":"error"},{"inputs":[],"name":"TallySlashingProposer__InvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256[3]","name":"slashAmounts","type":"uint256[3]"}],"name":"TallySlashingProposer__InvalidSlashAmounts","type":"error"},{"inputs":[{"internalType":"uint256","name":"expected","type":"uint256"},{"internalType":"uint256","name":"actual","type":"uint256"}],"name":"TallySlashingProposer__InvalidVoteLength","type":"error"},{"inputs":[{"internalType":"uint256","name":"lifetime","type":"uint256"},{"internalType":"uint256","name":"executionDelay","type":"uint256"}],"name":"TallySlashingProposer__LifetimeMustBeGreaterThanExecutionDelay","type":"error"},{"inputs":[{"internalType":"uint256","name":"lifetime","type":"uint256"},{"internalType":"uint256","name":"roundabout","type":"uint256"}],"name":"TallySlashingProposer__LifetimeMustBeLessThanRoundabout","type":"error"},{"inputs":[],"name":"TallySlashingProposer__QuorumMustBeGreaterThanZero","type":"error"},{"inputs":[{"internalType":"SlashRound","name":"round","type":"uint256"}],"name":"TallySlashingProposer__RoundAlreadyExecuted","type":"error"},{"inputs":[{"internalType":"SlashRound","name":"round","type":"uint256"}],"name":"TallySlashingProposer__RoundNotComplete","type":"error"},{"inputs":[{"internalType":"SlashRound","name":"round","type":"uint256"},{"internalType":"SlashRound","name":"currentRound","type":"uint256"}],"name":"TallySlashingProposer__RoundOutOfRange","type":"error"},{"inputs":[{"internalType":"uint256","name":"roundSizeInEpochs","type":"uint256"}],"name":"TallySlashingProposer__RoundSizeInEpochsMustBeGreaterThanZero","type":"error"},{"inputs":[{"internalType":"uint256","name":"roundSize","type":"uint256"},{"internalType":"uint256","name":"epochDuration","type":"uint256"}],"name":"TallySlashingProposer__RoundSizeMustBeMultipleOfEpochDuration","type":"error"},{"inputs":[{"internalType":"uint256","name":"roundSize","type":"uint256"},{"internalType":"uint256","name":"maxRoundSize","type":"uint256"}],"name":"TallySlashingProposer__RoundSizeTooLarge","type":"error"},{"inputs":[{"internalType":"string","name":"info","type":"string"}],"name":"TallySlashingProposer__SlashAmountMustBeGtZero","type":"error"},{"inputs":[],"name":"TallySlashingProposer__SlashAmountTooLarge","type":"error"},{"inputs":[{"internalType":"uint256","name":"slashOffset","type":"uint256"}],"name":"TallySlashingProposer__SlashOffsetMustBeGreaterThanZero","type":"error"},{"inputs":[{"internalType":"Slot","name":"slot","type":"uint256"}],"name":"TallySlashingProposer__VoteAlreadyCastInCurrentSlot","type":"error"},{"inputs":[{"internalType":"uint256","name":"voteSize","type":"uint256"},{"internalType":"uint256","name":"maxSize","type":"uint256"}],"name":"TallySlashingProposer__VoteSizeTooBig","type":"error"},{"inputs":[{"internalType":"uint256","name":"votes","type":"uint256"}],"name":"TallySlashingProposer__VotesMustBeMultipleOf4","type":"error"},{"inputs":[{"internalType":"SlashRound","name":"currentRound","type":"uint256"}],"name":"TallySlashingProposer__VotingNotOpen","type":"error"},{"anonymous":false,"inputs":[],"name":"EIP712DomainChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"SlashRound","name":"round","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"slashCount","type":"uint256"}],"name":"RoundExecuted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"SlashRound","name":"round","type":"uint256"},{"indexed":true,"internalType":"Slot","name":"slot","type":"uint256"},{"indexed":true,"internalType":"address","name":"proposer","type":"address"}],"name":"VoteCast","type":"event"},{"inputs":[],"name":"COMMITTEE_SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"EXECUTION_DELAY_IN_ROUNDS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"INSTANCE","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"LIFETIME_IN_ROUNDS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_ROUND_SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"QUORUM","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ROUNDABOUT_SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ROUND_SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ROUND_SIZE_IN_EPOCHS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASHER","outputs":[{"internalType":"contract ISlasher","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASHING_PROPOSER_TYPE","outputs":[{"internalType":"enum SlasherFlavor","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASH_AMOUNT_LARGE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASH_AMOUNT_MEDIUM","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASH_AMOUNT_SMALL","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASH_OFFSET_IN_ROUNDS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SLASH_PAYLOAD_IMPLEMENTATION","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"VOTE_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"eip712Domain","outputs":[{"internalType":"bytes1","name":"fields","type":"bytes1"},{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"version","type":"string"},{"internalType":"uint256","name":"chainId","type":"uint256"},{"internalType":"address","name":"verifyingContract","type":"address"},{"internalType":"bytes32","name":"salt","type":"bytes32"},{"internalType":"uint256[]","name":"extensions","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"},{"internalType":"address[][]","name":"_committees","type":"address[][]"}],"name":"executeRound","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getCurrentRound","outputs":[{"internalType":"SlashRound","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"},{"components":[{"internalType":"address","name":"validator","type":"address"},{"internalType":"uint256","name":"slashAmount","type":"uint256"}],"internalType":"struct TallySlashingProposer.SlashAction[]","name":"_actions","type":"tuple[]"}],"name":"getPayloadAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"}],"name":"getRound","outputs":[{"internalType":"bool","name":"isExecuted","type":"bool"},{"internalType":"uint256","name":"voteCount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"}],"name":"getSlashTargetCommittees","outputs":[{"internalType":"address[][]","name":"committees","type":"address[][]"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"},{"internalType":"uint256","name":"_epochIndex","type":"uint256"}],"name":"getSlashTargetEpoch","outputs":[{"internalType":"Epoch","name":"epochNumber","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"},{"internalType":"address[][]","name":"_committees","type":"address[][]"}],"name":"getTally","outputs":[{"components":[{"internalType":"address","name":"validator","type":"address"},{"internalType":"uint256","name":"slashAmount","type":"uint256"}],"internalType":"struct TallySlashingProposer.SlashAction[]","name":"","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"_votes","type":"bytes"},{"internalType":"Slot","name":"_slot","type":"uint256"}],"name":"getVoteSignatureDigest","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"},{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"getVotes","outputs":[{"internalType":"bytes","name":"","type":"bytes"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"SlashRound","name":"_round","type":"uint256"},{"internalType":"Slot","name":"_slot","type":"uint256"}],"name":"isRoundReadyToExecute","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"_votes","type":"bytes"},{"components":[{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"internalType":"struct Signature","name":"_sig","type":"tuple"}],"name":"vote","outputs":[],"stateMutability":"nonpayable","type":"function"}]

610300604052348015610010575f5ffd5b506040516142bf3803806142bf83398101604081905261002f9161065a565b604080518082018252601581527f54616c6c79536c617368696e6750726f706f7365720000000000000000000000602080830191909152825180840190935260018352603160f81b9083015290610086825f6105b3565b610120526100958160016105b3565b61014052815160208084019190912060e052815190820120610100524660a05261012160e05161010051604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201529081019290925260608201524660808201523060a08201525f9060c00160405160208183030381529060405280519060200120905090565b60805250503060c0526001600160a01b038a81166101605289166101805283516101c05260208401516101e05260408401516102005261022088905261024087905261016d8288610753565b610280526102608390526102a08690526102c08590526102e08190526040516001600160601b03193060601b16906101a490610622565b8190604051809103905ff59050801580156101c1573d5f5f3e3d5ffd5b506001600160a01b03166101a0526102e051806101fd5760405163041d854d60e01b81526004016101f491815260200190565b60405180910390fd5b506102405182610280516102119190610766565b146102405183909161023f57604051631385289f60e31b8152600481019290925260248201526044016101f4565b50505f610220511161026457604051631a49aa7560e31b815260040160405180910390fd5b6102405161022051906001811161029757604051633a28ec7560e11b8152600481019290925260248201526044016101f4565b50506002610240516102a99190610753565b6102205161024051909182116102db57604051633a28ec7560e11b8152600481019290925260248201526044016101f4565b50506102405161022051908082111561031057604051633a28ec7560e11b8152600481019290925260248201526044016101f4565b5050602084015184518591101561033b57604051637a5a610f60e01b81526004016101f49190610789565b50604084015160208501518591101561036857604051637a5a610f60e01b81526004016101f49190610789565b506102c0516102a0519080821161039b57604051632fc2c55f60e11b8152600481019290925260248201526044016101f4565b50506102a05160808082106103cc576040516387ac0d0f60e01b8152600481019290925260248201526044016101f4565b505061028051806103f3576040516302e32dbf60e41b81526004016101f491815260200190565b50610240516104008082111561042557604051635920c3bf60e11b8152600481019290925260248201526044016101f4565b5050610260518061044c57604051637b3276c160e11b81526004016101f491815260200190565b505f600461028051610260516104629190610766565b61046c9190610753565b90508060808082111561049b576040516358c953c360e11b8152600481019290925260248201526044016101f4565b5050600461028051610260516104b19190610766565b6104bb91906107b9565b5f1461028051610260516104cf9190610766565b906104f05760405163022fe1d960e11b81526004016101f491815260200190565b505f6101c0511161052c5760405163039b50e560e01b81526020600482015260056024820152641cdb585b1b60da1b60448201526064016101f4565b5f6101e051116105685760405163039b50e560e01b81526020600482015260066024820152656d656469756d60d01b60448201526064016101f4565b5f61020051116105a35760405163039b50e560e01b81526020600482015260056024820152646c6172676560d81b60448201526064016101f4565b5050505050505050505050610962565b5f6020835110156105ce576105c7836105e5565b90506105df565b816105d98482610850565b5060ff90505b92915050565b5f5f829050601f8151111561060f578260405163305a27a960e01b81526004016101f4919061090a565b805161061a8261093f565b179392505050565b61044680613e7983390190565b6001600160a01b0381168114610643575f5ffd5b50565b634e487b7160e01b5f52604160045260245ffd5b5f5f5f5f5f5f5f5f5f5f6101808b8d031215610674575f5ffd5b8a5161067f8161062f565b60208c0151909a506106908161062f565b60408c015160608d015160808e015160a08f0151939c50919a5098509650945060df8b018c136106be575f5ffd5b604051606081016001600160401b03811182821017156106e0576106e0610646565b604052806101208d018e8111156106f5575f5ffd5b60c08e015b818110156107125780518352602092830192016106fa565b50516101408e0151610160909e01519c9f9b9e50999c989b979a9699919891979196919550909350505050565b634e487b7160e01b5f52601260045260245ffd5b5f826107615761076161073f565b500490565b80820281158282048414176105df57634e487b7160e01b5f52601160045260245ffd5b6060810181835f5b60038110156107b0578151835260209283019290910190600101610791565b50505092915050565b5f826107c7576107c761073f565b500690565b600181811c908216806107e057607f821691505b6020821081036107fe57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561084b57805f5260205f20601f840160051c810160208510156108295750805b601f840160051c820191505b81811015610848575f8155600101610835565b50505b505050565b81516001600160401b0381111561086957610869610646565b61087d8161087784546107cc565b84610804565b6020601f8211600181146108af575f83156108985750848201515b5f19600385901b1c1916600184901b178455610848565b5f84815260208120601f198516915b828110156108de57878501518255602094850194600190920191016108be565b50848210156108fb57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b805160208083015191908110156107fe575f1960209190910360031b1b16919050565b60805160a05160c05160e05161010051610120516101405161016051610180516101a0516101c0516101e05161020051610220516102405161026051610280516102a0516102c0516102e051613325610b545f395f818161039b015281816105790152818161063e0152610a2201525f818161048c015261107b01525f818161041701526110ae01525f818161043e015281816105cc0152818161061a0152818161090d01528181610ac201528181610d4001528181610dd1015281816110e201528181611178015281816111e801528181611a8601528181611c8801528181611cee0152611ec701525f81816104b30152818161092e01528181610ae30152818161120901528181611aa701528181611f3601526120b901525f81816102b801528181610c79015261168201525f818161027c0152611fd901525f81816101ed015261206801525f81816103d5015261203901525f8181610465015261200a01525f8181610222015281816114c10152611a1c01525f81816102df01526107e401525f81816104ed01528181610bf001528181610dae015281816112f601528181611493015281816115f5015281816116ab015281816119ef0152611d4201525f61152c01525f6114fb01525f6124a801525f61248001525f6123db01525f61240501525f61242f01526133255ff3fe608060405234801561000f575f5ffd5b50600436106101c6575f3560e01c806395134b2b116100fe578063b394f1dd1161009e578063d15db8b41161006e578063d15db8b4146104e8578063d6c4f4401461050f578063f17a2a251461052f578063f3f9c75614610552575f5ffd5b8063b394f1dd14610460578063bf2ba55214610487578063c5234a7e146104ae578063cf6731e3146104d5575f5ffd5b8063a32bf597116100d9578063a32bf597146103f7578063a8a35695146103ff578063a97f36a814610412578063b34adb6c14610439575f5ffd5b806395134b2b146103965780639e63f61e146103bd5780639f90f3d5146103d0575f5ffd5b806354133307116101695780638652297311610144578063865229731461031c578063865ef513146103435780638f1327c01461034c57806391f3663314610376575f5ffd5b806354133307146102b35780635db93dfa146102da57806384b0196e14610301575f5ffd5b806321017e1d116101a457806321017e1d1461025c5780632e69de56146102645780632e80d9b61461027757806337bab5d01461029e575f5ffd5b80630f968174146101ca5780632028cc7b146101e8578063204274921461021d575b5f5ffd5b6101d2600181565b6040516101df91906129cc565b60405180910390f35b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b6040519081526020016101df565b6102447f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016101df565b61020f608081565b61020f6102723660046129f2565b610572565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b6102b16102ac366004612a12565b610680565b005b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b6102447f000000000000000000000000000000000000000000000000000000000000000081565b610309610897565b6040516101df9796959493929190612ab8565b61020f7f18b6b90f234e6d028d4c9800043cedef34624eedddd14e60eba01934728014fe81565b61020f61040081565b61035f61035a366004612b4e565b6108d9565b6040805192151583526020830191909152016101df565b6103896103843660046129f2565b610903565b6040516101df9190612b65565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b6102b16103cb366004612bbb565b610a05565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b61020f610bec565b61024461040d366004612cb9565b610ca5565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b61020f7f000000000000000000000000000000000000000000000000000000000000000081565b61020f6104e3366004612d88565b610cc0565b6102447f000000000000000000000000000000000000000000000000000000000000000081565b61052261051d366004612b4e565b610d3c565b6040516101df9190612dcf565b61054261053d3660046129f2565b610ed0565b60405190151581526020016101df565b610565610560366004612a12565b610eef565b6040516101df9190612e64565b5f61059d837f0000000000000000000000000000000000000000000000000000000000000000111590565b83906105c8576040516313c6e3b960e31b81526004016105bf91815260200190565b60405180910390fd5b50817f0000000000000000000000000000000000000000000000000000000000000000808210610614576040516303994b5f60e51b8152600481019290925260248201526044016105bf565b508290507f00000000000000000000000000000000000000000000000000000000000000006106637f000000000000000000000000000000000000000000000000000000000000000086612ecf565b61066d9190612ee2565b6106779190612ef9565b90505b92915050565b5f610689610bec565b90505f6106968583610f17565b905080606001511585906106c057604051634af50fb360e11b81526004016105bf91815260200190565b506106cb8583611075565b85906106ed576040516314d0b3b760e01b81526004016105bf91815260200190565b505f5f6106fb8387876110dd565b805191935091505f5b818110156107995782818151811061071e5761071e612f0c565b602002602001015115610791575f61075889898481811061074157610741612f0c565b90506020028101906107539190612f20565b6112ac565b90505f6107658b84610572565b9050610770816112de565b821461078e57604051620fce0160e91b815260040160405180910390fd5b50505b600101610704565b50506107b087846040015185602001516001611374565b815115610853575f6107c28884611459565b60405163c96be4cb60e01b81526001600160a01b0380831660048301529192507f00000000000000000000000000000000000000000000000000000000000000009091169063c96be4cb906024016020604051808303815f875af115801561082c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108509190612f79565b50505b867ff5b0598f6b87cd92cc8a5cdc26c424169e1d2084571d5ebff9efc8e417eb87ea835160405161088691815260200190565b60405180910390a250505050505050565b5f6060805f5f5f60606108a86114f4565b6108b0611525565b604080515f80825260208201909252600f60f81b9b939a50919850469750309650945092509050565b5f5f5f6108ed846108e8610bec565b610f17565b9050806060015181602001519250925050915091565b60605f60046109527f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000612ee2565b61095c9190612fa6565b90505f610967610bec565b90505f6109748683610f17565b9050806020015185106109ce57826001600160401b0381111561099957610999612c14565b6040519080825280601f01601f1916602001820160405280156109c3576020820181803683370190505b50935050505061067a565b5f6109d887611552565b8661040081106109ea576109ea612f0c565b6004020190506109fa818561157b565b979650505050505050565b5f610a0e6115f1565b90505f610a1a8261167c565b9050610a46817f0000000000000000000000000000000000000000000000000000000000000000111590565b8190610a68576040516313c6e3b960e31b81526004016105bf91815260200190565b505f610a726116a7565b90505f610a80878786610cc0565b9050610a9d8282610a9636899003890189612fb9565b919061172d565b610aba57604051632cd813a960e01b815260040160405180910390fd5b5f6004610b077f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000612ee2565b610b119190612fa6565b90508087808214610b3e5760405163368f70ad60e21b8152600481019290925260248201526044016105bf565b50505f610b4b8586610f17565b9050610b5a8160400151871190565b8690610b7c576040516366d7cd3d60e01b81526004016105bf91815260200190565b506020810151610b8e86828c8c611796565b610ba88688610b9e846001612ef9565b8560600151611374565b846001600160a01b031687877f7fe1d4e6b34e228b5dc059fcdc037c71b216fb2417f47c171e505144a5e4f5fc60405160405180910390a450505050505050505050565b5f5f7f000000000000000000000000000000000000000000000000000000000000000090505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c4e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c72919061301f565b9050610c9e7f000000000000000000000000000000000000000000000000000000000000000082612fa6565b9250505090565b5f81515f03610cb557505f61067a565b5f6109fa8484611839565b5f610d327f18b6b90f234e6d028d4c9800043cedef34624eedddd14e60eba01934728014fe8585604051610cf5929190613036565b6040805191829003822060208301939093528101919091526060810184905260800160405160208183030381529060405280519060200120611a50565b90505b9392505050565b60607f00000000000000000000000000000000000000000000000000000000000000006001600160401b03811115610d7657610d76612c14565b604051908082528060200260200182016040528015610da957816020015b6060815260200190600190039081610d945790505b5090507f00000000000000000000000000000000000000000000000000000000000000005f5b7f0000000000000000000000000000000000000000000000000000000000000000811015610ec9575f610e028583610572565b6040516369457a6f60e01b8152600481018290529091506001600160a01b038416906369457a6f906024015f604051808303815f875af1925050508015610e6a57506040513d5f823e601f3d908101601f19168201604052610e679190810190613045565b60015b610ea057604080515f8152602081019091528451859084908110610e9057610e90612f0c565b6020026020010181905250610ec0565b80858481518110610eb357610eb3612f0c565b6020026020010181905250505b50600101610dcf565b5050919050565b5f5f610edb8361167c565b9050610ee78482611075565b949350505050565b60605f610efe856108e8610bec565b90505f610f0c8286866110dd565b509695505050505050565b610f4060405180608001604052805f81526020015f81526020015f81526020015f151581525090565b81831180610f58575081610f55608085612ef9565b11155b15610f8057604051638d78207d60e01b815260048101849052602481018390526044016105bf565b5f6002610f8e6080866130d4565b60808110610f9e57610f9e612f0c565b60408051608081018252919092015463ffffffff80821680845264010000000083049091166020840152600160401b820461ffff1693830193909352600160501b900460ff16151560608201529150610ff79085141590565b156110275760405180608001604052808581526020015f81526020015f81526020015f151581525091505061067a565b6040518060800160405280858152602001826040015161ffff16815260200161105d836020015163ffffffff1663ffffffff1690565b81526020018260600151151581525091505092915050565b5f6110a07f000000000000000000000000000000000000000000000000000000000000000084612ef9565b8211801561067757506110d37f000000000000000000000000000000000000000000000000000000000000000084612ef9565b9091111592915050565b6060807f00000000000000000000000000000000000000000000000000000000000000008380821461112b57604051636dbc4a2160e11b8152600481019290925260248201526044016105bf565b505060208501515f8190036111e257604080515f8082526020820190925290611175565b604080518082019091525f808252602082015281526020019060019003908161114f5790505b507f00000000000000000000000000000000000000000000000000000000000000006001600160401b038111156111ae576111ae612c14565b6040519080825280602002602001820160405280156111d7578160200160208202803683370190505b5092509250506112a4565b5f61122d7f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000612ee2565b90505f816001600160401b0381111561124857611248612c14565b604051908082528060200260200182016040528015611271578160200160208202803683370190505b50905061127f888285611a7c565b5f61128c895f0151611c84565b905061129b8289898685611e62565b95509550505050505b935093915050565b5f82826040516020016112c09291906130e7565b60405160208183030381529060405280519060200120905092915050565b6040516374e0a89d60e01b8152600481018290525f907f00000000000000000000000000000000000000000000000000000000000000009082906001600160a01b038316906374e0a89d9060240160408051808303815f875af1158015611347573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061136b9190613133565b50949350505050565b604051806080016040528061138886612190565b63ffffffff16815260200161139c85612190565b63ffffffff1681526020016113b08461219a565b61ffff16815282151560209091015260026113cc6080876130d4565b608081106113dc576113dc612f0c565b825191018054602084015160408501516060909501511515600160501b0260ff60501b1961ffff909616600160401b02959095166affffff00000000000000001963ffffffff9283166401000000000267ffffffffffffffff19909416929095169190911791909117929092169190911791909117905550505050565b5f5f5f5f5f6114688787611839565b93509350935093505f816001600160a01b03163b111561148d57935061067a92505050565b5f6114b97f000000000000000000000000000000000000000000000000000000000000000086866121cc565b90505f6114e77f000000000000000000000000000000000000000000000000000000000000000083866122c3565b9998505050505050505050565b60606115207f00000000000000000000000000000000000000000000000000000000000000005f6122d0565b905090565b60606115207f000000000000000000000000000000000000000000000000000000000000000060016122d0565b5f60826115606080846130d4565b6080811061157057611570612f0c565b611000020192915050565b60408051608080825260a082019092526060916020820181803683370190505090506020810182156115ac57835481525b60208311156115c057600184015460208201525b60408311156115d457600284015460408201525b60608311156115e857600384015460608201525b50908152919050565b5f5f7f00000000000000000000000000000000000000000000000000000000000000009050806001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611652573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611676919061301f565b91505090565b5f61067a7f000000000000000000000000000000000000000000000000000000000000000083612fa6565b5f5f7f00000000000000000000000000000000000000000000000000000000000000009050806001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af1158015611709573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116769190613155565b5f5f61174683865f015187602001518860400151612379565b905083816001600160a01b038281169082161461178957604051633672eb9b60e21b81526001600160a01b039283166004820152911660248201526044016105bf565b5060019695505050505050565b5f6117a085611552565b8461040081106117b2576117b2612f0c565b60040201905081806080808211156117e6576040516358c953c360e11b8152600481019290925260248201526044016105bf565b50508381156117f457803583555b602082111561180857602081013560018401555b604082111561181c57604081013560028401555b606082111561183057606081013560038401555b50505050505050565b6060805f5f5f85519050806001600160401b0381111561185b5761185b612c14565b604051908082528060200260200182016040528015611884578160200160208202803683370190505b509450806001600160401b0381111561189f5761189f612c14565b6040519080825280602002602001820160405280156118c8578160200160208202803683370190505b5093505f5b818110156119bb578681815181106118e7576118e7612f0c565b60200260200101515f015186828151811061190457611904612f0c565b60200260200101906001600160a01b031690816001600160a01b0316815250506001600160601b03801687828151811061194057611940612f0c565b602002602001015160200151111561196b5760405163d885601560e01b815260040160405180910390fd5b86818151811061197d5761197d612f0c565b60200260200101516020015185828151811061199b5761199b612f0c565b6001600160601b03909216602092830291909101909101526001016118cd565b508685856040516020016119d193929190613170565b6040516020818303038152906040528051906020012092505f611a157f000000000000000000000000000000000000000000000000000000000000000087876121cc565b9050611a437f00000000000000000000000000000000000000000000000000000000000000008286306123a5565b9250505092959194509250565b5f61067a611a5c6123cf565b8360405161190160f01b8152600281019290925260228201526042902090565b82515f6004611acb7f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000612ee2565b611ad59190612fa6565b90505f611ae183611552565b90505f5b84811015611830575f611b0e83836104008110611b0457611b04612f0c565b600402018561157b565b90505f5b8481601f011015611b3057611b288883836124f8565b602001611b12565b84811015611c7a5781810160200151600282901b905f90811a90819003611b58575050611c72565b600381168015611b97578a51600160c05f19840160061b161b908c9085908110611b8457611b84612f0c565b6020026020010181815101915081815250505b6003600283901c168015611bdf5760066001820360ff16901b60ff166001901b8c8560010181518110611bcc57611bcc612f0c565b6020026020010181815101915081815250505b6003600484901c168015611c25578c51600160c05f19840160061b161b908e9060028801908110611c1257611c12612f0c565b6020026020010181815101915081815250505b6003600685901c168015611c6b578d51600160c05f19840160061b161b908f9060038901908110611c5857611c58612f0c565b6020026020010181815101915081815250505b5050505050505b600101611b30565b5050600101611ae5565b60607f00000000000000000000000000000000000000000000000000000000000000006001600160401b03811115611cbe57611cbe612c14565b604051908082528060200260200182016040528015611ce7578160200160208202803683370190505b5090505f5b7f0000000000000000000000000000000000000000000000000000000000000000811015611e5c575f611d1f8483610572565b6040516315d3bc7b60e01b8152600481018290529091505f906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906315d3bc7b90602401602060405180830381865afa158015611d87573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611dab9190613155565b90506001600160a01b038116611dc2575050611e54565b604051631d18577f60e11b8152600481018390525f906001600160a01b03831690633a30aefe906024016040805180830381865afa158015611e06573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611e2a91906131e8565b50905080858581518110611e4057611e40612f0c565b911515602092830291909101909101525050505b600101611cec565b50919050565b606080836001600160401b03811115611e7d57611e7d612c14565b604051908082528060200260200182016040528015611ec157816020015b604080518082019091525f8082526020820152815260200190600190039081611e9b5790505b5091505f7f00000000000000000000000000000000000000000000000000000000000000006001600160401b03811115611efd57611efd612c14565b604051908082528060200260200182016040528015611f26578160200160208202803683370190505b5091505f5b85811015612183575f7f00000000000000000000000000000000000000000000000000000000000000008281611f6357611f63612f92565b049050858181518110611f7857611f78612f0c565b602002602001015115611f8b575061217b565b5f8a8381518110611f9e57611f9e612f0c565b60200260200101519050805f03611fb657505061217b565b5f60035b8015612176576001600160401b035f19820160061b84901c16918201917f0000000000000000000000000000000000000000000000000000000000000000831061216d575f8260010361202e57507f0000000000000000000000000000000000000000000000000000000000000000612088565b8260020361205d57507f0000000000000000000000000000000000000000000000000000000000000000612088565b8260030361208857507f00000000000000000000000000000000000000000000000000000000000000005b60405180604001604052808f8f898181106120a5576120a5612f0c565b90506020028101906120b79190612f20565b7f00000000000000000000000000000000000000000000000000000000000000008b816120e6576120e6612f92565b068181106120f6576120f6612f0c565b905060200201602081019061210b919061321d565b6001600160a01b03168152602001828152508a898151811061212f5761212f612f0c565b6020026020010181905250876001019750600189878151811061215457612154612f0c565b6020026020010190151590811515815250505050612176565b505f1901611fba565b505050505b600101611f2b565b5082529550959350505050565b5f61067a82612663565b5f61ffff8211156121c8576040516306dfcc6560e41b815260106004820152602481018390526044016105bf565b5090565b805182516060918181146121fc57604051632cd378e160e21b8152600481019290925260248201526044016105bf565b50505f8351602061220d9190612ee2565b612218906034612ef9565b90505f816001600160401b0381111561223357612233612c14565b6040519080825280601f01601f19166020018201604052801561225d576020820181803683370190505b509050602081018660601b815260148101905085518152602081019050855160208701602087015f5b838110156122b45760208181028481015160601b875283015160a01b60148701529490940193600101612286565b50939998505050505050505050565b5f610d328484845f612693565b606060ff83146122ea576122e3836126ac565b905061067a565b8180546122f690613238565b80601f016020809104026020016040519081016040528092919081815260200182805461232290613238565b801561236d5780601f106123445761010080835404028352916020019161236d565b820191905f5260205f20905b81548152906001019060200180831161235057829003601f168201915b5050505050905061067a565b5f5f5f5f612389888888886126e9565b92509250925061239982826127b1565b50909695505050505050565b5f5f6123b1868661286d565b90506123c5848280519060200120856128cb565b9695505050505050565b5f306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614801561242757507f000000000000000000000000000000000000000000000000000000000000000046145b1561245157507f000000000000000000000000000000000000000000000000000000000000000090565b611520604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201527f0000000000000000000000000000000000000000000000000000000000000000918101919091527f000000000000000000000000000000000000000000000000000000000000000060608201524660808201523060a08201525f9060c00160405160208183030381529060405280519060200120905090565b818101602001515f81900361250d5750505050565b600282901b5f5b602081101561265b57821561265b57600883901b9260f81c801561265257600282901b8301600382168015612578578851600160c05f19840160061b161b908a908490811061256557612565612f0c565b6020026020010181815101915081815250505b6003600284901c1680156125c05760066001820360ff16901b60ff166001901b8a84600101815181106125ad576125ad612f0c565b6020026020010181815101915081815250505b6003600485901c168015612606578a51600160c05f19840160061b161b908c90600287019081106125f3576125f3612f0c565b6020026020010181815101915081815250505b6003600686901c16801561264c578b51600160c05f19840160061b161b908d906003880190811061263957612639612f0c565b6020026020010181815101915081815250505b50505050505b50600101612514565b505050505050565b5f63ffffffff8211156121c8576040516306dfcc6560e41b815260206004820152602481018390526044016105bf565b5f5f61269f868661286d565b90506123c58385836128fd565b60605f6126b883612991565b6040805160208082528183019092529192505f91906020820181803683375050509182525060208101929092525090565b5f80807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a084111561272257505f915060039050826127a7565b604080515f808252602082018084528a905260ff891692820192909252606081018790526080810186905260019060a0016020604051602081039080840390855afa158015612773573d5f5f3e3d5ffd5b5050604051601f1901519150506001600160a01b03811661279e57505f9250600191508290506127a7565b92505f91508190505b9450945094915050565b5f8260038111156127c4576127c46129b8565b036127cd575050565b60018260038111156127e1576127e16129b8565b036127ff5760405163f645eedf60e01b815260040160405180910390fd5b6002826003811115612813576128136129b8565b036128345760405163fce698f760e01b8152600481018290526024016105bf565b6003826003811115612848576128486129b8565b03612869576040516335e2f38360e21b8152600481018290526024016105bf565b5050565b6060615fd3825111156128935760405163250a241560e21b815260040160405180910390fd5b81516128a090602d612ef9565b83836040516020016128b49392919061326a565b604051602081830303815290604052905092915050565b5f604051836040820152846020820152828152600b8101905060ff8153605590206001600160a01b0316949350505050565b5f834710156129285760405163cf47918160e01b8152476004820152602481018590526044016105bf565b81515f0361294957604051631328927760e21b815260040160405180910390fd5b8282516020840186f590503d15198115161561296a576040513d5f823e3d81fd5b6001600160a01b038116610d355760405163b06ebf3d60e01b815260040160405180910390fd5b5f60ff8216601f81111561067a57604051632cd44ac360e21b815260040160405180910390fd5b634e487b7160e01b5f52602160045260245ffd5b60208101600383106129ec57634e487b7160e01b5f52602160045260245ffd5b91905290565b5f5f60408385031215612a03575f5ffd5b50508035926020909101359150565b5f5f5f60408486031215612a24575f5ffd5b8335925060208401356001600160401b03811115612a40575f5ffd5b8401601f81018613612a50575f5ffd5b80356001600160401b03811115612a65575f5ffd5b8660208260051b8401011115612a79575f5ffd5b939660209190910195509293505050565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b60ff60f81b8816815260e060208201525f612ad660e0830189612a8a565b8281036040840152612ae88189612a8a565b606084018890526001600160a01b038716608085015260a0840186905283810360c0850152845180825260208087019350909101905f5b81811015612b3d578351835260209384019390920191600101612b1f565b50909b9a5050505050505050505050565b5f60208284031215612b5e575f5ffd5b5035919050565b602081525f6106776020830184612a8a565b5f5f83601f840112612b87575f5ffd5b5081356001600160401b03811115612b9d575f5ffd5b602083019150836020828501011115612bb4575f5ffd5b9250929050565b5f5f5f8385036080811215612bce575f5ffd5b84356001600160401b03811115612be3575f5ffd5b612bef87828801612b77565b9095509350506060601f1982011215612c06575f5ffd5b506020840190509250925092565b634e487b7160e01b5f52604160045260245ffd5b604080519081016001600160401b0381118282101715612c4a57612c4a612c14565b60405290565b604051601f8201601f191681016001600160401b0381118282101715612c7857612c78612c14565b604052919050565b5f6001600160401b03821115612c9857612c98612c14565b5060051b60200190565b6001600160a01b0381168114612cb6575f5ffd5b50565b5f5f60408385031215612cca575f5ffd5b8235915060208301356001600160401b03811115612ce6575f5ffd5b8301601f81018513612cf6575f5ffd5b8035612d09612d0482612c80565b612c50565b8082825260208201915060208360061b850101925087831115612d2a575f5ffd5b6020840193505b82841015612d7a5760408489031215612d48575f5ffd5b612d50612c28565b8435612d5b81612ca2565b8152602085810135818301529083526040909401939190910190612d31565b809450505050509250929050565b5f5f5f60408486031215612d9a575f5ffd5b83356001600160401b03811115612daf575f5ffd5b612dbb86828701612b77565b909790965060209590950135949350505050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015612e5857868503603f19018452815180518087526020918201918701905f5b81811015612e3f5783516001600160a01b0316835260209384019390920191600101612e18565b5090965050506020938401939190910190600101612df5565b50929695505050505050565b602080825282518282018190525f918401906040840190835b81811015612eb057835180516001600160a01b031684526020908101518185015290930192604090920191600101612e7d565b509095945050505050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561067a5761067a612ebb565b808202811582820484141761067a5761067a612ebb565b8082018082111561067a5761067a612ebb565b634e487b7160e01b5f52603260045260245ffd5b5f5f8335601e19843603018112612f35575f5ffd5b8301803591506001600160401b03821115612f4e575f5ffd5b6020019150600581901b3603821315612bb4575f5ffd5b80518015158114612f74575f5ffd5b919050565b5f60208284031215612f89575f5ffd5b61067782612f65565b634e487b7160e01b5f52601260045260245ffd5b5f82612fb457612fb4612f92565b500490565b5f6060828403128015612fca575f5ffd5b50604051606081016001600160401b0381118282101715612fed57612fed612c14565b604052823560ff81168114613000575f5ffd5b8152602083810135908201526040928301359281019290925250919050565b5f6020828403121561302f575f5ffd5b5051919050565b818382375f9101908152919050565b5f60208284031215613055575f5ffd5b81516001600160401b0381111561306a575f5ffd5b8201601f8101841361307a575f5ffd5b8051613088612d0482612c80565b8082825260208201915060208360051b8501019250868311156130a9575f5ffd5b6020840193505b828410156123c55783516130c381612ca2565b8252602093840193909101906130b0565b5f826130e2576130e2612f92565b500690565b602080825281018290525f8360408301825b8581101561312957823561310c81612ca2565b6001600160a01b03168252602092830192909101906001016130f9565b5095945050505050565b5f5f60408385031215613144575f5ffd5b505080516020909101519092909150565b5f60208284031215613165575f5ffd5b8151610d3581612ca2565b8381525f602082018451602086015f5b828110156131a75781516001600160a01b0316845260209384019390910190600101613180565b50508451602086019291505f5b818110156131db5783516001600160601b03168352602093840193909201916001016131b4565b5090979650505050505050565b5f5f604083850312156131f9575f5ffd5b61320283612f65565b9150602083015161321281612ca2565b809150509250929050565b5f6020828403121561322d575f5ffd5b8135610d3581612ca2565b600181811c9082168061324c57607f821691505b602082108103611e5c57634e487b7160e01b5f52602260045260245ffd5b606160f81b815260f084901b6001600160f01b0319166001820152703d81600a3d39f3363d3d373d3d3d363d7360781b6003820152606083901b6bffffffffffffffffffffffff191660148201526e5af43d82803e903d91602b57fd5bf360881b602882015281515f908060208501603785015e5f920160370191825250939250505056fea2646970667358221220024468c679aabfc9085978aad58d78eb1b4bc393f472e26e88cdfb587313214564736f6c634300081e00336080604052348015600e575f5ffd5b5061042a8061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610034575f3560e01c8063504d080b146100385780637754305c14610056575b5f5ffd5b610040610084565b60405161004d919061030b565b60405180910390f35b604080518082018252600c81526b14db185cda14185e5b1bd85960a21b6020820152905161004d919061038e565b60605f5f5f6100916101e8565b925092509250815167ffffffffffffffff8111156100b1576100b16103a7565b6040519080825280602002602001820160405280156100f657816020015b604080518082019091525f8152606060208201528152602001906001900390816100cf5790505b5093505f5b82518110156101e1576040518060400160405280856001600160a01b031681526020016302fb4d8560e01b858481518110610138576101386103bb565b6020026020010151858581518110610152576101526103bb565b60209081029190910101516040516001600160a01b0390921660248301526bffffffffffffffffffffffff16604482015260640160408051601f198184030181529190526020810180516001600160e01b03166001600160e01b031990931692909217909152905285518690839081106101ce576101ce6103bb565b60209081029190910101526001016100fb565b5050505090565b5f6060805f6101f630610270565b9050602081015160601c93506034810151604051935080845260208401602082028101935081845260208401602083028101604052605484015f5b8481101561026557815160601c602082810286810192909252601484015160a01c9185019190915290910190600101610231565b505050505050909192565b60605f610288602d6001600160a01b0385163b6103cf565b67ffffffffffffffff8111156102a0576102a06103a7565b6040519080825280601f01601f1916602001820160405280156102ca576020820181803683370190505b5090508051602d60208301853c92915050565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b8281101561038257868503603f19018452815180516001600160a01b0316865260209081015160409187018290529061036c908701826102dd565b9550506020938401939190910190600101610331565b50929695505050505050565b602081525f6103a060208301846102dd565b9392505050565b634e487b7160e01b5f52604160045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b818103818111156103ee57634e487b7160e01b5f52601160045260245ffd5b9291505056fea2646970667358221220c310a03ad614335727a0af82c956f14c791a8d4cfa18c22b1a85e8631f98f55964736f6c634300081e0033000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c1000000000000000000000000cf750b724558098e5db67b651f03a31ae2b252f4000000000000000000000000000000000000000000000000000000000000004100000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000152d02c7e14af680000000000000000000000000000000000000000000000000152d02c7e14af680000000000000000000000000000000000000000000000000152d02c7e14af6800000000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002

0x608060405234801561000f575f5ffd5b50600436106101c6575f3560e01c806395134b2b116100fe578063b394f1dd1161009e578063d15db8b41161006e578063d15db8b4146104e8578063d6c4f4401461050f578063f17a2a251461052f578063f3f9c75614610552575f5ffd5b8063b394f1dd14610460578063bf2ba55214610487578063c5234a7e146104ae578063cf6731e3146104d5575f5ffd5b8063a32bf597116100d9578063a32bf597146103f7578063a8a35695146103ff578063a97f36a814610412578063b34adb6c14610439575f5ffd5b806395134b2b146103965780639e63f61e146103bd5780639f90f3d5146103d0575f5ffd5b806354133307116101695780638652297311610144578063865229731461031c578063865ef513146103435780638f1327c01461034c57806391f3663314610376575f5ffd5b806354133307146102b35780635db93dfa146102da57806384b0196e14610301575f5ffd5b806321017e1d116101a457806321017e1d1461025c5780632e69de56146102645780632e80d9b61461027757806337bab5d01461029e575f5ffd5b80630f968174146101ca5780632028cc7b146101e8578063204274921461021d575b5f5ffd5b6101d2600181565b6040516101df91906129cc565b60405180910390f35b61020f7f00000000000000000000000000000000000000000000152d02c7e14af680000081565b6040519081526020016101df565b6102447f000000000000000000000000e66d9eebff5490e6bfa263cf08028de7d265321f81565b6040516001600160a01b0390911681526020016101df565b61020f608081565b61020f6102723660046129f2565b610572565b61020f7f000000000000000000000000000000000000000000000000000000000000004181565b6102b16102ac366004612a12565b610680565b005b61020f7f000000000000000000000000000000000000000000000000000000000000008081565b6102447f000000000000000000000000cf750b724558098e5db67b651f03a31ae2b252f481565b610309610897565b6040516101df9796959493929190612ab8565b61020f7f18b6b90f234e6d028d4c9800043cedef34624eedddd14e60eba01934728014fe81565b61020f61040081565b61035f61035a366004612b4e565b6108d9565b6040805192151583526020830191909152016101df565b6103896103843660046129f2565b610903565b6040516101df9190612b65565b61020f7f000000000000000000000000000000000000000000000000000000000000000281565b6102b16103cb366004612bbb565b610a05565b61020f7f00000000000000000000000000000000000000000000152d02c7e14af680000081565b61020f610bec565b61024461040d366004612cb9565b610ca5565b61020f7f000000000000000000000000000000000000000000000000000000000000000581565b61020f7f000000000000000000000000000000000000000000000000000000000000000481565b61020f7f00000000000000000000000000000000000000000000152d02c7e14af680000081565b61020f7f000000000000000000000000000000000000000000000000000000000000000181565b61020f7f000000000000000000000000000000000000000000000000000000000000003081565b61020f6104e3366004612d88565b610cc0565b6102447f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c181565b61052261051d366004612b4e565b610d3c565b6040516101df9190612dcf565b61054261053d3660046129f2565b610ed0565b60405190151581526020016101df565b610565610560366004612a12565b610eef565b6040516101df9190612e64565b5f61059d837f0000000000000000000000000000000000000000000000000000000000000002111590565b83906105c8576040516313c6e3b960e31b81526004016105bf91815260200190565b60405180910390fd5b50817f0000000000000000000000000000000000000000000000000000000000000004808210610614576040516303994b5f60e51b8152600481019290925260248201526044016105bf565b508290507f00000000000000000000000000000000000000000000000000000000000000046106637f000000000000000000000000000000000000000000000000000000000000000286612ecf565b61066d9190612ee2565b6106779190612ef9565b90505b92915050565b5f610689610bec565b90505f6106968583610f17565b905080606001511585906106c057604051634af50fb360e11b81526004016105bf91815260200190565b506106cb8583611075565b85906106ed576040516314d0b3b760e01b81526004016105bf91815260200190565b505f5f6106fb8387876110dd565b805191935091505f5b818110156107995782818151811061071e5761071e612f0c565b602002602001015115610791575f61075889898481811061074157610741612f0c565b90506020028101906107539190612f20565b6112ac565b90505f6107658b84610572565b9050610770816112de565b821461078e57604051620fce0160e91b815260040160405180910390fd5b50505b600101610704565b50506107b087846040015185602001516001611374565b815115610853575f6107c28884611459565b60405163c96be4cb60e01b81526001600160a01b0380831660048301529192507f000000000000000000000000cf750b724558098e5db67b651f03a31ae2b252f49091169063c96be4cb906024016020604051808303815f875af115801561082c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108509190612f79565b50505b867ff5b0598f6b87cd92cc8a5cdc26c424169e1d2084571d5ebff9efc8e417eb87ea835160405161088691815260200190565b60405180910390a250505050505050565b5f6060805f5f5f60606108a86114f4565b6108b0611525565b604080515f80825260208201909252600f60f81b9b939a50919850469750309650945092509050565b5f5f5f6108ed846108e8610bec565b610f17565b9050806060015181602001519250925050915091565b60605f60046109527f00000000000000000000000000000000000000000000000000000000000000047f0000000000000000000000000000000000000000000000000000000000000030612ee2565b61095c9190612fa6565b90505f610967610bec565b90505f6109748683610f17565b9050806020015185106109ce57826001600160401b0381111561099957610999612c14565b6040519080825280601f01601f1916602001820160405280156109c3576020820181803683370190505b50935050505061067a565b5f6109d887611552565b8661040081106109ea576109ea612f0c565b6004020190506109fa818561157b565b979650505050505050565b5f610a0e6115f1565b90505f610a1a8261167c565b9050610a46817f0000000000000000000000000000000000000000000000000000000000000002111590565b8190610a68576040516313c6e3b960e31b81526004016105bf91815260200190565b505f610a726116a7565b90505f610a80878786610cc0565b9050610a9d8282610a9636899003890189612fb9565b919061172d565b610aba57604051632cd813a960e01b815260040160405180910390fd5b5f6004610b077f00000000000000000000000000000000000000000000000000000000000000047f0000000000000000000000000000000000000000000000000000000000000030612ee2565b610b119190612fa6565b90508087808214610b3e5760405163368f70ad60e21b8152600481019290925260248201526044016105bf565b50505f610b4b8586610f17565b9050610b5a8160400151871190565b8690610b7c576040516366d7cd3d60e01b81526004016105bf91815260200190565b506020810151610b8e86828c8c611796565b610ba88688610b9e846001612ef9565b8560600151611374565b846001600160a01b031687877f7fe1d4e6b34e228b5dc059fcdc037c71b216fb2417f47c171e505144a5e4f5fc60405160405180910390a450505050505050505050565b5f5f7f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c190505f816001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c4e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c72919061301f565b9050610c9e7f000000000000000000000000000000000000000000000000000000000000008082612fa6565b9250505090565b5f81515f03610cb557505f61067a565b5f6109fa8484611839565b5f610d327f18b6b90f234e6d028d4c9800043cedef34624eedddd14e60eba01934728014fe8585604051610cf5929190613036565b6040805191829003822060208301939093528101919091526060810184905260800160405160208183030381529060405280519060200120611a50565b90505b9392505050565b60607f00000000000000000000000000000000000000000000000000000000000000046001600160401b03811115610d7657610d76612c14565b604051908082528060200260200182016040528015610da957816020015b6060815260200190600190039081610d945790505b5090507f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c15f5b7f0000000000000000000000000000000000000000000000000000000000000004811015610ec9575f610e028583610572565b6040516369457a6f60e01b8152600481018290529091506001600160a01b038416906369457a6f906024015f604051808303815f875af1925050508015610e6a57506040513d5f823e601f3d908101601f19168201604052610e679190810190613045565b60015b610ea057604080515f8152602081019091528451859084908110610e9057610e90612f0c565b6020026020010181905250610ec0565b80858481518110610eb357610eb3612f0c565b6020026020010181905250505b50600101610dcf565b5050919050565b5f5f610edb8361167c565b9050610ee78482611075565b949350505050565b60605f610efe856108e8610bec565b90505f610f0c8286866110dd565b509695505050505050565b610f4060405180608001604052805f81526020015f81526020015f81526020015f151581525090565b81831180610f58575081610f55608085612ef9565b11155b15610f8057604051638d78207d60e01b815260048101849052602481018390526044016105bf565b5f6002610f8e6080866130d4565b60808110610f9e57610f9e612f0c565b60408051608081018252919092015463ffffffff80821680845264010000000083049091166020840152600160401b820461ffff1693830193909352600160501b900460ff16151560608201529150610ff79085141590565b156110275760405180608001604052808581526020015f81526020015f81526020015f151581525091505061067a565b6040518060800160405280858152602001826040015161ffff16815260200161105d836020015163ffffffff1663ffffffff1690565b81526020018260600151151581525091505092915050565b5f6110a07f000000000000000000000000000000000000000000000000000000000000000184612ef9565b8211801561067757506110d37f000000000000000000000000000000000000000000000000000000000000000584612ef9565b9091111592915050565b6060807f00000000000000000000000000000000000000000000000000000000000000048380821461112b57604051636dbc4a2160e11b8152600481019290925260248201526044016105bf565b505060208501515f8190036111e257604080515f8082526020820190925290611175565b604080518082019091525f808252602082015281526020019060019003908161114f5790505b507f00000000000000000000000000000000000000000000000000000000000000046001600160401b038111156111ae576111ae612c14565b6040519080825280602002602001820160405280156111d7578160200160208202803683370190505b5092509250506112a4565b5f61122d7f00000000000000000000000000000000000000000000000000000000000000047f0000000000000000000000000000000000000000000000000000000000000030612ee2565b90505f816001600160401b0381111561124857611248612c14565b604051908082528060200260200182016040528015611271578160200160208202803683370190505b50905061127f888285611a7c565b5f61128c895f0151611c84565b905061129b8289898685611e62565b95509550505050505b935093915050565b5f82826040516020016112c09291906130e7565b60405160208183030381529060405280519060200120905092915050565b6040516374e0a89d60e01b8152600481018290525f907f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c19082906001600160a01b038316906374e0a89d9060240160408051808303815f875af1158015611347573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061136b9190613133565b50949350505050565b604051806080016040528061138886612190565b63ffffffff16815260200161139c85612190565b63ffffffff1681526020016113b08461219a565b61ffff16815282151560209091015260026113cc6080876130d4565b608081106113dc576113dc612f0c565b825191018054602084015160408501516060909501511515600160501b0260ff60501b1961ffff909616600160401b02959095166affffff00000000000000001963ffffffff9283166401000000000267ffffffffffffffff19909416929095169190911791909117929092169190911791909117905550505050565b5f5f5f5f5f6114688787611839565b93509350935093505f816001600160a01b03163b111561148d57935061067a92505050565b5f6114b97f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c186866121cc565b90505f6114e77f000000000000000000000000e66d9eebff5490e6bfa263cf08028de7d265321f83866122c3565b9998505050505050505050565b60606115207f54616c6c79536c617368696e6750726f706f73657200000000000000000000155f6122d0565b905090565b60606115207f310000000000000000000000000000000000000000000000000000000000000160016122d0565b5f60826115606080846130d4565b6080811061157057611570612f0c565b611000020192915050565b60408051608080825260a082019092526060916020820181803683370190505090506020810182156115ac57835481525b60208311156115c057600184015460208201525b60408311156115d457600284015460408201525b60608311156115e857600384015460608201525b50908152919050565b5f5f7f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c19050806001600160a01b031663d8e3784c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611652573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611676919061301f565b91505090565b5f61067a7f000000000000000000000000000000000000000000000000000000000000008083612fa6565b5f5f7f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c19050806001600160a01b0316633b10244b6040518163ffffffff1660e01b81526004016020604051808303815f875af1158015611709573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116769190613155565b5f5f61174683865f015187602001518860400151612379565b905083816001600160a01b038281169082161461178957604051633672eb9b60e21b81526001600160a01b039283166004820152911660248201526044016105bf565b5060019695505050505050565b5f6117a085611552565b8461040081106117b2576117b2612f0c565b60040201905081806080808211156117e6576040516358c953c360e11b8152600481019290925260248201526044016105bf565b50508381156117f457803583555b602082111561180857602081013560018401555b604082111561181c57604081013560028401555b606082111561183057606081013560038401555b50505050505050565b6060805f5f5f85519050806001600160401b0381111561185b5761185b612c14565b604051908082528060200260200182016040528015611884578160200160208202803683370190505b509450806001600160401b0381111561189f5761189f612c14565b6040519080825280602002602001820160405280156118c8578160200160208202803683370190505b5093505f5b818110156119bb578681815181106118e7576118e7612f0c565b60200260200101515f015186828151811061190457611904612f0c565b60200260200101906001600160a01b031690816001600160a01b0316815250506001600160601b03801687828151811061194057611940612f0c565b602002602001015160200151111561196b5760405163d885601560e01b815260040160405180910390fd5b86818151811061197d5761197d612f0c565b60200260200101516020015185828151811061199b5761199b612f0c565b6001600160601b03909216602092830291909101909101526001016118cd565b508685856040516020016119d193929190613170565b6040516020818303038152906040528051906020012092505f611a157f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c187876121cc565b9050611a437f000000000000000000000000e66d9eebff5490e6bfa263cf08028de7d265321f8286306123a5565b9250505092959194509250565b5f61067a611a5c6123cf565b8360405161190160f01b8152600281019290925260228201526042902090565b82515f6004611acb7f00000000000000000000000000000000000000000000000000000000000000047f0000000000000000000000000000000000000000000000000000000000000030612ee2565b611ad59190612fa6565b90505f611ae183611552565b90505f5b84811015611830575f611b0e83836104008110611b0457611b04612f0c565b600402018561157b565b90505f5b8481601f011015611b3057611b288883836124f8565b602001611b12565b84811015611c7a5781810160200151600282901b905f90811a90819003611b58575050611c72565b600381168015611b97578a51600160c05f19840160061b161b908c9085908110611b8457611b84612f0c565b6020026020010181815101915081815250505b6003600283901c168015611bdf5760066001820360ff16901b60ff166001901b8c8560010181518110611bcc57611bcc612f0c565b6020026020010181815101915081815250505b6003600484901c168015611c25578c51600160c05f19840160061b161b908e9060028801908110611c1257611c12612f0c565b6020026020010181815101915081815250505b6003600685901c168015611c6b578d51600160c05f19840160061b161b908f9060038901908110611c5857611c58612f0c565b6020026020010181815101915081815250505b5050505050505b600101611b30565b5050600101611ae5565b60607f00000000000000000000000000000000000000000000000000000000000000046001600160401b03811115611cbe57611cbe612c14565b604051908082528060200260200182016040528015611ce7578160200160208202803683370190505b5090505f5b7f0000000000000000000000000000000000000000000000000000000000000004811015611e5c575f611d1f8483610572565b6040516315d3bc7b60e01b8152600481018290529091505f906001600160a01b037f000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c116906315d3bc7b90602401602060405180830381865afa158015611d87573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611dab9190613155565b90506001600160a01b038116611dc2575050611e54565b604051631d18577f60e11b8152600481018390525f906001600160a01b03831690633a30aefe906024016040805180830381865afa158015611e06573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611e2a91906131e8565b50905080858581518110611e4057611e40612f0c565b911515602092830291909101909101525050505b600101611cec565b50919050565b606080836001600160401b03811115611e7d57611e7d612c14565b604051908082528060200260200182016040528015611ec157816020015b604080518082019091525f8082526020820152815260200190600190039081611e9b5790505b5091505f7f00000000000000000000000000000000000000000000000000000000000000046001600160401b03811115611efd57611efd612c14565b604051908082528060200260200182016040528015611f26578160200160208202803683370190505b5091505f5b85811015612183575f7f00000000000000000000000000000000000000000000000000000000000000308281611f6357611f63612f92565b049050858181518110611f7857611f78612f0c565b602002602001015115611f8b575061217b565b5f8a8381518110611f9e57611f9e612f0c565b60200260200101519050805f03611fb657505061217b565b5f60035b8015612176576001600160401b035f19820160061b84901c16918201917f0000000000000000000000000000000000000000000000000000000000000041831061216d575f8260010361202e57507f00000000000000000000000000000000000000000000152d02c7e14af6800000612088565b8260020361205d57507f00000000000000000000000000000000000000000000152d02c7e14af6800000612088565b8260030361208857507f00000000000000000000000000000000000000000000152d02c7e14af68000005b60405180604001604052808f8f898181106120a5576120a5612f0c565b90506020028101906120b79190612f20565b7f00000000000000000000000000000000000000000000000000000000000000308b816120e6576120e6612f92565b068181106120f6576120f6612f0c565b905060200201602081019061210b919061321d565b6001600160a01b03168152602001828152508a898151811061212f5761212f612f0c565b6020026020010181905250876001019750600189878151811061215457612154612f0c565b6020026020010190151590811515815250505050612176565b505f1901611fba565b505050505b600101611f2b565b5082529550959350505050565b5f61067a82612663565b5f61ffff8211156121c8576040516306dfcc6560e41b815260106004820152602481018390526044016105bf565b5090565b805182516060918181146121fc57604051632cd378e160e21b8152600481019290925260248201526044016105bf565b50505f8351602061220d9190612ee2565b612218906034612ef9565b90505f816001600160401b0381111561223357612233612c14565b6040519080825280601f01601f19166020018201604052801561225d576020820181803683370190505b509050602081018660601b815260148101905085518152602081019050855160208701602087015f5b838110156122b45760208181028481015160601b875283015160a01b60148701529490940193600101612286565b50939998505050505050505050565b5f610d328484845f612693565b606060ff83146122ea576122e3836126ac565b905061067a565b8180546122f690613238565b80601f016020809104026020016040519081016040528092919081815260200182805461232290613238565b801561236d5780601f106123445761010080835404028352916020019161236d565b820191905f5260205f20905b81548152906001019060200180831161235057829003601f168201915b5050505050905061067a565b5f5f5f5f612389888888886126e9565b92509250925061239982826127b1565b50909695505050505050565b5f5f6123b1868661286d565b90506123c5848280519060200120856128cb565b9695505050505050565b5f306001600160a01b037f000000000000000000000000158ecc4b24675dc399031c7d144786e3da2060a81614801561242757507f0000000000000000000000000000000000000000000000000000000000aa36a746145b1561245157507f7e517d0f487c1025a9732492034f72f996bd1640b13ea5449eceb40460568ec490565b611520604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60208201527f153f6de1d84e5ffb7811e7036c4b335c2cd6dc09988086594905d4ac3600f0e0918101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a08201525f9060c00160405160208183030381529060405280519060200120905090565b818101602001515f81900361250d5750505050565b600282901b5f5b602081101561265b57821561265b57600883901b9260f81c801561265257600282901b8301600382168015612578578851600160c05f19840160061b161b908a908490811061256557612565612f0c565b6020026020010181815101915081815250505b6003600284901c1680156125c05760066001820360ff16901b60ff166001901b8a84600101815181106125ad576125ad612f0c565b6020026020010181815101915081815250505b6003600485901c168015612606578a51600160c05f19840160061b161b908c90600287019081106125f3576125f3612f0c565b6020026020010181815101915081815250505b6003600686901c16801561264c578b51600160c05f19840160061b161b908d906003880190811061263957612639612f0c565b6020026020010181815101915081815250505b50505050505b50600101612514565b505050505050565b5f63ffffffff8211156121c8576040516306dfcc6560e41b815260206004820152602481018390526044016105bf565b5f5f61269f868661286d565b90506123c58385836128fd565b60605f6126b883612991565b6040805160208082528183019092529192505f91906020820181803683375050509182525060208101929092525090565b5f80807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a084111561272257505f915060039050826127a7565b604080515f808252602082018084528a905260ff891692820192909252606081018790526080810186905260019060a0016020604051602081039080840390855afa158015612773573d5f5f3e3d5ffd5b5050604051601f1901519150506001600160a01b03811661279e57505f9250600191508290506127a7565b92505f91508190505b9450945094915050565b5f8260038111156127c4576127c46129b8565b036127cd575050565b60018260038111156127e1576127e16129b8565b036127ff5760405163f645eedf60e01b815260040160405180910390fd5b6002826003811115612813576128136129b8565b036128345760405163fce698f760e01b8152600481018290526024016105bf565b6003826003811115612848576128486129b8565b03612869576040516335e2f38360e21b8152600481018290526024016105bf565b5050565b6060615fd3825111156128935760405163250a241560e21b815260040160405180910390fd5b81516128a090602d612ef9565b83836040516020016128b49392919061326a565b604051602081830303815290604052905092915050565b5f604051836040820152846020820152828152600b8101905060ff8153605590206001600160a01b0316949350505050565b5f834710156129285760405163cf47918160e01b8152476004820152602481018590526044016105bf565b81515f0361294957604051631328927760e21b815260040160405180910390fd5b8282516020840186f590503d15198115161561296a576040513d5f823e3d81fd5b6001600160a01b038116610d355760405163b06ebf3d60e01b815260040160405180910390fd5b5f60ff8216601f81111561067a57604051632cd44ac360e21b815260040160405180910390fd5b634e487b7160e01b5f52602160045260245ffd5b60208101600383106129ec57634e487b7160e01b5f52602160045260245ffd5b91905290565b5f5f60408385031215612a03575f5ffd5b50508035926020909101359150565b5f5f5f60408486031215612a24575f5ffd5b8335925060208401356001600160401b03811115612a40575f5ffd5b8401601f81018613612a50575f5ffd5b80356001600160401b03811115612a65575f5ffd5b8660208260051b8401011115612a79575f5ffd5b939660209190910195509293505050565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b60ff60f81b8816815260e060208201525f612ad660e0830189612a8a565b8281036040840152612ae88189612a8a565b606084018890526001600160a01b038716608085015260a0840186905283810360c0850152845180825260208087019350909101905f5b81811015612b3d578351835260209384019390920191600101612b1f565b50909b9a5050505050505050505050565b5f60208284031215612b5e575f5ffd5b5035919050565b602081525f6106776020830184612a8a565b5f5f83601f840112612b87575f5ffd5b5081356001600160401b03811115612b9d575f5ffd5b602083019150836020828501011115612bb4575f5ffd5b9250929050565b5f5f5f8385036080811215612bce575f5ffd5b84356001600160401b03811115612be3575f5ffd5b612bef87828801612b77565b9095509350506060601f1982011215612c06575f5ffd5b506020840190509250925092565b634e487b7160e01b5f52604160045260245ffd5b604080519081016001600160401b0381118282101715612c4a57612c4a612c14565b60405290565b604051601f8201601f191681016001600160401b0381118282101715612c7857612c78612c14565b604052919050565b5f6001600160401b03821115612c9857612c98612c14565b5060051b60200190565b6001600160a01b0381168114612cb6575f5ffd5b50565b5f5f60408385031215612cca575f5ffd5b8235915060208301356001600160401b03811115612ce6575f5ffd5b8301601f81018513612cf6575f5ffd5b8035612d09612d0482612c80565b612c50565b8082825260208201915060208360061b850101925087831115612d2a575f5ffd5b6020840193505b82841015612d7a5760408489031215612d48575f5ffd5b612d50612c28565b8435612d5b81612ca2565b8152602085810135818301529083526040909401939190910190612d31565b809450505050509250929050565b5f5f5f60408486031215612d9a575f5ffd5b83356001600160401b03811115612daf575f5ffd5b612dbb86828701612b77565b909790965060209590950135949350505050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015612e5857868503603f19018452815180518087526020918201918701905f5b81811015612e3f5783516001600160a01b0316835260209384019390920191600101612e18565b5090965050506020938401939190910190600101612df5565b50929695505050505050565b602080825282518282018190525f918401906040840190835b81811015612eb057835180516001600160a01b031684526020908101518185015290930192604090920191600101612e7d565b509095945050505050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561067a5761067a612ebb565b808202811582820484141761067a5761067a612ebb565b8082018082111561067a5761067a612ebb565b634e487b7160e01b5f52603260045260245ffd5b5f5f8335601e19843603018112612f35575f5ffd5b8301803591506001600160401b03821115612f4e575f5ffd5b6020019150600581901b3603821315612bb4575f5ffd5b80518015158114612f74575f5ffd5b919050565b5f60208284031215612f89575f5ffd5b61067782612f65565b634e487b7160e01b5f52601260045260245ffd5b5f82612fb457612fb4612f92565b500490565b5f6060828403128015612fca575f5ffd5b50604051606081016001600160401b0381118282101715612fed57612fed612c14565b604052823560ff81168114613000575f5ffd5b8152602083810135908201526040928301359281019290925250919050565b5f6020828403121561302f575f5ffd5b5051919050565b818382375f9101908152919050565b5f60208284031215613055575f5ffd5b81516001600160401b0381111561306a575f5ffd5b8201601f8101841361307a575f5ffd5b8051613088612d0482612c80565b8082825260208201915060208360051b8501019250868311156130a9575f5ffd5b6020840193505b828410156123c55783516130c381612ca2565b8252602093840193909101906130b0565b5f826130e2576130e2612f92565b500690565b602080825281018290525f8360408301825b8581101561312957823561310c81612ca2565b6001600160a01b03168252602092830192909101906001016130f9565b5095945050505050565b5f5f60408385031215613144575f5ffd5b505080516020909101519092909150565b5f60208284031215613165575f5ffd5b8151610d3581612ca2565b8381525f602082018451602086015f5b828110156131a75781516001600160a01b0316845260209384019390910190600101613180565b50508451602086019291505f5b818110156131db5783516001600160601b03168352602093840193909201916001016131b4565b5090979650505050505050565b5f5f604083850312156131f9575f5ffd5b61320283612f65565b9150602083015161321281612ca2565b809150509250929050565b5f6020828403121561322d575f5ffd5b8135610d3581612ca2565b600181811c9082168061324c57607f821691505b602082108103611e5c57634e487b7160e01b5f52602260045260245ffd5b606160f81b815260f084901b6001600160f01b0319166001820152703d81600a3d39f3363d3d373d3d3d363d7360781b6003820152606083901b6bffffffffffffffffffffffff191660148201526e5af43d82803e903d91602b57fd5bf360881b602882015281515f908060208501603785015e5f920160370191825250939250505056fea2646970667358221220024468c679aabfc9085978aad58d78eb1b4bc393f472e26e88cdfb587313214564736f6c634300081e0033

000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c1000000000000000000000000cf750b724558098e5db67b651f03a31ae2b252f4000000000000000000000000000000000000000000000000000000000000004100000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000152d02c7e14af680000000000000000000000000000000000000000000000000152d02c7e14af680000000000000000000000000000000000000000000000000152d02c7e14af6800000000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002

-----Decoded View---------------
Arg [0] : _instance (address): 0xf6D0D42aCE06829bECB78C74F49879528fC632c1
Arg [1] : _slasher (address): 0xCF750B724558098E5db67B651f03a31AE2b252f4
Arg [2] : _quorum (uint256): 65
Arg [3] : _roundSize (uint256): 128
Arg [4] : _lifetimeInRounds (uint256): 5
Arg [5] : _executionDelayInRounds (uint256): 1
Arg [6] : _slashAmounts (uint256[3]): 100000000000000000000000,100000000000000000000000,100000000000000000000000
Arg [7] : _committeeSize (uint256): 48
Arg [8] : _epochDuration (uint256): 32
Arg [9] : _slashOffsetInRounds (uint256): 2

-----Encoded View---------------
12 Constructor Arguments found :
Arg [0] : 000000000000000000000000f6d0d42ace06829becb78c74f49879528fc632c1
Arg [1] : 000000000000000000000000cf750b724558098e5db67b651f03a31ae2b252f4
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000041
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000001
Arg [6] : 00000000000000000000000000000000000000000000152d02c7e14af6800000
Arg [7] : 00000000000000000000000000000000000000000000152d02c7e14af6800000
Arg [8] : 00000000000000000000000000000000000000000000152d02c7e14af6800000
Arg [9] : 0000000000000000000000000000000000000000000000000000000000000030
Arg [10] : 0000000000000000000000000000000000000000000000000000000000000020
Arg [11] : 0000000000000000000000000000000000000000000000000000000000000002