Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.8.4;
/*
import "https://github.com/smartcontractkit/chainlink/blob/develop/contracts/src/v0.8/interfaces/VRFCoordinatorV2Interface.sol";
import "https://github.com/smartcontractkit/chainlink/blob/develop/contracts/src/v0.8/VRFConsumerBaseV2.sol";
*/

import "./VRFCoordinatorV2Interface.sol";
import "./VRFConsumerBaseV2.sol";


interface Stats {
    function incrementTOTAL() external  ;
    function incrementWON(address user) external  ;
    function incrementLOST(address user) external  ;
    function incrementPLAYED(address user) external  ;
}

contract Lottery is VRFConsumerBaseV2 {

  Stats public stats ; 
  
    
  VRFCoordinatorV2Interface COORDINATOR;

  // Your subscription ID.
  uint64 s_subscriptionId;


  address vrfCoordinator =0x271682DEB8C4E0901D1a1550aD2e64D568E69909 ;

  bytes32 keyHash = 0xff8dedfbfa60af186cf3c830acbc32c05aae823045ae5ea7da1e45fbfaba4f92;

  uint32 callbackGasLimit = 1000000;

  uint16 requestConfirmations = 3;

  uint32 numWords =  1;

  uint256[] public s_randomWords;
  uint256 public s_requestId;
  address s_owner;
  

  mapping(uint256 => address) public ticket ;
  mapping(address => bool) public bought;
  mapping(uint256 => address) public boughtTRACK;
  uint256 bvar ; 
  uint256 public ticketTRACK = 0; 
  uint256 weiVal = 200000000000000000 ; 
  uint256 maxp = 4;
  address owner =0xE6F747501498903758BDF7AE648188E86f508Ef6 ;
  address tax_payee = 0x70e19EFAeF64eBD5Bb4E8a081ca1fe4a455ecFE0;

  bool allowed_tobuy = true;
  
  constructor(uint64 subscriptionId) VRFConsumerBaseV2(vrfCoordinator) {
    COORDINATOR = VRFCoordinatorV2Interface(vrfCoordinator);
    s_owner = msg.sender;
    s_subscriptionId = subscriptionId;
    stats = Stats(0x2C81b71efc52fEF5EC30c9c531E7c74222b8c2aa);
    
  }
  
  modifier OnlyOwner(){
    require(msg.sender == owner);
    _;
  }
  
  function editVal(uint256 newv, uint256 maxpn) public OnlyOwner{
    require(maxpn <=10);
    weiVal = newv;
    maxp = maxpn-1;
    uint256 a = 1;
    while(a <= ticketTRACK){
      ticket[a] = 0x0000000000000000000000000000000000000000;
      a = a+1;
    }
    ticketTRACK = 0; 
    uint256 b = 1; 
    while (b <= bvar){
      address addyb = boughtTRACK[b];
      bought[addyb] = false;
      b = b+1;
    }
    bvar = 0 ; 
    allowed_tobuy = true;
  }
  

  function buyTicket() public payable{
      require(ticketTRACK <= maxp );
      require(bought[msg.sender]==false);
      require(msg.value == weiVal);
      require(allowed_tobuy == true);
      ticket[ticketTRACK+1] = msg.sender;
      ticketTRACK = ticketTRACK+1;
      bought[msg.sender] = true;
      bvar = bvar +1;
      boughtTRACK[bvar] = msg.sender;
      stats.incrementTOTAL();
      stats.incrementPLAYED(msg.sender);
  }
  
  function requestRandomWords() external OnlyOwner {
    s_requestId = COORDINATOR.requestRandomWords(
      keyHash,
      s_subscriptionId,
      requestConfirmations,
      callbackGasLimit,
      numWords
    );
    
  }

  function fulfillRandomWords  (
    uint256 s_requestId, 
    uint256[] memory randomWords
  ) internal override {
    uint256 s_randomRange = (randomWords[0] % maxp+1) + 1;
    settleLotto(s_randomRange);
  }
  

  function settleLotto(uint256 num) internal{
    address winner = ticket[num];
    uint256 balance = address(this).balance;
    uint256 tax = balance/10;
    uint256 total = balance-tax;
    payable(owner).transfer(tax);
    payable(winner).transfer(total);
    stats.incrementWON(winner);
    allowed_tobuy = false;
  }

  function refund() public OnlyOwner {
    uint256 a = 1;
    while(a <= ticketTRACK){
      payable(ticket[a]).transfer(weiVal);
      a = a+1;
    }
    allowed_tobuy = false;
  }

}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.4;

/** ****************************************************************************
 * @notice Interface for contracts using VRF randomness
 * *****************************************************************************
 * @dev PURPOSE
 *
 * @dev Reggie the Random Oracle (not his real job) wants to provide randomness
 * @dev to Vera the verifier in such a way that Vera can be sure he's not
 * @dev making his output up to suit himself. Reggie provides Vera a public key
 * @dev to which he knows the secret key. Each time Vera provides a seed to
 * @dev Reggie, he gives back a value which is computed completely
 * @dev deterministically from the seed and the secret key.
 *
 * @dev Reggie provides a proof by which Vera can verify that the output was
 * @dev correctly computed once Reggie tells it to her, but without that proof,
 * @dev the output is indistinguishable to her from a uniform random sample
 * @dev from the output space.
 *
 * @dev The purpose of this contract is to make it easy for unrelated contracts
 * @dev to talk to Vera the verifier about the work Reggie is doing, to provide
 * @dev simple access to a verifiable source of randomness. It ensures 2 things:
 * @dev 1. The fulfillment came from the VRFCoordinator
 * @dev 2. The consumer contract implements fulfillRandomWords.
 * *****************************************************************************
 * @dev USAGE
 *
 * @dev Calling contracts must inherit from VRFConsumerBase, and can
 * @dev initialize VRFConsumerBase's attributes in their constructor as
 * @dev shown:
 *
 * @dev   contract VRFConsumer {
 * @dev     constructor(<other arguments>, address _vrfCoordinator, address _link)
 * @dev       VRFConsumerBase(_vrfCoordinator) public {
 * @dev         <initialization with other arguments goes here>
 * @dev       }
 * @dev   }
 *
 * @dev The oracle will have given you an ID for the VRF keypair they have
 * @dev committed to (let's call it keyHash). Create subscription, fund it
 * @dev and your consumer contract as a consumer of it (see VRFCoordinatorInterface
 * @dev subscription management functions).
 * @dev Call requestRandomWords(keyHash, subId, minimumRequestConfirmations,
 * @dev callbackGasLimit, numWords),
 * @dev see (VRFCoordinatorInterface for a description of the arguments).
 *
 * @dev Once the VRFCoordinator has received and validated the oracle's response
 * @dev to your request, it will call your contract's fulfillRandomWords method.
 *
 * @dev The randomness argument to fulfillRandomWords is a set of random words
 * @dev generated from your requestId and the blockHash of the request.
 *
 * @dev If your contract could have concurrent requests open, you can use the
 * @dev requestId returned from requestRandomWords to track which response is associated
 * @dev with which randomness request.
 * @dev See "SECURITY CONSIDERATIONS" for principles to keep in mind,
 * @dev if your contract could have multiple requests in flight simultaneously.
 *
 * @dev Colliding `requestId`s are cryptographically impossible as long as seeds
 * @dev differ.
 *
 * *****************************************************************************
 * @dev SECURITY CONSIDERATIONS
 *
 * @dev A method with the ability to call your fulfillRandomness method directly
 * @dev could spoof a VRF response with any random value, so it's critical that
 * @dev it cannot be directly called by anything other than this base contract
 * @dev (specifically, by the VRFConsumerBase.rawFulfillRandomness method).
 *
 * @dev For your users to trust that your contract's random behavior is free
 * @dev from malicious interference, it's best if you can write it so that all
 * @dev behaviors implied by a VRF response are executed *during* your
 * @dev fulfillRandomness method. If your contract must store the response (or
 * @dev anything derived from it) and use it later, you must ensure that any
 * @dev user-significant behavior which depends on that stored value cannot be
 * @dev manipulated by a subsequent VRF request.
 *
 * @dev Similarly, both miners and the VRF oracle itself have some influence
 * @dev over the order in which VRF responses appear on the blockchain, so if
 * @dev your contract could have multiple VRF requests in flight simultaneously,
 * @dev you must ensure that the order in which the VRF responses arrive cannot
 * @dev be used to manipulate your contract's user-significant behavior.
 *
 * @dev Since the block hash of the block which contains the requestRandomness
 * @dev call is mixed into the input to the VRF *last*, a sufficiently powerful
 * @dev miner could, in principle, fork the blockchain to evict the block
 * @dev containing the request, forcing the request to be included in a
 * @dev different block with a different hash, and therefore a different input
 * @dev to the VRF. However, such an attack would incur a substantial economic
 * @dev cost. This cost scales with the number of blocks the VRF oracle waits
 * @dev until it calls responds to a request. It is for this reason that
 * @dev that you can signal to an oracle you'd like them to wait longer before
 * @dev responding to the request (however this is not enforced in the contract
 * @dev and so remains effective only in the case of unmodified oracle software).
 */
abstract contract VRFConsumerBaseV2 {
  error OnlyCoordinatorCanFulfill(address have, address want);
  address private immutable vrfCoordinator;

  /**
   * @param _vrfCoordinator address of VRFCoordinator contract
   */
  constructor(address _vrfCoordinator) {
    vrfCoordinator = _vrfCoordinator;
  }

  /**
   * @notice fulfillRandomness handles the VRF response. Your contract must
   * @notice implement it. See "SECURITY CONSIDERATIONS" above for important
   * @notice principles to keep in mind when implementing your fulfillRandomness
   * @notice method.
   *
   * @dev VRFConsumerBaseV2 expects its subcontracts to have a method with this
   * @dev signature, and will call it once it has verified the proof
   * @dev associated with the randomness. (It is triggered via a call to
   * @dev rawFulfillRandomness, below.)
   *
   * @param requestId The Id initially returned by requestRandomness
   * @param randomWords the VRF output expanded to the requested number of words
   */
  function fulfillRandomWords(uint256 requestId, uint256[] memory randomWords) internal virtual;

  // rawFulfillRandomness is called by VRFCoordinator when it receives a valid VRF
  // proof. rawFulfillRandomness then calls fulfillRandomness, after validating
  // the origin of the call
  function rawFulfillRandomWords(uint256 requestId, uint256[] memory randomWords) external {
    if (msg.sender != vrfCoordinator) {
      revert OnlyCoordinatorCanFulfill(msg.sender, vrfCoordinator);
    }
    fulfillRandomWords(requestId, randomWords);
  }
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

interface VRFCoordinatorV2Interface {
  /**
   * @notice Get configuration relevant for making requests
   * @return minimumRequestConfirmations global min for request confirmations
   * @return maxGasLimit global max for request gas limit
   * @return s_provingKeyHashes list of registered key hashes
   */
  function getRequestConfig()
    external
    view
    returns (
      uint16,
      uint32,
      bytes32[] memory
    );

  /**
   * @notice Request a set of random words.
   * @param keyHash - Corresponds to a particular oracle job which uses
   * that key for generating the VRF proof. Different keyHash's have different gas price
   * ceilings, so you can select a specific one to bound your maximum per request cost.
   * @param subId  - The ID of the VRF subscription. Must be funded
   * with the minimum subscription balance required for the selected keyHash.
   * @param minimumRequestConfirmations - How many blocks you'd like the
   * oracle to wait before responding to the request. See SECURITY CONSIDERATIONS
   * for why you may want to request more. The acceptable range is
   * [minimumRequestBlockConfirmations, 200].
   * @param callbackGasLimit - How much gas you'd like to receive in your
   * fulfillRandomWords callback. Note that gasleft() inside fulfillRandomWords
   * may be slightly less than this amount because of gas used calling the function
   * (argument decoding etc.), so you may need to request slightly more than you expect
   * to have inside fulfillRandomWords. The acceptable range is
   * [0, maxGasLimit]
   * @param numWords - The number of uint256 random values you'd like to receive
   * in your fulfillRandomWords callback. Note these numbers are expanded in a
   * secure way by the VRFCoordinator from a single random value supplied by the oracle.
   * @return requestId - A unique identifier of the request. Can be used to match
   * a request to a response in fulfillRandomWords.
   */
  function requestRandomWords(
    bytes32 keyHash,
    uint64 subId,
    uint16 minimumRequestConfirmations,
    uint32 callbackGasLimit,
    uint32 numWords
  ) external returns (uint256 requestId);

  /**
   * @notice Create a VRF subscription.
   * @return subId - A unique subscription id.
   * @dev You can manage the consumer set dynamically with addConsumer/removeConsumer.
   * @dev Note to fund the subscription, use transferAndCall. For example
   * @dev  LINKTOKEN.transferAndCall(
   * @dev    address(COORDINATOR),
   * @dev    amount,
   * @dev    abi.encode(subId));
   */
  function createSubscription() external returns (uint64 subId);

  /**
   * @notice Get a VRF subscription.
   * @param subId - ID of the subscription
   * @return balance - LINK balance of the subscription in juels.
   * @return reqCount - number of requests for this subscription, determines fee tier.
   * @return owner - owner of the subscription.
   * @return consumers - list of consumer address which are able to use this subscription.
   */
  function getSubscription(uint64 subId)
    external
    view
    returns (
      uint96 balance,
      uint64 reqCount,
      address owner,
      address[] memory consumers
    );

  /**
   * @notice Request subscription owner transfer.
   * @param subId - ID of the subscription
   * @param newOwner - proposed new owner of the subscription
   */
  function requestSubscriptionOwnerTransfer(uint64 subId, address newOwner) external;

  /**
   * @notice Request subscription owner transfer.
   * @param subId - ID of the subscription
   * @dev will revert if original owner of subId has
   * not requested that msg.sender become the new owner.
   */
  function acceptSubscriptionOwnerTransfer(uint64 subId) external;

  /**
   * @notice Add a consumer to a VRF subscription.
   * @param subId - ID of the subscription
   * @param consumer - New consumer which can use the subscription
   */
  function addConsumer(uint64 subId, address consumer) external;

  /**
   * @notice Remove a consumer from a VRF subscription.
   * @param subId - ID of the subscription
   * @param consumer - Consumer to remove from the subscription
   */
  function removeConsumer(uint64 subId, address consumer) external;

  /**
   * @notice Cancel a subscription
   * @param subId - ID of the subscription
   * @param to - Where to send the remaining LINK to
   */
  function cancelSubscription(uint64 subId, address to) external;

  /*
   * @notice Check to see if there exists a request commitment consumers
   * for all consumers and keyhashes for a given sub.
   * @param subId - ID of the subscription
   * @return true if there exists at least one unfulfilled request for the subscription, false
   * otherwise.
   */
  function pendingRequestExists(uint64 subId) external view returns (bool);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint64","name":"subscriptionId","type":"uint64"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"have","type":"address"},{"internalType":"address","name":"want","type":"address"}],"name":"OnlyCoordinatorCanFulfill","type":"error"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"bought","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"boughtTRACK","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buyTicket","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newv","type":"uint256"},{"internalType":"uint256","name":"maxpn","type":"uint256"}],"name":"editVal","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"requestId","type":"uint256"},{"internalType":"uint256[]","name":"randomWords","type":"uint256[]"}],"name":"rawFulfillRandomWords","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"refund","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"requestRandomWords","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"s_randomWords","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"s_requestId","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stats","outputs":[{"internalType":"contract Stats","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"ticket","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ticketTRACK","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60a060405273271682deb8c4e0901d1a1550ad2e64d568e69909600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fff8dedfbfa60af186cf3c830acbc32c05aae823045ae5ea7da1e45fbfaba4f9260001b600355620f4240600460006101000a81548163ffffffff021916908363ffffffff16021790555060036004806101000a81548161ffff021916908361ffff1602179055506001600460066101000a81548163ffffffff021916908363ffffffff1602179055506000600c556702c68af0bb140000600d556004600e5573e6f747501498903758bdf7ae648188e86f508ef6600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507370e19efaef64ebd5bb4e8a081ca1fe4a455ecfe0601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001601060146101000a81548160ff021916908315150217905550348015620001cb57600080fd5b5060405162001848380380620018488339818101604052810190620001f19190620003bb565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168073ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff168152505050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555033600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550732c81b71efc52fef5ec30c9c531e7c74222b8c2aa6000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050620003ed565b600080fd5b600067ffffffffffffffff82169050919050565b620003958162000376565b8114620003a157600080fd5b50565b600081519050620003b5816200038a565b92915050565b600060208284031215620003d457620003d362000371565b5b6000620003e484828501620003a4565b91505092915050565b60805161143862000410600039600081816102e0015261033401526114386000f3fe6080604052600436106100a75760003560e01c8063c129ff3211610064578063c129ff32146101ba578063d80528ae146101f7578063e0c8628914610222578063e89e106a14610239578063edca914c14610264578063f6eaffc81461026e576100a7565b806306f0e6f4146100ac5780631fe543e3146100e9578063325742c614610112578063590e1ae31461013d578063667022fd14610154578063be59c1a514610191575b600080fd5b3480156100b857600080fd5b506100d360048036038101906100ce9190610dc4565b6102ab565b6040516100e09190610e32565b60405180910390f35b3480156100f557600080fd5b50610110600480360381019061010b9190610fa6565b6102de565b005b34801561011e57600080fd5b5061012761039e565b6040516101349190611011565b60405180910390f35b34801561014957600080fd5b506101526103a4565b005b34801561016057600080fd5b5061017b60048036038101906101769190611058565b6104bc565b60405161018891906110a0565b60405180910390f35b34801561019d57600080fd5b506101b860048036038101906101b391906110bb565b6104dc565b005b3480156101c657600080fd5b506101e160048036038101906101dc9190610dc4565b6106bb565b6040516101ee9190610e32565b60405180910390f35b34801561020357600080fd5b5061020c6106ee565b604051610219919061115a565b60405180910390f35b34801561022e57600080fd5b50610237610712565b005b34801561024557600080fd5b5061024e610864565b60405161025b9190611011565b60405180910390f35b61026c61086a565b005b34801561027a57600080fd5b5061029560048036038101906102909190610dc4565b610b49565b6040516102a29190611011565b60405180910390f35b600a6020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461039057337f00000000000000000000000000000000000000000000000000000000000000006040517f1cf993f4000000000000000000000000000000000000000000000000000000008152600401610387929190611175565b60405180910390fd5b61039a8282610b6d565b5050565b600c5481565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103fe57600080fd5b6000600190505b600c54811161049e576008600082815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc600d549081150290604051600060405180830381858888f19350505050158015610489573d6000803e3d6000fd5b5060018161049791906111cd565b9050610405565b6000601060146101000a81548160ff02191690831515021790555050565b60096020528060005260406000206000915054906101000a900460ff1681565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461053657600080fd5b600a81111561054457600080fd5b81600d819055506001816105589190611201565b600e819055506000600190505b600c5481116105d55760006008600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001816105ce91906111cd565b9050610565565b6000600c819055506000600190505b600b548111610692576000600a600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060018261068a91906111cd565b9150506105e4565b6000600b819055506001601060146101000a81548160ff02191690831515021790555050505050565b60086020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461076c57600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635d3b1d30600354600160149054906101000a900467ffffffffffffffff1660048054906101000a900461ffff16600460009054906101000a900463ffffffff16600460069054906101000a900463ffffffff166040518663ffffffff1660e01b81526004016108199594939291906112ad565b6020604051808303816000875af1158015610838573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085c9190611315565b600681905550565b60065481565b600e54600c54111561087b57600080fd5b60001515600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515146108d857600080fd5b600d5434146108e657600080fd5b60011515601060149054906101000a900460ff1615151461090657600080fd5b33600860006001600c5461091a91906111cd565b815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600c5461097591906111cd565b600c819055506001600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600b546109e291906111cd565b600b8190555033600a6000600b54815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166316c8e1e96040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610aa457600080fd5b505af1158015610ab8573d6000803e3d6000fd5b5050505060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166339c20d59336040518263ffffffff1660e01b8152600401610b159190610e32565b600060405180830381600087803b158015610b2f57600080fd5b505af1158015610b43573d6000803e3d6000fd5b50505050565b60058181548110610b5957600080fd5b906000526020600020016000915090505481565b6000600180600e5484600081518110610b8957610b88611342565b5b6020026020010151610b9b91906113a0565b610ba591906111cd565b610baf91906111cd565b9050610bba81610bbf565b505050565b60006008600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060004790506000600a82610c0b91906113d1565b905060008183610c1b9190611201565b9050600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015610c85573d6000803e3d6000fd5b508373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610ccc573d6000803e3d6000fd5b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663874e8939856040518263ffffffff1660e01b8152600401610d269190610e32565b600060405180830381600087803b158015610d4057600080fd5b505af1158015610d54573d6000803e3d6000fd5b505050506000601060146101000a81548160ff0219169083151502179055505050505050565b6000604051905090565b600080fd5b600080fd5b6000819050919050565b610da181610d8e565b8114610dac57600080fd5b50565b600081359050610dbe81610d98565b92915050565b600060208284031215610dda57610dd9610d84565b5b6000610de884828501610daf565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610e1c82610df1565b9050919050565b610e2c81610e11565b82525050565b6000602082019050610e476000830184610e23565b92915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610e9b82610e52565b810181811067ffffffffffffffff82111715610eba57610eb9610e63565b5b80604052505050565b6000610ecd610d7a565b9050610ed98282610e92565b919050565b600067ffffffffffffffff821115610ef957610ef8610e63565b5b602082029050602081019050919050565b600080fd5b6000610f22610f1d84610ede565b610ec3565b90508083825260208201905060208402830185811115610f4557610f44610f0a565b5b835b81811015610f6e5780610f5a8882610daf565b845260208401935050602081019050610f47565b5050509392505050565b600082601f830112610f8d57610f8c610e4d565b5b8135610f9d848260208601610f0f565b91505092915050565b60008060408385031215610fbd57610fbc610d84565b5b6000610fcb85828601610daf565b925050602083013567ffffffffffffffff811115610fec57610feb610d89565b5b610ff885828601610f78565b9150509250929050565b61100b81610d8e565b82525050565b60006020820190506110266000830184611002565b92915050565b61103581610e11565b811461104057600080fd5b50565b6000813590506110528161102c565b92915050565b60006020828403121561106e5761106d610d84565b5b600061107c84828501611043565b91505092915050565b60008115159050919050565b61109a81611085565b82525050565b60006020820190506110b56000830184611091565b92915050565b600080604083850312156110d2576110d1610d84565b5b60006110e085828601610daf565b92505060206110f185828601610daf565b9150509250929050565b6000819050919050565b600061112061111b61111684610df1565b6110fb565b610df1565b9050919050565b600061113282611105565b9050919050565b600061114482611127565b9050919050565b61115481611139565b82525050565b600060208201905061116f600083018461114b565b92915050565b600060408201905061118a6000830185610e23565b6111976020830184610e23565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006111d882610d8e565b91506111e383610d8e565b92508282019050808211156111fb576111fa61119e565b5b92915050565b600061120c82610d8e565b915061121783610d8e565b925082820390508181111561122f5761122e61119e565b5b92915050565b6000819050919050565b61124881611235565b82525050565b600067ffffffffffffffff82169050919050565b61126b8161124e565b82525050565b600061ffff82169050919050565b61128881611271565b82525050565b600063ffffffff82169050919050565b6112a78161128e565b82525050565b600060a0820190506112c2600083018861123f565b6112cf6020830187611262565b6112dc604083018661127f565b6112e9606083018561129e565b6112f6608083018461129e565b9695505050505050565b60008151905061130f81610d98565b92915050565b60006020828403121561132b5761132a610d84565b5b600061133984828501611300565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006113ab82610d8e565b91506113b683610d8e565b9250826113c6576113c5611371565b5b828206905092915050565b60006113dc82610d8e565b91506113e783610d8e565b9250826113f7576113f6611371565b5b82820490509291505056fea2646970667358221220e7aa28b1954f2dcbdcac88656a5b2da63e016ffb187b4b8a76881eb0c1eb480a64736f6c6343000811003300000000000000000000000000000000000000000000000000000000000001e2

0x6080604052600436106100a75760003560e01c8063c129ff3211610064578063c129ff32146101ba578063d80528ae146101f7578063e0c8628914610222578063e89e106a14610239578063edca914c14610264578063f6eaffc81461026e576100a7565b806306f0e6f4146100ac5780631fe543e3146100e9578063325742c614610112578063590e1ae31461013d578063667022fd14610154578063be59c1a514610191575b600080fd5b3480156100b857600080fd5b506100d360048036038101906100ce9190610dc4565b6102ab565b6040516100e09190610e32565b60405180910390f35b3480156100f557600080fd5b50610110600480360381019061010b9190610fa6565b6102de565b005b34801561011e57600080fd5b5061012761039e565b6040516101349190611011565b60405180910390f35b34801561014957600080fd5b506101526103a4565b005b34801561016057600080fd5b5061017b60048036038101906101769190611058565b6104bc565b60405161018891906110a0565b60405180910390f35b34801561019d57600080fd5b506101b860048036038101906101b391906110bb565b6104dc565b005b3480156101c657600080fd5b506101e160048036038101906101dc9190610dc4565b6106bb565b6040516101ee9190610e32565b60405180910390f35b34801561020357600080fd5b5061020c6106ee565b604051610219919061115a565b60405180910390f35b34801561022e57600080fd5b50610237610712565b005b34801561024557600080fd5b5061024e610864565b60405161025b9190611011565b60405180910390f35b61026c61086a565b005b34801561027a57600080fd5b5061029560048036038101906102909190610dc4565b610b49565b6040516102a29190611011565b60405180910390f35b600a6020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e6990973ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461039057337f000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e699096040517f1cf993f4000000000000000000000000000000000000000000000000000000008152600401610387929190611175565b60405180910390fd5b61039a8282610b6d565b5050565b600c5481565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103fe57600080fd5b6000600190505b600c54811161049e576008600082815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc600d549081150290604051600060405180830381858888f19350505050158015610489573d6000803e3d6000fd5b5060018161049791906111cd565b9050610405565b6000601060146101000a81548160ff02191690831515021790555050565b60096020528060005260406000206000915054906101000a900460ff1681565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461053657600080fd5b600a81111561054457600080fd5b81600d819055506001816105589190611201565b600e819055506000600190505b600c5481116105d55760006008600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001816105ce91906111cd565b9050610565565b6000600c819055506000600190505b600b548111610692576000600a600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060018261068a91906111cd565b9150506105e4565b6000600b819055506001601060146101000a81548160ff02191690831515021790555050505050565b60086020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461076c57600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635d3b1d30600354600160149054906101000a900467ffffffffffffffff1660048054906101000a900461ffff16600460009054906101000a900463ffffffff16600460069054906101000a900463ffffffff166040518663ffffffff1660e01b81526004016108199594939291906112ad565b6020604051808303816000875af1158015610838573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085c9190611315565b600681905550565b60065481565b600e54600c54111561087b57600080fd5b60001515600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515146108d857600080fd5b600d5434146108e657600080fd5b60011515601060149054906101000a900460ff1615151461090657600080fd5b33600860006001600c5461091a91906111cd565b815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600c5461097591906111cd565b600c819055506001600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600b546109e291906111cd565b600b8190555033600a6000600b54815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166316c8e1e96040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610aa457600080fd5b505af1158015610ab8573d6000803e3d6000fd5b5050505060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166339c20d59336040518263ffffffff1660e01b8152600401610b159190610e32565b600060405180830381600087803b158015610b2f57600080fd5b505af1158015610b43573d6000803e3d6000fd5b50505050565b60058181548110610b5957600080fd5b906000526020600020016000915090505481565b6000600180600e5484600081518110610b8957610b88611342565b5b6020026020010151610b9b91906113a0565b610ba591906111cd565b610baf91906111cd565b9050610bba81610bbf565b505050565b60006008600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060004790506000600a82610c0b91906113d1565b905060008183610c1b9190611201565b9050600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015610c85573d6000803e3d6000fd5b508373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610ccc573d6000803e3d6000fd5b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663874e8939856040518263ffffffff1660e01b8152600401610d269190610e32565b600060405180830381600087803b158015610d4057600080fd5b505af1158015610d54573d6000803e3d6000fd5b505050506000601060146101000a81548160ff0219169083151502179055505050505050565b6000604051905090565b600080fd5b600080fd5b6000819050919050565b610da181610d8e565b8114610dac57600080fd5b50565b600081359050610dbe81610d98565b92915050565b600060208284031215610dda57610dd9610d84565b5b6000610de884828501610daf565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610e1c82610df1565b9050919050565b610e2c81610e11565b82525050565b6000602082019050610e476000830184610e23565b92915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610e9b82610e52565b810181811067ffffffffffffffff82111715610eba57610eb9610e63565b5b80604052505050565b6000610ecd610d7a565b9050610ed98282610e92565b919050565b600067ffffffffffffffff821115610ef957610ef8610e63565b5b602082029050602081019050919050565b600080fd5b6000610f22610f1d84610ede565b610ec3565b90508083825260208201905060208402830185811115610f4557610f44610f0a565b5b835b81811015610f6e5780610f5a8882610daf565b845260208401935050602081019050610f47565b5050509392505050565b600082601f830112610f8d57610f8c610e4d565b5b8135610f9d848260208601610f0f565b91505092915050565b60008060408385031215610fbd57610fbc610d84565b5b6000610fcb85828601610daf565b925050602083013567ffffffffffffffff811115610fec57610feb610d89565b5b610ff885828601610f78565b9150509250929050565b61100b81610d8e565b82525050565b60006020820190506110266000830184611002565b92915050565b61103581610e11565b811461104057600080fd5b50565b6000813590506110528161102c565b92915050565b60006020828403121561106e5761106d610d84565b5b600061107c84828501611043565b91505092915050565b60008115159050919050565b61109a81611085565b82525050565b60006020820190506110b56000830184611091565b92915050565b600080604083850312156110d2576110d1610d84565b5b60006110e085828601610daf565b92505060206110f185828601610daf565b9150509250929050565b6000819050919050565b600061112061111b61111684610df1565b6110fb565b610df1565b9050919050565b600061113282611105565b9050919050565b600061114482611127565b9050919050565b61115481611139565b82525050565b600060208201905061116f600083018461114b565b92915050565b600060408201905061118a6000830185610e23565b6111976020830184610e23565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006111d882610d8e565b91506111e383610d8e565b92508282019050808211156111fb576111fa61119e565b5b92915050565b600061120c82610d8e565b915061121783610d8e565b925082820390508181111561122f5761122e61119e565b5b92915050565b6000819050919050565b61124881611235565b82525050565b600067ffffffffffffffff82169050919050565b61126b8161124e565b82525050565b600061ffff82169050919050565b61128881611271565b82525050565b600063ffffffff82169050919050565b6112a78161128e565b82525050565b600060a0820190506112c2600083018861123f565b6112cf6020830187611262565b6112dc604083018661127f565b6112e9606083018561129e565b6112f6608083018461129e565b9695505050505050565b60008151905061130f81610d98565b92915050565b60006020828403121561132b5761132a610d84565b5b600061133984828501611300565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006113ab82610d8e565b91506113b683610d8e565b9250826113c6576113c5611371565b5b828206905092915050565b60006113dc82610d8e565b91506113e783610d8e565b9250826113f7576113f6611371565b5b82820490509291505056fea2646970667358221220e7aa28b1954f2dcbdcac88656a5b2da63e016ffb187b4b8a76881eb0c1eb480a64736f6c63430008110033

00000000000000000000000000000000000000000000000000000000000001e2

-----Decoded View---------------
Arg [0] : subscriptionId (uint64): 482

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000000000000001e2

588:3255:2:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1224:46;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6744:261:0;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1294:30:2;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3652:186;;;;;;;;;;;;;:::i;:::-;;1181:38;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1918:475;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1134:41;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;633:18;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2857:231;;;;;;;;;;;;;:::i;:::-;;1077:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2403:446;;;:::i;:::-;;1042:30;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1224:46;;;;;;;;;;;;;;;;;;;;;;:::o;6744:261:0:-;6858:14;6844:28;;:10;:28;;;6840:111;;6916:10;6928:14;6890:53;;;;;;;;;;;;:::i;:::-;;;;;;;;6840:111;6957:42;6976:9;6987:11;6957:18;:42::i;:::-;6744:261;;:::o;1294:30:2:-;;;;:::o;3652:186::-;1890:5;;;;;;;;;;;1876:19;;:10;:19;;;1868:28;;;;;;3694:9:::1;3706:1;3694:13;;3714:91;3725:11;;3720:1;:16;3714:91;;3754:6;:9;3761:1;3754:9;;;;;;;;;;;;;;;;;;;;;3746:27;;:35;3774:6;;3746:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;3796:1;3794;:3;;;;:::i;:::-;3790:7;;3714:91;;;3827:5;3811:13;;:21;;;;;;;;;;;;;;;;;;3687:151;3652:186::o:0;1181:38::-;;;;;;;;;;;;;;;;;;;;;;:::o;1918:475::-;1890:5;;;;;;;;;;;1876:19;;:10;:19;;;1868:28;;;;;;2003:2:::1;1995:5;:10;;1987:19;;;::::0;::::1;;2022:4;2013:6;:13;;;;2046:1;2040:5;:7;;;;:::i;:::-;2033:4;:14;;;;2054:9;2066:1;2054:13;;2074:110;2085:11;;2080:1;:16;2074:110;;2118:42;2106:6;:9;2113:1;2106:9;;;;;;;;;;;;:54;;;;;;;;;;;;;;;;;;2175:1;2173;:3;;;;:::i;:::-;2169:7;;2074:110;;;2204:1;2190:11;:15;;;;2213:9;2225:1;2213:13;;2234:110;2246:4;;2241:1;:9;2234:110;;2260:13;2276:11;:14;2288:1;2276:14;;;;;;;;;;;;;;;;;;;;;2260:30;;2315:5;2299:6;:13;2306:5;2299:13;;;;;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;2335:1;2333;:3;;;;:::i;:::-;2329:7;;2251:93;2234:110;;;2357:1;2350:4;:8;;;;2383:4;2367:13;;:20;;;;;;;;;;;;;;;;;;1980:413;;1918:475:::0;;:::o;1134:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;633:18::-;;;;;;;;;;;;:::o;2857:231::-;1890:5;;;;;;;;;;;1876:19;;:10;:19;;;1868:28;;;;;;2927:11:::1;;;;;;;;;;;:30;;;2966:7;;2982:16;;;;;;;;;;;3007:20;::::0;::::1;;;;;;;;3036:16;;;;;;;;;;;3061:8;;;;;;;;;;;2927:149;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2913:11;:163;;;;2857:231::o:0;1077:26::-;;;;:::o;2403:446::-;2470:4;;2455:11;;:19;;2447:29;;;;;;2513:5;2493:25;;:6;:18;2500:10;2493:18;;;;;;;;;;;;;;;;;;;;;;;;;:25;;;2485:34;;;;;;2549:6;;2536:9;:19;2528:28;;;;;;2590:4;2573:21;;:13;;;;;;;;;;;:21;;;2565:30;;;;;;2628:10;2604:6;:21;2623:1;2611:11;;:13;;;;:::i;:::-;2604:21;;;;;;;;;;;;:34;;;;;;;;;;;;;;;;;;2673:1;2661:11;;:13;;;;:::i;:::-;2647:11;:27;;;;2704:4;2683:6;:18;2690:10;2683:18;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;2730:1;2724:4;;:7;;;;:::i;:::-;2717:4;:14;;;;2760:10;2740:11;:17;2752:4;;2740:17;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;2779:5;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2810:5;;;;;;;;;;:21;;;2832:10;2810:33;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2403:446::o;1042:30::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3094:214::-;3216:21;3268:1;3263;3258:4;;3241:11;3253:1;3241:14;;;;;;;;:::i;:::-;;;;;;;;:21;;;;:::i;:::-;:23;;;;:::i;:::-;3240:29;;;;:::i;:::-;3216:53;;3276:26;3288:13;3276:11;:26::i;:::-;3209:99;3094:214;;:::o;3318:328::-;3367:14;3384:6;:11;3391:3;3384:11;;;;;;;;;;;;;;;;;;;;;3367:28;;3402:15;3420:21;3402:39;;3448:11;3470:2;3462:7;:10;;;;:::i;:::-;3448:24;;3479:13;3503:3;3495:7;:11;;;;:::i;:::-;3479:27;;3521:5;;;;;;;;;;;3513:23;;:28;3537:3;3513:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3556:6;3548:24;;:31;3573:5;3548:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3586:5;;;;;;;;;;:18;;;3605:6;3586:26;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3635:5;3619:13;;:21;;;;;;;;;;;;;;;;;;3360:286;;;;3318:328;:::o;7:75:3:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:139::-;591:5;629:6;616:20;607:29;;645:33;672:5;645:33;:::i;:::-;545:139;;;;:::o;690:329::-;749:6;798:2;786:9;777:7;773:23;769:32;766:119;;;804:79;;:::i;:::-;766:119;924:1;949:53;994:7;985:6;974:9;970:22;949:53;:::i;:::-;939:63;;895:117;690:329;;;;:::o;1025:126::-;1062:7;1102:42;1095:5;1091:54;1080:65;;1025:126;;;:::o;1157:96::-;1194:7;1223:24;1241:5;1223:24;:::i;:::-;1212:35;;1157:96;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:222::-;1476:4;1514:2;1503:9;1499:18;1491:26;;1527:71;1595:1;1584:9;1580:17;1571:6;1527:71;:::i;:::-;1383:222;;;;:::o;1611:117::-;1720:1;1717;1710:12;1734:102;1775:6;1826:2;1822:7;1817:2;1810:5;1806:14;1802:28;1792:38;;1734:102;;;:::o;1842:180::-;1890:77;1887:1;1880:88;1987:4;1984:1;1977:15;2011:4;2008:1;2001:15;2028:281;2111:27;2133:4;2111:27;:::i;:::-;2103:6;2099:40;2241:6;2229:10;2226:22;2205:18;2193:10;2190:34;2187:62;2184:88;;;2252:18;;:::i;:::-;2184:88;2292:10;2288:2;2281:22;2071:238;2028:281;;:::o;2315:129::-;2349:6;2376:20;;:::i;:::-;2366:30;;2405:33;2433:4;2425:6;2405:33;:::i;:::-;2315:129;;;:::o;2450:311::-;2527:4;2617:18;2609:6;2606:30;2603:56;;;2639:18;;:::i;:::-;2603:56;2689:4;2681:6;2677:17;2669:25;;2749:4;2743;2739:15;2731:23;;2450:311;;;:::o;2767:117::-;2876:1;2873;2866:12;2907:710;3003:5;3028:81;3044:64;3101:6;3044:64;:::i;:::-;3028:81;:::i;:::-;3019:90;;3129:5;3158:6;3151:5;3144:21;3192:4;3185:5;3181:16;3174:23;;3245:4;3237:6;3233:17;3225:6;3221:30;3274:3;3266:6;3263:15;3260:122;;;3293:79;;:::i;:::-;3260:122;3408:6;3391:220;3425:6;3420:3;3417:15;3391:220;;;3500:3;3529:37;3562:3;3550:10;3529:37;:::i;:::-;3524:3;3517:50;3596:4;3591:3;3587:14;3580:21;;3467:144;3451:4;3446:3;3442:14;3435:21;;3391:220;;;3395:21;3009:608;;2907:710;;;;;:::o;3640:370::-;3711:5;3760:3;3753:4;3745:6;3741:17;3737:27;3727:122;;3768:79;;:::i;:::-;3727:122;3885:6;3872:20;3910:94;4000:3;3992:6;3985:4;3977:6;3973:17;3910:94;:::i;:::-;3901:103;;3717:293;3640:370;;;;:::o;4016:684::-;4109:6;4117;4166:2;4154:9;4145:7;4141:23;4137:32;4134:119;;;4172:79;;:::i;:::-;4134:119;4292:1;4317:53;4362:7;4353:6;4342:9;4338:22;4317:53;:::i;:::-;4307:63;;4263:117;4447:2;4436:9;4432:18;4419:32;4478:18;4470:6;4467:30;4464:117;;;4500:79;;:::i;:::-;4464:117;4605:78;4675:7;4666:6;4655:9;4651:22;4605:78;:::i;:::-;4595:88;;4390:303;4016:684;;;;;:::o;4706:118::-;4793:24;4811:5;4793:24;:::i;:::-;4788:3;4781:37;4706:118;;:::o;4830:222::-;4923:4;4961:2;4950:9;4946:18;4938:26;;4974:71;5042:1;5031:9;5027:17;5018:6;4974:71;:::i;:::-;4830:222;;;;:::o;5058:122::-;5131:24;5149:5;5131:24;:::i;:::-;5124:5;5121:35;5111:63;;5170:1;5167;5160:12;5111:63;5058:122;:::o;5186:139::-;5232:5;5270:6;5257:20;5248:29;;5286:33;5313:5;5286:33;:::i;:::-;5186:139;;;;:::o;5331:329::-;5390:6;5439:2;5427:9;5418:7;5414:23;5410:32;5407:119;;;5445:79;;:::i;:::-;5407:119;5565:1;5590:53;5635:7;5626:6;5615:9;5611:22;5590:53;:::i;:::-;5580:63;;5536:117;5331:329;;;;:::o;5666:90::-;5700:7;5743:5;5736:13;5729:21;5718:32;;5666:90;;;:::o;5762:109::-;5843:21;5858:5;5843:21;:::i;:::-;5838:3;5831:34;5762:109;;:::o;5877:210::-;5964:4;6002:2;5991:9;5987:18;5979:26;;6015:65;6077:1;6066:9;6062:17;6053:6;6015:65;:::i;:::-;5877:210;;;;:::o;6093:474::-;6161:6;6169;6218:2;6206:9;6197:7;6193:23;6189:32;6186:119;;;6224:79;;:::i;:::-;6186:119;6344:1;6369:53;6414:7;6405:6;6394:9;6390:22;6369:53;:::i;:::-;6359:63;;6315:117;6471:2;6497:53;6542:7;6533:6;6522:9;6518:22;6497:53;:::i;:::-;6487:63;;6442:118;6093:474;;;;;:::o;6573:60::-;6601:3;6622:5;6615:12;;6573:60;;;:::o;6639:142::-;6689:9;6722:53;6740:34;6749:24;6767:5;6749:24;:::i;:::-;6740:34;:::i;:::-;6722:53;:::i;:::-;6709:66;;6639:142;;;:::o;6787:126::-;6837:9;6870:37;6901:5;6870:37;:::i;:::-;6857:50;;6787:126;;;:::o;6919:139::-;6982:9;7015:37;7046:5;7015:37;:::i;:::-;7002:50;;6919:139;;;:::o;7064:157::-;7164:50;7208:5;7164:50;:::i;:::-;7159:3;7152:63;7064:157;;:::o;7227:248::-;7333:4;7371:2;7360:9;7356:18;7348:26;;7384:84;7465:1;7454:9;7450:17;7441:6;7384:84;:::i;:::-;7227:248;;;;:::o;7481:332::-;7602:4;7640:2;7629:9;7625:18;7617:26;;7653:71;7721:1;7710:9;7706:17;7697:6;7653:71;:::i;:::-;7734:72;7802:2;7791:9;7787:18;7778:6;7734:72;:::i;:::-;7481:332;;;;;:::o;7819:180::-;7867:77;7864:1;7857:88;7964:4;7961:1;7954:15;7988:4;7985:1;7978:15;8005:191;8045:3;8064:20;8082:1;8064:20;:::i;:::-;8059:25;;8098:20;8116:1;8098:20;:::i;:::-;8093:25;;8141:1;8138;8134:9;8127:16;;8162:3;8159:1;8156:10;8153:36;;;8169:18;;:::i;:::-;8153:36;8005:191;;;;:::o;8202:194::-;8242:4;8262:20;8280:1;8262:20;:::i;:::-;8257:25;;8296:20;8314:1;8296:20;:::i;:::-;8291:25;;8340:1;8337;8333:9;8325:17;;8364:1;8358:4;8355:11;8352:37;;;8369:18;;:::i;:::-;8352:37;8202:194;;;;:::o;8402:77::-;8439:7;8468:5;8457:16;;8402:77;;;:::o;8485:118::-;8572:24;8590:5;8572:24;:::i;:::-;8567:3;8560:37;8485:118;;:::o;8609:101::-;8645:7;8685:18;8678:5;8674:30;8663:41;;8609:101;;;:::o;8716:115::-;8801:23;8818:5;8801:23;:::i;:::-;8796:3;8789:36;8716:115;;:::o;8837:89::-;8873:7;8913:6;8906:5;8902:18;8891:29;;8837:89;;;:::o;8932:115::-;9017:23;9034:5;9017:23;:::i;:::-;9012:3;9005:36;8932:115;;:::o;9053:93::-;9089:7;9129:10;9122:5;9118:22;9107:33;;9053:93;;;:::o;9152:115::-;9237:23;9254:5;9237:23;:::i;:::-;9232:3;9225:36;9152:115;;:::o;9273:648::-;9470:4;9508:3;9497:9;9493:19;9485:27;;9522:71;9590:1;9579:9;9575:17;9566:6;9522:71;:::i;:::-;9603:70;9669:2;9658:9;9654:18;9645:6;9603:70;:::i;:::-;9683;9749:2;9738:9;9734:18;9725:6;9683:70;:::i;:::-;9763;9829:2;9818:9;9814:18;9805:6;9763:70;:::i;:::-;9843:71;9909:3;9898:9;9894:19;9885:6;9843:71;:::i;:::-;9273:648;;;;;;;;:::o;9927:143::-;9984:5;10015:6;10009:13;10000:22;;10031:33;10058:5;10031:33;:::i;:::-;9927:143;;;;:::o;10076:351::-;10146:6;10195:2;10183:9;10174:7;10170:23;10166:32;10163:119;;;10201:79;;:::i;:::-;10163:119;10321:1;10346:64;10402:7;10393:6;10382:9;10378:22;10346:64;:::i;:::-;10336:74;;10292:128;10076:351;;;;:::o;10433:180::-;10481:77;10478:1;10471:88;10578:4;10575:1;10568:15;10602:4;10599:1;10592:15;10619:180;10667:77;10664:1;10657:88;10764:4;10761:1;10754:15;10788:4;10785:1;10778:15;10805:176;10837:1;10854:20;10872:1;10854:20;:::i;:::-;10849:25;;10888:20;10906:1;10888:20;:::i;:::-;10883:25;;10927:1;10917:35;;10932:18;;:::i;:::-;10917:35;10973:1;10970;10966:9;10961:14;;10805:176;;;;:::o;10987:185::-;11027:1;11044:20;11062:1;11044:20;:::i;:::-;11039:25;;11078:20;11096:1;11078:20;:::i;:::-;11073:25;;11117:1;11107:35;;11122:18;;:::i;:::-;11107:35;11164:1;11161;11157:9;11152:14;;10987:185;;;;:::o

ipfs://e7aa28b1954f2dcbdcac88656a5b2da63e016ffb187b4b8a76881eb0c1eb480a