Address Details
contract
0xc54E26CA615884Ae5E6f67D75aEB3bB17648986b
- Contract Name
- Election
- Creator
- 0xe23a4c–2b2dee at 0xc4ac1a–d0768e
- Balance
- 0 CELO ( )
- Locked CELO Balance
- 0.00 CELO
- Voting CELO Balance
- 0.00 CELO
- Pending Unlocked Gold
- 0.00 CELO
- Tokens
-
Fetching tokens...
- Transactions
- 0 Transactions
- Transfers
- 0 Transfers
- Gas Used
- Fetching gas used...
- Last Balance Update
- 3623310
- Contract name:
- Election
- Optimization enabled
- false
- Compiler version
- v0.5.8+commit.23d335f2
- Verified at
- 2020-04-22T21:52:21.411913Z
Contract source code
pragma solidity ^0.5.3; library Math { function max(uint256 a, uint256 b) internal pure returns (uint256) { return a >= b ? a : b; } function min(uint256 a, uint256 b) internal pure returns (uint256) { return a < b ? a : b; } function average(uint256 a, uint256 b) internal pure returns (uint256) { return (a / 2) + (b / 2) + ((a % 2 + b % 2) / 2); } } library SafeMath { function add(uint256 a, uint256 b) internal pure returns (uint256) { uint256 c = a + b; require(c >= a, "SafeMath: addition overflow"); return c; } function sub(uint256 a, uint256 b) internal pure returns (uint256) { return sub(a, b, "SafeMath: subtraction overflow"); } function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) { require(b <= a, errorMessage); uint256 c = a - b; return c; } function mul(uint256 a, uint256 b) internal pure returns (uint256) { if (a == 0) { return 0; } uint256 c = a * b; require(c / a == b, "SafeMath: multiplication overflow"); return c; } function div(uint256 a, uint256 b) internal pure returns (uint256) { return div(a, b, "SafeMath: division by zero"); } function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) { require(b > 0, errorMessage); uint256 c = a / b; return c; } function mod(uint256 a, uint256 b) internal pure returns (uint256) { return mod(a, b, "SafeMath: modulo by zero"); } function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) { require(b != 0, errorMessage); return a % b; } } contract Context { constructor () internal { } function _msgSender() internal view returns (address payable) { return msg.sender; } function _msgData() internal view returns (bytes memory) { this; return msg.data; } } contract Ownable is Context { address private _owner; event OwnershipTransferred(address indexed previousOwner, address indexed newOwner); constructor () internal { address msgSender = _msgSender(); _owner = msgSender; emit OwnershipTransferred(address(0), msgSender); } function owner() public view returns (address) { return _owner; } modifier onlyOwner() { require(isOwner(), "Ownable: caller is not the owner"); _; } function isOwner() public view returns (bool) { return _msgSender() == _owner; } function renounceOwnership() public onlyOwner { emit OwnershipTransferred(_owner, address(0)); _owner = address(0); } function transferOwnership(address newOwner) public onlyOwner { _transferOwnership(newOwner); } function _transferOwnership(address newOwner) internal { require(newOwner != address(0), "Ownable: new owner is the zero address"); emit OwnershipTransferred(_owner, newOwner); _owner = newOwner; } } interface IElection { function getTotalVotes() external view returns (uint256); function getActiveVotes() external view returns (uint256); function getTotalVotesByAccount(address) external view returns (uint256); function markGroupIneligible(address) external; function markGroupEligible(address, address, address) external; function electValidatorSigners() external view returns (address[] memory); function vote(address, uint256, address, address) external returns (bool); function activate(address) external returns (bool); function revokeActive(address, uint256, address, address, uint256) external returns (bool); function revokeAllActive(address, address, address, uint256) external returns (bool); function revokePending(address, uint256, address, address, uint256) external returns (bool); function forceDecrementVotes( address, uint256, address[] calldata, address[] calldata, uint256[] calldata ) external returns (uint256); } interface IValidators { function getAccountLockedGoldRequirement(address) external view returns (uint256); function meetsAccountLockedGoldRequirements(address) external view returns (bool); function getGroupNumMembers(address) external view returns (uint256); function getGroupsNumMembers(address[] calldata) external view returns (uint256[] memory); function getNumRegisteredValidators() external view returns (uint256); function getTopGroupValidators(address, uint256) external view returns (address[] memory); function updateEcdsaPublicKey(address, address, bytes calldata) external returns (bool); function updatePublicKeys(address, address, bytes calldata, bytes calldata, bytes calldata) external returns (bool); function isValidator(address) external view returns (bool); function isValidatorGroup(address) external view returns (bool); function calculateGroupEpochScore(uint256[] calldata uptimes) external view returns (uint256); function groupMembershipInEpoch(address account, uint256 epochNumber, uint256 index) external view returns (address); function halveSlashingMultiplier(address group) external; function forceDeaffiliateIfValidator(address validator) external; function getValidatorGroupSlashingMultiplier(address) external view returns (uint256); function affiliate(address group) external returns (bool); } contract CalledByVm { modifier onlyVm() { require(msg.sender == address(0), "Only VM can call"); _; } } contract Initializable { bool public initialized; modifier initializer() { require(!initialized, "contract already initialized"); initialized = true; _; } } library FixidityLib { struct Fraction { uint256 value; } function digits() internal pure returns (uint8) { return 24; } uint256 private constant FIXED1_UINT = 1000000000000000000000000; function fixed1() internal pure returns (Fraction memory) { return Fraction(FIXED1_UINT); } function wrap(uint256 x) internal pure returns (Fraction memory) { return Fraction(x); } function unwrap(Fraction memory x) internal pure returns (uint256) { return x.value; } function mulPrecision() internal pure returns (uint256) { return 1000000000000; } function maxNewFixed() internal pure returns (uint256) { return 115792089237316195423570985008687907853269984665640564; } function newFixed(uint256 x) internal pure returns (Fraction memory) { require(x <= maxNewFixed(), "can't create fixidity number larger than maxNewFixed()"); return Fraction(x * FIXED1_UINT); } function fromFixed(Fraction memory x) internal pure returns (uint256) { return x.value / FIXED1_UINT; } function newFixedFraction(uint256 numerator, uint256 denominator) internal pure returns (Fraction memory) { Fraction memory convertedNumerator = newFixed(numerator); Fraction memory convertedDenominator = newFixed(denominator); return divide(convertedNumerator, convertedDenominator); } function integer(Fraction memory x) internal pure returns (Fraction memory) { return Fraction((x.value / FIXED1_UINT) * FIXED1_UINT); } function fractional(Fraction memory x) internal pure returns (Fraction memory) { return Fraction(x.value - (x.value / FIXED1_UINT) * FIXED1_UINT); } function add(Fraction memory x, Fraction memory y) internal pure returns (Fraction memory) { uint256 z = x.value + y.value; require(z >= x.value, "add overflow detected"); return Fraction(z); } function subtract(Fraction memory x, Fraction memory y) internal pure returns (Fraction memory) { require(x.value >= y.value, "substraction underflow detected"); return Fraction(x.value - y.value); } function multiply(Fraction memory x, Fraction memory y) internal pure returns (Fraction memory) { if (x.value == 0 || y.value == 0) return Fraction(0); if (y.value == FIXED1_UINT) return x; if (x.value == FIXED1_UINT) return y; uint256 x1 = integer(x).value / FIXED1_UINT; uint256 x2 = fractional(x).value; uint256 y1 = integer(y).value / FIXED1_UINT; uint256 y2 = fractional(y).value; uint256 x1y1 = x1 * y1; if (x1 != 0) require(x1y1 / x1 == y1, "overflow x1y1 detected"); uint256 fixed_x1y1 = x1y1 * FIXED1_UINT; if (x1y1 != 0) require(fixed_x1y1 / x1y1 == FIXED1_UINT, "overflow x1y1 * fixed1 detected"); x1y1 = fixed_x1y1; uint256 x2y1 = x2 * y1; if (x2 != 0) require(x2y1 / x2 == y1, "overflow x2y1 detected"); uint256 x1y2 = x1 * y2; if (x1 != 0) require(x1y2 / x1 == y2, "overflow x1y2 detected"); x2 = x2 / mulPrecision(); y2 = y2 / mulPrecision(); uint256 x2y2 = x2 * y2; if (x2 != 0) require(x2y2 / x2 == y2, "overflow x2y2 detected"); Fraction memory result = Fraction(x1y1); result = add(result, Fraction(x2y1)); result = add(result, Fraction(x1y2)); result = add(result, Fraction(x2y2)); return result; } function reciprocal(Fraction memory x) internal pure returns (Fraction memory) { require(x.value != 0, "can't call reciprocal(0)"); return Fraction((FIXED1_UINT * FIXED1_UINT) / x.value); } function divide(Fraction memory x, Fraction memory y) internal pure returns (Fraction memory) { require(y.value != 0, "can't divide by 0"); uint256 X = x.value * FIXED1_UINT; require(X / FIXED1_UINT == x.value, "overflow at divide"); return Fraction(X / y.value); } function gt(Fraction memory x, Fraction memory y) internal pure returns (bool) { return x.value > y.value; } function gte(Fraction memory x, Fraction memory y) internal pure returns (bool) { return x.value >= y.value; } function lt(Fraction memory x, Fraction memory y) internal pure returns (bool) { return x.value < y.value; } function lte(Fraction memory x, Fraction memory y) internal pure returns (bool) { return x.value <= y.value; } function equals(Fraction memory x, Fraction memory y) internal pure returns (bool) { return x.value == y.value; } function isProperFraction(Fraction memory x) internal pure returns (bool) { return lte(x, fixed1()); } } interface IERC20 { function totalSupply() external view returns (uint256); function balanceOf(address account) external view returns (uint256); function transfer(address recipient, uint256 amount) external returns (bool); function allowance(address owner, address spender) external view returns (uint256); function approve(address spender, uint256 amount) external returns (bool); function transferFrom(address sender, address recipient, uint256 amount) external returns (bool); event Transfer(address indexed from, address indexed to, uint256 value); event Approval(address indexed owner, address indexed spender, uint256 value); } interface IAccounts { function isAccount(address) external view returns (bool); function voteSignerToAccount(address) external view returns (address); function validatorSignerToAccount(address) external view returns (address); function attestationSignerToAccount(address) external view returns (address); function signerToAccount(address) external view returns (address); function getAttestationSigner(address) external view returns (address); function getValidatorSigner(address) external view returns (address); function getVoteSigner(address) external view returns (address); function hasAuthorizedVoteSigner(address) external view returns (bool); function hasAuthorizedValidatorSigner(address) external view returns (bool); function hasAuthorizedAttestationSigner(address) external view returns (bool); function setAccountDataEncryptionKey(bytes calldata) external; function setMetadataURL(string calldata) external; function setName(string calldata) external; function setWalletAddress(address, uint8, bytes32, bytes32) external; function setAccount(string calldata, bytes calldata, address, uint8, bytes32, bytes32) external; function getDataEncryptionKey(address) external view returns (bytes memory); function getWalletAddress(address) external view returns (address); function getMetadataURL(address) external view returns (string memory); function batchGetMetadataURL(address[] calldata) external view returns (uint256[] memory, bytes memory); function getName(address) external view returns (string memory); function authorizeVoteSigner(address, uint8, bytes32, bytes32) external; function authorizeValidatorSigner(address, uint8, bytes32, bytes32) external; function authorizeValidatorSignerWithPublicKey(address, uint8, bytes32, bytes32, bytes calldata) external; function authorizeValidatorSignerWithKeys( address, uint8, bytes32, bytes32, bytes calldata, bytes calldata, bytes calldata ) external; function authorizeAttestationSigner(address, uint8, bytes32, bytes32) external; function createAccount() external returns (bool); } interface IFeeCurrencyWhitelist { function addToken(address) external; function getWhitelist() external view returns (address[] memory); } interface IFreezer { function isFrozen(address) external view returns (bool); } interface IRegistry { function setAddressFor(string calldata, address) external; function getAddressForOrDie(bytes32) external view returns (address); function getAddressFor(bytes32) external view returns (address); function isOneOf(bytes32[] calldata, address) external view returns (bool); } interface IGovernance { function isVoting(address) external view returns (bool); } interface ILockedGold { function incrementNonvotingAccountBalance(address, uint256) external; function decrementNonvotingAccountBalance(address, uint256) external; function getAccountTotalLockedGold(address) external view returns (uint256); function getTotalLockedGold() external view returns (uint256); function getPendingWithdrawals(address) external view returns (uint256[] memory, uint256[] memory); function getTotalPendingWithdrawals(address) external view returns (uint256); function lock() external payable; function unlock(uint256) external; function relock(uint256, uint256) external; function withdraw(uint256) external; function slash( address account, uint256 penalty, address reporter, uint256 reward, address[] calldata lessers, address[] calldata greaters, uint256[] calldata indices ) external; function isSlasher(address) external view returns (bool); } interface IRandom { function revealAndCommit(bytes32, bytes32, address) external; function randomnessBlockRetentionWindow() external view returns (uint256); function random() external view returns (bytes32); function getBlockRandomness(uint256) external view returns (bytes32); } interface IAttestations { function setAttestationRequestFee(address, uint256) external; function request(bytes32, uint256, address) external; function selectIssuers(bytes32) external; function complete(bytes32, uint8, bytes32, bytes32) external; function revoke(bytes32, uint256) external; function withdraw(address) external; function setAttestationExpiryBlocks(uint256) external; function getMaxAttestations() external view returns (uint256); function getUnselectedRequest(bytes32, address) external view returns (uint32, uint32, address); function getAttestationRequestFee(address) external view returns (uint256); function lookupAccountsForIdentifier(bytes32) external view returns (address[] memory); function getAttestationStats(bytes32, address) external view returns (uint32, uint32); function getAttestationState(bytes32, address, address) external view returns (uint8, uint32, address); function getCompletableAttestations(bytes32, address) external view returns (uint32[] memory, address[] memory, uint256[] memory, bytes memory); } interface IExchange { function exchange(uint256, uint256, bool) external returns (uint256); function setUpdateFrequency(uint256) external; function getBuyTokenAmount(uint256, bool) external view returns (uint256); function getSellTokenAmount(uint256, bool) external view returns (uint256); function getBuyAndSellBuckets(bool) external view returns (uint256, uint256); } interface IReserve { function setTobinTaxStalenessThreshold(uint256) external; function addToken(address) external returns (bool); function removeToken(address, uint256) external returns (bool); function transferGold(address payable, uint256) external returns (bool); function transferExchangeGold(address payable, uint256) external returns (bool); function getReserveGoldBalance() external view returns (uint256); function getUnfrozenReserveGoldBalance() external view returns (uint256); function getOrComputeTobinTax() external returns (uint256, uint256); function getTokens() external view returns (address[] memory); function getReserveRatio() external view returns (uint256); } interface ISortedOracles { function addOracle(address, address) external; function removeOracle(address, address, uint256) external; function report(address, uint256, address, address) external; function removeExpiredReports(address, uint256) external; function isOldestReportExpired(address token) external view returns (bool, address); function numRates(address) external view returns (uint256); function medianRate(address) external view returns (uint256, uint256); function numTimestamps(address) external view returns (uint256); function medianTimestamp(address) external view returns (uint256); } interface IStableToken { function mint(address, uint256) external returns (bool); function burn(uint256) external returns (bool); function setInflationParameters(uint256, uint256) external; function valueToUnits(uint256) external view returns (uint256); function unitsToValue(uint256) external view returns (uint256); function getInflationParameters() external view returns (uint256, uint256, uint256, uint256); function balanceOf(address) external view returns (uint256); } contract UsingRegistry is Ownable { event RegistrySet(address indexed registryAddress); bytes32 constant ACCOUNTS_REGISTRY_ID = keccak256(abi.encodePacked("Accounts")); bytes32 constant ATTESTATIONS_REGISTRY_ID = keccak256(abi.encodePacked("Attestations")); bytes32 constant DOWNTIME_SLASHER_REGISTRY_ID = keccak256(abi.encodePacked("DowntimeSlasher")); bytes32 constant DOUBLE_SIGNING_SLASHER_REGISTRY_ID = keccak256( abi.encodePacked("DoubleSigningSlasher") ); bytes32 constant ELECTION_REGISTRY_ID = keccak256(abi.encodePacked("Election")); bytes32 constant EXCHANGE_REGISTRY_ID = keccak256(abi.encodePacked("Exchange")); bytes32 constant FEE_CURRENCY_WHITELIST_REGISTRY_ID = keccak256( abi.encodePacked("FeeCurrencyWhitelist") ); bytes32 constant FREEZER_REGISTRY_ID = keccak256(abi.encodePacked("Freezer")); bytes32 constant GOLD_TOKEN_REGISTRY_ID = keccak256(abi.encodePacked("GoldToken")); bytes32 constant GOVERNANCE_REGISTRY_ID = keccak256(abi.encodePacked("Governance")); bytes32 constant GOVERNANCE_SLASHER_REGISTRY_ID = keccak256( abi.encodePacked("GovernanceSlasher") ); bytes32 constant LOCKED_GOLD_REGISTRY_ID = keccak256(abi.encodePacked("LockedGold")); bytes32 constant RESERVE_REGISTRY_ID = keccak256(abi.encodePacked("Reserve")); bytes32 constant RANDOM_REGISTRY_ID = keccak256(abi.encodePacked("Random")); bytes32 constant SORTED_ORACLES_REGISTRY_ID = keccak256(abi.encodePacked("SortedOracles")); bytes32 constant STABLE_TOKEN_REGISTRY_ID = keccak256(abi.encodePacked("StableToken")); bytes32 constant VALIDATORS_REGISTRY_ID = keccak256(abi.encodePacked("Validators")); IRegistry public registry; modifier onlyRegisteredContract(bytes32 identifierHash) { require(registry.getAddressForOrDie(identifierHash) == msg.sender, "only registered contract"); _; } modifier onlyRegisteredContracts(bytes32[] memory identifierHashes) { require(registry.isOneOf(identifierHashes, msg.sender), "only registered contracts"); _; } function setRegistry(address registryAddress) public onlyOwner { require(registryAddress != address(0), "Cannot register the null address"); registry = IRegistry(registryAddress); emit RegistrySet(registryAddress); } function getAccounts() internal view returns (IAccounts) { return IAccounts(registry.getAddressForOrDie(ACCOUNTS_REGISTRY_ID)); } function getAttestations() internal view returns (IAttestations) { return IAttestations(registry.getAddressForOrDie(ATTESTATIONS_REGISTRY_ID)); } function getElection() internal view returns (IElection) { return IElection(registry.getAddressForOrDie(ELECTION_REGISTRY_ID)); } function getExchange() internal view returns (IExchange) { return IExchange(registry.getAddressForOrDie(EXCHANGE_REGISTRY_ID)); } function getFeeCurrencyWhitelistRegistry() internal view returns (IFeeCurrencyWhitelist) { return IFeeCurrencyWhitelist(registry.getAddressForOrDie(FEE_CURRENCY_WHITELIST_REGISTRY_ID)); } function getFreezer() internal view returns (IFreezer) { return IFreezer(registry.getAddressForOrDie(FREEZER_REGISTRY_ID)); } function getGoldToken() internal view returns (IERC20) { return IERC20(registry.getAddressForOrDie(GOLD_TOKEN_REGISTRY_ID)); } function getGovernance() internal view returns (IGovernance) { return IGovernance(registry.getAddressForOrDie(GOVERNANCE_REGISTRY_ID)); } function getLockedGold() internal view returns (ILockedGold) { return ILockedGold(registry.getAddressForOrDie(LOCKED_GOLD_REGISTRY_ID)); } function getRandom() internal view returns (IRandom) { return IRandom(registry.getAddressForOrDie(RANDOM_REGISTRY_ID)); } function getReserve() internal view returns (IReserve) { return IReserve(registry.getAddressForOrDie(RESERVE_REGISTRY_ID)); } function getSortedOracles() internal view returns (ISortedOracles) { return ISortedOracles(registry.getAddressForOrDie(SORTED_ORACLES_REGISTRY_ID)); } function getStableToken() internal view returns (IStableToken) { return IStableToken(registry.getAddressForOrDie(STABLE_TOKEN_REGISTRY_ID)); } function getValidators() internal view returns (IValidators) { return IValidators(registry.getAddressForOrDie(VALIDATORS_REGISTRY_ID)); } } contract Freezable is UsingRegistry { modifier onlyWhenNotFrozen() { require(!getFreezer().isFrozen(address(this)), "can't call when contract is frozen"); _; } } library LinkedList { using SafeMath for uint256; struct Element { bytes32 previousKey; bytes32 nextKey; bool exists; } struct List { bytes32 head; bytes32 tail; uint256 numElements; mapping(bytes32 => Element) elements; } function insert(List storage list, bytes32 key, bytes32 previousKey, bytes32 nextKey) public { require(key != bytes32(0), "Key must be defined"); require(!contains(list, key), "Can't insert an existing element"); require( previousKey != key && nextKey != key, "Key cannot be the same as previousKey or nextKey" ); Element storage element = list.elements[key]; element.exists = true; if (list.numElements == 0) { list.tail = key; list.head = key; } else { require( previousKey != bytes32(0) || nextKey != bytes32(0), "Either previousKey or nextKey must be defined" ); element.previousKey = previousKey; element.nextKey = nextKey; if (previousKey != bytes32(0)) { require( contains(list, previousKey), "If previousKey is defined, it must exist in the list" ); Element storage previousElement = list.elements[previousKey]; require(previousElement.nextKey == nextKey, "previousKey must be adjacent to nextKey"); previousElement.nextKey = key; } else { list.tail = key; } if (nextKey != bytes32(0)) { require(contains(list, nextKey), "If nextKey is defined, it must exist in the list"); Element storage nextElement = list.elements[nextKey]; require(nextElement.previousKey == previousKey, "previousKey must be adjacent to nextKey"); nextElement.previousKey = key; } else { list.head = key; } } list.numElements = list.numElements.add(1); } function push(List storage list, bytes32 key) public { insert(list, key, bytes32(0), list.tail); } function remove(List storage list, bytes32 key) public { Element storage element = list.elements[key]; require(key != bytes32(0) && contains(list, key), "key not in list"); if (element.previousKey != bytes32(0)) { Element storage previousElement = list.elements[element.previousKey]; previousElement.nextKey = element.nextKey; } else { list.tail = element.nextKey; } if (element.nextKey != bytes32(0)) { Element storage nextElement = list.elements[element.nextKey]; nextElement.previousKey = element.previousKey; } else { list.head = element.previousKey; } delete list.elements[key]; list.numElements = list.numElements.sub(1); } function update(List storage list, bytes32 key, bytes32 previousKey, bytes32 nextKey) public { require( key != bytes32(0) && key != previousKey && key != nextKey && contains(list, key), "key on in list" ); remove(list, key); insert(list, key, previousKey, nextKey); } function contains(List storage list, bytes32 key) public view returns (bool) { return list.elements[key].exists; } function headN(List storage list, uint256 n) public view returns (bytes32[] memory) { require(n <= list.numElements, "not enough elements"); bytes32[] memory keys = new bytes32[](n); bytes32 key = list.head; for (uint256 i = 0; i < n; i = i.add(1)) { keys[i] = key; key = list.elements[key].previousKey; } return keys; } function getKeys(List storage list) public view returns (bytes32[] memory) { return headN(list, list.numElements); } } library SortedLinkedList { using SafeMath for uint256; using LinkedList for LinkedList.List; struct List { LinkedList.List list; mapping(bytes32 => uint256) values; } function insert( List storage list, bytes32 key, uint256 value, bytes32 lesserKey, bytes32 greaterKey ) public { require( key != bytes32(0) && key != lesserKey && key != greaterKey && !contains(list, key), "invalid key" ); require( (lesserKey != bytes32(0) || greaterKey != bytes32(0)) || list.list.numElements == 0, "greater and lesser key zero" ); require(contains(list, lesserKey) || lesserKey == bytes32(0), "invalid lesser key"); require(contains(list, greaterKey) || greaterKey == bytes32(0), "invalid greater key"); (lesserKey, greaterKey) = getLesserAndGreater(list, value, lesserKey, greaterKey); list.list.insert(key, lesserKey, greaterKey); list.values[key] = value; } function remove(List storage list, bytes32 key) public { list.list.remove(key); list.values[key] = 0; } function update( List storage list, bytes32 key, uint256 value, bytes32 lesserKey, bytes32 greaterKey ) public { remove(list, key); insert(list, key, value, lesserKey, greaterKey); } function push(List storage list, bytes32 key) public { insert(list, key, 0, bytes32(0), list.list.tail); } function popN(List storage list, uint256 n) public returns (bytes32[] memory) { require(n <= list.list.numElements, "not enough elements"); bytes32[] memory keys = new bytes32[](n); for (uint256 i = 0; i < n; i = i.add(1)) { bytes32 key = list.list.head; keys[i] = key; remove(list, key); } return keys; } function contains(List storage list, bytes32 key) public view returns (bool) { return list.list.contains(key); } function getValue(List storage list, bytes32 key) public view returns (uint256) { return list.values[key]; } function getElements(List storage list) public view returns (bytes32[] memory, uint256[] memory) { bytes32[] memory keys = getKeys(list); uint256[] memory values = new uint256[](keys.length); for (uint256 i = 0; i < keys.length; i = i.add(1)) { values[i] = list.values[keys[i]]; } return (keys, values); } function getKeys(List storage list) public view returns (bytes32[] memory) { return list.list.getKeys(); } function headN(List storage list, uint256 n) public view returns (bytes32[] memory) { return list.list.headN(n); } function getLesserAndGreater( List storage list, uint256 value, bytes32 lesserKey, bytes32 greaterKey ) private view returns (bytes32, bytes32) { if (lesserKey == bytes32(0) && isValueBetween(list, value, lesserKey, list.list.tail)) { return (lesserKey, list.list.tail); } else if ( greaterKey == bytes32(0) && isValueBetween(list, value, list.list.head, greaterKey) ) { return (list.list.head, greaterKey); } else if ( lesserKey != bytes32(0) && isValueBetween(list, value, lesserKey, list.list.elements[lesserKey].nextKey) ) { return (lesserKey, list.list.elements[lesserKey].nextKey); } else if ( greaterKey != bytes32(0) && isValueBetween(list, value, list.list.elements[greaterKey].previousKey, greaterKey) ) { return (list.list.elements[greaterKey].previousKey, greaterKey); } else { require(false, "get lesser and greater failure"); } } function isValueBetween(List storage list, uint256 value, bytes32 lesserKey, bytes32 greaterKey) private view returns (bool) { bool isLesser = lesserKey == bytes32(0) || list.values[lesserKey] <= value; bool isGreater = greaterKey == bytes32(0) || list.values[greaterKey] >= value; return isLesser && isGreater; } } library AddressSortedLinkedList { using SafeMath for uint256; using SortedLinkedList for SortedLinkedList.List; function toBytes(address a) public pure returns (bytes32) { return bytes32(uint256(a) << 96); } function toAddress(bytes32 b) public pure returns (address) { return address(uint256(b) >> 96); } function insert( SortedLinkedList.List storage list, address key, uint256 value, address lesserKey, address greaterKey ) public { list.insert(toBytes(key), value, toBytes(lesserKey), toBytes(greaterKey)); } function remove(SortedLinkedList.List storage list, address key) public { list.remove(toBytes(key)); } function update( SortedLinkedList.List storage list, address key, uint256 value, address lesserKey, address greaterKey ) public { list.update(toBytes(key), value, toBytes(lesserKey), toBytes(greaterKey)); } function contains(SortedLinkedList.List storage list, address key) public view returns (bool) { return list.contains(toBytes(key)); } function getValue(SortedLinkedList.List storage list, address key) public view returns (uint256) { return list.getValue(toBytes(key)); } function getElements(SortedLinkedList.List storage list) public view returns (address[] memory, uint256[] memory) { bytes32[] memory byteKeys = list.getKeys(); address[] memory keys = new address[](byteKeys.length); uint256[] memory values = new uint256[](byteKeys.length); for (uint256 i = 0; i < byteKeys.length; i = i.add(1)) { keys[i] = toAddress(byteKeys[i]); values[i] = list.values[byteKeys[i]]; } return (keys, values); } function numElementsGreaterThan( SortedLinkedList.List storage list, uint256 threshold, uint256 max ) public view returns (uint256) { uint256 revisedMax = Math.min(max, list.list.numElements); bytes32 key = list.list.head; for (uint256 i = 0; i < revisedMax; i = i.add(1)) { if (list.getValue(key) < threshold) { return i; } key = list.list.elements[key].previousKey; } return revisedMax; } function headN(SortedLinkedList.List storage list, uint256 n) public view returns (address[] memory) { bytes32[] memory byteKeys = list.headN(n); address[] memory keys = new address[](n); for (uint256 i = 0; i < n; i = i.add(1)) { keys[i] = toAddress(byteKeys[i]); } return keys; } function getKeys(SortedLinkedList.List storage list) public view returns (address[] memory) { return headN(list, list.list.numElements); } } contract UsingPrecompiles { using SafeMath for uint256; address constant TRANSFER = address(0xff - 2); address constant FRACTION_MUL = address(0xff - 3); address constant PROOF_OF_POSSESSION = address(0xff - 4); address constant GET_VALIDATOR = address(0xff - 5); address constant NUMBER_VALIDATORS = address(0xff - 6); address constant EPOCH_SIZE = address(0xff - 7); address constant BLOCK_NUMBER_FROM_HEADER = address(0xff - 8); address constant HASH_HEADER = address(0xff - 9); address constant GET_PARENT_SEAL_BITMAP = address(0xff - 10); address constant GET_VERIFIED_SEAL_BITMAP = address(0xff - 11); function fractionMulExp( uint256 aNumerator, uint256 aDenominator, uint256 bNumerator, uint256 bDenominator, uint256 exponent, uint256 _decimals ) public view returns (uint256, uint256) { require(aDenominator != 0 && bDenominator != 0, "a denominator is zero"); uint256 returnNumerator; uint256 returnDenominator; bool success; bytes memory out; (success, out) = FRACTION_MUL.staticcall( abi.encodePacked(aNumerator, aDenominator, bNumerator, bDenominator, exponent, _decimals) ); require(success, "error calling fractionMulExp precompile"); returnNumerator = getUint256FromBytes(out, 0); returnDenominator = getUint256FromBytes(out, 32); return (returnNumerator, returnDenominator); } function getEpochSize() public view returns (uint256) { bytes memory out; bool success; (success, out) = EPOCH_SIZE.staticcall(abi.encodePacked()); require(success, "error calling getEpochSize precompile"); return getUint256FromBytes(out, 0); } function getEpochNumberOfBlock(uint256 blockNumber) public view returns (uint256) { return epochNumberOfBlock(blockNumber, getEpochSize()); } function getEpochNumber() public view returns (uint256) { return getEpochNumberOfBlock(block.number); } function epochNumberOfBlock(uint256 blockNumber, uint256 epochSize) internal pure returns (uint256) { uint256 epochNumber = blockNumber / epochSize; if (blockNumber % epochSize == 0) { return epochNumber; } else { return epochNumber + 1; } } function validatorSignerAddressFromCurrentSet(uint256 index) public view returns (address) { bytes memory out; bool success; (success, out) = GET_VALIDATOR.staticcall(abi.encodePacked(index, uint256(block.number))); require(success, "error calling validatorSignerAddressFromCurrentSet precompile"); return address(getUint256FromBytes(out, 0)); } function validatorSignerAddressFromSet(uint256 index, uint256 blockNumber) public view returns (address) { bytes memory out; bool success; (success, out) = GET_VALIDATOR.staticcall(abi.encodePacked(index, blockNumber)); require(success, "error calling validatorSignerAddressFromSet precompile"); return address(getUint256FromBytes(out, 0)); } function numberValidatorsInCurrentSet() public view returns (uint256) { bytes memory out; bool success; (success, out) = NUMBER_VALIDATORS.staticcall(abi.encodePacked(uint256(block.number))); require(success, "error calling numberValidatorsInCurrentSet precompile"); return getUint256FromBytes(out, 0); } function numberValidatorsInSet(uint256 blockNumber) public view returns (uint256) { bytes memory out; bool success; (success, out) = NUMBER_VALIDATORS.staticcall(abi.encodePacked(blockNumber)); require(success, "error calling numberValidatorsInSet precompile"); return getUint256FromBytes(out, 0); } function checkProofOfPossession(address sender, bytes memory blsKey, bytes memory blsPop) public view returns (bool) { bool success; (success, ) = PROOF_OF_POSSESSION.staticcall(abi.encodePacked(sender, blsKey, blsPop)); return success; } function getBlockNumberFromHeader(bytes memory header) public view returns (uint256) { bytes memory out; bool success; (success, out) = BLOCK_NUMBER_FROM_HEADER.staticcall(abi.encodePacked(header)); require(success, "error calling getBlockNumberFromHeader precompile"); return getUint256FromBytes(out, 0); } function hashHeader(bytes memory header) public view returns (bytes32) { bytes memory out; bool success; (success, out) = HASH_HEADER.staticcall(abi.encodePacked(header)); require(success, "error calling hashHeader precompile"); return getBytes32FromBytes(out, 0); } function getParentSealBitmap(uint256 blockNumber) public view returns (bytes32) { bytes memory out; bool success; (success, out) = GET_PARENT_SEAL_BITMAP.staticcall(abi.encodePacked(blockNumber)); require(success, "error calling getParentSealBitmap precompile"); return getBytes32FromBytes(out, 0); } function getVerifiedSealBitmapFromHeader(bytes memory header) public view returns (bytes32) { bytes memory out; bool success; (success, out) = GET_VERIFIED_SEAL_BITMAP.staticcall(abi.encodePacked(header)); require(success, "error calling getVerifiedSealBitmapFromHeader precompile"); return getBytes32FromBytes(out, 0); } function getUint256FromBytes(bytes memory bs, uint256 start) internal pure returns (uint256) { return uint256(getBytes32FromBytes(bs, start)); } function getBytes32FromBytes(bytes memory bs, uint256 start) internal pure returns (bytes32) { require(bs.length >= start + 32, "slicing out of range"); bytes32 x; assembly { x := mload(add(bs, add(start, 32))) } return x; } function minQuorumSize(uint256 blockNumber) public view returns (uint256) { return numberValidatorsInSet(blockNumber).mul(2).add(2).div(3); } function minQuorumSizeInCurrentSet() public view returns (uint256) { return minQuorumSize(block.number); } } library Heap { using FixidityLib for FixidityLib.Fraction; using SafeMath for uint256; function siftDown( uint256[] memory keys, FixidityLib.Fraction[] memory values, uint256 start, uint256 length ) internal pure { require(keys.length == values.length, "key and value array length mismatch"); require(start < keys.length, "heap start index out of range"); require(length <= keys.length, "heap length out of range"); uint256 i = start; while (true) { uint256 leftChild = i.mul(2).add(1); uint256 rightChild = i.mul(2).add(2); uint256 maxIndex = i; if (leftChild < length && values[keys[leftChild]].gt(values[keys[maxIndex]])) { maxIndex = leftChild; } if (rightChild < length && values[keys[rightChild]].gt(values[keys[maxIndex]])) { maxIndex = rightChild; } if (maxIndex == i) break; uint256 tmpKey = keys[i]; keys[i] = keys[maxIndex]; keys[maxIndex] = tmpKey; i = maxIndex; } } function heapifyDown(uint256[] memory keys, FixidityLib.Fraction[] memory values) internal pure { siftDown(keys, values, 0, keys.length); } } contract ReentrancyGuard { uint256 private _guardCounter; constructor() internal { _guardCounter = 1; } modifier nonReentrant() { _guardCounter += 1; uint256 localCounter = _guardCounter; _; require(localCounter == _guardCounter, "reentrant call"); } } contract Election is IElection, Ownable, ReentrancyGuard, Initializable, UsingRegistry, UsingPrecompiles, Freezable, CalledByVm { using AddressSortedLinkedList for SortedLinkedList.List; using FixidityLib for FixidityLib.Fraction; using SafeMath for uint256; uint256 private constant UNIT_PRECISION_FACTOR = 100000000000000000000; struct PendingVote { uint256 value; uint256 epoch; } struct GroupPendingVotes { uint256 total; mapping(address => PendingVote) byAccount; } struct PendingVotes { uint256 total; mapping(address => GroupPendingVotes) forGroup; } struct GroupActiveVotes { uint256 total; uint256 totalUnits; mapping(address => uint256) unitsByAccount; } struct ActiveVotes { uint256 total; mapping(address => GroupActiveVotes) forGroup; } struct TotalVotes { SortedLinkedList.List eligible; } struct Votes { PendingVotes pending; ActiveVotes active; TotalVotes total; mapping(address => address[]) groupsVotedFor; } struct ElectableValidators { uint256 min; uint256 max; } Votes private votes; ElectableValidators public electableValidators; uint256 public maxNumGroupsVotedFor; FixidityLib.Fraction public electabilityThreshold; event ElectableValidatorsSet(uint256 min, uint256 max); event MaxNumGroupsVotedForSet(uint256 maxNumGroupsVotedFor); event ElectabilityThresholdSet(uint256 electabilityThreshold); event ValidatorGroupMarkedEligible(address indexed group); event ValidatorGroupMarkedIneligible(address indexed group); event ValidatorGroupVoteCast(address indexed account, address indexed group, uint256 value); event ValidatorGroupVoteActivated( address indexed account, address indexed group, uint256 value, uint256 units ); event ValidatorGroupPendingVoteRevoked( address indexed account, address indexed group, uint256 value ); event ValidatorGroupActiveVoteRevoked( address indexed account, address indexed group, uint256 value, uint256 units ); event EpochRewardsDistributedToVoters(address indexed group, uint256 value); function initialize( address registryAddress, uint256 minElectableValidators, uint256 maxElectableValidators, uint256 _maxNumGroupsVotedFor, uint256 _electabilityThreshold ) external initializer { _transferOwnership(msg.sender); setRegistry(registryAddress); setElectableValidators(minElectableValidators, maxElectableValidators); setMaxNumGroupsVotedFor(_maxNumGroupsVotedFor); setElectabilityThreshold(_electabilityThreshold); } function setElectableValidators(uint256 min, uint256 max) public onlyOwner returns (bool) { require(0 < min, "Minimum electable validators cannot be zero"); require(min <= max, "Maximum electable validators cannot be smaller than minimum"); require( min != electableValidators.min || max != electableValidators.max, "Electable validators not changed" ); electableValidators = ElectableValidators(min, max); emit ElectableValidatorsSet(min, max); return true; } function getElectableValidators() external view returns (uint256, uint256) { return (electableValidators.min, electableValidators.max); } function setMaxNumGroupsVotedFor(uint256 _maxNumGroupsVotedFor) public onlyOwner returns (bool) { require(_maxNumGroupsVotedFor != maxNumGroupsVotedFor, "Max groups voted for not changed"); maxNumGroupsVotedFor = _maxNumGroupsVotedFor; emit MaxNumGroupsVotedForSet(_maxNumGroupsVotedFor); return true; } function setElectabilityThreshold(uint256 threshold) public onlyOwner returns (bool) { electabilityThreshold = FixidityLib.wrap(threshold); require( electabilityThreshold.lt(FixidityLib.fixed1()), "Electability threshold must be lower than 100%" ); emit ElectabilityThresholdSet(threshold); return true; } function getElectabilityThreshold() external view returns (uint256) { return electabilityThreshold.unwrap(); } function vote(address group, uint256 value, address lesser, address greater) external nonReentrant returns (bool) { require(votes.total.eligible.contains(group), "Group not eligible"); require(0 < value, "Vote value cannot be zero"); require(canReceiveVotes(group, value), "Group cannot receive votes"); address account = getAccounts().voteSignerToAccount(msg.sender); bool alreadyVotedForGroup = false; address[] storage groups = votes.groupsVotedFor[account]; for (uint256 i = 0; i < groups.length; i = i.add(1)) { alreadyVotedForGroup = alreadyVotedForGroup || groups[i] == group; } if (!alreadyVotedForGroup) { require(groups.length < maxNumGroupsVotedFor, "Voted for too many groups"); groups.push(group); } incrementPendingVotes(group, account, value); incrementTotalVotes(group, value, lesser, greater); getLockedGold().decrementNonvotingAccountBalance(account, value); emit ValidatorGroupVoteCast(account, group, value); return true; } function activate(address group) external nonReentrant returns (bool) { address account = getAccounts().voteSignerToAccount(msg.sender); PendingVote storage pendingVote = votes.pending.forGroup[group].byAccount[account]; require(pendingVote.epoch < getEpochNumber(), "Pending vote epoch not passed"); uint256 value = pendingVote.value; require(value > 0, "Vote value cannot be zero"); decrementPendingVotes(group, account, value); uint256 units = incrementActiveVotes(group, account, value); emit ValidatorGroupVoteActivated(account, group, value, units); return true; } function hasActivatablePendingVotes(address account, address group) external view returns (bool) { PendingVote storage pendingVote = votes.pending.forGroup[group].byAccount[account]; return pendingVote.epoch < getEpochNumber() && pendingVote.value > 0; } function revokePending( address group, uint256 value, address lesser, address greater, uint256 index ) external nonReentrant returns (bool) { require(group != address(0), "Group address zero"); address account = getAccounts().voteSignerToAccount(msg.sender); require(0 < value, "Vote value cannot be zero"); require( value <= getPendingVotesForGroupByAccount(group, account), "Vote value larger than pending votes" ); decrementPendingVotes(group, account, value); decrementTotalVotes(group, value, lesser, greater); getLockedGold().incrementNonvotingAccountBalance(account, value); if (getTotalVotesForGroupByAccount(group, account) == 0) { deleteElement(votes.groupsVotedFor[account], group, index); } emit ValidatorGroupPendingVoteRevoked(account, group, value); return true; } function revokeAllActive(address group, address lesser, address greater, uint256 index) external nonReentrant returns (bool) { address account = getAccounts().voteSignerToAccount(msg.sender); uint256 value = getActiveVotesForGroupByAccount(group, account); return revokeActive(group, value, lesser, greater, index); } function revokeActive( address group, uint256 value, address lesser, address greater, uint256 index ) public nonReentrant returns (bool) { require(group != address(0), "Group address zero"); address account = getAccounts().voteSignerToAccount(msg.sender); require(0 < value, "Vote value cannot be zero"); require( value <= getActiveVotesForGroupByAccount(group, account), "Vote value larger than active votes" ); uint256 units = decrementActiveVotes(group, account, value); decrementTotalVotes(group, value, lesser, greater); getLockedGold().incrementNonvotingAccountBalance(account, value); if (getTotalVotesForGroupByAccount(group, account) == 0) { deleteElement(votes.groupsVotedFor[account], group, index); } emit ValidatorGroupActiveVoteRevoked(account, group, value, units); return true; } function _decrementVotes( address account, address group, uint256 maxValue, address lesser, address greater, uint256 index ) internal returns (uint256) { uint256 remainingValue = maxValue; uint256 pendingVotes = getPendingVotesForGroupByAccount(group, account); if (pendingVotes > 0) { uint256 decrementValue = Math.min(remainingValue, pendingVotes); decrementPendingVotes(group, account, decrementValue); emit ValidatorGroupPendingVoteRevoked(account, group, decrementValue); remainingValue = remainingValue.sub(decrementValue); } uint256 activeVotes = getActiveVotesForGroupByAccount(group, account); if (activeVotes > 0 && remainingValue > 0) { uint256 decrementValue = Math.min(remainingValue, activeVotes); uint256 units = decrementActiveVotes(group, account, decrementValue); emit ValidatorGroupActiveVoteRevoked(account, group, decrementValue, units); remainingValue = remainingValue.sub(decrementValue); } uint256 decrementedValue = maxValue.sub(remainingValue); if (decrementedValue > 0) { decrementTotalVotes(group, decrementedValue, lesser, greater); if (getTotalVotesForGroupByAccount(group, account) == 0) { deleteElement(votes.groupsVotedFor[account], group, index); } } return decrementedValue; } function getTotalVotesByAccount(address account) external view returns (uint256) { uint256 total = 0; address[] memory groups = votes.groupsVotedFor[account]; for (uint256 i = 0; i < groups.length; i = i.add(1)) { total = total.add(getTotalVotesForGroupByAccount(groups[i], account)); } return total; } function getPendingVotesForGroupByAccount(address group, address account) public view returns (uint256) { return votes.pending.forGroup[group].byAccount[account].value; } function getActiveVotesForGroupByAccount(address group, address account) public view returns (uint256) { return unitsToVotes(group, votes.active.forGroup[group].unitsByAccount[account]); } function getTotalVotesForGroupByAccount(address group, address account) public view returns (uint256) { uint256 pending = getPendingVotesForGroupByAccount(group, account); uint256 active = getActiveVotesForGroupByAccount(group, account); return pending.add(active); } function getActiveVoteUnitsForGroupByAccount(address group, address account) external view returns (uint256) { return votes.active.forGroup[group].unitsByAccount[account]; } function getActiveVoteUnitsForGroup(address group) external view returns (uint256) { return votes.active.forGroup[group].totalUnits; } function getTotalVotesForGroup(address group) public view returns (uint256) { return votes.pending.forGroup[group].total.add(votes.active.forGroup[group].total); } function getActiveVotesForGroup(address group) public view returns (uint256) { return votes.active.forGroup[group].total; } function getPendingVotesForGroup(address group) public view returns (uint256) { return votes.pending.forGroup[group].total; } function getGroupEligibility(address group) external view returns (bool) { return votes.total.eligible.contains(group); } function getGroupEpochRewards( address group, uint256 totalEpochRewards, uint256[] calldata uptimes ) external view returns (uint256) { IValidators validators = getValidators(); if (!validators.meetsAccountLockedGoldRequirements(group) || votes.active.total <= 0) { return 0; } FixidityLib.Fraction memory votePortion = FixidityLib.newFixedFraction( votes.active.forGroup[group].total, votes.active.total ); FixidityLib.Fraction memory score = FixidityLib.wrap( validators.calculateGroupEpochScore(uptimes) ); FixidityLib.Fraction memory slashingMultiplier = FixidityLib.wrap( validators.getValidatorGroupSlashingMultiplier(group) ); return FixidityLib .newFixed(totalEpochRewards) .multiply(votePortion) .multiply(score) .multiply(slashingMultiplier) .fromFixed(); } function distributeEpochRewards(address group, uint256 value, address lesser, address greater) external onlyVm { _distributeEpochRewards(group, value, lesser, greater); } function _distributeEpochRewards(address group, uint256 value, address lesser, address greater) internal { if (votes.total.eligible.contains(group)) { uint256 newVoteTotal = votes.total.eligible.getValue(group).add(value); votes.total.eligible.update(group, newVoteTotal, lesser, greater); } votes.active.forGroup[group].total = votes.active.forGroup[group].total.add(value); votes.active.total = votes.active.total.add(value); emit EpochRewardsDistributedToVoters(group, value); } function incrementTotalVotes(address group, uint256 value, address lesser, address greater) private { uint256 newVoteTotal = votes.total.eligible.getValue(group).add(value); votes.total.eligible.update(group, newVoteTotal, lesser, greater); } function decrementTotalVotes(address group, uint256 value, address lesser, address greater) private { if (votes.total.eligible.contains(group)) { uint256 newVoteTotal = votes.total.eligible.getValue(group).sub(value); votes.total.eligible.update(group, newVoteTotal, lesser, greater); } } function markGroupIneligible(address group) external onlyRegisteredContract(VALIDATORS_REGISTRY_ID) { votes.total.eligible.remove(group); emit ValidatorGroupMarkedIneligible(group); } function markGroupEligible(address group, address lesser, address greater) external onlyRegisteredContract(VALIDATORS_REGISTRY_ID) { uint256 value = getTotalVotesForGroup(group); votes.total.eligible.insert(group, value, lesser, greater); emit ValidatorGroupMarkedEligible(group); } function incrementPendingVotes(address group, address account, uint256 value) private { PendingVotes storage pending = votes.pending; pending.total = pending.total.add(value); GroupPendingVotes storage groupPending = pending.forGroup[group]; groupPending.total = groupPending.total.add(value); PendingVote storage pendingVote = groupPending.byAccount[account]; pendingVote.value = pendingVote.value.add(value); pendingVote.epoch = getEpochNumber(); } function decrementPendingVotes(address group, address account, uint256 value) private { PendingVotes storage pending = votes.pending; pending.total = pending.total.sub(value); GroupPendingVotes storage groupPending = pending.forGroup[group]; groupPending.total = groupPending.total.sub(value); PendingVote storage pendingVote = groupPending.byAccount[account]; pendingVote.value = pendingVote.value.sub(value); if (pendingVote.value == 0) { pendingVote.epoch = 0; } } function incrementActiveVotes(address group, address account, uint256 value) private returns (uint256) { ActiveVotes storage active = votes.active; active.total = active.total.add(value); uint256 units = votesToUnits(group, value); GroupActiveVotes storage groupActive = active.forGroup[group]; groupActive.total = groupActive.total.add(value); groupActive.totalUnits = groupActive.totalUnits.add(units); groupActive.unitsByAccount[account] = groupActive.unitsByAccount[account].add(units); return units; } function decrementActiveVotes(address group, address account, uint256 value) private returns (uint256) { ActiveVotes storage active = votes.active; active.total = active.total.sub(value); uint256 units = 0; uint256 activeVotes = getActiveVotesForGroupByAccount(group, account); GroupActiveVotes storage groupActive = active.forGroup[group]; if (activeVotes == value) { units = groupActive.unitsByAccount[account]; } else { units = votesToUnits(group, value); } groupActive.total = groupActive.total.sub(value); groupActive.totalUnits = groupActive.totalUnits.sub(units); groupActive.unitsByAccount[account] = groupActive.unitsByAccount[account].sub(units); return units; } function votesToUnits(address group, uint256 value) private view returns (uint256) { if (votes.active.forGroup[group].totalUnits == 0) { return value.mul(UNIT_PRECISION_FACTOR); } else { return value.mul(votes.active.forGroup[group].totalUnits).div(votes.active.forGroup[group].total); } } function unitsToVotes(address group, uint256 value) private view returns (uint256) { if (votes.active.forGroup[group].totalUnits == 0) { return 0; } else { return value.mul(votes.active.forGroup[group].total).div(votes.active.forGroup[group].totalUnits); } } function getGroupsVotedForByAccount(address account) external view returns (address[] memory) { return votes.groupsVotedFor[account]; } function deleteElement(address[] storage list, address element, uint256 index) private { require(index < list.length && list[index] == element, "Bad index"); uint256 lastIndex = list.length.sub(1); list[index] = list[lastIndex]; list.length = lastIndex; } function canReceiveVotes(address group, uint256 value) public view returns (bool) { uint256 totalVotesForGroup = getTotalVotesForGroup(group).add(value); uint256 left = totalVotesForGroup.mul( Math.min(electableValidators.max, getValidators().getNumRegisteredValidators()) ); uint256 right = getValidators().getGroupNumMembers(group).add(1).mul( getLockedGold().getTotalLockedGold() ); return left <= right; } function getNumVotesReceivable(address group) external view returns (uint256) { uint256 numerator = getValidators().getGroupNumMembers(group).add(1).mul( getLockedGold().getTotalLockedGold() ); uint256 denominator = Math.min( electableValidators.max, getValidators().getNumRegisteredValidators() ); return numerator.div(denominator); } function getTotalVotes() public view returns (uint256) { return votes.active.total.add(votes.pending.total); } function getActiveVotes() public view returns (uint256) { return votes.active.total; } function getEligibleValidatorGroups() external view returns (address[] memory) { return votes.total.eligible.getKeys(); } function getTotalVotesForEligibleValidatorGroups() external view returns (address[] memory groups, uint256[] memory values) { return votes.total.eligible.getElements(); } function electValidatorSigners() external view onlyWhenNotFrozen returns (address[] memory) { return electNValidatorSigners(electableValidators.min, electableValidators.max); } function electNValidatorSigners(uint256 minElectableValidators, uint256 maxElectableValidators) public view returns (address[] memory) { uint256 requiredVotes = electabilityThreshold .multiply(FixidityLib.newFixed(getTotalVotes())) .fromFixed(); uint256 numElectionGroups = votes.total.eligible.numElementsGreaterThan( requiredVotes, maxElectableValidators ); address[] memory electionGroups = votes.total.eligible.headN(numElectionGroups); uint256[] memory numMembers = getValidators().getGroupsNumMembers(electionGroups); uint256[] memory numMembersElected = new uint256[](electionGroups.length); uint256 totalNumMembersElected = 0; uint256[] memory keys = new uint256[](electionGroups.length); FixidityLib.Fraction[] memory votesForNextMember = new FixidityLib.Fraction[]( electionGroups.length ); for (uint256 i = 0; i < electionGroups.length; i++) { keys[i] = i; votesForNextMember[i] = FixidityLib.newFixed( votes.total.eligible.getValue(electionGroups[i]) ); } while (totalNumMembersElected < maxElectableValidators && electionGroups.length > 0) { uint256 groupIndex = keys[0]; if (votesForNextMember[groupIndex].unwrap() == 0) break; if (numMembers[groupIndex] <= numMembersElected[groupIndex]) { votesForNextMember[groupIndex] = FixidityLib.wrap(0); } else { numMembersElected[groupIndex] = numMembersElected[groupIndex].add(1); totalNumMembersElected = totalNumMembersElected.add(1); votesForNextMember[groupIndex] = FixidityLib .newFixed(votes.total.eligible.getValue(electionGroups[groupIndex])) .divide(FixidityLib.newFixed(numMembersElected[groupIndex].add(1))); } Heap.heapifyDown(keys, votesForNextMember); } require(totalNumMembersElected >= minElectableValidators, "Not enough elected validators"); address[] memory electedValidators = new address[](totalNumMembersElected); totalNumMembersElected = 0; for (uint256 i = 0; i < electionGroups.length; i = i.add(1)) { address[] memory electedGroupValidators = getValidators().getTopGroupValidators( electionGroups[i], numMembersElected[i] ); for (uint256 j = 0; j < electedGroupValidators.length; j = j.add(1)) { electedValidators[totalNumMembersElected] = electedGroupValidators[j]; totalNumMembersElected = totalNumMembersElected.add(1); } } return electedValidators; } function getCurrentValidatorSigners() public view returns (address[] memory) { uint256 n = numberValidatorsInCurrentSet(); address[] memory res = new address[](n); for (uint256 i = 0; i < n; i = i.add(1)) { res[i] = validatorSignerAddressFromCurrentSet(i); } return res; } struct DecrementVotesInfo { address[] groups; uint256 remainingValue; } function forceDecrementVotes( address account, uint256 value, address[] calldata lessers, address[] calldata greaters, uint256[] calldata indices ) external nonReentrant onlyRegisteredContract(LOCKED_GOLD_REGISTRY_ID) returns (uint256) { require(value > 0, "Decrement value must be greater than 0."); DecrementVotesInfo memory info = DecrementVotesInfo(votes.groupsVotedFor[account], value); require( lessers.length <= info.groups.length && lessers.length == greaters.length && greaters.length == indices.length, "Input lengths must be correspond." ); for (uint256 i = info.groups.length; i > 0; i = i.sub(1)) { info.remainingValue = info.remainingValue.sub( _decrementVotes( account, info.groups[i.sub(1)], info.remainingValue, lessers[i.sub(1)], greaters[i.sub(1)], indices[i.sub(1)] ) ); if (info.remainingValue == 0) { break; } } require(info.remainingValue == 0, "Failure to decrement all votes."); return value.sub(info.remainingValue); } }
Contract ABI
[{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":""}],"name":"validatorSignerAddressFromCurrentSet","inputs":[{"type":"uint256","name":"index"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"distributeEpochRewards","inputs":[{"type":"address","name":"group"},{"type":"uint256","name":"value"},{"type":"address","name":"lesser"},{"type":"address","name":"greater"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":""}],"name":"initialized","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"activate","inputs":[{"type":"address","name":"group"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getActiveVotes","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":""}],"name":"checkProofOfPossession","inputs":[{"type":"address","name":"sender"},{"type":"bytes","name":"blsKey"},{"type":"bytes","name":"blsPop"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":""}],"name":"hasActivatablePendingVotes","inputs":[{"type":"address","name":"account"},{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address[]","name":""}],"name":"electValidatorSigners","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getNumVotesReceivable","inputs":[{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getTotalVotesForGroupByAccount","inputs":[{"type":"address","name":"group"},{"type":"address","name":"account"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getEpochNumberOfBlock","inputs":[{"type":"uint256","name":"blockNumber"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"setMaxNumGroupsVotedFor","inputs":[{"type":"uint256","name":"_maxNumGroupsVotedFor"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address[]","name":""}],"name":"getCurrentValidatorSigners","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address[]","name":""}],"name":"getGroupsVotedForByAccount","inputs":[{"type":"address","name":"account"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":""}],"name":"getVerifiedSealBitmapFromHeader","inputs":[{"type":"bytes","name":"header"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"value"}],"name":"electabilityThreshold","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"vote","inputs":[{"type":"address","name":"group"},{"type":"uint256","name":"value"},{"type":"address","name":"lesser"},{"type":"address","name":"greater"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getActiveVoteUnitsForGroup","inputs":[{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":""}],"name":"validatorSignerAddressFromSet","inputs":[{"type":"uint256","name":"index"},{"type":"uint256","name":"blockNumber"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"setElectabilityThreshold","inputs":[{"type":"uint256","name":"threshold"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":""}],"name":"hashHeader","inputs":[{"type":"bytes","name":"header"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getTotalVotesByAccount","inputs":[{"type":"address","name":"account"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"revokeActive","inputs":[{"type":"address","name":"group"},{"type":"uint256","name":"value"},{"type":"address","name":"lesser"},{"type":"address","name":"greater"},{"type":"uint256","name":"index"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address[]","name":"groups"},{"type":"uint256[]","name":"values"}],"name":"getTotalVotesForEligibleValidatorGroups","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"renounceOwnership","inputs":[],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"minQuorumSizeInCurrentSet","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":""}],"name":"registry","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"numberValidatorsInCurrentSet","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getBlockNumberFromHeader","inputs":[{"type":"bytes","name":"header"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":""}],"name":"getGroupEligibility","inputs":[{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":""}],"name":"owner","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"forceDecrementVotes","inputs":[{"type":"address","name":"account"},{"type":"uint256","name":"value"},{"type":"address[]","name":"lessers"},{"type":"address[]","name":"greaters"},{"type":"uint256[]","name":"indices"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":""}],"name":"isOwner","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address[]","name":""}],"name":"electNValidatorSigners","inputs":[{"type":"uint256","name":"minElectableValidators"},{"type":"uint256","name":"maxElectableValidators"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getActiveVotesForGroup","inputs":[{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getPendingVotesForGroup","inputs":[{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getTotalVotes","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getEpochNumber","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"numberValidatorsInSet","inputs":[{"type":"uint256","name":"blockNumber"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getPendingVotesForGroupByAccount","inputs":[{"type":"address","name":"group"},{"type":"address","name":"account"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"revokePending","inputs":[{"type":"address","name":"group"},{"type":"uint256","name":"value"},{"type":"address","name":"lesser"},{"type":"address","name":"greater"},{"type":"uint256","name":"index"}],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"markGroupEligible","inputs":[{"type":"address","name":"group"},{"type":"address","name":"lesser"},{"type":"address","name":"greater"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getActiveVoteUnitsForGroupByAccount","inputs":[{"type":"address","name":"group"},{"type":"address","name":"account"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address[]","name":""}],"name":"getEligibleValidatorGroups","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"markGroupIneligible","inputs":[{"type":"address","name":"group"}],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"setRegistry","inputs":[{"type":"address","name":"registryAddress"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"maxNumGroupsVotedFor","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getElectabilityThreshold","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getActiveVotesForGroupByAccount","inputs":[{"type":"address","name":"group"},{"type":"address","name":"account"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getTotalVotesForGroup","inputs":[{"type":"address","name":"group"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getEpochSize","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"revokeAllActive","inputs":[{"type":"address","name":"group"},{"type":"address","name":"lesser"},{"type":"address","name":"greater"},{"type":"uint256","name":"index"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"minQuorumSize","inputs":[{"type":"uint256","name":"blockNumber"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":""}],"name":"canReceiveVotes","inputs":[{"type":"address","name":"group"},{"type":"uint256","name":"value"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""},{"type":"uint256","name":""}],"name":"fractionMulExp","inputs":[{"type":"uint256","name":"aNumerator"},{"type":"uint256","name":"aDenominator"},{"type":"uint256","name":"bNumerator"},{"type":"uint256","name":"bDenominator"},{"type":"uint256","name":"exponent"},{"type":"uint256","name":"_decimals"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""}],"name":"getGroupEpochRewards","inputs":[{"type":"address","name":"group"},{"type":"uint256","name":"totalEpochRewards"},{"type":"uint256[]","name":"uptimes"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"transferOwnership","inputs":[{"type":"address","name":"newOwner"}],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[{"type":"bool","name":""}],"name":"setElectableValidators","inputs":[{"type":"uint256","name":"min"},{"type":"uint256","name":"max"}],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"initialize","inputs":[{"type":"address","name":"registryAddress"},{"type":"uint256","name":"minElectableValidators"},{"type":"uint256","name":"maxElectableValidators"},{"type":"uint256","name":"_maxNumGroupsVotedFor"},{"type":"uint256","name":"_electabilityThreshold"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"min"},{"type":"uint256","name":"max"}],"name":"electableValidators","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":""},{"type":"uint256","name":""}],"name":"getElectableValidators","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":""}],"name":"getParentSealBitmap","inputs":[{"type":"uint256","name":"blockNumber"}],"constant":true},{"type":"event","name":"ElectableValidatorsSet","inputs":[{"type":"uint256","name":"min","indexed":false},{"type":"uint256","name":"max","indexed":false}],"anonymous":false},{"type":"event","name":"MaxNumGroupsVotedForSet","inputs":[{"type":"uint256","name":"maxNumGroupsVotedFor","indexed":false}],"anonymous":false},{"type":"event","name":"ElectabilityThresholdSet","inputs":[{"type":"uint256","name":"electabilityThreshold","indexed":false}],"anonymous":false},{"type":"event","name":"ValidatorGroupMarkedEligible","inputs":[{"type":"address","name":"group","indexed":true}],"anonymous":false},{"type":"event","name":"ValidatorGroupMarkedIneligible","inputs":[{"type":"address","name":"group","indexed":true}],"anonymous":false},{"type":"event","name":"ValidatorGroupVoteCast","inputs":[{"type":"address","name":"account","indexed":true},{"type":"address","name":"group","indexed":true},{"type":"uint256","name":"value","indexed":false}],"anonymous":false},{"type":"event","name":"ValidatorGroupVoteActivated","inputs":[{"type":"address","name":"account","indexed":true},{"type":"address","name":"group","indexed":true},{"type":"uint256","name":"value","indexed":false},{"type":"uint256","name":"units","indexed":false}],"anonymous":false},{"type":"event","name":"ValidatorGroupPendingVoteRevoked","inputs":[{"type":"address","name":"account","indexed":true},{"type":"address","name":"group","indexed":true},{"type":"uint256","name":"value","indexed":false}],"anonymous":false},{"type":"event","name":"ValidatorGroupActiveVoteRevoked","inputs":[{"type":"address","name":"account","indexed":true},{"type":"address","name":"group","indexed":true},{"type":"uint256","name":"value","indexed":false},{"type":"uint256","name":"units","indexed":false}],"anonymous":false},{"type":"event","name":"EpochRewardsDistributedToVoters","inputs":[{"type":"address","name":"group","indexed":true},{"type":"uint256","name":"value","indexed":false}],"anonymous":false},{"type":"event","name":"RegistrySet","inputs":[{"type":"address","name":"registryAddress","indexed":true}],"anonymous":false},{"type":"event","name":"OwnershipTransferred","inputs":[{"type":"address","name":"previousOwner","indexed":true},{"type":"address","name":"newOwner","indexed":true}],"anonymous":false}]
Contract Creation Code
0x6080604052600062000016620000c160201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35060018081905550620000c9565b600033905090565b61a22480620000d96000396000f3fe608060405234801561001057600080fd5b50600436106103ba5760003560e01c80638ef01def116101f4578063ac839d691161011a578063ec683072116100ad578063f92ad2191161007c578063f92ad21914611bbf578063f9d7daae14611c2b578063f9f41a7a14611c50578063fae8db0a14611c75576103ba565b8063ec683072146119f9578063f23263f914611a74578063f2fde38b14611b2b578063f911f0b714611b6f576103ba565b8063df4da461116100e9578063df4da4611461188d578063e0a2ab52146118ab578063e50e652d14611951578063e59ea3e814611993576103ba565b8063ac839d6914611781578063bdd143181461179f578063d3e242a4146117bd578063dedafeae14611835576103ba565b80639b2b592f11610192578063a2fb4ddf11610161578063a2fb4ddf14611622578063a5826ab21461169a578063a8e45871146116f9578063a91ee0dc1461173d576103ba565b80639b2b592f146114345780639b95975f146114765780639dfb6081146114ee578063a18fb2db1461159e576103ba565b8063926d00ca116101ce578063926d00ca1461134857806395128ce3146113a05780639a0e7d66146113f85780639a7b3be714611416576103ba565b80638ef01def146111385780638f32d59b1461129957806390a4dd5c146112bb576103ba565b80634be8843b116102e45780637046c96b1161027757806387ee8a0f1161024657806387ee8a0f14610fa55780638a88362614610fc35780638c666775146110925780638da5cb5b146110ee576103ba565b80637046c96b14610e8c578063715018a614610f335780637385e5da14610f3d5780637b10399914610f5b576103ba565b8063631db7e7116102b3578063631db7e714610c6f57806367960e9114610cb55780636c781a2c14610d845780636e19847514610ddc576103ba565b80634be8843b14610adb578063580d747a14610af95780635bb5acfb14610b9f5780635d180adb14610bf7576103ba565b80632ba38e691161035c5780633c55a73c1161032b5780633c55a73c146108ce578063448144c814610914578063457578a3146109735780634b2c2f4414610a0c576103ba565b80632ba38e691461075d5780632c3b7916146107bc57806338617272146108145780633b1eb4bf1461088c576103ba565b80631c5a9d9c116103985780631c5a9d9c146104dd5780631f6042431461053957806323f0ab6514610557578063263ecf74146106e1576103ba565b8063123633ea146103bf57806312541a6b1461042d578063158ef93e146104bb575b600080fd5b6103eb600480360360208110156103d557600080fd5b8101908080359060200190929190505050611cb7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104b96004803603608081101561044357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e08565b005b6104c3611ebc565b604051808215151515815260200191505060405180910390f35b61051f600480360360208110156104f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ecf565b604051808215151515815260200191505060405180910390f35b61054161223f565b6040518082815260200191505060405180910390f35b6106c76004803603606081101561056d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156105aa57600080fd5b8201836020820111156105bc57600080fd5b803590602001918460018302840111640100000000831117156105de57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561064157600080fd5b82018360208201111561065357600080fd5b8035906020019184600183028401116401000000008311171561067557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061224f565b604051808215151515815260200191505060405180910390f35b610743600480360360408110156106f757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612408565b604051808215151515815260200191505060405180910390f35b6107656124b9565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156107a857808201518184015260208101905061078d565b505050509050019250505060405180910390f35b6107fe600480360360208110156107d257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e9565b6040518082815260200191505060405180910390f35b6108766004803603604081101561082a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061280f565b6040518082815260200191505060405180910390f35b6108b8600480360360208110156108a257600080fd5b8101908080359060200190929190505050612849565b6040518082815260200191505060405180910390f35b6108fa600480360360208110156108e457600080fd5b8101908080359060200190929190505050612863565b604051808215151515815260200191505060405180910390f35b61091c61299e565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561095f578082015181840152602081019050610944565b505050509050019250505060405180910390f35b6109b56004803603602081101561098957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a61565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156109f85780820151818401526020810190506109dd565b505050509050019250505060405180910390f35b610ac560048036036020811015610a2257600080fd5b8101908080359060200190640100000000811115610a3f57600080fd5b820183602082011115610a5157600080fd5b80359060200191846001830284011164010000000083111715610a7357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050612b31565b6040518082815260200191505060405180910390f35b610ae3612cc5565b6040518082815260200191505060405180910390f35b610b8560048036036080811015610b0f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612cd1565b604051808215151515815260200191505060405180910390f35b610be160048036036020811015610bb557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061334f565b6040518082815260200191505060405180910390f35b610c2d60048036036040811015610c0d57600080fd5b8101908080359060200190929190803590602001909291905050506133a1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610c9b60048036036020811015610c8557600080fd5b81019080803590602001909291905050506134f3565b604051808215151515815260200191505060405180910390f35b610d6e60048036036020811015610ccb57600080fd5b8101908080359060200190640100000000811115610ce857600080fd5b820183602082011115610cfa57600080fd5b80359060200191846001830284011164010000000083111715610d1c57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061364c565b6040518082815260200191505060405180910390f35b610dc660048036036020811015610d9a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506137e0565b6040518082815260200191505060405180910390f35b610e72600480360360a0811015610df257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050613918565b604051808215151515815260200191505060405180910390f35b610e94613d83565b604051808060200180602001838103835285818151815260200191508051906020019060200280838360005b83811015610edb578082015181840152602081019050610ec0565b50505050905001838103825284818151815260200191508051906020019060200280838360005b83811015610f1d578082015181840152602081019050610f02565b5050505090500194505050505060405180910390f35b610f3b613ec6565b005b610f45613fff565b6040518082815260200191505060405180910390f35b610f6361400f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610fad614035565b6040518082815260200191505060405180910390f35b61107c60048036036020811015610fd957600080fd5b8101908080359060200190640100000000811115610ff657600080fd5b82018360208201111561100857600080fd5b8035906020019184600183028401116401000000008311171561102a57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061417c565b6040518082815260200191505060405180910390f35b6110d4600480360360208110156110a857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050614310565b604051808215151515815260200191505060405180910390f35b6110f66143e0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b611283600480360360a081101561114e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561119557600080fd5b8201836020820111156111a757600080fd5b803590602001918460208302840111640100000000831117156111c957600080fd5b9091929391929390803590602001906401000000008111156111ea57600080fd5b8201836020820111156111fc57600080fd5b8035906020019184602083028401116401000000008311171561121e57600080fd5b90919293919293908035906020019064010000000081111561123f57600080fd5b82018360208201111561125157600080fd5b8035906020019184602083028401116401000000008311171561127357600080fd5b9091929391929390505050614409565b6040518082815260200191505060405180910390f35b6112a16149c9565b604051808215151515815260200191505060405180910390f35b6112f1600480360360408110156112d157600080fd5b810190808035906020019092919080359060200190929190505050614a27565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015611334578082015181840152602081019050611319565b505050509050019250505060405180910390f35b61138a6004803603602081101561135e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061542e565b6040518082815260200191505060405180910390f35b6113e2600480360360208110156113b657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615480565b6040518082815260200191505060405180910390f35b6114006154d2565b6040518082815260200191505060405180910390f35b61141e6154fc565b6040518082815260200191505060405180910390f35b6114606004803603602081101561144a57600080fd5b810190808035906020019092919050505061550c565b6040518082815260200191505060405180910390f35b6114d86004803603604081101561148c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615655565b6040518082815260200191505060405180910390f35b611584600480360360a081101561150457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506156e8565b604051808215151515815260200191505060405180910390f35b611620600480360360608110156115b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615b46565b005b6116846004803603604081101561163857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615e46565b6040518082815260200191505060405180910390f35b6116a2615ed6565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156116e55780820151818401526020810190506116ca565b505050509050019250505060405180910390f35b61173b6004803603602081101561170f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615fc6565b005b61177f6004803603602081101561175357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616246565b005b6117896163ea565b6040518082815260200191505060405180910390f35b6117a76163f0565b6040518082815260200191505060405180910390f35b61181f600480360360408110156117d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616416565b6040518082815260200191505060405180910390f35b6118776004803603602081101561184b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506164af565b6040518082815260200191505060405180910390f35b61189561655b565b6040518082815260200191505060405180910390f35b611937600480360360808110156118c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050616697565b604051808215151515815260200191505060405180910390f35b61197d6004803603602081101561196757600080fd5b8101908080359060200190929190505050616812565b6040518082815260200191505060405180910390f35b6119df600480360360408110156119a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061685d565b604051808215151515815260200191505060405180910390f35b611a57600480360360c0811015611a0f57600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190505050616aa7565b604051808381526020018281526020019250505060405180910390f35b611b1560048036036060811015611a8a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115611ad157600080fd5b820183602082011115611ae357600080fd5b80359060200191846020830284011164010000000083111715611b0557600080fd5b9091929391929390505050616cbb565b6040518082815260200191505060405180910390f35b611b6d60048036036020811015611b4157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616ff5565b005b611ba560048036036040811015611b8557600080fd5b81019080803590602001909291908035906020019092919050505061707b565b604051808215151515815260200191505060405180910390f35b611c29600480360360a0811015611bd557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190929190803590602001909291905050506172ab565b005b611c33617381565b604051808381526020018281526020019250505060405180910390f35b611c58617393565b604051808381526020018281526020019250505060405180910390f35b611ca160048036036020811015611c8b57600080fd5b81019080803590602001909291905050506173aa565b6040518082815260200191505060405180910390f35b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16844360405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310611d305780518252602082019150602081019050602083039250611d0d565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611d90576040519150601f19603f3d011682016040523d82523d6000602084013e611d95565b606091505b50809350819250505080611df4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180619fcb603d913960400191505060405180910390fd5b611dff8260006174f3565b92505050919050565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eaa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4f6e6c7920564d2063616e2063616c6c0000000000000000000000000000000081525060200191505060405180910390fd5b611eb68484848461750a565b50505050565b600260009054906101000a900460ff1681565b600060018060008282540192505081905550600060015490506000611ef26178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611f6e57600080fd5b505afa158015611f82573d6000803e3d6000fd5b505050506040513d6020811015611f9857600080fd5b810190808051906020019092919050505090506000600360000160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061203c6154fc565b8160010154106120b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f50656e64696e6720766f74652065706f6368206e6f742070617373656400000081525060200191505060405180910390fd5b60008160000154905060008111612133576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b61213e8684836179e6565b600061214b878584617af6565b90508673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f45aac85f38083b18efe2d441a65b9c1ae177c78307cb5a5d4aec8f7dbcaeabfe8484604051808381526020018281526020019250505060405180910390a360019550505050506001548114612239576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50919050565b6000600360020160000154905090565b60008060fb73ffffffffffffffffffffffffffffffffffffffff16858585604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140183805190602001908083835b602083106122d857805182526020820191506020810190506020830392506122b5565b6001836020036101000a03801982511681845116808217855250505050505090500182805190602001908083835b602083106123295780518252602082019150602081019050602083039250612306565b6001836020036101000a03801982511681845116808217855250505050505090500193505050506040516020818303038152906040526040518082805190602001908083835b60208310612392578051825260208201915060208101905060208303925061236f565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146123f2576040519150601f19603f3d011682016040523d82523d6000602084013e6123f7565b606091505b505080915050809150509392505050565b600080600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061249a6154fc565b81600101541080156124b0575060008160000154115b91505092915050565b60606124c3617c56565b73ffffffffffffffffffffffffffffffffffffffff1663e5839836306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561253f57600080fd5b505afa158015612553573d6000803e3d6000fd5b505050506040513d602081101561256957600080fd5b8101908080519060200190929190505050156125d0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180619f506022913960400191505060405180910390fd5b6125e4600d60000154600d60010154614a27565b905090565b6000806127576125f7617d51565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b15801561263c57600080fd5b505afa158015612650573d6000803e3d6000fd5b505050506040513d602081101561266657600080fd5b81019080805190602001909291905050506127496001612684617e4c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e8886040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561270057600080fd5b505afa158015612714573d6000803e3d6000fd5b505050506040513d602081101561272a57600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b617fcf90919063ffffffff16565b905060006127f1600d6001015461276c617e4c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b1580156127b157600080fd5b505afa1580156127c5573d6000803e3d6000fd5b505050506040513d60208110156127db57600080fd5b8101908080519060200190929190505050618055565b9050612806818361806e90919063ffffffff16565b92505050919050565b60008061281c8484615655565b9050600061282a8585616416565b905061283f8183617f4790919063ffffffff16565b9250505092915050565b600061285c8261285761655b565b6180b8565b9050919050565b600061286d6149c9565b6128df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600f54821415612957576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4d61782067726f75707320766f74656420666f72206e6f74206368616e67656481525060200191505060405180910390fd5b81600f819055507f1993a3864c31265ef86eec51d147eff697dee0466c92ac9abddcc4c4c6829348826040518082815260200191505060405180910390a160019050919050565b606060006129aa614035565b90506060816040519080825280602002602001820160405280156129dd5781602001602082028038833980820191505090505b50905060008090505b82811015612a58576129f781611cb7565b828281518110612a0357fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050612a51600182617f4790919063ffffffff16565b90506129e6565b50809250505090565b6060600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020018280548015612b2557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311612adb575b50505050509050919050565b60006060600060f473ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310612b865780518252602082019150602081019050602083039250612b63565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b60208310612bed5780518252602082019150602081019050602083039250612bca565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114612c4d576040519150601f19603f3d011682016040523d82523d6000602084013e612c52565b606091505b50809350819250505080612cb1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526038815260200180619f186038913960400191505060405180910390fd5b612cbc8260006180f0565b92505050919050565b60108060000154905081565b60006001806000828254019250508190555060006001549050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091886040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015612d7657600080fd5b505af4158015612d8a573d6000803e3d6000fd5b505050506040513d6020811015612da057600080fd5b8101908080519060200190929190505050612e23576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f7570206e6f7420656c696769626c65000000000000000000000000000081525060200191505060405180910390fd5b84600010612e99576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b612ea3868661685d565b612f15576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f47726f75702063616e6e6f74207265636569766520766f74657300000000000081525060200191505060405180910390fd5b6000612f1f6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612f9b57600080fd5b505afa158015612faf573d6000803e3d6000fd5b505050506040513d6020811015612fc557600080fd5b8101908080519060200190929190505050905060008090506000600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905060008090505b81805490508110156130bf5782806130a257508973ffffffffffffffffffffffffffffffffffffffff1682828154811061305f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b92506130b8600182617f4790919063ffffffff16565b9050613029565b50816131a657600f54818054905010613140576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74656420666f7220746f6f206d616e792067726f7570730000000000000081525060200191505060405180910390fd5b808990806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505b6131b189848a618181565b6131bd89898989618289565b6131c5617d51565b73ffffffffffffffffffffffffffffffffffffffff166318a4ff8c848a6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561324b57600080fd5b505af115801561325f573d6000803e3d6000fd5b505050508873ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fd3532f70444893db82221041edb4dc26c94593aeb364b0b14dfc77d5ee9051528a6040518082815260200191505060405180910390a3600194505050506001548114613346576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101549050919050565b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16858560405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b6020831061341a57805182526020820191506020810190506020830392506133f7565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461347a576040519150601f19603f3d011682016040523d82523d6000602084013e61347f565b606091505b508093508192505050806134de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061a03d6036913960400191505060405180910390fd5b6134e98260006174f3565b9250505092915050565b60006134fd6149c9565b61356f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61357882618481565b6010600082015181600001559050506135b761359261849f565b60106040518060200160405290816000820154815250506184c590919063ffffffff16565b61360c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180619eea602e913960400191505060405180910390fd5b7f9854be03126e38f9c318d8aabe1b150d09cb3a57059b21855b1e11d44e082c1a826040518082815260200191505060405180910390a160019050919050565b60006060600060f673ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b602083106136a1578051825260208201915060208101905060208303925061367e565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b6020831061370857805182526020820191506020810190506020830392506136e5565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613768576040519150601f19603f3d011682016040523d82523d6000602084013e61376d565b606091505b508093508192505050806137cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a1d66023913960400191505060405180910390fd5b6137d78260006180f0565b92505050919050565b600080600090506060600360090160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806020026020016040519081016040528092919081815260200182805480156138ab57602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311613861575b5050505050905060008090505b815181101561390d576138f06138e18383815181106138d357fe5b60200260200101518761280f565b84617f4790919063ffffffff16565b9250613906600182617f4790919063ffffffff16565b90506138b8565b508192505050919050565b60006001806000828254019250508190555060006001549050600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156139d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b60006139de6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613a5a57600080fd5b505afa158015613a6e573d6000803e3d6000fd5b505050506040513d6020811015613a8457600080fd5b8101908080519060200190929190505050905086600010613b0d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b613b178882616416565b871115613b6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180619fa86023913960400191505060405180910390fd5b6000613b7c89838a6184da565b9050613b8a8989898961869e565b613b92617d51565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a5838a6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015613c1857600080fd5b505af1158015613c2c573d6000803e3d6000fd5b505050506000613c3c8a8461280f565b1415613c8f57613c8e600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208a87618963565b5b8873ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88a84604051808381526020018281526020019250505060405180910390a36001935050506001548114613d79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b606080600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456369b317e390916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b158015613dde57600080fd5b505af4158015613df2573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506040811015613e1c57600080fd5b810190808051640100000000811115613e3457600080fd5b82810190506020810184811115613e4a57600080fd5b8151856020820283011164010000000082111715613e6757600080fd5b50509291906020018051640100000000811115613e8357600080fd5b82810190506020810184811115613e9957600080fd5b8151856020820283011164010000000082111715613eb657600080fd5b5050929190505050915091509091565b613ece6149c9565b613f40576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600061400a43616812565b905090565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1643604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106140a65780518252602082019150602081019050602083039250614083565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114614106576040519150601f19603f3d011682016040523d82523d6000602084013e61410b565b606091505b5080935081925050508061416a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603581526020018061a0086035913960400191505060405180910390fd5b6141758260006174f3565b9250505090565b60006060600060f773ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b602083106141d157805182526020820191506020810190506020830392506141ae565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106142385780518252602082019150602081019050602083039250614215565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114614298576040519150601f19603f3d011682016040523d82523d6000602084013e61429d565b606091505b508093508192505050806142fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603181526020018061a1536031913960400191505060405180910390fd5b6143078260006174f3565b92505050919050565b6000600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561439e57600080fd5b505af41580156143b2573d6000803e3d6000fd5b505050506040513d60208110156143c857600080fd5b81019080805190602001909291905050509050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600180600082825401925050819055506000600154905060405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156144f357600080fd5b505afa158015614507573d6000803e3d6000fd5b505050506040513d602081101561451d57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff16146145b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b60008a11614610576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a1af6027913960400191505060405180910390fd5b614618619da8565b6040518060400160405280600360090160008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806020026020016040519081016040528092919081815260200182805480156146e557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161469b575b505050505081526020018c81525090508060000151518a8a9050111580156147125750878790508a8a9050145b801561472357508585905088889050145b614778576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180619ec96021913960400191505060405180910390fd5b600081600001515190505b60008111156148af576148796148668e84600001516147ac600186618b0490919063ffffffff16565b815181106147b657fe5b602002602001015185602001518f8f6147d9600189618b0490919063ffffffff16565b8181106147e257fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168e8e61481560018a618b0490919063ffffffff16565b81811061481e57fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168d8d61485160018b618b0490919063ffffffff16565b81811061485a57fe5b90506020020135618b4e565b8360200151618b0490919063ffffffff16565b826020018181525050600082602001511415614894576148af565b6148a8600182618b0490919063ffffffff16565b9050614783565b50600081602001511461492a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4661696c75726520746f2064656372656d656e7420616c6c20766f7465732e0081525060200191505060405180910390fd5b61494181602001518c618b0490919063ffffffff16565b9350505060015481146149bc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5098975050505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16614a0b618d62565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b60606000614a6b614a66614a41614a3c6154d2565b618d6a565b6010604051806020016040529081600082015481525050618df490919063ffffffff16565b619253565b90506000600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456342b6351a909184876040518463ffffffff1660e01b815260040180848152602001838152602001828152602001935050505060206040518083038186803b158015614ad757600080fd5b505af4158015614aeb573d6000803e3d6000fd5b505050506040513d6020811015614b0157600080fd5b810190808051906020019092919050505090506060600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563dcb2a4dd9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b158015614b7657600080fd5b505af4158015614b8a573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015614bb457600080fd5b810190808051640100000000811115614bcc57600080fd5b82810190506020810184811115614be257600080fd5b8151856020820283011164010000000082111715614bff57600080fd5b505092919050505090506060614c13617e4c565b73ffffffffffffffffffffffffffffffffffffffff166370447754836040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019060200280838360005b83811015614c81578082015181840152602081019050614c66565b505050509050019250505060006040518083038186803b158015614ca457600080fd5b505afa158015614cb8573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015614ce257600080fd5b810190808051640100000000811115614cfa57600080fd5b82810190506020810184811115614d1057600080fd5b8151856020820283011164010000000082111715614d2d57600080fd5b5050929190505050905060608251604051908082528060200260200182016040528015614d695781602001602082028038833980820191505090505b509050600080905060608451604051908082528060200260200182016040528015614da35781602001602082028038833980820191505090505b50905060608551604051908082528060200260200182016040528015614de357816020015b614dd0619dc2565b815260200190600190039081614dc85790505b50905060008090505b8651811015614f145780838281518110614e0257fe5b602002602001018181525050614ef0600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b390918a8581518110614e4157fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015614eb057600080fd5b505af4158015614ec4573d6000803e3d6000fd5b505050506040513d6020811015614eda57600080fd5b8101908080519060200190929190505050618d6a565b828281518110614efc57fe5b60200260200101819052508080600101915050614dec565b505b8983108015614f26575060008651115b1561516057600082600081518110614f3a57fe5b602002602001015190506000614f62838381518110614f5557fe5b6020026020010151619274565b1415614f6e5750615160565b848181518110614f7a57fe5b6020026020010151868281518110614f8e57fe5b602002602001015111614fc157614fa56000618481565b828281518110614fb157fe5b6020026020010181905250615150565b614fe86001868381518110614fd257fe5b6020026020010151617f4790919063ffffffff16565b858281518110614ff457fe5b602002602001018181525050615014600185617f4790919063ffffffff16565b9350615138615048615043600188858151811061502d57fe5b6020026020010151617f4790919063ffffffff16565b618d6a565b61512a600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b390918c878151811061507b57fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156150ea57600080fd5b505af41580156150fe573d6000803e3d6000fd5b505050506040513d602081101561511457600080fd5b8101908080519060200190929190505050618d6a565b61928290919063ffffffff16565b82828151811061514457fe5b60200260200101819052505b61515a83836193cb565b50614f16565b8a8310156151d6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4e6f7420656e6f75676820656c65637465642076616c696461746f727300000081525060200191505060405180910390fd5b6060836040519080825280602002602001820160405280156152075781602001602082028038833980820191505090505b5090506000935060008090505b875181101561541b576060615227617e4c565b73ffffffffffffffffffffffffffffffffffffffff16638dd31e398a848151811061524e57fe5b602002602001015189858151811061526257fe5b60200260200101516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060006040518083038186803b1580156152d157600080fd5b505afa1580156152e5573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561530f57600080fd5b81019080805164010000000081111561532757600080fd5b8281019050602081018481111561533d57600080fd5b815185602082028301116401000000008211171561535a57600080fd5b5050929190505050905060008090505b81518110156153fe5781818151811061537f57fe5b602002602001015184888151811061539357fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506153e1600188617f4790919063ffffffff16565b96506153f7600182617f4790919063ffffffff16565b905061536a565b5050615414600182617f4790919063ffffffff16565b9050615214565b5080995050505050505050505092915050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b6000600360000160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b60006154f7600360000160000154600360020160000154617f4790919063ffffffff16565b905090565b600061550743612849565b905090565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061557d578051825260208201915060208101905060208303925061555a565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146155dd576040519150601f19603f3d011682016040523d82523d6000602084013e6155e2565b606091505b50809350819250505080615641576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180619e75602e913960400191505060405180910390fd5b61564c8260006174f3565b92505050919050565b6000600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154905092915050565b60006001806000828254019250508190555060006001549050600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156157a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b60006157ae6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561582a57600080fd5b505afa15801561583e573d6000803e3d6000fd5b505050506040513d602081101561585457600080fd5b81019080805190602001909291905050509050866000106158dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b6158e78882615655565b87111561593f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061a0e06024913960400191505060405180910390fd5b61594a8882896179e6565b6159568888888861869e565b61595e617d51565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a582896040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156159e457600080fd5b505af11580156159f8573d6000803e3d6000fd5b505050506000615a08898361280f565b1415615a5b57615a5a600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208986618963565b5b8773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe896040518082815260200191505060405180910390a360019250506001548114615b3c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015615c1757600080fd5b505afa158015615c2b573d6000803e3d6000fd5b505050506040513d6020811015615c4157600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614615cdb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b6000615ce6856164af565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c26245632dedbbf09091878488886040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b158015615de457600080fd5b505af4158015615df8573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167f8f21dc7ff6f55d73e4fca52a4ef4fcc14fbda43ac338d24922519d51455d39c160405160405180910390a25050505050565b6000600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6060600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c26245633a72e80290916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b158015615f3057600080fd5b505af4158015615f44573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015615f6e57600080fd5b810190808051640100000000811115615f8657600080fd5b82810190506020810184811115615f9c57600080fd5b8151856020820283011164010000000082111715615fb957600080fd5b5050929190505050905090565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561609757600080fd5b505afa1580156160ab573d6000803e3d6000fd5b505050506040513d60208110156160c157600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff161461615b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563281359299091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060006040518083038186803b1580156161e757600080fd5b505af41580156161fb573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff167f5c8cd4e832f3a7d79f9208c2acf25a412143aa3f751cfd3728c42a0fea4921a860405160405180910390a25050565b61624e6149c9565b6162c0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415616363576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f43616e6e6f7420726567697374657220746865206e756c6c206164647265737381525060200191505060405180910390fd5b80600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f27fe5f0c1c3b1ed427cc63d0f05759ffdecf9aec9e18d31ef366fc8a6cb5dc3b60405160405180910390a250565b600f5481565b60006164116010604051806020016040529081600082015481525050619274565b905090565b60006164a783600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546193dd565b905092915050565b6000616554600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154600360000160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617f4790919063ffffffff16565b9050919050565b60006060600060f873ffffffffffffffffffffffffffffffffffffffff166040516020016040516020818303038152906040526040518082805190602001908083835b602083106165c1578051825260208201915060208101905060208303925061659e565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114616621576040519150601f19603f3d011682016040523d82523d6000602084013e616626565b606091505b50809350819250505080616685576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061a0bb6025913960400191505060405180910390fd5b6166908260006174f3565b9250505090565b6000600180600082825401925050819055506000600154905060006166ba6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561673657600080fd5b505afa15801561674a573d6000803e3d6000fd5b505050506040513d602081101561676057600080fd5b81019080805190602001909291905050509050600061677f8883616416565b905061678e8882898989613918565b935050506001548114616809576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b60006168566003616848600261683a600261682c8861550c565b617fcf90919063ffffffff16565b617f4790919063ffffffff16565b61806e90919063ffffffff16565b9050919050565b60008061687b8361686d866164af565b617f4790919063ffffffff16565b90506000616927616918600d60010154616893617e4c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b1580156168d857600080fd5b505afa1580156168ec573d6000803e3d6000fd5b505050506040513d602081101561690257600080fd5b8101908080519060200190929190505050618055565b83617fcf90919063ffffffff16565b90506000616a96616936617d51565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b15801561697b57600080fd5b505afa15801561698f573d6000803e3d6000fd5b505050506040513d60208110156169a557600080fd5b8101908080519060200190929190505050616a8860016169c3617e4c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e88b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616a3f57600080fd5b505afa158015616a53573d6000803e3d6000fd5b505050506040513d6020811015616a6957600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b617fcf90919063ffffffff16565b905080821115935050505092915050565b60008060008714158015616abc575060008514155b616b2e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f612064656e6f6d696e61746f72206973207a65726f000000000000000000000081525060200191505060405180910390fd5b6000806000606060fc73ffffffffffffffffffffffffffffffffffffffff168c8c8c8c8c8c6040516020018087815260200186815260200185815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040526040518082805190602001908083835b60208310616bc85780518252602082019150602081019050602083039250616ba5565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114616c28576040519150601f19603f3d011682016040523d82523d6000602084013e616c2d565b606091505b50809250819350505081616c8c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a0946027913960400191505060405180910390fd5b616c978160006174f3565b9350616ca48160206174f3565b925083839550955050505050965096945050505050565b600080616cc6617e4c565b90508073ffffffffffffffffffffffffffffffffffffffff1663c54c1cd4876040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616d4557600080fd5b505afa158015616d59573d6000803e3d6000fd5b505050506040513d6020811015616d6f57600080fd5b81019080805190602001909291905050501580616d955750600060036002016000015411155b15616da4576000915050616fed565b616dac619dd5565b616e06600360020160010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001546003600201600001546194f6565b9050616e10619dd5565b616ed38373ffffffffffffffffffffffffffffffffffffffff166376f7425d88886040518363ffffffff1660e01b815260040180806020018281038252848482818152602001925060200280828437600081840152601f19601f820116905080830192505050935050505060206040518083038186803b158015616e9357600080fd5b505afa158015616ea7573d6000803e3d6000fd5b505050506040513d6020811015616ebd57600080fd5b8101908080519060200190929190505050618481565b9050616edd619dd5565b616f9d8473ffffffffffffffffffffffffffffffffffffffff1663dba94fcd8b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616f5d57600080fd5b505afa158015616f71573d6000803e3d6000fd5b505050506040513d6020811015616f8757600080fd5b8101908080519060200190929190505050618481565b9050616fe6616fe182616fd385616fc588616fb78f618d6a565b618df490919063ffffffff16565b618df490919063ffffffff16565b618df490919063ffffffff16565b619253565b9450505050505b949350505050565b616ffd6149c9565b61706f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61707881619538565b50565b60006170856149c9565b6170f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b82600010617150576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b81526020018061a184602b913960400191505060405180910390fd5b818311156171a9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180619e3a603b913960400191505060405180910390fd5b600d60000154831415806171c25750600d600101548214155b617234576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f456c65637461626c652076616c696461746f7273206e6f74206368616e67656481525060200191505060405180910390fd5b604051806040016040528084815260200183815250600d60008201518160000155602082015181600101559050507fb3ae64819ff89f6136eb58b8563cb32c6550f17eaf97f9ecc32f23783229f6de8383604051808381526020018281526020019250505060405180910390a16001905092915050565b600260009054906101000a900460ff161561732e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f636f6e747261637420616c726561647920696e697469616c697a65640000000081525060200191505060405180910390fd5b6001600260006101000a81548160ff02191690831515021790555061735233619538565b61735b85616246565b617365848461707b565b5061736f82612863565b50617379816134f3565b505050505050565b600d8060000154908060010154905082565b600080600d60000154600d60010154915091509091565b60006060600060f573ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061741b57805182526020820191506020810190506020830392506173f8565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461747b576040519150601f19603f3d011682016040523d82523d6000602084013e617480565b606091505b508093508192505050806174df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061a127602c913960400191505060405180910390fd5b6174ea8260006180f0565b92505050919050565b60006174ff83836180f0565b60001c905092915050565b600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561759657600080fd5b505af41580156175aa573d6000803e3d6000fd5b505050506040513d60208110156175c057600080fd5b8101908080519060200190929190505050156177c95760006176b184600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561766857600080fd5b505af415801561767c573d6000803e3d6000fd5b505050506040513d602081101561769257600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b1580156177af57600080fd5b505af41580156177c3573d6000803e3d6000fd5b50505050505b61782483600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617f4790919063ffffffff16565b600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000018190555061788b83600360020160000154617f4790919063ffffffff16565b6003600201600001819055508373ffffffffffffffffffffffffffffffffffffffff167f91ba34d62474c14d6c623cd322f4256666c7a45b7fdaa3378e009d39dfcec2a7846040518082815260200191505060405180910390a250505050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4163636f756e74730000000000000000000000000000000000000000000000008152506008019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156179a657600080fd5b505afa1580156179ba573d6000803e3d6000fd5b505050506040513d60208110156179d057600080fd5b8101908080519060200190929190505050905090565b600060036000019050617a06828260000154618b0490919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617a6a838260000154618b0490919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617ace848260000154618b0490919063ffffffff16565b8160000181905550600081600001541415617aee57600081600101819055505b505050505050565b60008060036002019050617b17838260000154617f4790919063ffffffff16565b81600001819055506000617b2b868561967c565b905060008260010160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617b89858260000154617f4790919063ffffffff16565b8160000181905550617ba8828260010154617f4790919063ffffffff16565b8160010181905550617c04828260020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054617f4790919063ffffffff16565b8160020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508193505050509392505050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f467265657a6572000000000000000000000000000000000000000000000000008152506007019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015617d1157600080fd5b505afa158015617d25573d6000803e3d6000fd5b505050506040513d6020811015617d3b57600080fd5b8101908080519060200190929190505050905090565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015617e0c57600080fd5b505afa158015617e20573d6000803e3d6000fd5b505050506040513d6020811015617e3657600080fd5b8101908080519060200190929190505050905090565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015617f0757600080fd5b505afa158015617f1b573d6000803e3d6000fd5b505050506040513d6020811015617f3157600080fd5b8101908080519060200190929190505050905090565b600080828401905083811015617fc5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080831415617fe2576000905061804f565b6000828402905082848281617ff357fe5b041461804a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061a0736021913960400191505060405180910390fd5b809150505b92915050565b60008183106180645781618066565b825b905092915050565b60006180b083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506197af565b905092915050565b6000808284816180c457fe5b04905060008385816180d257fe5b0614156180e257809150506180ea565b600181019150505b92915050565b6000602082018351101561816c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736c6963696e67206f7574206f662072616e676500000000000000000000000081525060200191505060405180910390fd5b60006020830184015190508091505092915050565b6000600360000190506181a1828260000154617f4790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618205838260000154617f4790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618269848260000154617f4790919063ffffffff16565b81600001819055506182796154fc565b8160010181905550505050505050565b600061836484600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561831b57600080fd5b505af415801561832f573d6000803e3d6000fd5b505050506040513d602081101561834557600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561846257600080fd5b505af4158015618476573d6000803e3d6000fd5b505050505050505050565b618489619dd5565b6040518060200160405280838152509050919050565b6184a7619dd5565b604051806020016040528069d3c21bcecceda1000000815250905090565b60008160000151836000015110905092915050565b600080600360020190506184fb838260000154618b0490919063ffffffff16565b8160000181905550600080905060006185148787616416565b905060008360010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050858214156185ac578060020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205492506185b9565b6185b6888761967c565b92505b6185d0868260000154618b0490919063ffffffff16565b81600001819055506185ef838260010154618b0490919063ffffffff16565b816001018190555061864b838260020160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054618b0490919063ffffffff16565b8160020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550829450505050509392505050565b600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561872a57600080fd5b505af415801561873e573d6000803e3d6000fd5b505050506040513d602081101561875457600080fd5b81019080805190602001909291905050501561895d57600061884584600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156187fc57600080fd5b505af4158015618810573d6000803e3d6000fd5b505050506040513d602081101561882657600080fd5b8101908080519060200190929190505050618b0490919063ffffffff16565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561894357600080fd5b505af4158015618957573d6000803e3d6000fd5b50505050505b50505050565b8280549050811080156189d757508173ffffffffffffffffffffffffffffffffffffffff1683828154811061899457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b618a49576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f42616420696e646578000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000618a6360018580549050618b0490919063ffffffff16565b9050838181548110618a7157fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16848381548110618aa857fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808481618afd9190619de8565b5050505050565b6000618b4683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250619875565b905092915050565b6000808590506000618b60888a615655565b90506000811115618c00576000618b778383618055565b9050618b84898b836179e6565b8873ffffffffffffffffffffffffffffffffffffffff168a73ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe836040518082815260200191505060405180910390a3618bfc8184618b0490919063ffffffff16565b9250505b6000618c0c898b616416565b9050600081118015618c1e5750600083115b15618cc5576000618c2f8483618055565b90506000618c3e8b8d846184da565b90508a73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88484604051808381526020018281526020019250505060405180910390a3618cc08286618b0490919063ffffffff16565b945050505b6000618cda848a618b0490919063ffffffff16565b90506000811115618d5157618cf18a828a8a61869e565b6000618cfd8b8d61280f565b1415618d5057618d4f600360090160008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208b88618963565b5b5b809450505050509695505050505050565b600033905090565b618d72619dd5565b618d7a619935565b821115618dd2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180619f726036913960400191505060405180910390fd5b604051806020016040528069d3c21bcecceda100000084028152509050919050565b618dfc619dd5565b600083600001511480618e13575060008260000151145b15618e2f5760405180602001604052806000815250905061924d565b69d3c21bcecceda100000082600001511415618e4d5782905061924d565b69d3c21bcecceda100000083600001511415618e6b5781905061924d565b600069d3c21bcecceda1000000618e8185619954565b6000015181618e8c57fe5b0490506000618e9a8561998b565b600001519050600069d3c21bcecceda1000000618eb686619954565b6000015181618ec157fe5b0490506000618ecf8661998b565b6000015190506000828502905060008514618f635782858281618eee57fe5b0414618f62576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b600069d3c21bcecceda100000082029050600082146190055769d3c21bcecceda1000000828281618f9057fe5b0414619004576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f6f766572666c6f772078317931202a206669786564312064657465637465640081525060200191505060405180910390fd5b5b8091506000848602905060008614619096578486828161902157fe5b0414619095576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b600084880290506000881461912457848882816190af57fe5b0414619123576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b61912c6199c8565b878161913457fe5b04965061913f6199c8565b858161914757fe5b04945060008588029050600088146191d8578588828161916357fe5b04146191d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b6191e0619dd5565b6040518060200160405280878152509050619209816040518060200160405280878152506199d5565b9050619223816040518060200160405280868152506199d5565b905061923d816040518060200160405280858152506199d5565b9050809a50505050505050505050505b92915050565b600069d3c21bcecceda100000082600001518161926c57fe5b049050919050565b600081600001519050919050565b61928a619dd5565b600082600001511415619305576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f63616e277420646976696465206279203000000000000000000000000000000081525060200191505060405180910390fd5b600069d3c21bcecceda10000008460000151029050836000015169d3c21bcecceda1000000828161933257fe5b04146193a6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f6f766572666c6f7720617420646976696465000000000000000000000000000081525060200191505060405180910390fd5b6040518060200160405280846000015183816193be57fe5b0481525091505092915050565b6193d9828260008551619a7e565b5050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154141561943857600090506194f0565b6194ed600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101546194df600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015485617fcf90919063ffffffff16565b61806e90919063ffffffff16565b90505b92915050565b6194fe619dd5565b619506619dd5565b61950f84618d6a565b9050619519619dd5565b61952284618d6a565b905061952e8282619282565b9250505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156195be576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180619ea36026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015414156196f1576196ea68056bc75e2d6310000083617fcf90919063ffffffff16565b90506197a9565b6197a6600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154619798600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015485617fcf90919063ffffffff16565b61806e90919063ffffffff16565b90505b92915050565b6000808311829061985b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015619820578082015181840152602081019050619805565b50505050905090810190601f16801561984d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161986757fe5b049050809150509392505050565b6000838311158290619922576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156198e75780820151818401526020810190506198cc565b50505050905090810190601f1680156199145780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60007601357c299a88ea76a58924d52ce4f26a85af186c2b9e74905090565b61995c619dd5565b604051806020016040528069d3c21bcecceda10000008085600001518161997f57fe5b04028152509050919050565b619993619dd5565b604051806020016040528069d3c21bcecceda1000000808560000151816199b657fe5b04028460000151038152509050919050565b600064e8d4a51000905090565b6199dd619dd5565b6000826000015184600001510190508360000151811015619a66576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616464206f766572666c6f77206465746563746564000000000000000000000081525060200191505060405180910390fd5b60405180602001604052808281525091505092915050565b8251845114619ad8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a1046023913960400191505060405180910390fd5b83518210619b4e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f6865617020737461727420696e646578206f7574206f662072616e676500000081525060200191505060405180910390fd5b8351811115619bc5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f68656170206c656e677468206f7574206f662072616e6765000000000000000081525060200191505060405180910390fd5b60008290505b600115619d8c576000619bfb6001619bed600285617fcf90919063ffffffff16565b617f4790919063ffffffff16565b90506000619c266002619c18600286617fcf90919063ffffffff16565b617f4790919063ffffffff16565b905060008390508483108015619c975750619c9687898381518110619c4757fe5b602002602001015181518110619c5957fe5b6020026020010151888a8681518110619c6e57fe5b602002602001015181518110619c8057fe5b6020026020010151619d9390919063ffffffff16565b5b15619ca0578290505b8482108015619d0a5750619d0987898381518110619cba57fe5b602002602001015181518110619ccc57fe5b6020026020010151888a8581518110619ce157fe5b602002602001015181518110619cf357fe5b6020026020010151619d9390919063ffffffff16565b5b15619d13578190505b83811415619d2357505050619d8c565b6000888581518110619d3157fe5b60200260200101519050888281518110619d4757fe5b6020026020010151898681518110619d5b57fe5b60200260200101818152505080898381518110619d7457fe5b60200260200101818152505081945050505050619bcb565b5050505050565b60008160000151836000015111905092915050565b604051806040016040528060608152602001600081525090565b6040518060200160405280600081525090565b6040518060200160405280600081525090565b815481835581811115619e0f57818360005260206000209182019101619e0e9190619e14565b5b505050565b619e3691905b80821115619e32576000816000905550600101619e1a565b5090565b9056fe4d6178696d756d20656c65637461626c652076616c696461746f72732063616e6e6f7420626520736d616c6c6572207468616e206d696e696d756d6572726f722063616c6c696e67206e756d62657256616c696461746f7273496e53657420707265636f6d70696c654f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373496e707574206c656e67746873206d75737420626520636f72726573706f6e642e456c6563746162696c697479207468726573686f6c64206d757374206265206c6f776572207468616e20313030256572726f722063616c6c696e672067657456657269666965645365616c4269746d617046726f6d48656164657220707265636f6d70696c6563616e27742063616c6c207768656e20636f6e74726163742069732066726f7a656e63616e277420637265617465206669786964697479206e756d626572206c6172676572207468616e206d61784e657746697865642829566f74652076616c7565206c6172676572207468616e2061637469766520766f7465736572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e67206e756d62657256616c696461746f7273496e43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d53657420707265636f6d70696c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f776572726f722063616c6c696e67206672616374696f6e4d756c45787020707265636f6d70696c656572726f722063616c6c696e672067657445706f636853697a6520707265636f6d70696c65566f74652076616c7565206c6172676572207468616e2070656e64696e6720766f7465736b657920616e642076616c7565206172726179206c656e677468206d69736d617463686572726f722063616c6c696e6720676574506172656e745365616c4269746d617020707265636f6d70696c656572726f722063616c6c696e6720676574426c6f636b4e756d62657246726f6d48656164657220707265636f6d70696c654d696e696d756d20656c65637461626c652076616c696461746f72732063616e6e6f74206265207a65726f44656372656d656e742076616c7565206d7573742062652067726561746572207468616e20302e6572726f722063616c6c696e67206861736848656164657220707265636f6d70696c65a165627a7a7230582004f07d0053e07028ea9b7caf6d18dd0ff77a05ebf348203513c09e62f00bfef50029
Deployed ByteCode
0x608060405234801561001057600080fd5b50600436106103ba5760003560e01c80638ef01def116101f4578063ac839d691161011a578063ec683072116100ad578063f92ad2191161007c578063f92ad21914611bbf578063f9d7daae14611c2b578063f9f41a7a14611c50578063fae8db0a14611c75576103ba565b8063ec683072146119f9578063f23263f914611a74578063f2fde38b14611b2b578063f911f0b714611b6f576103ba565b8063df4da461116100e9578063df4da4611461188d578063e0a2ab52146118ab578063e50e652d14611951578063e59ea3e814611993576103ba565b8063ac839d6914611781578063bdd143181461179f578063d3e242a4146117bd578063dedafeae14611835576103ba565b80639b2b592f11610192578063a2fb4ddf11610161578063a2fb4ddf14611622578063a5826ab21461169a578063a8e45871146116f9578063a91ee0dc1461173d576103ba565b80639b2b592f146114345780639b95975f146114765780639dfb6081146114ee578063a18fb2db1461159e576103ba565b8063926d00ca116101ce578063926d00ca1461134857806395128ce3146113a05780639a0e7d66146113f85780639a7b3be714611416576103ba565b80638ef01def146111385780638f32d59b1461129957806390a4dd5c146112bb576103ba565b80634be8843b116102e45780637046c96b1161027757806387ee8a0f1161024657806387ee8a0f14610fa55780638a88362614610fc35780638c666775146110925780638da5cb5b146110ee576103ba565b80637046c96b14610e8c578063715018a614610f335780637385e5da14610f3d5780637b10399914610f5b576103ba565b8063631db7e7116102b3578063631db7e714610c6f57806367960e9114610cb55780636c781a2c14610d845780636e19847514610ddc576103ba565b80634be8843b14610adb578063580d747a14610af95780635bb5acfb14610b9f5780635d180adb14610bf7576103ba565b80632ba38e691161035c5780633c55a73c1161032b5780633c55a73c146108ce578063448144c814610914578063457578a3146109735780634b2c2f4414610a0c576103ba565b80632ba38e691461075d5780632c3b7916146107bc57806338617272146108145780633b1eb4bf1461088c576103ba565b80631c5a9d9c116103985780631c5a9d9c146104dd5780631f6042431461053957806323f0ab6514610557578063263ecf74146106e1576103ba565b8063123633ea146103bf57806312541a6b1461042d578063158ef93e146104bb575b600080fd5b6103eb600480360360208110156103d557600080fd5b8101908080359060200190929190505050611cb7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104b96004803603608081101561044357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e08565b005b6104c3611ebc565b604051808215151515815260200191505060405180910390f35b61051f600480360360208110156104f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ecf565b604051808215151515815260200191505060405180910390f35b61054161223f565b6040518082815260200191505060405180910390f35b6106c76004803603606081101561056d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156105aa57600080fd5b8201836020820111156105bc57600080fd5b803590602001918460018302840111640100000000831117156105de57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561064157600080fd5b82018360208201111561065357600080fd5b8035906020019184600183028401116401000000008311171561067557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061224f565b604051808215151515815260200191505060405180910390f35b610743600480360360408110156106f757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612408565b604051808215151515815260200191505060405180910390f35b6107656124b9565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156107a857808201518184015260208101905061078d565b505050509050019250505060405180910390f35b6107fe600480360360208110156107d257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e9565b6040518082815260200191505060405180910390f35b6108766004803603604081101561082a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061280f565b6040518082815260200191505060405180910390f35b6108b8600480360360208110156108a257600080fd5b8101908080359060200190929190505050612849565b6040518082815260200191505060405180910390f35b6108fa600480360360208110156108e457600080fd5b8101908080359060200190929190505050612863565b604051808215151515815260200191505060405180910390f35b61091c61299e565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561095f578082015181840152602081019050610944565b505050509050019250505060405180910390f35b6109b56004803603602081101561098957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a61565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156109f85780820151818401526020810190506109dd565b505050509050019250505060405180910390f35b610ac560048036036020811015610a2257600080fd5b8101908080359060200190640100000000811115610a3f57600080fd5b820183602082011115610a5157600080fd5b80359060200191846001830284011164010000000083111715610a7357600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050612b31565b6040518082815260200191505060405180910390f35b610ae3612cc5565b6040518082815260200191505060405180910390f35b610b8560048036036080811015610b0f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612cd1565b604051808215151515815260200191505060405180910390f35b610be160048036036020811015610bb557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061334f565b6040518082815260200191505060405180910390f35b610c2d60048036036040811015610c0d57600080fd5b8101908080359060200190929190803590602001909291905050506133a1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610c9b60048036036020811015610c8557600080fd5b81019080803590602001909291905050506134f3565b604051808215151515815260200191505060405180910390f35b610d6e60048036036020811015610ccb57600080fd5b8101908080359060200190640100000000811115610ce857600080fd5b820183602082011115610cfa57600080fd5b80359060200191846001830284011164010000000083111715610d1c57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061364c565b6040518082815260200191505060405180910390f35b610dc660048036036020811015610d9a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506137e0565b6040518082815260200191505060405180910390f35b610e72600480360360a0811015610df257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050613918565b604051808215151515815260200191505060405180910390f35b610e94613d83565b604051808060200180602001838103835285818151815260200191508051906020019060200280838360005b83811015610edb578082015181840152602081019050610ec0565b50505050905001838103825284818151815260200191508051906020019060200280838360005b83811015610f1d578082015181840152602081019050610f02565b5050505090500194505050505060405180910390f35b610f3b613ec6565b005b610f45613fff565b6040518082815260200191505060405180910390f35b610f6361400f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610fad614035565b6040518082815260200191505060405180910390f35b61107c60048036036020811015610fd957600080fd5b8101908080359060200190640100000000811115610ff657600080fd5b82018360208201111561100857600080fd5b8035906020019184600183028401116401000000008311171561102a57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061417c565b6040518082815260200191505060405180910390f35b6110d4600480360360208110156110a857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050614310565b604051808215151515815260200191505060405180910390f35b6110f66143e0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b611283600480360360a081101561114e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561119557600080fd5b8201836020820111156111a757600080fd5b803590602001918460208302840111640100000000831117156111c957600080fd5b9091929391929390803590602001906401000000008111156111ea57600080fd5b8201836020820111156111fc57600080fd5b8035906020019184602083028401116401000000008311171561121e57600080fd5b90919293919293908035906020019064010000000081111561123f57600080fd5b82018360208201111561125157600080fd5b8035906020019184602083028401116401000000008311171561127357600080fd5b9091929391929390505050614409565b6040518082815260200191505060405180910390f35b6112a16149c9565b604051808215151515815260200191505060405180910390f35b6112f1600480360360408110156112d157600080fd5b810190808035906020019092919080359060200190929190505050614a27565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015611334578082015181840152602081019050611319565b505050509050019250505060405180910390f35b61138a6004803603602081101561135e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061542e565b6040518082815260200191505060405180910390f35b6113e2600480360360208110156113b657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615480565b6040518082815260200191505060405180910390f35b6114006154d2565b6040518082815260200191505060405180910390f35b61141e6154fc565b6040518082815260200191505060405180910390f35b6114606004803603602081101561144a57600080fd5b810190808035906020019092919050505061550c565b6040518082815260200191505060405180910390f35b6114d86004803603604081101561148c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615655565b6040518082815260200191505060405180910390f35b611584600480360360a081101561150457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506156e8565b604051808215151515815260200191505060405180910390f35b611620600480360360608110156115b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615b46565b005b6116846004803603604081101561163857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615e46565b6040518082815260200191505060405180910390f35b6116a2615ed6565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156116e55780820151818401526020810190506116ca565b505050509050019250505060405180910390f35b61173b6004803603602081101561170f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050615fc6565b005b61177f6004803603602081101561175357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616246565b005b6117896163ea565b6040518082815260200191505060405180910390f35b6117a76163f0565b6040518082815260200191505060405180910390f35b61181f600480360360408110156117d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616416565b6040518082815260200191505060405180910390f35b6118776004803603602081101561184b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506164af565b6040518082815260200191505060405180910390f35b61189561655b565b6040518082815260200191505060405180910390f35b611937600480360360808110156118c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050616697565b604051808215151515815260200191505060405180910390f35b61197d6004803603602081101561196757600080fd5b8101908080359060200190929190505050616812565b6040518082815260200191505060405180910390f35b6119df600480360360408110156119a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061685d565b604051808215151515815260200191505060405180910390f35b611a57600480360360c0811015611a0f57600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190505050616aa7565b604051808381526020018281526020019250505060405180910390f35b611b1560048036036060811015611a8a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115611ad157600080fd5b820183602082011115611ae357600080fd5b80359060200191846020830284011164010000000083111715611b0557600080fd5b9091929391929390505050616cbb565b6040518082815260200191505060405180910390f35b611b6d60048036036020811015611b4157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050616ff5565b005b611ba560048036036040811015611b8557600080fd5b81019080803590602001909291908035906020019092919050505061707b565b604051808215151515815260200191505060405180910390f35b611c29600480360360a0811015611bd557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190929190803590602001909291905050506172ab565b005b611c33617381565b604051808381526020018281526020019250505060405180910390f35b611c58617393565b604051808381526020018281526020019250505060405180910390f35b611ca160048036036020811015611c8b57600080fd5b81019080803590602001909291905050506173aa565b6040518082815260200191505060405180910390f35b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16844360405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310611d305780518252602082019150602081019050602083039250611d0d565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611d90576040519150601f19603f3d011682016040523d82523d6000602084013e611d95565b606091505b50809350819250505080611df4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180619fcb603d913960400191505060405180910390fd5b611dff8260006174f3565b92505050919050565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eaa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4f6e6c7920564d2063616e2063616c6c0000000000000000000000000000000081525060200191505060405180910390fd5b611eb68484848461750a565b50505050565b600260009054906101000a900460ff1681565b600060018060008282540192505081905550600060015490506000611ef26178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611f6e57600080fd5b505afa158015611f82573d6000803e3d6000fd5b505050506040513d6020811015611f9857600080fd5b810190808051906020019092919050505090506000600360000160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061203c6154fc565b8160010154106120b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f50656e64696e6720766f74652065706f6368206e6f742070617373656400000081525060200191505060405180910390fd5b60008160000154905060008111612133576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b61213e8684836179e6565b600061214b878584617af6565b90508673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f45aac85f38083b18efe2d441a65b9c1ae177c78307cb5a5d4aec8f7dbcaeabfe8484604051808381526020018281526020019250505060405180910390a360019550505050506001548114612239576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50919050565b6000600360020160000154905090565b60008060fb73ffffffffffffffffffffffffffffffffffffffff16858585604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140183805190602001908083835b602083106122d857805182526020820191506020810190506020830392506122b5565b6001836020036101000a03801982511681845116808217855250505050505090500182805190602001908083835b602083106123295780518252602082019150602081019050602083039250612306565b6001836020036101000a03801982511681845116808217855250505050505090500193505050506040516020818303038152906040526040518082805190602001908083835b60208310612392578051825260208201915060208101905060208303925061236f565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146123f2576040519150601f19603f3d011682016040523d82523d6000602084013e6123f7565b606091505b505080915050809150509392505050565b600080600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905061249a6154fc565b81600101541080156124b0575060008160000154115b91505092915050565b60606124c3617c56565b73ffffffffffffffffffffffffffffffffffffffff1663e5839836306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561253f57600080fd5b505afa158015612553573d6000803e3d6000fd5b505050506040513d602081101561256957600080fd5b8101908080519060200190929190505050156125d0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180619f506022913960400191505060405180910390fd5b6125e4600d60000154600d60010154614a27565b905090565b6000806127576125f7617d51565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b15801561263c57600080fd5b505afa158015612650573d6000803e3d6000fd5b505050506040513d602081101561266657600080fd5b81019080805190602001909291905050506127496001612684617e4c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e8886040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561270057600080fd5b505afa158015612714573d6000803e3d6000fd5b505050506040513d602081101561272a57600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b617fcf90919063ffffffff16565b905060006127f1600d6001015461276c617e4c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b1580156127b157600080fd5b505afa1580156127c5573d6000803e3d6000fd5b505050506040513d60208110156127db57600080fd5b8101908080519060200190929190505050618055565b9050612806818361806e90919063ffffffff16565b92505050919050565b60008061281c8484615655565b9050600061282a8585616416565b905061283f8183617f4790919063ffffffff16565b9250505092915050565b600061285c8261285761655b565b6180b8565b9050919050565b600061286d6149c9565b6128df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600f54821415612957576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4d61782067726f75707320766f74656420666f72206e6f74206368616e67656481525060200191505060405180910390fd5b81600f819055507f1993a3864c31265ef86eec51d147eff697dee0466c92ac9abddcc4c4c6829348826040518082815260200191505060405180910390a160019050919050565b606060006129aa614035565b90506060816040519080825280602002602001820160405280156129dd5781602001602082028038833980820191505090505b50905060008090505b82811015612a58576129f781611cb7565b828281518110612a0357fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050612a51600182617f4790919063ffffffff16565b90506129e6565b50809250505090565b6060600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020018280548015612b2557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311612adb575b50505050509050919050565b60006060600060f473ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310612b865780518252602082019150602081019050602083039250612b63565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b60208310612bed5780518252602082019150602081019050602083039250612bca565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114612c4d576040519150601f19603f3d011682016040523d82523d6000602084013e612c52565b606091505b50809350819250505080612cb1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526038815260200180619f186038913960400191505060405180910390fd5b612cbc8260006180f0565b92505050919050565b60108060000154905081565b60006001806000828254019250508190555060006001549050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091886040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015612d7657600080fd5b505af4158015612d8a573d6000803e3d6000fd5b505050506040513d6020811015612da057600080fd5b8101908080519060200190929190505050612e23576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f7570206e6f7420656c696769626c65000000000000000000000000000081525060200191505060405180910390fd5b84600010612e99576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b612ea3868661685d565b612f15576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f47726f75702063616e6e6f74207265636569766520766f74657300000000000081525060200191505060405180910390fd5b6000612f1f6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612f9b57600080fd5b505afa158015612faf573d6000803e3d6000fd5b505050506040513d6020811015612fc557600080fd5b8101908080519060200190929190505050905060008090506000600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905060008090505b81805490508110156130bf5782806130a257508973ffffffffffffffffffffffffffffffffffffffff1682828154811061305f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b92506130b8600182617f4790919063ffffffff16565b9050613029565b50816131a657600f54818054905010613140576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74656420666f7220746f6f206d616e792067726f7570730000000000000081525060200191505060405180910390fd5b808990806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505b6131b189848a618181565b6131bd89898989618289565b6131c5617d51565b73ffffffffffffffffffffffffffffffffffffffff166318a4ff8c848a6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561324b57600080fd5b505af115801561325f573d6000803e3d6000fd5b505050508873ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fd3532f70444893db82221041edb4dc26c94593aeb364b0b14dfc77d5ee9051528a6040518082815260200191505060405180910390a3600194505050506001548114613346576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101549050919050565b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16858560405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b6020831061341a57805182526020820191506020810190506020830392506133f7565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461347a576040519150601f19603f3d011682016040523d82523d6000602084013e61347f565b606091505b508093508192505050806134de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061a03d6036913960400191505060405180910390fd5b6134e98260006174f3565b9250505092915050565b60006134fd6149c9565b61356f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61357882618481565b6010600082015181600001559050506135b761359261849f565b60106040518060200160405290816000820154815250506184c590919063ffffffff16565b61360c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180619eea602e913960400191505060405180910390fd5b7f9854be03126e38f9c318d8aabe1b150d09cb3a57059b21855b1e11d44e082c1a826040518082815260200191505060405180910390a160019050919050565b60006060600060f673ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b602083106136a1578051825260208201915060208101905060208303925061367e565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b6020831061370857805182526020820191506020810190506020830392506136e5565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114613768576040519150601f19603f3d011682016040523d82523d6000602084013e61376d565b606091505b508093508192505050806137cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a1d66023913960400191505060405180910390fd5b6137d78260006180f0565b92505050919050565b600080600090506060600360090160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806020026020016040519081016040528092919081815260200182805480156138ab57602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311613861575b5050505050905060008090505b815181101561390d576138f06138e18383815181106138d357fe5b60200260200101518761280f565b84617f4790919063ffffffff16565b9250613906600182617f4790919063ffffffff16565b90506138b8565b508192505050919050565b60006001806000828254019250508190555060006001549050600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156139d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b60006139de6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613a5a57600080fd5b505afa158015613a6e573d6000803e3d6000fd5b505050506040513d6020811015613a8457600080fd5b8101908080519060200190929190505050905086600010613b0d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b613b178882616416565b871115613b6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180619fa86023913960400191505060405180910390fd5b6000613b7c89838a6184da565b9050613b8a8989898961869e565b613b92617d51565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a5838a6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015613c1857600080fd5b505af1158015613c2c573d6000803e3d6000fd5b505050506000613c3c8a8461280f565b1415613c8f57613c8e600360090160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208a87618963565b5b8873ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88a84604051808381526020018281526020019250505060405180910390a36001935050506001548114613d79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b606080600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456369b317e390916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b158015613dde57600080fd5b505af4158015613df2573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506040811015613e1c57600080fd5b810190808051640100000000811115613e3457600080fd5b82810190506020810184811115613e4a57600080fd5b8151856020820283011164010000000082111715613e6757600080fd5b50509291906020018051640100000000811115613e8357600080fd5b82810190506020810184811115613e9957600080fd5b8151856020820283011164010000000082111715613eb657600080fd5b5050929190505050915091509091565b613ece6149c9565b613f40576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600061400a43616812565b905090565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1643604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106140a65780518252602082019150602081019050602083039250614083565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114614106576040519150601f19603f3d011682016040523d82523d6000602084013e61410b565b606091505b5080935081925050508061416a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603581526020018061a0086035913960400191505060405180910390fd5b6141758260006174f3565b9250505090565b60006060600060f773ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b602083106141d157805182526020820191506020810190506020830392506141ae565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106142385780518252602082019150602081019050602083039250614215565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114614298576040519150601f19603f3d011682016040523d82523d6000602084013e61429d565b606091505b508093508192505050806142fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603181526020018061a1536031913960400191505060405180910390fd5b6143078260006174f3565b92505050919050565b6000600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561439e57600080fd5b505af41580156143b2573d6000803e3d6000fd5b505050506040513d60208110156143c857600080fd5b81019080805190602001909291905050509050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600180600082825401925050819055506000600154905060405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156144f357600080fd5b505afa158015614507573d6000803e3d6000fd5b505050506040513d602081101561451d57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff16146145b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b60008a11614610576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a1af6027913960400191505060405180910390fd5b614618619da8565b6040518060400160405280600360090160008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806020026020016040519081016040528092919081815260200182805480156146e557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161469b575b505050505081526020018c81525090508060000151518a8a9050111580156147125750878790508a8a9050145b801561472357508585905088889050145b614778576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180619ec96021913960400191505060405180910390fd5b600081600001515190505b60008111156148af576148796148668e84600001516147ac600186618b0490919063ffffffff16565b815181106147b657fe5b602002602001015185602001518f8f6147d9600189618b0490919063ffffffff16565b8181106147e257fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168e8e61481560018a618b0490919063ffffffff16565b81811061481e57fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff168d8d61485160018b618b0490919063ffffffff16565b81811061485a57fe5b90506020020135618b4e565b8360200151618b0490919063ffffffff16565b826020018181525050600082602001511415614894576148af565b6148a8600182618b0490919063ffffffff16565b9050614783565b50600081602001511461492a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4661696c75726520746f2064656372656d656e7420616c6c20766f7465732e0081525060200191505060405180910390fd5b61494181602001518c618b0490919063ffffffff16565b9350505060015481146149bc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5098975050505050505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16614a0b618d62565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b60606000614a6b614a66614a41614a3c6154d2565b618d6a565b6010604051806020016040529081600082015481525050618df490919063ffffffff16565b619253565b90506000600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456342b6351a909184876040518463ffffffff1660e01b815260040180848152602001838152602001828152602001935050505060206040518083038186803b158015614ad757600080fd5b505af4158015614aeb573d6000803e3d6000fd5b505050506040513d6020811015614b0157600080fd5b810190808051906020019092919050505090506060600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563dcb2a4dd9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060006040518083038186803b158015614b7657600080fd5b505af4158015614b8a573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015614bb457600080fd5b810190808051640100000000811115614bcc57600080fd5b82810190506020810184811115614be257600080fd5b8151856020820283011164010000000082111715614bff57600080fd5b505092919050505090506060614c13617e4c565b73ffffffffffffffffffffffffffffffffffffffff166370447754836040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019060200280838360005b83811015614c81578082015181840152602081019050614c66565b505050509050019250505060006040518083038186803b158015614ca457600080fd5b505afa158015614cb8573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015614ce257600080fd5b810190808051640100000000811115614cfa57600080fd5b82810190506020810184811115614d1057600080fd5b8151856020820283011164010000000082111715614d2d57600080fd5b5050929190505050905060608251604051908082528060200260200182016040528015614d695781602001602082028038833980820191505090505b509050600080905060608451604051908082528060200260200182016040528015614da35781602001602082028038833980820191505090505b50905060608551604051908082528060200260200182016040528015614de357816020015b614dd0619dc2565b815260200190600190039081614dc85790505b50905060008090505b8651811015614f145780838281518110614e0257fe5b602002602001018181525050614ef0600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b390918a8581518110614e4157fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015614eb057600080fd5b505af4158015614ec4573d6000803e3d6000fd5b505050506040513d6020811015614eda57600080fd5b8101908080519060200190929190505050618d6a565b828281518110614efc57fe5b60200260200101819052508080600101915050614dec565b505b8983108015614f26575060008651115b1561516057600082600081518110614f3a57fe5b602002602001015190506000614f62838381518110614f5557fe5b6020026020010151619274565b1415614f6e5750615160565b848181518110614f7a57fe5b6020026020010151868281518110614f8e57fe5b602002602001015111614fc157614fa56000618481565b828281518110614fb157fe5b6020026020010181905250615150565b614fe86001868381518110614fd257fe5b6020026020010151617f4790919063ffffffff16565b858281518110614ff457fe5b602002602001018181525050615014600185617f4790919063ffffffff16565b9350615138615048615043600188858151811061502d57fe5b6020026020010151617f4790919063ffffffff16565b618d6a565b61512a600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b390918c878151811061507b57fe5b60200260200101516040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156150ea57600080fd5b505af41580156150fe573d6000803e3d6000fd5b505050506040513d602081101561511457600080fd5b8101908080519060200190929190505050618d6a565b61928290919063ffffffff16565b82828151811061514457fe5b60200260200101819052505b61515a83836193cb565b50614f16565b8a8310156151d6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4e6f7420656e6f75676820656c65637465642076616c696461746f727300000081525060200191505060405180910390fd5b6060836040519080825280602002602001820160405280156152075781602001602082028038833980820191505090505b5090506000935060008090505b875181101561541b576060615227617e4c565b73ffffffffffffffffffffffffffffffffffffffff16638dd31e398a848151811061524e57fe5b602002602001015189858151811061526257fe5b60200260200101516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060006040518083038186803b1580156152d157600080fd5b505afa1580156152e5573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561530f57600080fd5b81019080805164010000000081111561532757600080fd5b8281019050602081018481111561533d57600080fd5b815185602082028301116401000000008211171561535a57600080fd5b5050929190505050905060008090505b81518110156153fe5781818151811061537f57fe5b602002602001015184888151811061539357fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506153e1600188617f4790919063ffffffff16565b96506153f7600182617f4790919063ffffffff16565b905061536a565b5050615414600182617f4790919063ffffffff16565b9050615214565b5080995050505050505050505092915050565b6000600360020160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b6000600360000160010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b60006154f7600360000160000154600360020160000154617f4790919063ffffffff16565b905090565b600061550743612849565b905090565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061557d578051825260208201915060208101905060208303925061555a565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146155dd576040519150601f19603f3d011682016040523d82523d6000602084013e6155e2565b606091505b50809350819250505080615641576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180619e75602e913960400191505060405180910390fd5b61564c8260006174f3565b92505050919050565b6000600360000160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154905092915050565b60006001806000828254019250508190555060006001549050600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156157a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f47726f75702061646472657373207a65726f000000000000000000000000000081525060200191505060405180910390fd5b60006157ae6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561582a57600080fd5b505afa15801561583e573d6000803e3d6000fd5b505050506040513d602081101561585457600080fd5b81019080805190602001909291905050509050866000106158dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f566f74652076616c75652063616e6e6f74206265207a65726f0000000000000081525060200191505060405180910390fd5b6158e78882615655565b87111561593f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061a0e06024913960400191505060405180910390fd5b61594a8882896179e6565b6159568888888861869e565b61595e617d51565b73ffffffffffffffffffffffffffffffffffffffff16636edf77a582896040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156159e457600080fd5b505af11580156159f8573d6000803e3d6000fd5b505050506000615a08898361280f565b1415615a5b57615a5a600360090160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208986618963565b5b8773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe896040518082815260200191505060405180910390a360019250506001548114615b3c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b5095945050505050565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015615c1757600080fd5b505afa158015615c2b573d6000803e3d6000fd5b505050506040513d6020811015615c4157600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614615cdb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b6000615ce6856164af565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c26245632dedbbf09091878488886040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b158015615de457600080fd5b505af4158015615df8573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167f8f21dc7ff6f55d73e4fca52a4ef4fcc14fbda43ac338d24922519d51455d39c160405160405180910390a25050505050565b6000600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6060600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c26245633a72e80290916040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b158015615f3057600080fd5b505af4158015615f44573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f820116820180604052506020811015615f6e57600080fd5b810190808051640100000000811115615f8657600080fd5b82810190506020810184811115615f9c57600080fd5b8151856020820283011164010000000082111715615fb957600080fd5b5050929190505050905090565b60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001203373ffffffffffffffffffffffffffffffffffffffff16600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561609757600080fd5b505afa1580156160ab573d6000803e3d6000fd5b505050506040513d60208110156160c157600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff161461615b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6f6e6c79207265676973746572656420636f6e7472616374000000000000000081525060200191505060405180910390fd5b600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563281359299091846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060006040518083038186803b1580156161e757600080fd5b505af41580156161fb573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff167f5c8cd4e832f3a7d79f9208c2acf25a412143aa3f751cfd3728c42a0fea4921a860405160405180910390a25050565b61624e6149c9565b6162c0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415616363576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f43616e6e6f7420726567697374657220746865206e756c6c206164647265737381525060200191505060405180910390fd5b80600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f27fe5f0c1c3b1ed427cc63d0f05759ffdecf9aec9e18d31ef366fc8a6cb5dc3b60405160405180910390a250565b600f5481565b60006164116010604051806020016040529081600082015481525050619274565b905090565b60006164a783600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060020160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546193dd565b905092915050565b6000616554600360020160010160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154600360000160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617f4790919063ffffffff16565b9050919050565b60006060600060f873ffffffffffffffffffffffffffffffffffffffff166040516020016040516020818303038152906040526040518082805190602001908083835b602083106165c1578051825260208201915060208101905060208303925061659e565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114616621576040519150601f19603f3d011682016040523d82523d6000602084013e616626565b606091505b50809350819250505080616685576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061a0bb6025913960400191505060405180910390fd5b6166908260006174f3565b9250505090565b6000600180600082825401925050819055506000600154905060006166ba6178eb565b73ffffffffffffffffffffffffffffffffffffffff16636642d594336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561673657600080fd5b505afa15801561674a573d6000803e3d6000fd5b505050506040513d602081101561676057600080fd5b81019080805190602001909291905050509050600061677f8883616416565b905061678e8882898989613918565b935050506001548114616809576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f7265656e7472616e742063616c6c00000000000000000000000000000000000081525060200191505060405180910390fd5b50949350505050565b60006168566003616848600261683a600261682c8861550c565b617fcf90919063ffffffff16565b617f4790919063ffffffff16565b61806e90919063ffffffff16565b9050919050565b60008061687b8361686d866164af565b617f4790919063ffffffff16565b90506000616927616918600d60010154616893617e4c565b73ffffffffffffffffffffffffffffffffffffffff1663517f6d336040518163ffffffff1660e01b815260040160206040518083038186803b1580156168d857600080fd5b505afa1580156168ec573d6000803e3d6000fd5b505050506040513d602081101561690257600080fd5b8101908080519060200190929190505050618055565b83617fcf90919063ffffffff16565b90506000616a96616936617d51565b73ffffffffffffffffffffffffffffffffffffffff166330a61d596040518163ffffffff1660e01b815260040160206040518083038186803b15801561697b57600080fd5b505afa15801561698f573d6000803e3d6000fd5b505050506040513d60208110156169a557600080fd5b8101908080519060200190929190505050616a8860016169c3617e4c565b73ffffffffffffffffffffffffffffffffffffffff166339e618e88b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616a3f57600080fd5b505afa158015616a53573d6000803e3d6000fd5b505050506040513d6020811015616a6957600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b617fcf90919063ffffffff16565b905080821115935050505092915050565b60008060008714158015616abc575060008514155b616b2e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f612064656e6f6d696e61746f72206973207a65726f000000000000000000000081525060200191505060405180910390fd5b6000806000606060fc73ffffffffffffffffffffffffffffffffffffffff168c8c8c8c8c8c6040516020018087815260200186815260200185815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040526040518082805190602001908083835b60208310616bc85780518252602082019150602081019050602083039250616ba5565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114616c28576040519150601f19603f3d011682016040523d82523d6000602084013e616c2d565b606091505b50809250819350505081616c8c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061a0946027913960400191505060405180910390fd5b616c978160006174f3565b9350616ca48160206174f3565b925083839550955050505050965096945050505050565b600080616cc6617e4c565b90508073ffffffffffffffffffffffffffffffffffffffff1663c54c1cd4876040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616d4557600080fd5b505afa158015616d59573d6000803e3d6000fd5b505050506040513d6020811015616d6f57600080fd5b81019080805190602001909291905050501580616d955750600060036002016000015411155b15616da4576000915050616fed565b616dac619dd5565b616e06600360020160010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001546003600201600001546194f6565b9050616e10619dd5565b616ed38373ffffffffffffffffffffffffffffffffffffffff166376f7425d88886040518363ffffffff1660e01b815260040180806020018281038252848482818152602001925060200280828437600081840152601f19601f820116905080830192505050935050505060206040518083038186803b158015616e9357600080fd5b505afa158015616ea7573d6000803e3d6000fd5b505050506040513d6020811015616ebd57600080fd5b8101908080519060200190929190505050618481565b9050616edd619dd5565b616f9d8473ffffffffffffffffffffffffffffffffffffffff1663dba94fcd8b6040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015616f5d57600080fd5b505afa158015616f71573d6000803e3d6000fd5b505050506040513d6020811015616f8757600080fd5b8101908080519060200190929190505050618481565b9050616fe6616fe182616fd385616fc588616fb78f618d6a565b618df490919063ffffffff16565b618df490919063ffffffff16565b618df490919063ffffffff16565b619253565b9450505050505b949350505050565b616ffd6149c9565b61706f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61707881619538565b50565b60006170856149c9565b6170f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b82600010617150576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b81526020018061a184602b913960400191505060405180910390fd5b818311156171a9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180619e3a603b913960400191505060405180910390fd5b600d60000154831415806171c25750600d600101548214155b617234576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f456c65637461626c652076616c696461746f7273206e6f74206368616e67656481525060200191505060405180910390fd5b604051806040016040528084815260200183815250600d60008201518160000155602082015181600101559050507fb3ae64819ff89f6136eb58b8563cb32c6550f17eaf97f9ecc32f23783229f6de8383604051808381526020018281526020019250505060405180910390a16001905092915050565b600260009054906101000a900460ff161561732e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f636f6e747261637420616c726561647920696e697469616c697a65640000000081525060200191505060405180910390fd5b6001600260006101000a81548160ff02191690831515021790555061735233619538565b61735b85616246565b617365848461707b565b5061736f82612863565b50617379816134f3565b505050505050565b600d8060000154908060010154905082565b600080600d60000154600d60010154915091509091565b60006060600060f573ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061741b57805182526020820191506020810190506020830392506173f8565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461747b576040519150601f19603f3d011682016040523d82523d6000602084013e617480565b606091505b508093508192505050806174df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061a127602c913960400191505060405180910390fd5b6174ea8260006180f0565b92505050919050565b60006174ff83836180f0565b60001c905092915050565b600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561759657600080fd5b505af41580156175aa573d6000803e3d6000fd5b505050506040513d60208110156175c057600080fd5b8101908080519060200190929190505050156177c95760006176b184600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561766857600080fd5b505af415801561767c573d6000803e3d6000fd5b505050506040513d602081101561769257600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b1580156177af57600080fd5b505af41580156177c3573d6000803e3d6000fd5b50505050505b61782483600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154617f4790919063ffffffff16565b600360020160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000018190555061788b83600360020160000154617f4790919063ffffffff16565b6003600201600001819055508373ffffffffffffffffffffffffffffffffffffffff167f91ba34d62474c14d6c623cd322f4256666c7a45b7fdaa3378e009d39dfcec2a7846040518082815260200191505060405180910390a250505050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4163636f756e74730000000000000000000000000000000000000000000000008152506008019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156179a657600080fd5b505afa1580156179ba573d6000803e3d6000fd5b505050506040513d60208110156179d057600080fd5b8101908080519060200190929190505050905090565b600060036000019050617a06828260000154618b0490919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617a6a838260000154618b0490919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617ace848260000154618b0490919063ffffffff16565b8160000181905550600081600001541415617aee57600081600101819055505b505050505050565b60008060036002019050617b17838260000154617f4790919063ffffffff16565b81600001819055506000617b2b868561967c565b905060008260010160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050617b89858260000154617f4790919063ffffffff16565b8160000181905550617ba8828260010154617f4790919063ffffffff16565b8160010181905550617c04828260020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054617f4790919063ffffffff16565b8160020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508193505050509392505050565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f467265657a6572000000000000000000000000000000000000000000000000008152506007019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015617d1157600080fd5b505afa158015617d25573d6000803e3d6000fd5b505050506040513d6020811015617d3b57600080fd5b8101908080519060200190929190505050905090565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f4c6f636b6564476f6c6400000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015617e0c57600080fd5b505afa158015617e20573d6000803e3d6000fd5b505050506040513d6020811015617e3657600080fd5b8101908080519060200190929190505050905090565b6000600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dcf0aaed60405160200180807f56616c696461746f727300000000000000000000000000000000000000000000815250600a019050604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015617f0757600080fd5b505afa158015617f1b573d6000803e3d6000fd5b505050506040513d6020811015617f3157600080fd5b8101908080519060200190929190505050905090565b600080828401905083811015617fc5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080831415617fe2576000905061804f565b6000828402905082848281617ff357fe5b041461804a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061a0736021913960400191505060405180910390fd5b809150505b92915050565b60008183106180645781618066565b825b905092915050565b60006180b083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506197af565b905092915050565b6000808284816180c457fe5b04905060008385816180d257fe5b0614156180e257809150506180ea565b600181019150505b92915050565b6000602082018351101561816c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736c6963696e67206f7574206f662072616e676500000000000000000000000081525060200191505060405180910390fd5b60006020830184015190508091505092915050565b6000600360000190506181a1828260000154617f4790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618205838260000154617f4790919063ffffffff16565b816000018190555060008160010160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050618269848260000154617f4790919063ffffffff16565b81600001819055506182796154fc565b8160010181905550505050505050565b600061836484600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561831b57600080fd5b505af415801561832f573d6000803e3d6000fd5b505050506040513d602081101561834557600080fd5b8101908080519060200190929190505050617f4790919063ffffffff16565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561846257600080fd5b505af4158015618476573d6000803e3d6000fd5b505050505050505050565b618489619dd5565b6040518060200160405280838152509050919050565b6184a7619dd5565b604051806020016040528069d3c21bcecceda1000000815250905090565b60008160000151836000015110905092915050565b600080600360020190506184fb838260000154618b0490919063ffffffff16565b8160000181905550600080905060006185148787616416565b905060008360010160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050858214156185ac578060020160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205492506185b9565b6185b6888761967c565b92505b6185d0868260000154618b0490919063ffffffff16565b81600001819055506185ef838260010154618b0490919063ffffffff16565b816001018190555061864b838260020160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054618b0490919063ffffffff16565b8160020160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550829450505050509392505050565b600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c262456302f130289091866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561872a57600080fd5b505af415801561873e573d6000803e3d6000fd5b505050506040513d602081101561875457600080fd5b81019080805190602001909291905050501561895d57600061884584600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563e0fe44b39091896040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156187fc57600080fd5b505af4158015618810573d6000803e3d6000fd5b505050506040513d602081101561882657600080fd5b8101908080519060200190929190505050618b0490919063ffffffff16565b9050600360040160000173b325a8e12344953e8b8b1afbf1d5580d36c2624563cab455ae9091878487876040518663ffffffff1660e01b8152600401808681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019550505050505060006040518083038186803b15801561894357600080fd5b505af4158015618957573d6000803e3d6000fd5b50505050505b50505050565b8280549050811080156189d757508173ffffffffffffffffffffffffffffffffffffffff1683828154811061899457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b618a49576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f42616420696e646578000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000618a6360018580549050618b0490919063ffffffff16565b9050838181548110618a7157fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16848381548110618aa857fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808481618afd9190619de8565b5050505050565b6000618b4683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250619875565b905092915050565b6000808590506000618b60888a615655565b90506000811115618c00576000618b778383618055565b9050618b84898b836179e6565b8873ffffffffffffffffffffffffffffffffffffffff168a73ffffffffffffffffffffffffffffffffffffffff167f148075455e24d5cf538793db3e917a157cbadac69dd6a304186daf11b23f76fe836040518082815260200191505060405180910390a3618bfc8184618b0490919063ffffffff16565b9250505b6000618c0c898b616416565b9050600081118015618c1e5750600083115b15618cc5576000618c2f8483618055565b90506000618c3e8b8d846184da565b90508a73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff167fae7458f8697a680da6be36406ea0b8f40164915ac9cc40c0dad05a2ff6e8c6a88484604051808381526020018281526020019250505060405180910390a3618cc08286618b0490919063ffffffff16565b945050505b6000618cda848a618b0490919063ffffffff16565b90506000811115618d5157618cf18a828a8a61869e565b6000618cfd8b8d61280f565b1415618d5057618d4f600360090160008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208b88618963565b5b5b809450505050509695505050505050565b600033905090565b618d72619dd5565b618d7a619935565b821115618dd2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180619f726036913960400191505060405180910390fd5b604051806020016040528069d3c21bcecceda100000084028152509050919050565b618dfc619dd5565b600083600001511480618e13575060008260000151145b15618e2f5760405180602001604052806000815250905061924d565b69d3c21bcecceda100000082600001511415618e4d5782905061924d565b69d3c21bcecceda100000083600001511415618e6b5781905061924d565b600069d3c21bcecceda1000000618e8185619954565b6000015181618e8c57fe5b0490506000618e9a8561998b565b600001519050600069d3c21bcecceda1000000618eb686619954565b6000015181618ec157fe5b0490506000618ecf8661998b565b6000015190506000828502905060008514618f635782858281618eee57fe5b0414618f62576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b600069d3c21bcecceda100000082029050600082146190055769d3c21bcecceda1000000828281618f9057fe5b0414619004576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f6f766572666c6f772078317931202a206669786564312064657465637465640081525060200191505060405180910390fd5b5b8091506000848602905060008614619096578486828161902157fe5b0414619095576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279312064657465637465640000000000000000000081525060200191505060405180910390fd5b5b600084880290506000881461912457848882816190af57fe5b0414619123576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783179322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b61912c6199c8565b878161913457fe5b04965061913f6199c8565b858161914757fe5b04945060008588029050600088146191d8578588828161916357fe5b04146191d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6f766572666c6f7720783279322064657465637465640000000000000000000081525060200191505060405180910390fd5b5b6191e0619dd5565b6040518060200160405280878152509050619209816040518060200160405280878152506199d5565b9050619223816040518060200160405280868152506199d5565b905061923d816040518060200160405280858152506199d5565b9050809a50505050505050505050505b92915050565b600069d3c21bcecceda100000082600001518161926c57fe5b049050919050565b600081600001519050919050565b61928a619dd5565b600082600001511415619305576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f63616e277420646976696465206279203000000000000000000000000000000081525060200191505060405180910390fd5b600069d3c21bcecceda10000008460000151029050836000015169d3c21bcecceda1000000828161933257fe5b04146193a6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f6f766572666c6f7720617420646976696465000000000000000000000000000081525060200191505060405180910390fd5b6040518060200160405280846000015183816193be57fe5b0481525091505092915050565b6193d9828260008551619a7e565b5050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154141561943857600090506194f0565b6194ed600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101546194df600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015485617fcf90919063ffffffff16565b61806e90919063ffffffff16565b90505b92915050565b6194fe619dd5565b619506619dd5565b61950f84618d6a565b9050619519619dd5565b61952284618d6a565b905061952e8282619282565b9250505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156195be576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180619ea36026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015414156196f1576196ea68056bc75e2d6310000083617fcf90919063ffffffff16565b90506197a9565b6197a6600360020160010160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154619798600360020160010160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015485617fcf90919063ffffffff16565b61806e90919063ffffffff16565b90505b92915050565b6000808311829061985b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015619820578082015181840152602081019050619805565b50505050905090810190601f16801561984d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161986757fe5b049050809150509392505050565b6000838311158290619922576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156198e75780820151818401526020810190506198cc565b50505050905090810190601f1680156199145780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60007601357c299a88ea76a58924d52ce4f26a85af186c2b9e74905090565b61995c619dd5565b604051806020016040528069d3c21bcecceda10000008085600001518161997f57fe5b04028152509050919050565b619993619dd5565b604051806020016040528069d3c21bcecceda1000000808560000151816199b657fe5b04028460000151038152509050919050565b600064e8d4a51000905090565b6199dd619dd5565b6000826000015184600001510190508360000151811015619a66576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616464206f766572666c6f77206465746563746564000000000000000000000081525060200191505060405180910390fd5b60405180602001604052808281525091505092915050565b8251845114619ad8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061a1046023913960400191505060405180910390fd5b83518210619b4e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f6865617020737461727420696e646578206f7574206f662072616e676500000081525060200191505060405180910390fd5b8351811115619bc5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f68656170206c656e677468206f7574206f662072616e6765000000000000000081525060200191505060405180910390fd5b60008290505b600115619d8c576000619bfb6001619bed600285617fcf90919063ffffffff16565b617f4790919063ffffffff16565b90506000619c266002619c18600286617fcf90919063ffffffff16565b617f4790919063ffffffff16565b905060008390508483108015619c975750619c9687898381518110619c4757fe5b602002602001015181518110619c5957fe5b6020026020010151888a8681518110619c6e57fe5b602002602001015181518110619c8057fe5b6020026020010151619d9390919063ffffffff16565b5b15619ca0578290505b8482108015619d0a5750619d0987898381518110619cba57fe5b602002602001015181518110619ccc57fe5b6020026020010151888a8581518110619ce157fe5b602002602001015181518110619cf357fe5b6020026020010151619d9390919063ffffffff16565b5b15619d13578190505b83811415619d2357505050619d8c565b6000888581518110619d3157fe5b60200260200101519050888281518110619d4757fe5b6020026020010151898681518110619d5b57fe5b60200260200101818152505080898381518110619d7457fe5b60200260200101818152505081945050505050619bcb565b5050505050565b60008160000151836000015111905092915050565b604051806040016040528060608152602001600081525090565b6040518060200160405280600081525090565b6040518060200160405280600081525090565b815481835581811115619e0f57818360005260206000209182019101619e0e9190619e14565b5b505050565b619e3691905b80821115619e32576000816000905550600101619e1a565b5090565b9056fe4d6178696d756d20656c65637461626c652076616c696461746f72732063616e6e6f7420626520736d616c6c6572207468616e206d696e696d756d6572726f722063616c6c696e67206e756d62657256616c696461746f7273496e53657420707265636f6d70696c654f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373496e707574206c656e67746873206d75737420626520636f72726573706f6e642e456c6563746162696c697479207468726573686f6c64206d757374206265206c6f776572207468616e20313030256572726f722063616c6c696e672067657456657269666965645365616c4269746d617046726f6d48656164657220707265636f6d70696c6563616e27742063616c6c207768656e20636f6e74726163742069732066726f7a656e63616e277420637265617465206669786964697479206e756d626572206c6172676572207468616e206d61784e657746697865642829566f74652076616c7565206c6172676572207468616e2061637469766520766f7465736572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e67206e756d62657256616c696461746f7273496e43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d53657420707265636f6d70696c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f776572726f722063616c6c696e67206672616374696f6e4d756c45787020707265636f6d70696c656572726f722063616c6c696e672067657445706f636853697a6520707265636f6d70696c65566f74652076616c7565206c6172676572207468616e2070656e64696e6720766f7465736b657920616e642076616c7565206172726179206c656e677468206d69736d617463686572726f722063616c6c696e6720676574506172656e745365616c4269746d617020707265636f6d70696c656572726f722063616c6c696e6720676574426c6f636b4e756d62657246726f6d48656164657220707265636f6d70696c654d696e696d756d20656c65637461626c652076616c696461746f72732063616e6e6f74206265207a65726f44656372656d656e742076616c7565206d7573742062652067726561746572207468616e20302e6572726f722063616c6c696e67206861736848656164657220707265636f6d70696c65a165627a7a7230582004f07d0053e07028ea9b7caf6d18dd0ff77a05ebf348203513c09e62f00bfef50029
External libraries
AddressSortedLinkedList : 0xB325A8E12344953E8b8B1AfbF1D5580d36c26245