Address Details
contract

0xE43ea9C641a2af9959CaEEe54aDB089F65457028

Creator
0xf3eb91–a79239 at 0x72c557–414ed9
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
28615720
This contract has been partially verified via Sourcify. View contract in Sourcify repository
Contract name:
Random




Optimization enabled
false
Compiler version
v0.5.13+commit.5b0b510c




EVM Version
istanbul




Verified at
2021-11-04T04:14:09.088862Z

/home/eruiz/Projects/celo/celo-monorepo/packages/protocol/contracts/identity/Random.sol

pragma solidity ^0.5.13;

import "./interfaces/IRandom.sol";
import "openzeppelin-solidity/contracts/math/SafeMath.sol";
import "openzeppelin-solidity/contracts/ownership/Ownable.sol";

import "../common/CalledByVm.sol";
import "../common/Initializable.sol";
import "../common/UsingPrecompiles.sol";
import "../common/interfaces/ICeloVersionedContract.sol";

/**
 * @title Provides randomness for verifier selection
 */
contract Random is
  IRandom,
  ICeloVersionedContract,
  Ownable,
  Initializable,
  UsingPrecompiles,
  CalledByVm
{
  using SafeMath for uint256;

  /* Stores most recent commitment per address */
  mapping(address => bytes32) public commitments;

  uint256 public randomnessBlockRetentionWindow;

  mapping(uint256 => bytes32) private history;
  uint256 private historyFirst;
  uint256 private historySize;
  uint256 private lastEpochBlock;

  event RandomnessBlockRetentionWindowSet(uint256 value);

  /**
  * @notice Returns the storage, major, minor, and patch version of the contract.
  * @return The storage, major, minor, and patch version of the contract.
  */
  function getVersionNumber() external pure returns (uint256, uint256, uint256, uint256) {
    return (1, 1, 1, 0);
  }

  /**
   * @notice Sets initialized == true on implementation contracts
   * @param test Set to true to skip implementation initialization
   */
  constructor(bool test) public Initializable(test) {}

  /**
   * @notice Used in place of the constructor to allow the contract to be upgradable via proxy.
   * @param _randomnessBlockRetentionWindow Number of old random blocks whose randomness
   * values can be queried.
   */
  function initialize(uint256 _randomnessBlockRetentionWindow) external initializer {
    _transferOwnership(msg.sender);
    setRandomnessBlockRetentionWindow(_randomnessBlockRetentionWindow);
  }

  /**
   * @notice Sets the number of old random blocks whose randomness values can be queried.
   * @param value Number of old random blocks whose randomness values can be queried.
   */
  function setRandomnessBlockRetentionWindow(uint256 value) public onlyOwner {
    require(value > 0, "randomnessBlockRetetionWindow cannot be zero");
    randomnessBlockRetentionWindow = value;
    emit RandomnessBlockRetentionWindowSet(value);
  }

  /**
   * @notice Implements step of the randomness protocol.
   * @param randomness Bytes that will be added to the entropy pool.
   * @param newCommitment The hash of randomness that will be revealed in the future.
   * @param proposer Address of the block proposer.
   * @dev If the Random contract is pointed to by the Registry, the first transaction in a block
   * should be a special transaction to address 0x0 with 64 bytes of data - the concatenated
   * `randomness` and `newCommitment`. Before running regular transactions, this function should be
   * called.
   */
  function revealAndCommit(bytes32 randomness, bytes32 newCommitment, address proposer)
    external
    onlyVm
  {
    _revealAndCommit(randomness, newCommitment, proposer);
  }

  /**
   * @notice Implements step of the randomness protocol.
   * @param randomness Bytes that will be added to the entropy pool.
   * @param newCommitment The hash of randomness that will be revealed in the future.
   * @param proposer Address of the block proposer.
   */
  function _revealAndCommit(bytes32 randomness, bytes32 newCommitment, address proposer) internal {
    require(newCommitment != computeCommitment(0), "cannot commit zero randomness");

    // ensure revealed randomness matches previous commitment
    if (commitments[proposer] != 0) {
      require(randomness != 0, "randomness cannot be zero if there is a previous commitment");
      bytes32 expectedCommitment = computeCommitment(randomness);
      require(
        expectedCommitment == commitments[proposer],
        "commitment didn't match the posted randomness"
      );
    } else {
      require(randomness == 0, "randomness should be zero if there is no previous commitment");
    }

    // add entropy
    uint256 blockNumber = block.number == 0 ? 0 : block.number.sub(1);
    addRandomness(block.number, keccak256(abi.encodePacked(history[blockNumber], randomness)));

    commitments[proposer] = newCommitment;
  }

  /**
   * @notice Add a value to the randomness history.
   * @param blockNumber Current block number.
   * @param randomness The new randomness added to history.
   * @dev The calls to this function should be made so that on the next call, blockNumber will
   * be the previous one, incremented by one.
   */
  function addRandomness(uint256 blockNumber, bytes32 randomness) internal {
    history[blockNumber] = randomness;
    if (blockNumber % getEpochSize() == 0) {
      if (lastEpochBlock < historyFirst) {
        delete history[lastEpochBlock];
      }
      lastEpochBlock = blockNumber;
    } else {
      if (historySize == 0) {
        historyFirst = blockNumber;
        historySize = 1;
      } else if (historySize > randomnessBlockRetentionWindow) {
        deleteHistoryIfNotLastEpochBlock(historyFirst);
        deleteHistoryIfNotLastEpochBlock(historyFirst.add(1));
        historyFirst = historyFirst.add(2);
        historySize = historySize.sub(1);
      } else if (historySize == randomnessBlockRetentionWindow) {
        deleteHistoryIfNotLastEpochBlock(historyFirst);
        historyFirst = historyFirst.add(1);
      } else {
        // historySize < randomnessBlockRetentionWindow
        historySize = historySize.add(1);
      }
    }
  }

  /**
   * @notice Compute the commitment hash for a given randomness value.
   * @param randomness The value for which the commitment hash is computed.
   * @return Commitment parameter.
   */
  function computeCommitment(bytes32 randomness) public pure returns (bytes32) {
    return keccak256(abi.encodePacked(randomness));
  }

  /**
   * @notice Querying the current randomness value.
   * @return Returns the current randomness value.
   */
  function random() external view returns (bytes32) {
    return _getBlockRandomness(block.number, block.number);
  }

  /**
   * @notice Get randomness values of previous blocks.
   * @param blockNumber The number of block whose randomness value we want to know.
   * @return The associated randomness value.
   */
  function getBlockRandomness(uint256 blockNumber) external view returns (bytes32) {
    return _getBlockRandomness(blockNumber, block.number);
  }

  /**
   * @notice Get randomness values of previous blocks.
   * @param blockNumber The number of block whose randomness value we want to know.
   * @param cur Number of the current block.
   * @return The associated randomness value.
   */
  function _getBlockRandomness(uint256 blockNumber, uint256 cur) internal view returns (bytes32) {
    require(blockNumber <= cur, "Cannot query randomness of future blocks");
    require(
      blockNumber == lastEpochBlock ||
        (blockNumber > cur.sub(historySize) &&
          (randomnessBlockRetentionWindow >= cur ||
            blockNumber > cur.sub(randomnessBlockRetentionWindow))),
      "Cannot query randomness older than the stored history"
    );
    return history[blockNumber];
  }

  function deleteHistoryIfNotLastEpochBlock(uint256 blockNumber) internal {
    if (blockNumber != lastEpochBlock) {
      delete history[blockNumber];
    }
  }
}

Contract ABI

[{"type":"constructor","stateMutability":"nonpayable","payable":false,"inputs":[{"type":"bool","name":"test","internalType":"bool"}]},{"type":"event","name":"OwnershipTransferred","inputs":[{"type":"address","name":"previousOwner","internalType":"address","indexed":true},{"type":"address","name":"newOwner","internalType":"address","indexed":true}],"anonymous":false},{"type":"event","name":"RandomnessBlockRetentionWindowSet","inputs":[{"type":"uint256","name":"value","internalType":"uint256","indexed":false}],"anonymous":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":"","internalType":"bool"}],"name":"checkProofOfPossession","inputs":[{"type":"address","name":"sender","internalType":"address"},{"type":"bytes","name":"blsKey","internalType":"bytes"},{"type":"bytes","name":"blsPop","internalType":"bytes"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"commitments","inputs":[{"type":"address","name":"","internalType":"address"}],"constant":true},{"type":"function","stateMutability":"pure","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"computeCommitment","inputs":[{"type":"bytes32","name":"randomness","internalType":"bytes32"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"},{"type":"uint256","name":"","internalType":"uint256"}],"name":"fractionMulExp","inputs":[{"type":"uint256","name":"aNumerator","internalType":"uint256"},{"type":"uint256","name":"aDenominator","internalType":"uint256"},{"type":"uint256","name":"bNumerator","internalType":"uint256"},{"type":"uint256","name":"bDenominator","internalType":"uint256"},{"type":"uint256","name":"exponent","internalType":"uint256"},{"type":"uint256","name":"_decimals","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"getBlockNumberFromHeader","inputs":[{"type":"bytes","name":"header","internalType":"bytes"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"getBlockRandomness","inputs":[{"type":"uint256","name":"blockNumber","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"getEpochNumber","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"getEpochNumberOfBlock","inputs":[{"type":"uint256","name":"blockNumber","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"getEpochSize","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"getParentSealBitmap","inputs":[{"type":"uint256","name":"blockNumber","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"getVerifiedSealBitmapFromHeader","inputs":[{"type":"bytes","name":"header","internalType":"bytes"}],"constant":true},{"type":"function","stateMutability":"pure","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"},{"type":"uint256","name":"","internalType":"uint256"},{"type":"uint256","name":"","internalType":"uint256"},{"type":"uint256","name":"","internalType":"uint256"}],"name":"getVersionNumber","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"hashHeader","inputs":[{"type":"bytes","name":"header","internalType":"bytes"}],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"initialize","inputs":[{"type":"uint256","name":"_randomnessBlockRetentionWindow","internalType":"uint256"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":"","internalType":"bool"}],"name":"initialized","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bool","name":"","internalType":"bool"}],"name":"isOwner","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"minQuorumSize","inputs":[{"type":"uint256","name":"blockNumber","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"minQuorumSizeInCurrentSet","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"numberValidatorsInCurrentSet","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"numberValidatorsInSet","inputs":[{"type":"uint256","name":"blockNumber","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":"","internalType":"address"}],"name":"owner","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"bytes32","name":"","internalType":"bytes32"}],"name":"random","inputs":[],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"uint256","name":"","internalType":"uint256"}],"name":"randomnessBlockRetentionWindow","inputs":[],"constant":true},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"renounceOwnership","inputs":[],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"revealAndCommit","inputs":[{"type":"bytes32","name":"randomness","internalType":"bytes32"},{"type":"bytes32","name":"newCommitment","internalType":"bytes32"},{"type":"address","name":"proposer","internalType":"address"}],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"setRandomnessBlockRetentionWindow","inputs":[{"type":"uint256","name":"value","internalType":"uint256"}],"constant":false},{"type":"function","stateMutability":"nonpayable","payable":false,"outputs":[],"name":"transferOwnership","inputs":[{"type":"address","name":"newOwner","internalType":"address"}],"constant":false},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":"","internalType":"address"}],"name":"validatorSignerAddressFromCurrentSet","inputs":[{"type":"uint256","name":"index","internalType":"uint256"}],"constant":true},{"type":"function","stateMutability":"view","payable":false,"outputs":[{"type":"address","name":"","internalType":"address"}],"name":"validatorSignerAddressFromSet","inputs":[{"type":"uint256","name":"index","internalType":"uint256"},{"type":"uint256","name":"blockNumber","internalType":"uint256"}],"constant":true}]

Contract Creation Code

Verify & Publish 
0x608060405260006100146100b760201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506100bf565b600033905090565b613026806100ce6000396000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c80638da5cb5b11610104578063e45def95116100a2578063f2fde38b11610071578063f2fde38b14610a91578063fae8db0a14610ad5578063fc48472614610b17578063fe4b84df14610b59576101cf565b8063e45def951461095e578063e50e652d1461097c578063e8fcf723146109be578063ec68307214610a16576101cf565b80639a7b3be7116100de5780639a7b3be71461089e5780639b2b592f146108bc578063c387742b146108fe578063df4da46114610940576101cf565b80638da5cb5b146108045780638f32d59b1461084e57806392e5d98f14610870576101cf565b80635ec01e4d116101715780637385e5da1161014b5780637385e5da146106a157806375832efc146106bf57806387ee8a0f146107175780638a88362614610735576101cf565b80635ec01e4d146105aa57806367960e91146105c8578063715018a614610697576101cf565b80633b1eb4bf116101ad5780633b1eb4bf146103ee5780634b2c2f441461043057806354255be0146104ff5780635d180adb14610532576101cf565b8063123633ea146101d4578063158ef93e1461024257806323f0ab6514610264575b600080fd5b610200600480360360208110156101ea57600080fd5b8101908080359060200190929190505050610b87565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61024a610cd8565b604051808215151515815260200191505060405180910390f35b6103d46004803603606081101561027a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156102b757600080fd5b8201836020820111156102c957600080fd5b803590602001918460018302840111640100000000831117156102eb57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561034e57600080fd5b82018360208201111561036057600080fd5b8035906020019184600183028401116401000000008311171561038257600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610ceb565b604051808215151515815260200191505060405180910390f35b61041a6004803603602081101561040457600080fd5b8101908080359060200190929190505050610ea4565b6040518082815260200191505060405180910390f35b6104e96004803603602081101561044657600080fd5b810190808035906020019064010000000081111561046357600080fd5b82018360208201111561047557600080fd5b8035906020019184600183028401116401000000008311171561049757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610ebe565b6040518082815260200191505060405180910390f35b610507611052565b6040518085815260200184815260200183815260200182815260200194505050505060405180910390f35b6105686004803603604081101561054857600080fd5b810190808035906020019092919080359060200190929190505050611079565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105b26111cb565b6040518082815260200191505060405180910390f35b610681600480360360208110156105de57600080fd5b81019080803590602001906401000000008111156105fb57600080fd5b82018360208201111561060d57600080fd5b8035906020019184600183028401116401000000008311171561062f57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506111dc565b6040518082815260200191505060405180910390f35b61069f611370565b005b6106a96114a9565b6040518082815260200191505060405180910390f35b610715600480360360608110156106d557600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114b9565b005b61071f61156b565b6040518082815260200191505060405180910390f35b6107ee6004803603602081101561074b57600080fd5b810190808035906020019064010000000081111561076857600080fd5b82018360208201111561077a57600080fd5b8035906020019184600183028401116401000000008311171561079c57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506116b2565b6040518082815260200191505060405180910390f35b61080c611846565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61085661186f565b604051808215151515815260200191505060405180910390f35b61089c6004803603602081101561088657600080fd5b81019080803590602001909291905050506118cd565b005b6108a66119e1565b6040518082815260200191505060405180910390f35b6108e8600480360360208110156108d257600080fd5b81019080803590602001909291905050506119f1565b6040518082815260200191505060405180910390f35b61092a6004803603602081101561091457600080fd5b8101908080359060200190929190505050611b3a565b6040518082815260200191505060405180910390f35b610948611b6a565b6040518082815260200191505060405180910390f35b610966611ca6565b6040518082815260200191505060405180910390f35b6109a86004803603602081101561099257600080fd5b8101908080359060200190929190505050611cac565b6040518082815260200191505060405180910390f35b610a00600480360360208110156109d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cf7565b6040518082815260200191505060405180910390f35b610a74600480360360c0811015610a2c57600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190505050611d0f565b604051808381526020018281526020019250505060405180910390f35b610ad360048036036020811015610aa757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f23565b005b610b0160048036036020811015610aeb57600080fd5b8101908080359060200190929190505050611fa9565b6040518082815260200191505060405180910390f35b610b4360048036036020811015610b2d57600080fd5b81019080803590602001909291905050506120f2565b6040518082815260200191505060405180910390f35b610b8560048036036020811015610b6f57600080fd5b8101908080359060200190929190505050612105565b005b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16844360405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310610c005780518252602082019150602081019050602083039250610bdd565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610c60576040519150601f19603f3d011682016040523d82523d6000602084013e610c65565b606091505b50809350819250505080610cc4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180612dc5603d913960400191505060405180910390fd5b610ccf8260006121b8565b92505050919050565b600060149054906101000a900460ff1681565b60008060fb73ffffffffffffffffffffffffffffffffffffffff16858585604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140183805190602001908083835b60208310610d745780518252602082019150602081019050602083039250610d51565b6001836020036101000a03801982511681845116808217855250505050505090500182805190602001908083835b60208310610dc55780518252602082019150602081019050602083039250610da2565b6001836020036101000a03801982511681845116808217855250505050505090500193505050506040516020818303038152906040526040518082805190602001908083835b60208310610e2e5780518252602082019150602081019050602083039250610e0b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610e8e576040519150601f19603f3d011682016040523d82523d6000602084013e610e93565b606091505b505080915050809150509392505050565b6000610eb782610eb2611b6a565b6121cf565b9050919050565b60006060600060f473ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310610f135780518252602082019150602081019050602083039250610ef0565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b60208310610f7a5780518252602082019150602081019050602083039250610f57565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610fda576040519150601f19603f3d011682016040523d82523d6000602084013e610fdf565b606091505b5080935081925050508061103e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526038815260200180612d8d6038913960400191505060405180910390fd5b611049826000612217565b92505050919050565b60008060008060018060016000839350829250819150809050935093509350935090919293565b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16858560405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b602083106110f257805182526020820191506020810190506020830392506110cf565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611152576040519150601f19603f3d011682016040523d82523d6000602084013e611157565b606091505b508093508192505050806111b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180612e376036913960400191505060405180910390fd5b6111c18260006121b8565b9250505092915050565b60006111d743436122b8565b905090565b60006060600060f673ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310611231578051825260208201915060208101905060208303925061120e565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106112985780518252602082019150602081019050602083039250611275565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146112f8576040519150601f19603f3d011682016040523d82523d6000602084013e6112fd565b606091505b5080935081925050508061135c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612f9a6023913960400191505060405180910390fd5b611367826000612217565b92505050919050565b61137861186f565b6113ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60006114b443611cac565b905090565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461155b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4f6e6c7920564d2063616e2063616c6c0000000000000000000000000000000081525060200191505060405180910390fd5b6115668383836123d3565b505050565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1643604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106115dc57805182526020820191506020810190506020830392506115b9565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461163c576040519150601f19603f3d011682016040523d82523d6000602084013e611641565b606091505b508093508192505050806116a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180612e026035913960400191505060405180910390fd5b6116ab8260006121b8565b9250505090565b60006060600060f773ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b6020831061170757805182526020820191506020810190506020830392506116e4565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b6020831061176e578051825260208201915060208101905060208303925061174b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146117ce576040519150601f19603f3d011682016040523d82523d6000602084013e6117d3565b606091505b50809350819250505080611832576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526031815260200180612f696031913960400191505060405180910390fd5b61183d8260006121b8565b92505050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166118b16126bb565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b6118d561186f565b611947576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600081116119a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180612d34602c913960400191505060405180910390fd5b806002819055507f337b24e614d34558109f3dee80fbcb3c5a4b08a6611bee45581772f64d1681e5816040518082815260200191505060405180910390a150565b60006119ec43610ea4565b905090565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310611a625780518252602082019150602081019050602083039250611a3f565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611ac2576040519150601f19603f3d011682016040523d82523d6000602084013e611ac7565b606091505b50809350819250505080611b26576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612ce0602e913960400191505060405180910390fd5b611b318260006121b8565b92505050919050565b60008160405160200180828152602001915050604051602081830303815290604052805190602001209050919050565b60006060600060f873ffffffffffffffffffffffffffffffffffffffff166040516020016040516020818303038152906040526040518082805190602001908083835b60208310611bd05780518252602082019150602081019050602083039250611bad565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611c30576040519150601f19603f3d011682016040523d82523d6000602084013e611c35565b606091505b50809350819250505080611c94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612edd6025913960400191505060405180910390fd5b611c9f8260006121b8565b9250505090565b60025481565b6000611cf06003611ce26002611cd46002611cc6886119f1565b6126c390919063ffffffff16565b61274990919063ffffffff16565b6127d190919063ffffffff16565b9050919050565b60016020528060005260406000206000915090505481565b60008060008714158015611d24575060008514155b611d96576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f612064656e6f6d696e61746f72206973207a65726f000000000000000000000081525060200191505060405180910390fd5b6000806000606060fc73ffffffffffffffffffffffffffffffffffffffff168c8c8c8c8c8c6040516020018087815260200186815260200185815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040526040518082805190602001908083835b60208310611e305780518252602082019150602081019050602083039250611e0d565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611e90576040519150601f19603f3d011682016040523d82523d6000602084013e611e95565b606091505b50809250819350505081611ef4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612eb66027913960400191505060405180910390fd5b611eff8160006121b8565b9350611f0c8160206121b8565b925083839550955050505050965096945050505050565b611f2b61186f565b611f9d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b611fa68161281b565b50565b60006060600060f573ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061201a5780518252602082019150602081019050602083039250611ff7565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461207a576040519150601f19603f3d011682016040523d82523d6000602084013e61207f565b606091505b508093508192505050806120de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180612f3d602c913960400191505060405180910390fd5b6120e9826000612217565b92505050919050565b60006120fe82436122b8565b9050919050565b600060149054906101000a900460ff1615612188576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f636f6e747261637420616c726561647920696e697469616c697a65640000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff0219169083151502179055506121ac3361281b565b6121b5816118cd565b50565b60006121c48383612217565b60001c905092915050565b6000808284816121db57fe5b04905060008385816121e957fe5b0614156121f95780915050612211565b61220d60018261274990919063ffffffff16565b9150505b92915050565b600061222d60208361274990919063ffffffff16565b835110156122a3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736c6963696e67206f7574206f662072616e676500000000000000000000000081525060200191505060405180910390fd5b60006020830184015190508091505092915050565b600081831115612313576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180612e8e6028913960400191505060405180910390fd5b60065483148061236257506123336005548361295f90919063ffffffff16565b83118015612361575081600254101580612360575061235d6002548361295f90919063ffffffff16565b83115b5b5b6123b7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180612fbd6035913960400191505060405180910390fd5b6003600084815260200190815260200160002054905092915050565b6123df6000801b611b3a565b821415612454576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f63616e6e6f7420636f6d6d6974207a65726f2072616e646f6d6e65737300000081525060200191505060405180910390fd5b6000801b600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146125a3576000801b8314156124f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180612f02603b913960400191505060405180910390fd5b600061250484611b3a565b9050600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811461259d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180612d60602d913960400191505060405180910390fd5b506125ff565b6000801b83146125fe576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180612ca4603c913960400191505060405180910390fd5b5b60008043146126215761261c60014361295f90919063ffffffff16565b612624565b60005b9050612671436003600084815260200190815260200160002054866040516020018083815260200182815260200192505050604051602081830303815290604052805190602001206129a9565b82600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505050565b600033905090565b6000808314156126d65760009050612743565b60008284029050828482816126e757fe5b041461273e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612e6d6021913960400191505060405180910390fd5b809150505b92915050565b6000808284019050838110156127c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600061281383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612af9565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156128a1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612d0e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006129a183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612bbf565b905092915050565b80600360008481526020019081526020016000208190555060006129cb611b6a565b83816129d357fe5b061415612a0c576004546006541015612a0057600360006006548152602001908152602001600020600090555b81600681905550612af5565b60006005541415612a2b57816004819055506001600581905550612af4565b6002546005541115612a9d57612a42600454612c7f565b612a60612a5b600160045461274990919063ffffffff16565b612c7f565b612a76600260045461274990919063ffffffff16565b600481905550612a92600160055461295f90919063ffffffff16565b600581905550612af3565b6002546005541415612ad557612ab4600454612c7f565b612aca600160045461274990919063ffffffff16565b600481905550612af2565b612aeb600160055461274990919063ffffffff16565b6005819055505b5b5b5b5050565b60008083118290612ba5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612b6a578082015181840152602081019050612b4f565b50505050905090810190601f168015612b975780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612bb157fe5b049050809150509392505050565b6000838311158290612c6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612c31578082015181840152602081019050612c16565b50505050905090810190601f168015612c5e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6006548114612ca05760036000828152602001908152602001600020600090555b5056fe72616e646f6d6e6573732073686f756c64206265207a65726f206966207468657265206973206e6f2070726576696f757320636f6d6d69746d656e746572726f722063616c6c696e67206e756d62657256616c696461746f7273496e53657420707265636f6d70696c654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737372616e646f6d6e657373426c6f636b5265746574696f6e57696e646f772063616e6e6f74206265207a65726f636f6d6d69746d656e74206469646e2774206d617463682074686520706f737465642072616e646f6d6e6573736572726f722063616c6c696e672067657456657269666965645365616c4269746d617046726f6d48656164657220707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e67206e756d62657256616c696461746f7273496e43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d53657420707265636f6d70696c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7743616e6e6f742071756572792072616e646f6d6e657373206f662066757475726520626c6f636b736572726f722063616c6c696e67206672616374696f6e4d756c45787020707265636f6d70696c656572726f722063616c6c696e672067657445706f636853697a6520707265636f6d70696c6572616e646f6d6e6573732063616e6e6f74206265207a65726f20696620746865726520697320612070726576696f757320636f6d6d69746d656e746572726f722063616c6c696e6720676574506172656e745365616c4269746d617020707265636f6d70696c656572726f722063616c6c696e6720676574426c6f636b4e756d62657246726f6d48656164657220707265636f6d70696c656572726f722063616c6c696e67206861736848656164657220707265636f6d70696c6543616e6e6f742071756572792072616e646f6d6e657373206f6c646572207468616e207468652073746f72656420686973746f7279a265627a7a72315820e8199276aaa3a2441ede009dc6aed41d1433870b9cca98baac99735dac949a0e64736f6c634300050d0032

Deployed ByteCode

0x608060405234801561001057600080fd5b50600436106101cf5760003560e01c80638da5cb5b11610104578063e45def95116100a2578063f2fde38b11610071578063f2fde38b14610a91578063fae8db0a14610ad5578063fc48472614610b17578063fe4b84df14610b59576101cf565b8063e45def951461095e578063e50e652d1461097c578063e8fcf723146109be578063ec68307214610a16576101cf565b80639a7b3be7116100de5780639a7b3be71461089e5780639b2b592f146108bc578063c387742b146108fe578063df4da46114610940576101cf565b80638da5cb5b146108045780638f32d59b1461084e57806392e5d98f14610870576101cf565b80635ec01e4d116101715780637385e5da1161014b5780637385e5da146106a157806375832efc146106bf57806387ee8a0f146107175780638a88362614610735576101cf565b80635ec01e4d146105aa57806367960e91146105c8578063715018a614610697576101cf565b80633b1eb4bf116101ad5780633b1eb4bf146103ee5780634b2c2f441461043057806354255be0146104ff5780635d180adb14610532576101cf565b8063123633ea146101d4578063158ef93e1461024257806323f0ab6514610264575b600080fd5b610200600480360360208110156101ea57600080fd5b8101908080359060200190929190505050610b87565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61024a610cd8565b604051808215151515815260200191505060405180910390f35b6103d46004803603606081101561027a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156102b757600080fd5b8201836020820111156102c957600080fd5b803590602001918460018302840111640100000000831117156102eb57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561034e57600080fd5b82018360208201111561036057600080fd5b8035906020019184600183028401116401000000008311171561038257600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610ceb565b604051808215151515815260200191505060405180910390f35b61041a6004803603602081101561040457600080fd5b8101908080359060200190929190505050610ea4565b6040518082815260200191505060405180910390f35b6104e96004803603602081101561044657600080fd5b810190808035906020019064010000000081111561046357600080fd5b82018360208201111561047557600080fd5b8035906020019184600183028401116401000000008311171561049757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610ebe565b6040518082815260200191505060405180910390f35b610507611052565b6040518085815260200184815260200183815260200182815260200194505050505060405180910390f35b6105686004803603604081101561054857600080fd5b810190808035906020019092919080359060200190929190505050611079565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105b26111cb565b6040518082815260200191505060405180910390f35b610681600480360360208110156105de57600080fd5b81019080803590602001906401000000008111156105fb57600080fd5b82018360208201111561060d57600080fd5b8035906020019184600183028401116401000000008311171561062f57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506111dc565b6040518082815260200191505060405180910390f35b61069f611370565b005b6106a96114a9565b6040518082815260200191505060405180910390f35b610715600480360360608110156106d557600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114b9565b005b61071f61156b565b6040518082815260200191505060405180910390f35b6107ee6004803603602081101561074b57600080fd5b810190808035906020019064010000000081111561076857600080fd5b82018360208201111561077a57600080fd5b8035906020019184600183028401116401000000008311171561079c57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506116b2565b6040518082815260200191505060405180910390f35b61080c611846565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61085661186f565b604051808215151515815260200191505060405180910390f35b61089c6004803603602081101561088657600080fd5b81019080803590602001909291905050506118cd565b005b6108a66119e1565b6040518082815260200191505060405180910390f35b6108e8600480360360208110156108d257600080fd5b81019080803590602001909291905050506119f1565b6040518082815260200191505060405180910390f35b61092a6004803603602081101561091457600080fd5b8101908080359060200190929190505050611b3a565b6040518082815260200191505060405180910390f35b610948611b6a565b6040518082815260200191505060405180910390f35b610966611ca6565b6040518082815260200191505060405180910390f35b6109a86004803603602081101561099257600080fd5b8101908080359060200190929190505050611cac565b6040518082815260200191505060405180910390f35b610a00600480360360208110156109d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cf7565b6040518082815260200191505060405180910390f35b610a74600480360360c0811015610a2c57600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803590602001909291908035906020019092919080359060200190929190505050611d0f565b604051808381526020018281526020019250505060405180910390f35b610ad360048036036020811015610aa757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f23565b005b610b0160048036036020811015610aeb57600080fd5b8101908080359060200190929190505050611fa9565b6040518082815260200191505060405180910390f35b610b4360048036036020811015610b2d57600080fd5b81019080803590602001909291905050506120f2565b6040518082815260200191505060405180910390f35b610b8560048036036020811015610b6f57600080fd5b8101908080359060200190929190505050612105565b005b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16844360405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310610c005780518252602082019150602081019050602083039250610bdd565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610c60576040519150601f19603f3d011682016040523d82523d6000602084013e610c65565b606091505b50809350819250505080610cc4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180612dc5603d913960400191505060405180910390fd5b610ccf8260006121b8565b92505050919050565b600060149054906101000a900460ff1681565b60008060fb73ffffffffffffffffffffffffffffffffffffffff16858585604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140183805190602001908083835b60208310610d745780518252602082019150602081019050602083039250610d51565b6001836020036101000a03801982511681845116808217855250505050505090500182805190602001908083835b60208310610dc55780518252602082019150602081019050602083039250610da2565b6001836020036101000a03801982511681845116808217855250505050505090500193505050506040516020818303038152906040526040518082805190602001908083835b60208310610e2e5780518252602082019150602081019050602083039250610e0b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610e8e576040519150601f19603f3d011682016040523d82523d6000602084013e610e93565b606091505b505080915050809150509392505050565b6000610eb782610eb2611b6a565b6121cf565b9050919050565b60006060600060f473ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310610f135780518252602082019150602081019050602083039250610ef0565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b60208310610f7a5780518252602082019150602081019050602083039250610f57565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610fda576040519150601f19603f3d011682016040523d82523d6000602084013e610fdf565b606091505b5080935081925050508061103e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526038815260200180612d8d6038913960400191505060405180910390fd5b611049826000612217565b92505050919050565b60008060008060018060016000839350829250819150809050935093509350935090919293565b60006060600060fa73ffffffffffffffffffffffffffffffffffffffff16858560405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b602083106110f257805182526020820191506020810190506020830392506110cf565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611152576040519150601f19603f3d011682016040523d82523d6000602084013e611157565b606091505b508093508192505050806111b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180612e376036913960400191505060405180910390fd5b6111c18260006121b8565b9250505092915050565b60006111d743436122b8565b905090565b60006060600060f673ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b60208310611231578051825260208201915060208101905060208303925061120e565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b602083106112985780518252602082019150602081019050602083039250611275565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146112f8576040519150601f19603f3d011682016040523d82523d6000602084013e6112fd565b606091505b5080935081925050508061135c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612f9a6023913960400191505060405180910390fd5b611367826000612217565b92505050919050565b61137861186f565b6113ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60006114b443611cac565b905090565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461155b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4f6e6c7920564d2063616e2063616c6c0000000000000000000000000000000081525060200191505060405180910390fd5b6115668383836123d3565b505050565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1643604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b602083106115dc57805182526020820191506020810190506020830392506115b9565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461163c576040519150601f19603f3d011682016040523d82523d6000602084013e611641565b606091505b508093508192505050806116a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180612e026035913960400191505060405180910390fd5b6116ab8260006121b8565b9250505090565b60006060600060f773ffffffffffffffffffffffffffffffffffffffff16846040516020018082805190602001908083835b6020831061170757805182526020820191506020810190506020830392506116e4565b6001836020036101000a0380198251168184511680821785525050505050509050019150506040516020818303038152906040526040518082805190602001908083835b6020831061176e578051825260208201915060208101905060208303925061174b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146117ce576040519150601f19603f3d011682016040523d82523d6000602084013e6117d3565b606091505b50809350819250505080611832576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526031815260200180612f696031913960400191505060405180910390fd5b61183d8260006121b8565b92505050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166118b16126bb565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b6118d561186f565b611947576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600081116119a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180612d34602c913960400191505060405180910390fd5b806002819055507f337b24e614d34558109f3dee80fbcb3c5a4b08a6611bee45581772f64d1681e5816040518082815260200191505060405180910390a150565b60006119ec43610ea4565b905090565b60006060600060f973ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310611a625780518252602082019150602081019050602083039250611a3f565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611ac2576040519150601f19603f3d011682016040523d82523d6000602084013e611ac7565b606091505b50809350819250505080611b26576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612ce0602e913960400191505060405180910390fd5b611b318260006121b8565b92505050919050565b60008160405160200180828152602001915050604051602081830303815290604052805190602001209050919050565b60006060600060f873ffffffffffffffffffffffffffffffffffffffff166040516020016040516020818303038152906040526040518082805190602001908083835b60208310611bd05780518252602082019150602081019050602083039250611bad565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611c30576040519150601f19603f3d011682016040523d82523d6000602084013e611c35565b606091505b50809350819250505080611c94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612edd6025913960400191505060405180910390fd5b611c9f8260006121b8565b9250505090565b60025481565b6000611cf06003611ce26002611cd46002611cc6886119f1565b6126c390919063ffffffff16565b61274990919063ffffffff16565b6127d190919063ffffffff16565b9050919050565b60016020528060005260406000206000915090505481565b60008060008714158015611d24575060008514155b611d96576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f612064656e6f6d696e61746f72206973207a65726f000000000000000000000081525060200191505060405180910390fd5b6000806000606060fc73ffffffffffffffffffffffffffffffffffffffff168c8c8c8c8c8c6040516020018087815260200186815260200185815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040526040518082805190602001908083835b60208310611e305780518252602082019150602081019050602083039250611e0d565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114611e90576040519150601f19603f3d011682016040523d82523d6000602084013e611e95565b606091505b50809250819350505081611ef4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612eb66027913960400191505060405180910390fd5b611eff8160006121b8565b9350611f0c8160206121b8565b925083839550955050505050965096945050505050565b611f2b61186f565b611f9d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b611fa68161281b565b50565b60006060600060f573ffffffffffffffffffffffffffffffffffffffff1684604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061201a5780518252602082019150602081019050602083039250611ff7565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811461207a576040519150601f19603f3d011682016040523d82523d6000602084013e61207f565b606091505b508093508192505050806120de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180612f3d602c913960400191505060405180910390fd5b6120e9826000612217565b92505050919050565b60006120fe82436122b8565b9050919050565b600060149054906101000a900460ff1615612188576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f636f6e747261637420616c726561647920696e697469616c697a65640000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff0219169083151502179055506121ac3361281b565b6121b5816118cd565b50565b60006121c48383612217565b60001c905092915050565b6000808284816121db57fe5b04905060008385816121e957fe5b0614156121f95780915050612211565b61220d60018261274990919063ffffffff16565b9150505b92915050565b600061222d60208361274990919063ffffffff16565b835110156122a3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736c6963696e67206f7574206f662072616e676500000000000000000000000081525060200191505060405180910390fd5b60006020830184015190508091505092915050565b600081831115612313576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180612e8e6028913960400191505060405180910390fd5b60065483148061236257506123336005548361295f90919063ffffffff16565b83118015612361575081600254101580612360575061235d6002548361295f90919063ffffffff16565b83115b5b5b6123b7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180612fbd6035913960400191505060405180910390fd5b6003600084815260200190815260200160002054905092915050565b6123df6000801b611b3a565b821415612454576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f63616e6e6f7420636f6d6d6974207a65726f2072616e646f6d6e65737300000081525060200191505060405180910390fd5b6000801b600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146125a3576000801b8314156124f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180612f02603b913960400191505060405180910390fd5b600061250484611b3a565b9050600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811461259d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180612d60602d913960400191505060405180910390fd5b506125ff565b6000801b83146125fe576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180612ca4603c913960400191505060405180910390fd5b5b60008043146126215761261c60014361295f90919063ffffffff16565b612624565b60005b9050612671436003600084815260200190815260200160002054866040516020018083815260200182815260200192505050604051602081830303815290604052805190602001206129a9565b82600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505050565b600033905090565b6000808314156126d65760009050612743565b60008284029050828482816126e757fe5b041461273e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612e6d6021913960400191505060405180910390fd5b809150505b92915050565b6000808284019050838110156127c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600061281383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612af9565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156128a1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612d0e6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006129a183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612bbf565b905092915050565b80600360008481526020019081526020016000208190555060006129cb611b6a565b83816129d357fe5b061415612a0c576004546006541015612a0057600360006006548152602001908152602001600020600090555b81600681905550612af5565b60006005541415612a2b57816004819055506001600581905550612af4565b6002546005541115612a9d57612a42600454612c7f565b612a60612a5b600160045461274990919063ffffffff16565b612c7f565b612a76600260045461274990919063ffffffff16565b600481905550612a92600160055461295f90919063ffffffff16565b600581905550612af3565b6002546005541415612ad557612ab4600454612c7f565b612aca600160045461274990919063ffffffff16565b600481905550612af2565b612aeb600160055461274990919063ffffffff16565b6005819055505b5b5b5b5050565b60008083118290612ba5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612b6a578082015181840152602081019050612b4f565b50505050905090810190601f168015612b975780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581612bb157fe5b049050809150509392505050565b6000838311158290612c6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612c31578082015181840152602081019050612c16565b50505050905090810190601f168015612c5e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6006548114612ca05760036000828152602001908152602001600020600090555b5056fe72616e646f6d6e6573732073686f756c64206265207a65726f206966207468657265206973206e6f2070726576696f757320636f6d6d69746d656e746572726f722063616c6c696e67206e756d62657256616c696461746f7273496e53657420707265636f6d70696c654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737372616e646f6d6e657373426c6f636b5265746574696f6e57696e646f772063616e6e6f74206265207a65726f636f6d6d69746d656e74206469646e2774206d617463682074686520706f737465642072616e646f6d6e6573736572726f722063616c6c696e672067657456657269666965645365616c4269746d617046726f6d48656164657220707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e67206e756d62657256616c696461746f7273496e43757272656e7453657420707265636f6d70696c656572726f722063616c6c696e672076616c696461746f725369676e65724164647265737346726f6d53657420707265636f6d70696c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7743616e6e6f742071756572792072616e646f6d6e657373206f662066757475726520626c6f636b736572726f722063616c6c696e67206672616374696f6e4d756c45787020707265636f6d70696c656572726f722063616c6c696e672067657445706f636853697a6520707265636f6d70696c6572616e646f6d6e6573732063616e6e6f74206265207a65726f20696620746865726520697320612070726576696f757320636f6d6d69746d656e746572726f722063616c6c696e6720676574506172656e745365616c4269746d617020707265636f6d70696c656572726f722063616c6c696e6720676574426c6f636b4e756d62657246726f6d48656164657220707265636f6d70696c656572726f722063616c6c696e67206861736848656164657220707265636f6d70696c6543616e6e6f742071756572792072616e646f6d6e657373206f6c646572207468616e207468652073746f72656420686973746f7279a265627a7a72315820e8199276aaa3a2441ede009dc6aed41d1433870b9cca98baac99735dac949a0e64736f6c634300050d0032