@ensuro/core
Version:
Ensuro - Decentralized insurance protocol
1,048 lines • 104 kB
JSON
{
"_format": "hh-sol-artifact-1",
"contractName": "TrustfulRiskModule",
"sourceName": "contracts/TrustfulRiskModule.sol",
"abi": [
{
"inputs": [
{
"internalType": "contract IPolicyPool",
"name": "policyPool_",
"type": "address"
},
{
"internalType": "contract IPremiumsAccount",
"name": "premiumsAccount_",
"type": "address"
}
],
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"inputs": [],
"name": "ExposureLimitCannotBeLessThanActiveExposure",
"type": "error"
},
{
"inputs": [],
"name": "NoZeroPolicyPool",
"type": "error"
},
{
"inputs": [],
"name": "NoZeroWallet",
"type": "error"
},
{
"inputs": [],
"name": "OnlyPolicyPool",
"type": "error"
},
{
"inputs": [],
"name": "PremiumsAccountMustBePartOfThePool",
"type": "error"
},
{
"inputs": [],
"name": "UpgradeCannotChangePolicyPool",
"type": "error"
},
{
"inputs": [],
"name": "UpgradeCannotChangePremiumsAccount",
"type": "error"
},
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "address",
"name": "previousAdmin",
"type": "address"
},
{
"indexed": false,
"internalType": "address",
"name": "newAdmin",
"type": "address"
}
],
"name": "AdminChanged",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"internalType": "address",
"name": "beacon",
"type": "address"
}
],
"name": "BeaconUpgraded",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"internalType": "enum IAccessManager.GovernanceActions",
"name": "action",
"type": "uint8"
},
{
"indexed": false,
"internalType": "address",
"name": "value",
"type": "address"
}
],
"name": "ComponentChanged",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"internalType": "enum IAccessManager.GovernanceActions",
"name": "action",
"type": "uint8"
},
{
"indexed": false,
"internalType": "uint256",
"name": "value",
"type": "uint256"
}
],
"name": "GovernanceAction",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "uint8",
"name": "version",
"type": "uint8"
}
],
"name": "Initialized",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "address",
"name": "account",
"type": "address"
}
],
"name": "Paused",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "address",
"name": "account",
"type": "address"
}
],
"name": "Unpaused",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"internalType": "address",
"name": "implementation",
"type": "address"
}
],
"name": "Upgraded",
"type": "event"
},
{
"inputs": [],
"name": "PRICER_ROLE",
"outputs": [
{
"internalType": "bytes32",
"name": "",
"type": "bytes32"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "REPLACER_ROLE",
"outputs": [
{
"internalType": "bytes32",
"name": "",
"type": "bytes32"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "RESOLVER_ROLE",
"outputs": [
{
"internalType": "bytes32",
"name": "",
"type": "bytes32"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "activeExposure",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "currency",
"outputs": [
{
"internalType": "contract IERC20Metadata",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "exposureLimit",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
}
],
"name": "getMinimumPremium",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "string",
"name": "name_",
"type": "string"
},
{
"internalType": "uint256",
"name": "collRatio_",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroPpFee_",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srRoc_",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "maxPayoutPerPolicy_",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "exposureLimit_",
"type": "uint256"
},
{
"internalType": "address",
"name": "wallet_",
"type": "address"
}
],
"name": "initialize",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "maxDuration",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "maxPayoutPerPolicy",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "name",
"outputs": [
{
"internalType": "string",
"name": "",
"type": "string"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
},
{
"internalType": "address",
"name": "onBehalfOf",
"type": "address"
},
{
"internalType": "uint96",
"name": "internalId",
"type": "uint96"
}
],
"name": "newPolicy",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
},
{
"internalType": "address",
"name": "onBehalfOf",
"type": "address"
},
{
"internalType": "uint96",
"name": "internalId",
"type": "uint96"
}
],
"name": "newPolicyFull",
"outputs": [
{
"components": [
{
"internalType": "uint256",
"name": "id",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "purePremium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "partnerCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrCoc",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srCoc",
"type": "uint256"
},
{
"internalType": "contract IRiskModule",
"name": "riskModule",
"type": "address"
},
{
"internalType": "uint40",
"name": "start",
"type": "uint40"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
}
],
"internalType": "struct Policy.PolicyData",
"name": "createdPolicy",
"type": "tuple"
}
],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "params",
"outputs": [
{
"components": [
{
"internalType": "uint256",
"name": "moc",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrCollRatio",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "collRatio",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroPpFee",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroCocFee",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrRoc",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srRoc",
"type": "uint256"
}
],
"internalType": "struct IRiskModule.Params",
"name": "ret",
"type": "tuple"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "pause",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "paused",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "policyPool",
"outputs": [
{
"internalType": "contract IPolicyPool",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "premiumsAccount",
"outputs": [
{
"internalType": "contract IPremiumsAccount",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "proxiableUUID",
"outputs": [
{
"internalType": "bytes32",
"name": "",
"type": "bytes32"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
}
],
"name": "releaseExposure",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"components": [
{
"internalType": "uint256",
"name": "id",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "purePremium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "partnerCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrCoc",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srCoc",
"type": "uint256"
},
{
"internalType": "contract IRiskModule",
"name": "riskModule",
"type": "address"
},
{
"internalType": "uint40",
"name": "start",
"type": "uint40"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
}
],
"internalType": "struct Policy.PolicyData",
"name": "oldPolicy",
"type": "tuple"
},
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
},
{
"internalType": "uint96",
"name": "internalId",
"type": "uint96"
}
],
"name": "replacePolicy",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"components": [
{
"internalType": "uint256",
"name": "id",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "purePremium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "partnerCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrCoc",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srCoc",
"type": "uint256"
},
{
"internalType": "contract IRiskModule",
"name": "riskModule",
"type": "address"
},
{
"internalType": "uint40",
"name": "start",
"type": "uint40"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
}
],
"internalType": "struct Policy.PolicyData",
"name": "policy",
"type": "tuple"
},
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
}
],
"name": "resolvePolicy",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"components": [
{
"internalType": "uint256",
"name": "id",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "payout",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "premium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srScr",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "lossProb",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "purePremium",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "ensuroCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "partnerCommission",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "jrCoc",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "srCoc",
"type": "uint256"
},
{
"internalType": "contract IRiskModule",
"name": "riskModule",
"type": "address"
},
{
"internalType": "uint40",
"name": "start",
"type": "uint40"
},
{
"internalType": "uint40",
"name": "expiration",
"type": "uint40"
}
],
"internalType": "struct Policy.PolicyData",
"name": "policy",
"type": "tuple"
},
{
"internalType": "bool",
"name": "customerWon",
"type": "bool"
}
],
"name": "resolvePolicyFullPayout",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "enum IRiskModule.Parameter",
"name": "param",
"type": "uint8"
},
{
"internalType": "uint256",
"name": "newValue",
"type": "uint256"
}
],
"name": "setParam",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "wallet_",
"type": "address"
}
],
"name": "setWallet",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "bytes4",
"name": "interfaceId",
"type": "bytes4"
}
],
"name": "supportsInterface",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "unpause",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "newImplementation",
"type": "address"
}
],
"name": "upgradeTo",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "newImplementation",
"type": "address"
},
{
"internalType": "bytes",
"name": "data",
"type": "bytes"
}
],
"name": "upgradeToAndCall",
"outputs": [],
"stateMutability": "payable",
"type": "function"
},
{
"inputs": [],
"name": "wallet",
"outputs": [
{
"internalType": "address",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
}
],
"bytecode": "0x60e060405230608052348015610013575f5ffd5b50604051614f73380380614f73833981016040819052610032916101f8565b8181816001600160a01b03811661005c57604051636b23cf0160e01b815260040160405180910390fd5b610064610125565b806001600160a01b031660a0816001600160a01b03168152505050816001600160a01b0316816001600160a01b0316634d15eb036040518163ffffffff1660e01b8152600401602060405180830381865afa1580156100c5573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906100e99190610230565b6001600160a01b0316146101105760405163fec343d560e01b815260040160405180910390fd5b6001600160a01b031660c05250610252915050565b5f54610100900460ff16156101905760405162461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b606482015260840160405180910390fd5b5f5460ff908116146101df575f805460ff191660ff9081179091556040519081527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b565b6001600160a01b03811681146101f5575f5ffd5b50565b5f5f60408385031215610209575f5ffd5b8251610214816101e1565b6020840151909250610225816101e1565b809150509250929050565b5f60208284031215610240575f5ffd5b815161024b816101e1565b9392505050565b60805160a05160c051614c1e6103555f395f81816103d7015261310401525f81816102d9015281816106e3015281816107d5015281816108aa01528181610ac001528181610bd601528181610e4e01528181610fe9015281816110e30152818161116f015281816112c3015281816118b7015281816119e701528181611a8801528181611b8501528181611c5101528181611f920152818161202f015281816120e2015281816122b10152818161238a0152818161280201528181612d7b01528181612e1801528181612ebe0152818161306b01526137c601525f81816109b3015281816109fc01528181610cd901528181610d190152610da60152614c1e5ff3fe6080604052600436106101c5575f3560e01c806373a952e8116100f2578063af0e7e0c11610092578063deaa59df11610062578063deaa59df14610577578063e5a6b10f14610596578063fbb81279146105aa578063ffa600e3146105dd575f5ffd5b8063af0e7e0c146104a8578063c1cca2b3146104db578063cfd4c606146104fa578063cff0ab961461050e575f5ffd5b80637ff8bf25116100cd5780637ff8bf251461044d5780638456cb591461046157806385272a6e146104755780638bac3a2414610489575f5ffd5b806373a952e8146103c957806378fab260146103fb5780637a702b3c1461042e575f5ffd5b80634d15eb03116101685780635c975abb116101385780635c975abb146103555780636a448ef11461036c5780636db5c8fd1461038b5780636f0dbe6f146103aa575f5ffd5b80634d15eb03146102cb5780634f1ef28614610311578063521eb2731461032457806352d1902d14610341575f5ffd5b80631d177dc4116101a35780631d177dc41461024b5780633659cfe6146102775780633f4ba83a14610298578063406f7f6f146102ac575f5ffd5b806301ffc9a7146101c957806306fdde03146101fd5780630bc872d91461021e575b5f5ffd5b3480156101d4575f5ffd5b506101e86101e3366004613f1b565b6105fc565b60405190151581526020015b60405180910390f35b348015610208575f5ffd5b50610211610627565b6040516101f49190613f42565b348015610229575f5ffd5b5061023d610238366004613fbd565b6106b7565b6040519081526020016101f4565b348015610256575f5ffd5b5061026a610265366004614033565b610877565b6040516101f49190614144565b348015610282575f5ffd5b50610296610291366004614153565b6109a9565b005b3480156102a3575f5ffd5b50610296610a8f565b3480156102b7575f5ffd5b5061023d6102c6366004614033565b610baa565b3480156102d6575f5ffd5b507f00000000000000000000000000000000000000000000000000000000000000005b6040516001600160a01b0390911681526020016101f4565b61029661031f3660046141f9565b610ccf565b34801561032f575f5ffd5b5060fe546001600160a01b03166102f9565b34801561034c575f5ffd5b5061023d610d9a565b348015610360575f5ffd5b5060975460ff166101e8565b348015610377575f5ffd5b50610296610386366004614259565b610e4b565b348015610396575f5ffd5b5060fc54600160b01b900461ffff1661023d565b3480156103b5575f5ffd5b506102966103c4366004614270565b610ead565b3480156103d4575f5ffd5b507f00000000000000000000000000000000000000000000000000000000000000006102f9565b348015610406575f5ffd5b5061023d7f92a19c77d2ea87c7f81d50c74403cb2f401780f3ad919571121efe2bdb427eb181565b348015610439575f5ffd5b506102966104483660046142ff565b610fc6565b348015610458575f5ffd5b5060fd5461023d565b34801561046c575f5ffd5b5061029661114c565b348015610480575f5ffd5b5061023d611253565b348015610494575f5ffd5b5061023d6104a336600461432a565b611275565b3480156104b3575f5ffd5b5061023d7f13413a37e797fdcf9481024e55772fdede41168298ffead0664159cf5d07455581565b3480156104e6575f5ffd5b506102966104f536600461435c565b611292565b348015610505575f5ffd5b5061023d611797565b348015610519575f5ffd5b506105226117b5565b6040516101f491905f60e082019050825182526020830151602083015260408301516040830152606083015160608301526080830151608083015260a083015160a083015260c083015160c083015292915050565b348015610582575f5ffd5b50610296610591366004614153565b611894565b3480156105a1575f5ffd5b506102f96119e4565b3480156105b5575f5ffd5b5061023d7fc6823861ee2bb2198ce6b1fd6faf4c8f44f745bc804aca4a762f67e0d507fd8a81565b3480156105e8575f5ffd5b506102966105f7366004614396565b611a65565b5f61060682611bbc565b8061062157506001600160e01b0319821663da40804f60e01b145b92915050565b606060fb8054610636906143ce565b80601f0160208091040260200160405190810160405280929190818152602001828054610662906143ce565b80156106ad5780601f10610684576101008083540402835291602001916106ad565b820191905f5260205f20905b81548152906001019060200180831161069057829003601f168201915b5050505050905090565b5f6106c0611bf1565b7f13413a37e797fdcf9481024e55772fdede41168298ffead0664159cf5d0745557f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa15801561073d573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107619190614400565b6001600160a01b0316635ff57d203083335f6040518563ffffffff1660e01b8152600401610792949392919061441b565b5f6040518083038186803b1580156107a8575f5ffd5b505afa1580156107ba573d5f5f3e3d5ffd5b50506040516331a9108f60e11b81528a3560048201525f92507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169150636352211e90602401602060405180830381865afa158015610823573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108479190614400565b9050610869898989898961085b878e611c39565b8a6108646117b5565b611d5c565b519998505050505050505050565b61087f613ea3565b610887611bf1565b7fc6823861ee2bb2198ce6b1fd6faf4c8f44f745bc804aca4a762f67e0d507fd8a7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa158015610904573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109289190614400565b6001600160a01b0316635ff57d203083335f6040518563ffffffff1660e01b8152600401610959949392919061441b565b5f6040518083038186803b15801561096f575f5ffd5b505afa158015610981573d5f5f3e3d5ffd5b5050505061099d88888888610996898d611c39565b898961233a565b98975050505050505050565b6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001630036109fa5760405162461bcd60e51b81526004016109f190614445565b60405180910390fd5b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610a425f516020614b825f395f51905f52546001600160a01b031690565b6001600160a01b031614610a685760405162461bcd60e51b81526004016109f190614491565b610a7181612359565b604080515f80825260208201909252610a8c91839190612476565b50565b7f55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a50415f516020614ba25f395f51905f527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b1a573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b3e9190614400565b6001600160a01b0316632b1cff1f3084843360016040518663ffffffff1660e01b8152600401610b729594939291906144dd565b5f6040518083038186803b158015610b88575f5ffd5b505afa158015610b9a573d5f5f3e3d5ffd5b50505050610ba66125e0565b5050565b5f610bb3611bf1565b7fc6823861ee2bb2198ce6b1fd6faf4c8f44f745bc804aca4a762f67e0d507fd8a7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c30573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c549190614400565b6001600160a01b0316635ff57d203083335f6040518563ffffffff1660e01b8152600401610c85949392919061441b565b5f6040518083038186803b158015610c9b575f5ffd5b505afa158015610cad573d5f5f3e3d5ffd5b50505050610cc288888888610996898d611c39565b5198975050505050505050565b6001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000163003610d175760405162461bcd60e51b81526004016109f190614445565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610d5f5f516020614b825f395f51905f52546001600160a01b031690565b6001600160a01b031614610d855760405162461bcd60e51b81526004016109f190614491565b610d8e82612359565b610ba682826001612476565b5f306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610e395760405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c000000000000000060648201526084016109f1565b505f516020614b825f395f51905f5290565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614610e945760405163799e780f60e01b815260040160405180910390fd5b8060fd5f828254610ea59190614524565b909155505050565b5f54610100900460ff1615808015610ecb57505f54600160ff909116105b80610ee45750303b158015610ee457505f5460ff166001145b610f475760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b60648201526084016109f1565b5f805460ff191660011790558015610f68575f805461ff0019166101001790555b610f7788888888888888612632565b8015610fbc575f805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b5050505050505050565b7f92a19c77d2ea87c7f81d50c74403cb2f401780f3ad919571121efe2bdb427eb17f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa158015611043573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110679190614400565b6001600160a01b0316635ff57d203083335f6040518563ffffffff1660e01b8152600401611098949392919061441b565b5f6040518083038186803b1580156110ae575f5ffd5b505afa1580156110c0573d5f5f3e3d5ffd5b505050506110cc611bf1565b604051631e9c0acf60e21b81526001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690637a702b3c9061111a9086908690600401614603565b5f604051808303815f87803b158015611131575f5ffd5b505af1158015611143573d5f5f3e3d5ffd5b50505050505050565b7f55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a50417f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111c9573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111ed9190614400565b6001600160a01b0316635ff57d2030833360016040518563ffffffff1660e01b815260040161121f949392919061441b565b5f6040518083038186803b158015611235575f5ffd5b505afa158015611247573d5f5f3e3d5ffd5b50505050610a8c61266f565b60fc545f90611270908290600160901b900463ffffffff166126ac565b905090565b5f61128a848484426112856117b5565b61273a565b949350505050565b5f516020614ba25f395f51905f527fa82e22387fca439f316d78ca566f383218ab8ae1b3e830178c9c82cbd16749c07f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa15801561131d573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113419190614400565b6001600160a01b0316632b1cff1f3084843360016040518663ffffffff1660e01b81526004016113759594939291906144dd565b5f6040518083038186803b15801561138b575f5ffd5b505afa15801561139d573d5f5f3e3d5ffd5b505f92506113a9915050565b8460098111156113bb576113bb614620565b036113e4576113c983612756565b60fc805461ffff191661ffff9290921691909117905561175a565b60018460098111156113f8576113f8614620565b0361142a5761140683612756565b60fc805461ffff92909216620100000263ffff00001990921691909117905561175a565b600284600981111561143e5761143e614620565b036114745761144c83612756565b60fc805461ffff929092166401000000000265ffff000000001990921691909117905561175a565b600384600981111561148857611488614620565b036114bf5761149683612756565b60fc805461ffff92909216600160301b0267ffff0000000000001990921691909117905561175a565b60048460098111156114d3576114d3614620565b0361150c576114e183612756565b60fc805461ffff92909216600160401b0269ffff00000000000000001990921691909117905561175a565b600584600981111561152057611520614620565b036115545761152e83612756565b60fc805461ffff92909216600160501b0261ffff60501b1990921691909117905561175a565b600684600981111561156857611568614620565b0361159c5761157683612756565b60fc805461ffff92909216600160601b0261ffff60601b1990921691909117905561175a565b60078460098111156115b0576115b0614620565b036115ea576115c060028461276f565b60fc805463ffffffff92909216600160701b0263ffffffff60701b1990921691909117905561175a565b60088460098111156115fe576115fe614620565b036117165760fd5483101561166f5760405162461bcd60e51b815260206004820152603160248201527f43616e277420736574206578706f737572654c696d6974206c657373207468616044820152706e20616374697665206578706f7375726560781b60648201526084016109f1565b611677611253565b8311158061169657506116965f516020614ba25f395f51905f526127ff565b6116e25760405162461bcd60e51b815260206004820152601d60248201527f496e637265617365207265717569726573204c4556454c315f524f4c4500000060448201526064016109f1565b6116ec5f8461276f565b60fc805463ffffffff92909216600160901b0263ffffffff60901b1990921691909117905561175a565b600984600981111561172a5761172a614620565b0361175a57611738836128f1565b60fc805461ffff92909216600160b01b0261ffff60b01b199092169190911790555b61179184600981111561176f5761176f614620565b61177a906008614634565b602d81111561178b5761178b614620565b84612957565b50505050565b60fc545f9061127090600290600160701b900463ffffffff166126ac565b6117ee6040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604080516101408101825260fc5461ffff8082168352620100008204811660208401526401000000008204811693830193909352600160301b810483166060830152600160401b810483166080830152600160501b8104831660a0830152600160601b8104831660c083015263ffffffff600160701b8204811660e0840152600160901b820416610100830152600160b01b9004909116610120820152611270906129a8565b7f0df0a8869cf58168a14cd7ac426ff1b8c6ff5d5c800c6f44803f3431dcb3bad17f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa158015611911573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906119359190614400565b6001600160a01b0316635ff57d203083335f6040518563ffffffff1660e01b8152600401611966949392919061441b565b5f6040518083038186803b15801561197c575f5ffd5b505afa15801561198e573d5f5f3e3d5ffd5b5050506001600160a01b03831690506119ba57604051634d1c286960e11b815260040160405180910390fd5b60fe80546001600160a01b0319166001600160a01b038416908117909155610ba690601290612957565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663e5a6b10f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611a41573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112709190614400565b7f92a19c77d2ea87c7f81d50c74403cb2f401780f3ad919571121efe2bdb427eb17f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa158015611ae2573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611b069190614400565b6001600160a01b0316635ff57d203083335f6040518563ffffffff1660e01b8152600401611b37949392919061441b565b5f6040518083038186803b158015611b4d575f5ffd5b505afa158015611b5f573d5f5f3e3d5ffd5b50505050611b6b611bf1565b60405160016259ff1d60e01b031981526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000169063ffa600e39061111a9086908690600401614647565b5f6001600160e01b031982166301ffc9a760e01b148061062157506001600160e01b03198216634d15eb0360e01b1492915050565b60975460ff1615611c375760405162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b60448201526064016109f1565b565b816001600160a01b0381163314801590611d4e5750817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663e5a6b10f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611cab573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611ccf9190614400565b6001600160a01b031663dd62ed3e83336040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381865afa158015611d28573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611d4c9190614666565b105b1561062157335b9392505050565b611d64613ea3565b5f198703611d8d57611d8a888787611d846101a08e016101808f0161467d565b8661273a565b96505b878710611ddc5760405162461bcd60e51b815260206004820181905260248201527f5072656d69756d206d757374206265206c657373207468616e207061796f757460448201526064016109f1565b64ffffffffff4216611df66101c08b016101a08c0161467d565b64ffffffffff1611611e425760405162461bcd60e51b815260206004820152601560248201527413db19081c1bdb1a58de481a5cc8195e1c1a5c9959605a1b60448201526064016109f1565b611e546101c08a016101a08b0161467d565b64ffffffffff168564ffffffffff1610158015611e75575088602001358810155b8015611e85575088604001358710155b611ef75760405162461bcd60e51b815260206004820152603b60248201527f506f6c696379207265706c6163656d656e74206d75737420626520677265617460448201527f6572206f7220657175616c207468616e206f6c6420706f6c696379000000000060648201526084016109f1565b60fc54600160b01b900461ffff16610e10611f1a6101a08c016101808d0161467d565b611f249088614696565b611f2e91906146c7565b64ffffffffff1610611f825760405162461bcd60e51b815260206004820152601b60248201527f506f6c6963792065786365656473206d6178206475726174696f6e000000000060448201526064016109f1565b611f9060408a013588614524565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663e5a6b10f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611fec573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906120109190614400565b604051636eb1769f60e11b81526001600160a01b0387811660048301527f000000000000000000000000000000000000000000000000000000000000000081166024830152919091169063dd62ed3e90604401602060405180830381865afa15801561207e573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906120a29190614666565b10156120c05760405162461bcd60e51b81526004016109f1906146f0565b6001600160a01b0384163314806121e057506120e060408a013588614524565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663e5a6b10f6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561213c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906121609190614400565b6001600160a01b031663dd62ed3e86336040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381865afa1580156121b9573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906121dd9190614666565b10155b6121fc5760405162461bcd60e51b81526004016109f19061473d565b612204611797565b8811156122235760405162461bcd60e51b81526004016109f19061478c565b6122453083898b8a8a8f610180016020810190612240919061467d565b612a6c565b90508860200135816020015161225b9190614524565b60fd5f82825461226b9190614634565b909155506122799050611253565b60fd54111561229a5760405162461bcd60e51b81526004016109f1906147de565b604051631f6be0d760e11b81526001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690633ed7c1ae906122ec908c90859089908990600401614821565b6020604051808303815f875af1158015612308573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061232c9190614666565b815298975050505050505050565b612342613ea3565b61099d888888888888886123546117b5565b612bdc565b7f55435dd261a4b9b3364963f7738a7a662ad9c84396d64be3365284bb7f0a50415f516020614ba25f395f51905f527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa1580156123e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906124089190614400565b6001600160a01b0316632b1cff1f3084843360016040518663ffffffff1660e01b815260040161243c9594939291906144dd565b5f6040518083038186803b158015612452575f5ffd5b505afa158015612464573d5f5f3e3d5ffd5b50505050612471836130f5565b505050565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156124a957612471836131b3565b826001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa925050508015612503575060408051601f3d908101601f1916820190925261250091810190614666565b60015b6125665760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b60648201526084016109f1565b5f516020614b825f395f51905f5281146125d45760405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b60648201526084016109f1565b5061247183838361324e565b6125e8613272565b6097805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b6040516001600160a01b03909116815260200160405180910390a1565b5f54610100900460ff166126585760405162461bcd60e51b81526004016109f190614869565b6126606132bb565b611143878787878787876132f1565b612677611bf1565b6097805460ff191660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586126153390565b5f826126b66119e4565b6001600160a01b031663313ce5676040518163ffffffff1660e01b8152600401602060405180830381865afa1580156126f1573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061271591906148b4565b61271f91906148d4565b61272a90600a6149d0565b611d559063ffffffff84166149de565b5f61274882878787876134fb565b60e001519695505050505050565b5f61062161276a655af3107a4000846149f5565b6128f1565b5f611d558361277c6119e4565b6001600160a01b031663313ce5676040518163ffffffff1660e01b8152600401602060405180830381865afa1580156127b7573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906127db91906148b4565b6127e591906148d4565b6127f090600a6149d0565b6127fa90846149f5565b6136ee565b5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166371907f176040518163ffffffff1660e01b8152600401602060405180830381865afa15801561285c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906128809190614400565b6001600160a01b031663b3efcbd230843360016040518563ffffffff1660e01b81526004016128b2949392919061441b565b602060405180830381865afa1580156128cd573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106219190614a08565b5f61ffff8211156129535760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203160448201526536206269747360d01b60648201526084016109f1565b5090565b61295f613752565b81602d81111561297157612971614620565b6040518281527f7bc647fe5043209e2019aa3503b79c1b0dd83eb61c56013d373a7584ff6bfb139060200160405180910390a25050565b6129e16040518060e001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518060e001604052806129f8845f01516137af565b8152602001612a0a84602001516137af565b8152602001612a1c84604001516137af565b8152602001612a2e84606001516137af565b8152602001612a4084608001516137af565b8152602001612a528460a001516137af565b8152602001612a648460c001516137af565b905292915050565b612a74613ea3565b84861115612acf5760405162461bcd60e51b815260206004820152602260248201527f5072656d69756d2063616e6e6f74206265206d6f7265207468616e207061796f6044820152611d5d60f21b60648201526084016109f1565b612ad7613ea3565b6001600160a01b038916610160820152604081018790526020810186905260a0810185905264ffffffffff80841661018083015284166101a08201525f612b2189888888886134fb565b805160c0840152602081015160608085019190915260408201516080808601919091529082015161012085015281015161014084015260a081015160e080850191909152810151909150881015612bba5760405162461bcd60e51b815260206004820152601960248201527f5072656d69756d206c657373207468616e206d696e696d756d0000000000000060448201526064016109f1565b60e0810151612bc99089614524565b6101008301525098975050505050505050565b612be4613ea3565b4260018901612bfd57612bfa8a8989848761273a565b98505b898910612c4c5760405162461bcd60e51b815260206004820181905260248201527f5072656d69756d206d757374206265206c657373207468616e207061796f757460448201526064016109f1565b8064ffffffffff168764ffffffffff1611612ca95760405162461bcd60e51b815260206004820181905260248201527f45787069726174696f6e206d75737420626520696e207468652066757475726560448201526064016109f1565b60fc54600160b01b900461ffff16610e10612cc4838a614696565b612cce91906146c7565b64ffffffffff1610612d225760405162461bcd60e51b815260206004820152601b60248201527f506f6c6963792065786365656473206d6178206475726174696f6e000000000060448201526064016109f1565b6001600160a01b038516612d785760405162461bcd60e51b815260206004820152601e60248201527f437573746f6d65722063616e2774206265207a65726f2061646472657373000060448201526064016109f1565b887f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663e5a6b10f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015612dd5573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612df99190614400565b604051636eb1769f60e11b81526001600160a01b0389811660048301527f000000000000000000000000000000000000000000000000000000000000000081166024830152919091169063dd62ed3e90604401602060405180830381865afa158015612e67573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612e8b9190614666565b1015612ea95760405162461bcd60e51b81526004016109f1906146f0565b6001600160a01b038616331480612fbc5750887f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663e5a6b10f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015612f18573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612f3c9190614400565b6001600160a01b031663dd62ed3e88336040516001600160e01b03196