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